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-4432925-1721164797.opb>
0.50/0.55 c original problem has 90685 variables (90685 bin, 0 int, 0 impl, 0 cont) and 246269 constraints
0.50/0.55 c problem read in 0.55
0.99/1.10 o 2306839
1.09/1.10 c feasible solution found by trivial heuristic after 1.1 seconds, objective value 2.306839e+06
1.09/1.10 c presolving:
1.69/1.70 c (1.7s) running MILP presolver
1.99/2.06 c (2.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
2.09/2.17 c (round 1, exhaustive) 1 del vars, 34221 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
2.48/2.54 c (round 2, exhaustive) 1 del vars, 34221 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 88914 upgd conss, 0 impls, 0 clqs
3.08/3.18 c (round 3, exhaustive) 1 del vars, 34222 del conss, 2 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 177828 upgd conss, 0 impls, 2 clqs
4.18/4.29 c (round 4, medium) 1 del vars, 123135 del conss, 177828 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 177828 upgd conss, 0 impls, 177828 clqs
5.18/5.28 c (round 5, exhaustive) 1 del vars, 389877 del conss, 266742 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 177828 upgd conss, 0 impls, 177828 clqs
32.79/32.98 c (33.0s) probing: 1000/90684 (1.1%) - 0 fixings, 0 aggregations, 999 implications, 0 bound changes
32.90/33.01 c (33.0s) probing: 1001/90684 (1.1%) - 0 fixings, 0 aggregations, 999 implications, 0 bound changes
32.90/33.01 c (33.0s) probing aborted: 1000/1000 successive useless probings
32.90/33.01 c (33.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
33.10/33.21 c (33.2s) no symmetry present (symcode time: 0.05)
33.20/33.34 c presolving (6 rounds: 6 fast, 6 medium, 5 exhaustive):
33.20/33.34 c 1 deleted vars, 389877 deleted constraints, 266742 added constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
33.20/33.34 c 0 implications, 178827 cliques
33.20/33.34 c presolved problem has 90684 variables (90684 bin, 0 int, 0 impl, 0 cont) and 123134 constraints
33.20/33.34 c 88914 constraints of type <and>
33.20/33.34 c 34220 constraints of type <linear>
33.20/33.34 c transformed objective value is always integral (scale: 1)
33.20/33.34 c Presolving Time: 32.32
33.20/33.34 c - non default parameters ----------------------------------------------------------------------
33.20/33.34 c # SCIP version 10.0.0
33.20/33.34 c
33.20/33.34 c # maximal time in seconds to run
33.20/33.34 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
33.20/33.34 c limits/time = 3596.99701
33.20/33.34 c
33.20/33.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
33.20/33.34 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
33.20/33.34 c limits/memory = 27900
33.20/33.34 c
33.20/33.34 c # belongs reading time to solving time?
33.20/33.34 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
33.20/33.34 c timing/reading = TRUE
33.20/33.34 c
33.20/33.34 c -----------------------------------------------------------------------------------------------
33.20/33.34 c start solving
33.20/33.39 c transformed 1/1 original solutions to the transformed problem space
33.30/33.41 c
35.58/35.73 o 1782976
35.58/35.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
35.58/35.73 c p35.7s| 1 | 0 | 0 | - | clique| 0 | 90k| 123k| 212k| 0 | 0 | 0 | 0 |-7.148604e+06 | 1.782976e+06 | Inf | unknown
1550.88/1555.19 c 1555s| 1 | 0 |142691 | - | 1241M | 0 | 90k| 123k| 212k| 0 | 0 | 11 | 0 | 1.148870e+05 | 1.782976e+06 |1451.94%| unknown
1656.61/1661.15 c 1661s| 1 | 0 |142907 | - | 1341M | 0 | 90k| 123k| 212k| 105 | 1 | 13 | 0 | 1.153600e+05 | 1.782976e+06 |1445.58%| unknown
2059.44/2065.08 c 2065s| 1 | 0 |151535 | - | 1406M | 0 | 90k| 123k| 213k|1684 | 2 | 14 | 0 | 1.656370e+05 | 1.782976e+06 | 976.44%| unknown
2478.60/2485.32 c 2485s| 1 | 0 |161236 | - | 1495M | 0 | 90k| 123k| 215k|3474 | 3 | 17 | 0 | 2.112170e+05 | 1.782976e+06 | 744.14%| unknown
2916.60/2924.54 c 2925s| 1 | 0 |171716 | - | 1576M | 0 | 90k| 123k| 217k|5325 | 4 | 18 | 0 | 2.518136e+05 | 1.782976e+06 | 608.05%| unknown
3368.44/3377.67 c 3378s| 1 | 0 |182537 | - | 1646M | 0 | 90k| 123k| 219k|7059 | 5 | 19 | 0 | 2.827765e+05 | 1.782976e+06 | 530.52%| 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 (61677 MiB free)
memory of node 1: 64510 MiB (60302 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432925-1721164797/watcher-4432925-1721164797 -o /tmp/evaluation-result-4432925-1721164797/solver-4432925-1721164797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721164808-900915 --watchdog 3760 pbscip -f HOME/instance-4432925-1721164797.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=901482, runsolver pid=901479
[startup+0.10024 s]*
/proc/loadavg: 1.10 1.30 2.13 4/255 901497
/proc/meminfo: memFree=124792748/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=164752 memory=120856 CPUtime=0.09 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 27229 0 0 0 6 3 0 0 20 0 1 0 168641516 168706048 30214 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 41188 30214 3282 3540 0 29445 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 164752 KiB
Current children cumulated memory: 120856 KiB
[startup+0.205759 s]*
/proc/loadavg: 1.10 1.30 2.13 6/253 901513
/proc/meminfo: memFree=124773208/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=195468 memory=151956 CPUtime=0.19 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 35052 0 0 0 15 4 0 0 20 0 1 0 168641516 200159232 37989 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 48867 37989 3282 3540 0 37124 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 195468 KiB
Current children cumulated memory: 151956 KiB
[startup+0.305819 s]*
/proc/loadavg: 1.10 1.30 2.13 5/258 901529
/proc/meminfo: memFree=124730488/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=222068 memory=178668 CPUtime=0.29 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 41693 0 0 0 24 5 0 0 20 0 1 0 168641516 227397632 44667 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 55517 44667 3282 3540 0 43774 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 222068 KiB
Current children cumulated memory: 178668 KiB
[startup+0.700242 s]
/proc/loadavg: 1.10 1.30 2.13 5/258 901529
/proc/meminfo: memFree=124647048/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=393908 memory=354284 CPUtime=0.68 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 89726 0 0 0 56 12 0 0 20 0 1 0 168641516 403361792 88571 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 98477 88571 3585 3540 0 86734 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 393908 KiB
Current children cumulated memory: 354284 KiB
[startup+1.50024 s]
/proc/loadavg: 1.10 1.30 2.13 5/258 901529
/proc/meminfo: memFree=124346604/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=676432 memory=604984 CPUtime=1.49 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 149513 0 0 0 128 21 0 0 20 0 1 0 168641516 692666368 151246 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 169108 151246 3649 3540 0 157365 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 676432 KiB
Current children cumulated memory: 604984 KiB
[startup+3.10572 s]
/proc/loadavg: 1.41 1.36 2.15 5/258 901575
/proc/meminfo: memFree=124165508/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=693388 memory=646804 CPUtime=3.08 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 163311 0 0 0 282 26 0 0 20 0 1 0 168641516 710029312 161701 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 173347 161701 3808 3540 0 161604 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 693388 KiB
Current children cumulated memory: 646804 KiB
[startup+6.30024 s]
/proc/loadavg: 1.41 1.36 2.15 5/258 901577
/proc/meminfo: memFree=123977048/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=848096 memory=800112 CPUtime=6.27 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 199133 0 0 0 595 32 0 0 20 0 1 0 168641516 868450304 200028 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 212024 200028 3808 3540 0 200281 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 848096 KiB
Current children cumulated memory: 800112 KiB
[startup+12.7002 s]
/proc/loadavg: 1.78 1.44 2.17 5/258 901577
/proc/meminfo: memFree=123937568/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=848096 memory=800112 CPUtime=12.65 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 199148 0 0 0 1233 32 0 0 20 0 1 0 168641516 868450304 200028 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 212024 200028 3808 3540 0 200281 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 848096 KiB
Current children cumulated memory: 800112 KiB
[startup+25.5003 s]
/proc/loadavg: 2.27 1.56 2.20 5/258 901580
/proc/meminfo: memFree=123905972/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=848096 memory=800112 CPUtime=25.41 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 199165 0 0 0 2508 33 0 0 20 0 1 0 168641516 868450304 200028 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 212024 200028 3808 3540 0 200281 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 848096 KiB
Current children cumulated memory: 800112 KiB
[startup+51.1057 s]
/proc/loadavg: 2.86 1.76 2.25 5/258 901583
/proc/meminfo: memFree=123394944/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1435160 memory=1241332 CPUtime=50.95 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 293959 0 0 0 5047 48 0 0 20 0 1 0 168641516 1469603840 310333 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 358790 310333 3984 3540 0 347047 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1435160 KiB
Current children cumulated memory: 1241332 KiB
[startup+102.3 s]
/proc/loadavg: 3.63 2.14 2.35 5/258 901592
/proc/meminfo: memFree=123258440/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1475600 memory=1275496 CPUtime=102.01 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 299507 0 0 0 10151 50 0 0 20 0 1 0 168641516 1511014400 318874 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 368900 318874 4000 3540 0 357157 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1475600 KiB
Current children cumulated memory: 1275496 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.51 2.47 5/258 901603
/proc/meminfo: memFree=123156752/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1481268 memory=1279048 CPUtime=161.85 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 299875 0 0 0 16134 51 0 0 20 0 1 0 168641516 1516818432 319762 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 370317 319762 4000 3540 0 358574 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1481268 KiB
Current children cumulated memory: 1279048 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 2.82 2.58 5/258 901613
/proc/meminfo: memFree=123071592/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1481268 memory=1279512 CPUtime=221.69 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 300036 0 0 0 22117 52 0 0 20 0 1 0 168641516 1516818432 319878 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 370317 319878 4000 3540 0 358574 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 1481268 KiB
Current children cumulated memory: 1279512 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.06 2.68 5/258 901624
/proc/meminfo: memFree=122945152/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1485528 memory=1283248 CPUtime=281.54 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 300475 0 0 0 28101 53 0 0 20 0 1 0 168641516 1521180672 320812 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 371382 320812 4000 3540 0 359639 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 1485528 KiB
Current children cumulated memory: 1283248 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.27 2.78 5/256 902020
/proc/meminfo: memFree=122832988/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1485528 memory=1283368 CPUtime=341.38 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 300513 0 0 0 34085 53 0 0 20 0 1 0 168641516 1521180672 320842 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 371382 320842 4000 3540 0 359639 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 1485528 KiB
Current children cumulated memory: 1283368 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.43 2.87 5/256 902030
/proc/meminfo: memFree=122732992/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1485528 memory=1290016 CPUtime=401.22 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 300765 0 0 0 40069 53 0 0 20 0 1 0 168641516 1521180672 322504 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 371382 322504 4000 3540 0 359639 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 1485528 KiB
Current children cumulated memory: 1290016 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.57 2.95 5/256 902040
/proc/meminfo: memFree=122636636/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1485528 memory=1290096 CPUtime=461.07 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 300813 0 0 0 46053 54 0 0 20 0 1 0 168641516 1521180672 322524 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 371382 322524 4000 3540 0 359639 0
################
# More data... #
################
Current children cumulated memory: 1798540 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.15 4.07 5/257 903525
/proc/meminfo: memFree=119469944/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1968924 memory=1798624 CPUtime=2914.4 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 452036 0 0 0 291358 82 0 0 20 0 1 0 168641516 2016178176 449656 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 492231 449656 4032 3540 0 480488 0
Current children cumulated CPU time: 2914.4 s
Current children cumulated vsize: 1968924 KiB
Current children cumulated memory: 1798624 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.15 4.08 5/257 903535
/proc/meminfo: memFree=119443688/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1968924 memory=1798668 CPUtime=2974.24 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 452867 0 0 0 297342 82 0 0 20 0 1 0 168641516 2016178176 449667 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 492231 449667 4032 3540 0 480488 0
Current children cumulated CPU time: 2974.24 s
Current children cumulated vsize: 1968924 KiB
Current children cumulated memory: 1798668 KiB
[startup+3042.3 s]
/proc/loadavg: 4.21 4.17 4.09 5/258 903835
/proc/meminfo: memFree=119486960/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1968924 memory=1798668 CPUtime=3034.08 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 453243 0 0 0 303326 82 0 0 20 0 1 0 168641516 2016178176 449667 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 492231 449667 4032 3540 0 480488 0
Current children cumulated CPU time: 3034.08 s
Current children cumulated vsize: 1968924 KiB
Current children cumulated memory: 1798668 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/258 903845
/proc/meminfo: memFree=119458044/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1968924 memory=1798676 CPUtime=3093.92 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 453620 0 0 0 309310 82 0 0 20 0 1 0 168641516 2016178176 449669 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 492231 449669 4032 3540 0 480488 0
Current children cumulated CPU time: 3093.92 s
Current children cumulated vsize: 1968924 KiB
Current children cumulated memory: 1798676 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/258 903855
/proc/meminfo: memFree=119433424/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1968924 memory=1798680 CPUtime=3153.76 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 453997 0 0 0 315294 82 0 0 20 0 1 0 168641516 2016178176 449670 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 492231 449670 4032 3540 0 480488 0
Current children cumulated CPU time: 3153.76 s
Current children cumulated vsize: 1968924 KiB
Current children cumulated memory: 1798680 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/256 903865
/proc/meminfo: memFree=119400636/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1968924 memory=1798680 CPUtime=3213.6 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 454303 0 0 0 321277 83 0 0 20 0 1 0 168641516 2016178176 449670 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 492231 449670 4032 3540 0 480488 0
Current children cumulated CPU time: 3213.6 s
Current children cumulated vsize: 1968924 KiB
Current children cumulated memory: 1798680 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.16 4.10 5/256 903877
/proc/meminfo: memFree=119370904/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1968924 memory=1798680 CPUtime=3273.45 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 454539 0 0 0 327262 83 0 0 20 0 1 0 168641516 2016178176 449670 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 492231 449670 4032 3540 0 480488 0
Current children cumulated CPU time: 3273.45 s
Current children cumulated vsize: 1968924 KiB
Current children cumulated memory: 1798680 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/254 903887
/proc/meminfo: memFree=119357524/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1968924 memory=1798700 CPUtime=3333.26 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 454859 0 0 0 333243 83 0 0 20 0 1 0 168641516 2016178176 449675 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 492231 449675 4032 3540 0 480488 0
Current children cumulated CPU time: 3333.26 s
Current children cumulated vsize: 1968924 KiB
Current children cumulated memory: 1798700 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/254 903897
/proc/meminfo: memFree=119347560/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1968924 memory=1798712 CPUtime=3393.08 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 455429 0 0 0 339224 84 0 0 20 0 1 0 168641516 2016178176 449678 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 492231 449678 4032 3540 0 480488 0
Current children cumulated CPU time: 3393.08 s
Current children cumulated vsize: 1968924 KiB
Current children cumulated memory: 1798712 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/254 903908
/proc/meminfo: memFree=119330792/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1968924 memory=1798712 CPUtime=3452.94 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 455870 0 0 0 345210 84 0 0 20 0 1 0 168641516 2016178176 449678 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 492231 449678 4032 3540 0 480488 0
Current children cumulated CPU time: 3452.94 s
Current children cumulated vsize: 1968924 KiB
Current children cumulated memory: 1798712 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/254 903918
/proc/meminfo: memFree=119313876/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1968924 memory=1798780 CPUtime=3512.82 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 456339 0 0 0 351198 84 0 0 20 0 1 0 168641516 2016178176 449695 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 492231 449695 4032 3540 0 480488 0
Current children cumulated CPU time: 3512.82 s
Current children cumulated vsize: 1968924 KiB
Current children cumulated memory: 1798780 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/254 903929
/proc/meminfo: memFree=119296792/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1968924 memory=1802732 CPUtime=3572.69 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 456851 0 0 0 357185 84 0 0 20 0 1 0 168641516 2016178176 450683 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 492231 450683 4032 3540 0 480488 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 1968924 KiB
Current children cumulated memory: 1802732 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.06 4.12 4.09 5/256 904167
/proc/meminfo: memFree=121520368/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1968924 memory=1802732 CPUtime=3600.03 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 457046 0 0 0 359919 84 0 0 20 0 1 0 168641516 2016178176 450683 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 492231 450683 4032 3540 0 480488 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1968924 KiB
Current children cumulated memory: 1802732 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 901482 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.19 s, system=0.852689 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.06 4.12 4.09 5/256 904167
/proc/meminfo: memFree=121520368/131524600 swapFree=131071996/131071996
[pid=901482] ppid=901479 vsize=1968924 memory=1802732 CPUtime=3600.03 cores=5,7
/proc/901482/stat : 901482 (pbscip) R 901479 901482 900902 0 -1 4194304 457046 0 0 0 359919 84 0 0 20 0 1 0 168641516 2016178176 450683 134679101440 4194304 18693293 140731364973360 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39456768 140731364975620 140731364975719 140731364975719 140731364982734 0
/proc/901482/statm: 492231 450683 4032 3540 0 480488 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1968924 KiB
Current children cumulated memory: 1802732 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.71
CPU time (s): 3600.04
CPU user time (s): 3599.19
CPU system time (s): 0.852689
CPU usage (%): 99.7322
Max. virtual memory (cumulated for all children) (KiB): 2043252
Max. memory (cumulated for all children) (KiB): 1853548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.19
system time used= 0.852689
maximum resident set size= 1853548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 457046
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= 55
involuntary context switches= 1780
# summary of solver processes directly reported to runsolver:
# pid: 901482
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.19
# total CPU system time (s): 0.852689
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.41256 second user time and 16.4966 second system time
The end