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-3455033-1307187851/watcher-3455033-1307187851 -o /tmp/evaluation-result-3455033-1307187851/solver-3455033-1307187851 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455033-1307187851.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: 3.55 3.46 3.02 3/421 11833
/proc/meminfo: memFree=29435048/32950904 swapFree=56615552/67111528
[pid=11833] ppid=11831 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/11833/stat : 11833 (java) S 11831 11833 8078 0 -1 4202496 1315 0 0 0 0 0 0 0 25 0 2 0 830384839 36646912 1016 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/11833/statm: 8947 1018 782 9 0 386 0
[pid=11833/tid=11834] ppid=11831 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11834/stat : 11834 (java) R 11831 11833 8078 0 -1 4202560 2581 0 1 0 0 0 0 0 25 0 2 0 830384839 10694979584 3397 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.110493 s]
/proc/loadavg: 3.55 3.46 3.02 3/421 11833
/proc/meminfo: memFree=29435048/32950904 swapFree=56615552/67111528
[pid=11833] ppid=11831 vsize=10539908 CPUtime=0.11 cores=1,3,5,7
/proc/11833/stat : 11833 (java) S 11831 11833 8078 0 -1 4202496 13205 0 1 0 9 2 0 0 25 0 18 0 830384839 10792865792 12854 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11833/statm: 2634977 12857 2107 9 0 2625711 0
[pid=11833/tid=11834] ppid=11831 vsize=10539908 CPUtime=0.09 cores=1,3,5,7
/proc/11833/task/11834/stat : 11834 (java) R 11831 11833 8078 0 -1 4202560 11228 0 1 0 7 2 0 0 25 0 18 0 830384839 10792865792 12858 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290706379 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539908
[startup+0.200476 s]
/proc/loadavg: 3.55 3.46 3.02 3/421 11833
/proc/meminfo: memFree=29435048/32950904 swapFree=56615552/67111528
[pid=11833] ppid=11831 vsize=10540392 CPUtime=0.25 cores=1,3,5,7
/proc/11833/stat : 11833 (java) S 11831 11833 8078 0 -1 4202496 14107 0 1 0 23 2 0 0 25 0 18 0 830384839 10793361408 13725 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11833/statm: 2635098 13725 2170 9 0 2625832 0
[pid=11833/tid=11834] ppid=11831 vsize=10540392 CPUtime=0.18 cores=1,3,5,7
/proc/11833/task/11834/stat : 11834 (java) R 11831 11833 8078 0 -1 4202560 11895 0 1 0 16 2 0 0 25 0 18 0 830384839 10793361408 13726 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 47513677462355 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10540392
[startup+0.300461 s]
/proc/loadavg: 3.55 3.46 3.02 3/421 11833
/proc/meminfo: memFree=29435048/32950904 swapFree=56615552/67111528
[pid=11833] ppid=11831 vsize=10541180 CPUtime=0.46 cores=1,3,5,7
/proc/11833/stat : 11833 (java) S 11831 11833 8078 0 -1 4202496 15835 0 1 0 43 3 0 0 25 0 18 0 830384839 10794168320 15276 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11833/statm: 2635295 15277 2198 9 0 2626029 0
[pid=11833/tid=11834] ppid=11831 vsize=10541180 CPUtime=0.28 cores=1,3,5,7
/proc/11833/task/11834/stat : 11834 (java) R 11831 11833 8078 0 -1 4202560 13071 0 1 0 26 2 0 0 25 0 18 0 830384839 10794168320 15277 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 46912505588024 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541180
[startup+0.700385 s]
/proc/loadavg: 3.55 3.46 3.02 3/421 11833
/proc/meminfo: memFree=29435048/32950904 swapFree=56615552/67111528
[pid=11833] ppid=11831 vsize=10549356 CPUtime=1.08 cores=1,3,5,7
/proc/11833/stat : 11833 (java) S 11831 11833 8078 0 -1 4202496 23651 0 1 0 105 3 0 0 25 0 19 0 830384839 10802540544 21913 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11833/statm: 2637339 21913 2233 9 0 2628073 0
[pid=11833/tid=11834] ppid=11831 vsize=10549356 CPUtime=0.41 cores=1,3,5,7
/proc/11833/task/11834/stat : 11834 (java) S 11831 11833 8078 0 -1 4202560 16892 0 1 0 39 2 0 0 25 0 19 0 830384839 10802540544 21913 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290696192 0 4 0 16800975 18446604460426858688 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 10549356
[startup+1.50125 s]
/proc/loadavg: 3.55 3.46 3.02 3/440 11858
/proc/meminfo: memFree=29353928/32950904 swapFree=56615552/67111528
[pid=11833] ppid=11831 vsize=10549948 CPUtime=1.26 cores=1,3,5,7
/proc/11833/stat : 11833 (java) S 11831 11833 8078 0 -1 4202496 25327 0 1 0 122 4 0 0 25 0 19 0 830384839 10803146752 23588 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11833/statm: 2637487 23588 2234 9 0 2628221 0
[pid=11833/tid=11834] ppid=11831 vsize=10549948 CPUtime=0.42 cores=1,3,5,7
/proc/11833/task/11834/stat : 11834 (java) S 11831 11833 8078 0 -1 4202560 16952 0 1 0 40 2 0 0 17 0 19 0 830384839 10803146752 23588 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290696192 0 4 0 16800975 18446604460426858688 0 0 -1 3 0 0 0
[pid=11833/tid=11836] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11836/stat : 11836 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10803146752 23588 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 1 0 0 0
[pid=11833/tid=11837] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11837/stat : 11837 (java) S 11831 11833 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830384841 10803146752 23588 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 7 0 0 0
[pid=11833/tid=11838] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11838/stat : 11838 (java) S 11831 11833 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830384841 10803146752 23588 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 3 0 0 0
[pid=11833/tid=11839] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11839/stat : 11839 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10803146752 23588 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 7 0 0 0
[pid=11833/tid=11840] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11840/stat : 11840 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10803146752 23588 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 1 0 0 0
[pid=11833/tid=11841] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11841/stat : 11841 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10803146752 23588 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 1 0 0 0
[pid=11833/tid=11842] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11842/stat : 11842 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10803146752 23588 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 3 0 0 0
[pid=11833/tid=11843] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11843/stat : 11843 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10803146752 23588 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 7 0 0 0
[pid=11833/tid=11844] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11844/stat : 11844 (java) S 11831 11833 8078 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 830384842 10803146752 23588 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290696192 0 0 0 16800975 18446604460426858688 0 0 -1 7 0 0 0
[pid=11833/tid=11845] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11845/stat : 11845 (java) S 11831 11833 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830384843 10803146752 23588 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
[pid=11833/tid=11846] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11846/stat : 11846 (java) S 11831 11833 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830384843 10803146752 23588 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
[pid=11833/tid=11847] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11847/stat : 11847 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384845 10803146752 23588 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290703281 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
[pid=11833/tid=11848] ppid=11831 vsize=10549948 CPUtime=0.33 cores=1,3,5,7
/proc/11833/task/11848/stat : 11848 (java) S 11831 11833 8078 0 -1 4202560 2715 0 0 0 33 0 0 0 16 0 19 0 830384845 10803146752 23588 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 1 0 0 0
[pid=11833/tid=11849] ppid=11831 vsize=10549948 CPUtime=0.35 cores=1,3,5,7
/proc/11833/task/11849/stat : 11849 (java) R 11831 11833 8078 0 -1 4202560 3572 0 0 0 35 0 0 0 17 0 19 0 830384845 10803146752 23588 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237278573549 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=11833/tid=11850] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11850/stat : 11850 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384845 10803146752 23588 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
[pid=11833/tid=11851] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11851/stat : 11851 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830384845 10803146752 23588 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290696192 0 4 0 16800975 18446604460426858688 0 0 -1 1 0 0 0
[pid=11833/tid=11854] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11854/stat : 11854 (java) S 11831 11833 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830384883 10803146752 23588 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290696192 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 10549948
Solver just ended. Dumping a history of the last processes samples
[startup+1.60123 s]
/proc/loadavg: 3.55 3.46 3.02 3/440 11858
/proc/meminfo: memFree=29353928/32950904 swapFree=56615552/67111528
[pid=11833] ppid=11831 vsize=10549948 CPUtime=1.36 cores=1,3,5,7
/proc/11833/stat : 11833 (java) S 11831 11833 8078 0 -1 4202496 32540 0 1 0 131 5 0 0 25 0 19 0 830384839 10803146752 28283 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11833/statm: 2637487 28283 2240 9 0 2628221 0
[pid=11833/tid=11834] ppid=11831 vsize=10549948 CPUtime=0.42 cores=1,3,5,7
/proc/11833/task/11834/stat : 11834 (java) S 11831 11833 8078 0 -1 4202560 16952 0 1 0 40 2 0 0 17 0 19 0 830384839 10803146752 28283 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290696192 0 4 0 16800975 18446604460426858688 0 0 -1 3 0 0 0
[pid=11833/tid=11836] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11836/stat : 11836 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10803146752 28283 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 1 0 0 0
[pid=11833/tid=11837] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11837/stat : 11837 (java) S 11831 11833 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830384841 10803146752 28283 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 7 0 0 0
[pid=11833/tid=11838] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11838/stat : 11838 (java) S 11831 11833 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830384841 10803146752 28283 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 3 0 0 0
[pid=11833/tid=11839] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11839/stat : 11839 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10803146752 28283 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 7 0 0 0
[pid=11833/tid=11840] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11840/stat : 11840 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10803146752 28283 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 1 0 0 0
[pid=11833/tid=11841] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11841/stat : 11841 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10803146752 28283 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 1 0 0 0
[pid=11833/tid=11842] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11842/stat : 11842 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10803146752 28283 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 3 0 0 0
[pid=11833/tid=11843] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11843/stat : 11843 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10803146752 28283 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 7 0 0 0
[pid=11833/tid=11844] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11844/stat : 11844 (java) S 11831 11833 8078 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 830384842 10803146752 28283 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290696192 0 0 0 16800975 18446604460426858688 0 0 -1 7 0 0 0
[pid=11833/tid=11845] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11845/stat : 11845 (java) S 11831 11833 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830384843 10803146752 28283 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
[pid=11833/tid=11846] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11846/stat : 11846 (java) S 11831 11833 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830384843 10803146752 28283 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
[pid=11833/tid=11847] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11847/stat : 11847 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384845 10803146752 28283 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290703281 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
[pid=11833/tid=11848] ppid=11831 vsize=10549948 CPUtime=0.33 cores=1,3,5,7
/proc/11833/task/11848/stat : 11848 (java) S 11831 11833 8078 0 -1 4202560 2715 0 0 0 33 0 0 0 16 0 19 0 830384845 10803146752 28283 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 1 0 0 0
[pid=11833/tid=11849] ppid=11831 vsize=10549948 CPUtime=0.44 cores=1,3,5,7
/proc/11833/task/11849/stat : 11849 (java) R 11831 11833 8078 0 -1 4202560 10785 0 0 0 43 1 0 0 17 0 19 0 830384845 10803146752 28283 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 47513675852617 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=11833/tid=11850] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11850/stat : 11850 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384845 10803146752 28283 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
[pid=11833/tid=11851] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11851/stat : 11851 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830384845 10803146752 28283 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290696192 0 4 0 16800975 18446604460426858688 0 0 -1 1 0 0 0
[pid=11833/tid=11854] ppid=11831 vsize=10549948 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11854/stat : 11854 (java) S 11831 11833 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830384883 10803146752 28283 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290696192 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 10549948
[startup+2.40108 s]
/proc/loadavg: 3.51 3.45 3.02 3/440 11864
/proc/meminfo: memFree=29327020/32950904 swapFree=56615552/67111528
[pid=11833] ppid=11831 vsize=10549356 CPUtime=1.56 cores=1,3,5,7
/proc/11833/stat : 11833 (java) S 11831 11833 8078 0 -1 4202496 34131 0 1 0 151 5 0 0 25 0 19 0 830384839 10802540544 28538 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11833/statm: 2637339 28538 2240 9 0 2628073 0
[pid=11833/tid=11834] ppid=11831 vsize=10549356 CPUtime=0.42 cores=1,3,5,7
/proc/11833/task/11834/stat : 11834 (java) S 11831 11833 8078 0 -1 4202560 16971 0 1 0 40 2 0 0 16 0 19 0 830384839 10802540544 28538 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290696192 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
[pid=11833/tid=11836] ppid=11831 vsize=10549356 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11836/stat : 11836 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10802540544 28538 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 1 0 0 0
[pid=11833/tid=11837] ppid=11831 vsize=10549356 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11837/stat : 11837 (java) S 11831 11833 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830384841 10802540544 28538 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 7 0 0 0
[pid=11833/tid=11838] ppid=11831 vsize=10549356 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11838/stat : 11838 (java) S 11831 11833 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830384841 10802540544 28538 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 3 0 0 0
[pid=11833/tid=11839] ppid=11831 vsize=10549356 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11839/stat : 11839 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10802540544 28538 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 7 0 0 0
[pid=11833/tid=11840] ppid=11831 vsize=10549356 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11840/stat : 11840 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10802540544 28538 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 1 0 0 0
[pid=11833/tid=11841] ppid=11831 vsize=10549356 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11841/stat : 11841 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10802540544 28538 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 1 0 0 0
[pid=11833/tid=11842] ppid=11831 vsize=10549356 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11842/stat : 11842 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10802540544 28538 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 3 0 0 0
[pid=11833/tid=11843] ppid=11831 vsize=10549356 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11843/stat : 11843 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10802540544 28538 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 7 0 0 0
[pid=11833/tid=11844] ppid=11831 vsize=10549356 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11844/stat : 11844 (java) S 11831 11833 8078 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 830384842 10802540544 28538 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290696192 0 0 0 16800975 18446604460426858688 0 0 -1 7 0 0 0
[pid=11833/tid=11845] ppid=11831 vsize=10549356 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11845/stat : 11845 (java) S 11831 11833 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830384843 10802540544 28538 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
[pid=11833/tid=11846] ppid=11831 vsize=10549356 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11846/stat : 11846 (java) S 11831 11833 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830384843 10802540544 28538 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
[pid=11833/tid=11847] ppid=11831 vsize=10549356 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11847/stat : 11847 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384845 10802540544 28538 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290703281 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
[pid=11833/tid=11848] ppid=11831 vsize=10549356 CPUtime=0.34 cores=1,3,5,7
/proc/11833/task/11848/stat : 11848 (java) S 11831 11833 8078 0 -1 4202560 2715 0 0 0 34 0 0 0 15 0 19 0 830384845 10802540544 28538 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 1 0 0 0
[pid=11833/tid=11849] ppid=11831 vsize=10549356 CPUtime=0.63 cores=1,3,5,7
/proc/11833/task/11849/stat : 11849 (java) S 11831 11833 8078 0 -1 4202560 12232 0 0 0 62 1 0 0 16 0 19 0 830384845 10802540544 28538 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 7 0 0 0
[pid=11833/tid=11850] ppid=11831 vsize=10549356 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11850/stat : 11850 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384845 10802540544 28538 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
[pid=11833/tid=11851] ppid=11831 vsize=10549356 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11851/stat : 11851 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830384845 10802540544 28538 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290696192 0 4 0 16800975 18446604460426858688 0 0 -1 1 0 0 0
[pid=11833/tid=11854] ppid=11831 vsize=10549356 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11854/stat : 11854 (java) S 11831 11833 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830384883 10802540544 28538 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290696192 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10549356
[startup+2.80108 s]
/proc/loadavg: 3.51 3.45 3.02 3/440 11864
/proc/meminfo: memFree=29327020/32950904 swapFree=56615552/67111528
[pid=11833] ppid=11831 vsize=10551404 CPUtime=2.57 cores=1,3,5,7
/proc/11833/stat : 11833 (java) S 11831 11833 8078 0 -1 4202496 40312 0 1 0 251 6 0 0 25 0 19 0 830384839 10804637696 32832 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11833/statm: 2637851 32832 2238 9 0 2628585 0
[pid=11833/tid=11834] ppid=11831 vsize=10551404 CPUtime=0.42 cores=1,3,5,7
/proc/11833/task/11834/stat : 11834 (java) S 11831 11833 8078 0 -1 4202560 16990 0 1 0 40 2 0 0 16 0 19 0 830384839 10804637696 32832 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290696192 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
[pid=11833/tid=11836] ppid=11831 vsize=10551404 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11836/stat : 11836 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10804637696 32832 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 1 0 0 0
[pid=11833/tid=11837] ppid=11831 vsize=10551404 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11837/stat : 11837 (java) S 11831 11833 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830384841 10804637696 32832 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 7 0 0 0
[pid=11833/tid=11838] ppid=11831 vsize=10551404 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11838/stat : 11838 (java) S 11831 11833 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830384841 10804637696 32832 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 3 0 0 0
[pid=11833/tid=11839] ppid=11831 vsize=10551404 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11839/stat : 11839 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10804637696 32832 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 7 0 0 0
[pid=11833/tid=11840] ppid=11831 vsize=10551404 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11840/stat : 11840 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10804637696 32832 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 1 0 0 0
[pid=11833/tid=11841] ppid=11831 vsize=10551404 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11841/stat : 11841 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10804637696 32832 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 1 0 0 0
[pid=11833/tid=11842] ppid=11831 vsize=10551404 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11842/stat : 11842 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10804637696 32832 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 3 0 0 0
[pid=11833/tid=11843] ppid=11831 vsize=10551404 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11843/stat : 11843 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384841 10804637696 32832 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 7 0 0 0
[pid=11833/tid=11844] ppid=11831 vsize=10551404 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11844/stat : 11844 (java) S 11831 11833 8078 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 830384842 10804637696 32832 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290696192 0 0 0 16800975 18446604460426858688 0 0 -1 7 0 0 0
[pid=11833/tid=11845] ppid=11831 vsize=10551404 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11845/stat : 11845 (java) S 11831 11833 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830384843 10804637696 32832 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
[pid=11833/tid=11846] ppid=11831 vsize=10551404 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11846/stat : 11846 (java) S 11831 11833 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830384843 10804637696 32832 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
[pid=11833/tid=11847] ppid=11831 vsize=10551404 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11847/stat : 11847 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384845 10804637696 32832 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290703281 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
[pid=11833/tid=11848] ppid=11831 vsize=10551404 CPUtime=0.68 cores=1,3,5,7
/proc/11833/task/11848/stat : 11848 (java) R 11831 11833 8078 0 -1 4202560 3266 0 0 0 68 0 0 0 16 0 19 0 830384845 10804637696 32832 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 47513675724952 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11833/tid=11849] ppid=11831 vsize=10551404 CPUtime=0.94 cores=1,3,5,7
/proc/11833/task/11849/stat : 11849 (java) S 11831 11833 8078 0 -1 4202560 14414 0 0 0 93 1 0 0 16 0 19 0 830384845 10804637696 32832 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 7 0 0 0
[pid=11833/tid=11850] ppid=11831 vsize=10551404 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11850/stat : 11850 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830384845 10804637696 32832 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290695577 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
[pid=11833/tid=11851] ppid=11831 vsize=10551404 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11851/stat : 11851 (java) S 11831 11833 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830384845 10804637696 32832 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290696192 0 4 0 16800975 18446604460426858688 0 0 -1 1 0 0 0
[pid=11833/tid=11854] ppid=11831 vsize=10551404 CPUtime=0 cores=1,3,5,7
/proc/11833/task/11854/stat : 11854 (java) S 11831 11833 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830384883 10804637696 32832 33554432000 1073741824 1073778376 140734240005728 18446744073709551615 237290696192 0 4 0 16800975 18446604460426858688 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 10551404
[startup+3.00098 s]
/proc/loadavg: 3.51 3.45 3.02 3/440 11864
/proc/meminfo: memFree=29327020/32950904 swapFree=56615552/67111528
[pid=11833] ppid=11831 vsize=0 CPUtime=2.62 cores=1,3,5,7
/proc/11833/stat : 11833 (java) R 11831 11833 8078 0 -1 4203524 40380 0 1 0 256 6 0 0 18 0 1 0 830384839 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11833/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 3.00618
CPU time (s): 2.6336
CPU user time (s): 2.56461
CPU system time (s): 0.068989
CPU usage (%): 87.606
Max. virtual memory (cumulated for all children) (KiB): 10551404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.56461
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40380
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= 358
involuntary context switches= 60
runsolver used 0.014997 second user time and 0.031995 second system time
The end