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-3481820-1307576357/watcher-3481820-1307576357 -o /tmp/evaluation-result-3481820-1307576357/solver-3481820-1307576357 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481820-1307576357.opb -seed 611056974 -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: 0.44 0.10 0.03 2/452 23088
/proc/meminfo: memFree=32103888/32951124 swapFree=55639044/67111528
[pid=23088] ppid=23082 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/23088/stat : 23088 (runsolver) D 23082 23088 23050 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 1 0 869235990 12079104 53 33554432000 4194304 5432328 140736445184720 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 2 0 0 0
/proc/23088/statm: 2949 53 34 303 0 2643 0
[startup+0.0386349 s]
/proc/loadavg: 0.44 0.10 0.03 2/452 23088
/proc/meminfo: memFree=32103888/32951124 swapFree=55639044/67111528
[pid=23088] ppid=23082 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/23088/stat : 23088 (runsolver) D 23082 23088 23050 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 1 0 869235990 12079104 53 33554432000 4194304 5432328 140736445184720 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 2 0 0 0
/proc/23088/statm: 2949 53 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.100633 s]
/proc/loadavg: 0.44 0.10 0.03 2/452 23088
/proc/meminfo: memFree=32103888/32951124 swapFree=55639044/67111528
[pid=23088] ppid=23082 vsize=1964 CPUtime=0 cores=0,2,4,6
/proc/23088/stat : 23088 (python) D 23082 23088 23050 0 -1 4194304 75 0 1 0 0 0 0 0 18 0 1 0 869235990 2011136 28 33554432000 4194304 5683644 140735588682064 18446744073709551615 271545615376 0 0 4096 0 18446744071562234166 0 0 17 4 0 0 2
/proc/23088/statm: 491 28 21 364 0 37 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1964
[startup+0.300581 s]
/proc/loadavg: 0.44 0.10 0.03 2/452 23088
/proc/meminfo: memFree=32103888/32951124 swapFree=55639044/67111528
[pid=23088] ppid=23082 vsize=14820 CPUtime=0 cores=0,2,4,6
/proc/23088/stat : 23088 (python) S 23082 23088 23050 0 -1 4202496 507 0 6 0 0 0 0 0 17 0 1 0 869235990 15175680 420 33554432000 4194304 5683644 140735588682064 18446744073709551615 271550533477 0 2147483391 4096 0 18446744071699469502 0 0 17 4 0 0 13
/proc/23088/statm: 3705 420 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820
[startup+0.700516 s]
/proc/loadavg: 0.44 0.10 0.03 2/452 23088
/proc/meminfo: memFree=32103888/32951124 swapFree=55639044/67111528
[pid=23088] ppid=23082 vsize=15216 CPUtime=0 cores=0,2,4,6
/proc/23088/stat : 23088 (python) D 23082 23088 23050 0 -1 4202496 649 0 6 0 0 0 0 0 16 0 1 0 869235990 15581184 550 33554432000 4194304 5683644 140735588682064 18446744073709551615 271550537472 0 0 16781312 2 18446744071562234166 0 0 17 4 0 0 15
/proc/23088/statm: 3804 550 312 364 0 291 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15216
[startup+1.5004 s]
/proc/loadavg: 0.44 0.10 0.03 2/454 23090
/proc/meminfo: memFree=32100500/32951124 swapFree=55639044/67111528
[pid=23088] ppid=23082 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/23088/stat : 23088 (python) D 23082 23088 23050 0 -1 4202496 890 0 6 0 0 0 0 0 15 0 1 0 869235990 16154624 777 33554432000 4194304 5683644 140735588682064 18446744073709551615 271550535680 0 0 16781312 2 0 0 0 17 4 0 0 47
/proc/23088/statm: 3944 777 343 364 0 431 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15776
[startup+3.10118 s]
/proc/loadavg: 0.44 0.10 0.03 2/454 23090
/proc/meminfo: memFree=32097180/32951124 swapFree=55639044/67111528
[pid=23088] ppid=23082 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/23088/stat : 23088 (python) D 23082 23088 23050 0 -1 4202496 1112 0 6 0 1 0 0 0 16 0 1 0 869235990 16789504 985 33554432000 4194304 5683644 140735588682064 18446744073709551615 271550535680 0 0 16781312 2 0 0 0 17 4 0 0 96
/proc/23088/statm: 4099 985 409 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
heavy processes:
[startup+6.30053 s]
/proc/loadavg: 0.49 0.11 0.04 2/454 23090
/proc/meminfo: memFree=32093760/32951124 swapFree=55639044/67111528
[pid=23088] ppid=23082 vsize=20980 CPUtime=0.03 cores=0,2,4,6
/proc/23088/stat : 23088 (python) D 23082 23088 23050 0 -1 4202496 1295 0 7 0 3 0 0 0 15 0 1 0 869235990 21483520 1153 33554432000 4194304 5683644 140735588682064 18446744073709551615 271550537472 0 0 16781312 2 18446744071562234166 0 0 17 4 0 0 136
/proc/23088/statm: 5245 1153 428 364 0 692 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 20980
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 0.53 0.13 0.04 2/454 23098
/proc/meminfo: memFree=32069360/32951124 swapFree=55639044/67111528
[pid=23088] ppid=23082 vsize=123740 CPUtime=0.24 cores=0,2,4,6
/proc/23088/stat : 23088 (python) S 23082 23088 23050 0 -1 4202496 5321 920 38 9 15 9 0 0 15 0 1 0 869235990 126709760 3744 33554432000 4194304 5683644 140735588682064 18446744073709551615 271550533637 0 2147483391 16781312 2 18446744071699469502 0 0 17 4 0 0 258
/proc/23088/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 123740
heavy processes:
[startup+25.501 s]
/proc/loadavg: 0.64 0.17 0.06 4/478 23122
/proc/meminfo: memFree=31614396/32951124 swapFree=55639044/67111528
[pid=23088] ppid=23082 vsize=323932 CPUtime=2.58 cores=0,2,4,6
/proc/23088/stat : 23088 (python) S 23082 23088 23050 0 -1 4202496 21539 920 113 9 235 23 0 0 20 0 2 0 869235990 331706368 14822 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 357
/proc/23088/statm: 80983 14822 1872 364 0 15870 0
[pid=23120] ppid=23088 vsize=313688 CPUtime=0.01 cores=0,2,4,6
/proc/23120/stat : 23120 (python) S 23088 23088 23050 0 -1 4202560 905 0 0 0 0 1 0 0 15 0 1 0 869238046 321216512 13321 33554432000 4194304 5683644 140735588682064 18446744073709551615 271550557711 0 0 16781312 33554946 16257993525231059201 0 0 17 6 0 0 0
/proc/23120/statm: 78422 13321 375 364 0 13309 0
[pid=23122] ppid=23120 vsize=301092 CPUtime=4.91 cores=0,2,4,6
/proc/23122/stat : 23122 (scip-2.0.1.linu) R 23120 23122 23122 0 -1 4202496 70499 0 0 0 484 7 0 0 25 0 1 0 869238047 308318208 66494 33554432000 4194304 13684479 140733574965968 18446744073709551615 7361391 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/23122/statm: 75273 66494 809 2317 0 72951 0
[pid=23088/tid=23121] ppid=23082 vsize=323932 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23121/stat : 23121 (python) S 23082 23088 23050 0 -1 4202560 27 920 0 9 0 0 0 0 20 0 2 0 869238047 331706368 14822 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554434 18446604446667139136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 938712
heavy processes:
[startup+51.1004 s]
/proc/loadavg: 1.31 0.36 0.12 3/478 23123
/proc/meminfo: memFree=31470696/32951124 swapFree=55639044/67111528
[pid=23088] ppid=23082 vsize=323932 CPUtime=2.58 cores=0,2,4,6
/proc/23088/stat : 23088 (python) S 23082 23088 23050 0 -1 4202496 21539 920 113 9 235 23 0 0 20 0 2 0 869235990 331706368 14822 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 357
/proc/23088/statm: 80983 14822 1872 364 0 15870 0
[pid=23120] ppid=23088 vsize=313688 CPUtime=0.1 cores=0,2,4,6
/proc/23120/stat : 23120 (python) S 23088 23088 23050 0 -1 4202560 1002 0 0 0 5 5 0 0 15 0 1 0 869238046 321216512 13326 33554432000 4194304 5683644 140735588682064 18446744073709551615 271550557711 0 0 16781312 33554946 72556772316949393 0 0 17 6 0 0 0
/proc/23120/statm: 78422 13326 380 364 0 13309 0
[pid=23122] ppid=23120 vsize=434656 CPUtime=30.51 cores=0,2,4,6
/proc/23122/stat : 23122 (scip-2.0.1.linu) R 23120 23122 23122 0 -1 4202496 126904 0 0 0 3027 24 0 0 25 0 1 0 869238047 445087744 100987 33554432000 4194304 13684479 140733574965968 18446744073709551615 7267032 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/23122/statm: 108664 100987 837 2317 0 106342 0
[pid=23088/tid=23121] ppid=23082 vsize=323932 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23121/stat : 23121 (python) S 23082 23088 23050 0 -1 4202560 27 920 0 9 0 0 0 0 20 0 2 0 869238047 331706368 14822 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554434 18446604446667139136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 33.19
Current children cumulated vsize (KiB) 1072276
heavy processes:
[startup+102.318 s]
/proc/loadavg: 1.85 0.65 0.23 3/486 23133
/proc/meminfo: memFree=31056068/32951124 swapFree=55639044/67111528
[pid=23088] ppid=23082 vsize=334188 CPUtime=2.6 cores=0,2,4,6
/proc/23088/stat : 23088 (python) S 23082 23088 23050 0 -1 4202496 22418 920 113 9 237 23 0 0 20 0 3 0 869235990 342208512 14829 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 357
/proc/23088/statm: 83547 14829 1875 364 0 18431 0
[pid=23120] ppid=23088 vsize=323932 CPUtime=0.17 cores=0,2,4,6
/proc/23120/stat : 23120 (python) S 23088 23088 23050 0 -1 4202560 1153 0 0 0 8 9 0 0 17 0 2 0 869238046 331706368 13362 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23120/statm: 80983 13362 411 364 0 15870 0
[pid=23122] ppid=23120 vsize=434656 CPUtime=48 cores=0,2,4,6
/proc/23122/stat : 23122 (scip-2.0.1.linu) T 23120 23122 23122 0 -1 4202496 126904 0 0 0 4775 25 0 0 25 0 1 0 869238047 445087744 100987 33554432000 4194304 13684479 140733574965968 18446744073709551615 7354529 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/23122/statm: 108664 100987 837 2317 0 106342 0
[pid=23120/tid=23129] ppid=23088 vsize=323932 CPUtime=0 cores=0,2,4,6
/proc/23120/task/23129/stat : 23129 (python) S 23088 23088 23050 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869242849 331706368 13362 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554946 18446604442617088000 0 0 -1 6 0 0 0
[pid=23130] ppid=23088 vsize=323944 CPUtime=0.13 cores=0,2,4,6
/proc/23130/stat : 23130 (python) S 23088 23088 23050 0 -1 4202560 978 0 0 0 7 6 0 0 15 0 1 0 869242852 331718656 13322 33554432000 4194304 5683644 140735588682064 18446744073709551615 271550557766 0 0 16781312 33554946 72556772316949393 0 0 17 6 0 0 0
/proc/23130/statm: 80986 13322 372 364 0 15870 0
[pid=23132] ppid=23130 vsize=282080 CPUtime=33.65 cores=0,2,4,6
/proc/23132/stat : 23132 (scip-2.0.1.linu) R 23130 23132 23132 0 -1 4202496 127652 0 0 0 3341 24 0 0 25 0 1 0 869242852 288849920 63338 33554432000 4194304 15243407 140737201787520 18446744073709551615 7128074 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/23132/statm: 70520 63338 939 2698 0 67815 0
[pid=23088/tid=23121] ppid=23082 vsize=334188 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23121/stat : 23121 (python) S 23082 23088 23050 0 -1 4202560 27 920 0 9 0 0 0 0 20 0 3 0 869238047 342208512 14829 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554434 18446604446667139136 0 0 -1 6 0 0 0
[pid=23088/tid=23131] ppid=23082 vsize=334188 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23131/stat : 23131 (python) S 23082 23088 23050 0 -1 4202560 31 920 0 9 0 0 0 0 20 0 3 0 869242852 342208512 14829 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554434 18446604446667139136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 84.55
Current children cumulated vsize (KiB) 1698800
[startup+162.301 s]
/proc/loadavg: 1.94 0.89 0.34 4/494 23142
/proc/meminfo: memFree=30853424/32951124 swapFree=55639044/67111528
[pid=23088] ppid=23082 vsize=344444 CPUtime=2.64 cores=0,2,4,6
/proc/23088/stat : 23088 (python) S 23082 23088 23050 0 -1 4202496 23303 920 113 9 240 24 0 0 20 0 4 0 869235990 352710656 14835 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 357
/proc/23088/statm: 86111 14835 1877 364 0 20992 0
[pid=23120] ppid=23088 vsize=323932 CPUtime=0.17 cores=0,2,4,6
/proc/23120/stat : 23120 (python) S 23088 23088 23050 0 -1 4202560 1153 0 0 0 8 9 0 0 17 0 2 0 869238046 331706368 13362 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23120/statm: 80983 13362 411 364 0 15870 0
[pid=23122] ppid=23120 vsize=434656 CPUtime=48 cores=0,2,4,6
/proc/23122/stat : 23122 (scip-2.0.1.linu) T 23120 23122 23122 0 -1 4202496 126904 0 0 0 4775 25 0 0 25 0 1 0 869238047 445087744 100987 33554432000 4194304 13684479 140733574965968 18446744073709551615 7354529 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/23122/statm: 108664 100987 837 2317 0 106342 0
[pid=23120/tid=23129] ppid=23088 vsize=323932 CPUtime=0 cores=0,2,4,6
/proc/23120/task/23129/stat : 23129 (python) S 23088 23088 23050 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869242849 331706368 13362 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554946 18446604442617088000 0 0 -1 6 0 0 0
[pid=23130] ppid=23088 vsize=323944 CPUtime=0.18 cores=0,2,4,6
/proc/23130/stat : 23130 (python) S 23088 23088 23050 0 -1 4202560 1145 0 0 0 10 8 0 0 16 0 2 0 869242852 331718656 13347 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23130/statm: 80986 13347 396 364 0 15870 0
[pid=23132] ppid=23130 vsize=283040 CPUtime=46.44 cores=0,2,4,6
/proc/23132/stat : 23132 (scip-2.0.1.linu) T 23130 23132 23132 0 -1 4202496 128072 0 0 0 4619 25 0 0 25 0 1 0 869242852 289832960 63758 33554432000 4194304 15243407 140737201787520 18446744073709551615 7128130 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/23132/statm: 70760 63758 939 2698 0 68055 0
[pid=23130/tid=23138] ppid=23088 vsize=323944 CPUtime=0 cores=0,2,4,6
/proc/23130/task/23138/stat : 23138 (python) S 23088 23088 23050 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869247501 331718656 13347 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554946 18446604442474268800 0 0 -1 6 0 0 0
[pid=23139] ppid=23088 vsize=334200 CPUtime=0.2 cores=0,2,4,6
/proc/23139/stat : 23139 (python) S 23088 23088 23050 0 -1 4202560 974 0 0 0 10 10 0 0 15 0 1 0 869247504 342220800 13326 33554432000 4194304 5683644 140735588682064 18446744073709551615 271550557766 0 0 16781312 33554946 72114768642583441 0 0 17 0 0 0 0
/proc/23139/statm: 83550 13326 372 364 0 18431 0
[pid=23141] ppid=23139 vsize=68104 CPUtime=47.09 cores=0,2,4,6
/proc/23141/stat : 23141 (wbo1.4a) R 23139 23141 23141 0 -1 4202496 202109 0 0 0 4671 38 0 0 25 0 1 0 869247505 69738496 16243 33554432000 134512640 135751879 4288298464 18446744073709551615 134519024 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/23141/statm: 17026 16243 146 303 0 16721 0
[pid=23088/tid=23121] ppid=23082 vsize=344444 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23121/stat : 23121 (python) S 23082 23088 23050 0 -1 4202560 27 920 0 9 0 0 0 0 20 0 4 0 869238047 352710656 14835 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554434 18446604446667139136 0 0 -1 6 0 0 0
[pid=23088/tid=23131] ppid=23082 vsize=344444 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23131/stat : 23131 (python) S 23082 23088 23050 0 -1 4202560 31 920 0 9 0 0 0 0 20 0 4 0 869242852 352710656 14835 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554434 18446604446667139136 0 0 -1 0 0 0 0
[pid=23088/tid=23140] ppid=23082 vsize=344444 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23140/stat : 23140 (python) S 23082 23088 23050 0 -1 4202560 30 920 0 9 0 0 0 0 20 0 4 0 869247505 352710656 14835 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554434 18446604446667139136 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=23150/tid=23154] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23154/stat : 23154 (java) T 23148 23150 23150 0 -1 4202560 798 0 0 0 0 0 0 0 15 0 19 0 869252398 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23155] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23155/stat : 23155 (java) T 23148 23150 23150 0 -1 4202560 658 0 0 0 0 0 0 0 15 0 19 0 869252398 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23150/tid=23156] ppid=23148 vsize=8549692 CPUtime=0.01 cores=0,2,4,6
/proc/23150/task/23156/stat : 23156 (java) T 23148 23150 23150 0 -1 4202560 2121 0 0 0 1 0 0 0 15 0 19 0 869252398 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23150/tid=23157] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23157/stat : 23157 (java) T 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869252398 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23150/tid=23158] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23158/stat : 23158 (java) T 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869252398 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23150/tid=23159] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23159/stat : 23159 (java) T 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869252398 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23150/tid=23160] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23160/stat : 23160 (java) T 23148 23150 23150 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 869252399 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562354176 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23150/tid=23161] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23161/stat : 23161 (java) T 23148 23150 23150 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869252399 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23162] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23162/stat : 23162 (java) T 23148 23150 23150 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869252399 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23163] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23163/stat : 23163 (java) T 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869252401 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562361265 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23164] ppid=23148 vsize=8549692 CPUtime=0.46 cores=0,2,4,6
/proc/23150/task/23164/stat : 23164 (java) T 23148 23150 23150 0 -1 4202560 2503 0 0 0 46 0 0 0 15 0 19 0 869252401 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23150/tid=23165] ppid=23148 vsize=8549692 CPUtime=0.67 cores=0,2,4,6
/proc/23150/task/23165/stat : 23165 (java) T 23148 23150 23150 0 -1 4202560 6640 0 0 0 67 0 0 0 15 0 19 0 869252401 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23166] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23166/stat : 23166 (java) T 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869252401 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23167] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23167/stat : 23167 (java) T 23148 23150 23150 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869252401 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562354176 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23150/tid=23168] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23168/stat : 23168 (java) T 23148 23150 23150 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869252515 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562354176 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23148/tid=23170] ppid=23088 vsize=344456 CPUtime=0 cores=0,2,4,6
/proc/23148/task/23170/stat : 23170 (python) S 23088 23088 23050 0 -1 4202560 56 0 0 0 0 0 0 0 17 0 2 0 869257229 352722944 13355 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554946 18446604450991859904 0 0 -1 6 0 0 0
[pid=23171] ppid=23088 vsize=354712 CPUtime=6.01 cores=0,2,4,6
/proc/23171/stat : 23171 (python) S 23088 23088 23050 0 -1 4202560 1236 0 0 0 297 304 0 0 15 0 2 0 869257232 363225088 13359 33554432000 4194304 5683644 140735588682064 18446744073709551615 271550557766 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/23171/statm: 88678 13359 396 364 0 23553 0
[pid=23173] ppid=23171 vsize=42884 CPUtime=1525.07 cores=0,2,4,6
/proc/23173/stat : 23173 (bsolo_pb10) R 23171 23173 23173 0 -1 4202496 70320337 0 0 0 143369 9138 0 0 25 0 1 0 869257232 43913216 8301 33554432000 134512640 137138936 4288769952 18446744073709551615 134745108 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/23173/statm: 10721 8301 283 642 0 10077 0
[pid=23171/tid=23317] ppid=23088 vsize=354712 CPUtime=0 cores=0,2,4,6
/proc/23171/task/23317/stat : 23317 (python) S 23088 23088 23050 0 -1 4202560 55 0 0 0 0 0 0 0 16 0 2 0 869270929 363225088 13359 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554946 18446604442617088896 0 0 -1 6 0 0 0
[pid=23088/tid=23121] ppid=23082 vsize=364956 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23121/stat : 23121 (python) S 23082 23088 23050 0 -1 4202560 27 920 0 9 0 0 0 0 20 0 6 0 869238047 373714944 14847 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554434 18446604446667139136 0 0 -1 6 0 0 0
[pid=23088/tid=23131] ppid=23082 vsize=364956 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23131/stat : 23131 (python) S 23082 23088 23050 0 -1 4202560 31 920 0 9 0 0 0 0 20 0 6 0 869242852 373714944 14847 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554434 18446604446667139136 0 0 -1 0 0 0 0
[pid=23088/tid=23140] ppid=23082 vsize=364956 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23140/stat : 23140 (python) S 23082 23088 23050 0 -1 4202560 37 920 0 9 0 0 0 0 18 0 6 0 869247505 373714944 14847 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554434 18446604446667139136 0 0 -1 2 0 0 0
[pid=23088/tid=23149] ppid=23082 vsize=364956 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23149/stat : 23149 (python) S 23082 23088 23050 0 -1 4202560 29 920 0 9 0 0 0 0 20 0 6 0 869252396 373714944 14847 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554434 18446604446667139136 0 0 -1 0 0 0 0
[pid=23088/tid=23172] ppid=23082 vsize=364956 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23172/stat : 23172 (python) S 23082 23088 23050 0 -1 4202560 32 920 0 9 0 0 0 0 18 0 6 0 869257232 373714944 14847 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554434 18446604446667139136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1772.27
Current children cumulated vsize (KiB) 11437900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810 s]
/proc/loadavg: 2.08 2.08 1.75 3/637 23735
/proc/meminfo: memFree=19249396/32951124 swapFree=55639044/67111528
[pid=23088] ppid=23082 vsize=364956 CPUtime=2.74 cores=0,2,4,6
/proc/23088/stat : 23088 (python) S 23082 23088 23050 0 -1 4202496 25734 920 113 9 249 25 0 0 18 0 6 0 869235990 373714944 14847 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 357
/proc/23088/statm: 91239 14847 1881 364 0 26114 0
[pid=23120] ppid=23088 vsize=323932 CPUtime=0.17 cores=0,2,4,6
/proc/23120/stat : 23120 (python) S 23088 23088 23050 0 -1 4202560 1153 0 0 0 8 9 0 0 17 0 2 0 869238046 331706368 13362 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23120/statm: 80983 13362 411 364 0 15870 0
[pid=23122] ppid=23120 vsize=434656 CPUtime=48 cores=0,2,4,6
/proc/23122/stat : 23122 (scip-2.0.1.linu) T 23120 23122 23122 0 -1 4202496 126904 0 0 0 4775 25 0 0 25 0 1 0 869238047 445087744 100987 33554432000 4194304 13684479 140733574965968 18446744073709551615 7354529 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/23122/statm: 108664 100987 837 2317 0 106342 0
[pid=23120/tid=23129] ppid=23088 vsize=323932 CPUtime=0 cores=0,2,4,6
/proc/23120/task/23129/stat : 23129 (python) S 23088 23088 23050 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869242849 331706368 13362 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554946 18446604442617088000 0 0 -1 6 0 0 0
[pid=23130] ppid=23088 vsize=323944 CPUtime=0.18 cores=0,2,4,6
/proc/23130/stat : 23130 (python) S 23088 23088 23050 0 -1 4202560 1145 0 0 0 10 8 0 0 16 0 2 0 869242852 331718656 13347 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23130/statm: 80986 13347 396 364 0 15870 0
[pid=23132] ppid=23130 vsize=283040 CPUtime=46.44 cores=0,2,4,6
/proc/23132/stat : 23132 (scip-2.0.1.linu) T 23130 23132 23132 0 -1 4202496 128072 0 0 0 4619 25 0 0 25 0 1 0 869242852 289832960 63758 33554432000 4194304 15243407 140737201787520 18446744073709551615 7128130 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/23132/statm: 70760 63758 939 2698 0 68055 0
[pid=23130/tid=23138] ppid=23088 vsize=323944 CPUtime=0 cores=0,2,4,6
/proc/23130/task/23138/stat : 23138 (python) S 23088 23088 23050 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869247501 331718656 13347 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554946 18446604442474268800 0 0 -1 6 0 0 0
[pid=23139] ppid=23088 vsize=334200 CPUtime=0.42 cores=0,2,4,6
/proc/23139/stat : 23139 (python) S 23088 23088 23050 0 -1 4202560 1163 0 0 0 22 20 0 0 16 0 2 0 869247504 342220800 13351 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/23139/statm: 83550 13351 396 364 0 18431 0
[pid=23141] ppid=23139 vsize=81428 CPUtime=93.59 cores=0,2,4,6
/proc/23141/stat : 23141 (wbo1.4a) T 23139 23141 23141 0 -1 4202496 205427 0 0 0 9319 40 0 0 25 0 1 0 869247505 83382272 19561 33554432000 134512640 135751879 4288298464 18446744073709551615 134518477 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/23141/statm: 20357 19561 146 303 0 20052 0
[pid=23139/tid=23147] ppid=23088 vsize=334200 CPUtime=0 cores=0,2,4,6
/proc/23139/task/23147/stat : 23147 (python) S 23088 23088 23050 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 2 0 869252393 342220800 13351 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554946 18446604452732695872 0 0 -1 0 0 0 0
[pid=23148] ppid=23088 vsize=344456 CPUtime=0.19 cores=0,2,4,6
/proc/23148/stat : 23148 (python) S 23088 23088 23050 0 -1 4202560 1159 0 0 0 10 9 0 0 17 0 2 0 869252396 352722944 13355 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23148/statm: 86114 13355 396 364 0 20992 0
[pid=23150] ppid=23148 vsize=8549692 CPUtime=49.46 cores=0,2,4,6
/proc/23150/stat : 23150 (java) T 23148 23150 23150 0 -1 4202496 56891 0 1 0 4938 8 0 0 18 0 19 0 869252396 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/23150/statm: 2137423 52802 2234 9 0 2128164 0
[pid=23150/tid=23151] ppid=23148 vsize=8549692 CPUtime=48.19 cores=0,2,4,6
/proc/23150/task/23151/stat : 23151 (java) T 23148 23150 23150 0 -1 4202560 35773 0 1 0 4814 5 0 0 25 0 19 0 869252397 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 46912506085775 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 4
[pid=23150/tid=23152] ppid=23148 vsize=8549692 CPUtime=0.04 cores=0,2,4,6
/proc/23150/task/23152/stat : 23152 (java) T 23148 23150 23150 0 -1 4202560 4712 0 0 0 4 0 0 0 15 0 19 0 869252398 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23153] ppid=23148 vsize=8549692 CPUtime=0.02 cores=0,2,4,6
/proc/23150/task/23153/stat : 23153 (java) T 23148 23150 23150 0 -1 4202560 2209 0 0 0 2 0 0 0 15 0 19 0 869252398 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23154] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23154/stat : 23154 (java) T 23148 23150 23150 0 -1 4202560 798 0 0 0 0 0 0 0 15 0 19 0 869252398 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23155] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23155/stat : 23155 (java) T 23148 23150 23150 0 -1 4202560 658 0 0 0 0 0 0 0 15 0 19 0 869252398 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23150/tid=23156] ppid=23148 vsize=8549692 CPUtime=0.01 cores=0,2,4,6
/proc/23150/task/23156/stat : 23156 (java) T 23148 23150 23150 0 -1 4202560 2121 0 0 0 1 0 0 0 15 0 19 0 869252398 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23150/tid=23157] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23157/stat : 23157 (java) T 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869252398 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23150/tid=23158] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23158/stat : 23158 (java) T 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869252398 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23150/tid=23159] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23159/stat : 23159 (java) T 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869252398 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23150/tid=23160] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23160/stat : 23160 (java) T 23148 23150 23150 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 869252399 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562354176 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23150/tid=23161] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23161/stat : 23161 (java) T 23148 23150 23150 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869252399 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23162] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23162/stat : 23162 (java) T 23148 23150 23150 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869252399 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23163] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23163/stat : 23163 (java) T 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869252401 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562361265 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23164] ppid=23148 vsize=8549692 CPUtime=0.46 cores=0,2,4,6
/proc/23150/task/23164/stat : 23164 (java) T 23148 23150 23150 0 -1 4202560 2503 0 0 0 46 0 0 0 15 0 19 0 869252401 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23150/tid=23165] ppid=23148 vsize=8549692 CPUtime=0.67 cores=0,2,4,6
/proc/23150/task/23165/stat : 23165 (java) T 23148 23150 23150 0 -1 4202560 6640 0 0 0 67 0 0 0 15 0 19 0 869252401 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23166] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23166/stat : 23166 (java) T 23148 23150 23150 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869252401 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23150/tid=23167] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23167/stat : 23167 (java) T 23148 23150 23150 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869252401 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562354176 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23150/tid=23168] ppid=23148 vsize=8549692 CPUtime=0 cores=0,2,4,6
/proc/23150/task/23168/stat : 23168 (java) T 23148 23150 23150 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869252515 8754884608 52802 33554432000 1073741824 1073778376 140733896818816 18446744073709551615 271562354176 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23148/tid=23170] ppid=23088 vsize=344456 CPUtime=0 cores=0,2,4,6
/proc/23148/task/23170/stat : 23170 (python) S 23088 23088 23050 0 -1 4202560 56 0 0 0 0 0 0 0 17 0 2 0 869257229 352722944 13355 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554946 18446604450991859904 0 0 -1 6 0 0 0
[pid=23171] ppid=23088 vsize=354712 CPUtime=6.1 cores=0,2,4,6
/proc/23171/stat : 23171 (python) S 23088 23088 23050 0 -1 4202560 1236 0 0 0 301 309 0 0 15 0 2 0 869257232 363225088 13359 33554432000 4194304 5683644 140735588682064 18446744073709551615 271550557766 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/23171/statm: 88678 13359 396 364 0 23553 0
[pid=23173] ppid=23171 vsize=52048 CPUtime=1552.78 cores=0,2,4,6
/proc/23173/stat : 23173 (bsolo_pb10) R 23171 23173 23173 0 -1 4202496 71215989 0 0 0 146020 9258 0 0 25 0 1 0 869257232 53297152 10110 33554432000 134512640 137138936 4288769952 18446744073709551615 135445280 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/23173/statm: 13012 10110 283 642 0 12368 0
[pid=23171/tid=23317] ppid=23088 vsize=354712 CPUtime=0 cores=0,2,4,6
/proc/23171/task/23317/stat : 23317 (python) S 23088 23088 23050 0 -1 4202560 55 0 0 0 0 0 0 0 16 0 2 0 869270929 363225088 13359 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554946 18446604442617088896 0 0 -1 6 0 0 0
[pid=23088/tid=23121] ppid=23082 vsize=364956 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23121/stat : 23121 (python) S 23082 23088 23050 0 -1 4202560 27 920 0 9 0 0 0 0 20 0 6 0 869238047 373714944 14847 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554434 18446604446667139136 0 0 -1 6 0 0 0
[pid=23088/tid=23131] ppid=23082 vsize=364956 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23131/stat : 23131 (python) S 23082 23088 23050 0 -1 4202560 31 920 0 9 0 0 0 0 20 0 6 0 869242852 373714944 14847 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554434 18446604446667139136 0 0 -1 0 0 0 0
[pid=23088/tid=23140] ppid=23082 vsize=364956 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23140/stat : 23140 (python) S 23082 23088 23050 0 -1 4202560 37 920 0 9 0 0 0 0 18 0 6 0 869247505 373714944 14847 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554434 18446604446667139136 0 0 -1 2 0 0 0
[pid=23088/tid=23149] ppid=23082 vsize=364956 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23149/stat : 23149 (python) S 23082 23088 23050 0 -1 4202560 29 920 0 9 0 0 0 0 20 0 6 0 869252396 373714944 14847 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554434 18446604446667139136 0 0 -1 0 0 0 0
[pid=23088/tid=23172] ppid=23082 vsize=364956 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23172/stat : 23172 (python) S 23082 23088 23050 0 -1 4202560 32 920 0 9 0 0 0 0 18 0 6 0 869257232 373714944 14847 33554432000 4194304 5683644 140735588682064 18446744073709551615 271562361265 0 0 16781312 33554434 18446604446667139136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 11447064
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 23088 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=500619
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=260960
# CPU time returned by wait4() is 2.76158
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1810.06
CPU time (s): 1800.07
CPU user time (s): 1702.71
CPU system time (s): 97.36
CPU usage (%): 99.448
Max. virtual memory (cumulated for all children) (KiB): 11447380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.50062
system time used= 0.26096
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26656
page faults= 122
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18923
involuntary context switches= 25
runsolver used 14.8637 second user time and 30.0504 second system time
The end