runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459586-1307151106/watcher-3459586-1307151106 -o /tmp/evaluation-result-3459586-1307151106/solver-3459586-1307151106 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459586-1307151106.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.06 2.01 1/528 1930
/proc/meminfo: memFree=15232076/32951132 swapFree=46579808/67111528
[pid=1930] ppid=1928 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/1930/stat : 1930 (runsolver) R 1928 1930 32282 0 -1 4202560 42 0 0 0 0 0 0 0 23 0 1 0 826709359 12079104 51 33554432000 4194304 5432328 140734984540336 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/1930/statm: 2949 51 31 303 0 2643 0
[pid=1930/tid=1931] ppid=1928 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1931/stat : 1931 (java) R 1928 1930 32282 0 -1 4202560 3536 0 1 0 0 0 0 0 25 0 2 0 826709360 13850947584 4352 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0498061 s]
/proc/loadavg: 2.09 2.06 2.01 1/528 1930
/proc/meminfo: memFree=15232076/32951132 swapFree=46579808/67111528
[pid=1930] ppid=1928 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/1930/stat : 1930 (java) S 1928 1930 32282 0 -1 4202496 13665 0 1 0 2 1 0 0 23 0 13 0 826709359 13874667520 13362 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/1930/statm: 3387370 13363 1655 9 0 3378118 0
[pid=1930/tid=1931] ppid=1928 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/1930/task/1931/stat : 1931 (java) R 1928 1930 32282 0 -1 4202560 12519 0 1 0 2 1 0 0 25 0 13 0 826709360 13874667520 13363 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 47801267594776 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480
[startup+0.108827 s]
/proc/loadavg: 2.09 2.06 2.01 1/528 1930
/proc/meminfo: memFree=15232076/32951132 swapFree=46579808/67111528
[pid=1930] ppid=1928 vsize=13622132 CPUtime=0.1 cores=1,3,5,7
/proc/1930/stat : 1930 (java) S 1928 1930 32282 0 -1 4202496 15439 0 1 0 9 1 0 0 23 0 18 0 826709359 13949063168 15136 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1930/statm: 3405533 15139 2092 9 0 3396267 0
[pid=1930/tid=1931] ppid=1928 vsize=13622132 CPUtime=0.08 cores=1,3,5,7
/proc/1930/task/1931/stat : 1931 (java) R 1928 1930 32282 0 -1 4202560 13551 0 1 0 7 1 0 0 23 0 18 0 826709360 13949063168 15141 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 47801264529383 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622132
[startup+0.300746 s]
/proc/loadavg: 2.09 2.06 2.01 1/528 1930
/proc/meminfo: memFree=15232076/32951132 swapFree=46579808/67111528
[pid=1930] ppid=1928 vsize=13624684 CPUtime=0.45 cores=1,3,5,7
/proc/1930/stat : 1930 (java) S 1928 1930 32282 0 -1 4202496 21951 0 1 0 43 2 0 0 23 0 18 0 826709359 13951676416 21317 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1930/statm: 3406171 21320 2199 9 0 3396905 0
[pid=1930/tid=1931] ppid=1928 vsize=13624684 CPUtime=0.27 cores=1,3,5,7
/proc/1930/task/1931/stat : 1931 (java) R 1928 1930 32282 0 -1 4202560 19021 0 1 0 25 2 0 0 18 0 18 0 826709360 13951676416 21322 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 46912505571604 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13624684
[startup+0.70069 s]
/proc/loadavg: 2.09 2.06 2.01 1/528 1930
/proc/meminfo: memFree=15232076/32951132 swapFree=46579808/67111528
[pid=1930] ppid=1928 vsize=13630884 CPUtime=1.1 cores=1,3,5,7
/proc/1930/stat : 1930 (java) S 1928 1930 32282 0 -1 4202496 49143 0 1 0 103 7 0 0 23 0 18 0 826709359 13958025216 47156 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1930/statm: 3407721 47159 2206 9 0 3398455 0
[pid=1930/tid=1931] ppid=1928 vsize=13630884 CPUtime=0.67 cores=1,3,5,7
/proc/1930/task/1931/stat : 1931 (java) R 1928 1930 32282 0 -1 4202560 42586 0 1 0 61 6 0 0 18 0 18 0 826709360 13958025216 47161 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 46912505571604 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 13630884
[startup+1.50154 s]
/proc/loadavg: 2.09 2.06 2.01 2/543 1965
/proc/meminfo: memFree=14959528/32951132 swapFree=46579808/67111528
[pid=1930] ppid=1928 vsize=13630884 CPUtime=1.93 cores=1,3,5,7
/proc/1930/stat : 1930 (java) S 1928 1930 32282 0 -1 4202496 114425 0 1 0 177 16 0 0 23 0 18 0 826709359 13958025216 112391 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1930/statm: 3407721 112394 2214 9 0 3398455 0
[pid=1930/tid=1931] ppid=1928 vsize=13630884 CPUtime=1.46 cores=1,3,5,7
/proc/1930/task/1931/stat : 1931 (java) R 1928 1930 32282 0 -1 4202560 107818 0 1 0 131 15 0 0 19 0 18 0 826709360 13958025216 112396 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 46912505583644 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1930/tid=1933] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1933/stat : 1933 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 112397 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1934] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1934/stat : 1934 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 112399 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1935] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1935/stat : 1935 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 112401 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1936] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1936/stat : 1936 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 112403 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1937] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1937/stat : 1937 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 112405 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1938] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1938/stat : 1938 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 112407 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1939] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1939/stat : 1939 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 112408 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1940] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1940/stat : 1940 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 112410 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1941] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1941/stat : 1941 (java) S 1928 1930 32282 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 826709363 13958025216 112412 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366720 0 0 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1942] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1942/stat : 1942 (java) S 1928 1930 32282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826709363 13958025216 112414 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1943] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1943/stat : 1943 (java) S 1928 1930 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826709363 13958025216 112416 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1944] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1944/stat : 1944 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 826709366 13958025216 112418 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982373809 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1945] ppid=1928 vsize=13630884 CPUtime=0.25 cores=1,3,5,7
/proc/1930/task/1945/stat : 1945 (java) S 1928 1930 32282 0 -1 4202560 2204 0 0 0 25 0 0 0 17 0 18 0 826709366 13958025216 112420 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 1 0 0 0
[pid=1930/tid=1946] ppid=1928 vsize=13630884 CPUtime=0.19 cores=1,3,5,7
/proc/1930/task/1946/stat : 1946 (java) S 1928 1930 32282 0 -1 4202560 3258 0 0 0 19 0 0 0 17 0 18 0 826709366 13958025216 112421 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1947] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1947/stat : 1947 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 826709366 13958025216 112423 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1948] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1948/stat : 1948 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826709366 13958025216 112425 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366720 0 4 0 16800975 18446604469600855872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 13630884
Solver just ended. Dumping a history of the last processes samples
[startup+2.30142 s]
/proc/loadavg: 2.09 2.06 2.01 4/565 1992
/proc/meminfo: memFree=14340320/32951132 swapFree=46579808/67111528
[pid=1930] ppid=1928 vsize=13630884 CPUtime=2.74 cores=1,3,5,7
/proc/1930/stat : 1930 (java) S 1928 1930 32282 0 -1 4202496 179192 0 1 0 249 25 0 0 23 0 18 0 826709359 13958025216 177158 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1930/statm: 3407721 177161 2214 9 0 3398455 0
[pid=1930/tid=1931] ppid=1928 vsize=13630884 CPUtime=2.26 cores=1,3,5,7
/proc/1930/task/1931/stat : 1931 (java) R 1928 1930 32282 0 -1 4202560 172583 0 1 0 202 24 0 0 20 0 18 0 826709360 13958025216 177162 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 46912505562486 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1930/tid=1933] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1933/stat : 1933 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 177163 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1934] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1934/stat : 1934 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 177168 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1935] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1935/stat : 1935 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 177173 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1936] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1936/stat : 1936 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 177177 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1937] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1937/stat : 1937 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 177183 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1938] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1938/stat : 1938 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 177189 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1939] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1939/stat : 1939 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 177189 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1940] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1940/stat : 1940 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 177189 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1941] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1941/stat : 1941 (java) S 1928 1930 32282 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 826709363 13958025216 177189 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366720 0 0 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1942] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1942/stat : 1942 (java) S 1928 1930 32282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826709363 13958025216 177189 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1943] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1943/stat : 1943 (java) S 1928 1930 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826709363 13958025216 177192 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1944] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1944/stat : 1944 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 826709366 13958025216 177194 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982373809 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1945] ppid=1928 vsize=13630884 CPUtime=0.26 cores=1,3,5,7
/proc/1930/task/1945/stat : 1945 (java) S 1928 1930 32282 0 -1 4202560 2205 0 0 0 26 0 0 0 15 0 18 0 826709366 13958025216 177196 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 1 0 0 0
[pid=1930/tid=1946] ppid=1928 vsize=13630884 CPUtime=0.19 cores=1,3,5,7
/proc/1930/task/1946/stat : 1946 (java) S 1928 1930 32282 0 -1 4202560 3258 0 0 0 19 0 0 0 17 0 18 0 826709366 13958025216 177198 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1947] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1947/stat : 1947 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 826709366 13958025216 177200 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1948] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1948/stat : 1948 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826709366 13958025216 177202 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366720 0 4 0 16800975 18446604469600855872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 13630884
[startup+2.70135 s]
/proc/loadavg: 2.09 2.06 2.01 4/565 1992
/proc/meminfo: memFree=14340320/32951132 swapFree=46579808/67111528
[pid=1930] ppid=1928 vsize=13630884 CPUtime=3.14 cores=1,3,5,7
/proc/1930/stat : 1930 (java) S 1928 1930 32282 0 -1 4202496 213669 0 1 0 284 30 0 0 23 0 18 0 826709359 13958025216 211635 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1930/statm: 3407721 211635 2214 9 0 3398455 0
[pid=1930/tid=1931] ppid=1928 vsize=13630884 CPUtime=2.65 cores=1,3,5,7
/proc/1930/task/1931/stat : 1931 (java) R 1928 1930 32282 0 -1 4202560 207056 0 1 0 237 28 0 0 21 0 18 0 826709360 13958025216 211635 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 46912505656597 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1930/tid=1933] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1933/stat : 1933 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 211635 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1934] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1934/stat : 1934 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 211636 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1935] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1935/stat : 1935 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 211637 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1936] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1936/stat : 1936 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 211639 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1937] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1937/stat : 1937 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 211640 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1938] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1938/stat : 1938 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 211642 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1939] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1939/stat : 1939 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 211644 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1940] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1940/stat : 1940 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 211644 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1941] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1941/stat : 1941 (java) S 1928 1930 32282 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 826709363 13958025216 211646 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366720 0 0 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1942] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1942/stat : 1942 (java) S 1928 1930 32282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826709363 13958025216 211648 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1943] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1943/stat : 1943 (java) S 1928 1930 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826709363 13958025216 211650 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1944] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1944/stat : 1944 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 826709366 13958025216 211652 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982373809 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1945] ppid=1928 vsize=13630884 CPUtime=0.26 cores=1,3,5,7
/proc/1930/task/1945/stat : 1945 (java) S 1928 1930 32282 0 -1 4202560 2205 0 0 0 26 0 0 0 15 0 18 0 826709366 13958025216 211653 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 1 0 0 0
[pid=1930/tid=1946] ppid=1928 vsize=13630884 CPUtime=0.19 cores=1,3,5,7
/proc/1930/task/1946/stat : 1946 (java) S 1928 1930 32282 0 -1 4202560 3258 0 0 0 19 0 0 0 17 0 18 0 826709366 13958025216 211655 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1947] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1947/stat : 1947 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 826709366 13958025216 211657 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1948] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1948/stat : 1948 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826709366 13958025216 211659 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366720 0 4 0 16800975 18446604469600855872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 13630884
[startup+2.90126 s]
/proc/loadavg: 2.09 2.06 2.01 4/565 1992
/proc/meminfo: memFree=14340320/32951132 swapFree=46579808/67111528
[pid=1930] ppid=1928 vsize=13630884 CPUtime=3.44 cores=1,3,5,7
/proc/1930/stat : 1930 (java) S 1928 1930 32282 0 -1 4202496 221888 0 1 0 314 30 0 0 23 0 18 0 826709359 13958025216 219803 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1930/statm: 3407721 219803 2218 9 0 3398455 0
[pid=1930/tid=1931] ppid=1928 vsize=13630884 CPUtime=2.85 cores=1,3,5,7
/proc/1930/task/1931/stat : 1931 (java) R 1928 1930 32282 0 -1 4202560 215169 0 1 0 256 29 0 0 22 0 18 0 826709360 13958025216 219803 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 46912505217361 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=1930/tid=1933] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1933/stat : 1933 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 219803 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1934] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1934/stat : 1934 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 219803 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1935] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1935/stat : 1935 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 219803 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1936] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1936/stat : 1936 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 219803 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1937] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1937/stat : 1937 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 219803 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1938] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1938/stat : 1938 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 219803 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1939] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1939/stat : 1939 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 219803 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1940] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1940/stat : 1940 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826709362 13958025216 219803 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1941] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1941/stat : 1941 (java) S 1928 1930 32282 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 826709363 13958025216 219803 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366720 0 0 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1942] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1942/stat : 1942 (java) S 1928 1930 32282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826709363 13958025216 219803 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1943] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1943/stat : 1943 (java) S 1928 1930 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826709363 13958025216 219803 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1944] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1944/stat : 1944 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 826709366 13958025216 219803 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982373809 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1945] ppid=1928 vsize=13630884 CPUtime=0.32 cores=1,3,5,7
/proc/1930/task/1945/stat : 1945 (java) R 1928 1930 32282 0 -1 4202560 2264 0 0 0 32 0 0 0 15 0 18 0 826709366 13958025216 219803 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 47801265382975 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1930/tid=1946] ppid=1928 vsize=13630884 CPUtime=0.25 cores=1,3,5,7
/proc/1930/task/1946/stat : 1946 (java) S 1928 1930 32282 0 -1 4202560 3305 0 0 0 25 0 0 0 15 0 18 0 826709366 13958025216 219803 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1947] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1947/stat : 1947 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 826709366 13958025216 219803 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366105 0 4 0 16800975 18446604469600855872 0 0 -1 5 0 0 0
[pid=1930/tid=1948] ppid=1928 vsize=13630884 CPUtime=0 cores=1,3,5,7
/proc/1930/task/1948/stat : 1948 (java) S 1928 1930 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826709366 13958025216 219803 33554432000 1073741824 1073778376 140735789680064 18446744073709551615 242982366720 0 4 0 16800975 18446604469600855872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 13630884
[startup+3.00129 s]
/proc/loadavg: 2.09 2.06 2.01 4/565 1992
/proc/meminfo: memFree=14340320/32951132 swapFree=46579808/67111528
[pid=1930] ppid=1928 vsize=0 CPUtime=3.64 cores=1,3,5,7
/proc/1930/stat : 1930 (java) Z 1928 1930 32282 0 -1 4203548 222132 0 1 0 330 34 0 0 18 0 2 0 826709359 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1930/statm: 0 0 0 0 0 0 0
[pid=1930/tid=1940] ppid=1928 vsize=0 CPUtime=0.03 cores=1,3,5,7
/proc/1930/task/1940/stat : 1940 (java) R 1928 1930 32282 0 -1 4203588 1 0 0 0 0 3 0 0 18 0 2 0 826709362 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 3.00355
CPU time (s): 3.65444
CPU user time (s): 3.3055
CPU system time (s): 0.348946
CPU usage (%): 121.671
Max. virtual memory (cumulated for all children) (KiB): 13630884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.3055
system time used= 0.348946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222132
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= 305
involuntary context switches= 99
runsolver used 0.014997 second user time and 0.045993 second system time
The end