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-3481189-1307578610/watcher-3481189-1307578610 -o /tmp/evaluation-result-3481189-1307578610/solver-3481189-1307578610 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481189-1307578610.opb -seed 459633225 -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.31 2.12 1.88 2/696 14100
/proc/meminfo: memFree=13477428/32950904 swapFree=56615552/67111528
[pid=14100] ppid=14098 vsize=15904 CPUtime=0 cores=1,3,5,7
/proc/14100/stat : 14100 (python) R 14098 14100 11000 0 -1 4202496 966 0 0 0 0 0 0 0 20 0 1 0 869460803 16285696 840 33554432000 4194304 5683644 140737201351552 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/14100/statm: 3976 842 357 364 0 463 0

[startup+0.0557841 s]
/proc/loadavg: 2.31 2.12 1.88 2/696 14100
/proc/meminfo: memFree=13477428/32950904 swapFree=56615552/67111528
[pid=14100] ppid=14098 vsize=36508 CPUtime=0.03 cores=1,3,5,7
/proc/14100/stat : 14100 (python) R 14098 14100 11000 0 -1 4202496 1567 0 0 0 3 0 0 0 17 0 1 0 869460803 37384192 1401 33554432000 4194304 5683644 140737201351552 18446744073709551615 237278540485 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/14100/statm: 9127 1401 452 364 0 944 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 36508

[startup+0.100771 s]
/proc/loadavg: 2.31 2.12 1.88 2/696 14100
/proc/meminfo: memFree=13477428/32950904 swapFree=56615552/67111528
[pid=14100] ppid=14098 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/14100/stat : 14100 (python) R 14098 14100 11000 0 -1 4202496 3170 928 1 0 6 1 0 0 18 0 1 0 869460803 98430976 2483 33554432000 4194304 5683644 140737201351552 18446744073709551615 5177504 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/14100/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124

[startup+0.30075 s]
/proc/loadavg: 2.31 2.12 1.88 2/696 14100
/proc/meminfo: memFree=13477428/32950904 swapFree=56615552/67111528
[pid=14100] ppid=14098 vsize=202856 CPUtime=0.22 cores=1,3,5,7
/proc/14100/stat : 14100 (python) R 14098 14100 11000 0 -1 4202496 6658 928 1 0 17 5 0 0 17 0 1 0 869460803 207724544 4944 33554432000 4194304 5683644 140737201351552 18446744073709551615 237278877696 0 2147483391 16781312 2 0 0 0 17 3 0 0 0
/proc/14100/statm: 50714 4944 1472 364 0 3676 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 202856

[startup+0.700666 s]
/proc/loadavg: 2.31 2.12 1.88 2/696 14100
/proc/meminfo: memFree=13477428/32950904 swapFree=56615552/67111528
[pid=14100] ppid=14098 vsize=288872 CPUtime=0.59 cores=1,3,5,7
/proc/14100/stat : 14100 (python) R 14098 14100 11000 0 -1 4202496 11635 928 1 0 51 8 0 0 17 0 1 0 869460803 295804928 8562 33554432000 4194304 5683644 140737201351552 18446744073709551615 47119346504257 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/14100/statm: 72218 8562 1815 364 0 7111 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 288872

