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-3482318-1307578999/watcher-3482318-1307578999 -o /tmp/evaluation-result-3482318-1307578999/solver-3482318-1307578999 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482318-1307578999.opb -seed 965774613 -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.24 2.14 1.94 2/660 6648
/proc/meminfo: memFree=14265460/32951124 swapFree=56717704/67111528
[pid=6648] ppid=6646 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/6648/stat : 6648 (python) R 6646 6648 4987 0 -1 4202496 810 0 0 0 0 0 0 0 20 0 1 0 850316319 15753216 696 33554432000 4194304 5683644 140737342948880 18446744073709551615 255106766848 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6648/statm: 3846 696 334 364 0 333 0
[startup+0.0733171 s]
/proc/loadavg: 2.24 2.14 1.94 2/660 6648
/proc/meminfo: memFree=14265460/32951124 swapFree=56717704/67111528
[pid=6648] ppid=6646 vsize=36512 CPUtime=0.04 cores=1,3,5,7
/proc/6648/stat : 6648 (python) R 6646 6648 4987 0 -1 4202496 1576 0 0 0 3 1 0 0 17 0 1 0 850316319 37388288 1411 33554432000 4194304 5683644 140737342948880 18446744073709551615 255106768528 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6648/statm: 9128 1412 452 364 0 945 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36512
[startup+0.100321 s]
/proc/loadavg: 2.24 2.14 1.94 2/660 6648
/proc/meminfo: memFree=14265460/32951124 swapFree=56717704/67111528
[pid=6648] ppid=6646 vsize=85360 CPUtime=0.05 cores=1,3,5,7
/proc/6648/stat : 6648 (python) R 6646 6648 4987 0 -1 4202496 2581 0 0 0 3 2 0 0 17 0 1 0 850316319 87408640 2307 33554432000 4194304 5683644 140737342948880 18446744073709551615 255106764645 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6648/statm: 21340 2309 709 364 0 1557 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360
[startup+0.30028 s]
/proc/loadavg: 2.24 2.14 1.94 2/660 6648
/proc/meminfo: memFree=14265460/32951124 swapFree=56717704/67111528
[pid=6648] ppid=6646 vsize=123744 CPUtime=0.16 cores=1,3,5,7
/proc/6648/stat : 6648 (python) R 6646 6648 4987 0 -1 4202496 5358 929 1 0 11 5 0 0 17 0 1 0 850316319 126713856 3745 33554432000 4194304 5683644 140737342948880 18446744073709551615 255106764805 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6648/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123744
[startup+0.700203 s]
/proc/loadavg: 2.24 2.14 1.94 2/660 6648
/proc/meminfo: memFree=14265460/32951124 swapFree=56717704/67111528
[pid=6648] ppid=6646 vsize=277984 CPUtime=0.39 cores=1,3,5,7
/proc/6648/stat : 6648 (python) R 6646 6648 4987 0 -1 4202496 8937 929 1 0 28 11 0 0 15 0 1 0 850316319 284655616 6853 33554432000 4194304 5683644 140737342948880 18446744073709551615 255106768640 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6648/statm: 69496 6853 1740 364 0 5461 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 277984
[startup+1.50106 s]
/proc/loadavg: 2.24 2.14 1.94 3/661 6653
/proc/meminfo: memFree=14190552/32951124 swapFree=56717704/67111528
[pid=6648] ppid=6646 vsize=352796 CPUtime=1.19 cores=1,3,5,7
/proc/6648/stat : 6648 (python) R 6646 6648 4987 0 -1 4202496 26620 929 1 0 105 14 0 0 16 0 1 0 850316319 361263104 24482 33554432000 4194304 5683644 140737342948880 18446744073709551615 255106129670 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6648/statm: 88199 24482 1781 364 0 23092 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 352796
[startup+3.10079 s]
/proc/loadavg: 2.24 2.14 1.94 3/661 6653
/proc/meminfo: memFree=14156576/32951124 swapFree=56717704/67111528
[pid=6648] ppid=6646 vsize=403412 CPUtime=2.8 cores=1,3,5,7
/proc/6648/stat : 6648 (python) R 6646 6648 4987 0 -1 4202496 38951 929 1 0 264 16 0 0 18 0 1 0 850316319 413093888 36813 33554432000 4194304 5683644 140737342948880 18446744073709551615 255106429637 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6648/statm: 100853 36813 1781 364 0 35746 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 403412
[startup+6.30023 s]
/proc/loadavg: 2.38 2.17 1.95 3/661 6653
/proc/meminfo: memFree=14053908/32951124 swapFree=56717704/67111528
[pid=6648] ppid=6646 vsize=501452 CPUtime=5.99 cores=1,3,5,7
/proc/6648/stat : 6648 (python) R 6646 6648 4987 0 -1 4202496 63598 929 1 0 580 19 0 0 25 0 1 0 850316319 513486848 61460 33554432000 4194304 5683644 140737342948880 18446744073709551615 4942037 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6648/statm: 125363 61461 1781 364 0 60256 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 501452
[startup+12.7001 s]
/proc/loadavg: 2.35 2.17 1.95 3/661 6654
/proc/meminfo: memFree=13965000/32951124 swapFree=56717704/67111528
[pid=6648] ppid=6646 vsize=563136 CPUtime=12.39 cores=1,3,5,7
/proc/6648/stat : 6648 (python) R 6646 6648 4987 0 -1 4202496 131176 929 1 0 1212 27 0 0 25 0 1 0 850316319 576651264 77115 33554432000 4194304 5683644 140737342948880 18446744073709551615 4523360 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/6648/statm: 140784 77115 1815 364 0 75677 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 563136
[startup+25.5009 s]
/proc/loadavg: 2.43 2.19 1.96 3/664 6657
/proc/meminfo: memFree=13994312/32951124 swapFree=56717704/67111528
[pid=6648] ppid=6646 vsize=475592 CPUtime=21.39 cores=1,3,5,7
/proc/6648/stat : 6648 (python) S 6646 6648 4987 0 -1 4202496 131995 929 1 0 2111 28 0 0 25 0 2 0 850316319 487006208 52736 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/6648/statm: 118898 52736 1872 364 0 53785 0
[pid=6655] ppid=6648 vsize=465864 CPUtime=0.01 cores=1,3,5,7
/proc/6655/stat : 6655 (python) S 6648 6648 4987 0 -1 4202560 901 0 0 0 0 1 0 0 18 0 1 0 850318488 477044736 51238 33554432000 4194304 5683644 140737342948880 18446744073709551615 255106788879 0 0 16781312 33554946 12587168265345663239 0 0 17 5 0 0 0
/proc/6655/statm: 116466 51238 377 364 0 51353 0
[pid=6657] ppid=6655 vsize=126324 CPUtime=3.76 cores=1,3,5,7
/proc/6657/stat : 6657 (bsolo_pb10) R 6655 6657 6657 0 -1 4202496 29268 0 0 0 373 3 0 0 25 0 1 0 850318489 129355776 29013 33554432000 134512640 137138936 4290392688 18446744073709551615 136506715 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/6657/statm: 31581 29013 11515 642 0 19467 0
[pid=6648/tid=6656] ppid=6646 vsize=475592 CPUtime=0 cores=1,3,5,7
/proc/6648/task/6656/stat : 6656 (python) S 6646 6648 4987 0 -1 4202560 25 929 0 0 0 0 0 0 25 0 2 0 850318489 487006208 52736 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470016663872 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 1067780
[startup+51.1004 s]
/proc/loadavg: 2.28 2.18 1.96 3/664 6658
/proc/meminfo: memFree=13800324/32951124 swapFree=56717704/67111528
[pid=6648] ppid=6646 vsize=475592 CPUtime=21.39 cores=1,3,5,7
/proc/6648/stat : 6648 (python) S 6646 6648 4987 0 -1 4202496 131995 929 1 0 2111 28 0 0 25 0 2 0 850316319 487006208 52736 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/6648/statm: 118898 52736 1872 364 0 53785 0
[pid=6655] ppid=6648 vsize=465864 CPUtime=0.13 cores=1,3,5,7
/proc/6655/stat : 6655 (python) S 6648 6648 4987 0 -1 4202560 917 0 0 0 6 7 0 0 15 0 1 0 850318488 477044736 51238 33554432000 4194304 5683644 140737342948880 18446744073709551615 255106788879 0 0 16781312 33554946 5623753486446373579 0 0 17 7 0 0 0
/proc/6655/statm: 116466 51238 377 364 0 51353 0
[pid=6657] ppid=6655 vsize=270192 CPUtime=29.35 cores=1,3,5,7
/proc/6657/stat : 6657 (bsolo_pb10) R 6655 6657 6657 0 -1 4202496 100914 0 0 0 2914 21 0 0 25 0 1 0 850318489 276676608 65130 33554432000 134512640 137138936 4290392688 18446744073709551615 134542301 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/6657/statm: 67548 65130 192 642 0 66904 0
[pid=6648/tid=6656] ppid=6646 vsize=475592 CPUtime=0 cores=1,3,5,7
/proc/6648/task/6656/stat : 6656 (python) S 6646 6648 4987 0 -1 4202560 25 929 0 0 0 0 0 0 25 0 2 0 850318489 487006208 52736 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470016663872 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 1211648
[startup+102.32 s]
/proc/loadavg: 2.27 2.19 1.98 3/668 6666
/proc/meminfo: memFree=13578036/32951124 swapFree=56717704/67111528
[pid=6648] ppid=6646 vsize=485848 CPUtime=21.41 cores=1,3,5,7
/proc/6648/stat : 6648 (python) S 6646 6648 4987 0 -1 4202496 132885 929 1 0 2113 28 0 0 20 0 3 0 850316319 497508352 52743 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/6648/statm: 121462 52743 1875 364 0 56346 0
[pid=6655] ppid=6648 vsize=476108 CPUtime=0.21 cores=1,3,5,7
/proc/6655/stat : 6655 (python) S 6648 6648 4987 0 -1 4202560 1094 0 0 0 9 12 0 0 17 0 2 0 850318488 487534592 51273 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6655/statm: 119027 51273 407 364 0 53914 0
[pid=6657] ppid=6655 vsize=394672 CPUtime=46.4 cores=1,3,5,7
/proc/6657/stat : 6657 (bsolo_pb10) T 6655 6657 6657 0 -1 4202496 132382 0 0 0 4615 25 0 0 25 0 1 0 850318489 404144128 96214 33554432000 134512640 137138936 4290392688 18446744073709551615 134542516 0 0 16781312 16384 18446744071562691360 0 0 17 1 0 0 0
/proc/6657/statm: 98668 96214 192 642 0 98024 0
[pid=6655/tid=6659] ppid=6648 vsize=476108 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6659/stat : 6659 (python) S 6648 6648 4987 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 850323134 487534592 51273 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554946 18446604468930630016 0 0 -1 7 0 0 0
[pid=6660] ppid=6648 vsize=476120 CPUtime=0.15 cores=1,3,5,7
/proc/6660/stat : 6660 (python) S 6648 6648 4987 0 -1 4202560 967 0 0 0 7 8 0 0 15 0 1 0 850323136 487546880 51239 33554432000 4194304 5683644 140737342948880 18446744073709551615 255106788934 0 0 16781312 33554946 5623753486446373579 0 0 17 7 0 0 0
/proc/6660/statm: 119030 51239 374 364 0 53914 0
[pid=6662] ppid=6660 vsize=83872 CPUtime=34.14 cores=1,3,5,7
/proc/6662/stat : 6662 (wbo1.4a) R 6660 6662 6662 0 -1 4202496 33573 0 0 0 3389 25 0 0 25 0 1 0 850323136 85884928 20316 33554432000 134512640 135751879 4291106496 18446744073709551615 134606459 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/6662/statm: 20968 20316 146 303 0 20663 0
[pid=6648/tid=6656] ppid=6646 vsize=485848 CPUtime=0 cores=1,3,5,7
/proc/6648/task/6656/stat : 6656 (python) S 6646 6648 4987 0 -1 4202560 25 929 0 0 0 0 0 0 25 0 3 0 850318489 497508352 52743 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470016663872 0 0 -1 5 0 0 0
[pid=6648/tid=6661] ppid=6646 vsize=485848 CPUtime=0 cores=1,3,5,7
/proc/6648/task/6661/stat : 6661 (python) S 6646 6648 4987 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 3 0 850323136 497508352 52743 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470016663872 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1916620
[startup+162.301 s]
/proc/loadavg: 2.10 2.16 1.98 3/669 6672
/proc/meminfo: memFree=13393288/32951124 swapFree=56717704/67111528
[pid=6648] ppid=6646 vsize=485848 CPUtime=21.44 cores=1,3,5,7
/proc/6648/stat : 6648 (python) S 6646 6648 4987 0 -1 4202496 133502 929 1 0 2115 29 0 0 18 0 3 0 850316319 497508352 52743 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/6648/statm: 121462 52743 1875 364 0 56346 0
[pid=6655] ppid=6648 vsize=476108 CPUtime=0.42 cores=1,3,5,7
/proc/6655/stat : 6655 (python) S 6648 6648 4987 0 -1 4202560 1114 0 0 0 19 23 0 0 15 0 2 0 850318488 487534592 51274 33554432000 4194304 5683644 140737342948880 18446744073709551615 255106788934 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6655/statm: 119027 51274 408 364 0 53914 0
[pid=6657] ppid=6655 vsize=569204 CPUtime=91.19 cores=1,3,5,7
/proc/6657/stat : 6657 (bsolo_pb10) R 6655 6657 6657 0 -1 4202496 189676 0 0 0 9086 33 0 0 25 0 1 0 850318489 582864896 139849 33554432000 134512640 137138936 4290392688 18446744073709551615 134599706 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/6657/statm: 142301 139849 192 642 0 141657 0
[pid=6655/tid=6659] ppid=6648 vsize=476108 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6659/stat : 6659 (python) S 6648 6648 4987 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 850323134 487534592 51274 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554946 18446604468930630016 0 0 -1 7 0 0 0
[pid=6660] ppid=6648 vsize=476120 CPUtime=0.25 cores=1,3,5,7
/proc/6660/stat : 6660 (python) S 6648 6648 4987 0 -1 4202560 1148 0 0 0 12 13 0 0 17 0 2 0 850323136 487546880 51263 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/6660/statm: 119030 51263 397 364 0 53914 0
[pid=6662] ppid=6660 vsize=83872 CPUtime=49.3 cores=1,3,5,7
/proc/6662/stat : 6662 (wbo1.4a) T 6660 6662 6662 0 -1 4202496 33573 0 0 0 4902 28 0 0 25 0 1 0 850323136 85884928 20316 33554432000 134512640 135751879 4291106496 18446744073709551615 134518948 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/6662/statm: 20968 20316 146 303 0 20663 0
[pid=6660/tid=6669] ppid=6648 vsize=476120 CPUtime=0 cores=1,3,5,7
/proc/6660/task/6669/stat : 6669 (python) S 6648 6648 4987 0 -1 4202560 52 0 0 0 0 0 0 0 17 0 2 0 850328068 487546880 51263 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554946 18446604468264203584 0 0 -1 5 0 0 0
[pid=6648/tid=6656] ppid=6646 vsize=485848 CPUtime=0 cores=1,3,5,7
/proc/6648/task/6656/stat : 6656 (python) S 6646 6648 4987 0 -1 4202560 29 929 0 0 0 0 0 0 18 0 3 0 850318489 497508352 52743 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470016663872 0 0 -1 5 0 0 0
[pid=6648/tid=6661] ppid=6646 vsize=485848 CPUtime=0 cores=1,3,5,7
/proc/6648/task/6661/stat : 6661 (python) S 6646 6648 4987 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 3 0 850323136 497508352 52743 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470016663872 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 162.6
Current children cumulated vsize (KiB) 2091152
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+208.902 s]
/proc/loadavg: 2.13 2.16 1.99 4/711 6727
/proc/meminfo: memFree=12163768/32951124 swapFree=56717704/67111528
[pid=6648] ppid=6646 vsize=506360 CPUtime=21.49 cores=1,3,5,7
/proc/6648/stat : 6648 (python) S 6646 6648 4987 0 -1 4202496 134725 929 1 0 2120 29 0 0 20 0 5 0 850316319 518512640 52755 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/6648/statm: 126590 52755 1879 364 0 61468 0
################
# More data... #
################
[pid=6707/tid=6714] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6714/stat : 6714 (java) S 6704 6707 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850337146 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 7 0 0 0
[pid=6707/tid=6715] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6715/stat : 6715 (java) S 6704 6707 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850337146 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 5 0 0 0
[pid=6707/tid=6717] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6717/stat : 6717 (java) S 6704 6707 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850337146 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 7 0 0 0
[pid=6707/tid=6718] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6718/stat : 6718 (java) S 6704 6707 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850337146 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 5 0 0 0
[pid=6707/tid=6720] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6720/stat : 6720 (java) S 6704 6707 6707 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 850337147 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118585344 0 0 0 16800975 18446604466125148288 0 0 -1 7 0 0 0
[pid=6707/tid=6721] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6721/stat : 6721 (java) S 6704 6707 6707 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 850337148 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 1 0 0 0
[pid=6707/tid=6722] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6722/stat : 6722 (java) S 6704 6707 6707 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 850337148 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 1 0 0 0
[pid=6707/tid=6723] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6723/stat : 6723 (java) S 6704 6707 6707 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850337150 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118592433 0 4 0 16800975 18446604466125148288 0 0 -1 5 0 0 0
[pid=6707/tid=6724] ppid=6704 vsize=8534884 CPUtime=0.16 cores=1,3,5,7
/proc/6707/task/6724/stat : 6724 (java) S 6704 6707 6707 0 -1 4202560 2410 0 0 0 16 0 0 0 24 0 18 0 850337150 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 1 0 0 0
[pid=6707/tid=6725] ppid=6704 vsize=8534884 CPUtime=0.12 cores=1,3,5,7
/proc/6707/task/6725/stat : 6725 (java) S 6704 6707 6707 0 -1 4202560 1121 0 0 0 12 0 0 0 25 0 18 0 850337150 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 7 0 0 0
[pid=6707/tid=6726] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6726/stat : 6726 (java) S 6704 6707 6707 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850337150 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 5 0 0 0
[pid=6707/tid=6727] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6727/stat : 6727 (java) S 6704 6707 6707 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 850337150 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118585344 0 4 0 16800975 18446604466125148288 0 0 -1 1 0 0 0
[pid=6648/tid=6656] ppid=6646 vsize=506360 CPUtime=0 cores=1,3,5,7
/proc/6648/task/6656/stat : 6656 (python) S 6646 6648 4987 0 -1 4202560 29 929 0 0 0 0 0 0 18 0 5 0 850318489 518512640 52755 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470016663872 0 0 -1 5 0 0 0
[pid=6648/tid=6661] ppid=6646 vsize=506360 CPUtime=0 cores=1,3,5,7
/proc/6648/task/6661/stat : 6661 (python) S 6646 6648 4987 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 5 0 850323136 518512640 52755 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470016663872 0 0 -1 1 0 0 0
[pid=6648/tid=6675] ppid=6646 vsize=506360 CPUtime=0 cores=1,3,5,7
/proc/6648/task/6675/stat : 6675 (python) S 6646 6648 4987 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 5 0 850332596 518512640 52755 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470016663872 0 0 -1 1 0 0 0
[pid=6648/tid=6705] ppid=6646 vsize=506360 CPUtime=0 cores=1,3,5,7
/proc/6648/task/6705/stat : 6705 (python) S 6646 6648 4987 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 5 0 850337145 518512640 52755 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470016663872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 211.59
Current children cumulated vsize (KiB) 20171432
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+208.902 s]
/proc/loadavg: 2.13 2.16 1.99 4/711 6727
/proc/meminfo: memFree=12163768/32951124 swapFree=56717704/67111528
[pid=6648] ppid=6646 vsize=506360 CPUtime=21.49 cores=1,3,5,7
/proc/6648/stat : 6648 (python) S 6646 6648 4987 0 -1 4202496 134725 929 1 0 2120 29 0 0 20 0 5 0 850316319 518512640 52755 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/6648/statm: 126590 52755 1879 364 0 61468 0
[pid=6655] ppid=6648 vsize=476108 CPUtime=0.43 cores=1,3,5,7
/proc/6655/stat : 6655 (python) S 6648 6648 4987 0 -1 4202560 1117 0 0 0 19 24 0 0 15 0 2 0 850318488 487534592 51274 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6655/statm: 119027 51274 408 364 0 53914 0
[pid=6657] ppid=6655 vsize=569716 CPUtime=91.63 cores=1,3,5,7
/proc/6657/stat : 6657 (bsolo_pb10) T 6655 6657 6657 0 -1 4202496 189980 0 0 0 9130 33 0 0 25 0 1 0 850318489 583389184 140009 33554432000 134512640 137138936 4290392688 18446744073709551615 134542613 0 0 16781312 16384 18446744071562691360 0 0 17 1 0 0 0
/proc/6657/statm: 142429 140009 192 642 0 141785 0
[pid=6655/tid=6659] ppid=6648 vsize=476108 CPUtime=0 cores=1,3,5,7
/proc/6655/task/6659/stat : 6659 (python) S 6648 6648 4987 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 850323134 487534592 51274 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554946 18446604468930630016 0 0 -1 7 0 0 0
[pid=6660] ppid=6648 vsize=476120 CPUtime=0.25 cores=1,3,5,7
/proc/6660/stat : 6660 (python) S 6648 6648 4987 0 -1 4202560 1148 0 0 0 12 13 0 0 17 0 2 0 850323136 487546880 51263 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/6660/statm: 119030 51263 397 364 0 53914 0
[pid=6662] ppid=6660 vsize=83872 CPUtime=49.3 cores=1,3,5,7
/proc/6662/stat : 6662 (wbo1.4a) T 6660 6662 6662 0 -1 4202496 33573 0 0 0 4902 28 0 0 25 0 1 0 850323136 85884928 20316 33554432000 134512640 135751879 4291106496 18446744073709551615 134518948 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/6662/statm: 20968 20316 146 303 0 20663 0
[pid=6660/tid=6669] ppid=6648 vsize=476120 CPUtime=0 cores=1,3,5,7
/proc/6660/task/6669/stat : 6669 (python) S 6648 6648 4987 0 -1 4202560 52 0 0 0 0 0 0 0 17 0 2 0 850328068 487546880 51263 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554946 18446604468264203584 0 0 -1 5 0 0 0
[pid=6674] ppid=6648 vsize=486376 CPUtime=0.22 cores=1,3,5,7
/proc/6674/stat : 6674 (python) S 6648 6648 4987 0 -1 4202560 1149 0 0 0 11 11 0 0 17 0 2 0 850332596 498049024 51267 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6674/statm: 121594 51267 397 364 0 56475 0
[pid=6677] ppid=6674 vsize=8541364 CPUtime=47.31 cores=1,3,5,7
/proc/6677/stat : 6677 (java) T 6674 6677 6677 0 -1 4202496 291606 0 1 0 4698 33 0 0 18 0 19 0 850332596 8746356736 266548 33554432000 1073741824 1073778376 140733741591312 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6677/statm: 2135341 266548 2248 9 0 2126082 0
[pid=6677/tid=6678] ppid=6674 vsize=8541364 CPUtime=45.3 cores=1,3,5,7
/proc/6677/task/6678/stat : 6678 (java) T 6674 6677 6677 0 -1 4202560 243981 0 1 0 4504 26 0 0 25 0 19 0 850332598 8746356736 266548 33554432000 1073741824 1073778376 140733741591312 18446744073709551615 46912506057106 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6677/tid=6680] ppid=6674 vsize=8541364 CPUtime=0.03 cores=1,3,5,7
/proc/6677/task/6680/stat : 6680 (java) T 6674 6677 6677 0 -1 4202560 5541 0 0 0 3 0 0 0 15 0 19 0 850332599 8746356736 266548 33554432000 1073741824 1073778376 140733741591312 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6677/tid=6681] ppid=6674 vsize=8541364 CPUtime=0.04 cores=1,3,5,7
/proc/6677/task/6681/stat : 6681 (java) T 6674 6677 6677 0 -1 4202560 6842 0 0 0 3 1 0 0 15 0 19 0 850332599 8746356736 266548 33554432000 1073741824 1073778376 140733741591312 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6677/tid=6683] ppid=6674 vsize=8541364 CPUtime=0.04 cores=1,3,5,7
/proc/6677/task/6683/stat : 6683 (java) T 6674 6677 6677 0 -1 4202560 4496 0 0 0 4 0 0 0 15 0 19 0 850332599 8746356736 266548 33554432000 1073741824 1073778376 140733741591312 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=6677/tid=6684] ppid=6674 vsize=8541364 CPUtime=0.05 cores=1,3,5,7
/proc/6677/task/6684/stat : 6684 (java) T 6674 6677 6677 0 -1 4202560 7472 0 0 0 4 1 0 0 15 0 19 0 850332599 8746356736 266548 33554432000 1073741824 1073778376 140733741591312 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6677/tid=6686] ppid=6674 vsize=8541364 CPUtime=0.06 cores=1,3,5,7
/proc/6677/task/6686/stat : 6686 (java) T 6674 6677 6677 0 -1 4202560 7183 0 0 0 6 0 0 0 15 0 19 0 850332599 8746356736 266548 33554432000 1073741824 1073778376 140733741591312 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6677/tid=6687] ppid=6674 vsize=8541364 CPUtime=0.01 cores=1,3,5,7
/proc/6677/task/6687/stat : 6687 (java) T 6674 6677 6677 0 -1 4202560 2343 0 0 0 1 0 0 0 15 0 19 0 850332599 8746356736 266548 33554432000 1073741824 1073778376 140733741591312 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=6677/tid=6688] ppid=6674 vsize=8541364 CPUtime=0.01 cores=1,3,5,7
/proc/6677/task/6688/stat : 6688 (java) T 6674 6677 6677 0 -1 4202560 1256 0 0 0 1 0 0 0 15 0 19 0 850332599 8746356736 266548 33554432000 1073741824 1073778376 140733741591312 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6677/tid=6689] ppid=6674 vsize=8541364 CPUtime=0.02 cores=1,3,5,7
/proc/6677/task/6689/stat : 6689 (java) T 6674 6677 6677 0 -1 4202560 3503 0 0 0 2 0 0 0 15 0 19 0 850332599 8746356736 266548 33554432000 1073741824 1073778376 140733741591312 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=6677/tid=6690] ppid=6674 vsize=8541364 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6690/stat : 6690 (java) T 6674 6677 6677 0 -1 4202560 735 0 0 0 0 0 0 0 15 0 19 0 850332600 8746356736 266548 33554432000 1073741824 1073778376 140733741591312 18446744073709551615 255118585344 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=6677/tid=6691] ppid=6674 vsize=8541364 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6691/stat : 6691 (java) T 6674 6677 6677 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850332600 8746356736 266548 33554432000 1073741824 1073778376 140733741591312 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=6677/tid=6692] ppid=6674 vsize=8541364 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6692/stat : 6692 (java) T 6674 6677 6677 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850332600 8746356736 266548 33554432000 1073741824 1073778376 140733741591312 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6677/tid=6693] ppid=6674 vsize=8541364 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6693/stat : 6693 (java) T 6674 6677 6677 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850332602 8746356736 266548 33554432000 1073741824 1073778376 140733741591312 18446744073709551615 255118592433 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6677/tid=6695] ppid=6674 vsize=8541364 CPUtime=0.81 cores=1,3,5,7
/proc/6677/task/6695/stat : 6695 (java) T 6674 6677 6677 0 -1 4202560 2468 0 0 0 81 0 0 0 15 0 19 0 850332602 8746356736 266548 33554432000 1073741824 1073778376 140733741591312 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=6677/tid=6696] ppid=6674 vsize=8541364 CPUtime=0.84 cores=1,3,5,7
/proc/6677/task/6696/stat : 6696 (java) T 6674 6677 6677 0 -1 4202560 4390 0 0 0 84 0 0 0 15 0 19 0 850332602 8746356736 266548 33554432000 1073741824 1073778376 140733741591312 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6677/tid=6698] ppid=6674 vsize=8541364 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6698/stat : 6698 (java) T 6674 6677 6677 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850332602 8746356736 266548 33554432000 1073741824 1073778376 140733741591312 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6677/tid=6699] ppid=6674 vsize=8541364 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6699/stat : 6699 (java) T 6674 6677 6677 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 850332602 8746356736 266548 33554432000 1073741824 1073778376 140733741591312 18446744073709551615 255118585344 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6677/tid=6700] ppid=6674 vsize=8541364 CPUtime=0 cores=1,3,5,7
/proc/6677/task/6700/stat : 6700 (java) T 6674 6677 6677 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850333188 8746356736 266548 33554432000 1073741824 1073778376 140733741591312 18446744073709551615 255118585344 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6674/tid=6703] ppid=6648 vsize=486376 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6703/stat : 6703 (python) S 6648 6648 4987 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 850337142 498049024 51267 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554946 18446604462620889536 0 0 -1 7 0 0 0
[pid=6704] ppid=6648 vsize=496632 CPUtime=0 cores=1,3,5,7
/proc/6704/stat : 6704 (python) S 6648 6648 4987 0 -1 4202560 827 0 0 0 0 0 0 0 19 0 1 0 850337144 508551168 51223 33554432000 4194304 5683644 140737342948880 18446744073709551615 255106788934 0 0 16781312 33554946 3464829351239876608 0 0 17 1 0 0 0
/proc/6704/statm: 124158 51223 350 364 0 59036 0
[pid=6707] ppid=6704 vsize=8534884 CPUtime=0.96 cores=1,3,5,7
/proc/6707/stat : 6707 (java) S 6704 6707 6707 0 -1 4202496 41115 0 1 0 91 5 0 0 20 0 18 0 850337145 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6707/statm: 2133721 39395 2209 9 0 2124462 0
[pid=6707/tid=6708] ppid=6704 vsize=8534884 CPUtime=0.66 cores=1,3,5,7
/proc/6707/task/6708/stat : 6708 (java) R 6704 6707 6707 0 -1 4202560 35217 0 1 0 63 3 0 0 18 0 18 0 850337146 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 46912505555692 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6707/tid=6710] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6710/stat : 6710 (java) S 6704 6707 6707 0 -1 4202560 459 0 0 0 0 0 0 0 17 0 18 0 850337146 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 5 0 0 0
[pid=6707/tid=6711] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6711/stat : 6711 (java) S 6704 6707 6707 0 -1 4202560 395 0 0 0 0 0 0 0 18 0 18 0 850337146 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 1 0 0 0
[pid=6707/tid=6712] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6712/stat : 6712 (java) S 6704 6707 6707 0 -1 4202560 116 0 0 0 0 0 0 0 19 0 18 0 850337146 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 7 0 0 0
[pid=6707/tid=6713] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6713/stat : 6713 (java) S 6704 6707 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850337146 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 7 0 0 0
[pid=6707/tid=6714] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6714/stat : 6714 (java) S 6704 6707 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850337146 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 7 0 0 0
[pid=6707/tid=6715] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6715/stat : 6715 (java) S 6704 6707 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850337146 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 5 0 0 0
[pid=6707/tid=6717] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6717/stat : 6717 (java) S 6704 6707 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850337146 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 7 0 0 0
[pid=6707/tid=6718] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6718/stat : 6718 (java) S 6704 6707 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850337146 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 5 0 0 0
[pid=6707/tid=6720] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6720/stat : 6720 (java) S 6704 6707 6707 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 850337147 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118585344 0 0 0 16800975 18446604466125148288 0 0 -1 7 0 0 0
[pid=6707/tid=6721] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6721/stat : 6721 (java) S 6704 6707 6707 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 850337148 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 1 0 0 0
[pid=6707/tid=6722] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6722/stat : 6722 (java) S 6704 6707 6707 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 850337148 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 1 0 0 0
[pid=6707/tid=6723] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6723/stat : 6723 (java) S 6704 6707 6707 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850337150 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118592433 0 4 0 16800975 18446604466125148288 0 0 -1 5 0 0 0
[pid=6707/tid=6724] ppid=6704 vsize=8534884 CPUtime=0.16 cores=1,3,5,7
/proc/6707/task/6724/stat : 6724 (java) S 6704 6707 6707 0 -1 4202560 2410 0 0 0 16 0 0 0 24 0 18 0 850337150 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 1 0 0 0
[pid=6707/tid=6725] ppid=6704 vsize=8534884 CPUtime=0.12 cores=1,3,5,7
/proc/6707/task/6725/stat : 6725 (java) S 6704 6707 6707 0 -1 4202560 1121 0 0 0 12 0 0 0 25 0 18 0 850337150 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 7 0 0 0
[pid=6707/tid=6726] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6726/stat : 6726 (java) S 6704 6707 6707 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850337150 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118584729 0 4 0 16800975 18446604466125148288 0 0 -1 5 0 0 0
[pid=6707/tid=6727] ppid=6704 vsize=8534884 CPUtime=0 cores=1,3,5,7
/proc/6707/task/6727/stat : 6727 (java) S 6704 6707 6707 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 850337150 8739721216 39395 33554432000 1073741824 1073778376 140734395440768 18446744073709551615 255118585344 0 4 0 16800975 18446604466125148288 0 0 -1 1 0 0 0
[pid=6648/tid=6656] ppid=6646 vsize=506360 CPUtime=0 cores=1,3,5,7
/proc/6648/task/6656/stat : 6656 (python) S 6646 6648 4987 0 -1 4202560 29 929 0 0 0 0 0 0 18 0 5 0 850318489 518512640 52755 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470016663872 0 0 -1 5 0 0 0
[pid=6648/tid=6661] ppid=6646 vsize=506360 CPUtime=0 cores=1,3,5,7
/proc/6648/task/6661/stat : 6661 (python) S 6646 6648 4987 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 5 0 850323136 518512640 52755 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470016663872 0 0 -1 1 0 0 0
[pid=6648/tid=6675] ppid=6646 vsize=506360 CPUtime=0 cores=1,3,5,7
/proc/6648/task/6675/stat : 6675 (python) S 6646 6648 4987 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 5 0 850332596 518512640 52755 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470016663872 0 0 -1 1 0 0 0
[pid=6648/tid=6705] ppid=6646 vsize=506360 CPUtime=0 cores=1,3,5,7
/proc/6648/task/6705/stat : 6705 (python) S 6646 6648 4987 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 5 0 850337145 518512640 52755 33554432000 4194304 5683644 140737342948880 18446744073709551615 255118592433 0 0 16781312 33554434 18446604470016663872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 211.59
Current children cumulated vsize (KiB) 20171432
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6648 and gives
# childrusage.ru_utime.tv_sec=21
# childrusage.ru_utime.tv_usec=203776
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=307953
# CPU time returned by wait4() is 21.5117
# while last known CPU time is 211.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 208.987
CPU time (s): 211.59
CPU user time (s): 209.83
CPU system time (s): 1.76
CPU usage (%): 101.246
Max. virtual memory (cumulated for all children) (KiB): 20171432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.2038
system time used= 0.307953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135656
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= 2866
involuntary context switches= 43
runsolver used 1.11883 second user time and 2.66759 second system time
The end