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-3481522-1307578019/watcher-3481522-1307578019 -o /tmp/evaluation-result-3481522-1307578019/solver-3481522-1307578019 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481522-1307578019.opb -seed 1468965094 -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.31 2.18 1.71 2/674 28537
/proc/meminfo: memFree=14094792/32951124 swapFree=49244124/67111528
[pid=28537] ppid=28535 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/28537/stat : 28537 (python) R 28535 28537 26377 0 -1 4202496 994 0 0 0 0 0 0 0 20 0 1 0 869404735 16633856 867 33554432000 4194304 5683644 140735309531344 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28537/statm: 4061 868 368 364 0 548 0
[startup+0.062411 s]
/proc/loadavg: 2.31 2.18 1.71 2/674 28537
/proc/meminfo: memFree=14094792/32951124 swapFree=49244124/67111528
[pid=28537] ppid=28535 vsize=29792 CPUtime=0.04 cores=1,3,5,7
/proc/28537/stat : 28537 (python) R 28535 28537 26377 0 -1 4202496 1460 0 0 0 3 1 0 0 17 0 1 0 869404735 30507008 1300 33554432000 4194304 5683644 140735309531344 18446744073709551615 4870108 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28537/statm: 7448 1300 443 364 0 818 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29792
[startup+0.100436 s]
/proc/loadavg: 2.31 2.18 1.71 2/674 28537
/proc/meminfo: memFree=14094792/32951124 swapFree=49244124/67111528
[pid=28537] ppid=28535 vsize=85624 CPUtime=0.06 cores=1,3,5,7
/proc/28537/stat : 28537 (python) R 28535 28537 26377 0 -1 4202496 2664 0 0 0 4 2 0 0 17 0 1 0 869404735 87678976 2382 33554432000 4194304 5683644 140735309531344 18446744073709551615 218370955264 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28537/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.300398 s]
/proc/loadavg: 2.31 2.18 1.71 2/674 28537
/proc/meminfo: memFree=14094792/32951124 swapFree=49244124/67111528
[pid=28537] ppid=28535 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/28537/stat : 28537 (python) S 28535 28537 26377 0 -1 4202496 5357 928 1 0 12 5 0 0 17 0 1 0 869404735 126713856 3744 33554432000 4194304 5683644 140735309531344 18446744073709551615 218370953221 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/28537/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700302 s]
/proc/loadavg: 2.31 2.18 1.71 2/674 28537
/proc/meminfo: memFree=14094792/32951124 swapFree=49244124/67111528
[pid=28537] ppid=28535 vsize=261408 CPUtime=0.37 cores=1,3,5,7
/proc/28537/stat : 28537 (python) D 28535 28537 26377 0 -1 4202496 8254 928 1 0 25 12 0 0 15 0 1 0 869404735 267681792 6351 33554432000 4194304 5683644 140735309531344 18446744073709551615 218370962999 0 0 16781312 2 18446744071562154983 0 0 17 1 0 0 0
/proc/28537/statm: 65352 6351 1677 364 0 5068 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 261408
[startup+1.79012 s]
/proc/loadavg: 2.31 2.18 1.71 2/674 28537
/proc/meminfo: memFree=14094792/32951124 swapFree=49244124/67111528
[pid=28537] ppid=28535 vsize=295068 CPUtime=0.64 cores=1,3,5,7
/proc/28537/stat : 28537 (python) S 28535 28537 26377 0 -1 4202496 11141 1348 1 0 46 14 3 1 18 0 2 0 869404735 302149632 7601 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 11
/proc/28537/statm: 73767 7601 1871 364 0 8654 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 295068
[startup+3.11687 s]
/proc/loadavg: 2.44 2.21 1.73 3/678 28546
/proc/meminfo: memFree=13978936/32951124 swapFree=49244124/67111528
[pid=28537] ppid=28535 vsize=295068 CPUtime=0.64 cores=1,3,5,7
/proc/28537/stat : 28537 (python) S 28535 28537 26377 0 -1 4202496 11141 1348 1 0 46 14 3 1 18 0 2 0 869404735 302149632 7601 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 11
/proc/28537/statm: 73767 7601 1871 364 0 8654 0
[pid=28544] ppid=28537 vsize=284824 CPUtime=0 cores=1,3,5,7
/proc/28544/stat : 28544 (python) S 28537 28537 26377 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 1 0 869404833 291659776 6045 33554432000 4194304 5683644 140735309531344 18446744073709551615 218370977295 0 0 16781312 33554946 1501217629753311232 0 0 17 1 0 0 0
/proc/28544/statm: 71206 6045 319 364 0 6093 0
[pid=28546] ppid=28544 vsize=55420 CPUtime=2.12 cores=1,3,5,7
/proc/28546/stat : 28546 (scip-2.0.1.linu) R 28544 28546 28546 0 -1 4202496 12367 0 0 0 196 16 0 0 18 0 1 0 869404833 56750080 11606 33554432000 4194304 13684479 140735554835360 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28546/statm: 13855 11606 760 2317 0 11533 0
[pid=28537/tid=28545] ppid=28535 vsize=295068 CPUtime=0.04 cores=1,3,5,7
/proc/28537/task/28545/stat : 28545 (python) S 28535 28537 26377 0 -1 4202560 31 1348 0 0 0 0 3 1 18 0 2 0 869404833 302149632 7601 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382780849 0 0 16781312 33554434 18446604462307767488 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 635312
[startup+6.30032 s]
/proc/loadavg: 2.44 2.21 1.73 3/678 28547
/proc/meminfo: memFree=13930240/32951124 swapFree=49244124/67111528
[pid=28537] ppid=28535 vsize=295068 CPUtime=0.64 cores=1,3,5,7
/proc/28537/stat : 28537 (python) S 28535 28537 26377 0 -1 4202496 11141 1348 1 0 46 14 3 1 18 0 2 0 869404735 302149632 7601 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 11
/proc/28537/statm: 73767 7601 1871 364 0 8654 0
[pid=28544] ppid=28537 vsize=284824 CPUtime=0.02 cores=1,3,5,7
/proc/28544/stat : 28544 (python) S 28537 28537 26377 0 -1 4202560 893 0 0 0 1 1 0 0 15 0 1 0 869404833 291659776 6069 33554432000 4194304 5683644 140735309531344 18446744073709551615 218370977295 0 0 16781312 33554946 1108162138586742784 0 0 17 1 0 0 0
/proc/28544/statm: 71206 6069 343 364 0 6093 0
[pid=28546] ppid=28544 vsize=55892 CPUtime=5.33 cores=1,3,5,7
/proc/28546/stat : 28546 (scip-2.0.1.linu) R 28544 28546 28546 0 -1 4202496 13257 0 0 0 500 33 0 0 18 0 1 0 869404833 57233408 11758 33554432000 4194304 13684479 140735554835360 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28546/statm: 13973 11758 803 2317 0 11651 0
[pid=28537/tid=28545] ppid=28535 vsize=295068 CPUtime=0.04 cores=1,3,5,7
/proc/28537/task/28545/stat : 28545 (python) S 28535 28537 26377 0 -1 4202560 31 1348 0 0 0 0 3 1 18 0 2 0 869404833 302149632 7601 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382780849 0 0 16781312 33554434 18446604462307767488 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 635784
[startup+12.7012 s]
/proc/loadavg: 2.38 2.20 1.73 3/678 28547
/proc/meminfo: memFree=13847960/32951124 swapFree=49244124/67111528
[pid=28537] ppid=28535 vsize=295068 CPUtime=0.64 cores=1,3,5,7
/proc/28537/stat : 28537 (python) S 28535 28537 26377 0 -1 4202496 11141 1348 1 0 46 14 3 1 18 0 2 0 869404735 302149632 7601 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 11
/proc/28537/statm: 73767 7601 1871 364 0 8654 0
[pid=28544] ppid=28537 vsize=284824 CPUtime=0.06 cores=1,3,5,7
/proc/28544/stat : 28544 (python) S 28537 28537 26377 0 -1 4202560 906 0 0 0 3 3 0 0 15 0 1 0 869404833 291659776 6069 33554432000 4194304 5683644 140735309531344 18446744073709551615 218370977295 0 0 16781312 33554946 4049422297700761600 0 0 17 1 0 0 0
/proc/28544/statm: 71206 6069 343 364 0 6093 0
[pid=28546] ppid=28544 vsize=59088 CPUtime=11.71 cores=1,3,5,7
/proc/28546/stat : 28546 (scip-2.0.1.linu) R 28544 28546 28546 0 -1 4202496 20556 0 0 0 1070 101 0 0 18 0 1 0 869404833 60506112 12589 33554432000 4194304 13684479 140735554835360 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28546/statm: 14772 12589 807 2317 0 12450 0
[pid=28537/tid=28545] ppid=28535 vsize=295068 CPUtime=0.04 cores=1,3,5,7
/proc/28537/task/28545/stat : 28545 (python) S 28535 28537 26377 0 -1 4202560 31 1348 0 0 0 0 3 1 18 0 2 0 869404833 302149632 7601 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382780849 0 0 16781312 33554434 18446604462307767488 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 638980
[startup+25.5009 s]
/proc/loadavg: 2.32 2.19 1.73 3/678 28547
/proc/meminfo: memFree=13661232/32951124 swapFree=49244124/67111528
[pid=28537] ppid=28535 vsize=295068 CPUtime=0.64 cores=1,3,5,7
/proc/28537/stat : 28537 (python) S 28535 28537 26377 0 -1 4202496 11141 1348 1 0 46 14 3 1 18 0 2 0 869404735 302149632 7601 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 11
/proc/28537/statm: 73767 7601 1871 364 0 8654 0
[pid=28544] ppid=28537 vsize=284824 CPUtime=0.11 cores=1,3,5,7
/proc/28544/stat : 28544 (python) S 28537 28537 26377 0 -1 4202560 935 0 0 0 6 5 0 0 15 0 1 0 869404833 291659776 6070 33554432000 4194304 5683644 140735309531344 18446744073709551615 218370977295 0 0 16781312 33554946 3133452992057966592 0 0 17 7 0 0 0
/proc/28544/statm: 71206 6070 344 364 0 6093 0
[pid=28546] ppid=28544 vsize=65212 CPUtime=24.51 cores=1,3,5,7
/proc/28546/stat : 28546 (scip-2.0.1.linu) R 28544 28546 28546 0 -1 4202496 28196 0 0 0 2195 256 0 0 18 0 1 0 869404833 66777088 14058 33554432000 4194304 13684479 140735554835360 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28546/statm: 16303 14058 807 2317 0 13981 0
[pid=28537/tid=28545] ppid=28535 vsize=295068 CPUtime=0.04 cores=1,3,5,7
/proc/28537/task/28545/stat : 28545 (python) S 28535 28537 26377 0 -1 4202560 31 1348 0 0 0 0 3 1 18 0 2 0 869404833 302149632 7601 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382780849 0 0 16781312 33554434 18446604462307767488 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 645104
[startup+51.1004 s]
/proc/loadavg: 2.36 2.21 1.75 3/700 28570
/proc/meminfo: memFree=12971388/32951124 swapFree=49244124/67111528
[pid=28537] ppid=28535 vsize=295068 CPUtime=0.64 cores=1,3,5,7
/proc/28537/stat : 28537 (python) S 28535 28537 26377 0 -1 4202496 11141 1348 1 0 46 14 3 1 18 0 2 0 869404735 302149632 7601 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 11
/proc/28537/statm: 73767 7601 1871 364 0 8654 0
[pid=28544] ppid=28537 vsize=284824 CPUtime=0.24 cores=1,3,5,7
/proc/28544/stat : 28544 (python) S 28537 28537 26377 0 -1 4202560 981 0 0 0 13 11 0 0 15 0 1 0 869404833 291659776 6070 33554432000 4194304 5683644 140735309531344 18446744073709551615 218370977295 0 0 16781312 33554946 1348750611482411008 0 0 17 7 0 0 0
/proc/28544/statm: 71206 6070 344 364 0 6093 0
[pid=28546] ppid=28544 vsize=83748 CPUtime=50.11 cores=1,3,5,7
/proc/28546/stat : 28546 (scip-2.0.1.linu) R 28544 28546 28546 0 -1 4202496 41349 0 0 0 4401 610 0 0 18 0 1 0 869404833 85757952 18295 33554432000 4194304 13684479 140735554835360 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28546/statm: 20937 18295 808 2317 0 18615 0
[pid=28537/tid=28545] ppid=28535 vsize=295068 CPUtime=0.04 cores=1,3,5,7
/proc/28537/task/28545/stat : 28545 (python) S 28535 28537 26377 0 -1 4202560 31 1348 0 0 0 0 3 1 18 0 2 0 869404833 302149632 7601 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382780849 0 0 16781312 33554434 18446604462307767488 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 663640
[startup+102.301 s]
/proc/loadavg: 2.28 2.23 1.78 3/708 28579
/proc/meminfo: memFree=11991056/32951124 swapFree=49244124/67111528
[pid=28537] ppid=28535 vsize=305828 CPUtime=0.66 cores=1,3,5,7
/proc/28537/stat : 28537 (python) S 28535 28537 26377 0 -1 4202496 12056 1348 1 0 48 14 3 1 19 0 3 0 869404735 313167872 7734 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 11
/proc/28537/statm: 76457 7734 1874 364 0 11341 0
[pid=28544] ppid=28537 vsize=295068 CPUtime=0.29 cores=1,3,5,7
/proc/28544/stat : 28544 (python) S 28537 28537 26377 0 -1 4202560 1189 0 0 0 15 14 0 0 16 0 2 0 869404833 302149632 6138 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28544/statm: 73767 6138 407 364 0 8654 0
[pid=28546] ppid=28544 vsize=83748 CPUtime=55.88 cores=1,3,5,7
/proc/28546/stat : 28546 (scip-2.0.1.linu) T 28544 28546 28546 0 -1 4202496 41432 0 0 0 4887 701 0 0 18 0 1 0 869404833 85757952 18378 33554432000 4194304 13684479 140735554835360 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/28546/statm: 20937 18378 808 2317 0 18615 0
[pid=28544/tid=28571] ppid=28537 vsize=295068 CPUtime=0 cores=1,3,5,7
/proc/28544/task/28571/stat : 28571 (python) S 28537 28537 26377 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869410422 302149632 6138 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382780849 0 0 16781312 33554946 18446604467359121664 0 0 -1 7 0 0 0
[pid=28572] ppid=28537 vsize=295584 CPUtime=0.23 cores=1,3,5,7
/proc/28572/stat : 28572 (python) S 28537 28537 26377 0 -1 4202560 1021 0 0 0 11 12 0 0 15 0 1 0 869410425 302678016 6201 33554432000 4194304 5683644 140735309531344 18446744073709551615 218370977350 0 0 16781312 33554946 2254669667882762240 0 0 17 7 0 0 0
/proc/28572/statm: 73896 6201 345 364 0 8780 0
[pid=28574] ppid=28572 vsize=74596 CPUtime=45.4 cores=1,3,5,7
/proc/28574/stat : 28574 (scip-2.0.1.linu) R 28572 28574 28574 0 -1 4202496 44232 0 0 0 4301 239 0 0 18 0 1 0 869410425 76386304 15841 33554432000 4194304 15243407 140734765916832 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28574/statm: 18649 15841 927 2698 0 15944 0
[pid=28537/tid=28545] ppid=28535 vsize=305828 CPUtime=0.04 cores=1,3,5,7
/proc/28537/task/28545/stat : 28545 (python) S 28535 28537 26377 0 -1 4202560 31 1348 0 0 0 0 3 1 18 0 3 0 869404833 313167872 7734 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382780849 0 0 16781312 33554434 18446604462307767488 0 0 -1 1 0 0 0
[pid=28537/tid=28573] ppid=28535 vsize=305828 CPUtime=0.04 cores=1,3,5,7
/proc/28537/task/28573/stat : 28573 (python) S 28535 28537 26377 0 -1 4202560 30 1348 0 0 0 0 3 1 20 0 3 0 869410425 313167872 7734 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382780849 0 0 16781312 33554434 18446604462307767488 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 1054824
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+155.902 s]
/proc/loadavg: 2.12 2.19 1.79 6/752 28625
/proc/meminfo: memFree=11721664/32951124 swapFree=49244124/67111528
[pid=28537] ppid=28535 vsize=326340 CPUtime=0.7 cores=1,3,5,7
/proc/28537/stat : 28537 (python) S 28535 28537 26377 0 -1 4202496 13980 1348 1 0 52 14 3 1 20 0 5 0 869404735 334172160 7746 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 11
/proc/28537/statm: 81585 7746 1878 364 0 16463 0
[pid=28544] ppid=28537 vsize=295068 CPUtime=0.29 cores=1,3,5,7
/proc/28544/stat : 28544 (python) S 28537 28537 26377 0 -1 4202560 1189 0 0 0 15 14 0 0 16 0 2 0 869404833 302149632 6138 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28544/statm: 73767 6138 407 364 0 8654 0
[pid=28546] ppid=28544 vsize=83748 CPUtime=55.88 cores=1,3,5,7
/proc/28546/stat : 28546 (scip-2.0.1.linu) T 28544 28546 28546 0 -1 4202496 41432 0 0 0 4887 701 0 0 18 0 1 0 869404833 85757952 18378 33554432000 4194304 13684479 140735554835360 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/28546/statm: 20937 18378 808 2317 0 18615 0
[pid=28544/tid=28571] ppid=28537 vsize=295068 CPUtime=0 cores=1,3,5,7
/proc/28544/task/28571/stat : 28571 (python) S 28537 28537 26377 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869410422 302149632 6138 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382780849 0 0 16781312 33554946 18446604467359121664 0 0 -1 7 0 0 0
[pid=28572] ppid=28537 vsize=295584 CPUtime=0.27 cores=1,3,5,7
/proc/28572/stat : 28572 (python) S 28537 28537 26377 0 -1 4202560 1229 0 0 0 13 14 0 0 16 0 2 0 869410425 302678016 6249 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28572/statm: 73896 6249 392 364 0 8780 0
[pid=28574] ppid=28572 vsize=76460 CPUtime=52.02 cores=1,3,5,7
/proc/28574/stat : 28574 (scip-2.0.1.linu) T 28572 28574 28574 0 -1 4202496 46315 0 0 0 4920 282 0 0 18 0 1 0 869410425 78295040 16447 33554432000 4194304 15243407 140734765916832 18446744073709551615 7117234 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/28574/statm: 19115 16447 927 2698 0 16410 0
[pid=28572/tid=28580] ppid=28537 vsize=295584 CPUtime=0 cores=1,3,5,7
/proc/28572/task/28580/stat : 28580 (python) S 28537 28537 26377 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869415628 302678016 6249 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382780849 0 0 16781312 33554946 18446604463570375936 0 0 -1 7 0 0 0
[pid=28581] ppid=28537 vsize=305840 CPUtime=0.2 cores=1,3,5,7
/proc/28581/stat : 28581 (python) S 28537 28537 26377 0 -1 4202560 1125 0 0 0 8 12 0 0 17 0 2 0 869415630 313180160 6252 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28581/statm: 76460 6252 391 364 0 11341 0
[pid=28583] ppid=28581 vsize=8541228 CPUtime=47.81 cores=1,3,5,7
/proc/28583/stat : 28583 (java) T 28581 28583 28583 0 -1 4202496 81363 0 1 0 4767 14 0 0 18 0 19 0 869415630 8746217472 48593 33554432000 1073741824 1073778376 140737114758544 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28583/statm: 2135307 48593 2258 9 0 2126048 0
[pid=28583/tid=28584] ppid=28581 vsize=8541228 CPUtime=44.72 cores=1,3,5,7
/proc/28583/task/28584/stat : 28584 (java) T 28581 28583 28583 0 -1 4202560 44312 0 1 0 4467 5 0 0 25 0 19 0 869415632 8746217472 48593 33554432000 1073741824 1073778376 140737114758544 18446744073709551615 46912505759914 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28583/tid=28585] ppid=28581 vsize=8541228 CPUtime=0.08 cores=1,3,5,7
/proc/28583/task/28585/stat : 28585 (java) T 28581 28583 28583 0 -1 4202560 2494 0 0 0 8 0 0 0 15 0 19 0 869415632 8746217472 48593 33554432000 1073741824 1073778376 140737114758544 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28583/tid=28586] ppid=28581 vsize=8541228 CPUtime=0.09 cores=1,3,5,7
/proc/28583/task/28586/stat : 28586 (java) T 28581 28583 28583 0 -1 4202560 1611 0 0 0 9 0 0 0 15 0 19 0 869415632 8746217472 48593 33554432000 1073741824 1073778376 140737114758544 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28583/tid=28587] ppid=28581 vsize=8541228 CPUtime=0.09 cores=1,3,5,7
/proc/28583/task/28587/stat : 28587 (java) T 28581 28583 28583 0 -1 4202560 403 0 0 0 9 0 0 0 15 0 19 0 869415632 8746217472 48593 33554432000 1073741824 1073778376 140737114758544 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28583/tid=28588] ppid=28581 vsize=8541228 CPUtime=0.1 cores=1,3,5,7
/proc/28583/task/28588/stat : 28588 (java) T 28581 28583 28583 0 -1 4202560 2200 0 0 0 10 0 0 0 15 0 19 0 869415632 8746217472 48593 33554432000 1073741824 1073778376 140737114758544 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28583/tid=28589] ppid=28581 vsize=8541228 CPUtime=0.09 cores=1,3,5,7
/proc/28583/task/28589/stat : 28589 (java) T 28581 28583 28583 0 -1 4202560 2662 0 0 0 9 0 0 0 15 0 19 0 869415632 8746217472 48593 33554432000 1073741824 1073778376 140737114758544 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28583/tid=28590] ppid=28581 vsize=8541228 CPUtime=0.09 cores=1,3,5,7
/proc/28583/task/28590/stat : 28590 (java) T 28581 28583 28583 0 -1 4202560 2346 0 0 0 9 0 0 0 15 0 19 0 869415632 8746217472 48593 33554432000 1073741824 1073778376 140737114758544 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28583/tid=28591] ppid=28581 vsize=8541228 CPUtime=0.09 cores=1,3,5,7
/proc/28583/task/28591/stat : 28591 (java) T 28581 28583 28583 0 -1 4202560 2194 0 0 0 9 0 0 0 15 0 19 0 869415632 8746217472 48593 33554432000 1073741824 1073778376 140737114758544 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28583/tid=28592] ppid=28581 vsize=8541228 CPUtime=0.08 cores=1,3,5,7
/proc/28583/task/28592/stat : 28592 (java) T 28581 28583 28583 0 -1 4202560 2005 0 0 0 8 0 0 0 15 0 19 0 869415632 8746217472 48593 33554432000 1073741824 1073778376 140737114758544 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28583/tid=28593] ppid=28581 vsize=8541228 CPUtime=1 cores=1,3,5,7
/proc/28583/task/28593/stat : 28593 (java) T 28581 28583 28583 0 -1 4202560 5721 0 0 0 98 2 0 0 15 0 19 0 869415633 8746217472 48593 33554432000 1073741824 1073778376 140737114758544 18446744073709551615 218382773760 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28583/tid=28594] ppid=28581 vsize=8541228 CPUtime=0 cores=1,3,5,7
/proc/28583/task/28594/stat : 28594 (java) T 28581 28583 28583 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869415634 8746217472 48593 33554432000 1073741824 1073778376 140737114758544 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28583/tid=28595] ppid=28581 vsize=8541228 CPUtime=0 cores=1,3,5,7
/proc/28583/task/28595/stat : 28595 (java) T 28581 28583 28583 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869415634 8746217472 48593 33554432000 1073741824 1073778376 140737114758544 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28583/tid=28596] ppid=28581 vsize=8541228 CPUtime=0 cores=1,3,5,7
/proc/28583/task/28596/stat : 28596 (java) T 28581 28583 28583 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869415636 8746217472 48593 33554432000 1073741824 1073778376 140737114758544 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28583/tid=28597] ppid=28581 vsize=8541228 CPUtime=0.68 cores=1,3,5,7
/proc/28583/task/28597/stat : 28597 (java) T 28581 28583 28583 0 -1 4202560 8471 0 0 0 68 0 0 0 15 0 19 0 869415636 8746217472 48593 33554432000 1073741824 1073778376 140737114758544 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28583/tid=28598] ppid=28581 vsize=8541228 CPUtime=0.56 cores=1,3,5,7
/proc/28583/task/28598/stat : 28598 (java) T 28581 28583 28583 0 -1 4202560 5550 0 0 0 56 0 0 0 15 0 19 0 869415636 8746217472 48593 33554432000 1073741824 1073778376 140737114758544 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28583/tid=28599] ppid=28581 vsize=8541228 CPUtime=0 cores=1,3,5,7
/proc/28583/task/28599/stat : 28599 (java) T 28581 28583 28583 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869415636 8746217472 48593 33554432000 1073741824 1073778376 140737114758544 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28583/tid=28600] ppid=28581 vsize=8541228 CPUtime=0 cores=1,3,5,7
/proc/28583/task/28600/stat : 28600 (java) T 28581 28583 28583 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869415636 8746217472 48593 33554432000 1073741824 1073778376 140737114758544 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28583/tid=28601] ppid=28581 vsize=8541228 CPUtime=0 cores=1,3,5,7
/proc/28583/task/28601/stat : 28601 (java) T 28581 28583 28583 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869415671 8746217472 48593 33554432000 1073741824 1073778376 140737114758544 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28581/tid=28604] ppid=28537 vsize=305840 CPUtime=0 cores=1,3,5,7
/proc/28581/task/28604/stat : 28604 (python) S 28537 28537 26377 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869420249 313180160 6252 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382780849 0 0 16781312 33554946 18446604454331168576 0 0 -1 1 0 0 0
[pid=28605] ppid=28537 vsize=316096 CPUtime=0 cores=1,3,5,7
/proc/28605/stat : 28605 (python) S 28537 28537 26377 0 -1 4202560 793 0 0 0 0 0 0 0 15 0 1 0 869420251 323682304 6184 33554432000 4194304 5683644 140735309531344 18446744073709551615 218370977350 0 0 16781312 33554946 16767586378379657479 0 0 17 3 0 0 0
/proc/28605/statm: 79024 6184 320 364 0 13902 0
[pid=28607] ppid=28605 vsize=8551036 CPUtime=1.9 cores=1,3,5,7
/proc/28607/stat : 28607 (java) S 28605 28607 28607 0 -1 4202496 25328 0 1 0 186 4 0 0 18 0 19 0 869420252 8756260864 19206 33554432000 1073741824 1073778376 140735854298176 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28607/statm: 2137759 19206 2224 9 0 2128500 0
[pid=28607/tid=28608] ppid=28605 vsize=8551036 CPUtime=0.75 cores=1,3,5,7
/proc/28607/task/28608/stat : 28608 (java) R 28605 28607 28607 0 -1 4202560 9151 0 1 0 74 1 0 0 19 0 19 0 869420252 8756260864 19208 33554432000 1073741824 1073778376 140735854298176 18446744073709551615 46912505164211 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28607/tid=28609] ppid=28605 vsize=8551036 CPUtime=0 cores=1,3,5,7
/proc/28607/task/28609/stat : 28609 (java) S 28605 28607 28607 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869420253 8756260864 19208 33554432000 1073741824 1073778376 140735854298176 18446744073709551615 218382773145 0 4 0 16800975 18446604454676933312 0 0 -1 7 0 0 0
[pid=28607/tid=28610] ppid=28605 vsize=8551036 CPUtime=0 cores=1,3,5,7
/proc/28607/task/28610/stat : 28610 (java) S 28605 28607 28607 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869420253 8756260864 19208 33554432000 1073741824 1073778376 140735854298176 18446744073709551615 218382773145 0 4 0 16800975 18446604454676933312 0 0 -1 7 0 0 0
[pid=28607/tid=28611] ppid=28605 vsize=8551036 CPUtime=0 cores=1,3,5,7
/proc/28607/task/28611/stat : 28611 (java) S 28605 28607 28607 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869420253 8756260864 19208 33554432000 1073741824 1073778376 140735854298176 18446744073709551615 218382773145 0 4 0 16800975 18446604454676933312 0 0 -1 7 0 0 0
[pid=28607/tid=28612] ppid=28605 vsize=8551036 CPUtime=0 cores=1,3,5,7
/proc/28607/task/28612/stat : 28612 (java) S 28605 28607 28607 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869420253 8756260864 19208 33554432000 1073741824 1073778376 140735854298176 18446744073709551615 218382773145 0 4 0 16800975 18446604454676933312 0 0 -1 7 0 0 0
[pid=28607/tid=28613] ppid=28605 vsize=8551036 CPUtime=0 cores=1,3,5,7
/proc/28607/task/28613/stat : 28613 (java) S 28605 28607 28607 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869420253 8756260864 19209 33554432000 1073741824 1073778376 140735854298176 18446744073709551615 218382773145 0 4 0 16800975 18446604454676933312 0 0 -1 7 0 0 0
[pid=28607/tid=28614] ppid=28605 vsize=8551036 CPUtime=0 cores=1,3,5,7
/proc/28607/task/28614/stat : 28614 (java) S 28605 28607 28607 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869420253 8756260864 19209 33554432000 1073741824 1073778376 140735854298176 18446744073709551615 218382773145 0 4 0 16800975 18446604454676933312 0 0 -1 7 0 0 0
[pid=28607/tid=28615] ppid=28605 vsize=8551036 CPUtime=0 cores=1,3,5,7
/proc/28607/task/28615/stat : 28615 (java) S 28605 28607 28607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869420253 8756260864 19209 33554432000 1073741824 1073778376 140735854298176 18446744073709551615 218382773145 0 4 0 16800975 18446604454676933312 0 0 -1 1 0 0 0
[pid=28607/tid=28616] ppid=28605 vsize=8551036 CPUtime=0 cores=1,3,5,7
/proc/28607/task/28616/stat : 28616 (java) S 28605 28607 28607 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869420253 8756260864 19209 33554432000 1073741824 1073778376 140735854298176 18446744073709551615 218382773145 0 4 0 16800975 18446604454676933312 0 0 -1 3 0 0 0
[pid=28607/tid=28617] ppid=28605 vsize=8551036 CPUtime=0 cores=1,3,5,7
/proc/28607/task/28617/stat : 28617 (java) S 28605 28607 28607 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 869420254 8756260864 19209 33554432000 1073741824 1073778376 140735854298176 18446744073709551615 218382773760 0 0 0 16800975 18446604454676933312 0 0 -1 7 0 0 0
[pid=28607/tid=28618] ppid=28605 vsize=8551036 CPUtime=0 cores=1,3,5,7
/proc/28607/task/28618/stat : 28618 (java) S 28605 28607 28607 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 869420254 8756260864 19210 33554432000 1073741824 1073778376 140735854298176 18446744073709551615 218382773145 0 4 0 16800975 18446604454676933312 0 0 -1 7 0 0 0
[pid=28607/tid=28619] ppid=28605 vsize=8551036 CPUtime=0 cores=1,3,5,7
/proc/28607/task/28619/stat : 28619 (java) S 28605 28607 28607 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 869420254 8756260864 19210 33554432000 1073741824 1073778376 140735854298176 18446744073709551615 218382773145 0 4 0 16800975 18446604454676933312 0 0 -1 7 0 0 0
[pid=28607/tid=28620] ppid=28605 vsize=8551036 CPUtime=0 cores=1,3,5,7
/proc/28607/task/28620/stat : 28620 (java) S 28605 28607 28607 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869420256 8756260864 19210 33554432000 1073741824 1073778376 140735854298176 18446744073709551615 218382780849 0 4 0 16800975 18446604454676933312 0 0 -1 7 0 0 0
[pid=28607/tid=28621] ppid=28605 vsize=8551036 CPUtime=0.58 cores=1,3,5,7
/proc/28607/task/28621/stat : 28621 (java) R 28605 28607 28607 0 -1 4202560 9295 0 0 0 57 1 0 0 25 0 19 0 869420256 8756260864 19210 33554432000 1073741824 1073778376 140735854298176 18446744073709551615 47661609101392 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28607/tid=28622] ppid=28605 vsize=8551036 CPUtime=0.54 cores=1,3,5,7
/proc/28607/task/28622/stat : 28622 (java) R 28605 28607 28607 0 -1 4202560 5484 0 0 0 54 0 0 0 17 0 19 0 869420257 8756260864 19210 33554432000 1073741824 1073778376 140735854298176 18446744073709551615 47661611825110 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28607/tid=28623] ppid=28605 vsize=8551036 CPUtime=0 cores=1,3,5,7
/proc/28607/task/28623/stat : 28623 (java) S 28605 28607 28607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869420257 8756260864 19211 33554432000 1073741824 1073778376 140735854298176 18446744073709551615 218382773145 0 4 0 16800975 18446604454676933312 0 0 -1 7 0 0 0
[pid=28607/tid=28624] ppid=28605 vsize=8551036 CPUtime=0 cores=1,3,5,7
/proc/28607/task/28624/stat : 28624 (java) S 28605 28607 28607 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869420257 8756260864 19211 33554432000 1073741824 1073778376 140735854298176 18446744073709551615 218382773760 0 4 0 16800975 18446604454676933312 0 0 -1 1 0 0 0
[pid=28607/tid=28625] ppid=28605 vsize=8551036 CPUtime=0 cores=1,3,5,7
/proc/28607/task/28625/stat : 28625 (java) S 28605 28607 28607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869420292 8756260864 19211 33554432000 1073741824 1073778376 140735854298176 18446744073709551615 218382773760 0 4 0 16800975 18446604454676933312 0 0 -1 5 0 0 0
[pid=28537/tid=28545] ppid=28535 vsize=326340 CPUtime=0.04 cores=1,3,5,7
/proc/28537/task/28545/stat : 28545 (python) S 28535 28537 26377 0 -1 4202560 31 1348 0 0 0 0 3 1 18 0 5 0 869404833 334172160 7746 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382780849 0 0 16781312 33554434 18446604462307767488 0 0 -1 1 0 0 0
[pid=28537/tid=28573] ppid=28535 vsize=326340 CPUtime=0.04 cores=1,3,5,7
/proc/28537/task/28573/stat : 28573 (python) S 28535 28537 26377 0 -1 4202560 30 1348 0 0 0 0 3 1 20 0 5 0 869410425 334172160 7746 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382780849 0 0 16781312 33554434 18446604462307767488 0 0 -1 1 0 0 0
[pid=28537/tid=28582] ppid=28535 vsize=326340 CPUtime=0.04 cores=1,3,5,7
/proc/28537/task/28582/stat : 28582 (python) S 28535 28537 26377 0 -1 4202560 32 1348 0 0 0 0 3 1 20 0 5 0 869415630 334172160 7746 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382780849 0 0 16781312 33554434 18446604462307767488 0 0 -1 3 0 0 0
[pid=28537/tid=28606] ppid=28535 vsize=326340 CPUtime=0.04 cores=1,3,5,7
/proc/28537/task/28606/stat : 28606 (python) S 28535 28537 26377 0 -1 4202560 27 1348 0 0 0 0 3 1 20 0 5 0 869420252 334172160 7746 33554432000 4194304 5683644 140735309531344 18446744073709551615 218382780849 0 0 16781312 33554434 18446604462307767488 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 159.07
Current children cumulated vsize (KiB) 18791400
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 28537 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=562914
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=161975
# CPU time returned by wait4() is 0.724889
# while last known CPU time is 159.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 155.975
CPU time (s): 159.07
CPU user time (s): 148.51
CPU system time (s): 10.56
CPU usage (%): 101.984
Max. virtual memory (cumulated for all children) (KiB): 18791400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.562914
system time used= 0.161975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15330
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= 4253
involuntary context switches= 15
runsolver used 0.803877 second user time and 1.62375 second system time
The end