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-3481908-1307577324/watcher-3481908-1307577324 -o /tmp/evaluation-result-3481908-1307577324/solver-3481908-1307577324 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481908-1307577324.opb -seed 1537757541 -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.09 1.93 1.24 4/509 17352
/proc/meminfo: memFree=24413288/32951124 swapFree=67056304/67111528
[pid=17352] ppid=17350 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/17352/stat : 17352 (python) R 17350 17352 16077 0 -1 4202496 996 0 0 0 0 0 0 0 25 0 1 0 947963005 16629760 869 33554432000 4194304 5683644 140733384073712 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17352/statm: 4060 869 368 364 0 547 0
[startup+0.096222 s]
/proc/loadavg: 2.09 1.93 1.24 4/509 17352
/proc/meminfo: memFree=24413288/32951124 swapFree=67056304/67111528
[pid=17352] ppid=17350 vsize=96128 CPUtime=0.06 cores=0,2,4,6
/proc/17352/stat : 17352 (python) R 17350 17352 16077 0 -1 4202496 3169 931 1 0 5 1 0 0 18 0 1 0 947963005 98435072 2484 33554432000 4194304 5683644 140733384073712 18446744073709551615 5170212 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17352/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.101203 s]
/proc/loadavg: 2.09 1.93 1.24 4/509 17352
/proc/meminfo: memFree=24413288/32951124 swapFree=67056304/67111528
[pid=17352] ppid=17350 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/17352/stat : 17352 (python) R 17350 17352 16077 0 -1 4202496 3169 931 1 0 6 1 0 0 18 0 1 0 947963005 98435072 2484 33554432000 4194304 5683644 140733384073712 18446744073709551615 5168691 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17352/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.301169 s]
/proc/loadavg: 2.09 1.93 1.24 4/509 17352
/proc/meminfo: memFree=24413288/32951124 swapFree=67056304/67111528
[pid=17352] ppid=17350 vsize=202992 CPUtime=0.22 cores=0,2,4,6
/proc/17352/stat : 17352 (python) S 17350 17352 16077 0 -1 4202496 6671 931 1 0 16 6 0 0 17 0 1 0 947963005 207863808 4957 33554432000 4194304 5683644 140733384073712 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/17352/statm: 50748 4957 1472 364 0 3710 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 202992
[startup+0.701131 s]
/proc/loadavg: 2.09 1.93 1.24 4/509 17352
/proc/meminfo: memFree=24413288/32951124 swapFree=67056304/67111528
[pid=17352] ppid=17350 vsize=293084 CPUtime=0.41 cores=0,2,4,6
/proc/17352/stat : 17352 (python) S 17350 17352 16077 0 -1 4202496 9691 931 1 0 31 10 0 0 19 0 2 0 947963005 300118016 7141 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17352/statm: 73271 7141 1870 364 0 8158 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 293084
[startup+1.50093 s]
/proc/loadavg: 2.09 1.93 1.24 3/513 17360
/proc/meminfo: memFree=24372772/32951124 swapFree=67056304/67111528
[pid=17352] ppid=17350 vsize=293084 CPUtime=0.41 cores=0,2,4,6
/proc/17352/stat : 17352 (python) S 17350 17352 16077 0 -1 4202496 9691 931 1 0 31 10 0 0 19 0 2 0 947963005 300118016 7141 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17352/statm: 73271 7141 1870 364 0 8158 0
[pid=17358] ppid=17352 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/17358/stat : 17358 (python) S 17352 17352 16077 0 -1 4202560 819 0 0 0 0 0 0 0 15 0 1 0 947963056 289628160 5625 33554432000 4194304 5683644 140733384073712 18446744073709551615 260020416015 0 0 16781312 33554946 1175530470151028736 0 0 17 6 0 0 0
/proc/17358/statm: 70710 5625 358 364 0 5597 0
[pid=17360] ppid=17358 vsize=31392 CPUtime=0.98 cores=0,2,4,6
/proc/17360/stat : 17360 (scip-2.0.1.linu) R 17358 17360 17360 0 -1 4202496 7368 0 0 0 90 8 0 0 18 0 1 0 947963057 32145408 5212 33554432000 4194304 13684479 140736547530528 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17360/statm: 7848 5212 808 2317 0 5526 0
[pid=17352/tid=17359] ppid=17350 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/17352/task/17359/stat : 17359 (python) S 17350 17352 16077 0 -1 4202560 23 931 0 0 0 0 0 0 19 0 2 0 947963056 300118016 7141 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446517122368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 607316
[startup+3.10065 s]
/proc/loadavg: 2.09 1.93 1.24 3/513 17360
/proc/meminfo: memFree=24367772/32951124 swapFree=67056304/67111528
[pid=17352] ppid=17350 vsize=293084 CPUtime=0.41 cores=0,2,4,6
/proc/17352/stat : 17352 (python) S 17350 17352 16077 0 -1 4202496 9691 931 1 0 31 10 0 0 19 0 2 0 947963005 300118016 7141 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17352/statm: 73271 7141 1870 364 0 8158 0
[pid=17358] ppid=17352 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/17358/stat : 17358 (python) S 17352 17352 16077 0 -1 4202560 828 0 0 0 1 0 0 0 15 0 1 0 947963056 289628160 5625 33554432000 4194304 5683644 140733384073712 18446744073709551615 260020416015 0 0 16781312 33554946 3777019215337226240 0 0 17 6 0 0 0
/proc/17358/statm: 70710 5625 358 364 0 5597 0
[pid=17360] ppid=17358 vsize=29648 CPUtime=2.58 cores=0,2,4,6
/proc/17360/stat : 17360 (scip-2.0.1.linu) R 17358 17360 17360 0 -1 4202496 7932 0 0 0 242 16 0 0 18 0 1 0 947963057 30359552 5169 33554432000 4194304 13684479 140736547530528 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17360/statm: 7412 5169 809 2317 0 5090 0
[pid=17352/tid=17359] ppid=17350 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/17352/task/17359/stat : 17359 (python) S 17350 17352 16077 0 -1 4202560 23 931 0 0 0 0 0 0 19 0 2 0 947963056 300118016 7141 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446517122368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 605572
[startup+6.30109 s]
/proc/loadavg: 2.17 1.95 1.25 3/513 17360
/proc/meminfo: memFree=24369672/32951124 swapFree=67056304/67111528
[pid=17352] ppid=17350 vsize=293084 CPUtime=0.41 cores=0,2,4,6
/proc/17352/stat : 17352 (python) S 17350 17352 16077 0 -1 4202496 9691 931 1 0 31 10 0 0 19 0 2 0 947963005 300118016 7141 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17352/statm: 73271 7141 1870 364 0 8158 0
[pid=17358] ppid=17352 vsize=282840 CPUtime=0.02 cores=0,2,4,6
/proc/17358/stat : 17358 (python) S 17352 17352 16077 0 -1 4202560 961 0 0 0 2 0 0 0 15 0 1 0 947963056 289628160 5650 33554432000 4194304 5683644 140733384073712 18446744073709551615 260020416015 0 0 16781312 33554946 244059931752267776 0 0 17 6 0 0 0
/proc/17358/statm: 70710 5650 382 364 0 5597 0
[pid=17360] ppid=17358 vsize=30676 CPUtime=5.78 cores=0,2,4,6
/proc/17360/stat : 17360 (scip-2.0.1.linu) R 17358 17360 17360 0 -1 4202496 8239 0 0 0 541 37 0 0 18 0 1 0 947963057 31412224 5476 33554432000 4194304 13684479 140736547530528 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17360/statm: 7669 5476 809 2317 0 5347 0
[pid=17352/tid=17359] ppid=17350 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/17352/task/17359/stat : 17359 (python) S 17350 17352 16077 0 -1 4202560 23 931 0 0 0 0 0 0 19 0 2 0 947963056 300118016 7141 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446517122368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 606600
[startup+12.7009 s]
/proc/loadavg: 2.15 1.95 1.25 3/513 17361
/proc/meminfo: memFree=24361872/32951124 swapFree=67056304/67111528
[pid=17352] ppid=17350 vsize=293084 CPUtime=0.41 cores=0,2,4,6
/proc/17352/stat : 17352 (python) S 17350 17352 16077 0 -1 4202496 9691 931 1 0 31 10 0 0 19 0 2 0 947963005 300118016 7141 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17352/statm: 73271 7141 1870 364 0 8158 0
[pid=17358] ppid=17352 vsize=282972 CPUtime=0.07 cores=0,2,4,6
/proc/17358/stat : 17358 (python) S 17352 17352 16077 0 -1 4202560 983 0 0 0 5 2 0 0 15 0 1 0 947963056 289763328 5667 33554432000 4194304 5683644 140733384073712 18446744073709551615 260020416015 0 0 16781312 33554946 1974196681272459264 0 0 17 6 0 0 0
/proc/17358/statm: 70743 5667 384 364 0 5630 0
[pid=17360] ppid=17358 vsize=38412 CPUtime=12.18 cores=0,2,4,6
/proc/17360/stat : 17360 (scip-2.0.1.linu) R 17358 17360 17360 0 -1 4202496 18184 0 0 0 1140 78 0 0 18 0 1 0 947963057 39333888 7443 33554432000 4194304 13684479 140736547530528 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17360/statm: 9603 7443 809 2317 0 7281 0
[pid=17352/tid=17359] ppid=17350 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/17352/task/17359/stat : 17359 (python) S 17350 17352 16077 0 -1 4202560 23 931 0 0 0 0 0 0 19 0 2 0 947963056 300118016 7141 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446517122368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 614468
[startup+25.5006 s]
/proc/loadavg: 2.12 1.95 1.26 3/513 17361
/proc/meminfo: memFree=24353284/32951124 swapFree=67056304/67111528
[pid=17352] ppid=17350 vsize=293084 CPUtime=0.41 cores=0,2,4,6
/proc/17352/stat : 17352 (python) S 17350 17352 16077 0 -1 4202496 9691 931 1 0 31 10 0 0 19 0 2 0 947963005 300118016 7141 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17352/statm: 73271 7141 1870 364 0 8158 0
[pid=17358] ppid=17352 vsize=283136 CPUtime=0.13 cores=0,2,4,6
/proc/17358/stat : 17358 (python) S 17352 17352 16077 0 -1 4202560 1020 0 0 0 9 4 0 0 15 0 1 0 947963056 289931264 5701 33554432000 4194304 5683644 140733384073712 18446744073709551615 260020416015 0 0 16781312 33554946 1135208694405922816 0 0 17 6 0 0 0
/proc/17358/statm: 70784 5701 384 364 0 5671 0
[pid=17360] ppid=17358 vsize=46124 CPUtime=24.98 cores=0,2,4,6
/proc/17360/stat : 17360 (scip-2.0.1.linu) R 17358 17360 17360 0 -1 4202496 39155 0 0 0 2341 157 0 0 18 0 1 0 947963057 47230976 9430 33554432000 4194304 13684479 140736547530528 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17360/statm: 11531 9430 809 2317 0 9209 0
[pid=17352/tid=17359] ppid=17350 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/17352/task/17359/stat : 17359 (python) S 17350 17352 16077 0 -1 4202560 23 931 0 0 0 0 0 0 19 0 2 0 947963056 300118016 7141 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446517122368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 622344
[startup+51.1009 s]
/proc/loadavg: 2.01 1.94 1.28 3/505 17420
/proc/meminfo: memFree=24355144/32951124 swapFree=67056304/67111528
[pid=17352] ppid=17350 vsize=293084 CPUtime=0.41 cores=0,2,4,6
/proc/17352/stat : 17352 (python) S 17350 17352 16077 0 -1 4202496 9691 931 1 0 31 10 0 0 19 0 2 0 947963005 300118016 7141 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17352/statm: 73271 7141 1870 364 0 8158 0
[pid=17358] ppid=17352 vsize=283488 CPUtime=0.29 cores=0,2,4,6
/proc/17358/stat : 17358 (python) S 17352 17352 16077 0 -1 4202560 1075 0 0 0 21 8 0 0 15 0 1 0 947963056 290291712 5744 33554432000 4194304 5683644 140733384073712 18446744073709551615 260020416015 0 0 16781312 33554946 3765082539148967936 0 0 17 2 0 0 0
/proc/17358/statm: 70872 5744 384 364 0 5759 0
[pid=17360] ppid=17358 vsize=56008 CPUtime=50.58 cores=0,2,4,6
/proc/17360/stat : 17360 (scip-2.0.1.linu) R 17358 17360 17360 0 -1 4202496 52898 0 0 0 4720 338 0 0 18 0 1 0 947963057 57352192 11961 33554432000 4194304 13684479 140736547530528 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17360/statm: 14002 11961 809 2317 0 11680 0
[pid=17352/tid=17359] ppid=17350 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/17352/task/17359/stat : 17359 (python) S 17350 17352 16077 0 -1 4202560 23 931 0 0 0 0 0 0 19 0 2 0 947963056 300118016 7141 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446517122368 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.28
Current children cumulated vsize (KiB) 632580
[startup+102.313 s]
/proc/loadavg: 2.00 1.95 1.31 3/517 17433
/proc/meminfo: memFree=24192196/32951124 swapFree=67056304/67111528
[pid=17352] ppid=17350 vsize=313868 CPUtime=0.47 cores=0,2,4,6
/proc/17352/stat : 17352 (python) S 17350 17352 16077 0 -1 4202496 11391 931 1 0 36 11 0 0 20 0 4 0 947963005 321400832 7207 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/17352/statm: 78467 7207 1875 364 0 13348 0
[pid=17358] ppid=17352 vsize=293732 CPUtime=0.31 cores=0,2,4,6
/proc/17358/stat : 17358 (python) S 17352 17352 16077 0 -1 4202560 1240 0 0 0 22 9 0 0 16 0 2 0 947963056 300781568 5780 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17358/statm: 73433 5780 414 364 0 8320 0
[pid=17360] ppid=17358 vsize=56008 CPUtime=51.38 cores=0,2,4,6
/proc/17360/stat : 17360 (scip-2.0.1.linu) T 17358 17360 17360 0 -1 4202496 52898 0 0 0 4794 344 0 0 18 0 1 0 947963057 57352192 11961 33554432000 4194304 13684479 140736547530528 18446744073709551615 6705286 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/17360/statm: 14002 11961 809 2317 0 11680 0
[pid=17358/tid=17421] ppid=17352 vsize=293732 CPUtime=0 cores=0,2,4,6
/proc/17358/task/17421/stat : 17421 (python) S 17352 17352 16077 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 947968196 300781568 5780 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554946 18446604447447907008 0 0 -1 6 0 0 0
[pid=17422] ppid=17352 vsize=293640 CPUtime=0.15 cores=0,2,4,6
/proc/17422/stat : 17422 (python) S 17352 17352 16077 0 -1 4202560 1094 0 0 0 7 8 0 0 16 0 2 0 947968198 300687360 5790 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/17422/statm: 73410 5790 397 364 0 8294 0
[pid=17424] ppid=17422 vsize=118668 CPUtime=46.66 cores=0,2,4,6
/proc/17424/stat : 17424 (wbo1.4a) T 17422 17424 17424 0 -1 4202496 29472 0 0 0 4634 32 0 0 25 0 1 0 947968198 121516032 29210 33554432000 134512640 135751879 4287413856 18446744073709551615 134517428 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/17424/statm: 29667 29210 143 303 0 29362 0
[pid=17422/tid=17430] ppid=17352 vsize=293640 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17430/stat : 17430 (python) S 17352 17352 16077 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 947972868 300687360 5790 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554946 18446604446957024192 0 0 -1 0 0 0 0
[pid=17431] ppid=17352 vsize=303624 CPUtime=0.01 cores=0,2,4,6
/proc/17431/stat : 17431 (python) S 17352 17352 16077 0 -1 4202560 918 0 0 0 1 0 0 0 15 0 1 0 947972871 310910976 5701 33554432000 4194304 5683644 140733384073712 18446744073709551615 260020416070 0 0 16781312 33554946 516881897981182212 0 0 17 4 0 0 0
/proc/17431/statm: 75906 5701 373 364 0 10787 0
[pid=17433] ppid=17431 vsize=1860 CPUtime=3.64 cores=0,2,4,6
/proc/17433/stat : 17433 (clasp-1.3.7-x86) R 17431 17433 17433 0 -1 4202496 483 0 0 0 364 0 0 0 25 0 1 0 947972871 1904640 221 33554432000 134512640 136139019 4287941184 18446744073709551615 134640589 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/17433/statm: 465 221 184 398 0 65 0
[pid=17352/tid=17359] ppid=17350 vsize=313868 CPUtime=0 cores=0,2,4,6
/proc/17352/task/17359/stat : 17359 (python) S 17350 17352 16077 0 -1 4202560 23 931 0 0 0 0 0 0 19 0 4 0 947963056 321400832 7207 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446517122368 0 0 -1 6 0 0 0
[pid=17352/tid=17423] ppid=17350 vsize=313868 CPUtime=0 cores=0,2,4,6
/proc/17352/task/17423/stat : 17423 (python) S 17350 17352 16077 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 4 0 947968198 321400832 7207 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446517122368 0 0 -1 0 0 0 0
[pid=17352/tid=17432] ppid=17350 vsize=313868 CPUtime=0 cores=0,2,4,6
/proc/17352/task/17432/stat : 17432 (python) S 17350 17352 16077 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 4 0 947972871 321400832 7207 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446517122368 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=17352/tid=17423] ppid=17350 vsize=324568 CPUtime=0 cores=0,2,4,6
/proc/17352/task/17423/stat : 17423 (python) S 17350 17352 16077 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 5 0 947968198 332357632 7308 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446517122368 0 0 -1 0 0 0 0
[pid=17352/tid=17432] ppid=17350 vsize=324568 CPUtime=0 cores=0,2,4,6
/proc/17352/task/17432/stat : 17432 (python) S 17350 17352 16077 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 5 0 947972871 332357632 7308 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446517122368 0 0 -1 6 0 0 0
[pid=17352/tid=17442] ppid=17350 vsize=324568 CPUtime=0 cores=0,2,4,6
/proc/17352/task/17442/stat : 17442 (python) S 17350 17352 16077 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 5 0 947982141 332357632 7308 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446517122368 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 283.9
Current children cumulated vsize (KiB) 10243520
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+333.201 s]
/proc/loadavg: 2.26 2.03 1.48 6/591 17513
/proc/meminfo: memFree=23649820/32951124 swapFree=67056304/67111528
[pid=17352] ppid=17350 vsize=345080 CPUtime=0.54 cores=0,2,4,6
/proc/17352/stat : 17352 (python) S 17350 17352 16077 0 -1 4202496 13922 931 1 0 43 11 0 0 20 0 7 0 947963005 353361920 7340 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17352/statm: 86270 7340 1881 364 0 21142 0
[pid=17358] ppid=17352 vsize=293732 CPUtime=0.31 cores=0,2,4,6
/proc/17358/stat : 17358 (python) S 17352 17352 16077 0 -1 4202560 1240 0 0 0 22 9 0 0 16 0 2 0 947963056 300781568 5780 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17358/statm: 73433 5780 414 364 0 8320 0
[pid=17360] ppid=17358 vsize=56008 CPUtime=51.38 cores=0,2,4,6
/proc/17360/stat : 17360 (scip-2.0.1.linu) T 17358 17360 17360 0 -1 4202496 52898 0 0 0 4794 344 0 0 18 0 1 0 947963057 57352192 11961 33554432000 4194304 13684479 140736547530528 18446744073709551615 6705286 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/17360/statm: 14002 11961 809 2317 0 11680 0
[pid=17358/tid=17421] ppid=17352 vsize=293732 CPUtime=0 cores=0,2,4,6
/proc/17358/task/17421/stat : 17421 (python) S 17352 17352 16077 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 947968196 300781568 5780 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554946 18446604447447907008 0 0 -1 6 0 0 0
[pid=17422] ppid=17352 vsize=293640 CPUtime=0.15 cores=0,2,4,6
/proc/17422/stat : 17422 (python) S 17352 17352 16077 0 -1 4202560 1094 0 0 0 7 8 0 0 16 0 2 0 947968198 300687360 5790 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/17422/statm: 73410 5790 397 364 0 8294 0
[pid=17424] ppid=17422 vsize=118668 CPUtime=46.66 cores=0,2,4,6
/proc/17424/stat : 17424 (wbo1.4a) T 17422 17424 17424 0 -1 4202496 29472 0 0 0 4634 32 0 0 25 0 1 0 947968198 121516032 29210 33554432000 134512640 135751879 4287413856 18446744073709551615 134517428 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/17424/statm: 29667 29210 143 303 0 29362 0
[pid=17422/tid=17430] ppid=17352 vsize=293640 CPUtime=0 cores=0,2,4,6
/proc/17422/task/17430/stat : 17430 (python) S 17352 17352 16077 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 947972868 300687360 5790 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554946 18446604446957024192 0 0 -1 0 0 0 0
[pid=17431] ppid=17352 vsize=303624 CPUtime=0.26 cores=0,2,4,6
/proc/17431/stat : 17431 (python) S 17352 17352 16077 0 -1 4202560 1112 0 0 0 13 13 0 0 16 0 2 0 947972871 310910976 5726 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17431/statm: 75906 5726 397 364 0 10787 0
[pid=17433] ppid=17431 vsize=1860 CPUtime=92.64 cores=0,2,4,6
/proc/17433/stat : 17433 (clasp-1.3.7-x86) T 17431 17433 17433 0 -1 4202496 485 0 0 0 9264 0 0 0 25 0 1 0 947972871 1904640 223 33554432000 134512640 136139019 4287941184 18446744073709551615 134632455 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/17433/statm: 465 223 184 398 0 65 0
[pid=17431/tid=17440] ppid=17352 vsize=303624 CPUtime=0 cores=0,2,4,6
/proc/17431/task/17440/stat : 17440 (python) S 17352 17352 16077 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 947982138 310910976 5726 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554946 18446604453915010368 0 0 -1 6 0 0 0
[pid=17441] ppid=17352 vsize=314324 CPUtime=0.33 cores=0,2,4,6
/proc/17441/stat : 17441 (python) S 17352 17352 16077 0 -1 4202560 1157 0 0 0 17 16 0 0 17 0 2 0 947982141 321867776 5825 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/17441/statm: 78581 5825 397 364 0 13459 0
[pid=17443] ppid=17441 vsize=8537096 CPUtime=93.86 cores=0,2,4,6
/proc/17443/stat : 17443 (java) T 17441 17443 17443 0 -1 4202496 38696 0 1 0 9378 8 0 0 18 0 19 0 947982141 8741986304 34723 33554432000 1073741824 1073778376 140735056243520 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17443/statm: 2134274 34723 2241 9 0 2125015 0
[pid=17443/tid=17444] ppid=17441 vsize=8537096 CPUtime=91.76 cores=0,2,4,6
/proc/17443/task/17444/stat : 17444 (java) T 17441 17443 17443 0 -1 4202560 27012 0 1 0 9173 3 0 0 25 0 19 0 947982142 8741986304 34723 33554432000 1073741824 1073778376 140735056243520 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17443/tid=17445] ppid=17441 vsize=8537096 CPUtime=0.06 cores=0,2,4,6
/proc/17443/task/17445/stat : 17445 (java) T 17441 17443 17443 0 -1 4202560 195 0 0 0 6 0 0 0 15 0 19 0 947982143 8741986304 34723 33554432000 1073741824 1073778376 140735056243520 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17443/tid=17446] ppid=17441 vsize=8537096 CPUtime=0.04 cores=0,2,4,6
/proc/17443/task/17446/stat : 17446 (java) T 17441 17443 17443 0 -1 4202560 111 0 0 0 4 0 0 0 15 0 19 0 947982143 8741986304 34723 33554432000 1073741824 1073778376 140735056243520 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17443/tid=17447] ppid=17441 vsize=8537096 CPUtime=0.07 cores=0,2,4,6
/proc/17443/task/17447/stat : 17447 (java) T 17441 17443 17443 0 -1 4202560 66 0 0 0 7 0 0 0 15 0 19 0 947982143 8741986304 34723 33554432000 1073741824 1073778376 140735056243520 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17443/tid=17448] ppid=17441 vsize=8537096 CPUtime=0.06 cores=0,2,4,6
/proc/17443/task/17448/stat : 17448 (java) T 17441 17443 17443 0 -1 4202560 192 0 0 0 6 0 0 0 15 0 19 0 947982143 8741986304 34723 33554432000 1073741824 1073778376 140735056243520 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17443/tid=17449] ppid=17441 vsize=8537096 CPUtime=0.04 cores=0,2,4,6
/proc/17443/task/17449/stat : 17449 (java) T 17441 17443 17443 0 -1 4202560 97 0 0 0 4 0 0 0 15 0 19 0 947982143 8741986304 34723 33554432000 1073741824 1073778376 140735056243520 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17443/tid=17450] ppid=17441 vsize=8537096 CPUtime=0.05 cores=0,2,4,6
/proc/17443/task/17450/stat : 17450 (java) T 17441 17443 17443 0 -1 4202560 119 0 0 0 5 0 0 0 15 0 19 0 947982143 8741986304 34723 33554432000 1073741824 1073778376 140735056243520 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17443/tid=17451] ppid=17441 vsize=8537096 CPUtime=0.05 cores=0,2,4,6
/proc/17443/task/17451/stat : 17451 (java) T 17441 17443 17443 0 -1 4202560 102 0 0 0 5 0 0 0 15 0 19 0 947982143 8741986304 34723 33554432000 1073741824 1073778376 140735056243520 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17443/tid=17452] ppid=17441 vsize=8537096 CPUtime=0.05 cores=0,2,4,6
/proc/17443/task/17452/stat : 17452 (java) T 17441 17443 17443 0 -1 4202560 75 0 0 0 5 0 0 0 15 0 19 0 947982143 8741986304 34723 33554432000 1073741824 1073778376 140735056243520 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17443/tid=17453] ppid=17441 vsize=8537096 CPUtime=1.01 cores=0,2,4,6
/proc/17443/task/17453/stat : 17453 (java) T 17441 17443 17443 0 -1 4202560 1215 0 0 0 100 1 0 0 15 0 19 0 947982144 8741986304 34723 33554432000 1073741824 1073778376 140735056243520 18446744073709551615 47855030793687 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17443/tid=17454] ppid=17441 vsize=8537096 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17454/stat : 17454 (java) T 17441 17443 17443 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947982144 8741986304 34723 33554432000 1073741824 1073778376 140735056243520 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17443/tid=17455] ppid=17441 vsize=8537096 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17455/stat : 17455 (java) T 17441 17443 17443 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947982144 8741986304 34723 33554432000 1073741824 1073778376 140735056243520 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17443/tid=17456] ppid=17441 vsize=8537096 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17456/stat : 17456 (java) T 17441 17443 17443 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947982146 8741986304 34723 33554432000 1073741824 1073778376 140735056243520 18446744073709551615 260032219569 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17443/tid=17457] ppid=17441 vsize=8537096 CPUtime=0.31 cores=0,2,4,6
/proc/17443/task/17457/stat : 17457 (java) T 17441 17443 17443 0 -1 4202560 6263 0 0 0 30 1 0 0 15 0 19 0 947982146 8741986304 34723 33554432000 1073741824 1073778376 140735056243520 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17443/tid=17458] ppid=17441 vsize=8537096 CPUtime=0.27 cores=0,2,4,6
/proc/17443/task/17458/stat : 17458 (java) T 17441 17443 17443 0 -1 4202560 1857 0 0 0 27 0 0 0 15 0 19 0 947982146 8741986304 34723 33554432000 1073741824 1073778376 140735056243520 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17443/tid=17459] ppid=17441 vsize=8537096 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17459/stat : 17459 (java) T 17441 17443 17443 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947982146 8741986304 34723 33554432000 1073741824 1073778376 140735056243520 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17443/tid=17460] ppid=17441 vsize=8537096 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17460/stat : 17460 (java) T 17441 17443 17443 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947982146 8741986304 34723 33554432000 1073741824 1073778376 140735056243520 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17443/tid=17461] ppid=17441 vsize=8537096 CPUtime=0 cores=0,2,4,6
/proc/17443/task/17461/stat : 17461 (java) T 17441 17443 17443 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947982157 8741986304 34723 33554432000 1073741824 1073778376 140735056243520 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17441/tid=17487] ppid=17352 vsize=314324 CPUtime=0 cores=0,2,4,6
/proc/17441/task/17487/stat : 17487 (python) S 17352 17352 16077 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 947991451 321867776 5825 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554946 18446604447309894656 0 0 -1 6 0 0 0
[pid=17488] ppid=17352 vsize=324580 CPUtime=0.33 cores=0,2,4,6
/proc/17488/stat : 17488 (python) S 17352 17352 16077 0 -1 4202560 1221 0 0 0 22 11 0 0 17 0 2 0 947991454 332369920 5850 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/17488/statm: 81145 5850 398 364 0 16020 0
[pid=17490] ppid=17488 vsize=49480 CPUtime=48.06 cores=0,2,4,6
/proc/17490/stat : 17490 (scip-2.0.1.linu) T 17488 17490 17490 0 -1 4202496 58264 0 0 0 4578 228 0 0 18 0 1 0 947991454 50667520 9660 33554432000 4194304 15243407 140734520342416 18446744073709551615 13354455 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/17490/statm: 12370 9660 935 2698 0 9665 0
[pid=17488/tid=17492] ppid=17352 vsize=324580 CPUtime=0 cores=0,2,4,6
/proc/17488/task/17492/stat : 17492 (python) S 17352 17352 16077 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 947996262 332369920 5850 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554946 18446604445037777152 0 0 -1 0 0 0 0
[pid=17493] ppid=17352 vsize=334836 CPUtime=0 cores=0,2,4,6
/proc/17493/stat : 17493 (python) S 17352 17352 16077 0 -1 4202560 801 0 0 0 0 0 0 0 18 0 1 0 947996264 342872064 5804 33554432000 4194304 5683644 140733384073712 18446744073709551615 260020416070 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/17493/statm: 83709 5804 349 364 0 18581 0
[pid=17495] ppid=17493 vsize=8544380 CPUtime=1.49 cores=0,2,4,6
/proc/17495/stat : 17495 (java) S 17493 17495 17495 0 -1 4202496 29733 0 1 0 144 5 0 0 20 0 19 0 947996264 8749445120 25049 33554432000 1073741824 1073778376 140733875058928 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17495/statm: 2136095 25050 2215 9 0 2126836 0
[pid=17495/tid=17496] ppid=17493 vsize=8544380 CPUtime=0.62 cores=0,2,4,6
/proc/17495/task/17496/stat : 17496 (java) R 17493 17495 17495 0 -1 4202560 17666 0 1 0 59 3 0 0 19 0 19 0 947996265 8749445120 25195 33554432000 1073741824 1073778376 140733875058928 18446744073709551615 46912505855599 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17495/tid=17497] ppid=17493 vsize=8544380 CPUtime=0 cores=0,2,4,6
/proc/17495/task/17497/stat : 17497 (java) S 17493 17495 17495 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947996266 8749445120 25196 33554432000 1073741824 1073778376 140733875058928 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=17495/tid=17498] ppid=17493 vsize=8544380 CPUtime=0 cores=0,2,4,6
/proc/17495/task/17498/stat : 17498 (java) S 17493 17495 17495 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947996266 8749445120 25197 33554432000 1073741824 1073778376 140733875058928 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=17495/tid=17499] ppid=17493 vsize=8544380 CPUtime=0 cores=0,2,4,6
/proc/17495/task/17499/stat : 17499 (java) S 17493 17495 17495 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947996266 8749445120 25198 33554432000 1073741824 1073778376 140733875058928 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=17495/tid=17500] ppid=17493 vsize=8544380 CPUtime=0 cores=0,2,4,6
/proc/17495/task/17500/stat : 17500 (java) S 17493 17495 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947996266 8749445120 25202 33554432000 1073741824 1073778376 140733875058928 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 6 0 0 0
[pid=17495/tid=17501] ppid=17493 vsize=8544380 CPUtime=0 cores=0,2,4,6
/proc/17495/task/17501/stat : 17501 (java) S 17493 17495 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947996266 8749445120 25205 33554432000 1073741824 1073778376 140733875058928 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=17495/tid=17502] ppid=17493 vsize=8544380 CPUtime=0 cores=0,2,4,6
/proc/17495/task/17502/stat : 17502 (java) S 17493 17495 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947996266 8749445120 25207 33554432000 1073741824 1073778376 140733875058928 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 6 0 0 0
[pid=17495/tid=17503] ppid=17493 vsize=8544380 CPUtime=0 cores=0,2,4,6
/proc/17495/task/17503/stat : 17503 (java) S 17493 17495 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947996266 8749445120 25209 33554432000 1073741824 1073778376 140733875058928 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=17495/tid=17504] ppid=17493 vsize=8544380 CPUtime=0 cores=0,2,4,6
/proc/17495/task/17504/stat : 17504 (java) S 17493 17495 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947996266 8749445120 25210 33554432000 1073741824 1073778376 140733875058928 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 6 0 0 0
[pid=17495/tid=17505] ppid=17493 vsize=8544380 CPUtime=0 cores=0,2,4,6
/proc/17495/task/17505/stat : 17505 (java) S 17493 17495 17495 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947996267 8749445120 25211 33554432000 1073741824 1073778376 140733875058928 18446744073709551615 260032212480 0 0 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=17495/tid=17506] ppid=17493 vsize=8544380 CPUtime=0 cores=0,2,4,6
/proc/17495/task/17506/stat : 17506 (java) S 17493 17495 17495 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947996267 8749445120 25213 33554432000 1073741824 1073778376 140733875058928 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=17495/tid=17507] ppid=17493 vsize=8544380 CPUtime=0 cores=0,2,4,6
/proc/17495/task/17507/stat : 17507 (java) S 17493 17495 17495 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947996267 8749445120 25217 33554432000 1073741824 1073778376 140733875058928 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=17495/tid=17508] ppid=17493 vsize=8544380 CPUtime=0 cores=0,2,4,6
/proc/17495/task/17508/stat : 17508 (java) S 17493 17495 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947996270 8749445120 25220 33554432000 1073741824 1073778376 140733875058928 18446744073709551615 260032219569 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=17495/tid=17509] ppid=17493 vsize=8544380 CPUtime=0.46 cores=0,2,4,6
/proc/17495/task/17509/stat : 17509 (java) R 17493 17495 17495 0 -1 4202560 5643 0 0 0 46 0 0 0 17 0 19 0 947996270 8749445120 25223 33554432000 1073741824 1073778376 140733875058928 18446744073709551615 47048302463865 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17495/tid=17510] ppid=17493 vsize=8544380 CPUtime=0.39 cores=0,2,4,6
/proc/17495/task/17510/stat : 17510 (java) R 17493 17495 17495 0 -1 4202560 5173 0 0 0 39 0 0 0 25 0 19 0 947996270 8749445120 25226 33554432000 1073741824 1073778376 140733875058928 18446744073709551615 47048302451901 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17495/tid=17511] ppid=17493 vsize=8544380 CPUtime=0 cores=0,2,4,6
/proc/17495/task/17511/stat : 17511 (java) S 17493 17495 17495 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947996270 8749445120 25229 33554432000 1073741824 1073778376 140733875058928 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=17495/tid=17512] ppid=17493 vsize=8544380 CPUtime=0 cores=0,2,4,6
/proc/17495/task/17512/stat : 17512 (java) R 17493 17495 17495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947996270 8749445120 25231 33554432000 1073741824 1073778376 140733875058928 18446744073709551615 260032212480 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17495/tid=17513] ppid=17493 vsize=8544380 CPUtime=0 cores=0,2,4,6
/proc/17495/task/17513/stat : 17513 (java) S 17493 17495 17495 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947996279 8749445120 25234 33554432000 1073741824 1073778376 140733875058928 18446744073709551615 260032212480 0 4 0 16800975 18446604453921984768 0 0 -1 6 0 0 0
[pid=17352/tid=17359] ppid=17350 vsize=345080 CPUtime=0 cores=0,2,4,6
/proc/17352/task/17359/stat : 17359 (python) S 17350 17352 16077 0 -1 4202560 23 931 0 0 0 0 0 0 19 0 7 0 947963056 353361920 7340 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446517122368 0 0 -1 6 0 0 0
[pid=17352/tid=17423] ppid=17350 vsize=345080 CPUtime=0 cores=0,2,4,6
/proc/17352/task/17423/stat : 17423 (python) S 17350 17352 16077 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 7 0 947968198 353361920 7340 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446517122368 0 0 -1 0 0 0 0
[pid=17352/tid=17432] ppid=17350 vsize=345080 CPUtime=0 cores=0,2,4,6
/proc/17352/task/17432/stat : 17432 (python) S 17350 17352 16077 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 7 0 947972871 353361920 7340 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446517122368 0 0 -1 6 0 0 0
[pid=17352/tid=17442] ppid=17350 vsize=345080 CPUtime=0 cores=0,2,4,6
/proc/17352/task/17442/stat : 17442 (python) S 17350 17352 16077 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 7 0 947982141 353361920 7340 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446517122368 0 0 -1 2 0 0 0
[pid=17352/tid=17489] ppid=17350 vsize=345080 CPUtime=0 cores=0,2,4,6
/proc/17352/task/17489/stat : 17489 (python) S 17350 17352 16077 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 7 0 947991454 353361920 7340 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446517122368 0 0 -1 2 0 0 0
[pid=17352/tid=17494] ppid=17350 vsize=345080 CPUtime=0 cores=0,2,4,6
/proc/17352/task/17494/stat : 17494 (python) S 17350 17352 16077 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 7 0 947996264 353361920 7340 33554432000 4194304 5683644 140733384073712 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446517122368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 336.01
Current children cumulated vsize (KiB) 19517308
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 17352 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=436933
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=120981
# CPU time returned by wait4() is 0.557914
# while last known CPU time is 336.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 333.278
CPU time (s): 336.01
CPU user time (s): 329.16
CPU system time (s): 6.85
CPU usage (%): 100.82
Max. virtual memory (cumulated for all children) (KiB): 19517308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.436933
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14856
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= 1015
involuntary context switches= 23
runsolver used 1.74273 second user time and 3.43748 second system time
The end