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-3481211-1307578660/watcher-3481211-1307578660 -o /tmp/evaluation-result-3481211-1307578660/solver-3481211-1307578660 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481211-1307578660.opb -seed 1794861861 -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.34 2.18 1.91 2/713 14354
/proc/meminfo: memFree=13260652/32950904 swapFree=56615552/67111528
[pid=14354] ppid=14352 vsize=16236 CPUtime=0 cores=0,2,4,6
/proc/14354/stat : 14354 (python) R 14352 14354 11000 0 -1 4202496 997 0 0 0 0 0 0 0 25 0 1 0 869465799 16625664 869 33554432000 4194304 5683644 140734124498192 18446744073709551615 4868212 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/14354/statm: 4059 869 368 364 0 546 0
[startup+0.0199219 s]
/proc/loadavg: 2.34 2.18 1.91 2/713 14354
/proc/meminfo: memFree=13260652/32950904 swapFree=56615552/67111528
[pid=14354] ppid=14352 vsize=16392 CPUtime=0.01 cores=0,2,4,6
/proc/14354/stat : 14354 (python) S 14352 14354 11000 0 -1 4202496 1115 0 0 0 1 0 0 0 25 0 1 0 869465799 16785408 983 33554432000 4194304 5683644 140734124498192 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/14354/statm: 4098 983 408 364 0 585 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16392
[startup+0.104908 s]
/proc/loadavg: 2.34 2.18 1.91 2/713 14354
/proc/meminfo: memFree=13260652/32950904 swapFree=56615552/67111528
[pid=14354] ppid=14352 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/14354/stat : 14354 (python) R 14352 14354 11000 0 -1 4202496 3169 930 1 0 6 1 0 0 18 0 1 0 869465799 98430976 2483 33554432000 4194304 5683644 140734124498192 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/14354/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.301972 s]
/proc/loadavg: 2.34 2.18 1.91 2/713 14354
/proc/meminfo: memFree=13260652/32950904 swapFree=56615552/67111528
[pid=14354] ppid=14352 vsize=203276 CPUtime=0.23 cores=0,2,4,6
/proc/14354/stat : 14354 (python) S 14352 14354 11000 0 -1 4202496 6733 930 1 0 16 7 0 0 18 0 1 0 869465799 208154624 5009 33554432000 4194304 5683644 140734124498192 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/14354/statm: 50819 5009 1472 364 0 3781 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 203276
[startup+0.700878 s]
/proc/loadavg: 2.34 2.18 1.91 2/713 14354
/proc/meminfo: memFree=13260652/32950904 swapFree=56615552/67111528
[pid=14354] ppid=14352 vsize=288644 CPUtime=0.6 cores=0,2,4,6
/proc/14354/stat : 14354 (python) R 14352 14354 11000 0 -1 4202496 11477 930 1 0 50 10 0 0 18 0 1 0 869465799 295571456 8508 33554432000 4194304 5683644 140734124498192 18446744073709551615 4532122 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/14354/statm: 72161 8508 1815 364 0 7054 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 288644
[startup+1.50074 s]
/proc/loadavg: 2.34 2.18 1.91 3/717 14362
/proc/meminfo: memFree=13215856/32950904 swapFree=56615552/67111528
[pid=14354] ppid=14352 vsize=299056 CPUtime=0.85 cores=0,2,4,6
/proc/14354/stat : 14354 (python) S 14352 14354 11000 0 -1 4202496 11808 930 1 0 75 10 0 0 21 0 2 0 869465799 306233344 8612 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/14354/statm: 74764 8612 1862 364 0 9651 0
[pid=14360] ppid=14354 vsize=288812 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (python) S 14354 14354 11000 0 -1 4202560 742 0 0 0 0 0 0 0 18 0 1 0 869465894 295743488 7097 33554432000 4194304 5683644 140734124498192 18446744073709551615 237278899727 0 0 16781312 33554946 10124476349016932610 0 0 17 2 0 0 0
/proc/14360/statm: 72203 7097 351 364 0 7090 0
[pid=14362] ppid=14360 vsize=64132 CPUtime=0.54 cores=0,2,4,6
/proc/14362/stat : 14362 (scip-2.0.1.linu) R 14360 14362 14362 0 -1 4202496 14125 0 0 0 52 2 0 0 18 0 1 0 869465895 65671168 13505 33554432000 4194304 13684479 140733285412912 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/14362/statm: 16033 13505 633 2317 0 13711 0
[pid=14354/tid=14361] ppid=14352 vsize=299056 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14361/stat : 14361 (python) S 14352 14354 11000 0 -1 4202560 26 930 0 0 0 0 0 0 21 0 2 0 869465895 306233344 8612 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554434 18446604453922484352 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 652000
[startup+3.10032 s]
/proc/loadavg: 2.34 2.18 1.91 3/717 14362
/proc/meminfo: memFree=13149148/32950904 swapFree=56615552/67111528
[pid=14354] ppid=14352 vsize=299056 CPUtime=0.85 cores=0,2,4,6
/proc/14354/stat : 14354 (python) S 14352 14354 11000 0 -1 4202496 11808 930 1 0 75 10 0 0 21 0 2 0 869465799 306233344 8612 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/14354/statm: 74764 8612 1862 364 0 9651 0
[pid=14360] ppid=14354 vsize=288812 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (python) S 14354 14354 11000 0 -1 4202560 751 0 0 0 0 0 0 0 15 0 1 0 869465894 295743488 7097 33554432000 4194304 5683644 140734124498192 18446744073709551615 237278899727 0 0 16781312 33554946 3115592237413564416 0 0 17 2 0 0 0
/proc/14360/statm: 72203 7097 351 364 0 7090 0
[pid=14362] ppid=14360 vsize=94032 CPUtime=2.13 cores=0,2,4,6
/proc/14362/stat : 14362 (scip-2.0.1.linu) R 14360 14362 14362 0 -1 4202496 22961 0 0 0 210 3 0 0 21 0 1 0 869465895 96288768 21159 33554432000 4194304 13684479 140733285412912 18446744073709551615 6388372 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/14362/statm: 23508 21159 1002 2317 0 21186 0
[pid=14354/tid=14361] ppid=14352 vsize=299056 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14361/stat : 14361 (python) S 14352 14354 11000 0 -1 4202560 26 930 0 0 0 0 0 0 21 0 2 0 869465895 306233344 8612 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554434 18446604453922484352 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 681900
[startup+6.30088 s]
/proc/loadavg: 2.47 2.21 1.92 3/717 14363
/proc/meminfo: memFree=13144216/32950904 swapFree=56615552/67111528
[pid=14354] ppid=14352 vsize=299056 CPUtime=0.85 cores=0,2,4,6
/proc/14354/stat : 14354 (python) S 14352 14354 11000 0 -1 4202496 11808 930 1 0 75 10 0 0 21 0 2 0 869465799 306233344 8612 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/14354/statm: 74764 8612 1862 364 0 9651 0
[pid=14360] ppid=14354 vsize=288812 CPUtime=0.01 cores=0,2,4,6
/proc/14360/stat : 14360 (python) S 14354 14354 11000 0 -1 4202560 888 0 0 0 1 0 0 0 15 0 1 0 869465894 295743488 7121 33554432000 4194304 5683644 140734124498192 18446744073709551615 237278899727 0 0 16781312 33554946 2220102727407501312 0 0 17 2 0 0 0
/proc/14360/statm: 72203 7121 375 364 0 7090 0
[pid=14362] ppid=14360 vsize=102812 CPUtime=5.34 cores=0,2,4,6
/proc/14362/stat : 14362 (scip-2.0.1.linu) R 14360 14362 14362 0 -1 4202496 25213 0 0 0 529 5 0 0 25 0 1 0 869465895 105279488 23218 33554432000 4194304 13684479 140733285412912 18446744073709551615 7361391 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/14362/statm: 25703 23218 809 2317 0 23381 0
[pid=14354/tid=14361] ppid=14352 vsize=299056 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14361/stat : 14361 (python) S 14352 14354 11000 0 -1 4202560 26 930 0 0 0 0 0 0 21 0 2 0 869465895 306233344 8612 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554434 18446604453922484352 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 690680
[startup+12.7007 s]
/proc/loadavg: 2.44 2.20 1.92 3/717 14363
/proc/meminfo: memFree=13107000/32950904 swapFree=56615552/67111528
[pid=14354] ppid=14352 vsize=299056 CPUtime=0.85 cores=0,2,4,6
/proc/14354/stat : 14354 (python) S 14352 14354 11000 0 -1 4202496 11808 930 1 0 75 10 0 0 21 0 2 0 869465799 306233344 8612 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/14354/statm: 74764 8612 1862 364 0 9651 0
[pid=14360] ppid=14354 vsize=288812 CPUtime=0.03 cores=0,2,4,6
/proc/14360/stat : 14360 (python) S 14354 14354 11000 0 -1 4202560 985 0 0 0 2 1 0 0 15 0 1 0 869465894 295743488 7126 33554432000 4194304 5683644 140734124498192 18446744073709551615 237278899727 0 0 16781312 33554946 3015763698372313088 0 0 17 2 0 0 0
/proc/14360/statm: 72203 7126 380 364 0 7090 0
[pid=14362] ppid=14360 vsize=136576 CPUtime=11.74 cores=0,2,4,6
/proc/14362/stat : 14362 (scip-2.0.1.linu) R 14360 14362 14362 0 -1 4202496 33317 0 0 0 1165 9 0 0 25 0 1 0 869465895 139853824 31322 33554432000 4194304 13684479 140733285412912 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/14362/statm: 34144 31322 838 2317 0 31822 0
[pid=14354/tid=14361] ppid=14352 vsize=299056 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14361/stat : 14361 (python) S 14352 14354 11000 0 -1 4202560 26 930 0 0 0 0 0 0 21 0 2 0 869465895 306233344 8612 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554434 18446604453922484352 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 724444
[startup+25.5005 s]
/proc/loadavg: 2.34 2.19 1.92 3/721 14367
/proc/meminfo: memFree=13060084/32950904 swapFree=56615552/67111528
[pid=14354] ppid=14352 vsize=299056 CPUtime=0.85 cores=0,2,4,6
/proc/14354/stat : 14354 (python) S 14352 14354 11000 0 -1 4202496 11808 930 1 0 75 10 0 0 21 0 2 0 869465799 306233344 8612 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/14354/statm: 74764 8612 1862 364 0 9651 0
[pid=14360] ppid=14354 vsize=288812 CPUtime=0.09 cores=0,2,4,6
/proc/14360/stat : 14360 (python) S 14354 14354 11000 0 -1 4202560 991 0 0 0 5 4 0 0 15 0 1 0 869465894 295743488 7126 33554432000 4194304 5683644 140734124498192 18446744073709551615 237278899727 0 0 16781312 33554946 72262103200705230 0 0 17 2 0 0 0
/proc/14360/statm: 72203 7126 380 364 0 7090 0
[pid=14362] ppid=14360 vsize=136576 CPUtime=24.53 cores=0,2,4,6
/proc/14362/stat : 14362 (scip-2.0.1.linu) R 14360 14362 14362 0 -1 4202496 33318 0 0 0 2440 13 0 0 25 0 1 0 869465895 139853824 31323 33554432000 4194304 13684479 140733285412912 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/14362/statm: 34144 31323 839 2317 0 31822 0
[pid=14354/tid=14361] ppid=14352 vsize=299056 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14361/stat : 14361 (python) S 14352 14354 11000 0 -1 4202560 26 930 0 0 0 0 0 0 21 0 2 0 869465895 306233344 8612 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554434 18446604453922484352 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 724444
[startup+51.1008 s]
/proc/loadavg: 2.22 2.18 1.92 3/725 14372
/proc/meminfo: memFree=12973736/32950904 swapFree=56615552/67111528
[pid=14354] ppid=14352 vsize=309312 CPUtime=0.88 cores=0,2,4,6
/proc/14354/stat : 14354 (python) S 14352 14354 11000 0 -1 4202496 12727 930 1 0 77 11 0 0 20 0 3 0 869465799 316735488 8627 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/14354/statm: 77328 8627 1873 364 0 12212 0
[pid=14360] ppid=14354 vsize=299056 CPUtime=0.18 cores=0,2,4,6
/proc/14360/stat : 14360 (python) S 14354 14354 11000 0 -1 4202560 1136 0 0 0 10 8 0 0 16 0 2 0 869465894 306233344 7162 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/14360/statm: 74764 7162 411 364 0 9651 0
[pid=14362] ppid=14360 vsize=136576 CPUtime=47.24 cores=0,2,4,6
/proc/14362/stat : 14362 (scip-2.0.1.linu) T 14360 14362 14362 0 -1 4202496 33318 0 0 0 4703 21 0 0 25 0 1 0 869465895 139853824 31323 33554432000 4194304 13684479 140733285412912 18446744073709551615 7354512 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/14362/statm: 34144 31323 839 2317 0 31822 0
[pid=14360/tid=14369] ppid=14354 vsize=299056 CPUtime=0 cores=0,2,4,6
/proc/14360/task/14369/stat : 14369 (python) S 14354 14354 11000 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 869470620 306233344 7162 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554946 18446604446869675072 0 0 -1 6 0 0 0
[pid=14370] ppid=14354 vsize=299068 CPUtime=0 cores=0,2,4,6
/proc/14370/stat : 14370 (python) S 14354 14354 11000 0 -1 4202560 782 0 0 0 0 0 0 0 15 0 1 0 869470623 306245632 7098 33554432000 4194304 5683644 140734124498192 18446744073709551615 237278899782 0 0 16781312 33554946 4169592038079070208 0 0 17 6 0 0 0
/proc/14370/statm: 74767 7098 348 364 0 9651 0
[pid=14372] ppid=14370 vsize=97628 CPUtime=2.85 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.linu) R 14370 14372 14372 0 -1 4202496 22138 0 0 0 282 3 0 0 19 0 1 0 869470623 99971072 21513 33554432000 4194304 15243407 140736295577632 18446744073709551615 4306512 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/14372/statm: 24407 21513 896 2698 0 21702 0
[pid=14354/tid=14361] ppid=14352 vsize=309312 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14361/stat : 14361 (python) S 14352 14354 11000 0 -1 4202560 26 930 0 0 0 0 0 0 21 0 3 0 869465895 316735488 8627 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554434 18446604453922484352 0 0 -1 2 0 0 0
[pid=14354/tid=14371] ppid=14352 vsize=309312 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14371/stat : 14371 (python) S 14352 14354 11000 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 3 0 869470623 316735488 8627 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554434 18446604453922484352 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 1141640
[startup+102.318 s]
/proc/loadavg: 2.19 2.18 1.93 3/733 14381
/proc/meminfo: memFree=12858432/32950904 swapFree=56615552/67111528
[pid=14354] ppid=14352 vsize=319568 CPUtime=0.91 cores=0,2,4,6
/proc/14354/stat : 14354 (python) S 14352 14354 11000 0 -1 4202496 13611 930 1 0 80 11 0 0 20 0 4 0 869465799 327237632 8633 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/14354/statm: 79892 8633 1875 364 0 14773 0
[pid=14360] ppid=14354 vsize=299056 CPUtime=0.18 cores=0,2,4,6
/proc/14360/stat : 14360 (python) S 14354 14354 11000 0 -1 4202560 1136 0 0 0 10 8 0 0 16 0 2 0 869465894 306233344 7162 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/14360/statm: 74764 7162 411 364 0 9651 0
[pid=14362] ppid=14360 vsize=136576 CPUtime=47.24 cores=0,2,4,6
/proc/14362/stat : 14362 (scip-2.0.1.linu) T 14360 14362 14362 0 -1 4202496 33318 0 0 0 4703 21 0 0 25 0 1 0 869465895 139853824 31323 33554432000 4194304 13684479 140733285412912 18446744073709551615 7354512 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/14362/statm: 34144 31323 839 2317 0 31822 0
[pid=14360/tid=14369] ppid=14354 vsize=299056 CPUtime=0 cores=0,2,4,6
/proc/14360/task/14369/stat : 14369 (python) S 14354 14354 11000 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 869470620 306233344 7162 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554946 18446604446869675072 0 0 -1 6 0 0 0
[pid=14370] ppid=14354 vsize=299068 CPUtime=0.18 cores=0,2,4,6
/proc/14370/stat : 14370 (python) S 14354 14354 11000 0 -1 4202560 1111 0 0 0 10 8 0 0 17 0 2 0 869470623 306245632 7147 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/14370/statm: 74767 7147 396 364 0 9651 0
[pid=14372] ppid=14370 vsize=105852 CPUtime=47.79 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.linu) T 14370 14372 14372 0 -1 4202496 42803 0 0 0 4766 13 0 0 25 0 1 0 869470623 108392448 23145 33554432000 4194304 15243407 140736295577632 18446744073709551615 7426926 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/14372/statm: 26463 23145 948 2698 0 23758 0
[pid=14370/tid=14378] ppid=14354 vsize=299068 CPUtime=0 cores=0,2,4,6
/proc/14370/task/14378/stat : 14378 (python) S 14354 14354 11000 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869475404 306245632 7147 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554946 18446604441501636800 0 0 -1 2 0 0 0
[pid=14379] ppid=14354 vsize=309324 CPUtime=0.01 cores=0,2,4,6
/proc/14379/stat : 14379 (python) S 14354 14354 11000 0 -1 4202560 941 0 0 0 1 0 0 0 15 0 1 0 869475407 316747776 7126 33554432000 4194304 5683644 140734124498192 18446744073709551615 237278899782 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
################
# More data... #
################
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+520.202 s]
/proc/loadavg: 2.00 2.07 1.96 6/816 14475
/proc/meminfo: memFree=9932148/32950904 swapFree=56615552/67111528
[pid=14354] ppid=14352 vsize=426128 CPUtime=1.14 cores=0,2,4,6
/proc/14354/stat : 14354 (python) S 14352 14354 11000 0 -1 4202496 17479 930 1 0 102 12 0 0 20 0 8 0 869465799 436355072 8659 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/14354/statm: 106532 8659 1883 364 0 41401 0
[pid=14360] ppid=14354 vsize=299056 CPUtime=0.56 cores=0,2,4,6
/proc/14360/stat : 14360 (python) S 14354 14354 11000 0 -1 4202560 1176 0 0 0 29 27 0 0 15 0 2 0 869465894 306233344 7163 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/14360/statm: 74764 7163 412 364 0 9651 0
[pid=14362] ppid=14360 vsize=136576 CPUtime=141.03 cores=0,2,4,6
/proc/14362/stat : 14362 (scip-2.0.1.linu) T 14360 14362 14362 0 -1 4202496 33380 0 0 0 14048 55 0 0 25 0 1 0 869465895 139853824 31385 33554432000 4194304 13684479 140733285412912 18446744073709551615 7361395 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/14362/statm: 34144 31385 840 2317 0 31822 0
[pid=14360/tid=14369] ppid=14354 vsize=299056 CPUtime=0 cores=0,2,4,6
/proc/14360/task/14369/stat : 14369 (python) S 14354 14354 11000 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 869470620 306233344 7163 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554946 18446604446869675072 0 0 -1 0 0 0 0
[pid=14370] ppid=14354 vsize=299068 CPUtime=0.59 cores=0,2,4,6
/proc/14370/stat : 14370 (python) S 14354 14354 11000 0 -1 4202560 1166 0 0 0 31 28 0 0 16 0 2 0 869470623 306245632 7147 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/14370/statm: 74767 7147 396 364 0 9651 0
[pid=14372] ppid=14370 vsize=122268 CPUtime=140.28 cores=0,2,4,6
/proc/14372/stat : 14372 (scip-2.0.1.linu) T 14370 14372 14372 0 -1 4202496 76618 0 0 0 13991 37 0 0 25 0 1 0 869470623 125202432 27073 33554432000 4194304 15243407 140736295577632 18446744073709551615 8118083 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/14372/statm: 30567 27073 949 2698 0 27862 0
[pid=14370/tid=14378] ppid=14354 vsize=299068 CPUtime=0 cores=0,2,4,6
/proc/14370/task/14378/stat : 14378 (python) S 14354 14354 11000 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869475404 306245632 7147 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554946 18446604441501636800 0 0 -1 2 0 0 0
[pid=14379] ppid=14354 vsize=309324 CPUtime=0.18 cores=0,2,4,6
/proc/14379/stat : 14379 (python) S 14354 14354 11000 0 -1 4202560 1117 0 0 0 9 9 0 0 16 0 2 0 869475407 316747776 7151 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/14379/statm: 77331 7151 396 364 0 12212 0
[pid=14381] ppid=14379 vsize=100344 CPUtime=46.65 cores=0,2,4,6
/proc/14381/stat : 14381 (wbo1.4a) T 14379 14381 14381 0 -1 4202496 25299 0 0 0 4652 13 0 0 25 0 1 0 869475407 102752256 24644 33554432000 134512640 135751879 4289564656 18446744073709551615 134604741 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/14381/statm: 25086 24644 146 303 0 24781 0
[pid=14379/tid=14387] ppid=14354 vsize=309324 CPUtime=0 cores=0,2,4,6
/proc/14379/task/14387/stat : 14387 (python) S 14354 14354 11000 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869480074 316747776 7151 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554946 18446604442984923392 0 0 -1 6 0 0 0
[pid=14388] ppid=14354 vsize=319580 CPUtime=0.19 cores=0,2,4,6
/proc/14388/stat : 14388 (python) S 14354 14354 11000 0 -1 4202560 1138 0 0 0 10 9 0 0 17 0 2 0 869480077 327249920 7155 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/14388/statm: 79895 7155 396 364 0 14773 0
[pid=14390] ppid=14388 vsize=8548832 CPUtime=49.7 cores=0,2,4,6
/proc/14390/stat : 14390 (java) T 14388 14390 14390 0 -1 4202496 556448 0 1 0 4909 61 0 0 18 0 19 0 869480077 8754003968 528621 33554432000 1073741824 1073778376 140735054515824 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/14390/statm: 2137208 528621 2242 9 0 2127949 0
[pid=14390/tid=14391] ppid=14388 vsize=8548832 CPUtime=47.5 cores=0,2,4,6
/proc/14390/task/14391/stat : 14391 (java) T 14388 14390 14390 0 -1 4202560 499423 0 1 0 4697 53 0 0 25 0 19 0 869480078 8754003968 528621 33554432000 1073741824 1073778376 140735054515824 18446744073709551615 46912505769932 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=14390/tid=14392] ppid=14388 vsize=8548832 CPUtime=0.07 cores=0,2,4,6
/proc/14390/task/14392/stat : 14392 (java) T 14388 14390 14390 0 -1 4202560 5958 0 0 0 7 0 0 0 15 0 19 0 869480078 8754003968 528621 33554432000 1073741824 1073778376 140735054515824 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=14390/tid=14393] ppid=14388 vsize=8548832 CPUtime=0.05 cores=0,2,4,6
/proc/14390/task/14393/stat : 14393 (java) T 14388 14390 14390 0 -1 4202560 3707 0 0 0 5 0 0 0 15 0 19 0 869480079 8754003968 528621 33554432000 1073741824 1073778376 140735054515824 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=14390/tid=14394] ppid=14388 vsize=8548832 CPUtime=0.06 cores=0,2,4,6
/proc/14390/task/14394/stat : 14394 (java) T 14388 14390 14390 0 -1 4202560 5387 0 0 0 6 0 0 0 15 0 19 0 869480079 8754003968 528621 33554432000 1073741824 1073778376 140735054515824 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=14390/tid=14395] ppid=14388 vsize=8548832 CPUtime=0.04 cores=0,2,4,6
/proc/14390/task/14395/stat : 14395 (java) T 14388 14390 14390 0 -1 4202560 3261 0 0 0 4 0 0 0 15 0 19 0 869480079 8754003968 528621 33554432000 1073741824 1073778376 140735054515824 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=14390/tid=14396] ppid=14388 vsize=8548832 CPUtime=0.06 cores=0,2,4,6
/proc/14390/task/14396/stat : 14396 (java) T 14388 14390 14390 0 -1 4202560 5694 0 0 0 6 0 0 0 15 0 19 0 869480079 8754003968 528621 33554432000 1073741824 1073778376 140735054515824 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=14390/tid=14397] ppid=14388 vsize=8548832 CPUtime=0.04 cores=0,2,4,6
/proc/14390/task/14397/stat : 14397 (java) T 14388 14390 14390 0 -1 4202560 3900 0 0 0 4 0 0 0 15 0 19 0 869480079 8754003968 528621 33554432000 1073741824 1073778376 140735054515824 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=14390/tid=14398] ppid=14388 vsize=8548832 CPUtime=0.05 cores=0,2,4,6
/proc/14390/task/14398/stat : 14398 (java) T 14388 14390 14390 0 -1 4202560 3727 0 0 0 5 0 0 0 15 0 19 0 869480079 8754003968 528621 33554432000 1073741824 1073778376 140735054515824 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=14390/tid=14399] ppid=14388 vsize=8548832 CPUtime=0.06 cores=0,2,4,6
/proc/14390/task/14399/stat : 14399 (java) T 14388 14390 14390 0 -1 4202560 5506 0 0 0 6 0 0 0 15 0 19 0 869480079 8754003968 528621 33554432000 1073741824 1073778376 140735054515824 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=14390/tid=14400] ppid=14388 vsize=8548832 CPUtime=0 cores=0,2,4,6
/proc/14390/task/14400/stat : 14400 (java) T 14388 14390 14390 0 -1 4202560 946 0 0 0 0 0 0 0 15 0 19 0 869480080 8754003968 528621 33554432000 1073741824 1073778376 140735054515824 18446744073709551615 237290696192 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=14390/tid=14401] ppid=14388 vsize=8548832 CPUtime=0 cores=0,2,4,6
/proc/14390/task/14401/stat : 14401 (java) T 14388 14390 14390 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869480080 8754003968 528621 33554432000 1073741824 1073778376 140735054515824 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=14390/tid=14402] ppid=14388 vsize=8548832 CPUtime=0 cores=0,2,4,6
/proc/14390/task/14402/stat : 14402 (java) T 14388 14390 14390 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869480080 8754003968 528621 33554432000 1073741824 1073778376 140735054515824 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=14390/tid=14403] ppid=14388 vsize=8548832 CPUtime=0 cores=0,2,4,6
/proc/14390/task/14403/stat : 14403 (java) T 14388 14390 14390 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869480082 8754003968 528621 33554432000 1073741824 1073778376 140735054515824 18446744073709551615 237290703281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=14390/tid=14404] ppid=14388 vsize=8548832 CPUtime=0.79 cores=0,2,4,6
/proc/14390/task/14404/stat : 14404 (java) T 14388 14390 14390 0 -1 4202560 10588 0 0 0 78 1 0 0 15 0 19 0 869480082 8754003968 528621 33554432000 1073741824 1073778376 140735054515824 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=14390/tid=14405] ppid=14388 vsize=8548832 CPUtime=0.84 cores=0,2,4,6
/proc/14390/task/14405/stat : 14405 (java) T 14388 14390 14390 0 -1 4202560 6959 0 0 0 84 0 0 0 15 0 19 0 869480082 8754003968 528621 33554432000 1073741824 1073778376 140735054515824 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=14390/tid=14406] ppid=14388 vsize=8548832 CPUtime=0 cores=0,2,4,6
/proc/14390/task/14406/stat : 14406 (java) T 14388 14390 14390 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869480082 8754003968 528621 33554432000 1073741824 1073778376 140735054515824 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=14390/tid=14407] ppid=14388 vsize=8548832 CPUtime=0 cores=0,2,4,6
/proc/14390/task/14407/stat : 14407 (java) T 14388 14390 14390 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869480082 8754003968 528621 33554432000 1073741824 1073778376 140735054515824 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=14390/tid=14408] ppid=14388 vsize=8548832 CPUtime=0 cores=0,2,4,6
/proc/14390/task/14408/stat : 14408 (java) T 14388 14390 14390 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869480131 8754003968 528621 33554432000 1073741824 1073778376 140735054515824 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=14388/tid=14411] ppid=14354 vsize=319580 CPUtime=0 cores=0,2,4,6
/proc/14388/task/14411/stat : 14411 (python) S 14354 14354 11000 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869484850 327249920 7155 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554946 18446604446354274112 0 0 -1 6 0 0 0
[pid=14412] ppid=14354 vsize=329836 CPUtime=0.37 cores=0,2,4,6
/proc/14412/stat : 14412 (python) S 14354 14354 11000 0 -1 4202560 1152 0 0 0 18 19 0 0 18 0 2 0 869484853 337752064 7159 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/14412/statm: 82459 7159 396 364 0 17334 0
[pid=14414] ppid=14412 vsize=24932 CPUtime=94.36 cores=0,2,4,6
/proc/14414/stat : 14414 (clasp-1.3.7-x86) T 14412 14414 14414 0 -1 4202496 6360 0 0 0 9435 1 0 0 25 0 1 0 869484853 25530368 5961 33554432000 134512640 136139019 4287791776 18446744073709551615 134831202 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/14414/statm: 6233 5961 186 398 0 5833 0
[pid=14412/tid=14417] ppid=14354 vsize=329836 CPUtime=0 cores=0,2,4,6
/proc/14412/task/14417/stat : 14417 (python) S 14354 14354 11000 0 -1 4202560 46 0 0 0 0 0 0 0 18 0 2 0 869489671 337752064 7159 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554946 18446604446626120896 0 0 -1 4 0 0 0
[pid=14426] ppid=14354 vsize=405628 CPUtime=0.19 cores=0,2,4,6
/proc/14426/stat : 14426 (python) S 14354 14354 11000 0 -1 4202560 1153 0 0 0 11 8 0 0 17 0 2 0 869503882 415363072 7166 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/14426/statm: 101407 7166 397 364 0 36279 0
[pid=14428] ppid=14426 vsize=217016 CPUtime=48.21 cores=0,2,4,6
/proc/14428/stat : 14428 (bsolo_pb10) T 14426 14428 14428 0 -1 4202496 52334 0 0 0 4810 11 0 0 25 0 1 0 869503883 222224384 51803 33554432000 134512640 137138936 4288423440 18446744073709551615 134542808 0 0 16781312 16384 18446744071562691360 0 0 17 4 0 0 0
/proc/14428/statm: 54254 51803 192 642 0 53610 0
[pid=14426/tid=14430] ppid=14354 vsize=405628 CPUtime=0 cores=0,2,4,6
/proc/14426/task/14430/stat : 14430 (python) S 14354 14354 11000 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869508704 415363072 7166 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554946 18446604441501635904 0 0 -1 6 0 0 0
[pid=14455] ppid=14354 vsize=415884 CPUtime=0 cores=0,2,4,6
/proc/14455/stat : 14455 (python) S 14354 14354 11000 0 -1 4202560 833 0 0 0 0 0 0 0 15 0 1 0 869517758 425865216 7120 33554432000 4194304 5683644 140734124498192 18446744073709551615 237278899782 0 0 16781312 33554946 456189139595821056 0 0 17 0 0 0 0
/proc/14455/statm: 103971 7120 348 364 0 38840 0
[pid=14457] ppid=14455 vsize=8550812 CPUtime=1.42 cores=0,2,4,6
/proc/14457/stat : 14457 (java) S 14455 14457 14457 0 -1 4202496 32280 0 1 0 137 5 0 0 20 0 19 0 869517758 8756031488 28636 33554432000 1073741824 1073778376 140735053055600 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14457/statm: 2137703 28636 2217 9 0 2128444 0
[pid=14457/tid=14458] ppid=14455 vsize=8550812 CPUtime=0.67 cores=0,2,4,6
/proc/14457/task/14458/stat : 14458 (java) R 14455 14457 14457 0 -1 4202560 20250 0 1 0 64 3 0 0 19 0 19 0 869517759 8756031488 28818 33554432000 1073741824 1073778376 140735053055600 18446744073709551615 46912505357408 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14457/tid=14459] ppid=14455 vsize=8550812 CPUtime=0 cores=0,2,4,6
/proc/14457/task/14459/stat : 14459 (java) S 14455 14457 14457 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869517760 8756031488 28818 33554432000 1073741824 1073778376 140735053055600 18446744073709551615 237290695577 0 4 0 16800975 18446604450238085056 0 0 -1 2 0 0 0
[pid=14457/tid=14460] ppid=14455 vsize=8550812 CPUtime=0 cores=0,2,4,6
/proc/14457/task/14460/stat : 14460 (java) S 14455 14457 14457 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869517760 8756031488 28818 33554432000 1073741824 1073778376 140735053055600 18446744073709551615 237290695577 0 4 0 16800975 18446604450238085056 0 0 -1 2 0 0 0
[pid=14457/tid=14461] ppid=14455 vsize=8550812 CPUtime=0 cores=0,2,4,6
/proc/14457/task/14461/stat : 14461 (java) S 14455 14457 14457 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869517760 8756031488 28818 33554432000 1073741824 1073778376 140735053055600 18446744073709551615 237290695577 0 4 0 16800975 18446604450238085056 0 0 -1 2 0 0 0
[pid=14457/tid=14462] ppid=14455 vsize=8550812 CPUtime=0 cores=0,2,4,6
/proc/14457/task/14462/stat : 14462 (java) S 14455 14457 14457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869517760 8756031488 28819 33554432000 1073741824 1073778376 140735053055600 18446744073709551615 237290695577 0 4 0 16800975 18446604450238085056 0 0 -1 0 0 0 0
[pid=14457/tid=14463] ppid=14455 vsize=8550812 CPUtime=0 cores=0,2,4,6
/proc/14457/task/14463/stat : 14463 (java) S 14455 14457 14457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869517760 8756031488 28819 33554432000 1073741824 1073778376 140735053055600 18446744073709551615 237290695577 0 4 0 16800975 18446604450238085056 0 0 -1 0 0 0 0
[pid=14457/tid=14464] ppid=14455 vsize=8550812 CPUtime=0 cores=0,2,4,6
/proc/14457/task/14464/stat : 14464 (java) S 14455 14457 14457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869517760 8756031488 28819 33554432000 1073741824 1073778376 140735053055600 18446744073709551615 237290695577 0 4 0 16800975 18446604450238085056 0 0 -1 0 0 0 0
[pid=14457/tid=14465] ppid=14455 vsize=8550812 CPUtime=0 cores=0,2,4,6
/proc/14457/task/14465/stat : 14465 (java) S 14455 14457 14457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869517760 8756031488 28819 33554432000 1073741824 1073778376 140735053055600 18446744073709551615 237290695577 0 4 0 16800975 18446604450238085056 0 0 -1 0 0 0 0
[pid=14457/tid=14466] ppid=14455 vsize=8550812 CPUtime=0 cores=0,2,4,6
/proc/14457/task/14466/stat : 14466 (java) S 14455 14457 14457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869517760 8756031488 28819 33554432000 1073741824 1073778376 140735053055600 18446744073709551615 237290695577 0 4 0 16800975 18446604450238085056 0 0 -1 0 0 0 0
[pid=14457/tid=14467] ppid=14455 vsize=8550812 CPUtime=0 cores=0,2,4,6
/proc/14457/task/14467/stat : 14467 (java) S 14455 14457 14457 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869517761 8756031488 28819 33554432000 1073741824 1073778376 140735053055600 18446744073709551615 237290696192 0 0 0 16800975 18446604450238085056 0 0 -1 2 0 0 0
[pid=14457/tid=14468] ppid=14455 vsize=8550812 CPUtime=0 cores=0,2,4,6
/proc/14457/task/14468/stat : 14468 (java) S 14455 14457 14457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869517761 8756031488 28819 33554432000 1073741824 1073778376 140735053055600 18446744073709551615 237290695577 0 4 0 16800975 18446604450238085056 0 0 -1 2 0 0 0
[pid=14457/tid=14469] ppid=14455 vsize=8550812 CPUtime=0 cores=0,2,4,6
/proc/14457/task/14469/stat : 14469 (java) S 14455 14457 14457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869517761 8756031488 28819 33554432000 1073741824 1073778376 140735053055600 18446744073709551615 237290695577 0 4 0 16800975 18446604450238085056 0 0 -1 2 0 0 0
[pid=14457/tid=14470] ppid=14455 vsize=8550812 CPUtime=0 cores=0,2,4,6
/proc/14457/task/14470/stat : 14470 (java) S 14455 14457 14457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869517763 8756031488 28820 33554432000 1073741824 1073778376 140735053055600 18446744073709551615 237290703281 0 4 0 16800975 18446604450238085056 0 0 -1 2 0 0 0
[pid=14457/tid=14471] ppid=14455 vsize=8550812 CPUtime=0.48 cores=0,2,4,6
/proc/14457/task/14471/stat : 14471 (java) R 14455 14457 14457 0 -1 4202560 6057 0 0 0 48 0 0 0 25 0 19 0 869517763 8756031488 28820 33554432000 1073741824 1073778376 140735053055600 18446744073709551615 47794988335376 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14457/tid=14472] ppid=14455 vsize=8550812 CPUtime=0.4 cores=0,2,4,6
/proc/14457/task/14472/stat : 14472 (java) R 14455 14457 14457 0 -1 4202560 4753 0 0 0 39 1 0 0 16 0 19 0 869517763 8756031488 28821 33554432000 1073741824 1073778376 140735053055600 18446744073709551615 47794989219535 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=14457/tid=14473] ppid=14455 vsize=8550812 CPUtime=0 cores=0,2,4,6
/proc/14457/task/14473/stat : 14473 (java) S 14455 14457 14457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869517763 8756031488 28821 33554432000 1073741824 1073778376 140735053055600 18446744073709551615 237290695577 0 4 0 16800975 18446604450238085056 0 0 -1 2 0 0 0
[pid=14457/tid=14474] ppid=14455 vsize=8550812 CPUtime=0 cores=0,2,4,6
/proc/14457/task/14474/stat : 14474 (java) S 14455 14457 14457 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869517763 8756031488 28822 33554432000 1073741824 1073778376 140735053055600 18446744073709551615 237290696192 0 4 0 16800975 18446604450238085056 0 0 -1 0 0 0 0
[pid=14457/tid=14475] ppid=14455 vsize=8550812 CPUtime=0 cores=0,2,4,6
/proc/14457/task/14475/stat : 14475 (java) S 14455 14457 14457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869517811 8756031488 28822 33554432000 1073741824 1073778376 140735053055600 18446744073709551615 237290696192 0 4 0 16800975 18446604450238085056 0 0 -1 2 0 0 0
[pid=14354/tid=14361] ppid=14352 vsize=426128 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14361/stat : 14361 (python) S 14352 14354 11000 0 -1 4202560 30 930 0 0 0 0 0 0 18 0 8 0 869465895 436355072 8659 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554434 18446604453922484352 0 0 -1 2 0 0 0
[pid=14354/tid=14371] ppid=14352 vsize=426128 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14371/stat : 14371 (python) S 14352 14354 11000 0 -1 4202560 40 930 0 0 0 0 0 0 15 0 8 0 869470623 436355072 8659 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554434 18446604453922484352 0 0 -1 6 0 0 0
[pid=14354/tid=14380] ppid=14352 vsize=426128 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14380/stat : 14380 (python) S 14352 14354 11000 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 8 0 869475407 436355072 8659 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554434 18446604453922484352 0 0 -1 0 0 0 0
[pid=14354/tid=14389] ppid=14352 vsize=426128 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14389/stat : 14389 (python) S 14352 14354 11000 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 8 0 869480077 436355072 8659 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554434 18446604453922484352 0 0 -1 0 0 0 0
[pid=14354/tid=14413] ppid=14352 vsize=426128 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14413/stat : 14413 (python) S 14352 14354 11000 0 -1 4202560 23 930 0 0 0 0 0 0 18 0 8 0 869484853 436355072 8659 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554434 18446604453922484352 0 0 -1 6 0 0 0
[pid=14354/tid=14427] ppid=14352 vsize=426128 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14427/stat : 14427 (python) S 14352 14354 11000 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 8 0 869503882 436355072 8659 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554434 18446604453922484352 0 0 -1 0 0 0 0
[pid=14354/tid=14456] ppid=14352 vsize=426128 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14456/stat : 14456 (python) S 14352 14354 11000 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 8 0 869517758 436355072 8659 33554432000 4194304 5683644 140734124498192 18446744073709551615 237290703281 0 0 16781312 33554434 18446604453922484352 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 524.87
Current children cumulated vsize (KiB) 20505284
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 14354 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=23844
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=127980
# CPU time returned by wait4() is 1.15182
# while last known CPU time is 524.87
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 520.341
CPU time (s): 524.87
CPU user time (s): 521.92
CPU system time (s): 2.95
CPU usage (%): 100.87
Max. virtual memory (cumulated for all children) (KiB): 20505284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.02384
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18413
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= 1034
involuntary context switches= 36
runsolver used 3.87541 second user time and 7.74882 second system time
The end