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-4432668-1721091912.opb>
3.18/3.25 c original problem has 21756 variables (21756 bin, 0 int, 0 impl, 0 cont) and 1266468 constraints
3.18/3.25 c problem read in 3.24
5.08/5.17 c presolving:
7.98/8.08 c (round 1, fast) 9503 del vars, 1130950 del conss, 0 add conss, 9058 chg bounds, 441 chg sides, 882 chg coeffs, 0 upgd conss, 0 impls, 85470 clqs
8.08/8.13 c (round 2, fast) 9506 del vars, 1135726 del conss, 0 add conss, 9058 chg bounds, 441 chg sides, 882 chg coeffs, 0 upgd conss, 0 impls, 85470 clqs
8.27/8.39 c (8.4s) running MILP presolver
9.66/9.78 c (9.8s) MILP presolver (5 rounds): 0 aggregations, 77 fixings, 0 bound changes
9.66/9.79 c (round 3, medium) 9583 del vars, 1135726 del conss, 0 add conss, 9058 chg bounds, 441 chg sides, 882 chg coeffs, 0 upgd conss, 0 impls, 84636 clqs
9.76/9.83 c (round 4, fast) 9583 del vars, 1136560 del conss, 0 add conss, 9058 chg bounds, 441 chg sides, 882 chg coeffs, 0 upgd conss, 0 impls, 84636 clqs
10.26/10.34 c (round 5, exhaustive) 9583 del vars, 1136560 del conss, 0 add conss, 9058 chg bounds, 441 chg sides, 882 chg coeffs, 129908 upgd conss, 0 impls, 84636 clqs
17.14/17.25 c (17.2s) probing: 297/12173 (2.4%) - 4 fixings, 0 aggregations, 72 implications, 0 bound changes
17.14/17.25 c (17.2s) probing aborted: 50/50 successive totally useless probings
17.64/17.77 c (17.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
17.84/17.99 c (18.0s) symmetry computation finished: 70 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.05)
17.84/18.01 c dynamic symmetry handling statistics:
17.84/18.01 c orbitopal reduction: no components
17.84/18.01 c orbital reduction: no components
17.84/18.01 c lexicographic reduction: no permutations
17.84/18.01 c handled 70 out of 70 symmetry components
18.05/18.13 c presolving (6 rounds: 6 fast, 3 medium, 2 exhaustive):
18.05/18.13 c 9587 deleted vars, 1136560 deleted constraints, 70 added constraints, 9058 tightened bounds, 0 added holes, 441 changed sides, 886 changed coefficients
18.05/18.13 c 0 implications, 84730 cliques
18.05/18.13 c presolved problem has 12169 variables (12169 bin, 0 int, 0 impl, 0 cont) and 129978 constraints
18.05/18.13 c 84636 constraints of type <setppc>
18.05/18.13 c 70 constraints of type <linear>
18.05/18.13 c 45272 constraints of type <logicor>
18.05/18.13 c transformed objective value is always integral (scale: 1)
18.05/18.13 c Presolving Time: 12.96
18.05/18.13 c - non default parameters ----------------------------------------------------------------------
18.05/18.13 c # SCIP version 10.0.0
18.05/18.13 c
18.05/18.13 c # maximal time in seconds to run
18.05/18.13 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
18.05/18.13 c limits/time = 3596.993114
18.05/18.13 c
18.05/18.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
18.05/18.13 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
18.05/18.13 c limits/memory = 27900
18.05/18.13 c
18.05/18.13 c # belongs reading time to solving time?
18.05/18.13 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
18.05/18.13 c timing/reading = TRUE
18.05/18.13 c
18.05/18.13 c -----------------------------------------------------------------------------------------------
18.05/18.13 c start solving
18.05/18.14 c
18.13/18.22 o 165
18.13/18.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.13/18.22 c t18.2s| 1 | 0 | 0 | - | trivial| 0 | 12k| 129k| 0 | 0 | 0 | 0 | 0 | 5.000000e+00 | 1.650000e+02 |3200.00%| unknown
19.23/19.33 o 121
19.23/19.33 c p19.3s| 1 | 0 | 0 | - | clique| 0 | 12k| 129k| 129k| 0 | 0 | 0 | 0 | 5.000000e+00 | 1.210000e+02 |2320.00%| unknown
19.73/19.82 o 88
19.73/19.82 c p19.8s| 1 | 0 | 0 | - | vbounds| 0 | 12k| 129k| 129k| 0 | 0 | 1 | 0 | 5.000000e+00 | 8.800000e+01 |1660.00%| unknown
27.01/27.11 c 27.1s| 1 | 0 | 16045 | - | 1376M | 0 | 12k| 129k| 129k| 0 | 0 | 6 | 0 | 5.000000e+00 | 8.800000e+01 |1660.00%| unknown
201.18/201.94 c 202s| 1 | 0 | 58738 | - | 1398M | 0 | 12k| 129k| 129k| 41 | 1 | 16 | 0 | 8.019816e+00 | 8.800000e+01 | 997.28%| unknown
235.67/236.51 c 236s| 1 | 0 | 69054 | - | 1415M | 0 | 12k| 129k| 130k| 81 | 2 | 19 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
333.59/334.72 c 335s| 1 | 0 | 76373 | - | 1429M | 0 | 12k| 129k| 130k| 91 | 3 | 21 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
409.78/411.16 c 411s| 1 | 0 | 77584 | - | 1446M | 0 | 12k| 129k| 130k| 99 | 4 | 22 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
498.53/500.12 c 500s| 1 | 0 | 84020 | - | 1461M | 0 | 12k| 129k| 130k| 111 | 5 | 32 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
573.80/575.69 c 576s| 1 | 0 | 85251 | - | 1475M | 0 | 12k| 129k| 130k| 118 | 6 | 34 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
660.07/662.13 c 662s| 1 | 0 | 91119 | - | 1496M | 0 | 12k| 129k| 130k| 129 | 7 | 44 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
736.77/739.06 c 739s| 1 | 0 | 92709 | - | 1509M | 0 | 12k| 129k| 130k| 143 | 8 | 45 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
814.44/816.99 c 817s| 1 | 0 | 94775 | - | 1522M | 0 | 12k| 129k| 130k| 152 | 9 | 47 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
896.03/898.71 c 899s| 1 | 0 | 97828 | - | 1538M | 0 | 12k| 129k| 130k| 163 | 10 | 53 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
916.28/919.04 c 919s| 1 | 0 |104220 | - | 1556M | 0 | 12k| 129k| 130k| 176 | 11 | 63 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
928.73/931.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
928.73/931.52 c 932s| 1 | 0 |108063 | - | 1573M | 0 | 12k| 129k| 130k| 188 | 12 | 73 | 0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
1367.19/1371.26 c 1371s| 1 | 2 |175854 | - | 1583M | 0 | 12k| 130k| 130k| 188 | 12 | 103 | 39 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
3508.47/3518.39 o 80
3508.47/3518.39 c d3518s| 41 | 42 |836159 |18202.4 |linesear| 27 | 12k| 130k| 130k| 0 | 1 | 241 | 39 | 3.200000e+01 | 8.000000e+01 | 150.00%| unknown
3558.64/3568.62 o 76
3558.64/3568.62 c i3569s| 42 | 41 |837749 |17797.2 | oneopt| 27 | 12k| 130k| 130k| 237 | 0 | 241 | 39 | 3.200000e+01 | 7.600000e+01 | 137.50%| 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: 64059 MiB (59806 MiB free)
memory of node 1: 64510 MiB (62200 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432668-1721091912/watcher-4432668-1721091912 -o /tmp/evaluation-result-4432668-1721091912/solver-4432668-1721091912 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721084720-824564 --watchdog 3760 pbscip -f HOME/instance-4432668-1721091912.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=828628, runsolver pid=828625
[startup+0.10009 s]*
/proc/loadavg: 4.14 4.13 4.12 5/239 828635
/proc/meminfo: memFree=124821148/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=74300 memory=34264 CPUtime=0.1 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 5588 0 0 0 8 2 0 0 20 0 1 0 161350042 76083200 8566 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 18575 8566 3258 3540 0 6832 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 74300 KiB
Current children cumulated memory: 34264 KiB
[startup+0.20984 s]*
/proc/loadavg: 4.14 4.13 4.12 5/239 828635
/proc/meminfo: memFree=124749160/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=84792 memory=44292 CPUtime=0.2 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 8139 0 0 0 18 2 0 0 20 0 1 0 161350042 86827008 11073 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 21198 11073 3258 3540 0 9455 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 84792 KiB
Current children cumulated memory: 44292 KiB
[startup+0.309707 s]*
/proc/loadavg: 4.14 4.13 4.12 5/239 828635
/proc/meminfo: memFree=124657244/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=97520 memory=56640 CPUtime=0.31 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 11178 0 0 0 27 4 0 0 20 0 1 0 161350042 99860480 14160 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 24380 14160 3258 3540 0 12637 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 97520 KiB
Current children cumulated memory: 56640 KiB
[startup+0.700355 s]
/proc/loadavg: 4.14 4.13 4.12 5/237 828635
/proc/meminfo: memFree=124504776/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=148380 memory=107104 CPUtime=0.69 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 23857 0 0 0 62 7 0 0 20 0 1 0 161350042 151941120 26776 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 37095 26776 3258 3540 0 25352 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 148380 KiB
Current children cumulated memory: 107104 KiB
[startup+1.5003 s]
/proc/loadavg: 4.14 4.13 4.12 5/243 828646
/proc/meminfo: memFree=124096864/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=286848 memory=245384 CPUtime=1.49 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 57918 0 0 0 134 15 0 0 20 0 1 0 161350042 293732352 61346 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 71712 61346 3258 3540 0 59969 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 286848 KiB
Current children cumulated memory: 245384 KiB
[startup+3.11283 s]
/proc/loadavg: 4.13 4.13 4.12 5/243 828646
/proc/meminfo: memFree=122568044/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=672124 memory=631128 CPUtime=3.09 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 147175 0 0 0 280 29 0 0 20 0 1 0 161350042 688254976 157782 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 168031 157782 3258 3540 0 156288 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 672124 KiB
Current children cumulated memory: 631128 KiB
[startup+6.30031 s]
/proc/loadavg: 4.13 4.13 4.12 5/243 828647
/proc/meminfo: memFree=119292152/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1701432 memory=1650944 CPUtime=6.27 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 365407 0 0 0 564 63 0 0 20 0 1 0 161350042 1742266368 412736 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 425358 412736 3609 3540 0 413615 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1701432 KiB
Current children cumulated memory: 1650944 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.12 4.12 5/243 828647
/proc/meminfo: memFree=118104760/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1766244 memory=1713984 CPUtime=12.65 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 384907 0 0 0 1197 68 0 0 20 0 1 0 161350042 1808633856 428496 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 441561 428496 3752 3540 0 429818 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1766244 KiB
Current children cumulated memory: 1713984 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.12 4.11 5/243 828651
/proc/meminfo: memFree=118017008/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1738884 CPUtime=25.4 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 387359 0 0 0 2471 69 0 0 20 0 1 0 161350042 1843261440 434721 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434721 3976 3540 0 438272 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1738884 KiB
[startup+51.1132 s]
/proc/loadavg: 4.12 4.12 4.11 5/243 828655
/proc/meminfo: memFree=117975060/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739392 CPUtime=50.93 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 387474 0 0 0 5023 70 0 0 20 0 1 0 161350042 1843261440 434848 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434848 4008 3540 0 438272 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739392 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/243 828664
/proc/meminfo: memFree=117974440/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739520 CPUtime=101.93 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 387505 0 0 0 10123 70 0 0 20 0 1 0 161350042 1843261440 434880 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434880 4008 3540 0 438272 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739520 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/243 828674
/proc/meminfo: memFree=117974212/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739520 CPUtime=161.72 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 387573 0 0 0 16101 71 0 0 20 0 1 0 161350042 1843261440 434880 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434880 4008 3540 0 438272 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739520 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/243 828685
/proc/meminfo: memFree=117973400/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739520 CPUtime=221.52 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 387731 0 0 0 22080 72 0 0 20 0 1 0 161350042 1843261440 434880 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434880 4008 3540 0 438272 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739520 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/243 828695
/proc/meminfo: memFree=117972972/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739520 CPUtime=281.35 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 387896 0 0 0 28062 73 0 0 20 0 1 0 161350042 1843261440 434880 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434880 4008 3540 0 438272 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739520 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/246 828711
/proc/meminfo: memFree=117972444/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739520 CPUtime=341.17 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 388205 0 0 0 34043 74 0 0 20 0 1 0 161350042 1843261440 434880 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434880 4008 3540 0 438272 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739520 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/245 828721
/proc/meminfo: memFree=117972176/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739520 CPUtime=400.99 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 388313 0 0 0 40024 75 0 0 20 0 1 0 161350042 1843261440 434880 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434880 4008 3540 0 438272 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739520 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/245 828732
/proc/meminfo: memFree=117971576/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739568 CPUtime=460.82 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 389424 0 0 0 46006 76 0 0 20 0 1 0 161350042 1843261440 434892 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434892 4008 3540 0 438272 0
################
# More data... #
################
Current children cumulated memory: 1892280 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/244 829807
/proc/meminfo: memFree=117560756/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=2914.02 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 468179 0 0 0 291309 93 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 2914.02 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/244 829818
/proc/meminfo: memFree=117560460/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=2973.87 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 468490 0 0 0 297293 94 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 2973.87 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/242 830212
/proc/meminfo: memFree=117560292/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=3033.71 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 468725 0 0 0 303277 94 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 3033.71 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/242 830222
/proc/meminfo: memFree=117561088/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=3093.56 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 469026 0 0 0 309262 94 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 3093.56 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/242 830233
/proc/meminfo: memFree=117559080/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=3153.4 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 469290 0 0 0 315246 94 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 3153.4 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/244 830414
/proc/meminfo: memFree=117556700/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=3213.25 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 469593 0 0 0 321230 95 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 3213.25 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/244 830424
/proc/meminfo: memFree=117555604/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=3273.09 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 469855 0 0 0 327214 95 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB
[startup+3342.3 s]
/proc/loadavg: 4.51 4.19 4.12 5/243 830447
/proc/meminfo: memFree=117555288/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=3332.93 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 470085 0 0 0 333198 95 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 3332.93 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB
[startup+3402.3 s]
/proc/loadavg: 4.54 4.27 4.16 5/243 830457
/proc/meminfo: memFree=117496920/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=2041840 memory=1950200 CPUtime=3392.77 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 496446 0 0 0 339179 98 0 0 20 0 1 0 161350042 2090844160 487550 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 510460 487550 4055 3540 0 498717 0
Current children cumulated CPU time: 3392.77 s
Current children cumulated vsize: 2041840 KiB
Current children cumulated memory: 1950200 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.24 4.15 5/243 830469
/proc/meminfo: memFree=117482552/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=2056100 memory=1964240 CPUtime=3452.6 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 507917 0 0 0 345160 100 0 0 20 0 1 0 161350042 2105446400 491060 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 514025 491060 4055 3540 0 502282 0
Current children cumulated CPU time: 3452.6 s
Current children cumulated vsize: 2056100 KiB
Current children cumulated memory: 1964240 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.22 4.15 5/242 830479
/proc/meminfo: memFree=117482316/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=2056100 memory=1964240 CPUtime=3512.46 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 508464 0 0 0 351145 101 0 0 20 0 1 0 161350042 2105446400 491060 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 514025 491060 4055 3540 0 502282 0
Current children cumulated CPU time: 3512.46 s
Current children cumulated vsize: 2056100 KiB
Current children cumulated memory: 1964240 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.20 4.15 5/242 830490
/proc/meminfo: memFree=117482020/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=2056100 memory=1964240 CPUtime=3572.3 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 508951 0 0 0 357129 101 0 0 20 0 1 0 161350042 2105446400 491060 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 514025 491060 4055 3540 0 502282 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 2056100 KiB
Current children cumulated memory: 1964240 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 3.90 4.14 4.13 2/220 830588
/proc/meminfo: memFree=124347112/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=2056100 memory=1964240 CPUtime=3600.04 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 509074 0 0 0 359903 101 0 0 20 0 1 0 161350042 2105446400 491060 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 514025 491060 4055 3540 0 502282 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2056100 KiB
Current children cumulated memory: 1964240 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.13 s]
# the end of solver process 828628 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.04 s, system=1.03138 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 3.90 4.14 4.13 2/220 830588
/proc/meminfo: memFree=124347112/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=2056100 memory=1964240 CPUtime=3600.04 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 509074 0 0 0 359903 101 0 0 20 0 1 0 161350042 2105446400 491060 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 514025 491060 4055 3540 0 502282 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2056100 KiB
Current children cumulated memory: 1964240 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.13
CPU time (s): 3600.07
CPU user time (s): 3599.04
CPU system time (s): 1.03138
CPU usage (%): 99.7214
Max. virtual memory (cumulated for all children) (KiB): 2090712
Max. memory (cumulated for all children) (KiB): 1995564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.04
system time used= 1.03138
maximum resident set size= 1995828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509074
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= 63
involuntary context switches= 1045
# summary of solver processes directly reported to runsolver:
# pid: 828628
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.04
# total CPU system time (s): 1.03138
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0896 second user time and 35.949 second system time
The end