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-3481526-1307578038/watcher-3481526-1307578038 -o /tmp/evaluation-result-3481526-1307578038/solver-3481526-1307578038 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481526-1307578038.opb -seed 1249469173 -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.12 2.06 1.71 2/685 5361
/proc/meminfo: memFree=16728348/32951124 swapFree=56930356/67111528
[pid=5361] ppid=5359 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/5361/stat : 5361 (python) R 5359 5361 4191 0 -1 4202496 807 0 0 0 0 0 0 0 17 0 1 0 869401597 15749120 693 33554432000 4194304 5683644 140735027265440 18446744073709551615 218905730704 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/5361/statm: 3845 693 332 364 0 332 0
[startup+0.088206 s]
/proc/loadavg: 2.12 2.06 1.71 2/685 5361
/proc/meminfo: memFree=16728348/32951124 swapFree=56930356/67111528
[pid=5361] ppid=5359 vsize=52376 CPUtime=0.04 cores=1,3,5,7
/proc/5361/stat : 5361 (python) R 5359 5361 4191 0 -1 4202496 2015 0 0 0 4 0 0 0 17 0 1 0 869401597 53633024 1775 33554432000 4194304 5683644 140735027265440 18446744073709551615 218900807303 0 2147483391 16781312 2 0 0 0 17 3 0 0 0
/proc/5361/statm: 13625 1775 484 364 0 1275 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 52376
[startup+0.100198 s]
/proc/loadavg: 2.12 2.06 1.71 2/685 5361
/proc/meminfo: memFree=16728348/32951124 swapFree=56930356/67111528
[pid=5361] ppid=5359 vsize=85360 CPUtime=0.06 cores=1,3,5,7
/proc/5361/stat : 5361 (python) R 5359 5361 4191 0 -1 4202496 2592 0 0 0 5 1 0 0 17 0 1 0 869401597 87408640 2315 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917560178 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/5361/statm: 21341 2317 715 364 0 1558 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85360
[startup+0.300235 s]
/proc/loadavg: 2.12 2.06 1.71 2/685 5361
/proc/meminfo: memFree=16728348/32951124 swapFree=56930356/67111528
[pid=5361] ppid=5359 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/5361/stat : 5361 (python) R 5359 5361 4191 0 -1 4202496 5356 926 1 0 13 4 0 0 16 0 1 0 869401597 126709760 3744 33554432000 4194304 5683644 140735027265440 18446744073709551615 218905730704 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/5361/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.701115 s]
/proc/loadavg: 2.12 2.06 1.71 2/685 5361
/proc/meminfo: memFree=16728348/32951124 swapFree=56930356/67111528
[pid=5361] ppid=5359 vsize=277984 CPUtime=0.42 cores=1,3,5,7
/proc/5361/stat : 5361 (python) R 5359 5361 4191 0 -1 4202496 8919 926 1 0 30 12 0 0 15 0 1 0 869401597 284655616 6841 33554432000 4194304 5683644 140735027265440 18446744073709551615 218900751558 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/5361/statm: 69496 6846 1732 364 0 5461 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 277984
[startup+1.50095 s]
/proc/loadavg: 2.12 2.06 1.71 3/686 5367
/proc/meminfo: memFree=16698456/32951124 swapFree=56930356/67111528
[pid=5361] ppid=5359 vsize=291456 CPUtime=1.33 cores=1,3,5,7
/proc/5361/stat : 5361 (python) R 5359 5361 4191 0 -1 4202496 14479 1451 1 0 93 19 18 3 16 0 1 0 869401597 298450944 9208 33554432000 4194304 5683644 140735027265440 18446744073709551615 46959978861657 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/5361/statm: 72864 9208 1817 364 0 7757 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 291456
[startup+3.12166 s]
/proc/loadavg: 2.12 2.06 1.71 3/689 5370
/proc/meminfo: memFree=16602204/32951124 swapFree=56930356/67111528
[pid=5361] ppid=5359 vsize=302368 CPUtime=1.48 cores=1,3,5,7
/proc/5361/stat : 5361 (python) S 5359 5361 4191 0 -1 4202496 15307 1451 1 0 108 19 18 3 18 0 2 0 869401597 309624832 9432 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/5361/statm: 75592 9432 1871 364 0 10479 0
[pid=5368] ppid=5361 vsize=292124 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (python) S 5361 5361 4191 0 -1 4202560 731 0 0 0 0 0 0 0 15 0 1 0 869401763 299134976 7875 33554432000 4194304 5683644 140735027265440 18446744073709551615 218905751055 0 0 16781312 33554946 12043412898727297287 0 0 17 3 0 0 0
/proc/5368/statm: 73031 7875 318 364 0 7918 0
[pid=5370] ppid=5368 vsize=101464 CPUtime=1.45 cores=1,3,5,7
/proc/5370/stat : 5370 (scip-2.0.1.linu) R 5368 5370 5370 0 -1 4202496 24364 0 0 0 128 17 0 0 18 0 1 0 869401763 103899136 22192 33554432000 4194304 13684479 140737418900912 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5370/statm: 25366 22192 757 2317 0 23044 0
[pid=5361/tid=5369] ppid=5359 vsize=302368 CPUtime=0.21 cores=1,3,5,7
/proc/5361/task/5369/stat : 5369 (python) S 5359 5361 4191 0 -1 4202560 29 1451 0 0 0 0 18 3 18 0 2 0 869401763 309624832 9432 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470066741696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 695956
[startup+6.30108 s]
/proc/loadavg: 2.11 2.06 1.71 3/689 5370
/proc/meminfo: memFree=16592284/32951124 swapFree=56930356/67111528
[pid=5361] ppid=5359 vsize=302368 CPUtime=1.48 cores=1,3,5,7
/proc/5361/stat : 5361 (python) S 5359 5361 4191 0 -1 4202496 15307 1451 1 0 108 19 18 3 18 0 2 0 869401597 309624832 9432 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/5361/statm: 75592 9432 1871 364 0 10479 0
[pid=5368] ppid=5361 vsize=292124 CPUtime=0.02 cores=1,3,5,7
/proc/5368/stat : 5368 (python) S 5361 5361 4191 0 -1 4202560 880 0 0 0 1 1 0 0 15 0 1 0 869401763 299134976 7899 33554432000 4194304 5683644 140735027265440 18446744073709551615 218905751055 0 0 16781312 33554946 1914876117693497344 0 0 17 3 0 0 0
/proc/5368/statm: 73031 7899 342 364 0 7918 0
[pid=5370] ppid=5368 vsize=113088 CPUtime=4.64 cores=1,3,5,7
/proc/5370/stat : 5370 (scip-2.0.1.linu) R 5368 5370 5370 0 -1 4202496 27587 0 0 0 439 25 0 0 20 0 1 0 869401763 115802112 25415 33554432000 4194304 13684479 140737418900912 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5370/statm: 28272 25415 758 2317 0 25950 0
[pid=5361/tid=5369] ppid=5359 vsize=302368 CPUtime=0.21 cores=1,3,5,7
/proc/5361/task/5369/stat : 5369 (python) S 5359 5361 4191 0 -1 4202560 29 1451 0 0 0 0 18 3 18 0 2 0 869401763 309624832 9432 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470066741696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 707580
[startup+12.7009 s]
/proc/loadavg: 2.10 2.06 1.71 3/689 5370
/proc/meminfo: memFree=16574704/32951124 swapFree=56930356/67111528
[pid=5361] ppid=5359 vsize=302368 CPUtime=1.48 cores=1,3,5,7
/proc/5361/stat : 5361 (python) S 5359 5361 4191 0 -1 4202496 15307 1451 1 0 108 19 18 3 18 0 2 0 869401597 309624832 9432 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/5361/statm: 75592 9432 1871 364 0 10479 0
[pid=5368] ppid=5361 vsize=292124 CPUtime=0.04 cores=1,3,5,7
/proc/5368/stat : 5368 (python) S 5361 5361 4191 0 -1 4202560 891 0 0 0 2 2 0 0 15 0 1 0 869401763 299134976 7899 33554432000 4194304 5683644 140735027265440 18446744073709551615 218905751055 0 0 16781312 33554946 2382585699606986752 0 0 17 7 0 0 0
/proc/5368/statm: 73031 7899 342 364 0 7918 0
[pid=5370] ppid=5368 vsize=129692 CPUtime=11.03 cores=1,3,5,7
/proc/5370/stat : 5370 (scip-2.0.1.linu) R 5368 5370 5370 0 -1 4202496 32109 0 0 0 1068 35 0 0 18 0 1 0 869401763 132804608 29749 33554432000 4194304 13684479 140737418900912 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5370/statm: 32423 29749 760 2317 0 30101 0
[pid=5361/tid=5369] ppid=5359 vsize=302368 CPUtime=0.21 cores=1,3,5,7
/proc/5361/task/5369/stat : 5369 (python) S 5359 5361 4191 0 -1 4202560 29 1451 0 0 0 0 18 3 18 0 2 0 869401763 309624832 9432 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470066741696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 724184
[startup+25.5006 s]
/proc/loadavg: 2.08 2.05 1.72 3/689 5370
/proc/meminfo: memFree=16556112/32951124 swapFree=56930356/67111528
[pid=5361] ppid=5359 vsize=302368 CPUtime=1.48 cores=1,3,5,7
/proc/5361/stat : 5361 (python) S 5359 5361 4191 0 -1 4202496 15307 1451 1 0 108 19 18 3 18 0 2 0 869401597 309624832 9432 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/5361/statm: 75592 9432 1871 364 0 10479 0
[pid=5368] ppid=5361 vsize=292124 CPUtime=0.12 cores=1,3,5,7
/proc/5368/stat : 5368 (python) S 5361 5361 4191 0 -1 4202560 908 0 0 0 5 7 0 0 15 0 1 0 869401763 299134976 7899 33554432000 4194304 5683644 140735027265440 18446744073709551615 218905751055 0 0 16781312 33554946 2634453057269661696 0 0 17 7 0 0 0
/proc/5368/statm: 73031 7899 342 364 0 7918 0
[pid=5370] ppid=5368 vsize=148476 CPUtime=23.84 cores=1,3,5,7
/proc/5370/stat : 5370 (scip-2.0.1.linu) R 5368 5370 5370 0 -1 4202496 36827 0 0 0 2330 54 0 0 18 0 1 0 869401763 152039424 34307 33554432000 4194304 13684479 140737418900912 18446744073709551615 7416160 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5370/statm: 37119 34307 761 2317 0 34797 0
[pid=5361/tid=5369] ppid=5359 vsize=302368 CPUtime=0.21 cores=1,3,5,7
/proc/5361/task/5369/stat : 5369 (python) S 5359 5361 4191 0 -1 4202560 29 1451 0 0 0 0 18 3 18 0 2 0 869401763 309624832 9432 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470066741696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 742968
[startup+51.101 s]
/proc/loadavg: 2.11 2.06 1.73 3/689 5371
/proc/meminfo: memFree=16522840/32951124 swapFree=56930356/67111528
[pid=5361] ppid=5359 vsize=302368 CPUtime=1.48 cores=1,3,5,7
/proc/5361/stat : 5361 (python) S 5359 5361 4191 0 -1 4202496 15307 1451 1 0 108 19 18 3 18 0 2 0 869401597 309624832 9432 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/5361/statm: 75592 9432 1871 364 0 10479 0
[pid=5368] ppid=5361 vsize=292124 CPUtime=0.26 cores=1,3,5,7
/proc/5368/stat : 5368 (python) S 5361 5361 4191 0 -1 4202560 920 0 0 0 12 14 0 0 15 0 1 0 869401763 299134976 7899 33554432000 4194304 5683644 140735027265440 18446744073709551615 218905751055 0 0 16781312 33554946 442210399731843072 0 0 17 7 0 0 0
/proc/5368/statm: 73031 7899 342 364 0 7918 0
[pid=5370] ppid=5368 vsize=182892 CPUtime=49.44 cores=1,3,5,7
/proc/5370/stat : 5370 (scip-2.0.1.linu) R 5368 5370 5370 0 -1 4202496 45227 0 0 0 4857 87 0 0 25 0 1 0 869401763 187281408 42371 33554432000 4194304 13684479 140737418900912 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5370/statm: 45723 42371 761 2317 0 43401 0
[pid=5361/tid=5369] ppid=5359 vsize=302368 CPUtime=0.21 cores=1,3,5,7
/proc/5361/task/5369/stat : 5369 (python) S 5359 5361 4191 0 -1 4202560 29 1451 0 0 0 0 18 3 18 0 2 0 869401763 309624832 9432 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470066741696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 777384
[startup+102.301 s]
/proc/loadavg: 2.05 2.05 1.74 3/697 5380
/proc/meminfo: memFree=16292472/32951124 swapFree=56930356/67111528
[pid=5361] ppid=5359 vsize=322880 CPUtime=1.54 cores=1,3,5,7
/proc/5361/stat : 5361 (python) S 5359 5361 4191 0 -1 4202496 17135 1451 1 0 113 20 18 3 20 0 4 0 869401597 330629120 9445 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/5361/statm: 80720 9445 1876 364 0 15601 0
[pid=5368] ppid=5361 vsize=302368 CPUtime=0.28 cores=1,3,5,7
/proc/5368/stat : 5368 (python) S 5361 5361 4191 0 -1 4202560 1114 0 0 0 13 15 0 0 16 0 2 0 869401763 309624832 7967 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5368/statm: 75592 7967 405 364 0 10479 0
[pid=5370] ppid=5368 vsize=185976 CPUtime=50.69 cores=1,3,5,7
/proc/5370/stat : 5370 (scip-2.0.1.linu) T 5368 5370 5370 0 -1 4202496 45897 0 0 0 4981 88 0 0 18 0 1 0 869401763 190439424 43041 33554432000 4194304 13684479 140737418900912 18446744073709551615 4542349 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/5370/statm: 46494 43041 761 2317 0 44172 0
[pid=5368/tid=5372] ppid=5361 vsize=302368 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5372/stat : 5372 (python) S 5361 5361 4191 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869406833 309624832 7967 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554946 18446604468416618880 0 0 -1 7 0 0 0
[pid=5373] ppid=5361 vsize=302380 CPUtime=0.26 cores=1,3,5,7
/proc/5373/stat : 5373 (python) S 5361 5361 4191 0 -1 4202560 1122 0 0 0 12 14 0 0 16 0 2 0 869406836 309637120 7952 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5373/statm: 75595 7952 390 364 0 10479 0
[pid=5375] ppid=5373 vsize=157316 CPUtime=45.99 cores=1,3,5,7
/proc/5375/stat : 5375 (scip-2.0.1.linu) T 5373 5375 5375 0 -1 4202496 39806 0 0 0 4570 29 0 0 22 0 1 0 869406836 161091584 35982 33554432000 4194304 15243407 140737338935952 18446744073709551615 4542800 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/5375/statm: 39329 35982 866 2698 0 36624 0
[pid=5373/tid=5377] ppid=5361 vsize=302380 CPUtime=0 cores=1,3,5,7
/proc/5373/task/5377/stat : 5377 (python) S 5361 5361 4191 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869411435 309637120 7952 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554946 18446604469551752512 0 0 -1 7 0 0 0
[pid=5378] ppid=5361 vsize=312636 CPUtime=0.02 cores=1,3,5,7
/proc/5378/stat : 5378 (python) S 5361 5361 4191 0 -1 4202560 915 0 0 0 1 1 0 0 18 0 1 0 869411438 320139264 7908 33554432000 4194304 5683644 140735027265440 18446744073709551615 218905751110 0 0 16781312 33554946 9083019691101749512 0 0 17 5 0 0 0
/proc/5378/statm: 78159 7908 343 364 0 13040 0
[pid=5380] ppid=5378 vsize=84528 CPUtime=3.88 cores=1,3,5,7
/proc/5380/stat : 5380 (wbo1.4a) R 5378 5380 5380 0 -1 4202496 21673 0 0 0 385 3 0 0 25 0 1 0 869411438 86556672 20514 33554432000 134512640 135751879 4287330768 18446744073709551615 134518465 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/5380/statm: 21132 20514 143 303 0 20827 0
[pid=5361/tid=5369] ppid=5359 vsize=322880 CPUtime=0.21 cores=1,3,5,7
/proc/5361/task/5369/stat : 5369 (python) S 5359 5361 4191 0 -1 4202560 29 1451 0 0 0 0 18 3 18 0 4 0 869401763 330629120 9445 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470066741696 0 0 -1 3 0 0 0
[pid=5361/tid=5374] ppid=5359 vsize=322880 CPUtime=0.21 cores=1,3,5,7
/proc/5361/task/5374/stat : 5374 (python) S 5359 5361 4191 0 -1 4202560 27 1451 0 0 0 0 18 3 20 0 4 0 869406836 330629120 9445 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470066741696 0 0 -1 5 0 0 0
[pid=5361/tid=5379] ppid=5359 vsize=322880 CPUtime=0.21 cores=1,3,5,7
/proc/5361/task/5379/stat : 5379 (python) S 5359 5361 4191 0 -1 4202560 33 1451 0 0 0 0 18 3 20 0 4 0 869411438 330629120 9445 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470066741696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 102.66
Current children cumulated vsize (KiB) 1668084
[startup+162.302 s]
/proc/loadavg: 2.02 2.04 1.75 3/719 5404
/proc/meminfo: memFree=15323384/32951124 swapFree=56930356/67111528
[pid=5361] ppid=5359 vsize=333136 CPUtime=1.56 cores=1,3,5,7
/proc/5361/stat : 5361 (python) S 5359 5361 4191 0 -1 4202496 18069 1451 1 0 115 20 18 3 19 0 5 0 869401597 341131264 9451 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
################
# More data... #
################
[pid=5361/tid=5379] ppid=5359 vsize=343392 CPUtime=0.21 cores=1,3,5,7
/proc/5361/task/5379/stat : 5379 (python) S 5359 5361 4191 0 -1 4202560 33 1451 0 0 0 0 18 3 20 0 6 0 869411438 351633408 9457 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470066741696 0 0 -1 7 0 0 0
[pid=5361/tid=5384] ppid=5359 vsize=343392 CPUtime=0.21 cores=1,3,5,7
/proc/5361/task/5384/stat : 5384 (python) S 5359 5361 4191 0 -1 4202560 24 1451 0 0 0 0 18 3 20 0 6 0 869416283 351633408 9457 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470066741696 0 0 -1 7 0 0 0
[pid=5361/tid=5409] ppid=5359 vsize=343392 CPUtime=0.21 cores=1,3,5,7
/proc/5361/task/5409/stat : 5409 (python) S 5359 5361 4191 0 -1 4202560 31 1451 0 0 0 0 18 3 20 0 6 0 869425421 351633408 9457 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470066741696 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 648.18
Current children cumulated vsize (KiB) 11297792
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+701.502 s]
/proc/loadavg: 2.03 2.06 1.87 4/745 5444
/proc/meminfo: memFree=14458848/32951124 swapFree=56930356/67111528
[pid=5361] ppid=5359 vsize=353648 CPUtime=1.69 cores=1,3,5,7
/proc/5361/stat : 5361 (python) S 5359 5361 4191 0 -1 4202496 20117 1451 1 0 128 20 18 3 19 0 7 0 869401597 362135552 9463 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/5361/statm: 88412 9463 1882 364 0 23284 0
[pid=5368] ppid=5361 vsize=302368 CPUtime=1.73 cores=1,3,5,7
/proc/5368/stat : 5368 (python) S 5361 5361 4191 0 -1 4202560 1188 0 0 0 83 90 0 0 15 0 2 0 869401763 309624832 7968 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5368/statm: 75592 7968 406 364 0 10479 0
[pid=5370] ppid=5368 vsize=212844 CPUtime=325.38 cores=1,3,5,7
/proc/5370/stat : 5370 (scip-2.0.1.linu) T 5368 5370 5370 0 -1 4202496 52900 0 0 0 32138 400 0 0 25 0 1 0 869401763 217952256 49951 33554432000 4194304 13684479 140737418900912 18446744073709551615 7354519 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/5370/statm: 53211 49951 786 2317 0 50889 0
[pid=5368/tid=5372] ppid=5361 vsize=302368 CPUtime=0 cores=1,3,5,7
/proc/5368/task/5372/stat : 5372 (python) S 5361 5361 4191 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869406833 309624832 7968 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554946 18446604468416618880 0 0 -1 5 0 0 0
[pid=5373] ppid=5361 vsize=302380 CPUtime=1.06 cores=1,3,5,7
/proc/5373/stat : 5373 (python) S 5361 5361 4191 0 -1 4202560 1208 0 0 0 50 56 0 0 15 0 2 0 869406836 309637120 7952 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5373/statm: 75595 7952 390 364 0 10479 0
[pid=5375] ppid=5373 vsize=202612 CPUtime=186.55 cores=1,3,5,7
/proc/5375/stat : 5375 (scip-2.0.1.linu) T 5373 5375 5375 0 -1 4202496 60452 0 0 0 18589 66 0 0 25 0 1 0 869406836 207474688 46237 33554432000 4194304 15243407 140737338935952 18446744073709551615 4958054 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/5375/statm: 50653 46237 866 2698 0 47948 0
[pid=5373/tid=5377] ppid=5361 vsize=302380 CPUtime=0 cores=1,3,5,7
/proc/5373/task/5377/stat : 5377 (python) S 5361 5361 4191 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 869411435 309637120 7952 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554946 18446604469551752512 0 0 -1 5 0 0 0
[pid=5378] ppid=5361 vsize=312636 CPUtime=0.28 cores=1,3,5,7
/proc/5378/stat : 5378 (python) S 5361 5361 4191 0 -1 4202560 1154 0 0 0 14 14 0 0 16 0 2 0 869411438 320139264 7956 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/5378/statm: 78159 7956 390 364 0 13040 0
[pid=5380] ppid=5378 vsize=396572 CPUtime=48.33 cores=1,3,5,7
/proc/5380/stat : 5380 (wbo1.4a) T 5378 5380 5380 0 -1 4202496 99899 0 0 0 4789 44 0 0 25 0 1 0 869411438 406089728 98498 33554432000 134512640 135751879 4287330768 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/5380/statm: 99143 98498 146 303 0 98838 0
[pid=5378/tid=5382] ppid=5361 vsize=312636 CPUtime=0 cores=1,3,5,7
/proc/5378/task/5382/stat : 5382 (python) S 5361 5361 4191 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869416280 320139264 7956 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554946 18446604470123190080 0 0 -1 5 0 0 0
[pid=5383] ppid=5361 vsize=322892 CPUtime=0.23 cores=1,3,5,7
/proc/5383/stat : 5383 (python) S 5361 5361 4191 0 -1 4202560 1147 0 0 0 11 12 0 0 17 0 2 0 869416283 330641408 7960 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5383/statm: 80723 7960 390 364 0 15601 0
[pid=5385] ppid=5383 vsize=8545116 CPUtime=48.6 cores=1,3,5,7
/proc/5385/stat : 5385 (java) T 5383 5385 5385 0 -1 4202496 332884 0 1 0 4821 39 0 0 18 0 19 0 869416283 8750198784 325876 33554432000 1073741824 1073778376 140733242267088 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5385/statm: 2136279 325876 2253 9 0 2127020 0
[pid=5385/tid=5386] ppid=5383 vsize=8545116 CPUtime=45.44 cores=1,3,5,7
/proc/5385/task/5386/stat : 5386 (java) T 5383 5385 5385 0 -1 4202560 232632 0 1 0 4517 27 0 0 25 0 19 0 869416284 8750198784 325876 33554432000 1073741824 1073778376 140733242267088 18446744073709551615 46912506028857 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5385/tid=5387] ppid=5383 vsize=8545116 CPUtime=0.1 cores=1,3,5,7
/proc/5385/task/5387/stat : 5387 (java) T 5383 5385 5385 0 -1 4202560 8216 0 0 0 10 0 0 0 15 0 19 0 869416285 8750198784 325876 33554432000 1073741824 1073778376 140733242267088 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5385/tid=5388] ppid=5383 vsize=8545116 CPUtime=0.16 cores=1,3,5,7
/proc/5385/task/5388/stat : 5388 (java) T 5383 5385 5385 0 -1 4202560 12784 0 0 0 15 1 0 0 15 0 19 0 869416285 8750198784 325876 33554432000 1073741824 1073778376 140733242267088 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5385/tid=5389] ppid=5383 vsize=8545116 CPUtime=0.15 cores=1,3,5,7
/proc/5385/task/5389/stat : 5389 (java) T 5383 5385 5385 0 -1 4202560 11503 0 0 0 14 1 0 0 15 0 19 0 869416285 8750198784 325876 33554432000 1073741824 1073778376 140733242267088 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5385/tid=5390] ppid=5383 vsize=8545116 CPUtime=0.21 cores=1,3,5,7
/proc/5385/task/5390/stat : 5390 (java) T 5383 5385 5385 0 -1 4202560 17637 0 0 0 19 2 0 0 15 0 19 0 869416285 8750198784 325876 33554432000 1073741824 1073778376 140733242267088 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5385/tid=5391] ppid=5383 vsize=8545116 CPUtime=0.17 cores=1,3,5,7
/proc/5385/task/5391/stat : 5391 (java) T 5383 5385 5385 0 -1 4202560 14445 0 0 0 16 1 0 0 15 0 19 0 869416285 8750198784 325876 33554432000 1073741824 1073778376 140733242267088 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5385/tid=5392] ppid=5383 vsize=8545116 CPUtime=0.05 cores=1,3,5,7
/proc/5385/task/5392/stat : 5392 (java) T 5383 5385 5385 0 -1 4202560 3615 0 0 0 5 0 0 0 15 0 19 0 869416285 8750198784 325876 33554432000 1073741824 1073778376 140733242267088 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5385/tid=5393] ppid=5383 vsize=8545116 CPUtime=0.05 cores=1,3,5,7
/proc/5385/task/5393/stat : 5393 (java) T 5383 5385 5385 0 -1 4202560 4814 0 0 0 5 0 0 0 15 0 19 0 869416285 8750198784 325876 33554432000 1073741824 1073778376 140733242267088 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5385/tid=5394] ppid=5383 vsize=8545116 CPUtime=0.14 cores=1,3,5,7
/proc/5385/task/5394/stat : 5394 (java) T 5383 5385 5385 0 -1 4202560 12140 0 0 0 13 1 0 0 15 0 19 0 869416285 8750198784 325876 33554432000 1073741824 1073778376 140733242267088 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5385/tid=5395] ppid=5383 vsize=8545116 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5395/stat : 5395 (java) T 5383 5385 5385 0 -1 4202560 1003 0 0 0 0 0 0 0 15 0 19 0 869416286 8750198784 325876 33554432000 1073741824 1073778376 140733242267088 18446744073709551615 218917547520 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5385/tid=5396] ppid=5383 vsize=8545116 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5396/stat : 5396 (java) T 5383 5385 5385 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869416286 8750198784 325876 33554432000 1073741824 1073778376 140733242267088 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5385/tid=5397] ppid=5383 vsize=8545116 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5397/stat : 5397 (java) T 5383 5385 5385 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869416286 8750198784 325876 33554432000 1073741824 1073778376 140733242267088 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5385/tid=5398] ppid=5383 vsize=8545116 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5398/stat : 5398 (java) T 5383 5385 5385 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869416289 8750198784 325876 33554432000 1073741824 1073778376 140733242267088 18446744073709551615 218917554609 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5385/tid=5399] ppid=5383 vsize=8545116 CPUtime=1.08 cores=1,3,5,7
/proc/5385/task/5399/stat : 5399 (java) T 5383 5385 5385 0 -1 4202560 5928 0 0 0 108 0 0 0 15 0 19 0 869416289 8750198784 325876 33554432000 1073741824 1073778376 140733242267088 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5385/tid=5400] ppid=5383 vsize=8545116 CPUtime=0.95 cores=1,3,5,7
/proc/5385/task/5400/stat : 5400 (java) T 5383 5385 5385 0 -1 4202560 6766 0 0 0 95 0 0 0 15 0 19 0 869416289 8750198784 325876 33554432000 1073741824 1073778376 140733242267088 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5385/tid=5401] ppid=5383 vsize=8545116 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5401/stat : 5401 (java) T 5383 5385 5385 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869416289 8750198784 325876 33554432000 1073741824 1073778376 140733242267088 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5385/tid=5402] ppid=5383 vsize=8545116 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5402/stat : 5402 (java) T 5383 5385 5385 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869416289 8750198784 325876 33554432000 1073741824 1073778376 140733242267088 18446744073709551615 218917547520 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5385/tid=5403] ppid=5383 vsize=8545116 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5403/stat : 5403 (java) T 5383 5385 5385 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869416357 8750198784 325876 33554432000 1073741824 1073778376 140733242267088 18446744073709551615 218917547520 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5383/tid=5406] ppid=5361 vsize=322892 CPUtime=0 cores=1,3,5,7
/proc/5383/task/5406/stat : 5406 (python) S 5361 5361 4191 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869420865 330641408 7960 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554946 18446604458839519680 0 0 -1 7 0 0 0
[pid=5408] ppid=5361 vsize=333148 CPUtime=0.43 cores=1,3,5,7
/proc/5408/stat : 5408 (python) S 5361 5361 4191 0 -1 4202560 1255 0 0 0 20 23 0 0 16 0 2 0 869425421 341143552 7970 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5408/statm: 83287 7970 396 364 0 18162 0
[pid=5410] ppid=5408 vsize=23832 CPUtime=92.45 cores=1,3,5,7
/proc/5410/stat : 5410 (clasp-1.3.7-x86) T 5408 5410 5410 0 -1 4202496 6409 0 0 0 9245 0 0 0 25 0 1 0 869425421 24403968 5723 33554432000 134512640 136139019 4286910992 18446744073709551615 134742406 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/5410/statm: 5958 5723 187 398 0 5558 0
[pid=5408/tid=5413] ppid=5361 vsize=333148 CPUtime=0 cores=1,3,5,7
/proc/5408/task/5413/stat : 5413 (python) S 5361 5361 4191 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869434668 341143552 7970 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554946 18446604461242731392 0 0 -1 7 0 0 0
[pid=5424] ppid=5361 vsize=343404 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (python) S 5361 5361 4191 0 -1 4202560 824 0 0 0 0 0 0 0 15 0 1 0 869471651 351645696 7896 33554432000 4194304 5683644 140735027265440 18446744073709551615 218905751110 0 0 16781312 33554946 3256911229981032448 0 0 17 5 0 0 0
/proc/5424/statm: 85851 7896 319 364 0 20723 0
[pid=5426] ppid=5424 vsize=8546612 CPUtime=2.4 cores=1,3,5,7
/proc/5426/stat : 5426 (java) S 5424 5426 5426 0 -1 4202496 33875 0 1 0 236 4 0 0 17 0 19 0 869471651 8751730688 26968 33554432000 1073741824 1073778376 140734419073520 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5426/statm: 2136653 26969 2236 9 0 2127394 0
[pid=5426/tid=5427] ppid=5424 vsize=8546612 CPUtime=0.92 cores=1,3,5,7
/proc/5426/task/5427/stat : 5427 (java) R 5424 5426 5426 0 -1 4202560 19741 0 1 0 91 1 0 0 25 0 19 0 869471652 8751730688 27196 33554432000 1073741824 1073778376 140734419073520 18446744073709551615 46912505978572 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5426/tid=5428] ppid=5424 vsize=8546612 CPUtime=0 cores=1,3,5,7
/proc/5426/task/5428/stat : 5428 (java) S 5424 5426 5426 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869471653 8751730688 27196 33554432000 1073741824 1073778376 140734419073520 18446744073709551615 218917546905 0 4 0 16800975 18446604455734971136 0 0 -1 1 0 0 0
[pid=5426/tid=5429] ppid=5424 vsize=8546612 CPUtime=0 cores=1,3,5,7
/proc/5426/task/5429/stat : 5429 (java) S 5424 5426 5426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869471653 8751730688 27196 33554432000 1073741824 1073778376 140734419073520 18446744073709551615 218917546905 0 4 0 16800975 18446604455734971136 0 0 -1 5 0 0 0
[pid=5426/tid=5430] ppid=5424 vsize=8546612 CPUtime=0 cores=1,3,5,7
/proc/5426/task/5430/stat : 5430 (java) S 5424 5426 5426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869471653 8751730688 27197 33554432000 1073741824 1073778376 140734419073520 18446744073709551615 218917546905 0 4 0 16800975 18446604455734971136 0 0 -1 7 0 0 0
[pid=5426/tid=5431] ppid=5424 vsize=8546612 CPUtime=0 cores=1,3,5,7
/proc/5426/task/5431/stat : 5431 (java) S 5424 5426 5426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869471653 8751730688 27197 33554432000 1073741824 1073778376 140734419073520 18446744073709551615 218917546905 0 4 0 16800975 18446604455734971136 0 0 -1 5 0 0 0
[pid=5426/tid=5432] ppid=5424 vsize=8546612 CPUtime=0 cores=1,3,5,7
/proc/5426/task/5432/stat : 5432 (java) S 5424 5426 5426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869471653 8751730688 27197 33554432000 1073741824 1073778376 140734419073520 18446744073709551615 218917546905 0 4 0 16800975 18446604455734971136 0 0 -1 5 0 0 0
[pid=5426/tid=5433] ppid=5424 vsize=8546612 CPUtime=0 cores=1,3,5,7
/proc/5426/task/5433/stat : 5433 (java) S 5424 5426 5426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869471653 8751730688 27197 33554432000 1073741824 1073778376 140734419073520 18446744073709551615 218917546905 0 4 0 16800975 18446604455734971136 0 0 -1 7 0 0 0
[pid=5426/tid=5434] ppid=5424 vsize=8546612 CPUtime=0 cores=1,3,5,7
/proc/5426/task/5434/stat : 5434 (java) S 5424 5426 5426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869471653 8751730688 27198 33554432000 1073741824 1073778376 140734419073520 18446744073709551615 218917546905 0 4 0 16800975 18446604455734971136 0 0 -1 7 0 0 0
[pid=5426/tid=5435] ppid=5424 vsize=8546612 CPUtime=0 cores=1,3,5,7
/proc/5426/task/5435/stat : 5435 (java) S 5424 5426 5426 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869471653 8751730688 27199 33554432000 1073741824 1073778376 140734419073520 18446744073709551615 218917546905 0 4 0 16800975 18446604455734971136 0 0 -1 7 0 0 0
[pid=5426/tid=5436] ppid=5424 vsize=8546612 CPUtime=0 cores=1,3,5,7
/proc/5426/task/5436/stat : 5436 (java) S 5424 5426 5426 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 869471654 8751730688 27199 33554432000 1073741824 1073778376 140734419073520 18446744073709551615 218917547520 0 0 0 16800975 18446604455734971136 0 0 -1 7 0 0 0
[pid=5426/tid=5437] ppid=5424 vsize=8546612 CPUtime=0 cores=1,3,5,7
/proc/5426/task/5437/stat : 5437 (java) S 5424 5426 5426 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 869471654 8751730688 27200 33554432000 1073741824 1073778376 140734419073520 18446744073709551615 218917546905 0 4 0 16800975 18446604455734971136 0 0 -1 1 0 0 0
[pid=5426/tid=5438] ppid=5424 vsize=8546612 CPUtime=0 cores=1,3,5,7
/proc/5426/task/5438/stat : 5438 (java) S 5424 5426 5426 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869471654 8751730688 27200 33554432000 1073741824 1073778376 140734419073520 18446744073709551615 218917546905 0 4 0 16800975 18446604455734971136 0 0 -1 5 0 0 0
[pid=5426/tid=5439] ppid=5424 vsize=8546612 CPUtime=0 cores=1,3,5,7
/proc/5426/task/5439/stat : 5439 (java) S 5424 5426 5426 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869471657 8751730688 27200 33554432000 1073741824 1073778376 140734419073520 18446744073709551615 218917554609 0 4 0 16800975 18446604455734971136 0 0 -1 1 0 0 0
[pid=5426/tid=5440] ppid=5424 vsize=8546612 CPUtime=0.74 cores=1,3,5,7
/proc/5426/task/5440/stat : 5440 (java) S 5424 5426 5426 0 -1 4202560 3753 0 0 0 74 0 0 0 18 0 19 0 869471657 8751730688 27201 33554432000 1073741824 1073778376 140734419073520 18446744073709551615 218917546905 0 4 0 16800975 18446604455734971136 0 0 -1 5 0 0 0
[pid=5426/tid=5441] ppid=5424 vsize=8546612 CPUtime=0.72 cores=1,3,5,7
/proc/5426/task/5441/stat : 5441 (java) S 5424 5426 5426 0 -1 4202560 9204 0 0 0 71 1 0 0 20 0 19 0 869471657 8751730688 27201 33554432000 1073741824 1073778376 140734419073520 18446744073709551615 218917546905 0 4 0 16800975 18446604455734971136 0 0 -1 1 0 0 0
[pid=5426/tid=5442] ppid=5424 vsize=8546612 CPUtime=0 cores=1,3,5,7
/proc/5426/task/5442/stat : 5442 (java) S 5424 5426 5426 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869471657 8751730688 27201 33554432000 1073741824 1073778376 140734419073520 18446744073709551615 218917546905 0 4 0 16800975 18446604455734971136 0 0 -1 1 0 0 0
[pid=5426/tid=5443] ppid=5424 vsize=8546612 CPUtime=0 cores=1,3,5,7
/proc/5426/task/5443/stat : 5443 (java) S 5424 5426 5426 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869471657 8751730688 27201 33554432000 1073741824 1073778376 140734419073520 18446744073709551615 218917547520 0 4 0 16800975 18446604455734971136 0 0 -1 5 0 0 0
[pid=5426/tid=5444] ppid=5424 vsize=8546612 CPUtime=0 cores=1,3,5,7
/proc/5426/task/5444/stat : 5444 (java) S 5424 5426 5426 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869471725 8751730688 27202 33554432000 1073741824 1073778376 140734419073520 18446744073709551615 218917547520 0 4 0 16800975 18446604455734971136 0 0 -1 7 0 0 0
[pid=5361/tid=5369] ppid=5359 vsize=353648 CPUtime=0.21 cores=1,3,5,7
/proc/5361/task/5369/stat : 5369 (python) S 5359 5361 4191 0 -1 4202560 40 1451 0 0 0 0 18 3 18 0 7 0 869401763 362135552 9463 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470066741696 0 0 -1 3 0 0 0
[pid=5361/tid=5374] ppid=5359 vsize=353648 CPUtime=0.21 cores=1,3,5,7
/proc/5361/task/5374/stat : 5374 (python) S 5359 5361 4191 0 -1 4202560 34 1451 0 0 0 0 18 3 18 0 7 0 869406836 362135552 9463 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470066741696 0 0 -1 5 0 0 0
[pid=5361/tid=5379] ppid=5359 vsize=353648 CPUtime=0.21 cores=1,3,5,7
/proc/5361/task/5379/stat : 5379 (python) S 5359 5361 4191 0 -1 4202560 33 1451 0 0 0 0 18 3 20 0 7 0 869411438 362135552 9463 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470066741696 0 0 -1 7 0 0 0
[pid=5361/tid=5384] ppid=5359 vsize=353648 CPUtime=0.21 cores=1,3,5,7
/proc/5361/task/5384/stat : 5384 (python) S 5359 5361 4191 0 -1 4202560 24 1451 0 0 0 0 18 3 20 0 7 0 869416283 362135552 9463 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470066741696 0 0 -1 7 0 0 0
[pid=5361/tid=5409] ppid=5359 vsize=353648 CPUtime=0.21 cores=1,3,5,7
/proc/5361/task/5409/stat : 5409 (python) S 5359 5361 4191 0 -1 4202560 31 1451 0 0 0 0 18 3 20 0 7 0 869425421 362135552 9463 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470066741696 0 0 -1 5 0 0 0
[pid=5361/tid=5425] ppid=5359 vsize=353648 CPUtime=0.21 cores=1,3,5,7
/proc/5361/task/5425/stat : 5425 (python) S 5359 5361 4191 0 -1 4202560 27 1451 0 0 0 0 18 3 20 0 7 0 869471651 362135552 9463 33554432000 4194304 5683644 140735027265440 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470066741696 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 709.13
Current children cumulated vsize (KiB) 20198064
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 5361 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=470776
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=248962
# CPU time returned by wait4() is 1.71974
# while last known CPU time is 709.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 701.594
CPU time (s): 709.13
CPU user time (s): 701.42
CPU system time (s): 7.71
CPU usage (%): 101.074
Max. virtual memory (cumulated for all children) (KiB): 20198064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.47078
system time used= 0.248962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21571
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= 14913
involuntary context switches= 21
runsolver used 5.65614 second user time and 12.8071 second system time
The end