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-3481742-1307576359/watcher-3481742-1307576359 -o /tmp/evaluation-result-3481742-1307576359/solver-3481742-1307576359 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481742-1307576359.opb -seed 10733940 -budget 1800
running on 4 cores: 0,2,4,6
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.56 0.13 0.04 2/571 30526
/proc/meminfo: memFree=32101632/32950928 swapFree=43925852/67111528
[pid=30526] ppid=30522 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/30526/stat : 30526 (runsolver) D 30522 30526 30488 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 1 0 869237430 12079104 54 33554432000 4194304 5432328 140737363244256 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/30526/statm: 2949 54 34 303 0 2643 0
[startup+0.114273 s]
/proc/loadavg: 0.56 0.13 0.04 2/571 30526
/proc/meminfo: memFree=32101632/32950928 swapFree=43925852/67111528
[pid=30526] ppid=30522 vsize=1840 CPUtime=0 cores=0,2,4,6
/proc/30526/stat : 30526 (python) D 30522 30526 30488 0 -1 4194304 46 0 0 0 0 0 0 0 19 0 1 0 869237430 1884160 1 33554432000 0 0 140734865364649 18446744073709551615 5055479 0 0 4096 0 18446744071562234166 0 0 17 6 0 0 1
/proc/30526/statm: 460 1 0 0 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1840
[startup+0.20115 s]
/proc/loadavg: 0.56 0.13 0.04 2/571 30526
/proc/meminfo: memFree=32101632/32950928 swapFree=43925852/67111528
[pid=30526] ppid=30522 vsize=6240 CPUtime=0 cores=0,2,4,6
/proc/30526/stat : 30526 (python) S 30522 30526 30488 0 -1 4194304 95 0 2 0 0 0 0 0 18 0 1 0 869237430 6389760 50 33554432000 4194304 5683644 140734865363392 18446744073709551615 268267765383 0 2147483391 4096 0 18446744071699199166 0 0 17 6 0 0 9
/proc/30526/statm: 1560 50 40 364 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6240
[startup+0.301238 s]
/proc/loadavg: 0.56 0.13 0.04 2/571 30526
/proc/meminfo: memFree=32101632/32950928 swapFree=43925852/67111528
[pid=30526] ppid=30522 vsize=14384 CPUtime=0 cores=0,2,4,6
/proc/30526/stat : 30526 (python) D 30522 30526 30488 0 -1 4194304 231 0 5 0 0 0 0 0 17 0 1 0 869237430 14729216 168 33554432000 4194304 5683644 140734865363392 18446744073709551615 4689677 0 0 4096 0 18446744071562234166 0 0 17 6 0 0 17
/proc/30526/statm: 3596 168 135 364 0 83 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14384
[startup+0.701071 s]
/proc/loadavg: 0.56 0.13 0.04 2/571 30526
/proc/meminfo: memFree=32101632/32950928 swapFree=43925852/67111528
[pid=30526] ppid=30522 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/30526/stat : 30526 (python) S 30522 30526 30488 0 -1 4202496 787 0 7 0 0 0 0 0 15 0 1 0 869237430 15749120 681 33554432000 4194304 5683644 140734865363392 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 20
/proc/30526/statm: 3845 681 322 364 0 332 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+1.50086 s]
/proc/loadavg: 0.56 0.13 0.04 2/573 30528
/proc/meminfo: memFree=32091360/32950928 swapFree=43925852/67111528
[pid=30526] ppid=30522 vsize=16392 CPUtime=0.01 cores=0,2,4,6
/proc/30526/stat : 30526 (python) S 30522 30526 30488 0 -1 4202496 1109 0 7 0 1 0 0 0 16 0 1 0 869237430 16785408 984 33554432000 4194304 5683644 140734865363392 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 27
/proc/30526/statm: 4098 984 409 364 0 585 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16392
[startup+3.10057 s]
/proc/loadavg: 0.56 0.13 0.04 2/573 30528
/proc/meminfo: memFree=32089696/32950928 swapFree=43925852/67111528
[pid=30526] ppid=30522 vsize=20972 CPUtime=0.03 cores=0,2,4,6
/proc/30526/stat : 30526 (python) S 30522 30526 30488 0 -1 4202496 1291 0 9 0 2 1 0 0 15 0 1 0 869237430 21475328 1152 33554432000 4194304 5683644 140734865363392 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 0 0 0 31
/proc/30526/statm: 5243 1152 428 364 0 690 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 20972
heavy processes:
[startup+6.3011 s]
/proc/loadavg: 0.59 0.14 0.05 2/573 30536
/proc/meminfo: memFree=32072040/32950928 swapFree=43925852/67111528
[pid=30526] ppid=30522 vsize=115300 CPUtime=0.21 cores=0,2,4,6
/proc/30526/stat : 30526 (python) S 30522 30526 30488 0 -1 4202496 4738 919 37 9 8 13 0 0 16 0 1 0 869237430 118067200 3212 33554432000 4194304 5683644 140734865363392 18446744073709551615 268272684901 0 2147483391 16781312 2 18446744071699199166 0 0 17 0 0 0 60
/proc/30526/statm: 28825 3212 911 364 0 2309 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 115300
heavy processes:
[startup+12.701 s]
/proc/loadavg: 0.70 0.17 0.06 2/573 30536
/proc/meminfo: memFree=32027224/32950928 swapFree=43925852/67111528
[pid=30526] ppid=30522 vsize=250244 CPUtime=0.54 cores=0,2,4,6
/proc/30526/stat : 30526 (python) S 30522 30526 30488 0 -1 4202496 8007 919 105 9 26 28 0 0 15 0 1 0 869237430 256249856 6225 33554432000 4194304 5683644 140734865363392 18446744073709551615 268267765383 0 2147483391 16781312 2 18446744071699199166 0 0 17 0 0 0 171
/proc/30526/statm: 62561 6225 1620 364 0 5031 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 250244
heavy processes:
[startup+25.5006 s]
/proc/loadavg: 0.99 0.26 0.09 4/579 30543
/proc/meminfo: memFree=31973244/32950928 swapFree=43925852/67111528
[pid=30526] ppid=30522 vsize=293288 CPUtime=0.67 cores=0,2,4,6
/proc/30526/stat : 30526 (python) S 30522 30526 30488 0 -1 4202496 9573 919 114 9 36 31 0 0 18 0 2 0 869237430 300326912 7186 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 174
/proc/30526/statm: 73322 7186 1870 364 0 8209 0
[pid=30539] ppid=30526 vsize=283044 CPUtime=0.06 cores=0,2,4,6
/proc/30539/stat : 30539 (python) S 30526 30526 30488 0 -1 4202560 915 0 0 0 3 3 0 0 15 0 1 0 869238756 289837056 5688 33554432000 4194304 5683644 140734865363392 18446744073709551615 268272709135 0 0 16781312 33554946 72556772316949210 0 0 17 6 0 0 0
/proc/30539/statm: 70761 5688 376 364 0 5648 0
[pid=30542] ppid=30539 vsize=30048 CPUtime=12.23 cores=0,2,4,6
/proc/30542/stat : 30542 (scip-2.0.1.linu) R 30539 30542 30542 0 -1 4202496 6673 0 0 0 1211 12 0 0 25 0 1 0 869238756 30769152 5294 33554432000 4194304 13684479 140734474480240 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30542/statm: 7512 5294 802 2317 0 5190 0
[pid=30526/tid=30541] ppid=30522 vsize=293288 CPUtime=0 cores=0,2,4,6
/proc/30526/task/30541/stat : 30541 (python) S 30522 30526 30488 0 -1 4202560 32 919 0 9 0 0 0 0 18 0 2 0 869238756 300326912 7186 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448351087296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.96
Current children cumulated vsize (KiB) 606380
heavy processes:
[startup+51.1011 s]
/proc/loadavg: 1.33 0.40 0.14 4/579 30543
/proc/meminfo: memFree=31973672/32950928 swapFree=43925852/67111528
[pid=30526] ppid=30522 vsize=293288 CPUtime=0.67 cores=0,2,4,6
/proc/30526/stat : 30526 (python) S 30522 30526 30488 0 -1 4202496 9573 919 114 9 36 31 0 0 18 0 2 0 869237430 300326912 7186 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 174
/proc/30526/statm: 73322 7186 1870 364 0 8209 0
[pid=30539] ppid=30526 vsize=283044 CPUtime=0.19 cores=0,2,4,6
/proc/30539/stat : 30539 (python) S 30526 30526 30488 0 -1 4202560 926 0 0 0 9 10 0 0 15 0 1 0 869238756 289837056 5688 33554432000 4194304 5683644 140734865363392 18446744073709551615 268272709135 0 0 16781312 33554946 72556772316949210 0 0 17 6 0 0 0
/proc/30539/statm: 70761 5688 376 364 0 5648 0
[pid=30542] ppid=30539 vsize=30048 CPUtime=37.82 cores=0,2,4,6
/proc/30542/stat : 30542 (scip-2.0.1.linu) R 30539 30542 30542 0 -1 4202496 6682 0 0 0 3747 35 0 0 25 0 1 0 869238756 30769152 5303 33554432000 4194304 13684479 140734474480240 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30542/statm: 7512 5303 805 2317 0 5190 0
[pid=30526/tid=30541] ppid=30522 vsize=293288 CPUtime=0 cores=0,2,4,6
/proc/30526/task/30541/stat : 30541 (python) S 30522 30526 30488 0 -1 4202560 32 919 0 9 0 0 0 0 18 0 2 0 869238756 300326912 7186 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448351087296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 38.68
Current children cumulated vsize (KiB) 606380
heavy processes:
[startup+102.301 s]
/proc/loadavg: 1.71 0.64 0.23 4/587 30553
/proc/meminfo: memFree=31932416/32950928 swapFree=43925852/67111528
[pid=30526] ppid=30522 vsize=304036 CPUtime=0.7 cores=0,2,4,6
/proc/30526/stat : 30526 (python) S 30522 30526 30488 0 -1 4202496 10390 919 114 9 38 32 0 0 20 0 3 0 869237430 311332864 7307 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 174
/proc/30526/statm: 76009 7307 1873 364 0 10893 0
[pid=30539] ppid=30526 vsize=293288 CPUtime=0.22 cores=0,2,4,6
/proc/30539/stat : 30539 (python) S 30526 30526 30488 0 -1 4202560 1089 0 0 0 11 11 0 0 17 0 2 0 869238756 300326912 5724 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30539/statm: 73322 5724 407 364 0 8209 0
[pid=30542] ppid=30539 vsize=30048 CPUtime=46.17 cores=0,2,4,6
/proc/30542/stat : 30542 (scip-2.0.1.linu) T 30539 30542 30542 0 -1 4202496 6694 0 0 0 4571 46 0 0 25 0 1 0 869238756 30769152 5315 33554432000 4194304 13684479 140734474480240 18446744073709551615 7390857 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/30542/statm: 7512 5315 812 2317 0 5190 0
[pid=30539/tid=30545] ppid=30526 vsize=293288 CPUtime=0 cores=0,2,4,6
/proc/30539/task/30545/stat : 30545 (python) S 30526 30526 30488 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869243374 300326912 5724 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554946 18446604452101988736 0 0 -1 6 0 0 0
[pid=30546] ppid=30526 vsize=293792 CPUtime=0.21 cores=0,2,4,6
/proc/30546/stat : 30546 (python) S 30526 30526 30488 0 -1 4202560 943 0 0 0 11 10 0 0 15 0 1 0 869243377 300843008 5803 33554432000 4194304 5683644 140734865363392 18446744073709551615 268272709190 0 0 16781312 33554946 72409437758827226 0 0 17 4 0 0 0
/proc/30546/statm: 73448 5803 373 364 0 8332 0
[pid=30548] ppid=30546 vsize=31812 CPUtime=42.84 cores=0,2,4,6
/proc/30548/stat : 30548 (scip-2.0.1.linu) R 30546 30548 30548 0 -1 4202496 21192 0 0 0 4261 23 0 0 25 0 1 0 869243377 32575488 5348 33554432000 4194304 15243407 140733498841952 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/30548/statm: 7953 5348 929 2698 0 5248 0
[pid=30526/tid=30541] ppid=30522 vsize=304036 CPUtime=0 cores=0,2,4,6
/proc/30526/task/30541/stat : 30541 (python) S 30522 30526 30488 0 -1 4202560 32 919 0 9 0 0 0 0 18 0 3 0 869238756 311332864 7307 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448351087296 0 0 -1 6 0 0 0
[pid=30526/tid=30547] ppid=30522 vsize=304036 CPUtime=0 cores=0,2,4,6
/proc/30526/task/30547/stat : 30547 (python) S 30522 30526 30488 0 -1 4202560 25 919 0 9 0 0 0 0 20 0 3 0 869243377 311332864 7307 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448351087296 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 90.14
Current children cumulated vsize (KiB) 952976
[startup+162.301 s]
/proc/loadavg: 1.89 0.89 0.34 4/603 30570
/proc/meminfo: memFree=31875820/32950928 swapFree=43925852/67111528
[pid=30526] ppid=30522 vsize=324756 CPUtime=0.75 cores=0,2,4,6
/proc/30526/stat : 30526 (python) S 30522 30526 30488 0 -1 4202496 12210 919 114 9 43 32 0 0 19 0 5 0 869237430 332550144 7355 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 174
/proc/30526/statm: 81189 7355 1877 364 0 16067 0
[pid=30539] ppid=30526 vsize=293288 CPUtime=0.22 cores=0,2,4,6
/proc/30539/stat : 30539 (python) S 30526 30526 30488 0 -1 4202560 1089 0 0 0 11 11 0 0 17 0 2 0 869238756 300326912 5724 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30539/statm: 73322 5724 407 364 0 8209 0
[pid=30542] ppid=30539 vsize=30048 CPUtime=46.17 cores=0,2,4,6
/proc/30542/stat : 30542 (scip-2.0.1.linu) T 30539 30542 30542 0 -1 4202496 6694 0 0 0 4571 46 0 0 25 0 1 0 869238756 30769152 5315 33554432000 4194304 13684479 140734474480240 18446744073709551615 7390857 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/30542/statm: 7512 5315 812 2317 0 5190 0
[pid=30539/tid=30545] ppid=30526 vsize=293288 CPUtime=0 cores=0,2,4,6
/proc/30539/task/30545/stat : 30545 (python) S 30526 30526 30488 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869243374 300326912 5724 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554946 18446604452101988736 0 0 -1 6 0 0 0
[pid=30546] ppid=30526 vsize=293792 CPUtime=0.23 cores=0,2,4,6
/proc/30546/stat : 30546 (python) S 30526 30526 30488 0 -1 4202560 1108 0 0 0 12 11 0 0 17 0 2 0 869243377 300843008 5828 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/30546/statm: 73448 5828 397 364 0 8332 0
[pid=30548] ppid=30546 vsize=31812 CPUtime=46.92 cores=0,2,4,6
/proc/30548/stat : 30548 (scip-2.0.1.linu) T 30546 30548 30548 0 -1 4202496 21192 0 0 0 4668 24 0 0 25 0 1 0 869243377 32575488 5348 33554432000 4194304 15243407 140733498841952 18446744073709551615 8113495 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/30548/statm: 7953 5348 929 2698 0 5248 0
[pid=30546/tid=30554] ppid=30526 vsize=293792 CPUtime=0 cores=0,2,4,6
/proc/30546/task/30554/stat : 30554 (python) S 30526 30526 30488 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869248071 300843008 5828 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554946 18446604453708259648 0 0 -1 4 0 0 0
[pid=30555] ppid=30526 vsize=303752 CPUtime=0.22 cores=0,2,4,6
/proc/30555/stat : 30555 (python) S 30526 30526 30488 0 -1 4202560 1167 0 0 0 11 11 0 0 19 0 2 0 869248073 311042048 5764 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30555/statm: 75938 5764 403 364 0 10819 0
[pid=30557] ppid=30555 vsize=2256 CPUtime=47.3 cores=0,2,4,6
/proc/30557/stat : 30557 (clasp-1.3.7-x86) T 30555 30557 30557 0 -1 4202496 585 0 0 0 4730 0 0 0 25 0 1 0 869248074 2310144 321 33554432000 134512640 136139019 4288392736 18446744073709551615 134833170 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/30557/statm: 564 321 184 398 0 164 0
[pid=30555/tid=30563] ppid=30526 vsize=303752 CPUtime=0 cores=0,2,4,6
/proc/30555/task/30563/stat : 30563 (python) S 30526 30526 30488 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869252804 311042048 5764 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554946 18446604453708261440 0 0 -1 6 0 0 0
[pid=30564] ppid=30526 vsize=314512 CPUtime=0.05 cores=0,2,4,6
/proc/30564/stat : 30564 (python) S 30526 30526 30488 0 -1 4202560 1006 0 0 0 2 3 0 0 15 0 1 0 869252807 322060288 5853 33554432000 4194304 5683644 140734865363392 18446744073709551615 268272709190 0 0 16781312 33554946 72114768642583258 0 0 17 0 0 0 0
/proc/30564/statm: 78628 5853 379 364 0 13506 0
[pid=30566] ppid=30564 vsize=33648 CPUtime=8.5 cores=0,2,4,6
################
# More data... #
################
[pid=30526/tid=30547] ppid=30522 vsize=345352 CPUtime=0 cores=0,2,4,6
/proc/30526/task/30547/stat : 30547 (python) S 30522 30526 30488 0 -1 4202560 25 919 0 9 0 0 0 0 20 0 7 0 869243377 353640448 7388 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448351087296 0 0 -1 2 0 0 0
[pid=30526/tid=30556] ppid=30522 vsize=345352 CPUtime=0 cores=0,2,4,6
/proc/30526/task/30556/stat : 30556 (python) S 30522 30526 30488 0 -1 4202560 30 919 0 9 0 0 0 0 18 0 7 0 869248074 353640448 7388 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448351087296 0 0 -1 2 0 0 0
[pid=30526/tid=30565] ppid=30522 vsize=345352 CPUtime=0 cores=0,2,4,6
/proc/30526/task/30565/stat : 30565 (python) S 30522 30526 30488 0 -1 4202560 104 919 0 9 0 0 0 0 20 0 7 0 869252807 353640448 7388 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448351087296 0 0 -1 2 0 0 0
[pid=30526/tid=30577] ppid=30522 vsize=345352 CPUtime=0 cores=0,2,4,6
/proc/30526/task/30577/stat : 30577 (python) S 30522 30526 30488 0 -1 4202560 30 919 0 9 0 0 0 0 20 0 7 0 869262138 353640448 7388 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448351087296 0 0 -1 2 0 0 0
[pid=30526/tid=30621] ppid=30522 vsize=345352 CPUtime=0 cores=0,2,4,6
/proc/30526/task/30621/stat : 30621 (python) S 30522 30526 30488 0 -1 4202560 25 919 0 9 0 0 0 0 20 0 7 0 869267052 353640448 7388 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448351087296 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 287.87
Current children cumulated vsize (KiB) 19505844
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+297.002 s]
/proc/loadavg: 1.99 1.29 0.56 4/669 30640
/proc/meminfo: memFree=29831020/32950928 swapFree=43925852/67111528
[pid=30526] ppid=30522 vsize=345352 CPUtime=0.83 cores=0,2,4,6
/proc/30526/stat : 30526 (python) S 30522 30526 30488 0 -1 4202496 14073 919 114 9 50 33 0 0 20 0 7 0 869237430 353640448 7388 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 174
/proc/30526/statm: 86338 7388 1881 364 0 21210 0
[pid=30539] ppid=30526 vsize=293288 CPUtime=0.22 cores=0,2,4,6
/proc/30539/stat : 30539 (python) S 30526 30526 30488 0 -1 4202560 1089 0 0 0 11 11 0 0 17 0 2 0 869238756 300326912 5724 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30539/statm: 73322 5724 407 364 0 8209 0
[pid=30542] ppid=30539 vsize=30048 CPUtime=46.17 cores=0,2,4,6
/proc/30542/stat : 30542 (scip-2.0.1.linu) T 30539 30542 30542 0 -1 4202496 6694 0 0 0 4571 46 0 0 25 0 1 0 869238756 30769152 5315 33554432000 4194304 13684479 140734474480240 18446744073709551615 7390857 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/30542/statm: 7512 5315 812 2317 0 5190 0
[pid=30539/tid=30545] ppid=30526 vsize=293288 CPUtime=0 cores=0,2,4,6
/proc/30539/task/30545/stat : 30545 (python) S 30526 30526 30488 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869243374 300326912 5724 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554946 18446604452101988736 0 0 -1 6 0 0 0
[pid=30546] ppid=30526 vsize=293792 CPUtime=0.23 cores=0,2,4,6
/proc/30546/stat : 30546 (python) S 30526 30526 30488 0 -1 4202560 1108 0 0 0 12 11 0 0 17 0 2 0 869243377 300843008 5828 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/30546/statm: 73448 5828 397 364 0 8332 0
[pid=30548] ppid=30546 vsize=31812 CPUtime=46.92 cores=0,2,4,6
/proc/30548/stat : 30548 (scip-2.0.1.linu) T 30546 30548 30548 0 -1 4202496 21192 0 0 0 4668 24 0 0 25 0 1 0 869243377 32575488 5348 33554432000 4194304 15243407 140733498841952 18446744073709551615 8113495 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/30548/statm: 7953 5348 929 2698 0 5248 0
[pid=30546/tid=30554] ppid=30526 vsize=293792 CPUtime=0 cores=0,2,4,6
/proc/30546/task/30554/stat : 30554 (python) S 30526 30526 30488 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869248071 300843008 5828 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554946 18446604453708259648 0 0 -1 4 0 0 0
[pid=30555] ppid=30526 vsize=303752 CPUtime=0.47 cores=0,2,4,6
/proc/30555/stat : 30555 (python) S 30526 30526 30488 0 -1 4202560 1191 0 0 0 23 24 0 0 18 0 2 0 869248073 311042048 5764 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30555/statm: 75938 5764 403 364 0 10819 0
[pid=30557] ppid=30555 vsize=2256 CPUtime=93.58 cores=0,2,4,6
/proc/30557/stat : 30557 (clasp-1.3.7-x86) T 30555 30557 30557 0 -1 4202496 586 0 0 0 9358 0 0 0 25 0 1 0 869248074 2310144 322 33554432000 134512640 136139019 4288392736 18446744073709551615 134831982 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/30557/statm: 564 322 184 398 0 164 0
[pid=30555/tid=30563] ppid=30526 vsize=303752 CPUtime=0 cores=0,2,4,6
/proc/30555/task/30563/stat : 30563 (python) S 30526 30526 30488 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 2 0 869252804 311042048 5764 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554946 18446604453708261440 0 0 -1 6 0 0 0
[pid=30564] ppid=30526 vsize=314512 CPUtime=0.28 cores=0,2,4,6
/proc/30564/stat : 30564 (python) S 30526 30526 30488 0 -1 4202560 1191 0 0 0 13 15 0 0 16 0 2 0 869252807 322060288 5878 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30564/statm: 78628 5878 403 364 0 13506 0
[pid=30566] ppid=30564 vsize=150128 CPUtime=46.91 cores=0,2,4,6
/proc/30566/stat : 30566 (wbo1.4a) T 30564 30566 30566 0 -1 4202496 37352 0 0 0 4632 59 0 0 25 0 1 0 869252807 153731072 37074 33554432000 134512640 135751879 4294824176 18446744073709551615 134616437 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/30566/statm: 37532 37074 146 303 0 37227 0
[pid=30564/tid=30572] ppid=30526 vsize=314512 CPUtime=0 cores=0,2,4,6
/proc/30564/task/30572/stat : 30572 (python) S 30526 30526 30488 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869257505 322060288 5878 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554946 18446604450919180352 0 0 -1 6 0 0 0
[pid=30576] ppid=30526 vsize=324412 CPUtime=0.24 cores=0,2,4,6
/proc/30576/stat : 30576 (python) S 30526 30526 30488 0 -1 4202560 1152 0 0 0 11 13 0 0 16 0 2 0 869262138 332197888 5787 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30576/statm: 81103 5787 397 364 0 15978 0
[pid=30578] ppid=30576 vsize=8544292 CPUtime=50.59 cores=0,2,4,6
/proc/30578/stat : 30578 (java) T 30576 30578 30578 0 -1 4202496 314922 0 116 0 5021 38 0 0 18 0 19 0 869262138 8749355008 294564 33554432000 1073741824 1073778376 140736521641712 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 8
/proc/30578/statm: 2136073 294564 2240 9 0 2126814 0
[pid=30578/tid=30579] ppid=30576 vsize=8544292 CPUtime=48.6 cores=0,2,4,6
/proc/30578/task/30579/stat : 30579 (java) T 30576 30578 30578 0 -1 4202560 250108 0 59 0 4831 29 0 0 25 0 19 0 869262148 8749355008 294564 33554432000 1073741824 1073778376 140736521641712 18446744073709551615 46912505637080 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 12
[pid=30578/tid=30580] ppid=30576 vsize=8544292 CPUtime=0.11 cores=0,2,4,6
/proc/30578/task/30580/stat : 30580 (java) T 30576 30578 30578 0 -1 4202560 8939 0 0 0 10 1 0 0 15 0 19 0 869262151 8749355008 294564 33554432000 1073741824 1073778376 140736521641712 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30578/tid=30581] ppid=30576 vsize=8544292 CPUtime=0.05 cores=0,2,4,6
/proc/30578/task/30581/stat : 30581 (java) T 30576 30578 30578 0 -1 4202560 4637 0 0 0 5 0 0 0 15 0 19 0 869262151 8749355008 294564 33554432000 1073741824 1073778376 140736521641712 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=30578/tid=30582] ppid=30576 vsize=8544292 CPUtime=0.08 cores=0,2,4,6
/proc/30578/task/30582/stat : 30582 (java) T 30576 30578 30578 0 -1 4202560 6358 0 0 0 8 0 0 0 15 0 19 0 869262151 8749355008 294564 33554432000 1073741824 1073778376 140736521641712 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=30578/tid=30583] ppid=30576 vsize=8544292 CPUtime=0.1 cores=0,2,4,6
/proc/30578/task/30583/stat : 30583 (java) T 30576 30578 30578 0 -1 4202560 9626 0 0 0 9 1 0 0 15 0 19 0 869262151 8749355008 294564 33554432000 1073741824 1073778376 140736521641712 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30578/tid=30584] ppid=30576 vsize=8544292 CPUtime=0.07 cores=0,2,4,6
/proc/30578/task/30584/stat : 30584 (java) T 30576 30578 30578 0 -1 4202560 5923 0 0 0 7 0 0 0 15 0 19 0 869262151 8749355008 294564 33554432000 1073741824 1073778376 140736521641712 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30578/tid=30585] ppid=30576 vsize=8544292 CPUtime=0.05 cores=0,2,4,6
/proc/30578/task/30585/stat : 30585 (java) T 30576 30578 30578 0 -1 4202560 4958 0 0 0 5 0 0 0 15 0 19 0 869262151 8749355008 294564 33554432000 1073741824 1073778376 140736521641712 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=30578/tid=30586] ppid=30576 vsize=8544292 CPUtime=0.07 cores=0,2,4,6
/proc/30578/task/30586/stat : 30586 (java) T 30576 30578 30578 0 -1 4202560 6146 0 0 0 7 0 0 0 15 0 19 0 869262151 8749355008 294564 33554432000 1073741824 1073778376 140736521641712 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30578/tid=30587] ppid=30576 vsize=8544292 CPUtime=0.05 cores=0,2,4,6
/proc/30578/task/30587/stat : 30587 (java) T 30576 30578 30578 0 -1 4202560 5542 0 0 0 5 0 0 0 15 0 19 0 869262151 8749355008 294564 33554432000 1073741824 1073778376 140736521641712 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=30578/tid=30588] ppid=30576 vsize=8544292 CPUtime=0 cores=0,2,4,6
/proc/30578/task/30588/stat : 30588 (java) T 30576 30578 30578 0 -1 4202560 744 0 0 0 0 0 0 0 15 0 19 0 869262155 8749355008 294564 33554432000 1073741824 1073778376 140736521641712 18446744073709551615 268284505600 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=30578/tid=30589] ppid=30576 vsize=8544292 CPUtime=0 cores=0,2,4,6
/proc/30578/task/30589/stat : 30589 (java) T 30576 30578 30578 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869262156 8749355008 294564 33554432000 1073741824 1073778376 140736521641712 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=30578/tid=30590] ppid=30576 vsize=8544292 CPUtime=0 cores=0,2,4,6
/proc/30578/task/30590/stat : 30590 (java) T 30576 30578 30578 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869262156 8749355008 294564 33554432000 1073741824 1073778376 140736521641712 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=30578/tid=30591] ppid=30576 vsize=8544292 CPUtime=0 cores=0,2,4,6
/proc/30578/task/30591/stat : 30591 (java) T 30576 30578 30578 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869262162 8749355008 294564 33554432000 1073741824 1073778376 140736521641712 18446744073709551615 268284512689 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=30578/tid=30592] ppid=30576 vsize=8544292 CPUtime=0.66 cores=0,2,4,6
/proc/30578/task/30592/stat : 30592 (java) T 30576 30578 30578 0 -1 4202560 4360 0 0 0 66 0 0 0 15 0 19 0 869262162 8749355008 294564 33554432000 1073741824 1073778376 140736521641712 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30578/tid=30593] ppid=30576 vsize=8544292 CPUtime=0.63 cores=0,2,4,6
/proc/30578/task/30593/stat : 30593 (java) T 30576 30578 30578 0 -1 4202560 6238 0 1 0 62 1 0 0 15 0 19 0 869262162 8749355008 294564 33554432000 1073741824 1073778376 140736521641712 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=30578/tid=30594] ppid=30576 vsize=8544292 CPUtime=0 cores=0,2,4,6
/proc/30578/task/30594/stat : 30594 (java) T 30576 30578 30578 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869262162 8749355008 294564 33554432000 1073741824 1073778376 140736521641712 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=30578/tid=30595] ppid=30576 vsize=8544292 CPUtime=0 cores=0,2,4,6
/proc/30578/task/30595/stat : 30595 (java) T 30576 30578 30578 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869262162 8749355008 294564 33554432000 1073741824 1073778376 140736521641712 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=30578/tid=30596] ppid=30576 vsize=8544292 CPUtime=0 cores=0,2,4,6
/proc/30578/task/30596/stat : 30596 (java) T 30576 30578 30578 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869262187 8749355008 294564 33554432000 1073741824 1073778376 140736521641712 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=30576/tid=30619] ppid=30526 vsize=324412 CPUtime=0 cores=0,2,4,6
/proc/30576/task/30619/stat : 30619 (python) S 30526 30526 30488 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869267049 332197888 5787 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554946 18446604442863216704 0 0 -1 6 0 0 0
[pid=30620] ppid=30526 vsize=335108 CPUtime=0 cores=0,2,4,6
/proc/30620/stat : 30620 (python) S 30526 30526 30488 0 -1 4202560 812 0 0 0 0 0 0 0 15 0 1 0 869267052 343150592 5852 33554432000 4194304 5683644 140734865363392 18446744073709551615 268272709190 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/30620/statm: 83777 5852 349 364 0 18649 0
[pid=30622] ppid=30620 vsize=8537092 CPUtime=1.43 cores=0,2,4,6
/proc/30622/stat : 30622 (java) S 30620 30622 30622 0 -1 4202496 33215 0 1 0 139 4 0 0 20 0 19 0 869267052 8741982208 30448 33554432000 1073741824 1073778376 140735684398080 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/30622/statm: 2134273 30449 2221 9 0 2125014 0
[pid=30622/tid=30623] ppid=30620 vsize=8537092 CPUtime=0.8 cores=0,2,4,6
/proc/30622/task/30623/stat : 30623 (java) R 30620 30622 30622 0 -1 4202560 26525 0 1 0 77 3 0 0 18 0 19 0 869267053 8741982208 30516 33554432000 1073741824 1073778376 140735684398080 18446744073709551615 46912505543442 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30622/tid=30624] ppid=30620 vsize=8537092 CPUtime=0 cores=0,2,4,6
/proc/30622/task/30624/stat : 30624 (java) S 30620 30622 30622 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869267053 8741982208 30517 33554432000 1073741824 1073778376 140735684398080 18446744073709551615 268284504985 0 4 0 16800975 18446604442863217600 0 0 -1 6 0 0 0
[pid=30622/tid=30625] ppid=30620 vsize=8537092 CPUtime=0 cores=0,2,4,6
/proc/30622/task/30625/stat : 30625 (java) S 30620 30622 30622 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869267053 8741982208 30518 33554432000 1073741824 1073778376 140735684398080 18446744073709551615 268284504985 0 4 0 16800975 18446604442863217600 0 0 -1 6 0 0 0
[pid=30622/tid=30626] ppid=30620 vsize=8537092 CPUtime=0 cores=0,2,4,6
/proc/30622/task/30626/stat : 30626 (java) S 30620 30622 30622 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869267053 8741982208 30520 33554432000 1073741824 1073778376 140735684398080 18446744073709551615 268284504985 0 4 0 16800975 18446604442863217600 0 0 -1 6 0 0 0
[pid=30622/tid=30627] ppid=30620 vsize=8537092 CPUtime=0 cores=0,2,4,6
/proc/30622/task/30627/stat : 30627 (java) S 30620 30622 30622 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869267053 8741982208 30521 33554432000 1073741824 1073778376 140735684398080 18446744073709551615 268284504985 0 4 0 16800975 18446604442863217600 0 0 -1 0 0 0 0
[pid=30622/tid=30628] ppid=30620 vsize=8537092 CPUtime=0 cores=0,2,4,6
/proc/30622/task/30628/stat : 30628 (java) S 30620 30622 30622 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869267053 8741982208 30524 33554432000 1073741824 1073778376 140735684398080 18446744073709551615 268284504985 0 4 0 16800975 18446604442863217600 0 0 -1 0 0 0 0
[pid=30622/tid=30629] ppid=30620 vsize=8537092 CPUtime=0 cores=0,2,4,6
/proc/30622/task/30629/stat : 30629 (java) S 30620 30622 30622 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869267053 8741982208 30525 33554432000 1073741824 1073778376 140735684398080 18446744073709551615 268284504985 0 4 0 16800975 18446604442863217600 0 0 -1 0 0 0 0
[pid=30622/tid=30630] ppid=30620 vsize=8537092 CPUtime=0 cores=0,2,4,6
/proc/30622/task/30630/stat : 30630 (java) S 30620 30622 30622 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869267053 8741982208 30526 33554432000 1073741824 1073778376 140735684398080 18446744073709551615 268284504985 0 4 0 16800975 18446604442863217600 0 0 -1 0 0 0 0
[pid=30622/tid=30631] ppid=30620 vsize=8537092 CPUtime=0 cores=0,2,4,6
/proc/30622/task/30631/stat : 30631 (java) S 30620 30622 30622 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869267053 8741982208 30527 33554432000 1073741824 1073778376 140735684398080 18446744073709551615 268284504985 0 4 0 16800975 18446604442863217600 0 0 -1 0 0 0 0
[pid=30622/tid=30632] ppid=30620 vsize=8537092 CPUtime=0 cores=0,2,4,6
/proc/30622/task/30632/stat : 30632 (java) S 30620 30622 30622 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869267054 8741982208 30528 33554432000 1073741824 1073778376 140735684398080 18446744073709551615 268284505600 0 0 0 16800975 18446604442863217600 0 0 -1 6 0 0 0
[pid=30622/tid=30633] ppid=30620 vsize=8537092 CPUtime=0 cores=0,2,4,6
/proc/30622/task/30633/stat : 30633 (java) S 30620 30622 30622 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869267055 8741982208 30531 33554432000 1073741824 1073778376 140735684398080 18446744073709551615 268284504985 0 4 0 16800975 18446604442863217600 0 0 -1 6 0 0 0
[pid=30622/tid=30634] ppid=30620 vsize=8537092 CPUtime=0 cores=0,2,4,6
/proc/30622/task/30634/stat : 30634 (java) S 30620 30622 30622 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869267055 8741982208 30532 33554432000 1073741824 1073778376 140735684398080 18446744073709551615 268284504985 0 4 0 16800975 18446604442863217600 0 0 -1 6 0 0 0
[pid=30622/tid=30635] ppid=30620 vsize=8537092 CPUtime=0 cores=0,2,4,6
/proc/30622/task/30635/stat : 30635 (java) S 30620 30622 30622 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869267057 8741982208 30533 33554432000 1073741824 1073778376 140735684398080 18446744073709551615 268284512689 0 4 0 16800975 18446604442863217600 0 0 -1 6 0 0 0
[pid=30622/tid=30636] ppid=30620 vsize=8537092 CPUtime=0.33 cores=0,2,4,6
/proc/30622/task/30636/stat : 30636 (java) S 30620 30622 30622 0 -1 4202560 3339 0 0 0 33 0 0 0 24 0 19 0 869267057 8741982208 30534 33554432000 1073741824 1073778376 140735684398080 18446744073709551615 268284504985 0 4 0 16800975 18446604442863217600 0 0 -1 0 0 0 0
[pid=30622/tid=30637] ppid=30620 vsize=8537092 CPUtime=0.27 cores=0,2,4,6
/proc/30622/task/30637/stat : 30637 (java) S 30620 30622 30622 0 -1 4202560 2024 0 0 0 27 0 0 0 16 0 19 0 869267057 8741982208 30536 33554432000 1073741824 1073778376 140735684398080 18446744073709551615 268284504985 0 4 0 16800975 18446604442863217600 0 0 -1 2 0 0 0
[pid=30622/tid=30638] ppid=30620 vsize=8537092 CPUtime=0 cores=0,2,4,6
/proc/30622/task/30638/stat : 30638 (java) S 30620 30622 30622 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869267057 8741982208 30538 33554432000 1073741824 1073778376 140735684398080 18446744073709551615 268284504985 0 4 0 16800975 18446604442863217600 0 0 -1 6 0 0 0
[pid=30622/tid=30639] ppid=30620 vsize=8537092 CPUtime=0 cores=0,2,4,6
/proc/30622/task/30639/stat : 30639 (java) S 30620 30622 30622 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869267057 8741982208 30540 33554432000 1073741824 1073778376 140735684398080 18446744073709551615 268284505600 0 4 0 16800975 18446604442863217600 0 0 -1 0 0 0 0
[pid=30622/tid=30640] ppid=30620 vsize=8537092 CPUtime=0 cores=0,2,4,6
/proc/30622/task/30640/stat : 30640 (java) S 30620 30622 30622 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869267075 8741982208 30540 33554432000 1073741824 1073778376 140735684398080 18446744073709551615 268284505600 0 4 0 16800975 18446604442863217600 0 0 -1 2 0 0 0
[pid=30526/tid=30541] ppid=30522 vsize=345352 CPUtime=0 cores=0,2,4,6
/proc/30526/task/30541/stat : 30541 (python) S 30522 30526 30488 0 -1 4202560 32 919 0 9 0 0 0 0 18 0 7 0 869238756 353640448 7388 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448351087296 0 0 -1 6 0 0 0
[pid=30526/tid=30547] ppid=30522 vsize=345352 CPUtime=0 cores=0,2,4,6
/proc/30526/task/30547/stat : 30547 (python) S 30522 30526 30488 0 -1 4202560 25 919 0 9 0 0 0 0 20 0 7 0 869243377 353640448 7388 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448351087296 0 0 -1 2 0 0 0
[pid=30526/tid=30556] ppid=30522 vsize=345352 CPUtime=0 cores=0,2,4,6
/proc/30526/task/30556/stat : 30556 (python) S 30522 30526 30488 0 -1 4202560 30 919 0 9 0 0 0 0 18 0 7 0 869248074 353640448 7388 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448351087296 0 0 -1 2 0 0 0
[pid=30526/tid=30565] ppid=30522 vsize=345352 CPUtime=0 cores=0,2,4,6
/proc/30526/task/30565/stat : 30565 (python) S 30522 30526 30488 0 -1 4202560 104 919 0 9 0 0 0 0 20 0 7 0 869252807 353640448 7388 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448351087296 0 0 -1 2 0 0 0
[pid=30526/tid=30577] ppid=30522 vsize=345352 CPUtime=0 cores=0,2,4,6
/proc/30526/task/30577/stat : 30577 (python) S 30522 30526 30488 0 -1 4202560 30 919 0 9 0 0 0 0 20 0 7 0 869262138 353640448 7388 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448351087296 0 0 -1 2 0 0 0
[pid=30526/tid=30621] ppid=30522 vsize=345352 CPUtime=0 cores=0,2,4,6
/proc/30526/task/30621/stat : 30621 (python) S 30522 30526 30488 0 -1 4202560 25 919 0 9 0 0 0 0 20 0 7 0 869267052 353640448 7388 33554432000 4194304 5683644 140734865363392 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448351087296 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 287.87
Current children cumulated vsize (KiB) 19505844
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30526 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=335948
# CPU time returned by wait4() is 0.84387
# while last known CPU time is 287.87
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 297.099
CPU time (s): 287.87
CPU user time (s): 285.09
CPU system time (s): 2.78
CPU usage (%): 96.8937
Max. virtual memory (cumulated for all children) (KiB): 19505844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.507922
system time used= 0.335948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14996
page faults= 123
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23077
involuntary context switches= 24
runsolver used 1.9837 second user time and 4.53431 second system time
The end