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-3481867-1307576607/watcher-3481867-1307576607 -o /tmp/evaluation-result-3481867-1307576607/solver-3481867-1307576607 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481867-1307576607.opb -seed 696044499 -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: 1.85 0.89 0.34 2/587 1359
/proc/meminfo: memFree=26029404/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 712 0 0 0 0 0 0 0 20 0 1 0 869261211 15548416 603 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/1359/statm: 3796 603 319 364 0 283 0
[startup+0.0252569 s]
/proc/loadavg: 1.85 0.89 0.34 2/587 1359
/proc/meminfo: memFree=26029404/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=16820 CPUtime=0.01 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 1214 0 0 0 1 0 0 0 20 0 1 0 869261211 17223680 1072 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/1359/statm: 4205 1072 417 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16820
[startup+0.10104 s]
/proc/loadavg: 1.85 0.89 0.34 2/587 1359
/proc/meminfo: memFree=26029404/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=96132 CPUtime=0.07 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 3034 464 1 0 5 2 0 0 18 0 1 0 869261211 98439168 2483 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640859392 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/1359/statm: 24033 2483 792 364 0 1628 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96132
[startup+0.304022 s]
/proc/loadavg: 1.85 0.89 0.34 2/587 1359
/proc/meminfo: memFree=26029404/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=168312 CPUtime=0.24 cores=0,2,4,6
/proc/1359/stat : 1359 (python) R 1357 1359 1117 0 -1 4202496 5976 931 1 0 16 8 0 0 17 0 1 0 869261211 172351488 4292 33554432000 4194304 5683644 140733985097680 18446744073709551615 253644268213 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/1359/statm: 42078 4292 1200 364 0 3295 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 168312
[startup+0.700997 s]
/proc/loadavg: 1.85 0.89 0.34 2/587 1359
/proc/meminfo: memFree=26029404/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=288296 CPUtime=0.59 cores=0,2,4,6
/proc/1359/stat : 1359 (python) R 1357 1359 1117 0 -1 4202496 10469 931 1 0 47 12 0 0 17 0 1 0 869261211 295215104 8330 33554432000 4194304 5683644 140733985097680 18446744073709551615 4623644 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1359/statm: 72074 8330 1781 364 0 6967 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 288296
[startup+1.50084 s]
/proc/loadavg: 1.85 0.89 0.34 3/596 1376
/proc/meminfo: memFree=25970184/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=299340 CPUtime=1 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 12156 931 1 0 87 13 0 0 20 0 2 0 869261211 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1359/statm: 74835 8675 1870 364 0 9722 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 299340
[startup+3.10053 s]
/proc/loadavg: 1.85 0.89 0.34 3/599 1379
/proc/meminfo: memFree=25895016/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=299340 CPUtime=1 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 12156 931 1 0 87 13 0 0 20 0 2 0 869261211 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1359/statm: 74835 8675 1870 364 0 9722 0
[pid=1377] ppid=1359 vsize=289096 CPUtime=0 cores=0,2,4,6
/proc/1377/stat : 1377 (python) S 1359 1359 1117 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 1 0 869261321 296034304 7152 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640879631 0 0 16781312 33554946 8458974549449343235 0 0 17 6 0 0 0
/proc/1377/statm: 72274 7152 351 364 0 7161 0
[pid=1379] ppid=1377 vsize=75576 CPUtime=1.98 cores=0,2,4,6
/proc/1379/stat : 1379 (scip-2.0.1.linu) R 1377 1379 1379 0 -1 4202496 17065 0 0 0 195 3 0 0 25 0 1 0 869261322 77389824 15728 33554432000 4194304 13684479 140734451558576 18446744073709551615 7361336 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1379/statm: 18894 15728 714 2317 0 16572 0
[pid=1359/tid=1378] ppid=1357 vsize=299340 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1378/stat : 1378 (python) S 1357 1359 1117 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869261322 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 664012
[startup+6.30093 s]
/proc/loadavg: 2.26 0.99 0.38 2/591 1400
/proc/meminfo: memFree=26037220/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=299340 CPUtime=1 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 12156 931 1 0 87 13 0 0 20 0 2 0 869261211 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1359/statm: 74835 8675 1870 364 0 9722 0
[pid=1377] ppid=1359 vsize=289096 CPUtime=0.01 cores=0,2,4,6
/proc/1377/stat : 1377 (python) S 1359 1359 1117 0 -1 4202560 913 0 0 0 1 0 0 0 15 0 1 0 869261321 296034304 7180 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640879631 0 0 16781312 33554946 2294380295551418627 0 0 17 6 0 0 0
/proc/1377/statm: 72274 7180 375 364 0 7161 0
[pid=1379] ppid=1377 vsize=77712 CPUtime=5.19 cores=0,2,4,6
/proc/1379/stat : 1379 (scip-2.0.1.linu) R 1377 1379 1379 0 -1 4202496 17513 0 0 0 515 4 0 0 25 0 1 0 869261322 79577088 16176 33554432000 4194304 13684479 140734451558576 18446744073709551615 7430415 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1379/statm: 19428 16176 718 2317 0 17106 0
[pid=1359/tid=1378] ppid=1357 vsize=299340 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1378/stat : 1378 (python) S 1357 1359 1117 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869261322 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 666148
[startup+12.7008 s]
/proc/loadavg: 2.56 1.07 0.41 3/599 1415
/proc/meminfo: memFree=25774204/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=299340 CPUtime=1 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 12156 931 1 0 87 13 0 0 20 0 2 0 869261211 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1359/statm: 74835 8675 1870 364 0 9722 0
[pid=1377] ppid=1359 vsize=289096 CPUtime=0.03 cores=0,2,4,6
/proc/1377/stat : 1377 (python) S 1359 1359 1117 0 -1 4202560 916 0 0 0 2 1 0 0 15 0 1 0 869261321 296034304 7180 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640879631 0 0 16781312 33554946 2924114735567732736 0 0 17 6 0 0 0
/proc/1377/statm: 72274 7180 375 364 0 7161 0
[pid=1379] ppid=1377 vsize=114156 CPUtime=11.59 cores=0,2,4,6
/proc/1379/stat : 1379 (scip-2.0.1.linu) R 1377 1379 1379 0 -1 4202496 27810 0 0 0 1151 8 0 0 25 0 1 0 869261322 116895744 25456 33554432000 4194304 13684479 140734451558576 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1379/statm: 28539 25456 776 2317 0 26217 0
[pid=1359/tid=1378] ppid=1357 vsize=299340 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1378/stat : 1378 (python) S 1357 1359 1117 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869261322 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 702592
[startup+25.5005 s]
/proc/loadavg: 2.44 1.12 0.43 3/599 1415
/proc/meminfo: memFree=25767572/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=299340 CPUtime=1 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 12156 931 1 0 87 13 0 0 20 0 2 0 869261211 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1359/statm: 74835 8675 1870 364 0 9722 0
[pid=1377] ppid=1359 vsize=289096 CPUtime=0.11 cores=0,2,4,6
/proc/1377/stat : 1377 (python) S 1359 1359 1117 0 -1 4202560 925 0 0 0 6 5 0 0 15 0 1 0 869261321 296034304 7180 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640879631 0 0 16781312 33554946 72262103200705350 0 0 17 2 0 0 0
/proc/1377/statm: 72274 7180 375 364 0 7161 0
[pid=1379] ppid=1377 vsize=120780 CPUtime=24.38 cores=0,2,4,6
/proc/1379/stat : 1379 (scip-2.0.1.linu) R 1377 1379 1379 0 -1 4202496 29521 0 0 0 2418 20 0 0 25 0 1 0 869261322 123678720 27167 33554432000 4194304 13684479 140734451558576 18446744073709551615 7431920 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1379/statm: 30195 27167 778 2317 0 27873 0
[pid=1359/tid=1378] ppid=1357 vsize=299340 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1378/stat : 1378 (python) S 1357 1359 1117 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869261322 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 709216
[startup+51.1008 s]
/proc/loadavg: 2.42 1.22 0.48 3/599 1451
/proc/meminfo: memFree=25827596/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=299340 CPUtime=1 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 12156 931 1 0 87 13 0 0 20 0 2 0 869261211 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1359/statm: 74835 8675 1870 364 0 9722 0
[pid=1377] ppid=1359 vsize=289096 CPUtime=0.22 cores=0,2,4,6
/proc/1377/stat : 1377 (python) S 1359 1359 1117 0 -1 4202560 937 0 0 0 11 11 0 0 15 0 1 0 869261321 296034304 7180 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640879631 0 0 16781312 33554946 72556772316949318 0 0 17 6 0 0 0
/proc/1377/statm: 72274 7180 375 364 0 7161 0
[pid=1379] ppid=1377 vsize=120780 CPUtime=49.98 cores=0,2,4,6
/proc/1379/stat : 1379 (scip-2.0.1.linu) R 1377 1379 1379 0 -1 4202496 29599 0 0 0 4952 46 0 0 25 0 1 0 869261322 123678720 27245 33554432000 4194304 13684479 140734451558576 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1379/statm: 30195 27245 779 2317 0 27873 0
[pid=1359/tid=1378] ppid=1357 vsize=299340 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1378/stat : 1378 (python) S 1357 1359 1117 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869261322 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 709216
[startup+102.301 s]
/proc/loadavg: 2.23 1.35 0.56 3/629 1482
/proc/meminfo: memFree=25639644/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=319852 CPUtime=1.06 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 13892 931 1 0 93 13 0 0 20 0 4 0 869261211 327528448 8690 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1359/statm: 79963 8690 1875 364 0 14844 0
[pid=1377] ppid=1359 vsize=299340 CPUtime=0.24 cores=0,2,4,6
/proc/1377/stat : 1377 (python) S 1359 1359 1117 0 -1 4202560 1102 0 0 0 12 12 0 0 16 0 2 0 869261321 306524160 7216 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1377/statm: 74835 7216 406 364 0 9722 0
[pid=1379] ppid=1377 vsize=120780 CPUtime=51.07 cores=0,2,4,6
/proc/1379/stat : 1379 (scip-2.0.1.linu) T 1377 1379 1379 0 -1 4202496 29599 0 0 0 5060 47 0 0 25 0 1 0 869261322 123678720 27245 33554432000 4194304 13684479 140734451558576 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/1379/statm: 30195 27245 779 2317 0 27873 0
[pid=1377/tid=1452] ppid=1359 vsize=299340 CPUtime=0 cores=0,2,4,6
/proc/1377/task/1452/stat : 1452 (python) S 1359 1359 1117 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869266430 306524160 7216 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554946 18446604451186667968 0 0 -1 6 0 0 0
[pid=1453] ppid=1359 vsize=299352 CPUtime=0.24 cores=0,2,4,6
/proc/1453/stat : 1453 (python) S 1359 1359 1117 0 -1 4202560 1182 0 0 0 12 12 0 0 16 0 2 0 869266432 306536448 7212 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1453/statm: 74838 7212 402 364 0 9722 0
[pid=1455] ppid=1453 vsize=77728 CPUtime=47.8 cores=0,2,4,6
/proc/1455/stat : 1455 (wbo1.4a) T 1453 1455 1455 0 -1 4202496 20593 0 0 0 4756 24 0 0 25 0 1 0 869266433 79593472 18960 33554432000 134512640 135751879 4286829312 18446744073709551615 134616320 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/1455/statm: 19432 18960 146 303 0 19127 0
[pid=1453/tid=1479] ppid=1359 vsize=299352 CPUtime=0 cores=0,2,4,6
/proc/1453/task/1479/stat : 1479 (python) S 1359 1359 1117 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869271214 306536448 7212 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554946 18446604451331953792 0 0 -1 6 0 0 0
[pid=1480] ppid=1359 vsize=309608 CPUtime=0 cores=0,2,4,6
/proc/1480/stat : 1480 (python) S 1359 1359 1117 0 -1 4202560 911 0 0 0 0 0 0 0 15 0 1 0 869271217 317038592 7166 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640879686 0 0 16781312 33554946 6033171179513020676 0 0 17 0 0 0 0
/proc/1480/statm: 77402 7166 355 364 0 12283 0
[pid=1482] ppid=1480 vsize=70028 CPUtime=2.23 cores=0,2,4,6
/proc/1482/stat : 1482 (scip-2.0.1.linu) R 1480 1482 1482 0 -1 4202496 15338 0 0 0 222 1 0 0 25 0 1 0 869271217 71708672 14702 33554432000 4194304 15243407 140735082089584 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/1482/statm: 17507 14702 822 2698 0 14802 0
[pid=1359/tid=1378] ppid=1357 vsize=319852 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1378/stat : 1378 (python) S 1357 1359 1117 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 4 0 869261322 327528448 8690 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
[pid=1359/tid=1454] ppid=1357 vsize=319852 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1454/stat : 1454 (python) S 1357 1359 1117 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 4 0 869266432 327528448 8690 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
[pid=1359/tid=1481] ppid=1357 vsize=319852 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1481/stat : 1481 (python) S 1357 1359 1117 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 4 0 869271217 327528448 8690 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.64
Current children cumulated vsize (KiB) 1496688
[startup+162.302 s]
/proc/loadavg: 2.23 1.50 0.66 3/655 1510
/proc/meminfo: memFree=25434808/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=330108 CPUtime=1.08 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 14760 931 1 0 95 13 0 0 20 0 5 0 869261211 338030592 8698 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
################
# More data... #
################
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1719.9 s]
/proc/loadavg: 2.23 2.16 1.83 5/801 2407
/proc/meminfo: memFree=18266232/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=360876 CPUtime=1.15 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 17462 931 1 0 101 14 0 0 20 0 8 0 869261211 369537024 8716 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/1359/statm: 90219 8716 1883 364 0 25088 0
[pid=1377] ppid=1359 vsize=299340 CPUtime=0.24 cores=0,2,4,6
/proc/1377/stat : 1377 (python) S 1359 1359 1117 0 -1 4202560 1102 0 0 0 12 12 0 0 16 0 2 0 869261321 306524160 7216 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1377/statm: 74835 7216 406 364 0 9722 0
[pid=1379] ppid=1377 vsize=120780 CPUtime=51.07 cores=0,2,4,6
/proc/1379/stat : 1379 (scip-2.0.1.linu) T 1377 1379 1379 0 -1 4202496 29599 0 0 0 5060 47 0 0 25 0 1 0 869261322 123678720 27245 33554432000 4194304 13684479 140734451558576 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/1379/statm: 30195 27245 779 2317 0 27873 0
[pid=1377/tid=1452] ppid=1359 vsize=299340 CPUtime=0 cores=0,2,4,6
/proc/1377/task/1452/stat : 1452 (python) S 1359 1359 1117 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869266430 306524160 7216 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554946 18446604451186667968 0 0 -1 6 0 0 0
[pid=1453] ppid=1359 vsize=299352 CPUtime=0.24 cores=0,2,4,6
/proc/1453/stat : 1453 (python) S 1359 1359 1117 0 -1 4202560 1182 0 0 0 12 12 0 0 16 0 2 0 869266432 306536448 7212 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1453/statm: 74838 7212 402 364 0 9722 0
[pid=1455] ppid=1453 vsize=77728 CPUtime=47.8 cores=0,2,4,6
/proc/1455/stat : 1455 (wbo1.4a) T 1453 1455 1455 0 -1 4202496 20593 0 0 0 4756 24 0 0 25 0 1 0 869266433 79593472 18960 33554432000 134512640 135751879 4286829312 18446744073709551615 134616320 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/1455/statm: 19432 18960 146 303 0 19127 0
[pid=1453/tid=1479] ppid=1359 vsize=299352 CPUtime=0 cores=0,2,4,6
/proc/1453/task/1479/stat : 1479 (python) S 1359 1359 1117 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869271214 306536448 7212 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554946 18446604451331953792 0 0 -1 6 0 0 0
[pid=1480] ppid=1359 vsize=309608 CPUtime=0.21 cores=0,2,4,6
/proc/1480/stat : 1480 (python) S 1359 1359 1117 0 -1 4202560 1219 0 0 0 10 11 0 0 17 0 2 0 869271217 317038592 7216 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1480/statm: 77402 7216 402 364 0 12283 0
[pid=1482] ppid=1480 vsize=77784 CPUtime=46.86 cores=0,2,4,6
/proc/1482/stat : 1482 (scip-2.0.1.linu) T 1480 1482 1482 0 -1 4202496 29069 0 0 0 4659 27 0 0 25 0 1 0 869271217 79650816 16585 33554432000 4194304 15243407 140735082089584 18446744073709551615 12335806 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/1482/statm: 19446 16585 931 2698 0 16741 0
[pid=1480/tid=1488] ppid=1359 vsize=309608 CPUtime=0 cores=0,2,4,6
/proc/1480/task/1488/stat : 1488 (python) S 1359 1359 1117 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869275909 317038592 7216 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554946 18446604453920923776 0 0 -1 6 0 0 0
[pid=1489] ppid=1359 vsize=319864 CPUtime=0.48 cores=0,2,4,6
/proc/1489/stat : 1489 (python) S 1359 1359 1117 0 -1 4202560 1191 0 0 0 26 22 0 0 16 0 2 0 869275912 327540736 7214 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1489/statm: 79966 7214 396 364 0 14844 0
[pid=1491] ppid=1489 vsize=8537956 CPUtime=94.54 cores=0,2,4,6
/proc/1491/stat : 1491 (java) T 1489 1491 1491 0 -1 4202496 44925 0 1 0 9448 6 0 0 18 0 19 0 869275912 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/1491/statm: 2134489 41751 2248 9 0 2125230 0
[pid=1491/tid=1492] ppid=1489 vsize=8537956 CPUtime=92.7 cores=0,2,4,6
/proc/1491/task/1492/stat : 1492 (java) T 1489 1491 1491 0 -1 4202560 28130 0 1 0 9266 4 0 0 25 0 19 0 869275913 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 46912505918881 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1493] ppid=1489 vsize=8537956 CPUtime=0.02 cores=0,2,4,6
/proc/1491/task/1493/stat : 1493 (java) T 1489 1491 1491 0 -1 4202560 873 0 0 0 2 0 0 0 15 0 19 0 869275914 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1491/tid=1494] ppid=1489 vsize=8537956 CPUtime=0.01 cores=0,2,4,6
/proc/1491/task/1494/stat : 1494 (java) T 1489 1491 1491 0 -1 4202560 555 0 0 0 1 0 0 0 15 0 19 0 869275914 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1495] ppid=1489 vsize=8537956 CPUtime=0.02 cores=0,2,4,6
/proc/1491/task/1495/stat : 1495 (java) T 1489 1491 1491 0 -1 4202560 710 0 0 0 2 0 0 0 15 0 19 0 869275914 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1491/tid=1496] ppid=1489 vsize=8537956 CPUtime=0.01 cores=0,2,4,6
/proc/1491/task/1496/stat : 1496 (java) T 1489 1491 1491 0 -1 4202560 1456 0 0 0 1 0 0 0 15 0 19 0 869275914 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1497] ppid=1489 vsize=8537956 CPUtime=0.02 cores=0,2,4,6
/proc/1491/task/1497/stat : 1497 (java) T 1489 1491 1491 0 -1 4202560 395 0 0 0 2 0 0 0 15 0 19 0 869275914 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1491/tid=1498] ppid=1489 vsize=8537956 CPUtime=0.02 cores=0,2,4,6
/proc/1491/task/1498/stat : 1498 (java) T 1489 1491 1491 0 -1 4202560 438 0 0 0 2 0 0 0 15 0 19 0 869275914 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1499] ppid=1489 vsize=8537956 CPUtime=0.01 cores=0,2,4,6
/proc/1491/task/1499/stat : 1499 (java) T 1489 1491 1491 0 -1 4202560 591 0 0 0 1 0 0 0 15 0 19 0 869275914 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1500] ppid=1489 vsize=8537956 CPUtime=0.01 cores=0,2,4,6
/proc/1491/task/1500/stat : 1500 (java) T 1489 1491 1491 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 19 0 869275914 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1501] ppid=1489 vsize=8537956 CPUtime=0.58 cores=0,2,4,6
/proc/1491/task/1501/stat : 1501 (java) T 1489 1491 1491 0 -1 4202560 4828 0 0 0 58 0 0 0 15 0 19 0 869275915 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652676096 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1491/tid=1502] ppid=1489 vsize=8537956 CPUtime=0 cores=0,2,4,6
/proc/1491/task/1502/stat : 1502 (java) T 1489 1491 1491 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869275915 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1503] ppid=1489 vsize=8537956 CPUtime=0 cores=0,2,4,6
/proc/1491/task/1503/stat : 1503 (java) T 1489 1491 1491 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869275915 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1504] ppid=1489 vsize=8537956 CPUtime=0 cores=0,2,4,6
/proc/1491/task/1504/stat : 1504 (java) T 1489 1491 1491 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869275917 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652683185 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1505] ppid=1489 vsize=8537956 CPUtime=0.55 cores=0,2,4,6
/proc/1491/task/1505/stat : 1505 (java) T 1489 1491 1491 0 -1 4202560 3219 0 0 0 55 0 0 0 15 0 19 0 869275917 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1491/tid=1506] ppid=1489 vsize=8537956 CPUtime=0.5 cores=0,2,4,6
/proc/1491/task/1506/stat : 1506 (java) T 1489 1491 1491 0 -1 4202560 2325 0 0 0 50 0 0 0 15 0 19 0 869275918 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1491/tid=1507] ppid=1489 vsize=8537956 CPUtime=0 cores=0,2,4,6
/proc/1491/task/1507/stat : 1507 (java) T 1489 1491 1491 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869275918 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1508] ppid=1489 vsize=8537956 CPUtime=0 cores=0,2,4,6
/proc/1491/task/1508/stat : 1508 (java) T 1489 1491 1491 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869275918 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1491/tid=1509] ppid=1489 vsize=8537956 CPUtime=0 cores=0,2,4,6
/proc/1491/task/1509/stat : 1509 (java) T 1489 1491 1491 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869275968 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1489/tid=1576] ppid=1359 vsize=319864 CPUtime=0 cores=0,2,4,6
/proc/1489/task/1576/stat : 1576 (python) S 1359 1359 1117 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869285259 327540736 7214 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554946 18446604443015545856 0 0 -1 6 0 0 0
[pid=1577] ppid=1359 vsize=330120 CPUtime=0.43 cores=0,2,4,6
/proc/1577/stat : 1577 (python) S 1359 1359 1117 0 -1 4202560 1184 0 0 0 21 22 0 0 19 0 2 0 869285261 338042880 7218 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1577/statm: 82530 7218 396 364 0 17405 0
[pid=1579] ppid=1577 vsize=4416 CPUtime=93.48 cores=0,2,4,6
/proc/1579/stat : 1579 (clasp-1.3.7-x86) T 1577 1579 1579 0 -1 4202496 1217 0 0 0 9348 0 0 0 25 0 1 0 869285262 4521984 857 33554432000 134512640 136139019 4294077216 18446744073709551615 134599034 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/1579/statm: 1104 857 188 398 0 704 0
[pid=1577/tid=1696] ppid=1359 vsize=330120 CPUtime=0 cores=0,2,4,6
/proc/1577/task/1696/stat : 1696 (python) S 1359 1359 1117 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 869294617 338042880 7218 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554946 18446604443516367040 0 0 -1 6 0 0 0
[pid=1697] ppid=1359 vsize=340376 CPUtime=6.72 cores=0,2,4,6
/proc/1697/stat : 1697 (python) S 1359 1359 1117 0 -1 4202560 1237 0 0 0 340 332 0 0 16 0 2 0 869294619 348545024 7222 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1697/statm: 85094 7222 396 364 0 19966 0
[pid=1699] ppid=1697 vsize=74380 CPUtime=1385.18 cores=0,2,4,6
/proc/1699/stat : 1699 (bsolo_pb10) T 1697 1699 1699 0 -1 4202496 12547589 0 0 0 137190 1328 0 0 25 0 1 0 869294620 76165120 15529 33554432000 134512640 137138936 4293165408 18446744073709551615 135441031 0 0 16781312 16384 18446744071562691360 0 0 17 2 0 0 0
/proc/1699/statm: 18595 15529 288 642 0 17951 0
[pid=1697/tid=2385] ppid=1359 vsize=340376 CPUtime=0 cores=0,2,4,6
/proc/1697/task/2385/stat : 2385 (python) S 1359 1359 1117 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869433138 348545024 7222 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554946 18446604442454527040 0 0 -1 6 0 0 0
[pid=2386] ppid=1359 vsize=350632 CPUtime=0 cores=0,2,4,6
/proc/2386/stat : 2386 (python) S 1359 1359 1117 0 -1 4202560 830 0 0 0 0 0 0 0 15 0 1 0 869433139 359047168 7177 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640879686 0 0 16781312 33554946 11784218150763987202 0 0 17 6 0 0 0
/proc/2386/statm: 87658 7177 348 364 0 22527 0
[pid=2388] ppid=2386 vsize=8539988 CPUtime=0.99 cores=0,2,4,6
/proc/2388/stat : 2388 (java) S 2386 2388 2388 0 -1 4202496 24775 0 1 0 96 3 0 0 20 0 19 0 869433140 8744947712 23227 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2388/statm: 2134997 23227 2216 9 0 2125738 0
[pid=2388/tid=2390] ppid=2386 vsize=8539988 CPUtime=0.57 cores=0,2,4,6
/proc/2388/task/2390/stat : 2390 (java) R 2386 2388 2388 0 -1 4202560 19679 0 1 0 55 2 0 0 19 0 19 0 869433140 8744947712 23322 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 46912505749716 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2388/tid=2391] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2391/stat : 2391 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869433141 8744947712 23322 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2392] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2392/stat : 2392 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869433141 8744947712 23322 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2393] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2393/stat : 2393 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869433141 8744947712 23322 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2394] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2394/stat : 2394 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869433141 8744947712 23322 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2395] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2395/stat : 2395 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869433141 8744947712 23323 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2396] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2396/stat : 2396 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869433141 8744947712 23323 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 0 0 0 0
[pid=2388/tid=2397] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2397/stat : 2397 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869433141 8744947712 23323 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 6 0 0 0
[pid=2388/tid=2398] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2398/stat : 2398 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869433141 8744947712 23323 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 6 0 0 0
[pid=2388/tid=2399] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2399/stat : 2399 (java) S 2386 2388 2388 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869433142 8744947712 23323 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652676096 0 0 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2400] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2400/stat : 2400 (java) S 2386 2388 2388 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869433142 8744947712 23323 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2401] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2401/stat : 2401 (java) S 2386 2388 2388 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869433142 8744947712 23323 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2402] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2402/stat : 2402 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869433144 8744947712 23324 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652683185 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2403] ppid=2386 vsize=8539988 CPUtime=0.09 cores=0,2,4,6
/proc/2388/task/2403/stat : 2403 (java) S 2386 2388 2388 0 -1 4202560 915 0 0 0 9 0 0 0 17 0 19 0 869433144 8744947712 23324 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 4 0 0 0
[pid=2388/tid=2404] ppid=2386 vsize=8539988 CPUtime=0.32 cores=0,2,4,6
/proc/2388/task/2404/stat : 2404 (java) S 2386 2388 2388 0 -1 4202560 2892 0 0 0 32 0 0 0 15 0 19 0 869433144 8744947712 23324 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2405] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2405/stat : 2405 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869433144 8744947712 23324 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2406] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2406/stat : 2406 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869433144 8744947712 23324 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652676096 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2407] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2407/stat : 2407 (java) S 2386 2388 2388 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869433200 8744947712 23324 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652676096 0 4 0 16800975 18446604445347276992 0 0 -1 4 0 0 0
[pid=1359/tid=1378] ppid=1357 vsize=360876 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1378/stat : 1378 (python) S 1357 1359 1117 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 8 0 869261322 369537024 8716 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
[pid=1359/tid=1454] ppid=1357 vsize=360876 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1454/stat : 1454 (python) S 1357 1359 1117 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 8 0 869266432 369537024 8716 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
[pid=1359/tid=1481] ppid=1357 vsize=360876 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1481/stat : 1481 (python) S 1357 1359 1117 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 8 0 869271217 369537024 8716 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
[pid=1359/tid=1490] ppid=1357 vsize=360876 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1490/stat : 1490 (python) S 1357 1359 1117 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 8 0 869275912 369537024 8716 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
[pid=1359/tid=1578] ppid=1357 vsize=360876 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1578/stat : 1578 (python) S 1357 1359 1117 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 8 0 869285262 369537024 8716 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
[pid=1359/tid=1698] ppid=1357 vsize=360876 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1698/stat : 1698 (python) S 1357 1359 1117 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 8 0 869294620 369537024 8716 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 6 0 0 0
[pid=1359/tid=2387] ppid=1357 vsize=360876 CPUtime=0 cores=0,2,4,6
/proc/1359/task/2387/stat : 2387 (python) S 1357 1359 1117 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 8 0 869433139 369537024 8716 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1729.39
Current children cumulated vsize (KiB) 20043200
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 1359 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=16845
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=148977
# CPU time returned by wait4() is 1.16582
# while last known CPU time is 1729.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1720
CPU time (s): 1729.39
CPU user time (s): 1710.79
CPU system time (s): 18.6
CPU usage (%): 100.546
Max. virtual memory (cumulated for all children) (KiB): 20043200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.01684
system time used= 0.148977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18398
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= 4545
involuntary context switches= 28
runsolver used 15.8136 second user time and 32.1831 second system time
The end