runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201109011757/gj-user-solver-1.0/ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf.dudf-real.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 6/34 1973 /proc/meminfo: memFree=232036/1048576 swapFree=0/0 [pid=1972] ppid=1971 vsize=2572 CPUtime=0 /proc/1972/stat : 1972 (gj-user-solver-) R 1971 1972 22717 34817 22717 4202496 356 0 0 0 0 0 0 0 25 0 1 0 73419313 2633728 269 1283457024 134512640 135304128 4289410096 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/1972/statm: 643 269 228 194 0 30 0 [pid=1973] ppid=1972 vsize=2572 CPUtime=0 /proc/1973/stat : 1973 (gj-user-solver-) R 1972 1972 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 1 0 73419314 2633728 41 1283457024 134512640 135304128 4289410096 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/1973/statm: 643 41 0 194 0 30 0 [startup+0.160824 s] /proc/loadavg: 1.00 1.00 1.00 6/34 1973 /proc/meminfo: memFree=232036/1048576 swapFree=0/0 [pid=1972] ppid=1971 vsize=2572 CPUtime=0 /proc/1972/stat : 1972 (gj-user-solver-) S 1971 1972 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73419313 2633728 270 1283457024 134512640 135304128 4289410096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1972/statm: 643 270 229 194 0 30 0 [pid=1973] ppid=1972 vsize=410204 CPUtime=0.16 /proc/1973/stat : 1973 (java) S 1972 1972 22717 34817 22717 4202496 4392 0 1 0 16 0 0 0 25 0 9 0 73419314 420048896 3818 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1973/statm: 102551 3818 1946 10 0 96699 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 412776 [startup+0.210844 s] /proc/loadavg: 1.00 1.00 1.00 6/34 1973 /proc/meminfo: memFree=232036/1048576 swapFree=0/0 [pid=1972] ppid=1971 vsize=2572 CPUtime=0 /proc/1972/stat : 1972 (gj-user-solver-) S 1971 1972 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73419313 2633728 270 1283457024 134512640 135304128 4289410096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1972/statm: 643 270 229 194 0 30 0 [pid=1973] ppid=1972 vsize=410204 CPUtime=0.2 /proc/1973/stat : 1973 (java) S 1972 1972 22717 34817 22717 4202496 4707 0 1 0 20 0 0 0 25 0 9 0 73419314 420048896 4133 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1973/statm: 102551 4133 1946 10 0 96699 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412776 [startup+0.310859 s] /proc/loadavg: 1.00 1.00 1.00 6/34 1973 /proc/meminfo: memFree=232036/1048576 swapFree=0/0 [pid=1972] ppid=1971 vsize=2572 CPUtime=0 /proc/1972/stat : 1972 (gj-user-solver-) S 1971 1972 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73419313 2633728 270 1283457024 134512640 135304128 4289410096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1972/statm: 643 270 229 194 0 30 0 [pid=1973] ppid=1972 vsize=410204 CPUtime=0.3 /proc/1973/stat : 1973 (java) S 1972 1972 22717 34817 22717 4202496 5316 0 1 0 30 0 0 0 25 0 9 0 73419314 420048896 4741 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1973/statm: 102551 4741 1952 10 0 96699 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412776 [startup+0.710971 s] /proc/loadavg: 1.00 1.00 1.00 6/34 1973 /proc/meminfo: memFree=232036/1048576 swapFree=0/0 [pid=1972] ppid=1971 vsize=2572 CPUtime=0 /proc/1972/stat : 1972 (gj-user-solver-) S 1971 1972 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73419313 2633728 270 1283457024 134512640 135304128 4289410096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1972/statm: 643 270 229 194 0 30 0 [pid=1973] ppid=1972 vsize=410756 CPUtime=0.71 /proc/1973/stat : 1973 (java) S 1972 1972 22717 34817 22717 4202496 12909 0 1 0 69 2 0 0 25 0 9 0 73419314 420614144 12148 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1973/statm: 102689 12148 2901 10 0 96837 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413328 [startup+1.5112 s] /proc/loadavg: 1.00 1.00 1.00 2/43 1982 /proc/meminfo: memFree=172456/1048576 swapFree=0/0 [pid=1972] ppid=1971 vsize=2572 CPUtime=0 /proc/1972/stat : 1972 (gj-user-solver-) S 1971 1972 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73419313 2633728 270 1283457024 134512640 135304128 4289410096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1972/statm: 643 270 229 194 0 30 0 [pid=1973] ppid=1972 vsize=410756 CPUtime=1.51 /proc/1973/stat : 1973 (java) S 1972 1972 22717 34817 22717 4202496 27343 0 1 0 146 5 0 0 25 0 9 0 73419314 420614144 26582 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1973/statm: 102689 26582 2901 10 0 96837 0 [pid=1973/tid=1975] ppid=1972 vsize=410756 CPUtime=0.84 /proc/1973/task/1975/stat : 1975 (java) S 1972 1972 22717 34817 22717 4202560 6843 0 1 0 80 4 0 0 25 0 9 0 73419314 420614144 26582 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1976] ppid=1972 vsize=410756 CPUtime=0.63 /proc/1973/task/1976/stat : 1976 (java) R 1972 1972 22717 34817 22717 4202560 19117 0 0 0 62 1 0 0 19 0 9 0 73419315 420614144 26582 1283457024 134512640 134550932 4292923120 18446744073709551615 4150867974 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=1973/tid=1977] ppid=1972 vsize=410756 CPUtime=0 /proc/1973/task/1977/stat : 1977 (java) S 1972 1972 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73419315 420614144 26582 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1978] ppid=1972 vsize=410756 CPUtime=0 /proc/1973/task/1978/stat : 1978 (java) S 1972 1972 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73419315 420614144 26582 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1979] ppid=1972 vsize=410756 CPUtime=0 /proc/1973/task/1979/stat : 1979 (java) S 1972 1972 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73419316 420614144 26582 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1980] ppid=1972 vsize=410756 CPUtime=0.03 /proc/1973/task/1980/stat : 1980 (java) S 1972 1972 22717 34817 22717 4202560 441 0 0 0 3 0 0 0 21 0 9 0 73419316 420614144 26582 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1981] ppid=1972 vsize=410756 CPUtime=0 /proc/1973/task/1981/stat : 1981 (java) S 1972 1972 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 73419316 420614144 26582 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1982] ppid=1972 vsize=410756 CPUtime=0 /proc/1973/task/1982/stat : 1982 (java) R 1972 1972 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73419316 420614144 26582 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 413328 [startup+3.11325 s] /proc/loadavg: 1.00 1.00 1.00 2/43 1982 /proc/meminfo: memFree=97188/1048576 swapFree=0/0 [pid=1972] ppid=1971 vsize=2572 CPUtime=0 /proc/1972/stat : 1972 (gj-user-solver-) S 1971 1972 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73419313 2633728 270 1283457024 134512640 135304128 4289410096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1972/statm: 643 270 229 194 0 30 0 [pid=1973] ppid=1972 vsize=410900 CPUtime=3.1 /proc/1973/stat : 1973 (java) S 1972 1972 22717 34817 22717 4202496 44610 0 1 0 304 6 0 0 25 0 9 0 73419314 420761600 43756 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1973/statm: 102725 43756 2920 10 0 96870 0 [pid=1973/tid=1975] ppid=1972 vsize=410900 CPUtime=1.43 /proc/1973/task/1975/stat : 1975 (java) R 1972 1972 22717 34817 22717 4202560 9899 0 1 0 139 4 0 0 25 0 9 0 73419314 420761600 43756 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1973/tid=1976] ppid=1972 vsize=410900 CPUtime=1.57 /proc/1973/task/1976/stat : 1976 (java) S 1972 1972 22717 34817 22717 4202560 33273 0 0 0 155 2 0 0 16 0 9 0 73419315 420761600 43756 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1977] ppid=1972 vsize=410900 CPUtime=0 /proc/1973/task/1977/stat : 1977 (java) S 1972 1972 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 73419315 420761600 43756 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1978] ppid=1972 vsize=410900 CPUtime=0 /proc/1973/task/1978/stat : 1978 (java) S 1972 1972 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73419315 420761600 43756 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1979] ppid=1972 vsize=410900 CPUtime=0 /proc/1973/task/1979/stat : 1979 (java) S 1972 1972 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73419316 420761600 43756 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1980] ppid=1972 vsize=410900 CPUtime=0.09 /proc/1973/task/1980/stat : 1980 (java) S 1972 1972 22717 34817 22717 4202560 496 0 0 0 9 0 0 0 15 0 9 0 73419316 420761600 43756 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1981] ppid=1972 vsize=410900 CPUtime=0 /proc/1973/task/1981/stat : 1981 (java) S 1972 1972 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 73419316 420761600 43756 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1982] ppid=1972 vsize=410900 CPUtime=0 /proc/1973/task/1982/stat : 1982 (java) S 1972 1972 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73419316 420761600 43756 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413472 [startup+6.31246 s] /proc/loadavg: 1.08 1.02 1.01 2/44 1983 /proc/meminfo: memFree=67924/1048576 swapFree=0/0 [pid=1972] ppid=1971 vsize=2572 CPUtime=0 /proc/1972/stat : 1972 (gj-user-solver-) S 1971 1972 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73419313 2633728 270 1283457024 134512640 135304128 4289410096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1972/statm: 643 270 229 194 0 30 0 [pid=1973] ppid=1972 vsize=411224 CPUtime=6.3 /proc/1973/stat : 1973 (java) S 1972 1972 22717 34817 22717 4202496 44660 0 1 0 624 6 0 0 25 0 10 0 73419314 421093376 43805 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1973/statm: 102806 43805 2922 10 0 96951 0 [pid=1973/tid=1975] ppid=1972 vsize=411224 CPUtime=4.6 /proc/1973/task/1975/stat : 1975 (java) R 1972 1972 22717 34817 22717 4202560 9916 0 1 0 456 4 0 0 25 0 10 0 73419314 421093376 43805 1283457024 134512640 134550932 4292923120 18446744073709551615 4115393305 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1973/tid=1976] ppid=1972 vsize=411224 CPUtime=1.57 /proc/1973/task/1976/stat : 1976 (java) S 1972 1972 22717 34817 22717 4202560 33273 0 0 0 155 2 0 0 15 0 10 0 73419315 421093376 43805 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1977] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1977/stat : 1977 (java) S 1972 1972 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73419315 421093376 43805 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1978] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1978/stat : 1978 (java) S 1972 1972 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73419315 421093376 43805 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1979] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1979/stat : 1979 (java) S 1972 1972 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73419316 421093376 43805 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1980] ppid=1972 vsize=411224 CPUtime=0.12 /proc/1973/task/1980/stat : 1980 (java) S 1972 1972 22717 34817 22717 4202560 524 0 0 0 12 0 0 0 15 0 10 0 73419316 421093376 43805 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1981] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1981/stat : 1981 (java) S 1972 1972 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73419316 421093376 43805 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1982] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1982/stat : 1982 (java) R 1972 1972 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73419316 421093376 43805 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1973/tid=1983] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1983/stat : 1983 (java) S 1972 1972 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73419633 421093376 43805 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 413796 [startup+12.7047 s] /proc/loadavg: 1.07 1.02 1.00 3/44 1983 /proc/meminfo: memFree=16960/1048576 swapFree=0/0 [pid=1972] ppid=1971 vsize=2572 CPUtime=0 /proc/1972/stat : 1972 (gj-user-solver-) S 1971 1972 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73419313 2633728 270 1283457024 134512640 135304128 4289410096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1972/statm: 643 270 229 194 0 30 0 [pid=1973] ppid=1972 vsize=411224 CPUtime=12.69 /proc/1973/stat : 1973 (java) S 1972 1972 22717 34817 22717 4202496 58294 0 1 0 1257 12 0 0 25 0 10 0 73419314 421093376 57439 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1973/statm: 102806 57439 2922 10 0 96951 0 [pid=1973/tid=1975] ppid=1972 vsize=411224 CPUtime=10.72 /proc/1973/task/1975/stat : 1975 (java) R 1972 1972 22717 34817 22717 4202560 14478 0 1 0 1068 4 0 0 25 0 10 0 73419314 421093376 57439 1283457024 134512640 134550932 4292923120 18446744073709551615 4115551049 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1973/tid=1976] ppid=1972 vsize=411224 CPUtime=1.81 /proc/1973/task/1976/stat : 1976 (java) S 1972 1972 22717 34817 22717 4202560 42323 0 0 0 173 8 0 0 16 0 10 0 73419315 421093376 57439 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1977] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1977/stat : 1977 (java) S 1972 1972 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73419315 421093376 57439 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1978] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1978/stat : 1978 (java) S 1972 1972 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73419315 421093376 57439 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1979] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1979/stat : 1979 (java) S 1972 1972 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73419316 421093376 57439 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1980] ppid=1972 vsize=411224 CPUtime=0.16 /proc/1973/task/1980/stat : 1980 (java) S 1972 1972 22717 34817 22717 4202560 546 0 0 0 16 0 0 0 15 0 10 0 73419316 421093376 57439 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1981] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1981/stat : 1981 (java) S 1972 1972 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73419316 421093376 57439 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1982] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1982/stat : 1982 (java) S 1972 1972 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73419316 421093376 57439 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1983] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1983/stat : 1983 (java) S 1972 1972 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73419633 421093376 57439 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 413796 [startup+25.5086 s] /proc/loadavg: 1.06 1.01 1.00 2/44 1983 /proc/meminfo: memFree=6376/1048576 swapFree=0/0 [pid=1972] ppid=1971 vsize=2572 CPUtime=0 /proc/1972/stat : 1972 (gj-user-solver-) S 1971 1972 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73419313 2633728 270 1283457024 134512640 135304128 4289410096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1972/statm: 643 270 229 194 0 30 0 [pid=1973] ppid=1972 vsize=411224 CPUtime=25.48 /proc/1973/stat : 1973 (java) S 1972 1972 22717 34817 22717 4202496 65400 0 1 0 2532 16 0 0 25 0 10 0 73419314 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1973/statm: 102806 64545 2922 10 0 96951 0 [pid=1973/tid=1975] ppid=1972 vsize=411224 CPUtime=23.28 /proc/1973/task/1975/stat : 1975 (java) R 1972 1972 22717 34817 22717 4202560 14478 0 1 0 2323 5 0 0 25 0 10 0 73419314 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4115409381 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1973/tid=1976] ppid=1972 vsize=411224 CPUtime=2.02 /proc/1973/task/1976/stat : 1976 (java) S 1972 1972 22717 34817 22717 4202560 49419 0 0 0 192 10 0 0 15 0 10 0 73419315 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1977] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1977/stat : 1977 (java) S 1972 1972 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73419315 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1978] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1978/stat : 1978 (java) S 1972 1972 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73419315 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1979] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1979/stat : 1979 (java) S 1972 1972 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73419316 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1980] ppid=1972 vsize=411224 CPUtime=0.16 /proc/1973/task/1980/stat : 1980 (java) S 1972 1972 22717 34817 22717 4202560 556 0 0 0 16 0 0 0 15 0 10 0 73419316 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1981] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1981/stat : 1981 (java) S 1972 1972 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73419316 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1982] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1982/stat : 1982 (java) S 1972 1972 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73419316 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1983] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1983/stat : 1983 (java) S 1972 1972 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73419633 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 413796 Solver just ended. Dumping a history of the last processes samples [startup+27.1092 s] /proc/loadavg: 1.06 1.01 1.00 2/44 1983 /proc/meminfo: memFree=6376/1048576 swapFree=0/0 [pid=1972] ppid=1971 vsize=2572 CPUtime=0 /proc/1972/stat : 1972 (gj-user-solver-) S 1971 1972 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73419313 2633728 270 1283457024 134512640 135304128 4289410096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1972/statm: 643 270 229 194 0 30 0 [pid=1973] ppid=1972 vsize=411224 CPUtime=27.08 /proc/1973/stat : 1973 (java) S 1972 1972 22717 34817 22717 4202496 65400 0 1 0 2692 16 0 0 25 0 10 0 73419314 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1973/statm: 102806 64545 2922 10 0 96951 0 [pid=1973/tid=1975] ppid=1972 vsize=411224 CPUtime=24.88 /proc/1973/task/1975/stat : 1975 (java) R 1972 1972 22717 34817 22717 4202560 14478 0 1 0 2483 5 0 0 25 0 10 0 73419314 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4115507556 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1973/tid=1976] ppid=1972 vsize=411224 CPUtime=2.02 /proc/1973/task/1976/stat : 1976 (java) S 1972 1972 22717 34817 22717 4202560 49419 0 0 0 192 10 0 0 15 0 10 0 73419315 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1977] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1977/stat : 1977 (java) S 1972 1972 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73419315 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1978] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1978/stat : 1978 (java) S 1972 1972 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73419315 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1979] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1979/stat : 1979 (java) S 1972 1972 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73419316 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1980] ppid=1972 vsize=411224 CPUtime=0.16 /proc/1973/task/1980/stat : 1980 (java) S 1972 1972 22717 34817 22717 4202560 556 0 0 0 16 0 0 0 15 0 10 0 73419316 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1981] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1981/stat : 1981 (java) S 1972 1972 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73419316 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1982] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1982/stat : 1982 (java) S 1972 1972 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73419316 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1983] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1983/stat : 1983 (java) S 1972 1972 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73419633 421093376 64545 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 27.08 Current children cumulated vsize (KiB) 413796 [startup+28.7098 s] /proc/loadavg: 1.05 1.01 1.00 2/44 1983 /proc/meminfo: memFree=5488/1048576 swapFree=0/0 [pid=1972] ppid=1971 vsize=2572 CPUtime=0 /proc/1972/stat : 1972 (gj-user-solver-) S 1971 1972 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73419313 2633728 270 1283457024 134512640 135304128 4289410096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1972/statm: 643 270 229 194 0 30 0 [pid=1973] ppid=1972 vsize=411224 CPUtime=28.68 /proc/1973/stat : 1973 (java) S 1972 1972 22717 34817 22717 4202496 67157 0 1 0 2852 16 0 0 25 0 10 0 73419314 421093376 66302 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1973/statm: 102806 66302 2922 10 0 96951 0 [pid=1973/tid=1975] ppid=1972 vsize=411224 CPUtime=26.45 /proc/1973/task/1975/stat : 1975 (java) R 1972 1972 22717 34817 22717 4202560 14478 0 1 0 2640 5 0 0 25 0 10 0 73419314 421093376 66302 1283457024 134512640 134550932 4292923120 18446744073709551615 4115536973 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1973/tid=1976] ppid=1972 vsize=411224 CPUtime=2.04 /proc/1973/task/1976/stat : 1976 (java) S 1972 1972 22717 34817 22717 4202560 51176 0 0 0 194 10 0 0 16 0 10 0 73419315 421093376 66302 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1977] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1977/stat : 1977 (java) S 1972 1972 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73419315 421093376 66302 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1978] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1978/stat : 1978 (java) S 1972 1972 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73419315 421093376 66302 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1979] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1979/stat : 1979 (java) S 1972 1972 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73419316 421093376 66302 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1980] ppid=1972 vsize=411224 CPUtime=0.16 /proc/1973/task/1980/stat : 1980 (java) S 1972 1972 22717 34817 22717 4202560 556 0 0 0 16 0 0 0 15 0 10 0 73419316 421093376 66302 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1981] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1981/stat : 1981 (java) S 1972 1972 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73419316 421093376 66302 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1982] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1982/stat : 1982 (java) S 1972 1972 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73419316 421093376 66302 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1983] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1983/stat : 1983 (java) S 1972 1972 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73419633 421093376 66302 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 28.68 Current children cumulated vsize (KiB) 413796 [startup+29.5101 s] /proc/loadavg: 1.05 1.01 1.00 2/44 1983 /proc/meminfo: memFree=5488/1048576 swapFree=0/0 [pid=1972] ppid=1971 vsize=2572 CPUtime=0 /proc/1972/stat : 1972 (gj-user-solver-) S 1971 1972 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73419313 2633728 270 1283457024 134512640 135304128 4289410096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1972/statm: 643 270 229 194 0 30 0 [pid=1973] ppid=1972 vsize=411224 CPUtime=29.48 /proc/1973/stat : 1973 (java) S 1972 1972 22717 34817 22717 4202496 67158 0 1 0 2932 16 0 0 25 0 10 0 73419314 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1973/statm: 102806 66303 2922 10 0 96951 0 [pid=1973/tid=1975] ppid=1972 vsize=411224 CPUtime=27.25 /proc/1973/task/1975/stat : 1975 (java) R 1972 1972 22717 34817 22717 4202560 14479 0 1 0 2720 5 0 0 25 0 10 0 73419314 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4115536969 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1973/tid=1976] ppid=1972 vsize=411224 CPUtime=2.04 /proc/1973/task/1976/stat : 1976 (java) S 1972 1972 22717 34817 22717 4202560 51176 0 0 0 194 10 0 0 16 0 10 0 73419315 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1977] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1977/stat : 1977 (java) S 1972 1972 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73419315 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1978] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1978/stat : 1978 (java) S 1972 1972 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73419315 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1979] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1979/stat : 1979 (java) S 1972 1972 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73419316 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1980] ppid=1972 vsize=411224 CPUtime=0.16 /proc/1973/task/1980/stat : 1980 (java) S 1972 1972 22717 34817 22717 4202560 556 0 0 0 16 0 0 0 15 0 10 0 73419316 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1981] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1981/stat : 1981 (java) S 1972 1972 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73419316 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1982] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1982/stat : 1982 (java) S 1972 1972 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73419316 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1983] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1983/stat : 1983 (java) S 1972 1972 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73419633 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 29.48 Current children cumulated vsize (KiB) 413796 [startup+29.7101 s] /proc/loadavg: 1.05 1.01 1.00 2/44 1983 /proc/meminfo: memFree=5488/1048576 swapFree=0/0 [pid=1972] ppid=1971 vsize=2572 CPUtime=0 /proc/1972/stat : 1972 (gj-user-solver-) S 1971 1972 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 25 0 1 0 73419313 2633728 270 1283457024 134512640 135304128 4289410096 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1972/statm: 643 270 229 194 0 30 0 [pid=1973] ppid=1972 vsize=411224 CPUtime=29.68 /proc/1973/stat : 1973 (java) S 1972 1972 22717 34817 22717 4202496 67158 0 1 0 2952 16 0 0 25 0 10 0 73419314 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1973/statm: 102806 66303 2922 10 0 96951 0 [pid=1973/tid=1975] ppid=1972 vsize=411224 CPUtime=27.45 /proc/1973/task/1975/stat : 1975 (java) R 1972 1972 22717 34817 22717 4202560 14479 0 1 0 2740 5 0 0 25 0 10 0 73419314 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4115081756 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1973/tid=1976] ppid=1972 vsize=411224 CPUtime=2.04 /proc/1973/task/1976/stat : 1976 (java) S 1972 1972 22717 34817 22717 4202560 51176 0 0 0 194 10 0 0 16 0 10 0 73419315 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1977] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1977/stat : 1977 (java) S 1972 1972 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73419315 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1978] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1978/stat : 1978 (java) S 1972 1972 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73419315 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1979] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1979/stat : 1979 (java) S 1972 1972 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73419316 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1980] ppid=1972 vsize=411224 CPUtime=0.16 /proc/1973/task/1980/stat : 1980 (java) S 1972 1972 22717 34817 22717 4202560 556 0 0 0 16 0 0 0 15 0 10 0 73419316 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1981] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1981/stat : 1981 (java) S 1972 1972 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73419316 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1982] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1982/stat : 1982 (java) S 1972 1972 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73419316 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=1973/tid=1983] ppid=1972 vsize=411224 CPUtime=0 /proc/1973/task/1983/stat : 1983 (java) S 1972 1972 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73419633 421093376 66303 1283457024 134512640 134550932 4292923120 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 29.68 Current children cumulated vsize (KiB) 413796 Child status: 0 Real time (s): 29.7922 CPU time (s): 29.7219 CPU user time (s): 29.5418 CPU system time (s): 0.180011 CPU usage (%): 99.7639 Max. virtual memory (cumulated for all children) (KiB): 413796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 29.5418 system time used= 0.180011 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67555 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1439 involuntary context switches= 2121 runsolver used 0 second user time and 0 second system time The end