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-3481555-1307578155/watcher-3481555-1307578155 -o /tmp/evaluation-result-3481555-1307578155/solver-3481555-1307578155 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481555-1307578155.opb -seed 479942777 -budget 1800
running on 4 cores: 0,2,4,6
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.40 2.08 1.73 2/742 29679
/proc/meminfo: memFree=14779492/32951124 swapFree=60476376/67111528
[pid=29679] ppid=29677 vsize=16244 CPUtime=0.01 cores=0,2,4,6
/proc/29679/stat : 29679 (python) R 29677 29679 27243 0 -1 4202496 1064 0 0 0 1 0 0 0 25 0 1 0 850231500 16633856 935 33554432000 4194304 5683644 140735679333616 18446744073709551615 220816236288 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29679/statm: 4061 935 381 364 0 548 0
[startup+0.101566 s]
/proc/loadavg: 2.40 2.08 1.73 2/742 29679
/proc/meminfo: memFree=14779492/32951124 swapFree=60476376/67111528
[pid=29679] ppid=29677 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/29679/stat : 29679 (python) R 29677 29679 27243 0 -1 4202496 3169 927 1 0 5 2 0 0 18 0 1 0 850231500 98430976 2483 33554432000 4194304 5683644 140735679333616 18446744073709551615 5177504 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29679/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.200572 s]
/proc/loadavg: 2.40 2.08 1.73 2/742 29679
/proc/meminfo: memFree=14779492/32951124 swapFree=60476376/67111528
[pid=29679] ppid=29677 vsize=123740 CPUtime=0.15 cores=0,2,4,6
/proc/29679/stat : 29679 (python) S 29677 29679 27243 0 -1 4202496 5357 927 1 0 11 4 0 0 17 0 1 0 850231500 126709760 3744 33554432000 4194304 5683644 140735679333616 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/29679/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.300516 s]
/proc/loadavg: 2.40 2.08 1.73 2/742 29679
/proc/meminfo: memFree=14779492/32951124 swapFree=60476376/67111528
[pid=29679] ppid=29677 vsize=203276 CPUtime=0.23 cores=0,2,4,6
/proc/29679/stat : 29679 (python) S 29677 29679 27243 0 -1 4202496 6735 927 1 0 17 6 0 0 17 0 1 0 850231500 208154624 5010 33554432000 4194304 5683644 140735679333616 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/29679/statm: 50819 5010 1472 364 0 3781 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 203276
[startup+0.700504 s]
/proc/loadavg: 2.40 2.08 1.73 2/742 29679
/proc/meminfo: memFree=14779492/32951124 swapFree=60476376/67111528
[pid=29679] ppid=29677 vsize=283456 CPUtime=0.39 cores=0,2,4,6
/proc/29679/stat : 29679 (python) R 29677 29679 27243 0 -1 4202496 9459 927 1 0 30 9 0 0 16 0 1 0 850231500 290258944 7190 33554432000 4194304 5683644 140735679333616 18446744073709551615 220816256527 0 0 16781312 2 784278839478976512 0 0 17 2 0 0 0
/proc/29679/statm: 70864 7190 1777 364 0 5757 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 283456
[startup+1.50037 s]
/proc/loadavg: 2.40 2.08 1.73 3/743 29685
/proc/meminfo: memFree=14743200/32951124 swapFree=60476376/67111528
[pid=29679] ppid=29677 vsize=304108 CPUtime=1.41 cores=0,2,4,6
/proc/29679/stat : 29679 (python) R 29677 29679 27243 0 -1 4202496 16482 1584 1 0 78 11 52 0 18 0 1 0 850231500 311406592 12179 33554432000 4194304 5683644 140735679333616 18446744073709551615 47635532298738 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29679/statm: 76616 12180 1782 364 0 11509 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 304108
[startup+3.10102 s]
/proc/loadavg: 2.37 2.08 1.73 3/743 29685
/proc/meminfo: memFree=14730304/32951124 swapFree=60476376/67111528
[pid=29679] ppid=29677 vsize=315388 CPUtime=2.53 cores=0,2,4,6
/proc/29679/stat : 29679 (python) S 29677 29679 27243 0 -1 4202496 22302 1584 1 0 190 11 52 0 22 0 2 0 850231500 322957312 12687 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29679/statm: 78847 12687 1871 364 0 13734 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 315388
[startup+6.30045 s]
/proc/loadavg: 2.37 2.08 1.73 3/746 29688
/proc/meminfo: memFree=14545748/32951124 swapFree=60476376/67111528
[pid=29679] ppid=29677 vsize=315388 CPUtime=2.53 cores=0,2,4,6
/proc/29679/stat : 29679 (python) S 29677 29679 27243 0 -1 4202496 22302 1584 1 0 190 11 52 0 22 0 2 0 850231500 322957312 12687 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29679/statm: 78847 12687 1871 364 0 13734 0
[pid=29686] ppid=29679 vsize=305144 CPUtime=0.01 cores=0,2,4,6
/proc/29686/stat : 29686 (python) S 29679 29679 27243 0 -1 4202560 873 0 0 0 1 0 0 0 15 0 1 0 850231762 312467456 11154 33554432000 4194304 5683644 140735679333616 18446744073709551615 220816256527 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/29686/statm: 76286 11154 342 364 0 11173 0
[pid=29688] ppid=29686 vsize=203196 CPUtime=3.67 cores=0,2,4,6
/proc/29688/stat : 29688 (scip-2.0.1.linu) R 29686 29688 29688 0 -1 4202496 51535 0 0 0 350 17 0 0 19 0 1 0 850231762 208072704 46528 33554432000 4194304 13684479 140736400879344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29688/statm: 50799 46528 770 2317 0 48477 0
[pid=29679/tid=29687] ppid=29677 vsize=315388 CPUtime=0.52 cores=0,2,4,6
/proc/29679/task/29687/stat : 29687 (python) S 29677 29679 27243 0 -1 4202560 27 1584 0 0 0 0 52 0 22 0 2 0 850231762 322957312 12687 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554434 18446604453926163392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 823728
[startup+12.7013 s]
/proc/loadavg: 2.34 2.08 1.73 3/746 29688
/proc/meminfo: memFree=14524360/32951124 swapFree=60476376/67111528
[pid=29679] ppid=29677 vsize=315388 CPUtime=2.53 cores=0,2,4,6
/proc/29679/stat : 29679 (python) S 29677 29679 27243 0 -1 4202496 22302 1584 1 0 190 11 52 0 22 0 2 0 850231500 322957312 12687 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29679/statm: 78847 12687 1871 364 0 13734 0
[pid=29686] ppid=29679 vsize=305144 CPUtime=0.03 cores=0,2,4,6
/proc/29686/stat : 29686 (python) S 29679 29679 27243 0 -1 4202560 879 0 0 0 2 1 0 0 15 0 1 0 850231762 312467456 11154 33554432000 4194304 5683644 140735679333616 18446744073709551615 220816256527 0 0 16781312 33554946 1071864708543283200 0 0 17 6 0 0 0
/proc/29686/statm: 76286 11154 342 364 0 11173 0
[pid=29688] ppid=29686 vsize=213868 CPUtime=10.07 cores=0,2,4,6
/proc/29688/stat : 29688 (scip-2.0.1.linu) R 29686 29688 29688 0 -1 4202496 55263 0 0 0 987 20 0 0 25 0 1 0 850231762 219000832 50170 33554432000 4194304 13684479 140736400879344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29688/statm: 53467 50170 803 2317 0 51145 0
[pid=29679/tid=29687] ppid=29677 vsize=315388 CPUtime=0.52 cores=0,2,4,6
/proc/29679/task/29687/stat : 29687 (python) S 29677 29679 27243 0 -1 4202560 27 1584 0 0 0 0 52 0 22 0 2 0 850231762 322957312 12687 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554434 18446604453926163392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 834400
[startup+25.5009 s]
/proc/loadavg: 2.26 2.08 1.73 3/750 29692
/proc/meminfo: memFree=14467924/32951124 swapFree=60476376/67111528
[pid=29679] ppid=29677 vsize=315388 CPUtime=2.53 cores=0,2,4,6
/proc/29679/stat : 29679 (python) S 29677 29679 27243 0 -1 4202496 22302 1584 1 0 190 11 52 0 22 0 2 0 850231500 322957312 12687 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29679/statm: 78847 12687 1871 364 0 13734 0
[pid=29686] ppid=29679 vsize=305144 CPUtime=0.09 cores=0,2,4,6
/proc/29686/stat : 29686 (python) S 29679 29679 27243 0 -1 4202560 896 0 0 0 5 4 0 0 15 0 1 0 850231762 312467456 11154 33554432000 4194304 5683644 140735679333616 18446744073709551615 220816256527 0 0 16781312 33554946 3191479374616461312 0 0 17 6 0 0 0
/proc/29686/statm: 76286 11154 342 364 0 11173 0
[pid=29688] ppid=29686 vsize=218952 CPUtime=22.87 cores=0,2,4,6
/proc/29688/stat : 29688 (scip-2.0.1.linu) R 29686 29688 29688 0 -1 4202496 56558 0 0 0 2260 27 0 0 18 0 1 0 850231762 224206848 51418 33554432000 4194304 13684479 140736400879344 18446744073709551615 4941053 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29688/statm: 54738 51418 766 2317 0 52416 0
[pid=29679/tid=29687] ppid=29677 vsize=315388 CPUtime=0.52 cores=0,2,4,6
/proc/29679/task/29687/stat : 29687 (python) S 29677 29679 27243 0 -1 4202560 27 1584 0 0 0 0 52 0 22 0 2 0 850231762 322957312 12687 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554434 18446604453926163392 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 839484
[startup+51.1012 s]
/proc/loadavg: 2.17 2.07 1.74 3/754 29697
/proc/meminfo: memFree=14378176/32951124 swapFree=60476376/67111528
[pid=29679] ppid=29677 vsize=325644 CPUtime=2.56 cores=0,2,4,6
/proc/29679/stat : 29679 (python) S 29677 29679 27243 0 -1 4202496 23192 1584 1 0 192 12 52 0 20 0 3 0 850231500 333459456 12694 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/29679/statm: 81411 12694 1874 364 0 16295 0
[pid=29686] ppid=29679 vsize=315388 CPUtime=0.22 cores=0,2,4,6
/proc/29686/stat : 29686 (python) S 29679 29679 27243 0 -1 4202560 1113 0 0 0 12 10 0 0 16 0 2 0 850231762 322957312 11222 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29686/statm: 78847 11222 405 364 0 13734 0
[pid=29688] ppid=29686 vsize=245292 CPUtime=46.42 cores=0,2,4,6
/proc/29688/stat : 29688 (scip-2.0.1.linu) T 29686 29688 29688 0 -1 4202496 62860 0 0 0 4602 40 0 0 25 0 1 0 850231762 251179008 57524 33554432000 4194304 13684479 140736400879344 18446744073709551615 4936613 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/29688/statm: 61323 57524 758 2317 0 59001 0
[pid=29686/tid=29694] ppid=29679 vsize=315388 CPUtime=0 cores=0,2,4,6
/proc/29686/task/29694/stat : 29694 (python) S 29679 29679 27243 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 850236405 322957312 11222 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554946 18446604451281016000 0 0 -1 6 0 0 0
[pid=29695] ppid=29679 vsize=315400 CPUtime=0 cores=0,2,4,6
/proc/29695/stat : 29695 (python) S 29679 29679 27243 0 -1 4202560 747 0 0 0 0 0 0 0 15 0 1 0 850236407 322969600 11135 33554432000 4194304 5683644 140735679333616 18446744073709551615 220816256582 0 0 16781312 33554946 3516004887299096576 0 0 17 6 0 0 0
/proc/29695/statm: 78850 11135 319 364 0 13734 0
[pid=29697] ppid=29695 vsize=59860 CPUtime=2.02 cores=0,2,4,6
/proc/29697/stat : 29697 (wbo1.4a) R 29695 29697 29697 0 -1 4202496 28556 0 0 0 199 3 0 0 25 0 1 0 850236408 61296640 14266 33554432000 134512640 135751879 4288116320 18446744073709551615 134638015 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/29697/statm: 14965 14266 143 303 0 14660 0
[pid=29679/tid=29687] ppid=29677 vsize=325644 CPUtime=0.52 cores=0,2,4,6
/proc/29679/task/29687/stat : 29687 (python) S 29677 29679 27243 0 -1 4202560 27 1584 0 0 0 0 52 0 22 0 3 0 850231762 333459456 12694 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554434 18446604453926163392 0 0 -1 6 0 0 0
[pid=29679/tid=29696] ppid=29677 vsize=325644 CPUtime=0.52 cores=0,2,4,6
/proc/29679/task/29696/stat : 29696 (python) S 29677 29679 27243 0 -1 4202560 27 1584 0 0 0 0 52 0 20 0 3 0 850236408 333459456 12694 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554434 18446604453926163392 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 1261584
[startup+102.302 s]
/proc/loadavg: 2.07 2.05 1.75 3/798 29749
/proc/meminfo: memFree=13103980/32951124 swapFree=60476376/67111528
[pid=29679] ppid=29677 vsize=335900 CPUtime=2.58 cores=0,2,4,6
/proc/29679/stat : 29679 (python) S 29677 29679 27243 0 -1 4202496 24094 1584 1 0 194 12 52 0 20 0 4 0 850231500 343961600 12700 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/29679/statm: 83975 12700 1876 364 0 18856 0
[pid=29686] ppid=29679 vsize=315388 CPUtime=0.22 cores=0,2,4,6
/proc/29686/stat : 29686 (python) S 29679 29679 27243 0 -1 4202560 1113 0 0 0 12 10 0 0 16 0 2 0 850231762 322957312 11222 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29686/statm: 78847 11222 405 364 0 13734 0
[pid=29688] ppid=29686 vsize=245292 CPUtime=46.42 cores=0,2,4,6
/proc/29688/stat : 29688 (scip-2.0.1.linu) T 29686 29688 29688 0 -1 4202496 62860 0 0 0 4602 40 0 0 25 0 1 0 850231762 251179008 57524 33554432000 4194304 13684479 140736400879344 18446744073709551615 4936613 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/29688/statm: 61323 57524 758 2317 0 59001 0
[pid=29686/tid=29694] ppid=29679 vsize=315388 CPUtime=0 cores=0,2,4,6
/proc/29686/task/29694/stat : 29694 (python) S 29679 29679 27243 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 850236405 322957312 11222 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554946 18446604451281016000 0 0 -1 6 0 0 0
[pid=29695] ppid=29679 vsize=315400 CPUtime=0.23 cores=0,2,4,6
/proc/29695/stat : 29695 (python) S 29679 29679 27243 0 -1 4202560 1141 0 0 0 10 13 0 0 16 0 2 0 850236407 322969600 11207 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29695/statm: 78850 11207 390 364 0 13734 0
[pid=29697] ppid=29695 vsize=760512 CPUtime=49.25 cores=0,2,4,6
/proc/29697/stat : 29697 (wbo1.4a) T 29695 29697 29697 0 -1 4202496 495814 0 0 0 4862 63 0 0 25 0 1 0 850236408 778764288 189439 33554432000 134512640 135751879 4288116320 18446744073709551615 134612465 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/29697/statm: 190128 189439 145 303 0 189823 0
[pid=29695/tid=29727] ppid=29679 vsize=315400 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29727/stat : 29727 (python) S 29679 29679 27243 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 850241333 322969600 11207 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554946 18446604448465228736 0 0 -1 6 0 0 0
[pid=29728] ppid=29679 vsize=325656 CPUtime=0.01 cores=0,2,4,6
/proc/29728/stat : 29728 (python) S 29679 29679 27243 0 -1 4202560 922 0 0 0 0 1 0 0 16 0 1 0 850241335 333471744 11163 33554432000 4194304 5683644 140735679333616 18446744073709551615 220816256582 0 0 16781312 33554946 11252410902126756097 0 0 17 0 0 0 0
/proc/29728/statm: 81414 11163 343 364 0 16295 0
[pid=29730] ppid=29728 vsize=8610460 CPUtime=6.22 cores=0,2,4,6
/proc/29730/stat : 29730 (java) S 29728 29730 29730 0 -1 4202496 100977 0 1 0 609 13 0 0 20 0 19 0 850241336 8817111040 94479 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29730/statm: 2152615 94479 2251 9 0 2143356 0
[pid=29730/tid=29731] ppid=29728 vsize=8610460 CPUtime=3.84 cores=0,2,4,6
/proc/29730/task/29731/stat : 29731 (java) R 29728 29730 29730 0 -1 4202560 62130 0 1 0 377 7 0 0 18 0 19 0 850241336 8817111040 94479 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 46912506068962 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29730/tid=29732] ppid=29728 vsize=8610460 CPUtime=0.06 cores=0,2,4,6
/proc/29730/task/29732/stat : 29732 (java) S 29728 29730 29730 0 -1 4202560 5062 0 0 0 6 0 0 0 16 0 19 0 850241337 8817111040 94479 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052377 0 4 0 16800975 18446604451281015104 0 0 -1 2 0 0 0
[pid=29730/tid=29733] ppid=29728 vsize=8610460 CPUtime=0.03 cores=0,2,4,6
/proc/29730/task/29733/stat : 29733 (java) S 29728 29730 29730 0 -1 4202560 2127 0 0 0 3 0 0 0 15 0 19 0 850241337 8817111040 94479 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052377 0 4 0 16800975 18446604451281015104 0 0 -1 0 0 0 0
[pid=29730/tid=29734] ppid=29728 vsize=8610460 CPUtime=0.05 cores=0,2,4,6
/proc/29730/task/29734/stat : 29734 (java) S 29728 29730 29730 0 -1 4202560 4262 0 0 0 5 0 0 0 16 0 19 0 850241337 8817111040 94479 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052377 0 4 0 16800975 18446604451281015104 0 0 -1 0 0 0 0
[pid=29730/tid=29735] ppid=29728 vsize=8610460 CPUtime=0.02 cores=0,2,4,6
/proc/29730/task/29735/stat : 29735 (java) S 29728 29730 29730 0 -1 4202560 1536 0 0 0 2 0 0 0 15 0 19 0 850241337 8817111040 94479 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052377 0 4 0 16800975 18446604451281015104 0 0 -1 6 0 0 0
[pid=29730/tid=29736] ppid=29728 vsize=8610460 CPUtime=0.02 cores=0,2,4,6
/proc/29730/task/29736/stat : 29736 (java) S 29728 29730 29730 0 -1 4202560 1906 0 0 0 2 0 0 0 15 0 19 0 850241337 8817111040 94479 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052377 0 4 0 16800975 18446604451281015104 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=29679/tid=29696] ppid=29677 vsize=356412 CPUtime=0.52 cores=0,2,4,6
/proc/29679/task/29696/stat : 29696 (python) S 29677 29679 27243 0 -1 4202560 27 1584 0 0 0 0 52 0 20 0 6 0 850236408 364965888 12712 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554434 18446604453926163392 0 0 -1 4 0 0 0
[pid=29679/tid=29729] ppid=29677 vsize=356412 CPUtime=0.52 cores=0,2,4,6
/proc/29679/task/29729/stat : 29729 (python) S 29677 29679 27243 0 -1 4202560 32 1584 0 0 0 0 52 0 20 0 6 0 850241335 364965888 12712 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554434 18446604453926163392 0 0 -1 6 0 0 0
[pid=29679/tid=29817] ppid=29677 vsize=356412 CPUtime=0.52 cores=0,2,4,6
/proc/29679/task/29817/stat : 29817 (python) S 29677 29679 27243 0 -1 4202560 29 1584 0 0 0 0 52 0 20 0 6 0 850245973 364965888 12712 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554434 18446604453926163392 0 0 -1 4 0 0 0
[pid=29679/tid=29920] ppid=29677 vsize=356412 CPUtime=0.52 cores=0,2,4,6
/proc/29679/task/29920/stat : 29920 (python) S 29677 29679 27243 0 -1 4202560 33 1584 0 0 0 0 52 0 18 0 6 0 850260376 364965888 12712 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554434 18446604453926163392 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 708.66
Current children cumulated vsize (KiB) 11957212
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+705.102 s]
/proc/loadavg: 2.13 2.09 1.92 6/911 30312
/proc/meminfo: memFree=10169892/32951124 swapFree=60476376/67111528
[pid=29679] ppid=29677 vsize=366668 CPUtime=2.72 cores=0,2,4,6
/proc/29679/stat : 29679 (python) S 29677 29679 27243 0 -1 4202496 27060 1584 1 0 207 13 52 0 18 0 7 0 850231500 375468032 12718 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/29679/statm: 91667 12718 1882 364 0 26539 0
[pid=29686] ppid=29679 vsize=315388 CPUtime=1.61 cores=0,2,4,6
/proc/29686/stat : 29686 (python) S 29679 29679 27243 0 -1 4202560 1181 0 0 0 84 77 0 0 15 0 2 0 850231762 322957312 11223 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29686/statm: 78847 11223 406 364 0 13734 0
[pid=29688] ppid=29686 vsize=268028 CPUtime=323.98 cores=0,2,4,6
/proc/29688/stat : 29688 (scip-2.0.1.linu) T 29686 29688 29688 0 -1 4202496 68262 0 0 0 32251 147 0 0 25 0 1 0 850231762 274460672 62637 33554432000 4194304 13684479 140736400879344 18446744073709551615 4963185 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/29688/statm: 67007 62637 759 2317 0 64685 0
[pid=29686/tid=29694] ppid=29679 vsize=315388 CPUtime=0 cores=0,2,4,6
/proc/29686/task/29694/stat : 29694 (python) S 29679 29679 27243 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 850236405 322957312 11223 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554946 18446604451281016000 0 0 -1 6 0 0 0
[pid=29695] ppid=29679 vsize=315400 CPUtime=0.23 cores=0,2,4,6
/proc/29695/stat : 29695 (python) S 29679 29679 27243 0 -1 4202560 1141 0 0 0 10 13 0 0 16 0 2 0 850236407 322969600 11207 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29695/statm: 78850 11207 390 364 0 13734 0
[pid=29697] ppid=29695 vsize=760512 CPUtime=49.25 cores=0,2,4,6
/proc/29697/stat : 29697 (wbo1.4a) T 29695 29697 29697 0 -1 4202496 495814 0 0 0 4862 63 0 0 25 0 1 0 850236408 778764288 189439 33554432000 134512640 135751879 4288116320 18446744073709551615 134612465 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/29697/statm: 190128 189439 145 303 0 189823 0
[pid=29695/tid=29727] ppid=29679 vsize=315400 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29727/stat : 29727 (python) S 29679 29679 27243 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 850241333 322969600 11207 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554946 18446604448465228736 0 0 -1 6 0 0 0
[pid=29728] ppid=29679 vsize=325656 CPUtime=0.21 cores=0,2,4,6
/proc/29728/stat : 29728 (python) S 29679 29679 27243 0 -1 4202560 1134 0 0 0 11 10 0 0 16 0 2 0 850241335 333471744 11211 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29728/statm: 81414 11211 390 364 0 16295 0
[pid=29730] ppid=29728 vsize=8608720 CPUtime=49.56 cores=0,2,4,6
/proc/29730/stat : 29730 (java) T 29728 29730 29730 0 -1 4202496 334858 0 1 0 4909 47 0 0 18 0 19 0 850241336 8815329280 326705 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29730/statm: 2152180 326705 2251 9 0 2142921 0
[pid=29730/tid=29731] ppid=29728 vsize=8608720 CPUtime=45.98 cores=0,2,4,6
/proc/29730/task/29731/stat : 29731 (java) T 29728 29730 29730 0 -1 4202560 233730 0 1 0 4568 30 0 0 25 0 19 0 850241336 8815329280 326705 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 46912506095019 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29730/tid=29732] ppid=29728 vsize=8608720 CPUtime=0.22 cores=0,2,4,6
/proc/29730/task/29732/stat : 29732 (java) T 29728 29730 29730 0 -1 4202560 18267 0 0 0 20 2 0 0 15 0 19 0 850241337 8815329280 326705 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29730/tid=29733] ppid=29728 vsize=8608720 CPUtime=0.1 cores=0,2,4,6
/proc/29730/task/29733/stat : 29733 (java) T 29728 29730 29730 0 -1 4202560 6581 0 0 0 10 0 0 0 15 0 19 0 850241337 8815329280 326705 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29730/tid=29734] ppid=29728 vsize=8608720 CPUtime=0.11 cores=0,2,4,6
/proc/29730/task/29734/stat : 29734 (java) T 29728 29730 29730 0 -1 4202560 8477 0 0 0 11 0 0 0 15 0 19 0 850241337 8815329280 326705 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29730/tid=29735] ppid=29728 vsize=8608720 CPUtime=0.11 cores=0,2,4,6
/proc/29730/task/29735/stat : 29735 (java) T 29728 29730 29730 0 -1 4202560 7253 0 0 0 10 1 0 0 15 0 19 0 850241337 8815329280 326705 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29730/tid=29736] ppid=29728 vsize=8608720 CPUtime=0.13 cores=0,2,4,6
/proc/29730/task/29736/stat : 29736 (java) T 29728 29730 29730 0 -1 4202560 8613 0 0 0 12 1 0 0 15 0 19 0 850241337 8815329280 326705 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29730/tid=29737] ppid=29728 vsize=8608720 CPUtime=0.17 cores=0,2,4,6
/proc/29730/task/29737/stat : 29737 (java) T 29728 29730 29730 0 -1 4202560 12028 0 0 0 16 1 0 0 15 0 19 0 850241337 8815329280 326705 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29730/tid=29738] ppid=29728 vsize=8608720 CPUtime=0.09 cores=0,2,4,6
/proc/29730/task/29738/stat : 29738 (java) T 29728 29730 29730 0 -1 4202560 6836 0 0 0 8 1 0 0 15 0 19 0 850241337 8815329280 326705 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29730/tid=29739] ppid=29728 vsize=8608720 CPUtime=0.23 cores=0,2,4,6
/proc/29730/task/29739/stat : 29739 (java) T 29728 29730 29730 0 -1 4202560 17355 0 0 0 21 2 0 0 15 0 19 0 850241337 8815329280 326705 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29730/tid=29740] ppid=29728 vsize=8608720 CPUtime=0 cores=0,2,4,6
/proc/29730/task/29740/stat : 29740 (java) T 29728 29730 29730 0 -1 4202560 997 0 0 0 0 0 0 0 15 0 19 0 850241338 8815329280 326705 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052992 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29730/tid=29741] ppid=29728 vsize=8608720 CPUtime=0 cores=0,2,4,6
/proc/29730/task/29741/stat : 29741 (java) T 29728 29730 29730 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850241338 8815329280 326705 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29730/tid=29742] ppid=29728 vsize=8608720 CPUtime=0 cores=0,2,4,6
/proc/29730/task/29742/stat : 29742 (java) T 29728 29730 29730 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850241338 8815329280 326705 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29730/tid=29743] ppid=29728 vsize=8608720 CPUtime=0 cores=0,2,4,6
/proc/29730/task/29743/stat : 29743 (java) T 29728 29730 29730 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850241340 8815329280 326705 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828060081 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29730/tid=29744] ppid=29728 vsize=8608720 CPUtime=1.24 cores=0,2,4,6
/proc/29730/task/29744/stat : 29744 (java) T 29728 29730 29730 0 -1 4202560 6731 0 0 0 123 1 0 0 15 0 19 0 850241340 8815329280 326705 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29730/tid=29745] ppid=29728 vsize=8608720 CPUtime=1.05 cores=0,2,4,6
/proc/29730/task/29745/stat : 29745 (java) T 29728 29730 29730 0 -1 4202560 6600 0 0 0 104 1 0 0 15 0 19 0 850241340 8815329280 326705 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29730/tid=29746] ppid=29728 vsize=8608720 CPUtime=0 cores=0,2,4,6
/proc/29730/task/29746/stat : 29746 (java) T 29728 29730 29730 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850241340 8815329280 326705 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29730/tid=29747] ppid=29728 vsize=8608720 CPUtime=0 cores=0,2,4,6
/proc/29730/task/29747/stat : 29747 (java) T 29728 29730 29730 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850241340 8815329280 326705 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29730/tid=29748] ppid=29728 vsize=8608720 CPUtime=0 cores=0,2,4,6
/proc/29730/task/29748/stat : 29748 (java) T 29728 29730 29730 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850241433 8815329280 326705 33554432000 1073741824 1073778376 140734278050304 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29728/tid=29815] ppid=29679 vsize=325656 CPUtime=0 cores=0,2,4,6
/proc/29728/task/29815/stat : 29815 (python) S 29679 29679 27243 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 850245970 333471744 11211 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554946 18446604441182431232 0 0 -1 6 0 0 0
[pid=29816] ppid=29679 vsize=335912 CPUtime=0.41 cores=0,2,4,6
/proc/29816/stat : 29816 (python) S 29679 29679 27243 0 -1 4202560 1179 0 0 0 20 21 0 0 16 0 2 0 850245973 343973888 11215 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29816/statm: 83978 11215 390 364 0 18856 0
[pid=29818] ppid=29816 vsize=55480 CPUtime=96.22 cores=0,2,4,6
/proc/29818/stat : 29818 (clasp-1.3.7-x86) T 29816 29818 29818 0 -1 4202496 14626 0 0 0 9621 1 0 0 25 0 1 0 850245973 56811520 13604 33554432000 134512640 136139019 4287233680 18446744073709551615 134875544 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/29818/statm: 13870 13604 187 398 0 13470 0
[pid=29816/tid=29850] ppid=29679 vsize=335912 CPUtime=0 cores=0,2,4,6
/proc/29816/task/29850/stat : 29850 (python) S 29679 29679 27243 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 850255598 343973888 11215 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554946 18446604453509558464 0 0 -1 6 0 0 0
[pid=29919] ppid=29679 vsize=346168 CPUtime=0.93 cores=0,2,4,6
/proc/29919/stat : 29919 (python) S 29679 29679 27243 0 -1 4202560 1301 0 0 0 48 45 0 0 16 0 2 0 850260375 354476032 11225 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29919/statm: 86542 11225 396 364 0 21417 0
[pid=29921] ppid=29919 vsize=269536 CPUtime=186.15 cores=0,2,4,6
/proc/29921/stat : 29921 (scip-2.0.1.linu) T 29919 29921 29921 0 -1 4202496 77766 0 0 0 18570 45 0 0 21 0 1 0 850260376 276004864 61804 33554432000 4194304 15243407 140737255857248 18446744073709551615 8108275 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/29921/statm: 67384 61804 865 2698 0 64679 0
[pid=29919/tid=29951] ppid=29679 vsize=346168 CPUtime=0 cores=0,2,4,6
/proc/29919/task/29951/stat : 29951 (python) S 29679 29679 27243 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 850269699 354476032 11225 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554946 18446604441311458432 0 0 -1 6 0 0 0
[pid=30293] ppid=29679 vsize=356424 CPUtime=0 cores=0,2,4,6
/proc/30293/stat : 30293 (python) S 29679 29679 27243 0 -1 4202560 821 0 0 0 0 0 0 0 18 0 1 0 850301989 364978176 11151 33554432000 4194304 5683644 140735679333616 18446744073709551615 220816256582 0 0 16781312 33554946 2064597122853896192 0 0 17 6 0 0 0
/proc/30293/statm: 89106 11151 319 364 0 23978 0
[pid=30295] ppid=30293 vsize=8533056 CPUtime=0.34 cores=0,2,4,6
/proc/30295/stat : 30295 (java) S 30293 30295 30295 0 -1 4202496 7034 0 1 0 33 1 0 0 20 0 18 0 850301990 8737849344 6276 33554432000 1073741824 1073778376 140737411602240 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30295/statm: 2133264 6276 2181 9 0 2124005 0
[pid=30295/tid=30296] ppid=30293 vsize=8533056 CPUtime=0.22 cores=0,2,4,6
/proc/30295/task/30296/stat : 30296 (java) R 30293 30295 30295 0 -1 4202560 4360 0 1 0 22 0 0 0 18 0 18 0 850301991 8737849344 6288 33554432000 1073741824 1073778376 140737411602240 18446744073709551615 47815101864756 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30295/tid=30297] ppid=30293 vsize=8533056 CPUtime=0 cores=0,2,4,6
/proc/30295/task/30297/stat : 30297 (java) S 30293 30295 30295 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 850301992 8737849344 6288 33554432000 1073741824 1073778376 140737411602240 18446744073709551615 220828052377 0 4 0 16800975 18446604444589038464 0 0 -1 4 0 0 0
[pid=30295/tid=30298] ppid=30293 vsize=8533056 CPUtime=0 cores=0,2,4,6
/proc/30295/task/30298/stat : 30298 (java) S 30293 30295 30295 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850301992 8737849344 6288 33554432000 1073741824 1073778376 140737411602240 18446744073709551615 220828052377 0 4 0 16800975 18446604444589038464 0 0 -1 4 0 0 0
[pid=30295/tid=30299] ppid=30293 vsize=8533056 CPUtime=0 cores=0,2,4,6
/proc/30295/task/30299/stat : 30299 (java) S 30293 30295 30295 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850301992 8737849344 6288 33554432000 1073741824 1073778376 140737411602240 18446744073709551615 220828052377 0 4 0 16800975 18446604444589038464 0 0 -1 4 0 0 0
[pid=30295/tid=30300] ppid=30293 vsize=8533056 CPUtime=0 cores=0,2,4,6
/proc/30295/task/30300/stat : 30300 (java) S 30293 30295 30295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850301992 8737849344 6291 33554432000 1073741824 1073778376 140737411602240 18446744073709551615 220828052377 0 4 0 16800975 18446604444589038464 0 0 -1 4 0 0 0
[pid=30295/tid=30301] ppid=30293 vsize=8533056 CPUtime=0 cores=0,2,4,6
/proc/30295/task/30301/stat : 30301 (java) S 30293 30295 30295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850301992 8737849344 6295 33554432000 1073741824 1073778376 140737411602240 18446744073709551615 220828052377 0 4 0 16800975 18446604444589038464 0 0 -1 4 0 0 0
[pid=30295/tid=30302] ppid=30293 vsize=8533056 CPUtime=0 cores=0,2,4,6
/proc/30295/task/30302/stat : 30302 (java) S 30293 30295 30295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850301992 8737849344 6303 33554432000 1073741824 1073778376 140737411602240 18446744073709551615 220828052377 0 4 0 16800975 18446604444589038464 0 0 -1 4 0 0 0
[pid=30295/tid=30303] ppid=30293 vsize=8533056 CPUtime=0 cores=0,2,4,6
/proc/30295/task/30303/stat : 30303 (java) S 30293 30295 30295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850301992 8737849344 6311 33554432000 1073741824 1073778376 140737411602240 18446744073709551615 220828052377 0 4 0 16800975 18446604444589038464 0 0 -1 4 0 0 0
[pid=30295/tid=30304] ppid=30293 vsize=8533056 CPUtime=0 cores=0,2,4,6
/proc/30295/task/30304/stat : 30304 (java) S 30293 30295 30295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850301992 8737849344 6311 33554432000 1073741824 1073778376 140737411602240 18446744073709551615 220828052377 0 4 0 16800975 18446604444589038464 0 0 -1 4 0 0 0
[pid=30295/tid=30305] ppid=30293 vsize=8533056 CPUtime=0 cores=0,2,4,6
/proc/30295/task/30305/stat : 30305 (java) S 30293 30295 30295 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 850301993 8737849344 6312 33554432000 1073741824 1073778376 140737411602240 18446744073709551615 220828052992 0 0 0 16800975 18446604444589038464 0 0 -1 4 0 0 0
[pid=30295/tid=30306] ppid=30293 vsize=8533056 CPUtime=0 cores=0,2,4,6
/proc/30295/task/30306/stat : 30306 (java) S 30293 30295 30295 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 850301993 8737849344 6312 33554432000 1073741824 1073778376 140737411602240 18446744073709551615 220828052377 0 4 0 16800975 18446604444589038464 0 0 -1 4 0 0 0
[pid=30295/tid=30307] ppid=30293 vsize=8533056 CPUtime=0 cores=0,2,4,6
/proc/30295/task/30307/stat : 30307 (java) S 30293 30295 30295 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 850301993 8737849344 6312 33554432000 1073741824 1073778376 140737411602240 18446744073709551615 220828052377 0 4 0 16800975 18446604444589038464 0 0 -1 0 0 0 0
[pid=30295/tid=30308] ppid=30293 vsize=8533056 CPUtime=0 cores=0,2,4,6
/proc/30295/task/30308/stat : 30308 (java) S 30293 30295 30295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850301995 8737849344 6312 33554432000 1073741824 1073778376 140737411602240 18446744073709551615 220828060081 0 4 0 16800975 18446604444589038464 0 0 -1 4 0 0 0
[pid=30295/tid=30309] ppid=30293 vsize=8533204 CPUtime=0.03 cores=0,2,4,6
/proc/30295/task/30309/stat : 30309 (java) R 30293 30295 30295 0 -1 4202560 347 0 0 0 3 0 0 0 17 0 18 0 850301995 8738000896 6318 33554432000 1073741824 1073778376 140737411602240 18446744073709551615 220828052377 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30295/tid=30310] ppid=30293 vsize=8533204 CPUtime=0.07 cores=0,2,4,6
/proc/30295/task/30310/stat : 30310 (java) R 30293 30295 30295 0 -1 4202560 1036 0 0 0 7 0 0 0 25 0 18 0 850301995 8738000896 6329 33554432000 1073741824 1073778376 140737411602240 18446744073709551615 220815930315 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30295/tid=30311] ppid=30293 vsize=8533204 CPUtime=0 cores=0,2,4,6
/proc/30295/task/30311/stat : 30311 (java) S 30293 30295 30295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850301995 8738000896 6329 33554432000 1073741824 1073778376 140737411602240 18446744073709551615 220828052377 0 4 0 16800975 18446604444589038464 0 0 -1 4 0 0 0
[pid=30295/tid=30312] ppid=30293 vsize=8533204 CPUtime=0 cores=0,2,4,6
/proc/30295/task/30312/stat : 30312 (java) S 30293 30295 30295 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850301995 8738000896 6329 33554432000 1073741824 1073778376 140737411602240 18446744073709551615 220828052992 0 4 0 16800975 18446604444589038464 0 0 -1 0 0 0 0
[pid=29679/tid=29687] ppid=29677 vsize=366668 CPUtime=0.52 cores=0,2,4,6
/proc/29679/task/29687/stat : 29687 (python) S 29677 29679 27243 0 -1 4202560 39 1584 0 0 0 0 52 0 18 0 7 0 850231762 375468032 12718 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554434 18446604453926163392 0 0 -1 0 0 0 0
[pid=29679/tid=29696] ppid=29677 vsize=366668 CPUtime=0.52 cores=0,2,4,6
/proc/29679/task/29696/stat : 29696 (python) S 29677 29679 27243 0 -1 4202560 27 1584 0 0 0 0 52 0 20 0 7 0 850236408 375468032 12718 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554434 18446604453926163392 0 0 -1 4 0 0 0
[pid=29679/tid=29729] ppid=29677 vsize=366668 CPUtime=0.52 cores=0,2,4,6
/proc/29679/task/29729/stat : 29729 (python) S 29677 29679 27243 0 -1 4202560 32 1584 0 0 0 0 52 0 20 0 7 0 850241335 375468032 12718 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554434 18446604453926163392 0 0 -1 6 0 0 0
[pid=29679/tid=29817] ppid=29677 vsize=366668 CPUtime=0.52 cores=0,2,4,6
/proc/29679/task/29817/stat : 29817 (python) S 29677 29679 27243 0 -1 4202560 29 1584 0 0 0 0 52 0 20 0 7 0 850245973 375468032 12718 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554434 18446604453926163392 0 0 -1 4 0 0 0
[pid=29679/tid=29920] ppid=29677 vsize=366668 CPUtime=0.52 cores=0,2,4,6
/proc/29679/task/29920/stat : 29920 (python) S 29677 29679 27243 0 -1 4202560 33 1584 0 0 0 0 52 0 18 0 7 0 850260376 375468032 12718 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554434 18446604453926163392 0 0 -1 4 0 0 0
[pid=29679/tid=30294] ppid=29677 vsize=366668 CPUtime=0.52 cores=0,2,4,6
/proc/29679/task/30294/stat : 30294 (python) S 29677 29679 27243 0 -1 4202560 27 1584 0 0 0 0 52 0 20 0 7 0 850301990 375468032 12718 33554432000 4194304 5683644 140735679333616 18446744073709551615 220828060081 0 0 16781312 33554434 18446604453926163392 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 711.61
Current children cumulated vsize (KiB) 20856948
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29679 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=607603
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=144977
# CPU time returned by wait4() is 2.75258
# while last known CPU time is 711.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 705.213
CPU time (s): 711.61
CPU user time (s): 706.78
CPU system time (s): 4.83
CPU usage (%): 100.907
Max. virtual memory (cumulated for all children) (KiB): 20857364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.6076
system time used= 0.144977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28647
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= 28942
involuntary context switches= 30
runsolver used 6.03008 second user time and 11.6232 second system time
The end