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-4441515-1721293751.opb>
0.49/0.54 c original problem has 87751 variables (87751 bin, 0 int, 0 impl, 0 cont) and 254772 constraints
0.49/0.54 c problem read in 0.54
0.49/0.54 c No objective function, only one solution is needed.
0.99/1.04 c presolving:
1.38/1.41 c (round 1, fast) 1959 del vars, 12 del conss, 0 add conss, 1 chg bounds, 3856 chg sides, 7712 chg coeffs, 0 upgd conss, 0 impls, 162061 clqs
1.38/1.45 c (round 2, fast) 3911 del vars, 4984 del conss, 0 add conss, 1 chg bounds, 3856 chg sides, 7712 chg coeffs, 0 upgd conss, 0 impls, 162947 clqs
1.68/1.78 c (1.8s) running MILP presolver
100.08/100.46 c (100.5s) MILP presolver (6 rounds): 4064 aggregations, 5272 fixings, 0 bound changes
100.18/100.55 c (round 3, medium) 13247 del vars, 4984 del conss, 0 add conss, 1 chg bounds, 3856 chg sides, 7712 chg coeffs, 0 upgd conss, 0 impls, 144388 clqs
100.28/100.69 c (round 4, fast) 13247 del vars, 30112 del conss, 0 add conss, 1 chg bounds, 3856 chg sides, 7712 chg coeffs, 0 upgd conss, 0 impls, 145033 clqs
100.38/100.78 c (round 5, exhaustive) 13247 del vars, 30379 del conss, 0 add conss, 1 chg bounds, 3856 chg sides, 7712 chg coeffs, 0 upgd conss, 0 impls, 145033 clqs
100.99/101.35 c (round 6, exhaustive) 13269 del vars, 30401 del conss, 0 add conss, 1 chg bounds, 3856 chg sides, 7712 chg coeffs, 224069 upgd conss, 0 impls, 144989 clqs
101.98/102.38 c (round 7, exhaustive) 13269 del vars, 245421 del conss, 71668 add conss, 1 chg bounds, 3856 chg sides, 7712 chg coeffs, 224069 upgd conss, 0 impls, 144989 clqs
102.28/102.65 c (round 8, exhaustive) 13271 del vars, 245423 del conss, 71669 add conss, 1 chg bounds, 3856 chg sides, 7712 chg coeffs, 224372 upgd conss, 0 impls, 144999 clqs
173.26/173.80 c (173.8s) probing: 1000/76426 (1.3%) - 0 fixings, 17 aggregations, 8310903 implications, 0 bound changes
243.43/244.24 c (244.2s) probing: 2000/76426 (2.6%) - 0 fixings, 19 aggregations, 16321883 implications, 0 bound changes
278.40/279.30 c (279.3s) probing: 2917/76426 (3.8%) - 0 fixings, 22 aggregations, 19400978 implications, 0 bound changes
278.40/279.30 c (279.3s) probing aborted: 50/50 successive totally useless probings
278.40/279.30 c (279.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
278.80/279.71 c (279.7s) symmetry computation finished: 2 generators found (max: 837, log10 of symmetry group size: 0.0) (symcode time: 0.16)
278.80/279.71 c dynamic symmetry handling statistics:
278.80/279.71 c orbitopal reduction: no components
278.80/279.71 c orbital reduction: no components
278.80/279.71 c lexicographic reduction: 2 permutations with support sizes 550, 902
278.80/279.71 c handled 2 out of 2 symmetry components
279.00/279.92 c presolving (9 rounds: 9 fast, 6 medium, 5 exhaustive):
279.00/279.92 c 13299 deleted vars, 245430 deleted constraints, 71670 added constraints, 1 tightened bounds, 0 added holes, 3856 changed sides, 7712 changed coefficients
279.00/279.92 c 0 implications, 685249 cliques
279.00/279.92 c presolved problem has 76404 variables (76404 bin, 0 int, 0 impl, 0 cont) and 81012 constraints
279.00/279.92 c 7712 constraints of type <knapsack>
279.00/279.92 c 1653 constraints of type <setppc>
279.00/279.92 c 71645 constraints of type <and>
279.00/279.92 c 2 constraints of type <logicor>
279.00/279.92 c transformed objective value is always integral (scale: 1)
279.00/279.92 c Presolving Time: 278.91
279.00/279.92 c - non default parameters ----------------------------------------------------------------------
279.00/279.92 c # SCIP version 10.0.0
279.00/279.92 c
279.00/279.92 c # maximal time in seconds to run
279.00/279.92 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
279.00/279.92 c limits/time = 3596.99703
279.00/279.92 c
279.00/279.92 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
279.00/279.92 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
279.00/279.92 c limits/memory = 27900
279.00/279.92 c
279.00/279.92 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
279.00/279.92 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
279.00/279.92 c limits/solutions = 1
279.00/279.92 c
279.00/279.92 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.
279.00/279.92 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
279.00/279.92 c misc/usesymmetry = 3
279.00/279.92 c
279.00/279.92 c # belongs reading time to solving time?
279.00/279.92 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
279.00/279.92 c timing/reading = TRUE
279.00/279.92 c
279.00/279.92 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
279.00/279.92 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
279.00/279.92 c propagating/symmetry/detectdoublelex = FALSE
279.00/279.92 c
279.00/279.92 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
279.00/279.92 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
279.00/279.92 c propagating/symmetry/detectsubgroups = FALSE
279.00/279.92 c
279.00/279.92 c # Type of symmetries that shall be computed?
279.00/279.92 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
279.00/279.92 c propagating/symmetry/symtype = 1
279.00/279.92 c
279.00/279.92 c # Should components consisting of a single full reflection be handled?
279.00/279.92 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
279.00/279.92 c propagating/symmetry/usesimplesgncomp = FALSE
279.00/279.92 c
279.00/279.92 c -----------------------------------------------------------------------------------------------
279.00/279.92 c start solving
279.00/279.94 c
333.34/334.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
333.34/334.41 c 334s| 1 | 0 | 16932 | - | 1130M | 0 | 76k| 81k| 152k| 0 | 0 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
468.07/469.57 c 470s| 1 | 0 | 51264 | - | 1211M | 0 | 76k| 81k| 154k|1879 | 1 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
545.15/546.87 c 547s| 1 | 0 | 64498 | - | 1275M | 0 | 76k| 81k| 156k|3445 | 2 | 55 | 0 | 0.000000e+00 | -- | Inf | unknown
628.19/630.15 c 630s| 1 | 0 | 76502 | - | 1297M | 0 | 76k| 81k| 157k|4997 | 3 | 57 | 0 | 0.000000e+00 | -- | Inf | unknown
737.67/739.99 c 740s| 1 | 0 | 88881 | - | 1314M | 0 | 76k| 81k| 159k|6496 | 4 | 60 | 0 | 0.000000e+00 | -- | Inf | unknown
851.32/853.91 c 854s| 1 | 0 |110062 | - | 1324M | 0 | 76k| 81k| 160k|8182 | 5 | 61 | 0 | 0.000000e+00 | -- | Inf | unknown
971.36/974.38 c 974s| 1 | 0 |127924 | - | 1383M | 0 | 76k| 81k| 162k| 10k| 6 | 62 | 0 | 0.000000e+00 | -- | Inf | unknown
1110.93/1114.34 c 1114s| 1 | 0 |145401 | - | 1486M | 0 | 76k| 81k| 164k| 12k| 7 | 65 | 0 | 0.000000e+00 | -- | Inf | unknown
1248.30/1252.09 c 1252s| 1 | 0 |162760 | - | 1549M | 0 | 76k| 81k| 166k| 14k| 8 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown
1386.46/1390.53 c 1391s| 1 | 0 |183482 | - | 1563M | 0 | 76k| 81k| 168k| 16k| 9 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown
1532.70/1537.12 c 1537s| 1 | 0 |201635 | - | 1612M | 0 | 76k| 81k| 170k| 18k| 10 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
1610.49/1615.15 c 1615s| 1 | 0 |220661 | - | 1612M | 0 | 76k| 81k| 172k| 20k| 11 | 70 | 0 | 0.000000e+00 | -- | Inf | unknown
1676.23/1681.02 c 1681s| 1 | 0 |233933 | - | 1612M | 0 | 76k| 81k| 172k| 20k| 12 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
2790.65/2798.19 c 2798s| 1 | 2 |355301 | - | 1615M | 0 | 76k| 81k| 172k| 20k| 12 | 83 | 19 | 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 (60012 MiB free)
memory of node 1: 64510 MiB (60724 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441515-1721293751/watcher-4441515-1721293751 -o /tmp/evaluation-result-4441515-1721293751/solver-4441515-1721293751 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721293764-975186 --watchdog 3760 pbscip -f HOME/instance-4441515-1721293751.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=975235, runsolver pid=975232
Current StackSize limit: 8192 KiB
Starting watchdog thread
[startup+0.100088 s]*
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=123514120/131524600 swapFree=131071996/131071996
[pid=975235] ppid=975232 vsize=100364 memory=59764 CPUtime=0.1 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 11986 0 0 0 8 2 0 0 20 0 1 0 181540484 102772736 14941 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 25091 14941 3259 3540 0 13348 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 100364 KiB
Current children cumulated memory: 59764 KiB
[startup+0.205274 s]*
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=123375324/131524600 swapFree=131071996/131071996
[pid=975235] ppid=975232 vsize=143460 memory=102168 CPUtime=0.2 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 22612 0 0 0 17 3 0 0 20 0 1 0 181540484 146903040 25542 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 35865 25542 3259 3540 0 24122 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 143460 KiB
Current children cumulated memory: 102168 KiB
[startup+0.305359 s]*
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=123252236/131524600 swapFree=131071996/131071996
[pid=975235] ppid=975232 vsize=184636 memory=143332 CPUtime=0.3 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 32899 0 0 0 25 5 0 0 20 0 1 0 181540484 189067264 35833 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 46159 35833 3259 3540 0 34416 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 184636 KiB
Current children cumulated memory: 143332 KiB
[startup+0.700231 s]
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=122999384/131524600 swapFree=131071996/131071996
[pid=975235] ppid=975232 vsize=392288 memory=352316 CPUtime=0.69 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 85473 0 0 0 57 12 0 0 20 0 1 0 181540484 401702912 88079 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 98072 88079 3547 3540 0 86329 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 392288 KiB
Current children cumulated memory: 352316 KiB
[startup+1.50021 s]
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=122310636/131524600 swapFree=131071996/131071996
[pid=975235] ppid=975232 vsize=634144 memory=552984 CPUtime=1.48 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 135149 0 0 0 130 18 0 0 20 0 1 0 181540484 649363456 138246 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 158536 138246 3611 3540 0 146793 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 634144 KiB
Current children cumulated memory: 552984 KiB
[startup+3.10562 s]
/proc/loadavg: 2.17 2.24 2.25 5/259 975249
/proc/meminfo: memFree=121212988/131524600 swapFree=131071996/131071996
[pid=975235] ppid=975232 vsize=762228 memory=712996 CPUtime=3.08 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 154885 0 0 0 284 24 0 0 20 0 1 0 181540484 780521472 178249 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 190557 178249 3674 3540 0 178814 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 762228 KiB
Current children cumulated memory: 712996 KiB
[startup+6.30023 s]
/proc/loadavg: 2.32 2.26 2.26 5/259 975249
/proc/meminfo: memFree=120896724/131524600 swapFree=131071996/131071996
[pid=975235] ppid=975232 vsize=762228 memory=713372 CPUtime=6.27 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 154950 0 0 0 602 25 0 0 20 0 1 0 181540484 780521472 178343 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 190557 178343 3738 3540 0 178814 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 762228 KiB
Current children cumulated memory: 713372 KiB
[startup+12.7002 s]
/proc/loadavg: 2.46 2.29 2.27 5/259 975249
/proc/meminfo: memFree=120733732/131524600 swapFree=131071996/131071996
[pid=975235] ppid=975232 vsize=762228 memory=713372 CPUtime=12.65 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 155046 0 0 0 1239 26 0 0 20 0 1 0 181540484 780521472 178343 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 190557 178343 3738 3540 0 178814 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 762228 KiB
Current children cumulated memory: 713372 KiB
[startup+25.5003 s]
/proc/loadavg: 2.94 2.41 2.30 5/259 975298
/proc/meminfo: memFree=120136872/131524600 swapFree=131071996/131071996
[pid=975235] ppid=975232 vsize=762228 memory=713372 CPUtime=25.41 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 155110 0 0 0 2514 27 0 0 20 0 1 0 181540484 780521472 178343 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 190557 178343 3738 3540 0 178814 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 762228 KiB
Current children cumulated memory: 713372 KiB
[startup+51.1056 s]
/proc/loadavg: 3.44 2.57 2.36 5/259 975301
/proc/meminfo: memFree=119568528/131524600 swapFree=131071996/131071996
[pid=975235] ppid=975232 vsize=762228 memory=713372 CPUtime=50.93 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 155206 0 0 0 5066 27 0 0 20 0 1 0 181540484 780521472 178343 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 190557 178343 3738 3540 0 178814 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 762228 KiB
Current children cumulated memory: 713372 KiB
[startup+102.3 s]
/proc/loadavg: 3.83 2.81 2.46 6/261 975314
/proc/meminfo: memFree=119212096/131524600 swapFree=131071996/131071996
[pid=975235] ppid=975232 vsize=800064 memory=751456 CPUtime=101.98 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 175708 0 0 0 10166 32 0 0 20 0 1 0 181540484 819265536 187864 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 200016 187864 3770 3540 0 188273 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 800064 KiB
Current children cumulated memory: 751456 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=975235] ppid=975232 vsize=866816 memory=815520 CPUtime=161.79 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 187134 0 0 0 16144 35 0 0 20 0 1 0 181540484 887619584 203880 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 216704 203880 3786 3540 0 204961 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 866816 KiB
Current children cumulated memory: 815520 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=975235] ppid=975232 vsize=869068 memory=817888 CPUtime=221.6 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 187805 0 0 0 22124 36 0 0 20 0 1 0 181540484 889925632 204472 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 217267 204472 3786 3540 0 205524 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 869068 KiB
Current children cumulated memory: 817888 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.41 2.76 6/261 975347
/proc/meminfo: memFree=117707864/131524600 swapFree=131071996/131071996
[pid=975235] ppid=975232 vsize=1259748 memory=1103832 CPUtime=281.39 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 252376 0 0 0 28091 48 0 0 20 0 1 0 181540484 1289981952 275958 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 314937 275958 3866 3540 0 303194 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 1259748 KiB
Current children cumulated memory: 1103832 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.54 2.84 5/257 975357
/proc/meminfo: memFree=117628964/131524600 swapFree=131071996/131071996
[pid=975235] ppid=975232 vsize=1352268 memory=1182232 CPUtime=341.22 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 264920 0 0 0 34072 50 0 0 20 0 1 0 181540484 1384722432 295558 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 338067 295558 3994 3540 0 326324 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 1352268 KiB
Current children cumulated memory: 1182232 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=975235] ppid=975232 vsize=1632440 memory=1469212 CPUtime=401.06 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 355360 0 0 0 40041 65 0 0 20 0 1 0 181540484 1671618560 367303 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 408110 367303 4010 3540 0 396367 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 1632440 KiB
Current children cumulated memory: 1469212 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=975235] ppid=975232 vsize=1632440 memory=1469868 CPUtime=460.89 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 355884 0 0 0 46024 65 0 0 20 0 1 0 181540484 1671618560 367467 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 408110 367467 4010 3540 0 396367 0
################
# More data... #
################
Current children cumulated memory: 2074804 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=975235] ppid=975232 vsize=2216076 memory=2074892 CPUtime=2914.57 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 501613 0 0 0 291360 97 0 0 20 0 1 0 181540484 2269261824 518723 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 554019 518723 4032 3540 0 542276 0
Current children cumulated CPU time: 2914.57 s
Current children cumulated vsize: 2216076 KiB
Current children cumulated memory: 2074892 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=975235] ppid=975232 vsize=2216076 memory=2074892 CPUtime=2974.44 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 502758 0 0 0 297347 97 0 0 20 0 1 0 181540484 2269261824 518723 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 554019 518723 4032 3540 0 542276 0
Current children cumulated CPU time: 2974.44 s
Current children cumulated vsize: 2216076 KiB
Current children cumulated memory: 2074892 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=975235] ppid=975232 vsize=2216076 memory=2074892 CPUtime=3034.3 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 502917 0 0 0 303333 97 0 0 20 0 1 0 181540484 2269261824 518723 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 554019 518723 4032 3540 0 542276 0
Current children cumulated CPU time: 3034.3 s
Current children cumulated vsize: 2216076 KiB
Current children cumulated memory: 2074892 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=975235] ppid=975232 vsize=2216076 memory=2074892 CPUtime=3094.16 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 503937 0 0 0 309319 97 0 0 20 0 1 0 181540484 2269261824 518723 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 554019 518723 4032 3540 0 542276 0
Current children cumulated CPU time: 3094.16 s
Current children cumulated vsize: 2216076 KiB
Current children cumulated memory: 2074892 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=975235] ppid=975232 vsize=2216076 memory=2074892 CPUtime=3153.98 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 504609 0 0 0 315301 97 0 0 20 0 1 0 181540484 2269261824 518723 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 554019 518723 4032 3540 0 542276 0
Current children cumulated CPU time: 3153.98 s
Current children cumulated vsize: 2216076 KiB
Current children cumulated memory: 2074892 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=975235] ppid=975232 vsize=2216076 memory=2074892 CPUtime=3213.82 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 505210 0 0 0 321284 98 0 0 20 0 1 0 181540484 2269261824 518723 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 554019 518723 4032 3540 0 542276 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 2216076 KiB
Current children cumulated memory: 2074892 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=975235] ppid=975232 vsize=2216076 memory=2074892 CPUtime=3273.67 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 505645 0 0 0 327269 98 0 0 20 0 1 0 181540484 2269261824 518723 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 554019 518723 4032 3540 0 542276 0
Current children cumulated CPU time: 3273.67 s
Current children cumulated vsize: 2216076 KiB
Current children cumulated memory: 2074892 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=975235] ppid=975232 vsize=2216076 memory=2074892 CPUtime=3333.51 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 506393 0 0 0 333253 98 0 0 20 0 1 0 181540484 2269261824 518723 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 554019 518723 4032 3540 0 542276 0
Current children cumulated CPU time: 3333.51 s
Current children cumulated vsize: 2216076 KiB
Current children cumulated memory: 2074892 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=975235] ppid=975232 vsize=2216076 memory=2074892 CPUtime=3393.32 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 507118 0 0 0 339234 98 0 0 20 0 1 0 181540484 2269261824 518723 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 554019 518723 4032 3540 0 542276 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 2216076 KiB
Current children cumulated memory: 2074892 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=975235] ppid=975232 vsize=2216076 memory=2074892 CPUtime=3453.2 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 507900 0 0 0 345221 99 0 0 20 0 1 0 181540484 2269261824 518723 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 554019 518723 4032 3540 0 542276 0
Current children cumulated CPU time: 3453.2 s
Current children cumulated vsize: 2216076 KiB
Current children cumulated memory: 2074892 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=975235] ppid=975232 vsize=2216076 memory=2074892 CPUtime=3513.06 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 507984 0 0 0 351207 99 0 0 20 0 1 0 181540484 2269261824 518723 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 554019 518723 4032 3540 0 542276 0
Current children cumulated CPU time: 3513.06 s
Current children cumulated vsize: 2216076 KiB
Current children cumulated memory: 2074892 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=975235] ppid=975232 vsize=2216076 memory=2074892 CPUtime=3572.92 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 508403 0 0 0 357193 99 0 0 20 0 1 0 181540484 2269261824 518723 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 554019 518723 4032 3540 0 542276 0
Current children cumulated CPU time: 3572.92 s
Current children cumulated vsize: 2216076 KiB
Current children cumulated memory: 2074892 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.08 4.10 4.06 5/256 977156
/proc/meminfo: memFree=115208824/131524600 swapFree=131071996/131071996
[pid=975235] ppid=975232 vsize=2216076 memory=2074892 CPUtime=3600.06 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 508420 0 0 0 359907 99 0 0 20 0 1 0 181540484 2269261824 518723 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 554019 518723 4032 3540 0 542276 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2216076 KiB
Current children cumulated memory: 2074892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.52 s]
# the end of solver process 975235 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.08 s, system=1.01601 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.08 4.10 4.06 5/256 977156
/proc/meminfo: memFree=115208824/131524600 swapFree=131071996/131071996
[pid=975235] ppid=975232 vsize=2216076 memory=2074892 CPUtime=3600.06 cores=1,3
/proc/975235/stat : 975235 (pbscip) R 975232 975235 975174 0 -1 4194304 508420 0 0 0 359907 99 0 0 20 0 1 0 181540484 2269261824 518723 134679101440 4194304 18693293 140732696276640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36356096 140732696282115 140732696282214 140732696282214 140732696289230 0
/proc/975235/statm: 554019 518723 4032 3540 0 542276 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2216076 KiB
Current children cumulated memory: 2074892 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.52
CPU time (s): 3600.09
CPU user time (s): 3599.08
CPU system time (s): 1.01601
CPU usage (%): 99.7387
Max. virtual memory (cumulated for all children) (KiB): 2216076
Max. memory (cumulated for all children) (KiB): 2074892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.08
system time used= 1.01601
maximum resident set size= 2074892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508420
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= 43
involuntary context switches= 1521
# summary of solver processes directly reported to runsolver:
# pid: 975235
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.08
# total CPU system time (s): 1.01601
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47985 second user time and 14.6478 second system time
The end