1271.41/1273.97 c initialize IPBHS solver
1271.41/1273.97 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:19:29), with Glucose 3.0, with Gurobi 10.0.1, with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
1271.41/1273.97 c optimizer = "gurobi"
1271.41/1273.97 c pbsolver = "roundingsat"
1271.41/1273.97 c load symmetries from file ""
1271.41/1273.97 c set time limit for symmetry computation to 100 seconds.
1271.41/1273.97 c set interchangeable summation variable limit to 3
1271.41/1273.97 c set abs symmetric core budget per WCE-iteration to 100
1271.41/1273.97 c set rel symmetric core budget per WCE-iteration to 0
1271.41/1273.97 c set lit symmetric core budget per WCE-iteration to 0
1271.41/1273.97 c set sym generation to 's'
1271.41/1273.97 c set abstraction set creation to 10 iterations without LB change
1271.41/1273.97 c set abstraction set inputs to 0
1271.41/1273.97 c set abstraction set cluster min size to 2
1271.41/1273.97 c set abstraction set cluster max size to 100000000
1271.41/1273.97 c set abstraction set cluster activation limit to 2
1271.41/1273.97 c enable abstraction set require equal cost
1271.41/1273.97 c set abstraction set assumptions to 0
1271.41/1273.97 c set abstraction set constraint type to 0
1271.41/1273.97 c set abstract core extraction strategy to b
1271.41/1273.97 c set core extraction strategy to 2
1271.41/1273.97 c set core extraction shuffles 10
1271.41/1273.97 c set cores per iteration to 5
1271.41/1273.97 c set optimizer bound usage strategy to 2
1271.41/1273.97 c set optimizer max non-optimal iterations to 1000
1271.41/1273.97 c set small core cardinality limit to 2
1271.41/1273.97 c set max coef in cores to 1000000000
1271.41/1273.97 c set SIS iterations to 5
1271.41/1273.97 c set SIS budget abs to 1000
1271.41/1273.97 c set SIS budget rel to 0.05
1271.41/1273.97 c limit for coefficient in constraints and objective to 9223372036854775807
1271.41/1273.97 c will solve HOME/instance-4431623-1721126767.opb
1271.41/1273.97 c [0.11] solve iteration 1, LB=-109612, UB=60997
1271.41/1273.97 c [1.45] solve iteration 2, LB=-13048, UB=-3695
1271.41/1273.97 c [21.06] solve iteration 3, LB=-10615, UB=-9876
1271.41/1273.97 c [26.05] solve iteration 4, LB=-10615, UB=-9876
1271.41/1273.97 c [32.14] solve iteration 5, LB=-10615, UB=-9876
1271.41/1273.97 c [38.47] solve iteration 6, LB=-10615, UB=-9876
1271.41/1273.97 c [45.43] solve iteration 7, LB=-10615, UB=-9876
1271.41/1273.97 c [70.88] solve iteration 8, LB=-10615, UB=-9876
1271.41/1273.97 c [81.07] solve iteration 9, LB=-10615, UB=-9876
1271.41/1273.97 c [90.97] solve iteration 10, LB=-10615, UB=-9876
1271.41/1273.97 c [102.03] solve iteration 11, LB=-10615, UB=-9876
1271.41/1273.97 c [115.72] solve iteration 12, LB=-10615, UB=-9876
1271.41/1273.97 c [148.03] solve iteration 13, LB=-10615, UB=-9876
1271.41/1273.97 c [159.23] solve iteration 14, LB=-10615, UB=-9876
1271.41/1273.97 c [172.44] solve iteration 15, LB=-10615, UB=-9876
1271.41/1273.97 c [186.67] solve iteration 16, LB=-10615, UB=-9876
1271.41/1273.97 c [198.56] solve iteration 17, LB=-10615, UB=-9876
1271.41/1273.97 c [229.46] solve iteration 18, LB=-10615, UB=-9876
1271.41/1273.97 c [244.31] solve iteration 19, LB=-10615, UB=-9876
1271.41/1273.97 c [258.27] solve iteration 20, LB=-10615, UB=-9876
1271.41/1273.97 c [272.95] solve iteration 21, LB=-10615, UB=-9876
1271.41/1273.97 c [286.21] solve iteration 22, LB=-10615, UB=-9876
1271.41/1273.97 c [336.16] solve iteration 23, LB=-10615, UB=-9876
1271.41/1273.97 c [353.66] solve iteration 24, LB=-10615, UB=-9876
1271.41/1273.97 c [368.45] solve iteration 25, LB=-10615, UB=-9876
1271.41/1273.97 c [387.54] solve iteration 26, LB=-10615, UB=-9876
1271.41/1273.97 c [404.15] solve iteration 27, LB=-10615, UB=-9876
1271.41/1273.97 c [455.65] solve iteration 28, LB=-10615, UB=-9876
1271.41/1273.97 c [474.55] solve iteration 29, LB=-10615, UB=-9876
1271.41/1273.97 c [495.11] solve iteration 30, LB=-10615, UB=-9876
1271.41/1273.97 c [514.4] solve iteration 31, LB=-10615, UB=-9876
1271.41/1273.97 c [534.77] solve iteration 32, LB=-10615, UB=-9876
1271.41/1273.97 c [593.73] solve iteration 33, LB=-10615, UB=-9876
1271.41/1273.97 c [612.35] solve iteration 34, LB=-10615, UB=-9876
1271.41/1273.97 c [633.09] solve iteration 35, LB=-10615, UB=-9876
1271.41/1273.97 c [653.82] solve iteration 36, LB=-10615, UB=-9876
1271.41/1273.97 c [682.94] solve iteration 37, LB=-10615, UB=-9876
1271.41/1273.97 c [748.88] solve iteration 38, LB=-10615, UB=-9876
1271.41/1273.97 c [775.26] solve iteration 39, LB=-10615, UB=-9876
1271.41/1273.97 c [808.63] solve iteration 40, LB=-10615, UB=-9876
1271.41/1273.97 c [833.5] solve iteration 41, LB=-10615, UB=-9876
1271.41/1273.97 c [854.32] solve iteration 42, LB=-10615, UB=-9876
1271.41/1273.97 c [935.01] solve iteration 43, LB=-10615, UB=-9876
1271.41/1273.97 c [962.85] solve iteration 44, LB=-10615, UB=-9876
1271.41/1273.97 c [991.41] solve iteration 45, LB=-10615, UB=-9876
1271.41/1273.97 c [1020.59] solve iteration 46, LB=-10615, UB=-9876
1271.41/1273.97 c [1049.69] solve iteration 47, LB=-10615, UB=-9876
1271.41/1273.97 c [1131.1] solve iteration 48, LB=-10615, UB=-9876
1271.41/1273.97 c [1156.81] solve iteration 49, LB=-10615, UB=-9876
1271.41/1273.97 c [1188.59] solve iteration 50, LB=-10615, UB=-9876
1271.41/1273.97 c [1226.98] solve iteration 51, LB=-10615, UB=-9876
1271.41/1273.97 c [1263.78] s
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62758 MiB free)
memory of node 1: 64473 MiB (63199 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431623-1721126767/watcher-4431623-1721126767 -o /tmp/evaluation-result-4431623-1721126767/solver-4431623-1721126767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721126780-855647 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431623-1721126767.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=855677, runsolver pid=855674
Current StackSize limit: 8192 KiB
[startup+0.100366 s]*
/proc/loadavg: 3.90 4.09 4.08 5/253 855703
/proc/meminfo: memFree=128899356/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=142296 memory=27540 CPUtime=0.09 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 3701 0 0 0 6 3 0 0 20 0 2 0 164847587 145711104 6885 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 6 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 35574 6885 2655 46 0 8169 0
[pid=855679/tid=855703] ppid=855677 vsize=142296 memory=4026531971 CPUtime=0 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 164847596 145711104 6885 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 152224 KiB
Current children cumulated memory: 30344 KiB
[startup+0.206365 s]*
/proc/loadavg: 3.90 4.09 4.08 5/260 855714
/proc/meminfo: memFree=128841592/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=148708 memory=33164 CPUtime=0.18 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 5097 0 0 0 12 6 0 0 20 0 2 0 164847587 152276992 8291 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 6 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 37177 8291 2687 46 0 9772 0
[pid=855679/tid=855703] ppid=855677 vsize=148708 memory=3472328300251083854 CPUtime=0 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 164847596 152276992 8291 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 158636 KiB
Current children cumulated memory: 35968 KiB
[startup+0.306352 s]*
/proc/loadavg: 3.90 4.09 4.08 5/260 855714
/proc/meminfo: memFree=128787916/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=164584 memory=46740 CPUtime=0.28 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 10765 0 0 0 19 9 0 0 20 0 2 0 164847587 168534016 11685 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 41146 11685 3119 46 0 13741 0
[pid=855679/tid=855703] ppid=855677 vsize=164584 memory=-8681462972617221730 CPUtime=0 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 164847596 168534016 11685 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 174512 KiB
Current children cumulated memory: 49544 KiB
[startup+0.700232 s]
/proc/loadavg: 3.90 4.09 4.08 5/260 855714
/proc/meminfo: memFree=128651312/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=163360 memory=49944 CPUtime=0.67 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 11876 0 0 0 57 10 0 0 20 0 2 0 164847587 167280640 12486 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 40840 12486 3214 46 0 13435 0
[pid=855679/tid=855703] ppid=855677 vsize=163360 memory=13184 CPUtime=0 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 164847596 167280640 12486 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 173288 KiB
Current children cumulated memory: 52748 KiB
[startup+1.50024 s]
/proc/loadavg: 3.90 4.09 4.08 5/262 855716
/proc/meminfo: memFree=128451372/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=223888 memory=73120 CPUtime=1.46 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 17495 0 0 0 136 10 0 0 20 0 2 0 164847587 229261312 18280 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 55972 18280 3437 46 0 28567 0
[pid=855679/tid=855703] ppid=855677 vsize=223888 memory=13184 CPUtime=0 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 164847596 229261312 18280 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 233816 KiB
Current children cumulated memory: 75924 KiB
[startup+3.10553 s]
/proc/loadavg: 3.90 4.09 4.08 5/263 855719
/proc/meminfo: memFree=128137080/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=282640 memory=124400 CPUtime=3.07 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 30645 0 0 0 294 13 0 0 20 0 2 0 164847587 289423360 31100 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 70660 31100 3895 46 0 43255 0
[pid=855679/tid=855703] ppid=855677 vsize=282640 memory=-8753520545079715426 CPUtime=0 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 164847596 289423360 31100 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 292568 KiB
Current children cumulated memory: 127204 KiB
[startup+6.3002 s]
/proc/loadavg: 3.91 4.09 4.08 5/263 855719
/proc/meminfo: memFree=128111432/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=310288 memory=141600 CPUtime=6.26 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 39117 0 0 0 612 14 0 0 20 0 2 0 164847587 317734912 35400 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 77572 35400 3941 46 0 50167 0
[pid=855679/tid=855703] ppid=855677 vsize=310288 memory=2804 CPUtime=0 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 2 0 164847596 317734912 35400 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 320216 KiB
Current children cumulated memory: 144404 KiB
[startup+12.7002 s]
/proc/loadavg: 3.92 4.09 4.08 5/263 855720
/proc/meminfo: memFree=128105560/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=310288 memory=141612 CPUtime=12.64 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 49298 0 0 0 1250 14 0 0 20 0 2 0 164847587 317734912 35403 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 77572 35403 3942 46 0 50167 0
[pid=855679/tid=855703] ppid=855677 vsize=310288 memory=141612 CPUtime=0 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 2 0 164847596 317734912 35403 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 320216 KiB
Current children cumulated memory: 144416 KiB
[startup+25.5002 s]
/proc/loadavg: 4.01 4.10 4.09 5/263 855722
/proc/meminfo: memFree=127989604/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=325780 memory=185060 CPUtime=25.41 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 76198 0 0 0 2519 22 0 0 20 0 2 0 164847587 333598720 46265 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 81445 46265 3974 46 0 54040 0
[pid=855679/tid=855703] ppid=855677 vsize=325780 memory=141600 CPUtime=0 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 2 0 164847596 333598720 46265 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 335708 KiB
Current children cumulated memory: 187864 KiB
[startup+51.1056 s]
/proc/loadavg: 4.00 4.09 4.09 5/263 855725
/proc/meminfo: memFree=127948356/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=346868 memory=199008 CPUtime=50.95 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 147285 0 0 0 5046 49 0 0 20 0 2 0 164847587 355192832 49752 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 86717 49752 3974 46 0 59312 0
[pid=855679/tid=855703] ppid=855677 vsize=346868 memory=2804 CPUtime=0.01 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 28 0 0 0 0 1 0 0 20 0 2 0 164847596 355192832 49752 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 356796 KiB
Current children cumulated memory: 201812 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/263 855736
/proc/meminfo: memFree=127727028/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=481296 memory=336184 CPUtime=102.05 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 207326 0 0 0 10116 89 0 0 20 0 2 0 164847587 492847104 84046 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 120324 84046 3974 46 0 92919 0
[pid=855679/tid=855703] ppid=855677 vsize=481296 memory=2804 CPUtime=0.04 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 32 0 0 0 1 3 0 0 20 0 2 0 164847596 492847104 84046 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 491224 KiB
Current children cumulated memory: 338988 KiB
[startup+162.3 s]
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.13 5/263 857496
/proc/meminfo: memFree=124899728/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=917088 memory=737432 CPUtime=3216.18 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 2148694 0 0 0 319962 1656 0 0 20 0 2 0 164847587 939098112 184358 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 229272 184358 3974 46 0 201867 0
[pid=855679/tid=855703] ppid=855677 vsize=917088 memory=11588 CPUtime=1.75 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 114 0 0 0 57 118 0 0 20 0 2 0 164847596 939098112 184358 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 3216.18 s
Current children cumulated vsize: 927016 KiB
Current children cumulated memory: 740236 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.13 5/265 857512
/proc/meminfo: memFree=124879796/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=936940 memory=736636 CPUtime=3276.06 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 2196312 0 0 0 325928 1678 0 0 20 0 2 0 164847587 959426560 184159 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 234235 184159 3974 46 0 206830 0
[pid=855679/tid=855703] ppid=855677 vsize=936940 memory=2804 CPUtime=1.78 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 116 0 0 0 58 120 0 0 20 0 2 0 164847596 959426560 184159 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 3276.06 s
Current children cumulated vsize: 946868 KiB
Current children cumulated memory: 739440 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.13 5/265 857522
/proc/meminfo: memFree=124835784/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=987032 memory=738024 CPUtime=3335.96 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 2230630 0 0 0 331886 1710 0 0 20 0 2 0 164847587 1010720768 184506 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 246758 184506 3974 46 0 219353 0
[pid=855679/tid=855703] ppid=855677 vsize=987032 memory=2804 CPUtime=1.81 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 116 0 0 0 59 122 0 0 20 0 2 0 164847596 1010720768 184506 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 3335.96 s
Current children cumulated vsize: 996960 KiB
Current children cumulated memory: 740828 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/264 857533
/proc/meminfo: memFree=124794716/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=993768 memory=761044 CPUtime=3395.84 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 2294058 0 0 0 337848 1736 0 0 20 0 2 0 164847587 1017618432 190261 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 248442 190261 3974 46 0 221037 0
[pid=855679/tid=855703] ppid=855677 vsize=993768 memory=11588 CPUtime=1.84 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 117 0 0 0 60 124 0 0 20 0 2 0 164847596 1017618432 190261 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 3395.84 s
Current children cumulated vsize: 1003696 KiB
Current children cumulated memory: 763848 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/264 857543
/proc/meminfo: memFree=124769040/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=988236 memory=745228 CPUtime=3455.74 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 2311365 0 0 0 343823 1751 0 0 20 0 2 0 164847587 1011953664 186307 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 247059 186307 3974 46 0 219654 0
[pid=855679/tid=855703] ppid=855677 vsize=988236 memory=2804 CPUtime=1.89 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 118 0 0 0 62 127 0 0 20 0 2 0 164847596 1011953664 186307 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 3455.74 s
Current children cumulated vsize: 998164 KiB
Current children cumulated memory: 748032 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/264 857554
/proc/meminfo: memFree=124536340/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=1186484 memory=941084 CPUtime=3515.62 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 2389417 0 0 0 349777 1785 0 0 20 0 2 0 164847587 1214959616 235271 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 296621 235271 3974 46 0 269216 0
[pid=855679/tid=855703] ppid=855677 vsize=1186484 memory=8113690512135069088 CPUtime=1.92 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 119 0 0 0 63 129 0 0 20 0 2 0 164847596 1214959616 235271 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 3515.62 s
Current children cumulated vsize: 1196412 KiB
Current children cumulated memory: 943888 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/263 857565
/proc/meminfo: memFree=124570984/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=1053380 memory=872960 CPUtime=3575.51 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 2474737 0 0 0 355742 1809 0 0 20 0 2 0 164847587 1078661120 218240 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 263345 218240 3974 46 0 235940 0
[pid=855679/tid=855703] ppid=855677 vsize=1053380 memory=41332 CPUtime=1.95 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 119 0 0 0 64 131 0 0 20 0 2 0 164847596 1078661120 218240 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 3575.51 s
Current children cumulated vsize: 1063308 KiB
Current children cumulated memory: 875764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3606.9 s]
/proc/loadavg: 4.20 4.14 4.12 5/263 857569
/proc/meminfo: memFree=124548916/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=1053380 memory=879104 CPUtime=3600.07 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 2488303 0 0 0 358186 1821 0 0 20 0 2 0 164847587 1078661120 219776 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 263345 219776 3974 46 0 235940 0
[pid=855679/tid=855703] ppid=855677 vsize=1053380 memory=2804 CPUtime=1.96 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 121 0 0 0 64 132 0 0 20 0 2 0 164847596 1078661120 219776 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1063308 KiB
Current children cumulated memory: 881908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3606.91 s]
# the end of solver process 855677 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.001498 s
[startup+3606.91 s]
# the end of solver process 855679 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3581.87 s, system=18.2212 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3606.9 s]
/proc/loadavg: 4.20 4.14 4.12 5/263 857569
/proc/meminfo: memFree=124548916/131524600 swapFree=131071996/131071996
[pid=855677] ppid=855674 vsize=9928 memory=2804 CPUtime=0 cores=4,6
/proc/855677/stat : 855677 (run-glibc-2.34.) S 855674 855677 855636 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 164847587 10166272 701 134679101440 94120865787904 94120866867224 140726208701968 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94120868965680 94120869012868 94120871522304 140726208709579 140726208709724 140726208709724 140726208716739 0
/proc/855677/statm: 2482 701 624 264 0 133 0
[pid=855679] ppid=855677 vsize=1053380 memory=879104 CPUtime=3600.07 cores=4,6
/proc/855679/stat : 855679 (ld-linux-x86-64) R 855677 855677 855636 0 -1 4194304 2488303 0 0 0 358186 1821 0 0 20 0 2 0 164847587 1078661120 219776 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
/proc/855679/statm: 263345 219776 3974 46 0 235940 0
[pid=855679/tid=855703] ppid=855677 vsize=1053380 memory=2804 CPUtime=1.96 cores=4,6
/proc/855679/task/855703/stat : 855703 (ld-linux-x86-64) S 855677 855677 855636 0 -1 1077936192 121 0 0 0 64 132 0 0 20 0 2 0 164847596 1078661120 219776 134679101440 140080914735104 140080914922716 140724518622672 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140080917023616 140080917033064 93825023270912 140724518630243 140724518630395 140724518630395 140724518637490 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1063308 KiB
Current children cumulated memory: 881908 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3606.91
CPU time (s): 3600.09
CPU user time (s): 3581.87
CPU system time (s): 18.2212
CPU usage (%): 99.8108
Max. virtual memory (cumulated for all children) (KiB): 1236260
Max. memory (cumulated for all children) (KiB): 977072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.87
system time used= 18.2212
maximum resident set size= 976584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2488507
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357240
involuntary context switches= 2476
# summary of solver processes directly reported to runsolver:
# pid: 855677,855679
# total CPU time (s): 3600.09
# total CPU user time (s): 3581.87
# total CPU system time (s): 18.2212
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.01556 second user time and 16.833 second system time
The end