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-3481704-1307576775/watcher-3481704-1307576775 -o /tmp/evaluation-result-3481704-1307576775/solver-3481704-1307576775 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481704-1307576775.opb -seed 1537757541 -budget 1800
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.03 1.41 0.63 2/398 16833
/proc/meminfo: memFree=27245780/32951124 swapFree=67056304/67111528
[pid=16833] ppid=16831 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/16833/stat : 16833 (python) R 16831 16833 16077 0 -1 4202496 878 0 0 0 0 0 0 0 23 0 1 0 947908154 16150528 759 33554432000 4194304 5683644 140734445366768 18446744073709551615 4602698 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16833/statm: 3943 760 343 364 0 430 0
[startup+0.0842989 s]
/proc/loadavg: 2.03 1.41 0.63 2/398 16833
/proc/meminfo: memFree=27245780/32951124 swapFree=67056304/67111528
[pid=16833] ppid=16831 vsize=50008 CPUtime=0.04 cores=1,3,5,7
/proc/16833/stat : 16833 (python) R 16831 16833 16077 0 -1 4202496 1975 0 0 0 3 1 0 0 17 0 1 0 947908154 51208192 1736 33554432000 4194304 5683644 140734445366768 18446744073709551615 260020393984 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/16833/statm: 12502 1736 480 364 0 1202 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 50008
[startup+0.100257 s]
/proc/loadavg: 2.03 1.41 0.63 2/398 16833
/proc/meminfo: memFree=27245780/32951124 swapFree=67056304/67111528
[pid=16833] ppid=16831 vsize=85360 CPUtime=0.06 cores=1,3,5,7
/proc/16833/stat : 16833 (python) R 16831 16833 16077 0 -1 4202496 2606 0 0 0 4 2 0 0 17 0 1 0 947908154 87408640 2325 33554432000 4194304 5683644 140734445366768 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16833/statm: 21340 2328 715 364 0 1557 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85360
[startup+0.300265 s]
/proc/loadavg: 2.03 1.41 0.63 2/398 16833
/proc/meminfo: memFree=27245780/32951124 swapFree=67056304/67111528
[pid=16833] ppid=16831 vsize=123740 CPUtime=0.15 cores=1,3,5,7
/proc/16833/stat : 16833 (python) R 16831 16833 16077 0 -1 4202496 5356 929 1 0 10 5 0 0 16 0 1 0 947908154 126709760 3743 33554432000 4194304 5683644 140734445366768 18446744073709551615 260020391941 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16833/statm: 30935 3743 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.700161 s]
/proc/loadavg: 2.03 1.41 0.63 2/398 16833
/proc/meminfo: memFree=27245780/32951124 swapFree=67056304/67111528
[pid=16833] ppid=16831 vsize=284200 CPUtime=0.42 cores=1,3,5,7
/proc/16833/stat : 16833 (python) R 16831 16833 16077 0 -1 4202496 9528 929 1 0 30 12 0 0 15 0 1 0 947908154 291020800 7390 33554432000 4194304 5683644 140734445366768 18446744073709551615 4602349 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16833/statm: 71050 7390 1781 364 0 5943 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 284200
[startup+1.501 s]
/proc/loadavg: 2.03 1.41 0.63 6/399 16838
/proc/meminfo: memFree=27207572/32951124 swapFree=67056304/67111528
[pid=16833] ppid=16831 vsize=295668 CPUtime=1.22 cores=1,3,5,7
/proc/16833/stat : 16833 (python) R 16831 16833 16077 0 -1 4202496 14506 929 1 0 109 13 0 0 16 0 1 0 947908154 302764032 10203 33554432000 4194304 5683644 140734445366768 18446744073709551615 260020051987 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/16833/statm: 73917 10203 1816 364 0 8810 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 295668
[startup+3.10071 s]
/proc/loadavg: 2.03 1.42 0.64 5/419 16858
/proc/meminfo: memFree=27119124/32951124 swapFree=67056304/67111528
[pid=16833] ppid=16831 vsize=307068 CPUtime=1.32 cores=1,3,5,7
/proc/16833/stat : 16833 (python) S 16831 16833 16077 0 -1 4202496 15108 929 1 0 119 13 0 0 18 0 2 0 947908154 314437632 10573 33554432000 4194304 5683644 140734445366768 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16833/statm: 76767 10573 1870 364 0 11654 0
[pid=16839] ppid=16833 vsize=296824 CPUtime=0 cores=1,3,5,7
/proc/16839/stat : 16839 (python) S 16833 16833 16077 0 -1 4202560 762 0 0 0 0 0 0 0 15 0 1 0 947908314 303947776 9050 33554432000 4194304 5683644 140734445366768 18446744073709551615 260020416015 0 0 16781312 33554946 2099780283761950720 0 0 17 7 0 0 0
/proc/16839/statm: 74206 9050 351 364 0 9093 0
[pid=16841] ppid=16839 vsize=8537560 CPUtime=2.23 cores=1,3,5,7
/proc/16841/stat : 16841 (java) S 16839 16841 16841 0 -1 4202496 40623 0 1 0 215 8 0 0 19 0 19 0 947908315 8742461440 37055 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16841/statm: 2134390 37055 2230 9 0 2125131 0
[pid=16841/tid=16842] ppid=16839 vsize=8537560 CPUtime=1.48 cores=1,3,5,7
/proc/16841/task/16842/stat : 16842 (java) R 16839 16841 16841 0 -1 4202560 33207 0 1 0 142 6 0 0 18 0 19 0 947908315 8742461440 37055 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 46912505797708 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16841/tid=16843] ppid=16839 vsize=8537560 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16843/stat : 16843 (java) S 16839 16841 16841 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947908316 8742461440 37055 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 1 0 0 0
[pid=16841/tid=16844] ppid=16839 vsize=8537560 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16844/stat : 16844 (java) S 16839 16841 16841 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947908316 8742461440 37055 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 1 0 0 0
[pid=16841/tid=16845] ppid=16839 vsize=8537560 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16845/stat : 16845 (java) S 16839 16841 16841 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947908316 8742461440 37055 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 1 0 0 0
[pid=16841/tid=16846] ppid=16839 vsize=8537560 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16846/stat : 16846 (java) S 16839 16841 16841 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947908316 8742461440 37055 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 1 0 0 0
[pid=16841/tid=16847] ppid=16839 vsize=8537560 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16847/stat : 16847 (java) S 16839 16841 16841 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947908316 8742461440 37055 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 1 0 0 0
[pid=16841/tid=16848] ppid=16839 vsize=8537560 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16848/stat : 16848 (java) S 16839 16841 16841 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947908316 8742461440 37055 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 1 0 0 0
[pid=16841/tid=16849] ppid=16839 vsize=8537560 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16849/stat : 16849 (java) S 16839 16841 16841 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947908316 8742461440 37055 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 1 0 0 0
[pid=16841/tid=16850] ppid=16839 vsize=8537560 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16850/stat : 16850 (java) S 16839 16841 16841 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947908316 8742461440 37055 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 7 0 0 0
[pid=16841/tid=16851] ppid=16839 vsize=8537560 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16851/stat : 16851 (java) S 16839 16841 16841 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 947908317 8742461440 37055 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032212480 0 0 0 16800975 18446604461735860160 0 0 -1 7 0 0 0
[pid=16841/tid=16852] ppid=16839 vsize=8537560 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16852/stat : 16852 (java) S 16839 16841 16841 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947908317 8742461440 37055 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 1 0 0 0
[pid=16841/tid=16853] ppid=16839 vsize=8537560 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16853/stat : 16853 (java) S 16839 16841 16841 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947908317 8742461440 37055 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 1 0 0 0
[pid=16841/tid=16854] ppid=16839 vsize=8537560 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16854/stat : 16854 (java) S 16839 16841 16841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947908319 8742461440 37055 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032219569 0 4 0 16800975 18446604461735860160 0 0 -1 1 0 0 0
[pid=16841/tid=16855] ppid=16839 vsize=8537560 CPUtime=0.32 cores=1,3,5,7
/proc/16841/task/16855/stat : 16855 (java) S 16839 16841 16841 0 -1 4202560 3448 0 0 0 32 0 0 0 15 0 19 0 947908319 8742461440 37055 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 3 0 0 0
[pid=16841/tid=16856] ppid=16839 vsize=8537560 CPUtime=0.41 cores=1,3,5,7
/proc/16841/task/16856/stat : 16856 (java) S 16839 16841 16841 0 -1 4202560 2580 0 0 0 41 0 0 0 20 0 19 0 947908319 8742461440 37055 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 7 0 0 0
[pid=16841/tid=16857] ppid=16839 vsize=8537560 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16857/stat : 16857 (java) S 16839 16841 16841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947908319 8742461440 37055 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 1 0 0 0
[pid=16841/tid=16858] ppid=16839 vsize=8537560 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16858/stat : 16858 (java) S 16839 16841 16841 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947908319 8742461440 37055 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032212480 0 4 0 16800975 18446604461735860160 0 0 -1 7 0 0 0
[pid=16833/tid=16840] ppid=16831 vsize=307068 CPUtime=0 cores=1,3,5,7
/proc/16833/task/16840/stat : 16840 (python) S 16831 16833 16077 0 -1 4202560 26 929 0 0 0 0 0 0 18 0 2 0 947908315 314437632 10573 33554432000 4194304 5683644 140734445366768 18446744073709551615 260032219569 0 0 16781312 33554434 18446604462036758848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 9141452
[startup+6.30112 s]
/proc/loadavg: 2.03 1.42 0.64 5/420 16859
/proc/meminfo: memFree=27042860/32951124 swapFree=67056304/67111528
[pid=16833] ppid=16831 vsize=307068 CPUtime=1.32 cores=1,3,5,7
/proc/16833/stat : 16833 (python) S 16831 16833 16077 0 -1 4202496 15108 929 1 0 119 13 0 0 18 0 2 0 947908154 314437632 10573 33554432000 4194304 5683644 140734445366768 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16833/statm: 76767 10573 1870 364 0 11654 0
[pid=16839] ppid=16833 vsize=296824 CPUtime=0 cores=1,3,5,7
/proc/16839/stat : 16839 (python) S 16833 16833 16077 0 -1 4202560 895 0 0 0 0 0 0 0 15 0 1 0 947908314 303947776 9077 33554432000 4194304 5683644 140734445366768 18446744073709551615 260020416015 0 0 16781312 33554946 4294934790 0 0 17 3 0 0 0
/proc/16839/statm: 74206 9077 375 364 0 9093 0
[pid=16841] ppid=16839 vsize=8537716 CPUtime=5.5 cores=1,3,5,7
/proc/16841/stat : 16841 (java) S 16839 16841 16841 0 -1 4202496 47282 0 1 0 541 9 0 0 19 0 19 0 947908315 8742621184 43703 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16841/statm: 2134429 43703 2256 9 0 2125170 0
[pid=16841/tid=16842] ppid=16839 vsize=8537716 CPUtime=4.62 cores=1,3,5,7
/proc/16841/task/16842/stat : 16842 (java) R 16839 16841 16841 0 -1 4202560 33998 0 1 0 456 6 0 0 21 0 19 0 947908315 8742621184 43703 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 46912505775806 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16841/tid=16843] ppid=16839 vsize=8537716 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16843/stat : 16843 (java) S 16839 16841 16841 0 -1 4202560 605 0 0 0 0 0 0 0 18 0 19 0 947908316 8742621184 43703 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 7 0 0 0
[pid=16841/tid=16844] ppid=16839 vsize=8537716 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16844/stat : 16844 (java) S 16839 16841 16841 0 -1 4202560 794 0 0 0 0 0 0 0 18 0 19 0 947908316 8742621184 43703 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 3 0 0 0
[pid=16841/tid=16845] ppid=16839 vsize=8537716 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16845/stat : 16845 (java) S 16839 16841 16841 0 -1 4202560 432 0 0 0 0 0 0 0 18 0 19 0 947908316 8742621184 43703 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 3 0 0 0
[pid=16841/tid=16846] ppid=16839 vsize=8537716 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16846/stat : 16846 (java) S 16839 16841 16841 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947908316 8742621184 43703 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 7 0 0 0
[pid=16841/tid=16847] ppid=16839 vsize=8537716 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16847/stat : 16847 (java) S 16839 16841 16841 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947908316 8742621184 43703 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 3 0 0 0
[pid=16841/tid=16848] ppid=16839 vsize=8537716 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16848/stat : 16848 (java) S 16839 16841 16841 0 -1 4202560 1010 0 0 0 0 0 0 0 16 0 19 0 947908316 8742621184 43703 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 7 0 0 0
[pid=16841/tid=16849] ppid=16839 vsize=8537716 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16849/stat : 16849 (java) S 16839 16841 16841 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947908316 8742621184 43703 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 7 0 0 0
[pid=16841/tid=16850] ppid=16839 vsize=8537716 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16850/stat : 16850 (java) S 16839 16841 16841 0 -1 4202560 784 0 0 0 0 0 0 0 15 0 19 0 947908316 8742621184 43703 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 7 0 0 0
[pid=16841/tid=16851] ppid=16839 vsize=8537716 CPUtime=0.04 cores=1,3,5,7
/proc/16841/task/16851/stat : 16851 (java) S 16839 16841 16841 0 -1 4202560 2222 0 0 0 4 0 0 0 16 0 19 0 947908317 8742621184 43703 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032212480 0 0 0 16800975 18446604461735860160 0 0 -1 1 0 0 0
[pid=16841/tid=16852] ppid=16839 vsize=8537716 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16852/stat : 16852 (java) S 16839 16841 16841 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947908317 8742621184 43703 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 7 0 0 0
[pid=16841/tid=16853] ppid=16839 vsize=8537716 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16853/stat : 16853 (java) S 16839 16841 16841 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947908317 8742621184 43703 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 7 0 0 0
[pid=16841/tid=16854] ppid=16839 vsize=8537716 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16854/stat : 16854 (java) S 16839 16841 16841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947908319 8742621184 43703 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032219569 0 4 0 16800975 18446604461735860160 0 0 -1 1 0 0 0
[pid=16841/tid=16855] ppid=16839 vsize=8537716 CPUtime=0.34 cores=1,3,5,7
/proc/16841/task/16855/stat : 16855 (java) S 16839 16841 16841 0 -1 4202560 3457 0 0 0 34 0 0 0 15 0 19 0 947908319 8742621184 43703 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 3 0 0 0
[pid=16841/tid=16856] ppid=16839 vsize=8537716 CPUtime=0.44 cores=1,3,5,7
/proc/16841/task/16856/stat : 16856 (java) S 16839 16841 16841 0 -1 4202560 2599 0 0 0 44 0 0 0 15 0 19 0 947908319 8742621184 43703 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 7 0 0 0
[pid=16841/tid=16857] ppid=16839 vsize=8537716 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16857/stat : 16857 (java) S 16839 16841 16841 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947908319 8742621184 43703 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 1 0 0 0
[pid=16841/tid=16858] ppid=16839 vsize=8537716 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16858/stat : 16858 (java) S 16839 16841 16841 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947908319 8742621184 43703 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032212480 0 4 0 16800975 18446604461735860160 0 0 -1 3 0 0 0
[pid=16841/tid=16859] ppid=16839 vsize=8537716 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16859/stat : 16859 (java) S 16839 16841 16841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947908387 8742621184 43703 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032212480 0 4 0 16800975 18446604461735860160 0 0 -1 3 0 0 0
[pid=16833/tid=16840] ppid=16831 vsize=307068 CPUtime=0 cores=1,3,5,7
/proc/16833/task/16840/stat : 16840 (python) S 16831 16833 16077 0 -1 4202560 26 929 0 0 0 0 0 0 18 0 2 0 947908315 314437632 10573 33554432000 4194304 5683644 140734445366768 18446744073709551615 260032219569 0 0 16781312 33554434 18446604462036758848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.82
Current children cumulated vsize (KiB) 9141608
[startup+12.701 s]
/proc/loadavg: 2.02 1.44 0.65 5/420 16859
/proc/meminfo: memFree=27015820/32951124 swapFree=67056304/67111528
[pid=16833] ppid=16831 vsize=307068 CPUtime=1.32 cores=1,3,5,7
/proc/16833/stat : 16833 (python) S 16831 16833 16077 0 -1 4202496 15108 929 1 0 119 13 0 0 18 0 2 0 947908154 314437632 10573 33554432000 4194304 5683644 140734445366768 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16833/statm: 76767 10573 1870 364 0 11654 0
[pid=16839] ppid=16833 vsize=296824 CPUtime=0.01 cores=1,3,5,7
/proc/16839/stat : 16839 (python) S 16833 16833 16077 0 -1 4202560 897 0 0 0 0 1 0 0 15 0 1 0 947908314 303947776 9077 33554432000 4194304 5683644 140734445366768 18446744073709551615 260020416015 0 0 16781312 33554946 4294934790 0 0 17 1 0 0 0
/proc/16839/statm: 74206 9077 375 364 0 9093 0
[pid=16841] ppid=16839 vsize=8536860 CPUtime=11.96 cores=1,3,5,7
/proc/16841/stat : 16841 (java) S 16839 16841 16841 0 -1 4202496 49521 0 1 0 1187 9 0 0 19 0 19 0 947908315 8741744640 45745 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16841/statm: 2134215 45745 2256 9 0 2124956 0
[pid=16841/tid=16842] ppid=16839 vsize=8536860 CPUtime=10.95 cores=1,3,5,7
/proc/16841/task/16842/stat : 16842 (java) R 16839 16841 16841 0 -1 4202560 34000 0 1 0 1089 6 0 0 25 0 19 0 947908315 8741744640 45745 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 46912505833052 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16841/tid=16843] ppid=16839 vsize=8536860 CPUtime=0.01 cores=1,3,5,7
/proc/16841/task/16843/stat : 16843 (java) S 16839 16841 16841 0 -1 4202560 1174 0 0 0 1 0 0 0 16 0 19 0 947908316 8741744640 45745 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 3 0 0 0
[pid=16841/tid=16844] ppid=16839 vsize=8536860 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16844/stat : 16844 (java) S 16839 16841 16841 0 -1 4202560 794 0 0 0 0 0 0 0 15 0 19 0 947908316 8741744640 45745 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 3 0 0 0
[pid=16841/tid=16845] ppid=16839 vsize=8536860 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16845/stat : 16845 (java) S 16839 16841 16841 0 -1 4202560 657 0 0 0 0 0 0 0 15 0 19 0 947908316 8741744640 45745 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 7 0 0 0
[pid=16841/tid=16846] ppid=16839 vsize=8536860 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16846/stat : 16846 (java) S 16839 16841 16841 0 -1 4202560 405 0 0 0 0 0 0 0 15 0 19 0 947908316 8741744640 45745 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446604461735860160 0 0 -1 7 0 0 0
[pid=16841/tid=16847] ppid=16839 vsize=8536860 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=16932/tid=16936] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16936/stat : 16936 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947918076 8743559168 37272 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16938] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16938/stat : 16938 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947918076 8743559168 37272 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16940] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16940/stat : 16940 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947918076 8743559168 37272 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16942] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16942/stat : 16942 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947918076 8743559168 37272 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16944] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16944/stat : 16944 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947918076 8743559168 37273 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16947] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16947/stat : 16947 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947918076 8743559168 37273 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16949] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16949/stat : 16949 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947918076 8743559168 37273 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16950] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16950/stat : 16950 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947918076 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16952] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16952/stat : 16952 (java) S 16929 16932 16932 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 947918077 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032212480 0 0 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16954] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16954/stat : 16954 (java) S 16929 16932 16932 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 947918077 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16956] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16956/stat : 16956 (java) S 16929 16932 16932 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 947918077 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16957] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16957/stat : 16957 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947918080 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032219569 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16958] ppid=16929 vsize=8538632 CPUtime=0.35 cores=1,3,5,7
/proc/16932/task/16958/stat : 16958 (java) R 16929 16932 16932 0 -1 4202560 3247 0 0 0 35 0 0 0 15 0 19 0 947918080 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 47175427228108 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16932/tid=16961] ppid=16929 vsize=8538632 CPUtime=0.3 cores=1,3,5,7
/proc/16932/task/16961/stat : 16961 (java) R 16929 16932 16932 0 -1 4202560 2372 0 0 0 30 0 0 0 16 0 19 0 947918080 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 47175425273116 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16932/tid=16962] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16962/stat : 16962 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947918080 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16965] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16965/stat : 16965 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947918080 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032212480 0 4 0 16800975 18446604464863496960 0 0 -1 1 0 0 0
[pid=16932/tid=16968] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16968/stat : 16968 (java) S 16929 16932 16932 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947918146 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032212480 0 4 0 16800975 18446604464863496960 0 0 -1 5 0 0 0
[pid=16833/tid=16840] ppid=16831 vsize=327580 CPUtime=0 cores=1,3,5,7
/proc/16833/task/16840/stat : 16840 (python) S 16831 16833 16077 0 -1 4202560 26 929 0 0 0 0 0 0 18 0 4 0 947908315 335441920 10588 33554432000 4194304 5683644 140734445366768 18446744073709551615 260032219569 0 0 16781312 33554434 18446604462036758848 0 0 -1 5 0 0 0
[pid=16833/tid=16922] ppid=16831 vsize=327580 CPUtime=0 cores=1,3,5,7
/proc/16833/task/16922/stat : 16922 (python) S 16831 16833 16077 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 4 0 947913255 335441920 10588 33554432000 4194304 5683644 140734445366768 18446744073709551615 260032219569 0 0 16781312 33554434 18446604462036758848 0 0 -1 7 0 0 0
[pid=16833/tid=16930] ppid=16831 vsize=327580 CPUtime=0 cores=1,3,5,7
/proc/16833/task/16930/stat : 16930 (python) S 16831 16833 16077 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 4 0 947918074 335441920 10588 33554432000 4194304 5683644 140734445366768 18446744073709551615 260032219569 0 0 16781312 33554434 18446604462036758848 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 18374264
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+100.001 s]
/proc/loadavg: 2.00 1.58 0.76 6/463 16968
/proc/meminfo: memFree=26632904/32951124 swapFree=67056304/67111528
[pid=16833] ppid=16831 vsize=327580 CPUtime=1.37 cores=1,3,5,7
/proc/16833/stat : 16833 (python) S 16831 16833 16077 0 -1 4202496 16849 929 1 0 123 14 0 0 20 0 4 0 947908154 335441920 10588 33554432000 4194304 5683644 140734445366768 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16833/statm: 81895 10588 1875 364 0 16776 0
[pid=16839] ppid=16833 vsize=307068 CPUtime=0.13 cores=1,3,5,7
/proc/16839/stat : 16839 (python) S 16833 16833 16077 0 -1 4202560 1080 0 0 0 6 7 0 0 16 0 2 0 947908314 314437632 9114 33554432000 4194304 5683644 140734445366768 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/16839/statm: 76767 9114 406 364 0 11654 0
[pid=16841] ppid=16839 vsize=8536860 CPUtime=50.3 cores=1,3,5,7
/proc/16841/stat : 16841 (java) T 16839 16841 16841 0 -1 4202496 56279 0 1 0 5020 10 0 0 18 0 19 0 947908315 8741744640 52419 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16841/statm: 2134215 52419 2256 9 0 2124956 0
[pid=16841/tid=16842] ppid=16839 vsize=8536860 CPUtime=48.94 cores=1,3,5,7
/proc/16841/task/16842/stat : 16842 (java) T 16839 16841 16841 0 -1 4202560 34008 0 1 0 4888 6 0 0 25 0 19 0 947908315 8741744640 52419 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 46912505797863 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16841/tid=16843] ppid=16839 vsize=8536860 CPUtime=0.02 cores=1,3,5,7
/proc/16841/task/16843/stat : 16843 (java) T 16839 16841 16841 0 -1 4202560 1573 0 0 0 2 0 0 0 15 0 19 0 947908316 8741744640 52419 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16841/tid=16844] ppid=16839 vsize=8536860 CPUtime=0.01 cores=1,3,5,7
/proc/16841/task/16844/stat : 16844 (java) T 16839 16841 16841 0 -1 4202560 1321 0 0 0 1 0 0 0 15 0 19 0 947908316 8741744640 52419 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16841/tid=16845] ppid=16839 vsize=8536860 CPUtime=0.02 cores=1,3,5,7
/proc/16841/task/16845/stat : 16845 (java) T 16839 16841 16841 0 -1 4202560 1447 0 0 0 2 0 0 0 15 0 19 0 947908316 8741744640 52419 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16841/tid=16846] ppid=16839 vsize=8536860 CPUtime=0.01 cores=1,3,5,7
/proc/16841/task/16846/stat : 16846 (java) T 16839 16841 16841 0 -1 4202560 503 0 0 0 1 0 0 0 15 0 19 0 947908316 8741744640 52419 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16841/tid=16847] ppid=16839 vsize=8536860 CPUtime=0.01 cores=1,3,5,7
/proc/16841/task/16847/stat : 16847 (java) T 16839 16841 16841 0 -1 4202560 891 0 0 0 1 0 0 0 15 0 19 0 947908316 8741744640 52419 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16841/tid=16848] ppid=16839 vsize=8536860 CPUtime=0.02 cores=1,3,5,7
/proc/16841/task/16848/stat : 16848 (java) T 16839 16841 16841 0 -1 4202560 2382 0 0 0 2 0 0 0 15 0 19 0 947908316 8741744640 52419 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16841/tid=16849] ppid=16839 vsize=8536860 CPUtime=0.01 cores=1,3,5,7
/proc/16841/task/16849/stat : 16849 (java) T 16839 16841 16841 0 -1 4202560 810 0 0 0 1 0 0 0 15 0 19 0 947908316 8741744640 52419 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16841/tid=16850] ppid=16839 vsize=8536860 CPUtime=0.01 cores=1,3,5,7
/proc/16841/task/16850/stat : 16850 (java) T 16839 16841 16841 0 -1 4202560 2029 0 0 0 1 0 0 0 15 0 19 0 947908316 8741744640 52419 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16841/tid=16851] ppid=16839 vsize=8536860 CPUtime=0.33 cores=1,3,5,7
/proc/16841/task/16851/stat : 16851 (java) T 16839 16841 16841 0 -1 4202560 3869 0 0 0 33 0 0 0 15 0 19 0 947908317 8741744640 52419 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032212480 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16841/tid=16852] ppid=16839 vsize=8536860 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16852/stat : 16852 (java) T 16839 16841 16841 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947908317 8741744640 52419 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16841/tid=16853] ppid=16839 vsize=8536860 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16853/stat : 16853 (java) T 16839 16841 16841 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947908317 8741744640 52419 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16841/tid=16854] ppid=16839 vsize=8536860 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16854/stat : 16854 (java) T 16839 16841 16841 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947908319 8741744640 52419 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032219569 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16841/tid=16855] ppid=16839 vsize=8536860 CPUtime=0.37 cores=1,3,5,7
/proc/16841/task/16855/stat : 16855 (java) T 16839 16841 16841 0 -1 4202560 3465 0 0 0 37 0 0 0 15 0 19 0 947908319 8741744640 52419 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16841/tid=16856] ppid=16839 vsize=8536860 CPUtime=0.45 cores=1,3,5,7
/proc/16841/task/16856/stat : 16856 (java) T 16839 16841 16841 0 -1 4202560 2599 0 0 0 45 0 0 0 15 0 19 0 947908319 8741744640 52419 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16841/tid=16857] ppid=16839 vsize=8536860 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16857/stat : 16857 (java) T 16839 16841 16841 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947908319 8741744640 52419 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16841/tid=16858] ppid=16839 vsize=8536860 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16858/stat : 16858 (java) T 16839 16841 16841 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947908319 8741744640 52419 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16841/tid=16859] ppid=16839 vsize=8536860 CPUtime=0 cores=1,3,5,7
/proc/16841/task/16859/stat : 16859 (java) T 16839 16841 16841 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947908387 8741744640 52419 33554432000 1073741824 1073778376 140734013637568 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16839/tid=16920] ppid=16833 vsize=307068 CPUtime=0 cores=1,3,5,7
/proc/16839/task/16920/stat : 16920 (python) S 16833 16833 16077 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947913253 314437632 9114 33554432000 4194304 5683644 140734445366768 18446744073709551615 260032219569 0 0 16781312 33554946 18446604455561860928 0 0 -1 5 0 0 0
[pid=16921] ppid=16833 vsize=307080 CPUtime=0.17 cores=1,3,5,7
/proc/16921/stat : 16921 (python) S 16833 16833 16077 0 -1 4202560 1154 0 0 0 9 8 0 0 17 0 2 0 947913255 314449920 9105 33554432000 4194304 5683644 140734445366768 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/16921/statm: 76770 9105 396 364 0 11654 0
[pid=16923] ppid=16921 vsize=39708 CPUtime=48.15 cores=1,3,5,7
/proc/16923/stat : 16923 (wbo1.4a) T 16921 16923 16923 0 -1 4202496 34174 0 0 0 4807 8 0 0 25 0 1 0 947913255 40660992 9409 33554432000 134512640 135751879 4291945872 18446744073709551615 134517030 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/16923/statm: 9927 9409 145 303 0 9622 0
[pid=16921/tid=16926] ppid=16833 vsize=307080 CPUtime=0 cores=1,3,5,7
/proc/16921/task/16926/stat : 16926 (python) S 16833 16833 16077 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 947918072 314449920 9105 33554432000 4194304 5683644 140734445366768 18446744073709551615 260032219569 0 0 16781312 33554946 18446604459069490240 0 0 -1 1 0 0 0
[pid=16929] ppid=16833 vsize=317336 CPUtime=0 cores=1,3,5,7
/proc/16929/stat : 16929 (python) S 16833 16833 16077 0 -1 4202560 774 0 0 0 0 0 0 0 15 0 1 0 947918074 324952064 9057 33554432000 4194304 5683644 140734445366768 18446744073709551615 260020416070 0 0 16781312 33554946 352372156484550656 0 0 17 5 0 0 0
/proc/16929/statm: 79334 9057 348 364 0 14215 0
[pid=16932] ppid=16929 vsize=8538632 CPUtime=1.46 cores=1,3,5,7
/proc/16932/stat : 16932 (java) S 16929 16932 16932 0 -1 4202496 40289 0 1 0 142 4 0 0 17 0 19 0 947918074 8743559168 37258 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/16932/statm: 2134658 37258 2224 9 0 2125399 0
[pid=16932/tid=16934] ppid=16929 vsize=8538632 CPUtime=0.8 cores=1,3,5,7
/proc/16932/task/16934/stat : 16934 (java) R 16929 16932 16932 0 -1 4202560 33287 0 1 0 77 3 0 0 19 0 19 0 947918075 8743559168 37271 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16932/tid=16936] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16936/stat : 16936 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947918076 8743559168 37272 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16938] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16938/stat : 16938 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947918076 8743559168 37272 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16940] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16940/stat : 16940 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947918076 8743559168 37272 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16942] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16942/stat : 16942 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947918076 8743559168 37272 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16944] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16944/stat : 16944 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947918076 8743559168 37273 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16947] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16947/stat : 16947 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947918076 8743559168 37273 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16949] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16949/stat : 16949 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947918076 8743559168 37273 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16950] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16950/stat : 16950 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947918076 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16952] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16952/stat : 16952 (java) S 16929 16932 16932 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 947918077 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032212480 0 0 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16954] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16954/stat : 16954 (java) S 16929 16932 16932 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 947918077 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16956] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16956/stat : 16956 (java) S 16929 16932 16932 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 947918077 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16957] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16957/stat : 16957 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947918080 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032219569 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16958] ppid=16929 vsize=8538632 CPUtime=0.35 cores=1,3,5,7
/proc/16932/task/16958/stat : 16958 (java) R 16929 16932 16932 0 -1 4202560 3247 0 0 0 35 0 0 0 15 0 19 0 947918080 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 47175427228108 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16932/tid=16961] ppid=16929 vsize=8538632 CPUtime=0.3 cores=1,3,5,7
/proc/16932/task/16961/stat : 16961 (java) R 16929 16932 16932 0 -1 4202560 2372 0 0 0 30 0 0 0 16 0 19 0 947918080 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 47175425273116 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16932/tid=16962] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16962/stat : 16962 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947918080 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032211865 0 4 0 16800975 18446604464863496960 0 0 -1 7 0 0 0
[pid=16932/tid=16965] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16965/stat : 16965 (java) S 16929 16932 16932 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947918080 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032212480 0 4 0 16800975 18446604464863496960 0 0 -1 1 0 0 0
[pid=16932/tid=16968] ppid=16929 vsize=8538632 CPUtime=0 cores=1,3,5,7
/proc/16932/task/16968/stat : 16968 (java) S 16929 16932 16932 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947918146 8743559168 37274 33554432000 1073741824 1073778376 140735165321040 18446744073709551615 260032212480 0 4 0 16800975 18446604464863496960 0 0 -1 5 0 0 0
[pid=16833/tid=16840] ppid=16831 vsize=327580 CPUtime=0 cores=1,3,5,7
/proc/16833/task/16840/stat : 16840 (python) S 16831 16833 16077 0 -1 4202560 26 929 0 0 0 0 0 0 18 0 4 0 947908315 335441920 10588 33554432000 4194304 5683644 140734445366768 18446744073709551615 260032219569 0 0 16781312 33554434 18446604462036758848 0 0 -1 5 0 0 0
[pid=16833/tid=16922] ppid=16831 vsize=327580 CPUtime=0 cores=1,3,5,7
/proc/16833/task/16922/stat : 16922 (python) S 16831 16833 16077 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 4 0 947913255 335441920 10588 33554432000 4194304 5683644 140734445366768 18446744073709551615 260032219569 0 0 16781312 33554434 18446604462036758848 0 0 -1 7 0 0 0
[pid=16833/tid=16930] ppid=16831 vsize=327580 CPUtime=0 cores=1,3,5,7
/proc/16833/task/16930/stat : 16930 (python) S 16831 16833 16077 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 4 0 947918074 335441920 10588 33554432000 4194304 5683644 140734445366768 18446744073709551615 260032219569 0 0 16781312 33554434 18446604462036758848 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 18374264
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16833 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=239811
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=145977
# CPU time returned by wait4() is 1.38579
# while last known CPU time is 101.58
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 100.064
CPU time (s): 101.58
CPU user time (s): 101.07
CPU system time (s): 0.51
CPU usage (%): 101.516
Max. virtual memory (cumulated for all children) (KiB): 18374264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.23981
system time used= 0.145977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17778
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= 2827
involuntary context switches= 22
runsolver used 0.371943 second user time and 0.78488 second system time
The end