0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4432667-1721093652.opb>
3.28/3.30 c original problem has 21566 variables (21566 bin, 0 int, 0 impl, 0 cont) and 1314050 constraints
3.28/3.30 c problem read in 3.29
5.37/5.40 c presolving:
8.36/8.41 c (round 1, fast) 10234 del vars, 1189678 del conss, 0 add conss, 9816 chg bounds, 414 chg sides, 828 chg coeffs, 0 upgd conss, 0 impls, 80344 clqs
8.36/8.46 c (round 2, fast) 10245 del vars, 1197047 del conss, 0 add conss, 9816 chg bounds, 416 chg sides, 832 chg coeffs, 0 upgd conss, 0 impls, 80336 clqs
8.56/8.69 c (8.7s) running MILP presolver
10.16/10.25 c (10.2s) MILP presolver (6 rounds): 0 aggregations, 69 fixings, 0 bound changes
10.16/10.27 c (round 3, medium) 10314 del vars, 1197047 del conss, 0 add conss, 9816 chg bounds, 416 chg sides, 832 chg coeffs, 0 upgd conss, 0 impls, 79604 clqs
10.26/10.30 c (round 4, fast) 10315 del vars, 1197780 del conss, 0 add conss, 9816 chg bounds, 416 chg sides, 832 chg coeffs, 0 upgd conss, 0 impls, 79604 clqs
10.66/10.77 c (round 5, exhaustive) 10315 del vars, 1197780 del conss, 0 add conss, 9816 chg bounds, 416 chg sides, 832 chg coeffs, 116270 upgd conss, 0 impls, 79604 clqs
16.14/16.23 c (16.2s) probing: 261/11251 (2.3%) - 10 fixings, 0 aggregations, 68 implications, 0 bound changes
16.14/16.23 c (16.2s) probing aborted: 50/50 successive totally useless probings
16.14/16.23 c (round 6, exhaustive) 10325 del vars, 1197780 del conss, 0 add conss, 9816 chg bounds, 416 chg sides, 900 chg coeffs, 116270 upgd conss, 0 impls, 79580 clqs
16.14/16.28 c (round 7, fast) 10395 del vars, 1198302 del conss, 0 add conss, 9816 chg bounds, 416 chg sides, 910 chg coeffs, 116270 upgd conss, 0 impls, 79152 clqs
16.95/17.06 c (17.0s) probing: 266/11251 (2.4%) - 10 fixings, 0 aggregations, 68 implications, 0 bound changes
16.95/17.06 c (17.0s) probing aborted: 50/50 successive totally useless probings
17.34/17.48 c (17.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
17.54/17.65 c (17.6s) symmetry computation finished: 64 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.03)
17.54/17.66 c dynamic symmetry handling statistics:
17.54/17.66 c orbitopal reduction: no components
17.54/17.66 c orbital reduction: no components
17.54/17.66 c lexicographic reduction: no permutations
17.54/17.66 c handled 64 out of 64 symmetry components
17.64/17.76 c presolving (8 rounds: 8 fast, 4 medium, 3 exhaustive):
17.64/17.76 c 10395 deleted vars, 1198302 deleted constraints, 64 added constraints, 9816 tightened bounds, 0 added holes, 416 changed sides, 910 changed coefficients
17.64/17.76 c 0 implications, 79216 cliques
17.64/17.76 c presolved problem has 11171 variables (11171 bin, 0 int, 0 impl, 0 cont) and 115812 constraints
17.64/17.76 c 79084 constraints of type <setppc>
17.64/17.76 c 64 constraints of type <linear>
17.64/17.76 c 36664 constraints of type <logicor>
17.64/17.76 c transformed objective value is always integral (scale: 1)
17.64/17.76 c Presolving Time: 12.36
17.64/17.76 c - non default parameters ----------------------------------------------------------------------
17.64/17.76 c # SCIP version 10.0.0
17.64/17.76 c
17.64/17.76 c # maximal time in seconds to run
17.64/17.76 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
17.64/17.76 c limits/time = 3596.993103
17.64/17.76 c
17.64/17.76 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
17.64/17.76 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
17.64/17.76 c limits/memory = 27900
17.64/17.76 c
17.64/17.76 c # belongs reading time to solving time?
17.64/17.76 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
17.64/17.76 c timing/reading = TRUE
17.64/17.76 c
17.64/17.76 c -----------------------------------------------------------------------------------------------
17.64/17.76 c start solving
17.64/17.76 c
17.74/17.83 o 160
17.74/17.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.74/17.83 c t17.8s| 1 | 0 | 0 | - | trivial| 0 | 11k| 115k| 0 | 0 | 0 | 0 | 0 | 8.000000e+00 | 1.600000e+02 |1900.00%| unknown
18.34/18.44 o 139
18.34/18.44 c p18.4s| 1 | 0 | 0 | - | locks| 0 | 11k| 115k| 115k| 0 | 0 | 0 | 0 | 8.000000e+00 | 1.390000e+02 |1637.50%| unknown
18.54/18.61 o 88
18.54/18.61 c p18.6s| 1 | 0 | 0 | - | vbounds| 0 | 11k| 115k| 115k| 0 | 0 | 0 | 0 | 8.000000e+00 | 8.800000e+01 |1000.00%| unknown
18.84/18.94 o 85
18.84/18.94 c p18.9s| 1 | 0 | 0 | - | vbounds| 0 | 11k| 115k| 115k| 0 | 0 | 1 | 0 | 8.000000e+00 | 8.500000e+01 | 962.50%| unknown
27.31/27.42 c 27.4s| 1 | 0 | 15973 | - | 1380M | 0 | 11k| 115k| 115k| 0 | 0 | 9 | 0 | 8.000000e+00 | 8.500000e+01 | 962.50%| unknown
129.23/129.63 c 130s| 1 | 0 | 52121 | - | 1400M | 0 | 11k| 115k| 115k| 52 | 1 | 14 | 0 | 9.631339e+00 | 8.500000e+01 | 782.54%| unknown
153.38/153.87 c 154s| 1 | 0 | 62502 | - | 1411M | 0 | 11k| 115k| 115k| 99 | 2 | 18 | 0 | 3.600000e+01 | 8.500000e+01 | 136.11%| unknown
224.00/224.64 c 225s| 1 | 0 | 64360 | - | 1428M | 0 | 11k| 115k| 115k| 109 | 3 | 20 | 0 | 3.600000e+01 | 8.500000e+01 | 136.11%| unknown
297.53/298.39 c 298s| 1 | 0 | 67877 | - | 1446M | 0 | 11k| 115k| 115k| 122 | 4 | 30 | 0 | 3.600000e+01 | 8.500000e+01 | 136.11%| unknown
374.23/375.21 c 375s| 1 | 0 | 72373 | - | 1458M | 0 | 11k| 115k| 115k| 132 | 5 | 36 | 0 | 3.600000e+01 | 8.500000e+01 | 136.11%| unknown
450.15/451.37 c 451s| 1 | 0 | 76748 | - | 1472M | 0 | 11k| 115k| 115k| 145 | 6 | 46 | 0 | 3.600000e+01 | 8.500000e+01 | 136.11%| unknown
531.26/532.67 c 533s| 1 | 0 | 84266 | - | 1485M | 0 | 11k| 115k| 115k| 155 | 7 | 56 | 0 | 3.602174e+01 | 8.500000e+01 | 135.97%| unknown
587.21/588.77 c 589s| 1 | 0 | 89181 | - | 1504M | 0 | 11k| 115k| 115k| 170 | 8 | 66 | 0 | 3.700000e+01 | 8.500000e+01 | 129.73%| unknown
657.46/659.16 c 659s| 1 | 0 | 90146 | - | 1518M | 0 | 11k| 115k| 115k| 176 | 9 | 74 | 0 | 3.700000e+01 | 8.500000e+01 | 129.73%| unknown
729.57/731.41 c 731s| 1 | 0 | 92397 | - | 1530M | 0 | 11k| 115k| 115k| 184 | 10 | 80 | 0 | 3.700000e+01 | 8.500000e+01 | 129.73%| unknown
732.86/734.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
732.86/734.72 c 735s| 1 | 0 | 93493 | - | 1541M | 0 | 11k| 115k| 115k| 186 | 11 | 86 | 0 | 3.700000e+01 | 8.500000e+01 | 129.73%| unknown
739.26/741.13 c 741s| 1 | 0 | 96134 | - | 1555M | 0 | 11k| 115k| 115k| 194 | 12 | 96 | 0 | 3.706250e+01 | 8.500000e+01 | 129.34%| unknown
742.25/744.14 c 744s| 1 | 0 | 96894 | - | 1555M | 0 | 11k| 115k| 115k| 197 | 13 | 101 | 0 | 3.706250e+01 | 8.500000e+01 | 129.34%| unknown
744.33/746.25 c 746s| 1 | 0 | 97305 | - | 1566M | 0 | 11k| 115k| 115k| 201 | 14 | 109 | 0 | 3.706250e+01 | 8.500000e+01 | 129.34%| unknown
751.51/753.48 c 753s| 1 | 0 | 99967 | - | 1580M | 0 | 11k| 115k| 116k| 213 | 15 | 119 | 0 | 3.706250e+01 | 8.500000e+01 | 129.34%| unknown
754.61/756.53 c 757s| 1 | 0 |101024 | - | 1591M | 0 | 11k| 115k| 116k| 220 | 16 | 121 | 0 | 3.706250e+01 | 8.500000e+01 | 129.34%| unknown
765.19/767.18 c 767s| 1 | 0 |105311 | - | 1604M | 0 | 11k| 115k| 115k| 231 | 17 | 131 | 0 | 3.706250e+01 | 8.500000e+01 | 129.34%| unknown
771.46/773.45 c 773s| 1 | 0 |108029 | - | 1616M | 0 | 11k| 115k| 115k| 235 | 18 | 132 | 0 | 3.800000e+01 | 8.500000e+01 | 123.68%| unknown
775.75/777.73 c 778s| 1 | 0 |109566 | - | 1627M | 0 | 11k| 115k| 115k| 241 | 19 | 135 | 0 | 3.800000e+01 | 8.500000e+01 | 123.68%| unknown
782.83/784.81 c 785s| 1 | 0 |112580 | - | 1641M | 0 | 11k| 115k| 115k| 254 | 20 | 145 | 0 | 3.800000e+01 | 8.500000e+01 | 123.68%| unknown
793.02/795.09 c 795s| 1 | 0 |117379 | - | 1642M | 0 | 11k| 115k| 115k| 263 | 21 | 155 | 0 | 3.800000e+01 | 8.500000e+01 | 123.68%| unknown
794.90/796.92 c 797s| 1 | 0 |118144 | - | 1642M | 0 | 11k| 115k| 115k| 265 | 22 | 156 | 0 | 3.800000e+01 | 8.500000e+01 | 123.68%| unknown
800.01/802.05 c 802s| 1 | 0 |120856 | - | 1643M | 0 | 11k| 115k| 115k| 273 | 23 | 166 | 0 | 3.800000e+01 | 8.500000e+01 | 123.68%| unknown
1045.19/1047.87 c 1048s| 1 | 2 |180572 | - | 1645M | 0 | 11k| 116k| 115k| 273 | 24 | 221 | 29 | 3.800000e+01 | 8.500000e+01 | 123.68%| unknown
2795.06/2801.89 o 84
2795.06/2801.89 c d2802s| 42 | 43 |814186 |16910.5 |linesear| 22 | 11k| 116k| 115k| 0 | 1 | 270 | 29 | 3.800000e+01 | 8.400000e+01 | 121.05%| unknown
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: 64096 MiB (63214 MiB free)
memory of node 1: 64473 MiB (61971 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432667-1721093652/watcher-4432667-1721093652 -o /tmp/evaluation-result-4432667-1721093652/solver-4432667-1721093652 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721093664-830409 --watchdog 3760 pbscip -f HOME/instance-4432667-1721093652.opb -t 3600 -j 2 -m 31000
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=830471, runsolver pid=830468
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 3.87 4.11 4.14 5/245 830472
/proc/meminfo: memFree=128141196/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=74304 memory=33580 CPUtime=0.09 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 5486 0 0 0 8 1 0 0 20 0 1 0 161524104 76087296 8395 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 18576 8395 3218 3540 0 6833 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74304 KiB
Current children cumulated memory: 33580 KiB
[startup+0.20795 s]*
/proc/loadavg: 3.87 4.11 4.14 5/245 830472
/proc/meminfo: memFree=128101044/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=85888 memory=45236 CPUtime=0.2 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 8432 0 0 0 17 3 0 0 20 0 1 0 161524104 87949312 11309 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 21472 11309 3218 3540 0 9729 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 85888 KiB
Current children cumulated memory: 45236 KiB
[startup+0.308127 s]*
/proc/loadavg: 3.87 4.11 4.14 6/245 830472
/proc/meminfo: memFree=128062600/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=98532 memory=57296 CPUtime=0.3 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 11430 0 0 0 26 4 0 0 20 0 1 0 161524104 100896768 14324 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 24633 14324 3218 3540 0 12890 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 98532 KiB
Current children cumulated memory: 57296 KiB
[startup+0.700379 s]
/proc/loadavg: 3.87 4.11 4.14 6/245 830472
/proc/meminfo: memFree=127980836/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=149676 memory=108336 CPUtime=0.69 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 24205 0 0 0 61 8 0 0 20 0 1 0 161524104 153268224 27084 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 37419 27084 3218 3540 0 25676 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 149676 KiB
Current children cumulated memory: 108336 KiB
[startup+1.50036 s]
/proc/loadavg: 3.87 4.11 4.14 5/245 830472
/proc/meminfo: memFree=127735304/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=289036 memory=247672 CPUtime=1.49 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 58526 0 0 0 133 16 0 0 20 0 1 0 161524104 295972864 61918 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 72259 61918 3218 3540 0 60516 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 289036 KiB
Current children cumulated memory: 247672 KiB
[startup+3.11292 s]
/proc/loadavg: 3.88 4.11 4.14 5/245 830472
/proc/meminfo: memFree=126554720/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=681916 memory=638672 CPUtime=3.09 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 149047 0 0 0 278 31 0 0 20 0 1 0 161524104 698281984 159602 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 170479 159602 3218 3540 0 158736 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 681916 KiB
Current children cumulated memory: 638672 KiB
[startup+6.30031 s]
/proc/loadavg: 3.88 4.11 4.14 5/245 830475
/proc/meminfo: memFree=125454868/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=1734432 memory=1685312 CPUtime=6.26 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 375603 0 0 0 564 62 0 0 20 0 1 0 161524104 1776058368 421328 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 433608 421328 3569 3540 0 421865 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1734432 KiB
Current children cumulated memory: 1685312 KiB
[startup+12.7003 s]
/proc/loadavg: 3.90 4.11 4.14 5/245 830475
/proc/meminfo: memFree=125381420/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=1784492 memory=1736684 CPUtime=12.65 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 383969 0 0 0 1200 65 0 0 20 0 1 0 161524104 1827319808 434171 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 446123 434171 3712 3540 0 434380 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1784492 KiB
Current children cumulated memory: 1736684 KiB
[startup+25.5003 s]
/proc/loadavg: 4.00 4.12 4.14 5/245 830477
/proc/meminfo: memFree=125343488/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=1810792 memory=1758812 CPUtime=25.42 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 384365 0 0 0 2476 66 0 0 20 0 1 0 161524104 1854251008 439703 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 452698 439703 3792 3540 0 440955 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1810792 KiB
Current children cumulated memory: 1758812 KiB
[startup+51.1129 s]
/proc/loadavg: 4.00 4.11 4.14 5/245 830481
/proc/meminfo: memFree=125319208/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=1810792 memory=1759608 CPUtime=50.95 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 384478 0 0 0 5028 67 0 0 20 0 1 0 161524104 1854251008 439902 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 452698 439902 3968 3540 0 440955 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1810792 KiB
Current children cumulated memory: 1759608 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.10 4.13 5/242 830490
/proc/meminfo: memFree=125218712/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=1810792 memory=1759776 CPUtime=102.01 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 384504 0 0 0 10133 68 0 0 20 0 1 0 161524104 1854251008 439944 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 452698 439944 3968 3540 0 440955 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1810792 KiB
Current children cumulated memory: 1759776 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.13 4.14 5/242 830500
/proc/meminfo: memFree=125101876/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=1810792 memory=1759776 CPUtime=161.86 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 384600 0 0 0 16117 69 0 0 20 0 1 0 161524104 1854251008 439944 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 452698 439944 3968 3540 0 440955 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1810792 KiB
Current children cumulated memory: 1759776 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/242 830511
/proc/meminfo: memFree=125070292/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=1810792 memory=1759776 CPUtime=221.71 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 384656 0 0 0 22102 69 0 0 20 0 1 0 161524104 1854251008 439944 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 452698 439944 3968 3540 0 440955 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 1810792 KiB
Current children cumulated memory: 1759776 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/242 830521
/proc/meminfo: memFree=125027904/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=1810792 memory=1759776 CPUtime=281.57 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 384694 0 0 0 28087 70 0 0 20 0 1 0 161524104 1854251008 439944 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 452698 439944 3968 3540 0 440955 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 1810792 KiB
Current children cumulated memory: 1759776 KiB
[startup+342.3 s]
/proc/loadavg: 4.57 4.23 4.17 5/241 830531
/proc/meminfo: memFree=124995232/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=1810792 memory=1759780 CPUtime=341.41 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 384766 0 0 0 34071 70 0 0 20 0 1 0 161524104 1854251008 439945 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 452698 439945 3968 3540 0 440955 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 1810792 KiB
Current children cumulated memory: 1759780 KiB
[startup+402.3 s]
/proc/loadavg: 4.49 4.29 4.19 5/243 830546
/proc/meminfo: memFree=124952544/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=1810792 memory=1759796 CPUtime=401.27 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 384851 0 0 0 40056 71 0 0 20 0 1 0 161524104 1854251008 439949 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 452698 439949 3968 3540 0 440955 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 1810792 KiB
Current children cumulated memory: 1759796 KiB
[startup+462.3 s]
/proc/loadavg: 4.29 4.27 4.19 5/243 830556
/proc/meminfo: memFree=124921256/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=1810792 memory=1759796 CPUtime=461.12 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 384942 0 0 0 46041 71 0 0 20 0 1 0 161524104 1854251008 439949 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 452698 439949 3968 3540 0 440955 0
################
# More data... #
################
Current children cumulated memory: 1955732 KiB
[startup+2862.3 s]
/proc/loadavg: 4.54 4.24 4.16 6/243 831560
/proc/meminfo: memFree=123572040/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=2081872 memory=1955732 CPUtime=2855.42 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 450705 0 0 0 285450 92 0 0 20 0 1 0 161524104 2131836928 488933 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 520468 488933 4015 3540 0 508725 0
Current children cumulated CPU time: 2855.42 s
Current children cumulated vsize: 2081872 KiB
Current children cumulated memory: 1955732 KiB
[startup+2922.3 s]
/proc/loadavg: 4.49 4.29 4.19 5/243 831571
/proc/meminfo: memFree=123558428/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=2081872 memory=1955732 CPUtime=2915.29 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 451104 0 0 0 291437 92 0 0 20 0 1 0 161524104 2131836928 488933 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 520468 488933 4015 3540 0 508725 0
Current children cumulated CPU time: 2915.29 s
Current children cumulated vsize: 2081872 KiB
Current children cumulated memory: 1955732 KiB
[startup+2982.3 s]
/proc/loadavg: 4.23 4.25 4.18 5/243 831581
/proc/meminfo: memFree=123554796/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=2081872 memory=1955732 CPUtime=2975.16 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 451493 0 0 0 297424 92 0 0 20 0 1 0 161524104 2131836928 488933 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 520468 488933 4015 3540 0 508725 0
Current children cumulated CPU time: 2975.16 s
Current children cumulated vsize: 2081872 KiB
Current children cumulated memory: 1955732 KiB
[startup+3042.3 s]
/proc/loadavg: 4.74 4.38 4.23 5/244 831593
/proc/meminfo: memFree=123543900/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=2081872 memory=1955732 CPUtime=3035.03 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 452102 0 0 0 303410 93 0 0 20 0 1 0 161524104 2131836928 488933 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 520468 488933 4015 3540 0 508725 0
Current children cumulated CPU time: 3035.03 s
Current children cumulated vsize: 2081872 KiB
Current children cumulated memory: 1955732 KiB
[startup+3102.3 s]
/proc/loadavg: 4.60 4.43 4.25 5/245 831989
/proc/meminfo: memFree=123541280/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=2081872 memory=1955732 CPUtime=3094.9 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 452529 0 0 0 309397 93 0 0 20 0 1 0 161524104 2131836928 488933 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 520468 488933 4015 3540 0 508725 0
Current children cumulated CPU time: 3094.9 s
Current children cumulated vsize: 2081872 KiB
Current children cumulated memory: 1955732 KiB
[startup+3162.3 s]
/proc/loadavg: 4.31 4.38 4.25 5/245 831999
/proc/meminfo: memFree=123538948/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=2081872 memory=1955732 CPUtime=3154.76 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 452953 0 0 0 315383 93 0 0 20 0 1 0 161524104 2131836928 488933 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 520468 488933 4015 3540 0 508725 0
Current children cumulated CPU time: 3154.76 s
Current children cumulated vsize: 2081872 KiB
Current children cumulated memory: 1955732 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.34 4.24 5/245 832009
/proc/meminfo: memFree=123530148/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=2081872 memory=1955732 CPUtime=3214.63 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 453470 0 0 0 321370 93 0 0 20 0 1 0 161524104 2131836928 488933 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 520468 488933 4015 3540 0 508725 0
Current children cumulated CPU time: 3214.63 s
Current children cumulated vsize: 2081872 KiB
Current children cumulated memory: 1955732 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.31 4.24 5/247 832190
/proc/meminfo: memFree=123528120/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=2081872 memory=1955732 CPUtime=3274.49 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 453993 0 0 0 327356 93 0 0 20 0 1 0 161524104 2131836928 488933 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 520468 488933 4015 3540 0 508725 0
Current children cumulated CPU time: 3274.49 s
Current children cumulated vsize: 2081872 KiB
Current children cumulated memory: 1955732 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.28 4.23 5/246 832200
/proc/meminfo: memFree=123504112/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=2081872 memory=1955732 CPUtime=3334.35 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 454262 0 0 0 333342 93 0 0 20 0 1 0 161524104 2131836928 488933 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 520468 488933 4015 3540 0 508725 0
Current children cumulated CPU time: 3334.35 s
Current children cumulated vsize: 2081872 KiB
Current children cumulated memory: 1955732 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.26 4.22 5/247 832267
/proc/meminfo: memFree=123498584/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=2081872 memory=1955732 CPUtime=3394.21 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 454781 0 0 0 339328 93 0 0 20 0 1 0 161524104 2131836928 488933 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 520468 488933 4015 3540 0 508725 0
Current children cumulated CPU time: 3394.21 s
Current children cumulated vsize: 2081872 KiB
Current children cumulated memory: 1955732 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.22 4.21 5/245 832277
/proc/meminfo: memFree=123492112/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=2081872 memory=1955732 CPUtime=3454.06 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 455062 0 0 0 345313 93 0 0 20 0 1 0 161524104 2131836928 488933 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 520468 488933 4015 3540 0 508725 0
Current children cumulated CPU time: 3454.06 s
Current children cumulated vsize: 2081872 KiB
Current children cumulated memory: 1955732 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.23 4.21 5/245 832288
/proc/meminfo: memFree=123450928/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=2081872 memory=1955732 CPUtime=3513.92 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 455505 0 0 0 351299 93 0 0 20 0 1 0 161524104 2131836928 488933 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 520468 488933 4015 3540 0 508725 0
Current children cumulated CPU time: 3513.92 s
Current children cumulated vsize: 2081872 KiB
Current children cumulated memory: 1955732 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.21 4.21 5/243 832298
/proc/meminfo: memFree=123379188/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=2081872 memory=1955732 CPUtime=3573.78 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 455909 0 0 0 357285 93 0 0 20 0 1 0 161524104 2131836928 488933 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 520468 488933 4015 3540 0 508725 0
Current children cumulated CPU time: 3573.78 s
Current children cumulated vsize: 2081872 KiB
Current children cumulated memory: 1955732 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.6 s]
/proc/loadavg: 4.18 4.21 4.20 5/240 832415
/proc/meminfo: memFree=125388196/131655788 swapFree=131071996/131071996
[pid=830471] ppid=830468 vsize=2081872 memory=1955732 CPUtime=3600.02 cores=4,6
/proc/830471/stat : 830471 (pbscip) R 830468 830471 830398 0 -1 4194304 456197 0 0 0 359908 94 0 0 20 0 1 0 161524104 2131836928 488933 134679101440 4194304 18693293 140721755897808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40591360 140721755902980 140721755903079 140721755903079 140721755910094 0
/proc/830471/statm: 520468 488933 4015 3540 0 508725 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2081872 KiB
Current children cumulated memory: 1955732 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.61 s]
# the end of solver process 830471 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.09 s, system=0.948806 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3608.61
CPU time (s): 3600.04
CPU user time (s): 3599.09
CPU system time (s): 0.948806
CPU usage (%): 99.7625
Max. virtual memory (cumulated for all children) (KiB): 2113092
Max. memory (cumulated for all children) (KiB): 1982572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.09
system time used= 0.948806
maximum resident set size= 1982572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 456197
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= 52
involuntary context switches= 1350
# summary of solver processes directly reported to runsolver:
# pid: 830471
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.09
# total CPU system time (s): 0.948806
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7223 second user time and 32.9621 second system time
The end