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-3481506-1307577967/watcher-3481506-1307577967 -o /tmp/evaluation-result-3481506-1307577967/solver-3481506-1307577967 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481506-1307577967.opb -seed 1319652202 -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: 1.97 2.06 1.66 2/611 22786
/proc/meminfo: memFree=26910140/32951124 swapFree=39903648/67111528
[pid=22786] ppid=22784 vsize=16244 CPUtime=0.01 cores=1,3,5,7
/proc/22786/stat : 22786 (python) R 22784 22786 21589 0 -1 4202496 1064 0 0 0 1 0 0 0 25 0 1 0 850213073 16633856 935 33554432000 4194304 5683644 140737135891664 18446744073709551615 212039655168 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22786/statm: 4061 935 381 364 0 548 0
[startup+0.0553529 s]
/proc/loadavg: 1.97 2.06 1.66 2/611 22786
/proc/meminfo: memFree=26910140/32951124 swapFree=39903648/67111528
[pid=22786] ppid=22784 vsize=34424 CPUtime=0.03 cores=1,3,5,7
/proc/22786/stat : 22786 (python) S 22784 22786 21589 0 -1 4202496 1553 0 0 0 3 0 0 0 25 0 1 0 850213073 35250176 1388 33554432000 4194304 5683644 140737135891664 18446744073709551615 212039653376 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/22786/statm: 8606 1388 448 364 0 944 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 34424
[startup+0.106428 s]
/proc/loadavg: 1.97 2.06 1.66 2/611 22786
/proc/meminfo: memFree=26910140/32951124 swapFree=39903648/67111528
[pid=22786] ppid=22784 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/22786/stat : 22786 (python) R 22784 22786 21589 0 -1 4202496 3169 929 1 0 6 1 0 0 18 0 1 0 850213073 98430976 2483 33554432000 4194304 5683644 140737135891664 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22786/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.301543 s]
/proc/loadavg: 1.97 2.06 1.66 2/611 22786
/proc/meminfo: memFree=26910140/32951124 swapFree=39903648/67111528
[pid=22786] ppid=22784 vsize=203276 CPUtime=0.22 cores=1,3,5,7
/proc/22786/stat : 22786 (python) S 22784 22786 21589 0 -1 4202496 6709 929 1 0 17 5 0 0 17 0 1 0 850213073 208154624 4989 33554432000 4194304 5683644 140737135891664 18446744073709551615 212039653376 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/22786/statm: 50819 4989 1472 364 0 3781 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 203276
[startup+1.37912 s]
/proc/loadavg: 1.97 2.06 1.66 2/611 22786
/proc/meminfo: memFree=26910140/32951124 swapFree=39903648/67111528
[pid=22786] ppid=22784 vsize=293764 CPUtime=0.47 cores=1,3,5,7
/proc/22786/stat : 22786 (python) S 22784 22786 21589 0 -1 4202496 10808 1347 1 0 38 8 1 0 20 0 2 0 850213073 300814336 7273 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 31
/proc/22786/statm: 73441 7273 1863 364 0 8328 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 293764
[startup+1.50009 s]
/proc/loadavg: 1.97 2.06 1.66 2/611 22786
/proc/meminfo: memFree=26910140/32951124 swapFree=39903648/67111528
[pid=22786] ppid=22784 vsize=293764 CPUtime=0.47 cores=1,3,5,7
/proc/22786/stat : 22786 (python) S 22784 22786 21589 0 -1 4202496 10808 1347 1 0 38 8 1 0 20 0 2 0 850213073 300814336 7273 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 31
/proc/22786/statm: 73441 7273 1863 364 0 8328 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 293764
[startup+3.12184 s]
/proc/loadavg: 1.97 2.06 1.66 3/615 22795
/proc/meminfo: memFree=26842108/32951124 swapFree=39903648/67111528
[pid=22786] ppid=22784 vsize=293764 CPUtime=0.47 cores=1,3,5,7
/proc/22786/stat : 22786 (python) S 22784 22786 21589 0 -1 4202496 10808 1347 1 0 38 8 1 0 20 0 2 0 850213073 300814336 7273 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 31
/proc/22786/statm: 73441 7273 1863 364 0 8328 0
[pid=22793] ppid=22786 vsize=283520 CPUtime=0.01 cores=1,3,5,7
/proc/22793/stat : 22793 (python) S 22786 22786 21589 0 -1 4202560 758 0 0 0 1 0 0 0 15 0 1 0 850213163 290324480 5725 33554432000 4194304 5683644 140737135891664 18446744073709551615 212039675407 0 0 16781312 33554946 4294934792 0 0 17 7 0 0 0
/proc/22793/statm: 70880 5725 319 364 0 5767 0
[pid=22795] ppid=22793 vsize=47972 CPUtime=2.2 cores=1,3,5,7
/proc/22795/stat : 22795 (scip-2.0.1.linu) R 22793 22795 22795 0 -1 4202496 11151 0 0 0 202 18 0 0 18 0 1 0 850213163 49123328 9723 33554432000 4194304 13684479 140734992078960 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22795/statm: 11993 9723 787 2317 0 9671 0
[pid=22786/tid=22794] ppid=22784 vsize=293764 CPUtime=0.01 cores=1,3,5,7
/proc/22786/task/22794/stat : 22794 (python) S 22784 22786 21589 0 -1 4202560 28 1347 0 0 0 0 1 0 20 0 2 0 850213163 300814336 7273 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051478961 0 0 16781312 33554434 18446604463057918784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 625256
[startup+6.30127 s]
/proc/loadavg: 1.97 2.06 1.66 3/615 22795
/proc/meminfo: memFree=26837188/32951124 swapFree=39903648/67111528
[pid=22786] ppid=22784 vsize=293764 CPUtime=0.47 cores=1,3,5,7
/proc/22786/stat : 22786 (python) S 22784 22786 21589 0 -1 4202496 10808 1347 1 0 38 8 1 0 20 0 2 0 850213073 300814336 7273 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 31
/proc/22786/statm: 73441 7273 1863 364 0 8328 0
[pid=22793] ppid=22786 vsize=283520 CPUtime=0.03 cores=1,3,5,7
/proc/22793/stat : 22793 (python) S 22786 22786 21589 0 -1 4202560 893 0 0 0 2 1 0 0 15 0 1 0 850213163 290324480 5749 33554432000 4194304 5683644 140737135891664 18446744073709551615 212039675407 0 0 16781312 33554946 3420411911861174272 0 0 17 7 0 0 0
/proc/22793/statm: 70880 5749 343 364 0 5767 0
[pid=22795] ppid=22793 vsize=47972 CPUtime=5.39 cores=1,3,5,7
/proc/22795/stat : 22795 (scip-2.0.1.linu) R 22793 22795 22795 0 -1 4202496 11899 0 0 0 492 47 0 0 18 0 1 0 850213163 49123328 9735 33554432000 4194304 13684479 140734992078960 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22795/statm: 11993 9735 795 2317 0 9671 0
[pid=22786/tid=22794] ppid=22784 vsize=293764 CPUtime=0.01 cores=1,3,5,7
/proc/22786/task/22794/stat : 22794 (python) S 22784 22786 21589 0 -1 4202560 28 1347 0 0 0 0 1 0 20 0 2 0 850213163 300814336 7273 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051478961 0 0 16781312 33554434 18446604463057918784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 625256
[startup+12.7011 s]
/proc/loadavg: 1.97 2.05 1.67 5/636 22817
/proc/meminfo: memFree=26786908/32951124 swapFree=39903648/67111528
[pid=22786] ppid=22784 vsize=293764 CPUtime=0.47 cores=1,3,5,7
/proc/22786/stat : 22786 (python) S 22784 22786 21589 0 -1 4202496 10808 1347 1 0 38 8 1 0 20 0 2 0 850213073 300814336 7273 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 31
/proc/22786/statm: 73441 7273 1863 364 0 8328 0
[pid=22793] ppid=22786 vsize=283520 CPUtime=0.08 cores=1,3,5,7
/proc/22793/stat : 22793 (python) S 22786 22786 21589 0 -1 4202560 902 0 0 0 5 3 0 0 15 0 1 0 850213163 290324480 5749 33554432000 4194304 5683644 140737135891664 18446744073709551615 212039675407 0 0 16781312 33554946 4294934792 0 0 17 7 0 0 0
/proc/22793/statm: 70880 5749 343 364 0 5767 0
[pid=22795] ppid=22793 vsize=59232 CPUtime=11.78 cores=1,3,5,7
/proc/22795/stat : 22795 (scip-2.0.1.linu) R 22793 22795 22795 0 -1 4202496 17670 0 0 0 1058 120 0 0 18 0 1 0 850213163 60653568 12478 33554432000 4194304 13684479 140734992078960 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22795/statm: 14808 12478 816 2317 0 12486 0
[pid=22786/tid=22794] ppid=22784 vsize=293764 CPUtime=0.01 cores=1,3,5,7
/proc/22786/task/22794/stat : 22794 (python) S 22784 22786 21589 0 -1 4202560 28 1347 0 0 0 0 1 0 20 0 2 0 850213163 300814336 7273 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051478961 0 0 16781312 33554434 18446604463057918784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 636516
[startup+25.5008 s]
/proc/loadavg: 1.98 2.05 1.67 3/637 22818
/proc/meminfo: memFree=25663864/32951124 swapFree=39903648/67111528
[pid=22786] ppid=22784 vsize=293764 CPUtime=0.47 cores=1,3,5,7
/proc/22786/stat : 22786 (python) S 22784 22786 21589 0 -1 4202496 10808 1347 1 0 38 8 1 0 20 0 2 0 850213073 300814336 7273 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 31
/proc/22786/statm: 73441 7273 1863 364 0 8328 0
[pid=22793] ppid=22786 vsize=283520 CPUtime=0.15 cores=1,3,5,7
/proc/22793/stat : 22793 (python) S 22786 22786 21589 0 -1 4202560 916 0 0 0 8 7 0 0 15 0 1 0 850213163 290324480 5749 33554432000 4194304 5683644 140737135891664 18446744073709551615 212039675407 0 0 16781312 33554946 240219775723110400 0 0 17 7 0 0 0
/proc/22793/statm: 70880 5749 343 364 0 5767 0
[pid=22795] ppid=22793 vsize=59756 CPUtime=24.58 cores=1,3,5,7
/proc/22795/stat : 22795 (scip-2.0.1.linu) R 22793 22795 22795 0 -1 4202496 21816 0 0 0 2142 316 0 0 18 0 1 0 850213163 61190144 12707 33554432000 4194304 13684479 140734992078960 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22795/statm: 14939 12707 816 2317 0 12617 0
[pid=22786/tid=22794] ppid=22784 vsize=293764 CPUtime=0.01 cores=1,3,5,7
/proc/22786/task/22794/stat : 22794 (python) S 22784 22786 21589 0 -1 4202560 28 1347 0 0 0 0 1 0 20 0 2 0 850213163 300814336 7273 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051478961 0 0 16781312 33554434 18446604463057918784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 637040
[startup+51.1003 s]
/proc/loadavg: 1.98 2.05 1.68 3/637 22819
/proc/meminfo: memFree=23977320/32951124 swapFree=39903648/67111528
[pid=22786] ppid=22784 vsize=293764 CPUtime=0.47 cores=1,3,5,7
/proc/22786/stat : 22786 (python) S 22784 22786 21589 0 -1 4202496 10808 1347 1 0 38 8 1 0 20 0 2 0 850213073 300814336 7273 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 31
/proc/22786/statm: 73441 7273 1863 364 0 8328 0
[pid=22793] ppid=22786 vsize=283520 CPUtime=0.31 cores=1,3,5,7
/proc/22793/stat : 22793 (python) S 22786 22786 21589 0 -1 4202560 941 0 0 0 16 15 0 0 15 0 1 0 850213163 290324480 5750 33554432000 4194304 5683644 140737135891664 18446744073709551615 212039675407 0 0 16781312 33554946 3012239630461304832 0 0 17 7 0 0 0
/proc/22793/statm: 70880 5750 344 364 0 5767 0
[pid=22795] ppid=22793 vsize=78924 CPUtime=50.18 cores=1,3,5,7
/proc/22795/stat : 22795 (scip-2.0.1.linu) R 22793 22795 22795 0 -1 4202496 28142 0 0 0 4264 754 0 0 18 0 1 0 850213163 80818176 17330 33554432000 4194304 13684479 140734992078960 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22795/statm: 19731 17330 820 2317 0 17409 0
[pid=22786/tid=22794] ppid=22784 vsize=293764 CPUtime=0.01 cores=1,3,5,7
/proc/22786/task/22794/stat : 22794 (python) S 22784 22786 21589 0 -1 4202560 28 1347 0 0 0 0 1 0 20 0 2 0 850213163 300814336 7273 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051478961 0 0 16781312 33554434 18446604463057918784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 656208
[startup+102.301 s]
/proc/loadavg: 1.99 2.04 1.69 3/663 22846
/proc/meminfo: memFree=23828680/32951124 swapFree=39903648/67111528
[pid=22786] ppid=22784 vsize=304524 CPUtime=0.49 cores=1,3,5,7
/proc/22786/stat : 22786 (python) S 22784 22786 21589 0 -1 4202496 11661 1347 1 0 40 8 1 0 19 0 3 0 850213073 311832576 7406 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 31
/proc/22786/statm: 76131 7406 1866 364 0 11015 0
[pid=22793] ppid=22786 vsize=293764 CPUtime=0.36 cores=1,3,5,7
/proc/22793/stat : 22793 (python) S 22786 22786 21589 0 -1 4202560 1149 0 0 0 19 17 0 0 17 0 2 0 850213163 300814336 5818 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22793/statm: 73441 5818 407 364 0 8328 0
[pid=22795] ppid=22793 vsize=84800 CPUtime=56.4 cores=1,3,5,7
/proc/22795/stat : 22795 (scip-2.0.1.linu) T 22793 22795 22795 0 -1 4202496 29539 0 0 0 4777 863 0 0 18 0 1 0 850213163 86835200 18727 33554432000 4194304 13684479 140734992078960 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/22795/statm: 21200 18727 820 2317 0 18878 0
[pid=22793/tid=22820] ppid=22786 vsize=293764 CPUtime=0 cores=1,3,5,7
/proc/22793/task/22820/stat : 22820 (python) S 22786 22786 21589 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850218805 300814336 5818 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051478961 0 0 16781312 33554946 18446604469677021376 0 0 -1 7 0 0 0
[pid=22821] ppid=22786 vsize=294280 CPUtime=0.24 cores=1,3,5,7
/proc/22821/stat : 22821 (python) S 22786 22786 21589 0 -1 4202560 927 0 0 0 12 12 0 0 15 0 1 0 850218807 301342720 5880 33554432000 4194304 5683644 140737135891664 18446744073709551615 212039675462 0 0 16781312 33554946 4294934792 0 0 17 7 0 0 0
/proc/22821/statm: 73570 5880 344 364 0 8454 0
[pid=22823] ppid=22821 vsize=8539832 CPUtime=45.76 cores=1,3,5,7
/proc/22823/stat : 22823 (java) S 22821 22823 22823 0 -1 4202496 33723 0 1 0 4571 5 0 0 20 0 19 0 850218808 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/22823/statm: 2134958 31857 2254 9 0 2125699 0
[pid=22823/tid=22824] ppid=22821 vsize=8539832 CPUtime=43.61 cores=1,3,5,7
/proc/22823/task/22824/stat : 22824 (java) R 22821 22823 22823 0 -1 4202560 21097 0 1 0 4359 2 0 0 25 0 19 0 850218809 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 46912505652508 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22823/tid=22825] ppid=22821 vsize=8539832 CPUtime=0.05 cores=1,3,5,7
/proc/22823/task/22825/stat : 22825 (java) S 22821 22823 22823 0 -1 4202560 498 0 0 0 5 0 0 0 15 0 19 0 850218809 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0
[pid=22823/tid=22826] ppid=22821 vsize=8539832 CPUtime=0.04 cores=1,3,5,7
/proc/22823/task/22826/stat : 22826 (java) S 22821 22823 22823 0 -1 4202560 712 0 0 0 4 0 0 0 15 0 19 0 850218809 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0
[pid=22823/tid=22827] ppid=22821 vsize=8539832 CPUtime=0.05 cores=1,3,5,7
/proc/22823/task/22827/stat : 22827 (java) S 22821 22823 22823 0 -1 4202560 81 0 0 0 5 0 0 0 15 0 19 0 850218809 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0
[pid=22823/tid=22828] ppid=22821 vsize=8539832 CPUtime=0.05 cores=1,3,5,7
/proc/22823/task/22828/stat : 22828 (java) S 22821 22823 22823 0 -1 4202560 770 0 0 0 5 0 0 0 15 0 19 0 850218809 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0
[pid=22823/tid=22829] ppid=22821 vsize=8539832 CPUtime=0.06 cores=1,3,5,7
/proc/22823/task/22829/stat : 22829 (java) S 22821 22823 22823 0 -1 4202560 149 0 0 0 6 0 0 0 15 0 19 0 850218809 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0
[pid=22823/tid=22830] ppid=22821 vsize=8539832 CPUtime=0.05 cores=1,3,5,7
/proc/22823/task/22830/stat : 22830 (java) S 22821 22823 22823 0 -1 4202560 394 0 0 0 5 0 0 0 15 0 19 0 850218809 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0
[pid=22823/tid=22831] ppid=22821 vsize=8539832 CPUtime=0.07 cores=1,3,5,7
/proc/22823/task/22831/stat : 22831 (java) S 22821 22823 22823 0 -1 4202560 164 0 0 0 7 0 0 0 16 0 19 0 850218809 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0
[pid=22823/tid=22832] ppid=22821 vsize=8539832 CPUtime=0.08 cores=1,3,5,7
/proc/22823/task/22832/stat : 22832 (java) S 22821 22823 22823 0 -1 4202560 146 0 0 0 8 0 0 0 15 0 19 0 850218809 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0
[pid=22823/tid=22833] ppid=22821 vsize=8539832 CPUtime=1.01 cores=1,3,5,7
/proc/22823/task/22833/stat : 22833 (java) S 22821 22823 22823 0 -1 4202560 3582 0 0 0 101 0 0 0 16 0 19 0 850218810 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471872 0 0 0 16800975 18446604470139330624 0 0 -1 3 0 0 0
[pid=22823/tid=22834] ppid=22821 vsize=8539832 CPUtime=0 cores=1,3,5,7
/proc/22823/task/22834/stat : 22834 (java) S 22821 22823 22823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850218811 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=22856/tid=22864] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22864/stat : 22864 (java) S 22854 22856 22856 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850228251 8753659904 32079 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 5 0 0 0
[pid=22856/tid=22865] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22865/stat : 22865 (java) S 22854 22856 22856 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850228251 8753659904 32080 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 5 0 0 0
[pid=22856/tid=22866] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22866/stat : 22866 (java) S 22854 22856 22856 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 850228252 8753659904 32081 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471872 0 0 0 16800975 18446604465997233024 0 0 -1 5 0 0 0
[pid=22856/tid=22867] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22867/stat : 22867 (java) S 22854 22856 22856 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 850228252 8753659904 32081 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 7 0 0 0
[pid=22856/tid=22868] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22868/stat : 22868 (java) S 22854 22856 22856 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 850228252 8753659904 32083 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 7 0 0 0
[pid=22856/tid=22869] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22869/stat : 22869 (java) S 22854 22856 22856 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850228254 8753659904 32084 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051478961 0 4 0 16800975 18446604465997233024 0 0 -1 7 0 0 0
[pid=22856/tid=22870] ppid=22854 vsize=8548496 CPUtime=0.51 cores=1,3,5,7
/proc/22856/task/22870/stat : 22870 (java) S 22854 22856 22856 0 -1 4202560 4943 0 0 0 51 0 0 0 25 0 19 0 850228254 8753659904 32086 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 3 0 0 0
[pid=22856/tid=22871] ppid=22854 vsize=8548496 CPUtime=0.56 cores=1,3,5,7
/proc/22856/task/22871/stat : 22871 (java) S 22854 22856 22856 0 -1 4202560 6280 0 0 0 56 0 0 0 25 0 19 0 850228254 8753659904 32087 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 5 0 0 0
[pid=22856/tid=22872] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22872/stat : 22872 (java) S 22854 22856 22856 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850228254 8753659904 32088 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 7 0 0 0
[pid=22856/tid=22873] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22873/stat : 22873 (java) S 22854 22856 22856 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 850228255 8753659904 32090 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471872 0 4 0 16800975 18446604465997233024 0 0 -1 5 0 0 0
[pid=22856/tid=22874] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22874/stat : 22874 (java) S 22854 22856 22856 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850228277 8753659904 32093 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471872 0 4 0 16800975 18446604465997233024 0 0 -1 5 0 0 0
[pid=22786/tid=22794] ppid=22784 vsize=325036 CPUtime=0.01 cores=1,3,5,7
/proc/22786/task/22794/stat : 22794 (python) S 22784 22786 21589 0 -1 4202560 28 1347 0 0 0 0 1 0 20 0 5 0 850213163 332836864 7426 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051478961 0 0 16781312 33554434 18446604463057918784 0 0 -1 7 0 0 0
[pid=22786/tid=22822] ppid=22784 vsize=325036 CPUtime=0.01 cores=1,3,5,7
/proc/22786/task/22822/stat : 22822 (python) S 22784 22786 21589 0 -1 4202560 26 1347 0 0 0 0 1 0 20 0 5 0 850218808 332836864 7426 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051478961 0 0 16781312 33554434 18446604463057918784 0 0 -1 3 0 0 0
[pid=22786/tid=22849] ppid=22784 vsize=325036 CPUtime=0.01 cores=1,3,5,7
/proc/22786/task/22849/stat : 22849 (python) S 22784 22786 21589 0 -1 4202560 27 1347 0 0 0 0 1 0 20 0 5 0 850223424 332836864 7426 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051478961 0 0 16781312 33554434 18446604463057918784 0 0 -1 3 0 0 0
[pid=22786/tid=22855] ppid=22784 vsize=325036 CPUtime=0.01 cores=1,3,5,7
/proc/22786/task/22855/stat : 22855 (python) S 22784 22786 21589 0 -1 4202560 31 1347 0 0 0 0 1 0 20 0 5 0 850228249 332836864 7426 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051478961 0 0 16781312 33554434 18446604463057918784 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 155
Current children cumulated vsize (KiB) 18777300
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+152.601 s]
/proc/loadavg: 2.08 2.06 1.72 6/690 22874
/proc/meminfo: memFree=23644520/32951124 swapFree=39903648/67111528
[pid=22786] ppid=22784 vsize=325036 CPUtime=0.55 cores=1,3,5,7
/proc/22786/stat : 22786 (python) S 22784 22786 21589 0 -1 4202496 13414 1347 1 0 45 9 1 0 19 0 5 0 850213073 332836864 7426 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 31
/proc/22786/statm: 81259 7426 1878 364 0 16137 0
[pid=22793] ppid=22786 vsize=293764 CPUtime=0.36 cores=1,3,5,7
/proc/22793/stat : 22793 (python) S 22786 22786 21589 0 -1 4202560 1149 0 0 0 19 17 0 0 17 0 2 0 850213163 300814336 5818 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22793/statm: 73441 5818 407 364 0 8328 0
[pid=22795] ppid=22793 vsize=84800 CPUtime=56.4 cores=1,3,5,7
/proc/22795/stat : 22795 (scip-2.0.1.linu) T 22793 22795 22795 0 -1 4202496 29539 0 0 0 4777 863 0 0 18 0 1 0 850213163 86835200 18727 33554432000 4194304 13684479 140734992078960 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/22795/statm: 21200 18727 820 2317 0 18878 0
[pid=22793/tid=22820] ppid=22786 vsize=293764 CPUtime=0 cores=1,3,5,7
/proc/22793/task/22820/stat : 22820 (python) S 22786 22786 21589 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850218805 300814336 5818 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051478961 0 0 16781312 33554946 18446604469677021376 0 0 -1 7 0 0 0
[pid=22821] ppid=22786 vsize=294280 CPUtime=0.26 cores=1,3,5,7
/proc/22821/stat : 22821 (python) S 22786 22786 21589 0 -1 4202560 1120 0 0 0 13 13 0 0 16 0 2 0 850218807 301342720 5928 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22821/statm: 73570 5928 391 364 0 8454 0
[pid=22823] ppid=22821 vsize=8539832 CPUtime=46.96 cores=1,3,5,7
/proc/22823/stat : 22823 (java) T 22821 22823 22823 0 -1 4202496 33725 0 1 0 4691 5 0 0 18 0 19 0 850218808 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/22823/statm: 2134958 31857 2254 9 0 2125699 0
[pid=22823/tid=22824] ppid=22821 vsize=8539832 CPUtime=44.75 cores=1,3,5,7
/proc/22823/task/22824/stat : 22824 (java) T 22821 22823 22823 0 -1 4202560 21099 0 1 0 4473 2 0 0 25 0 19 0 850218809 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22823/tid=22825] ppid=22821 vsize=8539832 CPUtime=0.05 cores=1,3,5,7
/proc/22823/task/22825/stat : 22825 (java) T 22821 22823 22823 0 -1 4202560 498 0 0 0 5 0 0 0 15 0 19 0 850218809 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22823/tid=22826] ppid=22821 vsize=8539832 CPUtime=0.05 cores=1,3,5,7
/proc/22823/task/22826/stat : 22826 (java) T 22821 22823 22823 0 -1 4202560 712 0 0 0 5 0 0 0 15 0 19 0 850218809 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212039608631 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22823/tid=22827] ppid=22821 vsize=8539832 CPUtime=0.07 cores=1,3,5,7
/proc/22823/task/22827/stat : 22827 (java) T 22821 22823 22823 0 -1 4202560 81 0 0 0 7 0 0 0 15 0 19 0 850218809 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22823/tid=22828] ppid=22821 vsize=8539832 CPUtime=0.07 cores=1,3,5,7
/proc/22823/task/22828/stat : 22828 (java) T 22821 22823 22823 0 -1 4202560 770 0 0 0 7 0 0 0 15 0 19 0 850218809 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471872 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22823/tid=22829] ppid=22821 vsize=8539832 CPUtime=0.06 cores=1,3,5,7
/proc/22823/task/22829/stat : 22829 (java) T 22821 22823 22823 0 -1 4202560 149 0 0 0 6 0 0 0 15 0 19 0 850218809 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22823/tid=22830] ppid=22821 vsize=8539832 CPUtime=0.06 cores=1,3,5,7
/proc/22823/task/22830/stat : 22830 (java) T 22821 22823 22823 0 -1 4202560 394 0 0 0 6 0 0 0 15 0 19 0 850218809 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22823/tid=22831] ppid=22821 vsize=8539832 CPUtime=0.07 cores=1,3,5,7
/proc/22823/task/22831/stat : 22831 (java) T 22821 22823 22823 0 -1 4202560 164 0 0 0 7 0 0 0 16 0 19 0 850218809 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22823/tid=22832] ppid=22821 vsize=8539832 CPUtime=0.08 cores=1,3,5,7
/proc/22823/task/22832/stat : 22832 (java) T 22821 22823 22823 0 -1 4202560 146 0 0 0 8 0 0 0 16 0 19 0 850218809 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22823/tid=22833] ppid=22821 vsize=8539832 CPUtime=1.02 cores=1,3,5,7
/proc/22823/task/22833/stat : 22833 (java) T 22821 22823 22823 0 -1 4202560 3582 0 0 0 102 0 0 0 15 0 19 0 850218810 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22823/tid=22834] ppid=22821 vsize=8539832 CPUtime=0 cores=1,3,5,7
/proc/22823/task/22834/stat : 22834 (java) T 22821 22823 22823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850218811 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22823/tid=22835] ppid=22821 vsize=8539832 CPUtime=0 cores=1,3,5,7
/proc/22823/task/22835/stat : 22835 (java) T 22821 22823 22823 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850218811 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22823/tid=22836] ppid=22821 vsize=8539832 CPUtime=0 cores=1,3,5,7
/proc/22823/task/22836/stat : 22836 (java) T 22821 22823 22823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850218813 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051478961 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22823/tid=22837] ppid=22821 vsize=8539832 CPUtime=0.34 cores=1,3,5,7
/proc/22823/task/22837/stat : 22837 (java) T 22821 22823 22823 0 -1 4202560 2800 0 0 0 34 0 0 0 15 0 19 0 850218813 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22823/tid=22838] ppid=22821 vsize=8539832 CPUtime=0.25 cores=1,3,5,7
/proc/22823/task/22838/stat : 22838 (java) T 22821 22823 22823 0 -1 4202560 1938 0 0 0 25 0 0 0 15 0 19 0 850218813 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22823/tid=22839] ppid=22821 vsize=8539832 CPUtime=0 cores=1,3,5,7
/proc/22823/task/22839/stat : 22839 (java) T 22821 22823 22823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850218813 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22823/tid=22840] ppid=22821 vsize=8539832 CPUtime=0 cores=1,3,5,7
/proc/22823/task/22840/stat : 22840 (java) T 22821 22823 22823 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850218813 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471872 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22823/tid=22841] ppid=22821 vsize=8539832 CPUtime=0 cores=1,3,5,7
/proc/22823/task/22841/stat : 22841 (java) T 22821 22823 22823 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850218836 8744787968 31857 33554432000 1073741824 1073778376 140736842204368 18446744073709551615 212051471872 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22821/tid=22847] ppid=22786 vsize=294280 CPUtime=0 cores=1,3,5,7
/proc/22821/task/22847/stat : 22847 (python) S 22786 22786 21589 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 850223422 301342720 5928 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051478961 0 0 16781312 33554946 18446604471035290880 0 0 -1 7 0 0 0
[pid=22848] ppid=22786 vsize=304536 CPUtime=0.3 cores=1,3,5,7
/proc/22848/stat : 22848 (python) S 22786 22786 21589 0 -1 4202560 1149 0 0 0 15 15 0 0 17 0 2 0 850223424 311844864 5933 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22848/statm: 76134 5933 392 364 0 11015 0
[pid=22850] ppid=22848 vsize=71764 CPUtime=48.21 cores=1,3,5,7
/proc/22850/stat : 22850 (scip-2.0.1.linu) T 22848 22850 22850 0 -1 4202496 29674 0 0 0 4657 164 0 0 18 0 1 0 850223424 73486336 15173 33554432000 4194304 15243407 140734644660208 18446744073709551615 13354455 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/22850/statm: 17941 15173 940 2698 0 15236 0
[pid=22848/tid=22853] ppid=22786 vsize=304536 CPUtime=0 cores=1,3,5,7
/proc/22848/task/22853/stat : 22853 (python) S 22786 22786 21589 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850228246 311844864 5933 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051478961 0 0 16781312 33554946 18446604456723088320 0 0 -1 7 0 0 0
[pid=22854] ppid=22786 vsize=314792 CPUtime=0 cores=1,3,5,7
/proc/22854/stat : 22854 (python) S 22786 22786 21589 0 -1 4202560 780 0 0 0 0 0 0 0 15 0 1 0 850228249 322347008 5864 33554432000 4194304 5683644 140737135891664 18446744073709551615 212039675462 0 0 16781312 33554946 4294934789 0 0 17 3 0 0 0
/proc/22854/statm: 78698 5864 320 364 0 13576 0
[pid=22856] ppid=22854 vsize=8548496 CPUtime=1.96 cores=1,3,5,7
/proc/22856/stat : 22856 (java) S 22854 22856 22856 0 -1 4202496 36548 0 1 0 192 4 0 0 17 0 19 0 850228249 8753659904 31809 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/22856/statm: 2137124 31811 2224 9 0 2127865 0
[pid=22856/tid=22857] ppid=22854 vsize=8548496 CPUtime=0.86 cores=1,3,5,7
/proc/22856/task/22857/stat : 22857 (java) R 22854 22856 22856 0 -1 4202560 24188 0 1 0 84 2 0 0 19 0 19 0 850228250 8753659904 32071 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 46912505714836 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22856/tid=22858] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22858/stat : 22858 (java) S 22854 22856 22856 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850228251 8753659904 32072 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 7 0 0 0
[pid=22856/tid=22859] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22859/stat : 22859 (java) S 22854 22856 22856 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850228251 8753659904 32074 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 5 0 0 0
[pid=22856/tid=22860] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22860/stat : 22860 (java) S 22854 22856 22856 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850228251 8753659904 32075 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 5 0 0 0
[pid=22856/tid=22861] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22861/stat : 22861 (java) S 22854 22856 22856 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850228251 8753659904 32076 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 5 0 0 0
[pid=22856/tid=22862] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22862/stat : 22862 (java) S 22854 22856 22856 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850228251 8753659904 32077 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 5 0 0 0
[pid=22856/tid=22863] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22863/stat : 22863 (java) S 22854 22856 22856 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850228251 8753659904 32079 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 5 0 0 0
[pid=22856/tid=22864] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22864/stat : 22864 (java) S 22854 22856 22856 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850228251 8753659904 32079 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 5 0 0 0
[pid=22856/tid=22865] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22865/stat : 22865 (java) S 22854 22856 22856 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850228251 8753659904 32080 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 5 0 0 0
[pid=22856/tid=22866] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22866/stat : 22866 (java) S 22854 22856 22856 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 850228252 8753659904 32081 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471872 0 0 0 16800975 18446604465997233024 0 0 -1 5 0 0 0
[pid=22856/tid=22867] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22867/stat : 22867 (java) S 22854 22856 22856 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 850228252 8753659904 32081 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 7 0 0 0
[pid=22856/tid=22868] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22868/stat : 22868 (java) S 22854 22856 22856 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 850228252 8753659904 32083 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 7 0 0 0
[pid=22856/tid=22869] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22869/stat : 22869 (java) S 22854 22856 22856 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850228254 8753659904 32084 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051478961 0 4 0 16800975 18446604465997233024 0 0 -1 7 0 0 0
[pid=22856/tid=22870] ppid=22854 vsize=8548496 CPUtime=0.51 cores=1,3,5,7
/proc/22856/task/22870/stat : 22870 (java) S 22854 22856 22856 0 -1 4202560 4943 0 0 0 51 0 0 0 25 0 19 0 850228254 8753659904 32086 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 3 0 0 0
[pid=22856/tid=22871] ppid=22854 vsize=8548496 CPUtime=0.56 cores=1,3,5,7
/proc/22856/task/22871/stat : 22871 (java) S 22854 22856 22856 0 -1 4202560 6280 0 0 0 56 0 0 0 25 0 19 0 850228254 8753659904 32087 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 5 0 0 0
[pid=22856/tid=22872] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22872/stat : 22872 (java) S 22854 22856 22856 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850228254 8753659904 32088 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471257 0 4 0 16800975 18446604465997233024 0 0 -1 7 0 0 0
[pid=22856/tid=22873] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22873/stat : 22873 (java) S 22854 22856 22856 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 850228255 8753659904 32090 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471872 0 4 0 16800975 18446604465997233024 0 0 -1 5 0 0 0
[pid=22856/tid=22874] ppid=22854 vsize=8548496 CPUtime=0 cores=1,3,5,7
/proc/22856/task/22874/stat : 22874 (java) S 22854 22856 22856 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850228277 8753659904 32093 33554432000 1073741824 1073778376 140734736528208 18446744073709551615 212051471872 0 4 0 16800975 18446604465997233024 0 0 -1 5 0 0 0
[pid=22786/tid=22794] ppid=22784 vsize=325036 CPUtime=0.01 cores=1,3,5,7
/proc/22786/task/22794/stat : 22794 (python) S 22784 22786 21589 0 -1 4202560 28 1347 0 0 0 0 1 0 20 0 5 0 850213163 332836864 7426 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051478961 0 0 16781312 33554434 18446604463057918784 0 0 -1 7 0 0 0
[pid=22786/tid=22822] ppid=22784 vsize=325036 CPUtime=0.01 cores=1,3,5,7
/proc/22786/task/22822/stat : 22822 (python) S 22784 22786 21589 0 -1 4202560 26 1347 0 0 0 0 1 0 20 0 5 0 850218808 332836864 7426 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051478961 0 0 16781312 33554434 18446604463057918784 0 0 -1 3 0 0 0
[pid=22786/tid=22849] ppid=22784 vsize=325036 CPUtime=0.01 cores=1,3,5,7
/proc/22786/task/22849/stat : 22849 (python) S 22784 22786 21589 0 -1 4202560 27 1347 0 0 0 0 1 0 20 0 5 0 850223424 332836864 7426 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051478961 0 0 16781312 33554434 18446604463057918784 0 0 -1 3 0 0 0
[pid=22786/tid=22855] ppid=22784 vsize=325036 CPUtime=0.01 cores=1,3,5,7
/proc/22786/task/22855/stat : 22855 (python) S 22784 22786 21589 0 -1 4202560 31 1347 0 0 0 0 1 0 20 0 5 0 850228249 332836864 7426 33554432000 4194304 5683644 140737135891664 18446744073709551615 212051478961 0 0 16781312 33554434 18446604463057918784 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 155
Current children cumulated vsize (KiB) 18777300
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22786 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=471928
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=101984
# CPU time returned by wait4() is 0.573912
# while last known CPU time is 155
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 152.683
CPU time (s): 155
CPU user time (s): 144.1
CPU system time (s): 10.9
CPU usage (%): 101.518
Max. virtual memory (cumulated for all children) (KiB): 18777300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.471928
system time used= 0.101984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14762
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= 1760
involuntary context switches= 21
runsolver used 0.922859 second user time and 2.08268 second system time
The end