[startup+1.50146 s]
/proc/loadavg: 2.31 2.12 1.88 3/730 14138
/proc/meminfo: memFree=13431400/32950904 swapFree=56615552/67111528
[pid=14100] ppid=14098 vsize=299840 CPUtime=0.88 cores=1,3,5,7
/proc/14100/stat : 14100 (python) S 14098 14100 11000 0 -1 4202496 12177 928 1 0 79 9 0 0 19 0 2 0 869460803 307036160 8799 33554432000 4194304 5683644 140737201351552 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/14100/statm: 74960 8799 1870 364 0 9847 0
[pid=14122] ppid=14100 vsize=289596 CPUtime=0 cores=1,3,5,7
/proc/14122/stat : 14122 (python) S 14100 14100 11000 0 -1 4202560 847 0 0 0 0 0 0 0 15 0 1 0 869460902 296546304 7282 33554432000 4194304 5683644 140737201351552 18446744073709551615 237278899727 0 0 16781312 33554946 2248538443153932288 0 0 17 3 0 0 0
/proc/14122/statm: 72399 7282 357 364 0 7286 0
[pid=14124] ppid=14122 vsize=8603452 CPUtime=0.98 cores=1,3,5,7
/proc/14124/stat : 14124 (java) S 14122 14124 14124 0 -1 4202496 26240 0 1 0 94 4 0 0 20 0 19 0 869460902 8809934848 23772 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/14124/statm: 2150863 23772 2217 9 0 2141604 0
[pid=14124/tid=14130] ppid=14122 vsize=8603452 CPUtime=0.49 cores=1,3,5,7
/proc/14124/task/14130/stat : 14130 (java) R 14122 14124 14124 0 -1 4202560 19713 0 1 0 46 3 0 0 25 0 19 0 869460903 8809934848 23772 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 46912505588842 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14124/tid=14131] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 14124 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869460903 8809934848 23776 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 7 0 0 0
[pid=14124/tid=14132] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 14124 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869460903 8809934848 23776 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 7 0 0 0
[pid=14124/tid=14133] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14133/stat : 14133 (java) S 14122 14124 14124 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869460903 8809934848 23776 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 7 0 0 0
[pid=14124/tid=14134] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14134/stat : 14134 (java) S 14122 14124 14124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460903 8809934848 23772 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14135] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14135/stat : 14135 (java) S 14122 14124 14124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460903 8809934848 23773 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14124/tid=14136] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14136/stat : 14136 (java) S 14122 14124 14124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460903 8809934848 23773 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14124/tid=14137] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14137/stat : 14137 (java) S 14122 14124 14124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460903 8809934848 23773 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14138] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14138/stat : 14138 (java) S 14122 14124 14124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460903 8809934848 23773 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14139] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14139/stat : 14139 (java) S 14122 14124 14124 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 19 0 869460904 8809934848 23773 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290696192 0 0 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14140] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14140/stat : 14140 (java) S 14122 14124 14124 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869460905 8809934848 23773 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14141] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14141/stat : 14141 (java) S 14122 14124 14124 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869460905 8809934848 23773 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14100/tid=14123] ppid=14098 vsize=299840 CPUtime=0 cores=1,3,5,7
/proc/14100/task/14123/stat : 14123 (python) S 14098 14100 11000 0 -1 4202560 24 928 0 0 0 0 0 0 19 0 2 0 869460902 307036160 8799 33554432000 4194304 5683644 140737201351552 18446744073709551615 237290703281 0 0 16781312 33554434 18446604470843591360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9192888

