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-3481744-1307576441/watcher-3481744-1307576441 -o /tmp/evaluation-result-3481744-1307576441/solver-3481744-1307576441 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481744-1307576441.opb -seed 536117811 -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: 0.00 0.00 0.00 2/372 32750
/proc/meminfo: memFree=31098932/32951124 swapFree=36471928/67111528
[pid=32749] ppid=32745 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/32749/stat : 32749 (runsolver) S 32745 32749 32706 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 1 0 869245272 12079104 53 33554432000 4194304 5432328 140735528917376 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699199166 0 0 17 3 0 0 0
/proc/32749/statm: 2949 53 34 303 0 2643 0
[startup+0.0896671 s]
/proc/loadavg: 0.00 0.00 0.00 2/372 32750
/proc/meminfo: memFree=31098932/32951124 swapFree=36471928/67111528
[pid=32749] ppid=32745 vsize=1840 CPUtime=0 cores=1,3,5,7
/proc/32749/stat : 32749 (python) D 32745 32749 32706 0 -1 4194304 47 0 0 0 0 0 0 0 17 0 1 0 869245272 1884160 1 33554432000 0 0 140733523068584 18446744073709551615 5055479 0 0 4096 0 18446744071562234166 0 0 17 5 0 0 1
/proc/32749/statm: 460 1 0 0 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1840
[startup+0.100668 s]
/proc/loadavg: 0.00 0.00 0.00 2/372 32750
/proc/meminfo: memFree=31098932/32951124 swapFree=36471928/67111528
[pid=32749] ppid=32745 vsize=1840 CPUtime=0 cores=1,3,5,7
/proc/32749/stat : 32749 (python) D 32745 32749 32706 0 -1 4194304 47 0 0 0 0 0 0 0 17 0 1 0 869245272 1884160 1 33554432000 0 0 140733523068584 18446744073709551615 5055479 0 0 4096 0 18446744071562234166 0 0 17 5 0 0 1
/proc/32749/statm: 460 1 0 0 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1840
[startup+0.300587 s]
/proc/loadavg: 0.00 0.00 0.00 2/372 32750
/proc/meminfo: memFree=31098932/32951124 swapFree=36471928/67111528
[pid=32749] ppid=32745 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/32749/stat : 32749 (python) S 32745 32749 32706 0 -1 4202496 612 0 5 0 0 0 0 0 16 0 1 0 869245272 15441920 513 33554432000 4194304 5683644 140733523060304 18446744073709551615 230809163776 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 7
/proc/32749/statm: 3770 513 300 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.700554 s]
/proc/loadavg: 0.00 0.00 0.00 2/372 32750
/proc/meminfo: memFree=31098932/32951124 swapFree=36471928/67111528
[pid=32749] ppid=32745 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/32749/stat : 32749 (python) D 32745 32749 32706 0 -1 4202496 787 0 5 0 0 0 0 0 16 0 1 0 869245272 15753216 679 33554432000 4194304 5683644 140733523060304 18446744073709551615 230809165568 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 10
/proc/32749/statm: 3846 679 322 364 0 333 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15384
[startup+1.50037 s]
/proc/loadavg: 0.16 0.03 0.01 1/374 32753
/proc/meminfo: memFree=31091788/32951124 swapFree=36471928/67111528
[pid=32749] ppid=32745 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/32749/stat : 32749 (python) D 32745 32749 32706 0 -1 4202496 1046 0 5 0 0 0 0 0 16 0 1 0 869245272 16633856 922 33554432000 4194304 5683644 140733523060304 18446744073709551615 230809163776 0 0 16781312 2 0 0 0 17 7 0 0 46
/proc/32749/statm: 4061 922 381 364 0 548 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16244
[startup+3.10112 s]
/proc/loadavg: 0.16 0.03 0.01 1/374 32753
/proc/meminfo: memFree=31083868/32951124 swapFree=36471928/67111528
[pid=32749] ppid=32745 vsize=23212 CPUtime=0.04 cores=1,3,5,7
/proc/32749/stat : 32749 (python) S 32745 32749 32706 0 -1 4202496 1316 0 8 0 3 1 0 0 16 0 1 0 869245272 23769088 1173 33554432000 4194304 5683644 140733523060304 18446744073709551615 230809163776 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 57
/proc/32749/statm: 5803 1173 432 364 0 730 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23212
heavy processes:
[startup+6.30049 s]
/proc/loadavg: 0.23 0.05 0.02 2/374 32764
/proc/meminfo: memFree=31060248/32951124 swapFree=36471928/67111528
[pid=32749] ppid=32745 vsize=177696 CPUtime=0.42 cores=1,3,5,7
/proc/32749/stat : 32749 (python) D 32745 32749 32706 0 -1 4202496 6194 920 64 9 21 21 0 0 15 0 1 0 869245272 181960704 4566 33554432000 4194304 5683644 140733523060304 18446744073709551615 230809165568 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 110
/proc/32749/statm: 44424 4566 1238 364 0 3536 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 177696
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 0.37 0.08 0.03 3/380 303
/proc/meminfo: memFree=30851368/32951124 swapFree=36471928/67111528
[pid=32749] ppid=32745 vsize=293860 CPUtime=0.76 cores=1,3,5,7
/proc/32749/stat : 32749 (python) S 32745 32749 32706 0 -1 4202496 9708 920 109 9 43 33 0 0 18 0 2 0 869245272 300912640 7319 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 146
/proc/32749/statm: 73465 7319 1870 364 0 8352 0
[pid=32765] ppid=32749 vsize=283616 CPUtime=0.01 cores=1,3,5,7
/proc/32765/stat : 32765 (python) S 32749 32749 32706 0 -1 4202560 921 0 0 0 0 1 0 0 15 0 1 0 869246074 290422784 5823 33554432000 4194304 5683644 140733523060304 18446744073709551615 230809185807 0 0 16781312 33554946 686211954288623616 0 0 17 7 0 0 0
/proc/32765/statm: 70904 5823 376 364 0 5791 0
[pid=301] ppid=32765 vsize=100216 CPUtime=4.66 cores=1,3,5,7
/proc/301/stat : 301 (scip-2.0.1.linu) R 32765 301 301 0 -1 4202496 23958 0 0 0 453 13 0 0 20 0 1 0 869246074 102621184 22432 33554432000 4194304 13684479 140737422885008 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/301/statm: 25054 22432 770 2317 0 22732 0
[pid=32749/tid=300] ppid=32745 vsize=293860 CPUtime=0 cores=1,3,5,7
/proc/32749/task/300/stat : 300 (python) S 32745 32749 32706 0 -1 4202560 29 920 0 9 0 0 0 0 18 0 2 0 869246074 300912640 7319 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110091520 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.43
Current children cumulated vsize (KiB) 677692
heavy processes:
[startup+25.501 s]
/proc/loadavg: 0.62 0.14 0.05 3/380 304
/proc/meminfo: memFree=30764180/32951124 swapFree=36471928/67111528
[pid=32749] ppid=32745 vsize=293860 CPUtime=0.76 cores=1,3,5,7
/proc/32749/stat : 32749 (python) S 32745 32749 32706 0 -1 4202496 9708 920 109 9 43 33 0 0 18 0 2 0 869245272 300912640 7319 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 146
/proc/32749/statm: 73465 7319 1870 364 0 8352 0
[pid=32765] ppid=32749 vsize=283616 CPUtime=0.05 cores=1,3,5,7
/proc/32765/stat : 32765 (python) S 32749 32749 32706 0 -1 4202560 931 0 0 0 2 3 0 0 15 0 1 0 869246074 290422784 5825 33554432000 4194304 5683644 140733523060304 18446744073709551615 230809185807 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/32765/statm: 70904 5825 376 364 0 5791 0
[pid=301] ppid=32765 vsize=137888 CPUtime=17.47 cores=1,3,5,7
/proc/301/stat : 301 (scip-2.0.1.linu) R 32765 301 301 0 -1 4202496 34191 0 0 0 1709 38 0 0 20 0 1 0 869246074 141197312 32034 33554432000 4194304 13684479 140737422885008 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/301/statm: 34472 32034 795 2317 0 32150 0
[pid=32749/tid=300] ppid=32745 vsize=293860 CPUtime=0 cores=1,3,5,7
/proc/32749/task/300/stat : 300 (python) S 32745 32749 32706 0 -1 4202560 29 920 0 9 0 0 0 0 18 0 2 0 869246074 300912640 7319 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110091520 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 18.28
Current children cumulated vsize (KiB) 715364
heavy processes:
[startup+51.1003 s]
/proc/loadavg: 1.16 0.32 0.11 3/380 304
/proc/meminfo: memFree=30739712/32951124 swapFree=36471928/67111528
[pid=32749] ppid=32745 vsize=293860 CPUtime=0.76 cores=1,3,5,7
/proc/32749/stat : 32749 (python) S 32745 32749 32706 0 -1 4202496 9708 920 109 9 43 33 0 0 18 0 2 0 869245272 300912640 7319 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 146
/proc/32749/statm: 73465 7319 1870 364 0 8352 0
[pid=32765] ppid=32749 vsize=283616 CPUtime=0.12 cores=1,3,5,7
/proc/32765/stat : 32765 (python) S 32749 32749 32706 0 -1 4202560 939 0 0 0 5 7 0 0 15 0 1 0 869246074 290422784 5825 33554432000 4194304 5683644 140733523060304 18446744073709551615 230809185807 0 0 16781312 33554946 1344275620632199168 0 0 17 7 0 0 0
/proc/32765/statm: 70904 5825 376 364 0 5791 0
[pid=301] ppid=32765 vsize=137888 CPUtime=43.07 cores=1,3,5,7
/proc/301/stat : 301 (scip-2.0.1.linu) R 32765 301 301 0 -1 4202496 34192 0 0 0 4217 90 0 0 25 0 1 0 869246074 141197312 32035 33554432000 4194304 13684479 140737422885008 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/301/statm: 34472 32035 796 2317 0 32150 0
[pid=32749/tid=300] ppid=32745 vsize=293860 CPUtime=0 cores=1,3,5,7
/proc/32749/task/300/stat : 300 (python) S 32745 32749 32706 0 -1 4202560 29 920 0 9 0 0 0 0 18 0 2 0 869246074 300912640 7319 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110091520 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 43.95
Current children cumulated vsize (KiB) 715364
[startup+102.301 s]
/proc/loadavg: 1.63 0.58 0.20 4/424 370
/proc/meminfo: memFree=30333364/32951124 swapFree=36471928/67111528
[pid=32749] ppid=32745 vsize=304620 CPUtime=0.78 cores=1,3,5,7
/proc/32749/stat : 32749 (python) S 32745 32749 32706 0 -1 4202496 10561 920 109 9 45 33 0 0 20 0 3 0 869245272 311930880 7452 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 146
/proc/32749/statm: 76155 7452 1873 364 0 11039 0
[pid=341] ppid=32749 vsize=294376 CPUtime=0.15 cores=1,3,5,7
/proc/341/stat : 341 (python) S 32749 32749 32706 0 -1 4202560 1043 0 0 0 7 8 0 0 15 0 1 0 869251131 301441024 5954 33554432000 4194304 5683644 140733523060304 18446744073709551615 230809185862 0 0 16781312 33554946 5623311482772007709 0 0 17 1 0 0 0
/proc/341/statm: 73594 5954 379 364 0 8478 0
[pid=345] ppid=341 vsize=8537284 CPUtime=44.8 cores=1,3,5,7
/proc/345/stat : 345 (java) S 341 345 345 0 -1 4202496 57987 0 1 0 4471 9 0 0 18 0 19 0 869251131 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/345/statm: 2134321 50135 2255 9 0 2125062 0
[pid=345/tid=346] ppid=341 vsize=8537284 CPUtime=43.28 cores=1,3,5,7
/proc/345/task/346/stat : 346 (java) R 341 345 345 0 -1 4202560 16119 0 1 0 4326 2 0 0 25 0 19 0 869251132 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 46912505774379 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=345/tid=347] ppid=341 vsize=8537284 CPUtime=0.04 cores=1,3,5,7
/proc/345/task/347/stat : 347 (java) S 341 345 345 0 -1 4202560 3240 0 0 0 4 0 0 0 15 0 19 0 869251132 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446604470050282304 0 0 -1 7 0 0 0
[pid=345/tid=349] ppid=341 vsize=8537284 CPUtime=0.03 cores=1,3,5,7
/proc/345/task/349/stat : 349 (java) S 341 345 345 0 -1 4202560 2917 0 0 0 3 0 0 0 15 0 19 0 869251132 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446604470050282304 0 0 -1 5 0 0 0
[pid=345/tid=350] ppid=341 vsize=8537284 CPUtime=0.04 cores=1,3,5,7
/proc/345/task/350/stat : 350 (java) S 341 345 345 0 -1 4202560 1982 0 0 0 4 0 0 0 15 0 19 0 869251132 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446604470050282304 0 0 -1 3 0 0 0
[pid=345/tid=351] ppid=341 vsize=8537284 CPUtime=0.03 cores=1,3,5,7
/proc/345/task/351/stat : 351 (java) S 341 345 345 0 -1 4202560 2268 0 0 0 3 0 0 0 15 0 19 0 869251132 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446604470050282304 0 0 -1 7 0 0 0
[pid=345/tid=352] ppid=341 vsize=8537284 CPUtime=0.03 cores=1,3,5,7
/proc/345/task/352/stat : 352 (java) S 341 345 345 0 -1 4202560 2562 0 0 0 3 0 0 0 15 0 19 0 869251132 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446604470050282304 0 0 -1 7 0 0 0
[pid=345/tid=354] ppid=341 vsize=8537284 CPUtime=0.04 cores=1,3,5,7
/proc/345/task/354/stat : 354 (java) S 341 345 345 0 -1 4202560 4247 0 0 0 4 0 0 0 15 0 19 0 869251132 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446604470050282304 0 0 -1 7 0 0 0
[pid=345/tid=355] ppid=341 vsize=8537284 CPUtime=0.04 cores=1,3,5,7
/proc/345/task/355/stat : 355 (java) S 341 345 345 0 -1 4202560 5704 0 0 0 4 0 0 0 15 0 19 0 869251132 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446604470050282304 0 0 -1 5 0 0 0
[pid=345/tid=356] ppid=341 vsize=8537284 CPUtime=0.04 cores=1,3,5,7
/proc/345/task/356/stat : 356 (java) S 341 345 345 0 -1 4202560 4097 0 0 0 4 0 0 0 16 0 19 0 869251132 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446604470050282304 0 0 -1 7 0 0 0
[pid=345/tid=357] ppid=341 vsize=8537284 CPUtime=0.25 cores=1,3,5,7
/proc/345/task/357/stat : 357 (java) S 341 345 345 0 -1 4202560 8682 0 0 0 24 1 0 0 15 0 19 0 869251133 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820982272 0 0 0 16800975 18446604470050282304 0 0 -1 3 0 0 0
[pid=345/tid=358] ppid=341 vsize=8537284 CPUtime=0 cores=1,3,5,7
/proc/345/task/358/stat : 358 (java) S 341 345 345 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869251134 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446604470050282304 0 0 -1 5 0 0 0
[pid=345/tid=360] ppid=341 vsize=8537284 CPUtime=0 cores=1,3,5,7
/proc/345/task/360/stat : 360 (java) S 341 345 345 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869251134 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446604470050282304 0 0 -1 5 0 0 0
[pid=345/tid=361] ppid=341 vsize=8537284 CPUtime=0 cores=1,3,5,7
/proc/345/task/361/stat : 361 (java) S 341 345 345 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869251136 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820989361 0 4 0 16800975 18446604470050282304 0 0 -1 5 0 0 0
[pid=345/tid=362] ppid=341 vsize=8537284 CPUtime=0.46 cores=1,3,5,7
/proc/345/task/362/stat : 362 (java) S 341 345 345 0 -1 4202560 1603 0 0 0 46 0 0 0 15 0 19 0 869251136 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446604470050282304 0 0 -1 3 0 0 0
[pid=345/tid=363] ppid=341 vsize=8537284 CPUtime=0.39 cores=1,3,5,7
/proc/345/task/363/stat : 363 (java) S 341 345 345 0 -1 4202560 3175 0 0 0 39 0 0 0 15 0 19 0 869251136 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446604470050282304 0 0 -1 7 0 0 0
[pid=345/tid=365] ppid=341 vsize=8537284 CPUtime=0 cores=1,3,5,7
/proc/345/task/365/stat : 365 (java) S 341 345 345 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869251136 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446604470050282304 0 0 -1 5 0 0 0
[pid=345/tid=366] ppid=341 vsize=8537284 CPUtime=0 cores=1,3,5,7
/proc/345/task/366/stat : 366 (java) S 341 345 345 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869251136 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820982272 0 4 0 16800975 18446604470050282304 0 0 -1 7 0 0 0
[pid=345/tid=368] ppid=341 vsize=8537284 CPUtime=0 cores=1,3,5,7
/proc/345/task/368/stat : 368 (java) S 341 345 345 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869251165 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820982272 0 4 0 16800975 18446604470050282304 0 0 -1 7 0 0 0
[pid=32765] ppid=32749 vsize=293860 CPUtime=0.16 cores=1,3,5,7
/proc/32765/stat : 32765 (python) S 32749 32749 32706 0 -1 4202560 1105 0 0 0 7 9 0 0 16 0 2 0 869246074 300912640 5861 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32765/statm: 73465 5861 407 364 0 8352 0
[pid=301] ppid=32765 vsize=137888 CPUtime=50.53 cores=1,3,5,7
/proc/301/stat : 301 (scip-2.0.1.linu) T 32765 301 301 0 -1 4202496 34195 0 0 0 4947 106 0 0 25 0 1 0 869246074 141197312 32036 33554432000 4194304 13684479 140737422885008 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/301/statm: 34472 32036 795 2317 0 32150 0
################
# More data... #
################
[pid=409/tid=419] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/419/stat : 419 (java) S 407 409 409 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869260690 8738078720 5484 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820982272 0 0 0 16800975 18446604469590756224 0 0 -1 7 0 0 0
[pid=409/tid=420] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/420/stat : 420 (java) S 407 409 409 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869260690 8738078720 5484 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820981657 0 4 0 16800975 18446604469590756224 0 0 -1 7 0 0 0
[pid=409/tid=421] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/421/stat : 421 (java) S 407 409 409 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869260690 8738078720 5484 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820981657 0 4 0 16800975 18446604469590756224 0 0 -1 7 0 0 0
[pid=409/tid=422] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/422/stat : 422 (java) S 407 409 409 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869260692 8738078720 5485 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820989361 0 4 0 16800975 18446604469590756224 0 0 -1 7 0 0 0
[pid=409/tid=423] ppid=407 vsize=8533280 CPUtime=0.01 cores=1,3,5,7
/proc/409/task/423/stat : 423 (java) R 407 409 409 0 -1 4202560 200 0 0 0 1 0 0 0 25 0 18 0 869260692 8738078720 5485 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820981657 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=409/tid=424] ppid=407 vsize=8533280 CPUtime=0.03 cores=1,3,5,7
/proc/409/task/424/stat : 424 (java) S 407 409 409 0 -1 4202560 774 0 0 0 3 0 0 0 25 0 18 0 869260692 8738078720 5486 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820981657 0 4 0 16800975 18446604469590756224 0 0 -1 3 0 0 0
[pid=409/tid=425] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/425/stat : 425 (java) S 407 409 409 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869260692 8738078720 5486 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820981657 0 4 0 16800975 18446604469590756224 0 0 -1 7 0 0 0
[pid=409/tid=426] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/426/stat : 426 (java) S 407 409 409 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869260692 8738078720 5487 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820982272 0 4 0 16800975 18446604469590756224 0 0 -1 3 0 0 0
[pid=32765] ppid=32749 vsize=293860 CPUtime=0.16 cores=1,3,5,7
/proc/32765/stat : 32765 (python) S 32749 32749 32706 0 -1 4202560 1105 0 0 0 7 9 0 0 16 0 2 0 869246074 300912640 5861 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32765/statm: 73465 5861 407 364 0 8352 0
[pid=301] ppid=32765 vsize=137888 CPUtime=50.53 cores=1,3,5,7
/proc/301/stat : 301 (scip-2.0.1.linu) T 32765 301 301 0 -1 4202496 34195 0 0 0 4947 106 0 0 25 0 1 0 869246074 141197312 32036 33554432000 4194304 13684479 140737422885008 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/301/statm: 34472 32036 795 2317 0 32150 0
[pid=32765/tid=340] ppid=32749 vsize=293860 CPUtime=0 cores=1,3,5,7
/proc/32765/task/340/stat : 340 (python) S 32749 32749 32706 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869251129 300912640 5861 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820989361 0 0 16781312 33554946 18446604459054824384 0 0 -1 7 0 0 0
[pid=32749/tid=300] ppid=32745 vsize=325344 CPUtime=0 cores=1,3,5,7
/proc/32749/task/300/stat : 300 (python) S 32745 32749 32706 0 -1 4202560 29 920 0 9 0 0 0 0 18 0 5 0 869246074 333152256 7501 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110091520 0 0 -1 1 0 0 0
[pid=32749/tid=344] ppid=32745 vsize=325344 CPUtime=0 cores=1,3,5,7
/proc/32749/task/344/stat : 344 (python) S 32745 32749 32706 0 -1 4202560 30 920 0 9 0 0 0 0 20 0 5 0 869251131 333152256 7501 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110091520 0 0 -1 7 0 0 0
[pid=32749/tid=373] ppid=32745 vsize=325344 CPUtime=0 cores=1,3,5,7
/proc/32749/task/373/stat : 373 (python) S 32745 32749 32706 0 -1 4202560 25 920 0 9 0 0 0 0 20 0 5 0 869255811 333152256 7501 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110091520 0 0 -1 3 0 0 0
[pid=32749/tid=408] ppid=32745 vsize=325344 CPUtime=0 cores=1,3,5,7
/proc/32749/task/408/stat : 408 (python) S 32745 32749 32706 0 -1 4202560 31 920 0 9 0 0 0 0 20 0 5 0 869260687 333152256 7501 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110091520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 148.64
Current children cumulated vsize (KiB) 18870528
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+154.301 s]
/proc/loadavg: 2.09 0.86 0.32 5/443 426
/proc/meminfo: memFree=30123520/32951124 swapFree=36471928/67111528
[pid=32749] ppid=32745 vsize=325344 CPUtime=0.83 cores=1,3,5,7
/proc/32749/stat : 32749 (python) S 32745 32749 32706 0 -1 4202496 12432 920 109 9 50 33 0 0 20 0 5 0 869245272 333152256 7501 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 146
/proc/32749/statm: 81336 7501 1877 364 0 16214 0
[pid=341] ppid=32749 vsize=294376 CPUtime=0.17 cores=1,3,5,7
/proc/341/stat : 341 (python) S 32749 32749 32706 0 -1 4202560 1178 0 0 0 7 10 0 0 17 0 2 0 869251131 301441024 5979 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/341/statm: 73594 5979 403 364 0 8478 0
[pid=345] ppid=341 vsize=8537284 CPUtime=47.88 cores=1,3,5,7
/proc/345/stat : 345 (java) T 341 345 345 0 -1 4202496 57988 0 1 0 4779 9 0 0 18 0 19 0 869251131 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/345/statm: 2134321 50135 2255 9 0 2125062 0
[pid=345/tid=346] ppid=341 vsize=8537284 CPUtime=46.32 cores=1,3,5,7
/proc/345/task/346/stat : 346 (java) T 341 345 345 0 -1 4202560 16120 0 1 0 4630 2 0 0 25 0 19 0 869251132 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 46912505661431 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=345/tid=347] ppid=341 vsize=8537284 CPUtime=0.04 cores=1,3,5,7
/proc/345/task/347/stat : 347 (java) T 341 345 345 0 -1 4202560 3240 0 0 0 4 0 0 0 15 0 19 0 869251132 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=345/tid=349] ppid=341 vsize=8537284 CPUtime=0.03 cores=1,3,5,7
/proc/345/task/349/stat : 349 (java) T 341 345 345 0 -1 4202560 2917 0 0 0 3 0 0 0 15 0 19 0 869251132 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=345/tid=350] ppid=341 vsize=8537284 CPUtime=0.04 cores=1,3,5,7
/proc/345/task/350/stat : 350 (java) T 341 345 345 0 -1 4202560 1982 0 0 0 4 0 0 0 15 0 19 0 869251132 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=345/tid=351] ppid=341 vsize=8537284 CPUtime=0.03 cores=1,3,5,7
/proc/345/task/351/stat : 351 (java) T 341 345 345 0 -1 4202560 2268 0 0 0 3 0 0 0 15 0 19 0 869251132 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=345/tid=352] ppid=341 vsize=8537284 CPUtime=0.03 cores=1,3,5,7
/proc/345/task/352/stat : 352 (java) T 341 345 345 0 -1 4202560 2562 0 0 0 3 0 0 0 15 0 19 0 869251132 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=345/tid=354] ppid=341 vsize=8537284 CPUtime=0.04 cores=1,3,5,7
/proc/345/task/354/stat : 354 (java) T 341 345 345 0 -1 4202560 4247 0 0 0 4 0 0 0 15 0 19 0 869251132 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=345/tid=355] ppid=341 vsize=8537284 CPUtime=0.04 cores=1,3,5,7
/proc/345/task/355/stat : 355 (java) T 341 345 345 0 -1 4202560 5704 0 0 0 4 0 0 0 15 0 19 0 869251132 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=345/tid=356] ppid=341 vsize=8537284 CPUtime=0.04 cores=1,3,5,7
/proc/345/task/356/stat : 356 (java) T 341 345 345 0 -1 4202560 4097 0 0 0 4 0 0 0 15 0 19 0 869251132 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=345/tid=357] ppid=341 vsize=8537284 CPUtime=0.28 cores=1,3,5,7
/proc/345/task/357/stat : 357 (java) T 341 345 345 0 -1 4202560 8682 0 0 0 27 1 0 0 15 0 19 0 869251133 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820982272 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=345/tid=358] ppid=341 vsize=8537284 CPUtime=0 cores=1,3,5,7
/proc/345/task/358/stat : 358 (java) T 341 345 345 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869251134 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=345/tid=360] ppid=341 vsize=8537284 CPUtime=0 cores=1,3,5,7
/proc/345/task/360/stat : 360 (java) T 341 345 345 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869251134 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=345/tid=361] ppid=341 vsize=8537284 CPUtime=0 cores=1,3,5,7
/proc/345/task/361/stat : 361 (java) T 341 345 345 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869251136 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820989361 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=345/tid=362] ppid=341 vsize=8537284 CPUtime=0.46 cores=1,3,5,7
/proc/345/task/362/stat : 362 (java) T 341 345 345 0 -1 4202560 1603 0 0 0 46 0 0 0 15 0 19 0 869251136 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=345/tid=363] ppid=341 vsize=8537284 CPUtime=0.39 cores=1,3,5,7
/proc/345/task/363/stat : 363 (java) T 341 345 345 0 -1 4202560 3175 0 0 0 39 0 0 0 15 0 19 0 869251136 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=345/tid=365] ppid=341 vsize=8537284 CPUtime=0 cores=1,3,5,7
/proc/345/task/365/stat : 365 (java) T 341 345 345 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869251136 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=345/tid=366] ppid=341 vsize=8537284 CPUtime=0 cores=1,3,5,7
/proc/345/task/366/stat : 366 (java) T 341 345 345 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869251136 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=345/tid=368] ppid=341 vsize=8537284 CPUtime=0 cores=1,3,5,7
/proc/345/task/368/stat : 368 (java) T 341 345 345 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869251165 8742178816 50135 33554432000 1073741824 1073778376 140737112678752 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=341/tid=371] ppid=32749 vsize=294376 CPUtime=0 cores=1,3,5,7
/proc/341/task/371/stat : 371 (python) S 32749 32749 32706 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869255809 301441024 5979 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820989361 0 0 16781312 33554946 18446604465057640576 0 0 -1 5 0 0 0
[pid=372] ppid=32749 vsize=304404 CPUtime=0.17 cores=1,3,5,7
/proc/372/stat : 372 (python) S 32749 32749 32706 0 -1 4202560 1181 0 0 0 8 9 0 0 16 0 2 0 869255811 311709696 5910 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/372/statm: 76101 5910 403 364 0 10982 0
[pid=374] ppid=372 vsize=128992 CPUtime=48.72 cores=1,3,5,7
/proc/374/stat : 374 (scip-2.0.1.linu) T 372 374 374 0 -1 4202496 36606 0 0 0 4847 25 0 0 19 0 1 0 869255812 132087808 29024 33554432000 4194304 15243407 140737304164752 18446744073709551615 8132949 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/374/statm: 32248 29024 875 2698 0 29543 0
[pid=372/tid=406] ppid=32749 vsize=304404 CPUtime=0 cores=1,3,5,7
/proc/372/task/406/stat : 406 (python) S 32749 32749 32706 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869260685 311709696 5910 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820989361 0 0 16781312 33554946 18446604470050279616 0 0 -1 7 0 0 0
[pid=407] ppid=32749 vsize=315100 CPUtime=0 cores=1,3,5,7
/proc/407/stat : 407 (python) S 32749 32749 32706 0 -1 4202560 810 0 0 0 0 0 0 0 19 0 1 0 869260687 322662400 5969 33554432000 4194304 5683644 140733523060304 18446744073709551615 230809185862 0 0 16781312 33554946 132591644791799808 0 0 17 3 0 0 0
/proc/407/statm: 78775 5969 349 364 0 13653 0
[pid=409] ppid=407 vsize=8533280 CPUtime=0.18 cores=1,3,5,7
/proc/409/stat : 409 (java) S 407 409 409 0 -1 4202496 5938 0 1 0 17 1 0 0 18 0 18 0 869260687 8738078720 5396 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/409/statm: 2133320 5396 2162 9 0 2124061 0
[pid=409/tid=410] ppid=407 vsize=8533280 CPUtime=0.14 cores=1,3,5,7
/proc/409/task/410/stat : 410 (java) R 407 409 409 0 -1 4202560 3664 0 1 0 13 1 0 0 18 0 18 0 869260688 8738078720 5484 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 47733677835011 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=409/tid=411] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/411/stat : 411 (java) S 407 409 409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869260689 8738078720 5484 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820981657 0 4 0 16800975 18446604469590756224 0 0 -1 7 0 0 0
[pid=409/tid=412] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/412/stat : 412 (java) S 407 409 409 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869260689 8738078720 5484 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820981657 0 4 0 16800975 18446604469590756224 0 0 -1 7 0 0 0
[pid=409/tid=413] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/413/stat : 413 (java) S 407 409 409 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869260689 8738078720 5484 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820981657 0 4 0 16800975 18446604469590756224 0 0 -1 7 0 0 0
[pid=409/tid=414] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/414/stat : 414 (java) S 407 409 409 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869260689 8738078720 5484 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820981657 0 4 0 16800975 18446604469590756224 0 0 -1 7 0 0 0
[pid=409/tid=415] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/415/stat : 415 (java) S 407 409 409 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869260689 8738078720 5484 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820981657 0 4 0 16800975 18446604469590756224 0 0 -1 7 0 0 0
[pid=409/tid=416] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/416/stat : 416 (java) S 407 409 409 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869260689 8738078720 5484 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820981657 0 4 0 16800975 18446604469590756224 0 0 -1 7 0 0 0
[pid=409/tid=417] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/417/stat : 417 (java) S 407 409 409 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869260689 8738078720 5484 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820981657 0 4 0 16800975 18446604469590756224 0 0 -1 7 0 0 0
[pid=409/tid=418] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/418/stat : 418 (java) S 407 409 409 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869260689 8738078720 5484 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820981657 0 4 0 16800975 18446604469590756224 0 0 -1 7 0 0 0
[pid=409/tid=419] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/419/stat : 419 (java) S 407 409 409 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869260690 8738078720 5484 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820982272 0 0 0 16800975 18446604469590756224 0 0 -1 7 0 0 0
[pid=409/tid=420] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/420/stat : 420 (java) S 407 409 409 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869260690 8738078720 5484 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820981657 0 4 0 16800975 18446604469590756224 0 0 -1 7 0 0 0
[pid=409/tid=421] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/421/stat : 421 (java) S 407 409 409 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869260690 8738078720 5484 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820981657 0 4 0 16800975 18446604469590756224 0 0 -1 7 0 0 0
[pid=409/tid=422] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/422/stat : 422 (java) S 407 409 409 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869260692 8738078720 5485 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820989361 0 4 0 16800975 18446604469590756224 0 0 -1 7 0 0 0
[pid=409/tid=423] ppid=407 vsize=8533280 CPUtime=0.01 cores=1,3,5,7
/proc/409/task/423/stat : 423 (java) R 407 409 409 0 -1 4202560 200 0 0 0 1 0 0 0 25 0 18 0 869260692 8738078720 5485 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820981657 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=409/tid=424] ppid=407 vsize=8533280 CPUtime=0.03 cores=1,3,5,7
/proc/409/task/424/stat : 424 (java) S 407 409 409 0 -1 4202560 774 0 0 0 3 0 0 0 25 0 18 0 869260692 8738078720 5486 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820981657 0 4 0 16800975 18446604469590756224 0 0 -1 3 0 0 0
[pid=409/tid=425] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/425/stat : 425 (java) S 407 409 409 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869260692 8738078720 5486 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820981657 0 4 0 16800975 18446604469590756224 0 0 -1 7 0 0 0
[pid=409/tid=426] ppid=407 vsize=8533280 CPUtime=0 cores=1,3,5,7
/proc/409/task/426/stat : 426 (java) S 407 409 409 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869260692 8738078720 5487 33554432000 1073741824 1073778376 140735219176176 18446744073709551615 230820982272 0 4 0 16800975 18446604469590756224 0 0 -1 3 0 0 0
[pid=32765] ppid=32749 vsize=293860 CPUtime=0.16 cores=1,3,5,7
/proc/32765/stat : 32765 (python) S 32749 32749 32706 0 -1 4202560 1105 0 0 0 7 9 0 0 16 0 2 0 869246074 300912640 5861 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32765/statm: 73465 5861 407 364 0 8352 0
[pid=301] ppid=32765 vsize=137888 CPUtime=50.53 cores=1,3,5,7
/proc/301/stat : 301 (scip-2.0.1.linu) T 32765 301 301 0 -1 4202496 34195 0 0 0 4947 106 0 0 25 0 1 0 869246074 141197312 32036 33554432000 4194304 13684479 140737422885008 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/301/statm: 34472 32036 795 2317 0 32150 0
[pid=32765/tid=340] ppid=32749 vsize=293860 CPUtime=0 cores=1,3,5,7
/proc/32765/task/340/stat : 340 (python) S 32749 32749 32706 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869251129 300912640 5861 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820989361 0 0 16781312 33554946 18446604459054824384 0 0 -1 7 0 0 0
[pid=32749/tid=300] ppid=32745 vsize=325344 CPUtime=0 cores=1,3,5,7
/proc/32749/task/300/stat : 300 (python) S 32745 32749 32706 0 -1 4202560 29 920 0 9 0 0 0 0 18 0 5 0 869246074 333152256 7501 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110091520 0 0 -1 1 0 0 0
[pid=32749/tid=344] ppid=32745 vsize=325344 CPUtime=0 cores=1,3,5,7
/proc/32749/task/344/stat : 344 (python) S 32745 32749 32706 0 -1 4202560 30 920 0 9 0 0 0 0 20 0 5 0 869251131 333152256 7501 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110091520 0 0 -1 7 0 0 0
[pid=32749/tid=373] ppid=32745 vsize=325344 CPUtime=0 cores=1,3,5,7
/proc/32749/task/373/stat : 373 (python) S 32745 32749 32706 0 -1 4202560 25 920 0 9 0 0 0 0 20 0 5 0 869255811 333152256 7501 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110091520 0 0 -1 3 0 0 0
[pid=32749/tid=408] ppid=32745 vsize=325344 CPUtime=0 cores=1,3,5,7
/proc/32749/task/408/stat : 408 (python) S 32745 32749 32706 0 -1 4202560 31 920 0 9 0 0 0 0 20 0 5 0 869260687 333152256 7501 33554432000 4194304 5683644 140733523060304 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459110091520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 148.64
Current children cumulated vsize (KiB) 18870528
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32749 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=507922
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=339948
# CPU time returned by wait4() is 0.84787
# while last known CPU time is 148.64
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 154.369
CPU time (s): 148.64
CPU user time (s): 146.62
CPU system time (s): 2.02
CPU usage (%): 96.289
Max. virtual memory (cumulated for all children) (KiB): 18870528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.507922
system time used= 0.339948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13354
page faults= 118
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18406
involuntary context switches= 68
runsolver used 0.627904 second user time and 1.54576 second system time
The end