0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4441425-1721293751.opb>
0.99/1.05 c original problem has 168111 variables (168111 bin, 0 int, 0 impl, 0 cont) and 487525 constraints
0.99/1.05 c problem read in 1.05
0.99/1.06 c No objective function, only one solution is needed.
1.99/2.03 c presolving:
2.68/2.73 c (round 1, fast) 3721 del vars, 36 del conss, 0 add conss, 1 chg bounds, 9399 chg sides, 18798 chg coeffs, 0 upgd conss, 0 impls, 306157 clqs
2.68/2.79 c (round 2, fast) 7423 del vars, 10819 del conss, 0 add conss, 1 chg bounds, 9399 chg sides, 18798 chg coeffs, 0 upgd conss, 0 impls, 306479 clqs
3.37/3.42 c (3.4s) running MILP presolver
7.47/7.59 c (7.6s) MILP presolver (3 rounds): 1648 aggregations, 119 fixings, 0 bound changes
7.67/7.76 c (round 3, medium) 9219 del vars, 10819 del conss, 0 add conss, 1 chg bounds, 9399 chg sides, 18798 chg coeffs, 0 upgd conss, 0 impls, 301732 clqs
7.77/7.87 c (round 4, fast) 9693 del vars, 16133 del conss, 0 add conss, 24 chg bounds, 9399 chg sides, 18798 chg coeffs, 0 upgd conss, 0 impls, 302032 clqs
9.07/9.15 c (round 5, exhaustive) 9693 del vars, 16396 del conss, 0 add conss, 24 chg bounds, 9399 chg sides, 18798 chg coeffs, 470865 upgd conss, 0 impls, 302032 clqs
9.56/9.62 c (round 6, fast) 9955 del vars, 16658 del conss, 0 add conss, 24 chg bounds, 9399 chg sides, 18798 chg coeffs, 470865 upgd conss, 0 impls, 301508 clqs
11.45/11.56 c (round 7, exhaustive) 9955 del vars, 468332 del conss, 150557 add conss, 24 chg bounds, 9399 chg sides, 18798 chg coeffs, 470865 upgd conss, 0 impls, 301508 clqs
12.06/12.11 c (round 8, exhaustive) 10594 del vars, 468462 del conss, 150687 add conss, 24 chg bounds, 9399 chg sides, 18798 chg coeffs, 470865 upgd conss, 0 impls, 300033 clqs
12.06/12.18 c (round 9, fast) 10992 del vars, 468640 del conss, 150687 add conss, 24 chg bounds, 9399 chg sides, 18976 chg coeffs, 470865 upgd conss, 0 impls, 299835 clqs
12.35/12.42 c (round 10, exhaustive) 11003 del vars, 468951 del conss, 150998 add conss, 24 chg bounds, 9399 chg sides, 18976 chg coeffs, 470865 upgd conss, 0 impls, 299796 clqs
12.95/13.07 c (round 11, exhaustive) 12586 del vars, 469025 del conss, 150998 add conss, 24 chg bounds, 9399 chg sides, 18982 chg coeffs, 470868 upgd conss, 0 impls, 320939 clqs
13.05/13.15 c (round 12, fast) 13061 del vars, 469509 del conss, 150998 add conss, 24 chg bounds, 9399 chg sides, 19457 chg coeffs, 471090 upgd conss, 0 impls, 319990 clqs
13.74/13.83 c (round 13, exhaustive) 14461 del vars, 469521 del conss, 151010 add conss, 24 chg bounds, 9399 chg sides, 19457 chg coeffs, 471090 upgd conss, 0 impls, 352687 clqs
13.84/13.91 c (round 14, fast) 14842 del vars, 469911 del conss, 151010 add conss, 24 chg bounds, 9399 chg sides, 19838 chg coeffs, 471312 upgd conss, 0 impls, 351898 clqs
14.44/14.51 c (14.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
15.34/15.45 c (15.4s) symmetry computation finished: 8 generators found (max: 407, log10 of symmetry group size: 0.0) (symcode time: 0.37)
15.34/15.45 c dynamic symmetry handling statistics:
15.34/15.45 c orbitopal reduction: no components
15.34/15.45 c orbital reduction: 1 components of sizes 1
15.34/15.45 c lexicographic reduction: 8 permutations with support sizes 74, 4417, 2030, 154, 130, 2, 2, 2
15.34/15.45 c handled 7 out of 7 symmetry components
15.54/15.65 c presolving (15 rounds: 15 fast, 8 medium, 7 exhaustive):
15.54/15.65 c 14927 deleted vars, 469970 deleted constraints, 151068 added constraints, 24 tightened bounds, 0 added holes, 9399 changed sides, 19838 changed coefficients
15.54/15.65 c 0 implications, 358318 cliques
15.54/15.65 c presolved problem has 157116 variables (157116 bin, 0 int, 0 impl, 0 cont) and 165940 constraints
15.54/15.65 c 18798 constraints of type <knapsack>
15.54/15.65 c 1285 constraints of type <setppc>
15.54/15.65 c 145853 constraints of type <and>
15.54/15.65 c 4 constraints of type <logicor>
15.54/15.65 c transformed objective value is always integral (scale: 1)
15.54/15.65 c Presolving Time: 13.68
15.54/15.65 c - non default parameters ----------------------------------------------------------------------
15.54/15.65 c # SCIP version 10.0.0
15.54/15.65 c
15.54/15.65 c # maximal time in seconds to run
15.54/15.65 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
15.54/15.65 c limits/time = 3596.997052
15.54/15.65 c
15.54/15.65 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
15.54/15.65 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
15.54/15.65 c limits/memory = 27900
15.54/15.65 c
15.54/15.65 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
15.54/15.65 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
15.54/15.65 c limits/solutions = 1
15.54/15.65 c
15.54/15.65 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
15.54/15.65 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
15.54/15.65 c misc/usesymmetry = 3
15.54/15.65 c
15.54/15.65 c # belongs reading time to solving time?
15.54/15.65 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
15.54/15.65 c timing/reading = TRUE
15.54/15.65 c
15.54/15.65 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
15.54/15.65 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
15.54/15.65 c propagating/symmetry/detectdoublelex = FALSE
15.54/15.65 c
15.54/15.65 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
15.54/15.65 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
15.54/15.65 c propagating/symmetry/detectsubgroups = FALSE
15.54/15.65 c
15.54/15.65 c # Type of symmetries that shall be computed?
15.54/15.65 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
15.54/15.65 c propagating/symmetry/symtype = 1
15.54/15.65 c
15.54/15.65 c # Should components consisting of a single full reflection be handled?
15.54/15.65 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
15.54/15.65 c propagating/symmetry/usesimplesgncomp = FALSE
15.54/15.65 c
15.54/15.65 c -----------------------------------------------------------------------------------------------
15.54/15.65 c start solving
15.54/15.68 c
53.00/53.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
53.00/53.27 c 53.3s| 1 | 0 | 26161 | - | 1961M | 0 | 157k| 165k| 311k| 0 | 0 | 34 | 0 | 0.000000e+00 | -- | Inf | unknown
435.21/436.67 c 437s| 1 | 0 | 78869 | - | 2137M | 0 | 157k| 165k| 313k|1995 | 1 | 35 | 0 | 0.000000e+00 | -- | Inf | unknown
696.17/698.33 c 698s| 1 | 0 |102130 | - | 2326M | 0 | 157k| 165k| 315k|3995 | 2 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
1037.14/1040.35 c 1040s| 1 | 0 |129444 | - | 2464M | 0 | 157k| 165k| 317k|5995 | 3 | 39 | 0 | 0.000000e+00 | -- | Inf | unknown
1396.26/1400.55 c 1401s| 1 | 0 |153797 | - | 2633M | 0 | 157k| 165k| 319k|7995 | 4 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
1777.74/1783.19 c 1783s| 1 | 0 |179240 | - | 2756M | 0 | 157k| 165k| 321k|9995 | 5 | 43 | 0 | 0.000000e+00 | -- | Inf | unknown
2182.19/2188.74 c 2189s| 1 | 0 |203308 | - | 2837M | 0 | 157k| 165k| 323k| 11k| 6 | 45 | 0 | 0.000000e+00 | -- | Inf | unknown
2598.41/2606.29 c 2606s| 1 | 0 |231537 | - | 2886M | 0 | 157k| 165k| 325k| 13k| 7 | 46 | 0 | 0.000000e+00 | -- | Inf | unknown
3013.38/3022.45 c 3022s| 1 | 0 |256800 | - | 2957M | 0 | 157k| 165k| 327k| 15k| 8 | 51 | 0 | 0.000000e+00 | -- | Inf | unknown
3449.40/3459.74 c 3460s| 1 | 0 |282259 | - | 2985M | 0 | 157k| 165k| 329k| 17k| 9 | 53 | 0 | 0.000000e+00 | -- | Inf | 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: 63931 MiB (59993 MiB free)
memory of node 1: 64510 MiB (60651 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441425-1721293751/watcher-4441425-1721293751 -o /tmp/evaluation-result-4441425-1721293751/solver-4441425-1721293751 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721293764-975184 --watchdog 3760 pbscip -f HOME/instance-4441425-1721293751.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=975246, runsolver pid=975243
Current StackSize limit: 8192 KiB
[startup+0.100645 s]*
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=123406124/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=101668 memory=60952 CPUtime=0.1 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 12315 0 0 0 9 1 0 0 20 0 1 0 181540492 104108032 15238 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 25417 15238 3259 3540 0 13674 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 101668 KiB
Current children cumulated memory: 60952 KiB
[startup+0.205692 s]*
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=123273544/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=145524 memory=103900 CPUtime=0.2 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 23019 0 0 0 18 2 0 0 20 0 1 0 181540492 149016576 25975 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 36381 25975 3259 3540 0 24638 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 145524 KiB
Current children cumulated memory: 103900 KiB
[startup+0.305574 s]*
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=123152924/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=184720 memory=143436 CPUtime=0.3 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 32922 0 0 0 27 3 0 0 20 0 1 0 181540492 189153280 35859 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 46180 35859 3259 3540 0 34437 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 184720 KiB
Current children cumulated memory: 143436 KiB
[startup+0.700214 s]
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=122859836/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=337708 memory=295828 CPUtime=0.68 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 70519 0 0 0 59 9 0 0 20 0 1 0 181540492 345812992 73957 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 84427 73957 3259 3540 0 72684 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 337708 KiB
Current children cumulated memory: 295828 KiB
[startup+1.50022 s]
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=122240928/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=769004 memory=724988 CPUtime=1.48 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 176733 0 0 0 123 25 0 0 20 0 1 0 181540492 787460096 181247 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 192251 181247 3547 3540 0 180508 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 769004 KiB
Current children cumulated memory: 724988 KiB
[startup+3.10545 s]
/proc/loadavg: 2.17 2.24 2.25 5/259 975249
/proc/meminfo: memFree=121200088/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=1222068 memory=1129048 CPUtime=3.08 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 256824 0 0 0 271 37 0 0 20 0 1 0 181540492 1251397632 282262 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 305517 282262 3611 3540 0 293774 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1222068 KiB
Current children cumulated memory: 1129048 KiB
[startup+6.30021 s]
/proc/loadavg: 2.32 2.26 2.26 5/259 975249
/proc/meminfo: memFree=120893700/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=1407376 memory=1352328 CPUtime=6.26 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 271207 0 0 0 580 46 0 0 20 0 1 0 181540492 1441153024 338082 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 351844 338082 3738 3540 0 340101 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1407376 KiB
Current children cumulated memory: 1352328 KiB
[startup+12.7002 s]
/proc/loadavg: 2.46 2.29 2.27 5/259 975249
/proc/meminfo: memFree=120730760/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=1544084 memory=1487788 CPUtime=12.65 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 335946 0 0 0 1207 58 0 0 20 0 1 0 181540492 1581142016 371947 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 386021 371947 3770 3540 0 374278 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1544084 KiB
Current children cumulated memory: 1487788 KiB
[startup+25.5002 s]
/proc/loadavg: 2.94 2.41 2.30 5/259 975298
/proc/meminfo: memFree=120136872/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=2142036 memory=2032788 CPUtime=25.4 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 396377 0 0 0 2466 74 0 0 20 0 1 0 181540492 2193444864 508197 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 535509 508197 3882 3540 0 523766 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2142036 KiB
Current children cumulated memory: 2032788 KiB
[startup+51.1058 s]
/proc/loadavg: 3.44 2.57 2.36 5/259 975301
/proc/meminfo: memFree=119568528/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=2308428 memory=2178928 CPUtime=50.91 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 414735 0 0 0 5010 81 0 0 20 0 1 0 181540492 2363830272 544732 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 577107 544732 3994 3540 0 565364 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2308428 KiB
Current children cumulated memory: 2178928 KiB
[startup+102.3 s]
/proc/loadavg: 3.83 2.81 2.46 5/261 975314
/proc/meminfo: memFree=119210080/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=2345132 memory=2210140 CPUtime=101.92 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 418687 0 0 0 10108 84 0 0 20 0 1 0 181540492 2401415168 552535 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 586283 552535 3994 3540 0 574540 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 2345132 KiB
Current children cumulated memory: 2210140 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 3.08 2.57 5/261 975324
/proc/meminfo: memFree=118181124/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3074648 memory=2931948 CPUtime=161.73 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 596962 0 0 0 16065 108 0 0 20 0 1 0 181540492 3148439552 732987 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 768662 732987 4010 3540 0 756919 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 3074648 KiB
Current children cumulated memory: 2931948 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.26 2.67 5/261 975337
/proc/meminfo: memFree=118091900/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3074648 memory=2931948 CPUtime=221.53 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 596969 0 0 0 22043 110 0 0 20 0 1 0 181540492 3148439552 732987 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 768662 732987 4010 3540 0 756919 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 3074648 KiB
Current children cumulated memory: 2931948 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.41 2.76 5/261 975347
/proc/meminfo: memFree=117707864/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3074648 memory=2934980 CPUtime=281.32 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 598714 0 0 0 28020 112 0 0 20 0 1 0 181540492 3148439552 733745 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 768662 733745 4010 3540 0 756919 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 3074648 KiB
Current children cumulated memory: 2934980 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.54 2.84 5/257 975357
/proc/meminfo: memFree=117628956/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3074648 memory=2934980 CPUtime=341.16 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 598769 0 0 0 34002 114 0 0 20 0 1 0 181540492 3148439552 733745 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 768662 733745 4010 3540 0 756919 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 3074648 KiB
Current children cumulated memory: 2934980 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.64 2.92 5/255 975368
/proc/meminfo: memFree=117248836/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3074648 memory=2934980 CPUtime=401.01 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 598792 0 0 0 39983 118 0 0 20 0 1 0 181540492 3148439552 733745 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 768662 733745 4010 3540 0 756919 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 3074648 KiB
Current children cumulated memory: 2934980 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.76 3.02 5/256 975380
/proc/meminfo: memFree=117245332/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3074648 memory=2936088 CPUtime=460.84 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 599490 0 0 0 45963 121 0 0 20 0 1 0 181540492 3148439552 734022 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 768662 734022 4010 3540 0 756919 0
################
# More data... #
################
Current children cumulated memory: 3252240 KiB
[startup+2862.3 s]
/proc/loadavg: 4.18 4.13 4.04 5/261 976835
/proc/meminfo: memFree=115657272/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3376804 memory=3252960 CPUtime=2853.7 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 657657 0 0 0 285132 238 0 0 20 0 1 0 181540492 3457847296 813240 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 844201 813240 4010 3540 0 832458 0
Current children cumulated CPU time: 2853.7 s
Current children cumulated vsize: 3376804 KiB
Current children cumulated memory: 3252960 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.04 5/259 976846
/proc/meminfo: memFree=115652352/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3376804 memory=3255308 CPUtime=2913.54 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 657681 0 0 0 291113 241 0 0 20 0 1 0 181540492 3457847296 813827 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 844201 813827 4010 3540 0 832458 0
Current children cumulated CPU time: 2913.54 s
Current children cumulated vsize: 3376804 KiB
Current children cumulated memory: 3255308 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.04 5/260 977026
/proc/meminfo: memFree=115641432/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3376804 memory=3255308 CPUtime=2973.39 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 657711 0 0 0 297096 243 0 0 20 0 1 0 181540492 3457847296 813827 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 844201 813827 4010 3540 0 832458 0
Current children cumulated CPU time: 2973.39 s
Current children cumulated vsize: 3376804 KiB
Current children cumulated memory: 3255308 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/260 977037
/proc/meminfo: memFree=115638804/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3376804 memory=3255336 CPUtime=3033.22 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 658764 0 0 0 303078 244 0 0 20 0 1 0 181540492 3457847296 813834 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 844201 813834 4010 3540 0 832458 0
Current children cumulated CPU time: 3033.22 s
Current children cumulated vsize: 3376804 KiB
Current children cumulated memory: 3255336 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/260 977064
/proc/meminfo: memFree=115326436/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3376804 memory=3258080 CPUtime=3093.04 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 660039 0 0 0 309059 245 0 0 20 0 1 0 181540492 3457847296 814520 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 844201 814520 4010 3540 0 832458 0
Current children cumulated CPU time: 3093.04 s
Current children cumulated vsize: 3376804 KiB
Current children cumulated memory: 3258080 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/259 977075
/proc/meminfo: memFree=115309336/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3379644 memory=3264408 CPUtime=3152.86 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 661646 0 0 0 315040 246 0 0 20 0 1 0 181540492 3460755456 816102 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 844911 816102 4010 3540 0 833168 0
Current children cumulated CPU time: 3152.86 s
Current children cumulated vsize: 3379644 KiB
Current children cumulated memory: 3264408 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/259 977086
/proc/meminfo: memFree=115276044/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3405124 memory=3292840 CPUtime=3212.67 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 663673 0 0 0 321019 248 0 0 20 0 1 0 181540492 3486846976 823210 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 851281 823210 4010 3540 0 839538 0
Current children cumulated CPU time: 3212.67 s
Current children cumulated vsize: 3405124 KiB
Current children cumulated memory: 3292840 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.05 5/257 977096
/proc/meminfo: memFree=115267484/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3405124 memory=3297244 CPUtime=3272.46 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 663957 0 0 0 326997 249 0 0 20 0 1 0 181540492 3486846976 824311 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 851281 824311 4010 3540 0 839538 0
Current children cumulated CPU time: 3272.46 s
Current children cumulated vsize: 3405124 KiB
Current children cumulated memory: 3297244 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/258 977108
/proc/meminfo: memFree=115262136/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3418072 memory=3298764 CPUtime=3332.29 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 664315 0 0 0 332979 250 0 0 20 0 1 0 181540492 3500105728 824691 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 854518 824691 4010 3540 0 842775 0
Current children cumulated CPU time: 3332.29 s
Current children cumulated vsize: 3418072 KiB
Current children cumulated memory: 3298764 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/256 977119
/proc/meminfo: memFree=115258072/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3418072 memory=3298800 CPUtime=3392.14 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 664384 0 0 0 338962 252 0 0 20 0 1 0 181540492 3500105728 824700 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 854518 824700 4010 3540 0 842775 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 3418072 KiB
Current children cumulated memory: 3298800 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/256 977130
/proc/meminfo: memFree=115253780/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3418072 memory=3298800 CPUtime=3451.99 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 665200 0 0 0 344945 254 0 0 20 0 1 0 181540492 3500105728 824700 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 854518 824700 4010 3540 0 842775 0
Current children cumulated CPU time: 3451.99 s
Current children cumulated vsize: 3418072 KiB
Current children cumulated memory: 3298800 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.06 5/256 977142
/proc/meminfo: memFree=115251244/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3418072 memory=3298800 CPUtime=3511.81 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 666076 0 0 0 350926 255 0 0 20 0 1 0 181540492 3500105728 824700 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 854518 824700 4010 3540 0 842775 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 3418072 KiB
Current children cumulated memory: 3298800 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/256 977152
/proc/meminfo: memFree=115211816/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3450864 memory=3335588 CPUtime=3571.63 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 670546 0 0 0 356906 257 0 0 20 0 1 0 181540492 3533684736 833897 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 862716 833897 4010 3540 0 850973 0
Current children cumulated CPU time: 3571.63 s
Current children cumulated vsize: 3450864 KiB
Current children cumulated memory: 3335588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.08 4.10 4.06 5/256 977248
/proc/meminfo: memFree=119006652/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3450864 memory=3335588 CPUtime=3600.05 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 670840 0 0 0 359748 257 0 0 20 0 1 0 181540492 3533684736 833897 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 862716 833897 4010 3540 0 850973 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3450864 KiB
Current children cumulated memory: 3335588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.84 s]
# the end of solver process 975246 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3597.49 s, system=2.61343 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): 3610.84
CPU time (s): 3600.1
CPU user time (s): 3597.49
CPU system time (s): 2.61343
CPU usage (%): 99.7027
Max. virtual memory (cumulated for all children) (KiB): 3450864
Max. memory (cumulated for all children) (KiB): 3335588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.49
system time used= 2.61343
maximum resident set size= 3335588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 670840
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= 40
involuntary context switches= 24673
# summary of solver processes directly reported to runsolver:
# pid: 975246
# total CPU time (s): 3600.1
# total CPU user time (s): 3597.49
# total CPU system time (s): 2.61343
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99372 second user time and 15.6449 second system time
The end