[startup+3.10118 s]
/proc/loadavg: 2.36 2.14 1.89 3/740 14148
/proc/meminfo: memFree=13174676/32950904 swapFree=56615552/67111528
[pid=14100] ppid=14098 vsize=299840 CPUtime=0.88 cores=1,3,5,7
/proc/14100/stat : 14100 (python) S 14098 14100 11000 0 -1 4202496 12177 928 1 0 79 9 0 0 19 0 2 0 869460803 307036160 8799 33554432000 4194304 5683644 140737201351552 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/14100/statm: 74960 8799 1870 364 0 9847 0
[pid=14122] ppid=14100 vsize=289596 CPUtime=0 cores=1,3,5,7
/proc/14122/stat : 14122 (python) S 14100 14100 11000 0 -1 4202560 851 0 0 0 0 0 0 0 15 0 1 0 869460902 296546304 7282 33554432000 4194304 5683644 140737201351552 18446744073709551615 237278899727 0 0 16781312 33554946 3750744039939375104 0 0 17 3 0 0 0
/proc/14122/statm: 72399 7282 357 364 0 7286 0
[pid=14124] ppid=14122 vsize=8603452 CPUtime=3.07 cores=1,3,5,7
/proc/14124/stat : 14124 (java) S 14122 14124 14124 0 -1 4202496 33531 0 1 0 301 6 0 0 20 0 19 0 869460902 8809934848 29219 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/14124/statm: 2150863 29219 2255 9 0 2141604 0
[pid=14124/tid=14130] ppid=14122 vsize=8603452 CPUtime=2.03 cores=1,3,5,7
/proc/14124/task/14130/stat : 14130 (java) R 14122 14124 14124 0 -1 4202560 22731 0 1 0 199 4 0 0 25 0 19 0 869460903 8809934848 29219 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 46912505797029 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14124/tid=14131] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 14124 0 -1 4202560 409 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29219 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 7 0 0 0
[pid=14124/tid=14132] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 14124 0 -1 4202560 443 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29219 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 7 0 0 0
[pid=14124/tid=14133] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14133/stat : 14133 (java) S 14122 14124 14124 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29219 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 7 0 0 0
[pid=14124/tid=14134] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14134/stat : 14134 (java) S 14122 14124 14124 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29219 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 7 0 0 0
[pid=14124/tid=14135] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14135/stat : 14135 (java) S 14122 14124 14124 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 869460903 8809934848 29219 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14124/tid=14136] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14136/stat : 14136 (java) S 14122 14124 14124 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29219 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 7 0 0 0
[pid=14124/tid=14137] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14137/stat : 14137 (java) S 14122 14124 14124 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 19 0 869460903 8809934848 29219 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 7 0 0 0
[pid=14124/tid=14138] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14138/stat : 14138 (java) S 14122 14124 14124 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29219 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14124/tid=14139] ppid=14122 vsize=8603452 CPUtime=0.04 cores=1,3,5,7
/proc/14124/task/14139/stat : 14139 (java) S 14122 14124 14124 0 -1 4202560 1137 0 0 0 4 0 0 0 16 0 19 0 869460904 8809934848 29219 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290696192 0 0 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14140] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14140/stat : 14140 (java) S 14122 14124 14124 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869460905 8809934848 29219 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14141] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14141/stat : 14141 (java) S 14122 14124 14124 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869460905 8809934848 29219 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14142] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14142/stat : 14142 (java) S 14122 14124 14124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460907 8809934848 29219 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290703281 0 4 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14143] ppid=14122 vsize=8603452 CPUtime=0.5 cores=1,3,5,7
/proc/14124/task/14143/stat : 14143 (java) S 14122 14124 14124 0 -1 4202560 4444 0 0 0 50 0 0 0 16 0 19 0 869460907 8809934848 29219 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 7 0 0 0
[pid=14124/tid=14144] ppid=14122 vsize=8603452 CPUtime=0.44 cores=1,3,5,7
/proc/14124/task/14144/stat : 14144 (java) S 14122 14124 14124 0 -1 4202560 2657 0 0 0 44 0 0 0 15 0 19 0 869460907 8809934848 29219 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 7 0 0 0
[pid=14124/tid=14145] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14145/stat : 14145 (java) S 14122 14124 14124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460907 8809934848 29219 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14146] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14146/stat : 14146 (java) S 14122 14124 14124 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869460907 8809934848 29219 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290696192 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14124/tid=14148] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14148/stat : 14148 (java) S 14122 14124 14124 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 869460952 8809934848 29219 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290696192 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14100/tid=14123] ppid=14098 vsize=299840 CPUtime=0 cores=1,3,5,7
/proc/14100/task/14123/stat : 14123 (python) S 14098 14100 11000 0 -1 4202560 24 928 0 0 0 0 0 0 19 0 2 0 869460902 307036160 8799 33554432000 4194304 5683644 140737201351552 18446744073709551615 237290703281 0 0 16781312 33554434 18446604470843591360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 9192888

Solver just ended. Dumping a history of the last processes samples

