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-3481554-1307578149/watcher-3481554-1307578149 -o /tmp/evaluation-result-3481554-1307578149/solver-3481554-1307578149 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481554-1307578149.opb -seed 1382643735 -budget 1800
running on 4 cores: 1,3,5,7
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.23 2.09 1.76 2/766 17294
/proc/meminfo: memFree=10754072/32950940 swapFree=67111360/67111528
[pid=17294] ppid=17292 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/17294/stat : 17294 (python) R 17292 17294 14716 0 -1 4202496 894 0 0 0 0 0 0 0 25 0 1 0 948045710 16150528 776 33554432000 4194304 5683644 140736648844128 18446744073709551615 215988590592 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17294/statm: 3943 776 343 364 0 430 0
[startup+0.116273 s]
/proc/loadavg: 2.23 2.09 1.76 2/766 17294
/proc/meminfo: memFree=10754072/32950940 swapFree=67111360/67111528
[pid=17294] ppid=17292 vsize=96120 CPUtime=0.07 cores=1,3,5,7
/proc/17294/stat : 17294 (python) R 17292 17294 14716 0 -1 4202496 3167 933 1 0 5 2 0 0 18 0 1 0 948045710 98426880 2482 33554432000 4194304 5683644 140736648844128 18446744073709551615 5170272 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17294/statm: 24030 2482 792 364 0 1625 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96120
[startup+0.200352 s]
/proc/loadavg: 2.23 2.09 1.76 2/766 17294
/proc/meminfo: memFree=10754072/32950940 swapFree=67111360/67111528
[pid=17294] ppid=17292 vsize=119980 CPUtime=0.13 cores=1,3,5,7
/proc/17294/stat : 17294 (python) S 17292 17294 14716 0 -1 4202496 4926 933 1 0 9 4 0 0 17 0 1 0 948045710 122859520 3350 33554432000 4194304 5683644 140736648844128 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/17294/statm: 29995 3350 919 364 0 2444 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 119980
[startup+0.300331 s]
/proc/loadavg: 2.23 2.09 1.76 2/766 17294
/proc/meminfo: memFree=10754072/32950940 swapFree=67111360/67111528
[pid=17294] ppid=17292 vsize=123736 CPUtime=0.19 cores=1,3,5,7
/proc/17294/stat : 17294 (python) S 17292 17294 14716 0 -1 4202496 5355 933 1 0 11 8 0 0 16 0 1 0 948045710 126705664 3743 33554432000 4194304 5683644 140736648844128 18446744073709551615 215988588549 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/17294/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 123736
[startup+0.71023 s]
/proc/loadavg: 2.23 2.09 1.76 2/766 17294
/proc/meminfo: memFree=10754072/32950940 swapFree=67111360/67111528
[pid=17294] ppid=17292 vsize=282532 CPUtime=0.47 cores=1,3,5,7
/proc/17294/stat : 17294 (python) S 17292 17294 14716 0 -1 4202496 9214 933 1 0 29 18 0 0 15 0 1 0 948045710 289312768 6947 33554432000 4194304 5683644 140736648844128 18446744073709551615 215988612623 0 0 16781312 2 4294934791 0 0 17 5 0 0 0
/proc/17294/statm: 70633 6947 1777 364 0 5526 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 282532
[startup+1.50103 s]
/proc/loadavg: 2.23 2.09 1.76 3/767 17300
/proc/meminfo: memFree=10720708/32950940 swapFree=67111360/67111528
[pid=17294] ppid=17292 vsize=292672 CPUtime=1.41 cores=1,3,5,7
/proc/17294/stat : 17294 (python) R 17292 17294 14716 0 -1 4202496 15274 1458 1 0 85 32 18 6 16 0 1 0 948045710 299696128 9514 33554432000 4194304 5683644 140736648844128 18446744073709551615 46953596527661 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/17294/statm: 73168 9514 1817 364 0 8061 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 292672
[startup+3.10075 s]
/proc/loadavg: 2.53 2.16 1.79 3/770 17303
/proc/meminfo: memFree=10618632/32950940 swapFree=67111360/67111528
[pid=17294] ppid=17292 vsize=303532 CPUtime=1.69 cores=1,3,5,7
/proc/17294/stat : 17294 (python) S 17292 17294 14716 0 -1 4202496 16083 1458 1 0 112 33 18 6 18 0 2 0 948045710 310816768 9723 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/17294/statm: 75883 9723 1871 364 0 10770 0
[pid=17301] ppid=17294 vsize=293288 CPUtime=0 cores=1,3,5,7
/proc/17301/stat : 17301 (python) S 17294 17294 14716 0 -1 4202560 719 0 0 0 0 0 0 0 15 0 1 0 948045888 300326912 8166 33554432000 4194304 5683644 140736648844128 18446744073709551615 215988612623 0 0 16781312 33554946 2993413105175756800 0 0 17 5 0 0 0
/proc/17301/statm: 73322 8166 318 364 0 8209 0
[pid=17303] ppid=17301 vsize=112680 CPUtime=1.31 cores=1,3,5,7
/proc/17303/stat : 17303 (scip-2.0.1.linu) R 17301 17303 17303 0 -1 4202496 27054 0 0 0 116 15 0 0 23 0 1 0 948045888 115384320 25180 33554432000 4194304 13684479 140736758937296 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17303/statm: 28170 25180 804 2317 0 25848 0
[pid=17294/tid=17302] ppid=17292 vsize=303532 CPUtime=0.24 cores=1,3,5,7
/proc/17294/task/17302/stat : 17302 (python) S 17292 17294 14716 0 -1 4202560 26 1458 0 0 0 0 18 6 18 0 2 0 948045888 310816768 9723 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554434 18446604458747673280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 709500
[startup+6.30019 s]
/proc/loadavg: 2.53 2.16 1.79 3/770 17303
/proc/meminfo: memFree=10614788/32950940 swapFree=67111360/67111528
[pid=17294] ppid=17292 vsize=303532 CPUtime=1.69 cores=1,3,5,7
/proc/17294/stat : 17294 (python) S 17292 17294 14716 0 -1 4202496 16083 1458 1 0 112 33 18 6 18 0 2 0 948045710 310816768 9723 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/17294/statm: 75883 9723 1871 364 0 10770 0
[pid=17301] ppid=17294 vsize=293288 CPUtime=0.02 cores=1,3,5,7
/proc/17301/stat : 17301 (python) S 17294 17294 14716 0 -1 4202560 866 0 0 0 1 1 0 0 15 0 1 0 948045888 300326912 8190 33554432000 4194304 5683644 140736648844128 18446744073709551615 215988612623 0 0 16781312 33554946 3656759375134982144 0 0 17 5 0 0 0
/proc/17301/statm: 73322 8190 342 364 0 8209 0
[pid=17303] ppid=17301 vsize=117440 CPUtime=4.49 cores=1,3,5,7
/proc/17303/stat : 17303 (scip-2.0.1.linu) R 17301 17303 17303 0 -1 4202496 28310 0 0 0 430 19 0 0 25 0 1 0 948045888 120258560 26436 33554432000 4194304 13684479 140736758937296 18446744073709551615 6388713 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17303/statm: 29360 26436 804 2317 0 27038 0
[pid=17294/tid=17302] ppid=17292 vsize=303532 CPUtime=0.24 cores=1,3,5,7
/proc/17294/task/17302/stat : 17302 (python) S 17292 17294 14716 0 -1 4202560 26 1458 0 0 0 0 18 6 18 0 2 0 948045888 310816768 9723 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554434 18446604458747673280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 714260
[startup+12.7011 s]
/proc/loadavg: 2.45 2.15 1.79 3/770 17304
/proc/meminfo: memFree=10598912/32950940 swapFree=67111360/67111528
[pid=17294] ppid=17292 vsize=303532 CPUtime=1.69 cores=1,3,5,7
/proc/17294/stat : 17294 (python) S 17292 17294 14716 0 -1 4202496 16083 1458 1 0 112 33 18 6 18 0 2 0 948045710 310816768 9723 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/17294/statm: 75883 9723 1871 364 0 10770 0
[pid=17301] ppid=17294 vsize=293288 CPUtime=0.08 cores=1,3,5,7
/proc/17301/stat : 17301 (python) S 17294 17294 14716 0 -1 4202560 894 0 0 0 6 2 0 0 15 0 1 0 948045888 300326912 8190 33554432000 4194304 5683644 140736648844128 18446744073709551615 215988612623 0 0 16781312 33554946 2556468120600444928 0 0 17 5 0 0 0
/proc/17301/statm: 73322 8190 342 364 0 8209 0
[pid=17303] ppid=17301 vsize=133100 CPUtime=10.86 cores=1,3,5,7
/proc/17303/stat : 17303 (scip-2.0.1.linu) R 17301 17303 17303 0 -1 4202496 32528 0 0 0 1055 31 0 0 25 0 1 0 948045888 136294400 30569 33554432000 4194304 13684479 140736758937296 18446744073709551615 4542401 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17303/statm: 33275 30569 870 2317 0 30953 0
[pid=17294/tid=17302] ppid=17292 vsize=303532 CPUtime=0.24 cores=1,3,5,7
/proc/17294/task/17302/stat : 17302 (python) S 17292 17294 14716 0 -1 4202560 26 1458 0 0 0 0 18 6 18 0 2 0 948045888 310816768 9723 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554434 18446604458747673280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 729920
[startup+25.5008 s]
/proc/loadavg: 2.38 2.15 1.79 3/770 17304
/proc/meminfo: memFree=10591112/32950940 swapFree=67111360/67111528
[pid=17294] ppid=17292 vsize=303532 CPUtime=1.69 cores=1,3,5,7
/proc/17294/stat : 17294 (python) S 17292 17294 14716 0 -1 4202496 16083 1458 1 0 112 33 18 6 18 0 2 0 948045710 310816768 9723 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/17294/statm: 75883 9723 1871 364 0 10770 0
[pid=17301] ppid=17294 vsize=293288 CPUtime=0.15 cores=1,3,5,7
/proc/17301/stat : 17301 (python) S 17294 17294 14716 0 -1 4202560 902 0 0 0 10 5 0 0 16 0 1 0 948045888 300326912 8190 33554432000 4194304 5683644 140736648844128 18446744073709551615 215988612623 0 0 16781312 33554946 1559018131391774720 0 0 17 7 0 0 0
/proc/17301/statm: 73322 8190 342 364 0 8209 0
[pid=17303] ppid=17301 vsize=139272 CPUtime=23.65 cores=1,3,5,7
/proc/17303/stat : 17303 (scip-2.0.1.linu) R 17301 17303 17303 0 -1 4202496 34051 0 0 0 2310 55 0 0 25 0 1 0 948045888 142614528 31898 33554432000 4194304 13684479 140736758937296 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17303/statm: 34818 31898 766 2317 0 32496 0
[pid=17294/tid=17302] ppid=17292 vsize=303532 CPUtime=0.24 cores=1,3,5,7
/proc/17294/task/17302/stat : 17302 (python) S 17292 17294 14716 0 -1 4202560 26 1458 0 0 0 0 18 6 18 0 2 0 948045888 310816768 9723 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554434 18446604458747673280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 736092
[startup+51.1003 s]
/proc/loadavg: 2.31 2.15 1.80 3/774 17309
/proc/meminfo: memFree=10491016/32950940 swapFree=67111360/67111528
[pid=17294] ppid=17292 vsize=313788 CPUtime=1.72 cores=1,3,5,7
/proc/17294/stat : 17294 (python) S 17292 17294 14716 0 -1 4202496 16999 1458 1 0 115 33 18 6 19 0 3 0 948045710 321318912 9730 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/17294/statm: 78447 9730 1874 364 0 13331 0
[pid=17301] ppid=17294 vsize=303532 CPUtime=0.29 cores=1,3,5,7
/proc/17301/stat : 17301 (python) S 17294 17294 14716 0 -1 4202560 1115 0 0 0 16 13 0 0 16 0 2 0 948045888 310816768 8258 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17301/statm: 75883 8258 405 364 0 10770 0
[pid=17303] ppid=17301 vsize=139272 CPUtime=47.29 cores=1,3,5,7
/proc/17303/stat : 17303 (scip-2.0.1.linu) T 17301 17303 17303 0 -1 4202496 34051 0 0 0 4635 94 0 0 25 0 1 0 948045888 142614528 31898 33554432000 4194304 13684479 140736758937296 18446744073709551615 4963007 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/17303/statm: 34818 31898 766 2317 0 32496 0
[pid=17301/tid=17306] ppid=17294 vsize=303532 CPUtime=0 cores=1,3,5,7
/proc/17301/task/17306/stat : 17306 (python) S 17294 17294 14716 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 948050624 310816768 8258 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554946 18446604459524297664 0 0 -1 7 0 0 0
[pid=17307] ppid=17294 vsize=303544 CPUtime=0 cores=1,3,5,7
/proc/17307/stat : 17307 (python) S 17294 17294 14716 0 -1 4202560 766 0 0 0 0 0 0 0 15 0 1 0 948050626 310829056 8171 33554432000 4194304 5683644 140736648844128 18446744073709551615 215988612678 0 0 16781312 33554946 3227835826100502528 0 0 17 5 0 0 0
/proc/17307/statm: 75886 8171 319 364 0 10770 0
[pid=17309] ppid=17307 vsize=118956 CPUtime=1.92 cores=1,3,5,7
/proc/17309/stat : 17309 (scip-2.0.1.linu) R 17307 17309 17309 0 -1 4202496 27303 0 0 0 173 19 0 0 25 0 1 0 948050627 121810944 25764 33554432000 4194304 15243407 140734121025216 18446744073709551615 8113562 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/17309/statm: 29739 25764 851 2698 0 27034 0
[pid=17294/tid=17302] ppid=17292 vsize=313788 CPUtime=0.24 cores=1,3,5,7
/proc/17294/task/17302/stat : 17302 (python) S 17292 17294 14716 0 -1 4202560 26 1458 0 0 0 0 18 6 18 0 3 0 948045888 321318912 9730 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554434 18446604458747673280 0 0 -1 5 0 0 0
[pid=17294/tid=17308] ppid=17292 vsize=313788 CPUtime=0.24 cores=1,3,5,7
/proc/17294/task/17308/stat : 17308 (python) S 17292 17294 14716 0 -1 4202560 27 1458 0 0 0 0 18 6 20 0 3 0 948050627 321318912 9730 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554434 18446604458747673280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 1179092
[startup+102.301 s]
/proc/loadavg: 2.12 2.12 1.81 3/779 17315
/proc/meminfo: memFree=10286004/32950940 swapFree=67111360/67111528
[pid=17294] ppid=17292 vsize=324044 CPUtime=1.74 cores=1,3,5,7
/proc/17294/stat : 17294 (python) S 17292 17294 14716 0 -1 4202496 17931 1458 1 0 117 33 18 6 20 0 4 0 948045710 331821056 9736 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/17294/statm: 81011 9736 1876 364 0 15892 0
[pid=17301] ppid=17294 vsize=303532 CPUtime=0.29 cores=1,3,5,7
/proc/17301/stat : 17301 (python) S 17294 17294 14716 0 -1 4202560 1115 0 0 0 16 13 0 0 16 0 2 0 948045888 310816768 8258 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17301/statm: 75883 8258 405 364 0 10770 0
[pid=17303] ppid=17301 vsize=139272 CPUtime=47.29 cores=1,3,5,7
/proc/17303/stat : 17303 (scip-2.0.1.linu) T 17301 17303 17303 0 -1 4202496 34051 0 0 0 4635 94 0 0 25 0 1 0 948045888 142614528 31898 33554432000 4194304 13684479 140736758937296 18446744073709551615 4963007 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/17303/statm: 34818 31898 766 2317 0 32496 0
[pid=17301/tid=17306] ppid=17294 vsize=303532 CPUtime=0 cores=1,3,5,7
/proc/17301/task/17306/stat : 17306 (python) S 17294 17294 14716 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 948050624 310816768 8258 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554946 18446604459524297664 0 0 -1 7 0 0 0
[pid=17307] ppid=17294 vsize=303544 CPUtime=0.3 cores=1,3,5,7
/proc/17307/stat : 17307 (python) S 17294 17294 14716 0 -1 4202560 1186 0 0 0 18 12 0 0 16 0 2 0 948050626 310829056 8249 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17307/statm: 75886 8249 396 364 0 10770 0
[pid=17309] ppid=17307 vsize=147480 CPUtime=47.2 cores=1,3,5,7
/proc/17309/stat : 17309 (scip-2.0.1.linu) T 17307 17309 17309 0 -1 4202496 34910 0 0 0 4682 38 0 0 25 0 1 0 948050627 151019520 33371 33554432000 4194304 15243407 140734121025216 18446744073709551615 4963347 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/17309/statm: 36870 33371 865 2698 0 34165 0
[pid=17307/tid=17312] ppid=17294 vsize=303544 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17312/stat : 17312 (python) S 17294 17294 14716 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 948055355 310829056 8249 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554946 18446604461232784384 0 0 -1 7 0 0 0
[pid=17313] ppid=17294 vsize=313800 CPUtime=0.01 cores=1,3,5,7
/proc/17313/stat : 17313 (python) S 17294 17294 14716 0 -1 4202560 1008 0 0 0 0 1 0 0 18 0 1 0 948055358 321331200 8204 33554432000 4194304 5683644 140736648844128 18446744073709551615 215988612678 0 0 16781312 33554946 5607886129203216646 0 0 17 5 0 0 0
/proc/17313/statm: 78450 8204 348 364 0 13331 0
[pid=17315] ppid=17313 vsize=122056 CPUtime=5.8 cores=1,3,5,7
/proc/17315/stat : 17315 (wbo1.4a) R 17313 17315 17315 0 -1 4202496 31248 0 0 0 577 3 0 0 25 0 1 0 948055358 124985344 29955 33554432000 134512640 135751879 4287747152 18446744073709551615 135206651 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/17315/statm: 30514 29956 143 303 0 30209 0
[pid=17294/tid=17302] ppid=17292 vsize=324044 CPUtime=0.24 cores=1,3,5,7
/proc/17294/task/17302/stat : 17302 (python) S 17292 17294 14716 0 -1 4202560 26 1458 0 0 0 0 18 6 18 0 4 0 948045888 331821056 9736 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554434 18446604458747673280 0 0 -1 5 0 0 0
[pid=17294/tid=17308] ppid=17292 vsize=324044 CPUtime=0.24 cores=1,3,5,7
/proc/17294/task/17308/stat : 17308 (python) S 17292 17294 14716 0 -1 4202560 27 1458 0 0 0 0 18 6 20 0 4 0 948050627 331821056 9736 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554434 18446604458747673280 0 0 -1 5 0 0 0
################
# More data... #
################
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1352.8 s]
/proc/loadavg: 2.01 2.08 2.00 6/887 17871
/proc/meminfo: memFree=1970872/32950940 swapFree=67111360/67111528
[pid=17294] ppid=17292 vsize=365068 CPUtime=1.91 cores=1,3,5,7
/proc/17294/stat : 17294 (python) S 17292 17294 14716 0 -1 4202496 21735 1458 1 0 133 34 18 6 20 0 8 0 948045710 373829632 9760 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/17294/statm: 91267 9760 1884 364 0 26136 0
[pid=17301] ppid=17294 vsize=303532 CPUtime=1.75 cores=1,3,5,7
/proc/17301/stat : 17301 (python) S 17294 17294 14716 0 -1 4202560 1215 0 0 0 87 88 0 0 15 0 2 0 948045888 310816768 8260 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17301/statm: 75883 8260 407 364 0 10770 0
[pid=17303] ppid=17301 vsize=140412 CPUtime=330.53 cores=1,3,5,7
/proc/17303/stat : 17303 (scip-2.0.1.linu) T 17301 17303 17303 0 -1 4202496 38503 0 0 0 32128 925 0 0 25 0 1 0 948045888 143781888 32282 33554432000 4194304 13684479 140736758937296 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/17303/statm: 35103 32282 809 2317 0 32781 0
[pid=17301/tid=17306] ppid=17294 vsize=303532 CPUtime=0 cores=1,3,5,7
/proc/17301/task/17306/stat : 17306 (python) S 17294 17294 14716 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 948050624 310816768 8260 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554946 18446604459524297664 0 0 -1 7 0 0 0
[pid=17307] ppid=17294 vsize=303544 CPUtime=4.3 cores=1,3,5,7
/proc/17307/stat : 17307 (python) S 17294 17294 14716 0 -1 4202560 1345 0 0 0 207 223 0 0 16 0 2 0 948050626 310829056 8250 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17307/statm: 75886 8250 397 364 0 10770 0
[pid=17309] ppid=17307 vsize=209260 CPUtime=784.68 cores=1,3,5,7
/proc/17309/stat : 17309 (scip-2.0.1.linu) T 17307 17309 17309 0 -1 4202496 162222 0 0 0 77773 695 0 0 25 0 1 0 948050627 214282240 48308 33554432000 4194304 15243407 140734121025216 18446744073709551615 8121945 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/17309/statm: 52315 48308 946 2698 0 49610 0
[pid=17307/tid=17312] ppid=17294 vsize=303544 CPUtime=0 cores=1,3,5,7
/proc/17307/task/17312/stat : 17312 (python) S 17294 17294 14716 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 948055355 310829056 8250 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554946 18446604461232784384 0 0 -1 7 0 0 0
[pid=17313] ppid=17294 vsize=313800 CPUtime=0.28 cores=1,3,5,7
/proc/17313/stat : 17313 (python) S 17294 17294 14716 0 -1 4202560 1195 0 0 0 14 14 0 0 16 0 2 0 948055358 321331200 8253 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17313/statm: 78450 8253 396 364 0 13331 0
[pid=17315] ppid=17313 vsize=336172 CPUtime=50.54 cores=1,3,5,7
/proc/17315/stat : 17315 (wbo1.4a) T 17313 17315 17315 0 -1 4202496 88901 0 0 0 5009 45 0 0 25 0 1 0 948055358 344240128 83440 33554432000 134512640 135751879 4287747152 18446744073709551615 134516976 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/17315/statm: 84043 83440 146 303 0 83738 0
[pid=17313/tid=17320] ppid=17294 vsize=313800 CPUtime=0 cores=1,3,5,7
/proc/17313/task/17320/stat : 17320 (python) S 17294 17294 14716 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 948060419 321331200 8253 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554946 18446604461830238528 0 0 -1 7 0 0 0
[pid=17321] ppid=17294 vsize=324056 CPUtime=0.2 cores=1,3,5,7
/proc/17321/stat : 17321 (python) S 17294 17294 14716 0 -1 4202560 1163 0 0 0 10 10 0 0 17 0 2 0 948060421 331833344 8251 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/17321/statm: 81014 8251 390 364 0 15892 0
[pid=17323] ppid=17321 vsize=8545784 CPUtime=46.29 cores=1,3,5,7
/proc/17323/stat : 17323 (java) T 17321 17323 17323 0 -1 4202496 572249 0 1 0 4569 60 0 0 18 0 19 0 948060422 8750882816 567745 33554432000 1073741824 1073778376 140735152681456 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17323/statm: 2136446 567745 2252 9 0 2127187 0
[pid=17323/tid=17324] ppid=17321 vsize=8545784 CPUtime=43.16 cores=1,3,5,7
/proc/17323/task/17324/stat : 17324 (java) T 17321 17323 17323 0 -1 4202560 473002 0 1 0 4267 49 0 0 25 0 19 0 948060423 8750882816 567745 33554432000 1073741824 1073778376 140735152681456 18446744073709551615 46912506046800 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17323/tid=17325] ppid=17321 vsize=8545784 CPUtime=0.16 cores=1,3,5,7
/proc/17323/task/17325/stat : 17325 (java) T 17321 17323 17323 0 -1 4202560 14046 0 0 0 15 1 0 0 15 0 19 0 948060423 8750882816 567745 33554432000 1073741824 1073778376 140735152681456 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17323/tid=17326] ppid=17321 vsize=8545784 CPUtime=0.08 cores=1,3,5,7
/proc/17323/task/17326/stat : 17326 (java) T 17321 17323 17323 0 -1 4202560 6170 0 0 0 8 0 0 0 15 0 19 0 948060423 8750882816 567745 33554432000 1073741824 1073778376 140735152681456 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17323/tid=17327] ppid=17321 vsize=8545784 CPUtime=0.17 cores=1,3,5,7
/proc/17323/task/17327/stat : 17327 (java) T 17321 17323 17323 0 -1 4202560 13741 0 0 0 16 1 0 0 15 0 19 0 948060423 8750882816 567745 33554432000 1073741824 1073778376 140735152681456 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17323/tid=17328] ppid=17321 vsize=8545784 CPUtime=0.1 cores=1,3,5,7
/proc/17323/task/17328/stat : 17328 (java) T 17321 17323 17323 0 -1 4202560 8199 0 0 0 10 0 0 0 15 0 19 0 948060423 8750882816 567745 33554432000 1073741824 1073778376 140735152681456 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17323/tid=17329] ppid=17321 vsize=8545784 CPUtime=0.14 cores=1,3,5,7
/proc/17323/task/17329/stat : 17329 (java) T 17321 17323 17323 0 -1 4202560 11532 0 0 0 13 1 0 0 15 0 19 0 948060423 8750882816 567745 33554432000 1073741824 1073778376 140735152681456 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17323/tid=17330] ppid=17321 vsize=8545784 CPUtime=0.18 cores=1,3,5,7
/proc/17323/task/17330/stat : 17330 (java) T 17321 17323 17323 0 -1 4202560 14342 0 0 0 17 1 0 0 15 0 19 0 948060423 8750882816 567745 33554432000 1073741824 1073778376 140735152681456 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17323/tid=17331] ppid=17321 vsize=8545784 CPUtime=0.1 cores=1,3,5,7
/proc/17323/task/17331/stat : 17331 (java) T 17321 17323 17323 0 -1 4202560 8505 0 0 0 9 1 0 0 15 0 19 0 948060423 8750882816 567745 33554432000 1073741824 1073778376 140735152681456 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17323/tid=17332] ppid=17321 vsize=8545784 CPUtime=0.1 cores=1,3,5,7
/proc/17323/task/17332/stat : 17332 (java) T 17321 17323 17323 0 -1 4202560 9385 0 0 0 10 0 0 0 15 0 19 0 948060423 8750882816 567745 33554432000 1073741824 1073778376 140735152681456 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17323/tid=17333] ppid=17321 vsize=8545784 CPUtime=0 cores=1,3,5,7
/proc/17323/task/17333/stat : 17333 (java) T 17321 17323 17323 0 -1 4202560 1269 0 0 0 0 0 0 0 15 0 19 0 948060424 8750882816 567745 33554432000 1073741824 1073778376 140735152681456 18446744073709551615 216000409088 0 0 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17323/tid=17334] ppid=17321 vsize=8545784 CPUtime=0 cores=1,3,5,7
/proc/17323/task/17334/stat : 17334 (java) T 17321 17323 17323 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948060425 8750882816 567745 33554432000 1073741824 1073778376 140735152681456 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17323/tid=17335] ppid=17321 vsize=8545784 CPUtime=0 cores=1,3,5,7
/proc/17323/task/17335/stat : 17335 (java) T 17321 17323 17323 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 948060425 8750882816 567745 33554432000 1073741824 1073778376 140735152681456 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17323/tid=17336] ppid=17321 vsize=8545784 CPUtime=0 cores=1,3,5,7
/proc/17323/task/17336/stat : 17336 (java) T 17321 17323 17323 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948060427 8750882816 567745 33554432000 1073741824 1073778376 140735152681456 18446744073709551615 216000416177 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17323/tid=17337] ppid=17321 vsize=8545784 CPUtime=0.97 cores=1,3,5,7
/proc/17323/task/17337/stat : 17337 (java) T 17321 17323 17323 0 -1 4202560 4577 0 0 0 97 0 0 0 15 0 19 0 948060427 8750882816 567745 33554432000 1073741824 1073778376 140735152681456 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17323/tid=17338] ppid=17321 vsize=8545784 CPUtime=1.02 cores=1,3,5,7
/proc/17323/task/17338/stat : 17338 (java) T 17321 17323 17323 0 -1 4202560 6085 0 0 0 101 1 0 0 15 0 19 0 948060427 8750882816 567745 33554432000 1073741824 1073778376 140735152681456 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17323/tid=17339] ppid=17321 vsize=8545784 CPUtime=0 cores=1,3,5,7
/proc/17323/task/17339/stat : 17339 (java) T 17321 17323 17323 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948060427 8750882816 567745 33554432000 1073741824 1073778376 140735152681456 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17323/tid=17340] ppid=17321 vsize=8545784 CPUtime=0 cores=1,3,5,7
/proc/17323/task/17340/stat : 17340 (java) T 17321 17323 17323 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948060427 8750882816 567745 33554432000 1073741824 1073778376 140735152681456 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17323/tid=17341] ppid=17321 vsize=8545784 CPUtime=0 cores=1,3,5,7
/proc/17323/task/17341/stat : 17341 (java) T 17321 17323 17323 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948060495 8750882816 567745 33554432000 1073741824 1073778376 140735152681456 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17321/tid=17343] ppid=17294 vsize=324056 CPUtime=0 cores=1,3,5,7
/proc/17321/task/17343/stat : 17343 (python) S 17294 17294 14716 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 948064779 331833344 8251 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554946 18446604459119986816 0 0 -1 5 0 0 0
[pid=17694] ppid=17294 vsize=334312 CPUtime=0.43 cores=1,3,5,7
/proc/17694/stat : 17694 (python) S 17294 17294 14716 0 -1 4202560 1203 0 0 0 19 24 0 0 17 0 2 0 948107130 342335488 8255 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/17694/statm: 83578 8255 390 364 0 18453 0
[pid=17696] ppid=17694 vsize=17604 CPUtime=92.91 cores=1,3,5,7
/proc/17696/stat : 17696 (clasp-1.3.7-x86) T 17694 17696 17696 0 -1 4202496 4848 0 0 0 9291 0 0 0 25 0 1 0 948107130 18026496 4148 33554432000 134512640 136139019 4291126464 18446744073709551615 134627165 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/17696/statm: 4401 4148 187 398 0 4001 0
[pid=17694/tid=17725] ppid=17294 vsize=334312 CPUtime=0 cores=1,3,5,7
/proc/17694/task/17725/stat : 17725 (python) S 17294 17294 14716 0 -1 4202560 52 0 0 0 0 0 0 0 17 0 2 0 948116423 342335488 8255 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554946 18446604466251991104 0 0 -1 5 0 0 0
[pid=17846] ppid=17294 vsize=344568 CPUtime=0.24 cores=1,3,5,7
/proc/17846/stat : 17846 (python) S 17294 17294 14716 0 -1 4202560 1161 0 0 0 12 12 0 0 16 0 2 0 948176155 352837632 8259 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17846/statm: 86142 8259 390 364 0 21014 0
[pid=17848] ppid=17846 vsize=91748 CPUtime=47.72 cores=1,3,5,7
/proc/17848/stat : 17848 (bsolo_pb10) T 17846 17848 17848 0 -1 4202496 21128 0 0 0 4766 6 0 0 25 0 1 0 948176155 93949952 20426 33554432000 134512640 137138936 4294731616 18446744073709551615 134542325 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/17848/statm: 22937 20426 192 642 0 22293 0
[pid=17846/tid=17851] ppid=17294 vsize=344568 CPUtime=0 cores=1,3,5,7
/proc/17846/task/17851/stat : 17851 (python) S 17294 17294 14716 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 2 0 948180928 352837632 8259 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554946 18446604461781008832 0 0 -1 7 0 0 0
[pid=17852] ppid=17294 vsize=354824 CPUtime=0 cores=1,3,5,7
/proc/17852/stat : 17852 (python) S 17294 17294 14716 0 -1 4202560 826 0 0 0 0 0 0 0 19 0 1 0 948180929 363339776 8191 33554432000 4194304 5683644 140736648844128 18446744073709551615 215988612678 0 0 16781312 33554946 783902729192865792 0 0 17 5 0 0 0
/proc/17852/statm: 88706 8191 319 364 0 23575 0
[pid=17854] ppid=17852 vsize=8540652 CPUtime=1.52 cores=1,3,5,7
/proc/17854/stat : 17854 (java) S 17852 17854 17854 0 -1 4202496 27227 0 1 0 147 5 0 0 17 0 18 0 948180929 8745627648 23332 33554432000 1073741824 1073778376 140735182861600 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17854/statm: 2135163 23334 2226 9 0 2125904 0
[pid=17854/tid=17855] ppid=17852 vsize=8540652 CPUtime=0.64 cores=1,3,5,7
/proc/17854/task/17855/stat : 17855 (java) R 17852 17854 17854 0 -1 4202560 17281 0 1 0 61 3 0 0 25 0 18 0 948180930 8745627648 24182 33554432000 1073741824 1073778376 140735182861600 18446744073709551615 46912505674346 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17854/tid=17856] ppid=17852 vsize=8540652 CPUtime=0 cores=1,3,5,7
/proc/17854/task/17856/stat : 17856 (java) S 17852 17854 17854 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948180931 8745627648 24184 33554432000 1073741824 1073778376 140735182861600 18446744073709551615 216000408473 0 4 0 16800975 18446604456972225216 0 0 -1 1 0 0 0
[pid=17854/tid=17857] ppid=17852 vsize=8540652 CPUtime=0 cores=1,3,5,7
/proc/17854/task/17857/stat : 17857 (java) S 17852 17854 17854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948180931 8745627648 24185 33554432000 1073741824 1073778376 140735182861600 18446744073709551615 216000408473 0 4 0 16800975 18446604456972225216 0 0 -1 3 0 0 0
[pid=17854/tid=17858] ppid=17852 vsize=8540652 CPUtime=0 cores=1,3,5,7
/proc/17854/task/17858/stat : 17858 (java) S 17852 17854 17854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948180931 8745627648 24185 33554432000 1073741824 1073778376 140735182861600 18446744073709551615 216000408473 0 4 0 16800975 18446604456972225216 0 0 -1 3 0 0 0
[pid=17854/tid=17859] ppid=17852 vsize=8540652 CPUtime=0 cores=1,3,5,7
/proc/17854/task/17859/stat : 17859 (java) S 17852 17854 17854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948180931 8745627648 24187 33554432000 1073741824 1073778376 140735182861600 18446744073709551615 216000408473 0 4 0 16800975 18446604456972225216 0 0 -1 3 0 0 0
[pid=17854/tid=17860] ppid=17852 vsize=8540652 CPUtime=0 cores=1,3,5,7
/proc/17854/task/17860/stat : 17860 (java) S 17852 17854 17854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948180931 8745627648 24189 33554432000 1073741824 1073778376 140735182861600 18446744073709551615 216000408473 0 4 0 16800975 18446604456972225216 0 0 -1 3 0 0 0
[pid=17854/tid=17861] ppid=17852 vsize=8540652 CPUtime=0 cores=1,3,5,7
/proc/17854/task/17861/stat : 17861 (java) S 17852 17854 17854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948180931 8745627648 24190 33554432000 1073741824 1073778376 140735182861600 18446744073709551615 216000408473 0 4 0 16800975 18446604456972225216 0 0 -1 3 0 0 0
[pid=17854/tid=17862] ppid=17852 vsize=8540652 CPUtime=0 cores=1,3,5,7
/proc/17854/task/17862/stat : 17862 (java) S 17852 17854 17854 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 948180931 8745627648 24192 33554432000 1073741824 1073778376 140735182861600 18446744073709551615 216000408473 0 4 0 16800975 18446604456972225216 0 0 -1 3 0 0 0
[pid=17854/tid=17863] ppid=17852 vsize=8540652 CPUtime=0 cores=1,3,5,7
/proc/17854/task/17863/stat : 17863 (java) S 17852 17854 17854 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948180931 8745627648 24196 33554432000 1073741824 1073778376 140735182861600 18446744073709551615 216000408473 0 4 0 16800975 18446604456972225216 0 0 -1 3 0 0 0
[pid=17854/tid=17864] ppid=17852 vsize=8540652 CPUtime=0 cores=1,3,5,7
/proc/17854/task/17864/stat : 17864 (java) S 17852 17854 17854 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 948180932 8745627648 24198 33554432000 1073741824 1073778376 140735182861600 18446744073709551615 216000409088 0 0 0 16800975 18446604456972225216 0 0 -1 3 0 0 0
[pid=17854/tid=17865] ppid=17852 vsize=8540652 CPUtime=0 cores=1,3,5,7
/proc/17854/task/17865/stat : 17865 (java) S 17852 17854 17854 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 948180932 8745627648 24200 33554432000 1073741824 1073778376 140735182861600 18446744073709551615 216000408473 0 4 0 16800975 18446604456972225216 0 0 -1 1 0 0 0
[pid=17854/tid=17866] ppid=17852 vsize=8540652 CPUtime=0 cores=1,3,5,7
/proc/17854/task/17866/stat : 17866 (java) S 17852 17854 17854 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 948180932 8745627648 24202 33554432000 1073741824 1073778376 140735182861600 18446744073709551615 216000408473 0 4 0 16800975 18446604456972225216 0 0 -1 1 0 0 0
[pid=17854/tid=17867] ppid=17852 vsize=8540652 CPUtime=0 cores=1,3,5,7
/proc/17854/task/17867/stat : 17867 (java) S 17852 17854 17854 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948180934 8745627648 24203 33554432000 1073741824 1073778376 140735182861600 18446744073709551615 216000416177 0 4 0 16800975 18446604456972225216 0 0 -1 1 0 0 0
[pid=17854/tid=17868] ppid=17852 vsize=8540652 CPUtime=0.47 cores=1,3,5,7
/proc/17854/task/17868/stat : 17868 (java) R 17852 17854 17854 0 -1 4202560 6081 0 0 0 47 0 0 0 17 0 18 0 948180934 8745627648 24205 33554432000 1073741824 1073778376 140735182861600 18446744073709551615 47004989143460 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17854/tid=17869] ppid=17852 vsize=8540652 CPUtime=0.4 cores=1,3,5,7
/proc/17854/task/17869/stat : 17869 (java) R 17852 17854 17854 0 -1 4202560 3320 0 0 0 40 0 0 0 25 0 18 0 948180934 8745627648 24209 33554432000 1073741824 1073778376 140735182861600 18446744073709551615 47004993518127 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17854/tid=17870] ppid=17852 vsize=8540652 CPUtime=0 cores=1,3,5,7
/proc/17854/task/17870/stat : 17870 (java) S 17852 17854 17854 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948180934 8745627648 24212 33554432000 1073741824 1073778376 140735182861600 18446744073709551615 216000408473 0 4 0 16800975 18446604456972225216 0 0 -1 3 0 0 0
[pid=17854/tid=17871] ppid=17852 vsize=8540652 CPUtime=0 cores=1,3,5,7
/proc/17854/task/17871/stat : 17871 (java) S 17852 17854 17854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948180934 8745627648 24214 33554432000 1073741824 1073778376 140735182861600 18446744073709551615 216000409088 0 4 0 16800975 18446604456972225216 0 0 -1 5 0 0 0
[pid=17294/tid=17302] ppid=17292 vsize=365068 CPUtime=0.24 cores=1,3,5,7
/proc/17294/task/17302/stat : 17302 (python) S 17292 17294 14716 0 -1 4202560 31 1458 0 0 0 0 18 6 18 0 8 0 948045888 373829632 9760 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554434 18446604458747673280 0 0 -1 5 0 0 0
[pid=17294/tid=17308] ppid=17292 vsize=365068 CPUtime=0.24 cores=1,3,5,7
/proc/17294/task/17308/stat : 17308 (python) S 17292 17294 14716 0 -1 4202560 38 1458 0 0 0 0 18 6 18 0 8 0 948050627 373829632 9760 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554434 18446604458747673280 0 0 -1 5 0 0 0
[pid=17294/tid=17314] ppid=17292 vsize=365068 CPUtime=0.24 cores=1,3,5,7
/proc/17294/task/17314/stat : 17314 (python) S 17292 17294 14716 0 -1 4202560 30 1458 0 0 0 0 18 6 20 0 8 0 948055358 373829632 9760 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554434 18446604458747673280 0 0 -1 5 0 0 0
[pid=17294/tid=17322] ppid=17292 vsize=365068 CPUtime=0.24 cores=1,3,5,7
/proc/17294/task/17322/stat : 17322 (python) S 17292 17294 14716 0 -1 4202560 31 1458 0 0 0 0 18 6 20 0 8 0 948060421 373829632 9760 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554434 18446604458747673280 0 0 -1 5 0 0 0
[pid=17294/tid=17695] ppid=17292 vsize=365068 CPUtime=0.24 cores=1,3,5,7
/proc/17294/task/17695/stat : 17695 (python) S 17292 17294 14716 0 -1 4202560 27 1458 0 0 0 0 18 6 20 0 8 0 948107130 373829632 9760 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554434 18446604458747673280 0 0 -1 7 0 0 0
[pid=17294/tid=17847] ppid=17292 vsize=365068 CPUtime=0.24 cores=1,3,5,7
/proc/17294/task/17847/stat : 17847 (python) S 17292 17294 14716 0 -1 4202560 30 1458 0 0 0 0 18 6 20 0 8 0 948176155 373829632 9760 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554434 18446604458747673280 0 0 -1 5 0 0 0
[pid=17294/tid=17853] ppid=17292 vsize=365068 CPUtime=0.24 cores=1,3,5,7
/proc/17294/task/17853/stat : 17853 (python) S 17292 17294 14716 0 -1 4202560 27 1458 0 0 0 0 18 6 20 0 8 0 948180929 373829632 9760 33554432000 4194304 5683644 140736648844128 18446744073709551615 216000416177 0 0 16781312 33554434 18446604458747673280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1363.3
Current children cumulated vsize (KiB) 20525336
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 17294 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=527767
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=415936
# CPU time returned by wait4() is 1.9437
# while last known CPU time is 1363.3
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1352.9
CPU time (s): 1363.3
CPU user time (s): 1341.83
CPU system time (s): 21.47
CPU usage (%): 100.769
Max. virtual memory (cumulated for all children) (KiB): 20525336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.52777
system time used= 0.415936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23197
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= 17260
involuntary context switches= 24
runsolver used 10.6624 second user time and 24.2413 second system time
The end