[startup+3.70107 s]
/proc/loadavg: 2.36 2.14 1.89 3/740 14148
/proc/meminfo: memFree=13174676/32950904 swapFree=56615552/67111528
[pid=14100] ppid=14098 vsize=299840 CPUtime=0.88 cores=1,3,5,7
/proc/14100/stat : 14100 (python) S 14098 14100 11000 0 -1 4202496 12177 928 1 0 79 9 0 0 19 0 2 0 869460803 307036160 8799 33554432000 4194304 5683644 140737201351552 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/14100/statm: 74960 8799 1870 364 0 9847 0
[pid=14122] ppid=14100 vsize=289596 CPUtime=0 cores=1,3,5,7
/proc/14122/stat : 14122 (python) S 14100 14100 11000 0 -1 4202560 852 0 0 0 0 0 0 0 15 0 1 0 869460902 296546304 7282 33554432000 4194304 5683644 140737201351552 18446744073709551615 237278899727 0 0 16781312 33554946 1551347392815562752 0 0 17 3 0 0 0
/proc/14122/statm: 72399 7282 357 364 0 7286 0
[pid=14124] ppid=14122 vsize=8603452 CPUtime=3.71 cores=1,3,5,7
/proc/14124/stat : 14124 (java) S 14122 14124 14124 0 -1 4202496 34173 0 1 0 365 6 0 0 20 0 19 0 869460902 8809934848 29286 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/14124/statm: 2150863 29286 2255 9 0 2141604 0
[pid=14124/tid=14130] ppid=14122 vsize=8603452 CPUtime=2.61 cores=1,3,5,7
/proc/14124/task/14130/stat : 14130 (java) R 14122 14124 14124 0 -1 4202560 22731 0 1 0 257 4 0 0 25 0 19 0 869460903 8809934848 29286 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 46912505893839 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14124/tid=14131] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 14124 0 -1 4202560 440 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29286 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 7 0 0 0
[pid=14124/tid=14132] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 14124 0 -1 4202560 443 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29286 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14124/tid=14133] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14133/stat : 14133 (java) S 14122 14124 14124 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29286 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 7 0 0 0
[pid=14124/tid=14134] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14134/stat : 14134 (java) S 14122 14124 14124 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29286 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14124/tid=14135] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14135/stat : 14135 (java) S 14122 14124 14124 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29286 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14124/tid=14136] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14136/stat : 14136 (java) S 14122 14124 14124 0 -1 4202560 123 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29286 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14124/tid=14137] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14137/stat : 14137 (java) S 14122 14124 14124 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29286 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 7 0 0 0
[pid=14124/tid=14138] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14138/stat : 14138 (java) S 14122 14124 14124 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29286 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14124/tid=14139] ppid=14122 vsize=8603452 CPUtime=0.06 cores=1,3,5,7
/proc/14124/task/14139/stat : 14139 (java) S 14122 14124 14124 0 -1 4202560 1137 0 0 0 6 0 0 0 15 0 19 0 869460904 8809934848 29286 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290696192 0 0 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14140] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14140/stat : 14140 (java) S 14122 14124 14124 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869460905 8809934848 29286 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14141] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14141/stat : 14141 (java) S 14122 14124 14124 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869460905 8809934848 29286 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14142] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14142/stat : 14142 (java) S 14122 14124 14124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460907 8809934848 29286 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290703281 0 4 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14143] ppid=14122 vsize=8603452 CPUtime=0.54 cores=1,3,5,7
/proc/14124/task/14143/stat : 14143 (java) S 14122 14124 14124 0 -1 4202560 5028 0 0 0 54 0 0 0 15 0 19 0 869460907 8809934848 29286 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14144] ppid=14122 vsize=8603452 CPUtime=0.45 cores=1,3,5,7
/proc/14124/task/14144/stat : 14144 (java) S 14122 14124 14124 0 -1 4202560 2657 0 0 0 45 0 0 0 15 0 19 0 869460907 8809934848 29286 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 7 0 0 0
[pid=14124/tid=14145] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14145/stat : 14145 (java) S 14122 14124 14124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460907 8809934848 29286 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14146] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14146/stat : 14146 (java) S 14122 14124 14124 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869460907 8809934848 29286 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290696192 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14124/tid=14148] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14148/stat : 14148 (java) S 14122 14124 14124 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 869460952 8809934848 29286 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290696192 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14100/tid=14123] ppid=14098 vsize=299840 CPUtime=0 cores=1,3,5,7
/proc/14100/task/14123/stat : 14123 (python) S 14098 14100 11000 0 -1 4202560 24 928 0 0 0 0 0 0 19 0 2 0 869460902 307036160 8799 33554432000 4194304 5683644 140737201351552 18446744073709551615 237290703281 0 0 16781312 33554434 18446604470843591360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 9192888

[startup+3.91803 s]
/proc/loadavg: 2.36 2.14 1.89 3/740 14148
/proc/meminfo: memFree=13174804/32950904 swapFree=56615552/67111528
[pid=14100] ppid=14098 vsize=299840 CPUtime=0.88 cores=1,3,5,7
/proc/14100/stat : 14100 (python) S 14098 14100 11000 0 -1 4202496 12177 928 1 0 79 9 0 0 19 0 2 0 869460803 307036160 8799 33554432000 4194304 5683644 140737201351552 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/14100/statm: 74960 8799 1870 364 0 9847 0
[pid=14122] ppid=14100 vsize=289596 CPUtime=0 cores=1,3,5,7
/proc/14122/stat : 14122 (python) S 14100 14100 11000 0 -1 4202560 852 0 0 0 0 0 0 0 15 0 1 0 869460902 296546304 7282 33554432000 4194304 5683644 140737201351552 18446744073709551615 237278899727 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/14122/statm: 72399 7282 357 364 0 7286 0
[pid=14124] ppid=14122 vsize=8603452 CPUtime=3.93 cores=1,3,5,7
/proc/14124/stat : 14124 (java) S 14122 14124 14124 0 -1 4202496 34218 0 1 0 387 6 0 0 20 0 19 0 869460902 8809934848 29330 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/14124/statm: 2150863 29330 2255 9 0 2141604 0
[pid=14124/tid=14130] ppid=14122 vsize=8603452 CPUtime=2.81 cores=1,3,5,7
/proc/14124/task/14130/stat : 14130 (java) R 14122 14124 14124 0 -1 4202560 22732 0 1 0 277 4 0 0 25 0 19 0 869460903 8809934848 29330 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 46912505833468 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14124/tid=14131] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 14124 0 -1 4202560 440 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29330 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 7 0 0 0
[pid=14124/tid=14132] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 14124 0 -1 4202560 445 0 0 0 0 0 0 0 16 0 19 0 869460903 8809934848 29330 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14124/tid=14133] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14133/stat : 14133 (java) S 14122 14124 14124 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29330 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 7 0 0 0
[pid=14124/tid=14134] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14134/stat : 14134 (java) S 14122 14124 14124 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29330 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14124/tid=14135] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14135/stat : 14135 (java) S 14122 14124 14124 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29330 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14124/tid=14136] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14136/stat : 14136 (java) S 14122 14124 14124 0 -1 4202560 123 0 0 0 0 0 0 0 16 0 19 0 869460903 8809934848 29330 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14124/tid=14137] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14137/stat : 14137 (java) S 14122 14124 14124 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29330 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 7 0 0 0
[pid=14124/tid=14138] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14138/stat : 14138 (java) S 14122 14124 14124 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869460903 8809934848 29330 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14124/tid=14139] ppid=14122 vsize=8603452 CPUtime=0.07 cores=1,3,5,7
/proc/14124/task/14139/stat : 14139 (java) S 14122 14124 14124 0 -1 4202560 1179 0 0 0 7 0 0 0 15 0 19 0 869460904 8809934848 29330 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290696192 0 0 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14140] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14140/stat : 14140 (java) S 14122 14124 14124 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869460905 8809934848 29330 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14141] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14141/stat : 14141 (java) S 14122 14124 14124 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869460905 8809934848 29330 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14142] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14142/stat : 14142 (java) S 14122 14124 14124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460907 8809934848 29330 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290703281 0 4 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14143] ppid=14122 vsize=8603452 CPUtime=0.54 cores=1,3,5,7
/proc/14124/task/14143/stat : 14143 (java) S 14122 14124 14124 0 -1 4202560 5028 0 0 0 54 0 0 0 15 0 19 0 869460907 8809934848 29330 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14144] ppid=14122 vsize=8603452 CPUtime=0.45 cores=1,3,5,7
/proc/14124/task/14144/stat : 14144 (java) S 14122 14124 14124 0 -1 4202560 2657 0 0 0 45 0 0 0 15 0 19 0 869460907 8809934848 29330 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 7 0 0 0
[pid=14124/tid=14145] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14145/stat : 14145 (java) S 14122 14124 14124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869460907 8809934848 29330 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290695577 0 4 0 16800975 18446604470139392960 0 0 -1 3 0 0 0
[pid=14124/tid=14146] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14146/stat : 14146 (java) S 14122 14124 14124 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869460907 8809934848 29330 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290696192 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14124/tid=14148] ppid=14122 vsize=8603452 CPUtime=0 cores=1,3,5,7
/proc/14124/task/14148/stat : 14148 (java) S 14122 14124 14124 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 869460952 8809934848 29330 33554432000 1073741824 1073778376 140734740941344 18446744073709551615 237290696192 0 4 0 16800975 18446604470139392960 0 0 -1 5 0 0 0
[pid=14100/tid=14123] ppid=14098 vsize=299840 CPUtime=0 cores=1,3,5,7
/proc/14100/task/14123/stat : 14123 (python) S 14098 14100 11000 0 -1 4202560 24 928 0 0 0 0 0 0 19 0 2 0 869460902 307036160 8799 33554432000 4194304 5683644 140737201351552 18446744073709551615 237290703281 0 0 16781312 33554434 18446604470843591360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 9192888

Child status: 0
Real time (s): 3.98121
CPU time (s): 4.89625
CPU user time (s): 4.72828
CPU system time (s): 0.167974
CPU usage (%): 122.984
Max. virtual memory (cumulated for all children) (KiB): 9192888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.72828
system time used= 0.167974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53786
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1575
involuntary context switches= 205

runsolver used 0.016997 second user time and 0.051992 second system time

The end