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-4441485-1721293751.opb>
0.40/0.46 c original problem has 77106 variables (77106 bin, 0 int, 0 impl, 0 cont) and 218779 constraints
0.40/0.46 c problem read in 0.46
0.40/0.47 c No objective function, only one solution is needed.
0.78/0.89 c presolving:
1.18/1.22 c (round 1, fast) 2636 del vars, 34 del conss, 0 add conss, 1 chg bounds, 6610 chg sides, 13220 chg coeffs, 0 upgd conss, 0 impls, 132568 clqs
1.18/1.25 c (round 2, fast) 5254 del vars, 7508 del conss, 0 add conss, 1 chg bounds, 6610 chg sides, 13220 chg coeffs, 0 upgd conss, 0 impls, 132948 clqs
1.49/1.56 c (1.6s) running MILP presolver
28.78/28.92 c (28.9s) MILP presolver (7 rounds): 2873 aggregations, 4286 fixings, 0 bound changes
28.89/29.02 c (round 3, medium) 12413 del vars, 7508 del conss, 0 add conss, 1 chg bounds, 6610 chg sides, 13220 chg coeffs, 0 upgd conss, 0 impls, 118753 clqs
28.99/29.13 c (round 4, fast) 12413 del vars, 26412 del conss, 0 add conss, 1 chg bounds, 6610 chg sides, 13220 chg coeffs, 0 upgd conss, 0 impls, 119810 clqs
29.08/29.22 c (round 5, exhaustive) 12413 del vars, 26664 del conss, 0 add conss, 1 chg bounds, 6610 chg sides, 13220 chg coeffs, 0 upgd conss, 0 impls, 119810 clqs
29.68/29.80 c (round 6, exhaustive) 12430 del vars, 26681 del conss, 0 add conss, 1 chg bounds, 6610 chg sides, 13220 chg coeffs, 192095 upgd conss, 0 impls, 119776 clqs
30.58/30.76 c (round 7, exhaustive) 12430 del vars, 203975 del conss, 59094 add conss, 1 chg bounds, 6610 chg sides, 13220 chg coeffs, 192095 upgd conss, 0 impls, 119776 clqs
30.78/30.99 c (round 8, exhaustive) 12508 del vars, 203975 del conss, 59094 add conss, 1 chg bounds, 6610 chg sides, 13220 chg coeffs, 192095 upgd conss, 0 impls, 119631 clqs
30.98/31.12 c (round 9, exhaustive) 12544 del vars, 204089 del conss, 59172 add conss, 1 chg bounds, 6610 chg sides, 13220 chg coeffs, 192095 upgd conss, 0 impls, 119559 clqs
33.07/33.22 c (33.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
33.46/33.69 c (33.7s) symmetry computation finished: 8 generators found (max: 953, log10 of symmetry group size: 0.0) (symcode time: 0.19)
33.46/33.69 c dynamic symmetry handling statistics:
33.46/33.69 c orbitopal reduction: no components
33.46/33.69 c orbital reduction: 1 components of sizes 1
33.46/33.69 c lexicographic reduction: 8 permutations with support sizes 110, 3922, 830, 90, 130, 2, 2, 2
33.46/33.69 c handled 7 out of 7 symmetry components
33.56/33.79 c presolving (10 rounds: 10 fast, 7 medium, 6 exhaustive):
33.56/33.79 c 12573 deleted vars, 204103 deleted constraints, 59172 added constraints, 1 tightened bounds, 0 added holes, 6610 changed sides, 13220 changed coefficients
33.56/33.79 c 0 implications, 344071 cliques
33.56/33.79 c presolved problem has 67151 variables (67151 bin, 0 int, 0 impl, 0 cont) and 73848 constraints
33.56/33.79 c 13220 constraints of type <knapsack>
33.56/33.79 c 1652 constraints of type <setppc>
33.56/33.79 c 58968 constraints of type <and>
33.56/33.79 c 8 constraints of type <logicor>
33.56/33.79 c transformed objective value is always integral (scale: 1)
33.56/33.79 c Presolving Time: 32.92
33.56/33.79 c - non default parameters ----------------------------------------------------------------------
33.56/33.79 c # SCIP version 10.0.0
33.56/33.79 c
33.56/33.79 c # maximal time in seconds to run
33.56/33.79 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
33.56/33.79 c limits/time = 3596.997057
33.56/33.79 c
33.56/33.79 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
33.56/33.79 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
33.56/33.79 c limits/memory = 27900
33.56/33.79 c
33.56/33.79 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
33.56/33.79 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
33.56/33.79 c limits/solutions = 1
33.56/33.79 c
33.56/33.79 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.
33.56/33.79 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
33.56/33.79 c misc/usesymmetry = 3
33.56/33.79 c
33.56/33.79 c # belongs reading time to solving time?
33.56/33.79 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
33.56/33.79 c timing/reading = TRUE
33.56/33.79 c
33.56/33.79 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
33.56/33.79 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
33.56/33.79 c propagating/symmetry/detectdoublelex = FALSE
33.56/33.79 c
33.56/33.79 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
33.56/33.79 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
33.56/33.79 c propagating/symmetry/detectsubgroups = FALSE
33.56/33.79 c
33.56/33.79 c # Type of symmetries that shall be computed?
33.56/33.79 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
33.56/33.79 c propagating/symmetry/symtype = 1
33.56/33.79 c
33.56/33.79 c # Should components consisting of a single full reflection be handled?
33.56/33.79 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
33.56/33.79 c propagating/symmetry/usesimplesgncomp = FALSE
33.56/33.79 c
33.56/33.79 c -----------------------------------------------------------------------------------------------
33.56/33.79 c start solving
33.66/33.80 c
51.49/51.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
51.49/51.77 c 51.8s| 1 | 0 | 18505 | - | 990M | 0 | 67k| 73k| 132k| 0 | 0 | 47 | 0 | 0.000000e+00 | -- | Inf | unknown
153.03/153.67 c 154s| 1 | 0 | 59884 | - | 1072M | 0 | 67k| 73k| 134k|1734 | 1 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
262.95/263.98 c 264s| 1 | 0 | 78451 | - | 1162M | 0 | 67k| 73k| 136k|3543 | 2 | 49 | 0 | 0.000000e+00 | -- | Inf | unknown
410.38/411.78 c 412s| 1 | 0 |107072 | - | 1211M | 0 | 67k| 73k| 137k|4738 | 3 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
514.33/515.92 c 516s| 1 | 0 |124575 | - | 1252M | 0 | 67k| 73k| 138k|6129 | 4 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
631.74/633.60 c 634s| 1 | 0 |141658 | - | 1288M | 0 | 67k| 73k| 140k|7581 | 5 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
759.84/762.08 c 762s| 1 | 0 |157112 | - | 1328M | 0 | 67k| 73k| 141k|9028 | 6 | 57 | 0 | 0.000000e+00 | -- | Inf | unknown
893.90/896.44 c 896s| 1 | 0 |178920 | - | 1357M | 0 | 67k| 73k| 143k| 10k| 7 | 58 | 0 | 0.000000e+00 | -- | Inf | unknown
992.56/995.33 c 995s| 1 | 0 |196979 | - | 1384M | 0 | 67k| 73k| 145k| 12k| 8 | 59 | 0 | 0.000000e+00 | -- | Inf | unknown
1100.99/1104.03 c 1104s| 1 | 0 |215976 | - | 1420M | 0 | 67k| 73k| 147k| 14k| 9 | 61 | 0 | 0.000000e+00 | -- | Inf | unknown
1201.15/1204.44 c 1204s| 1 | 0 |231843 | - | 1449M | 0 | 67k| 73k| 149k| 16k| 10 | 62 | 0 | 0.000000e+00 | -- | Inf | unknown
1271.48/1274.99 c 1275s| 1 | 0 |250438 | - | 1449M | 0 | 67k| 73k| 151k| 18k| 11 | 65 | 0 | 0.000000e+00 | -- | Inf | unknown
1333.34/1336.94 c 1337s| 1 | 0 |264564 | - | 1449M | 0 | 67k| 73k| 151k| 18k| 12 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown
1336.44/1340.10 c 1340s| 1 | 0 |264564 | - | 1450M | 0 | 67k| 73k| 151k| 18k| 12 | 70 | 0 | 0.000000e+00 | -- | Inf | unknown
1398.78/1402.53 c 1403s| 1 | 0 |280846 | - | 1450M | 0 | 67k| 73k| 153k| 20k| 13 | 70 | 0 | 0.000000e+00 | -- | Inf | unknown
1471.81/1475.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1471.81/1475.77 c 1476s| 1 | 0 |297705 | - | 1450M | 0 | 67k| 73k| 155k| 22k| 14 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
1544.61/1548.77 c 1549s| 1 | 0 |314919 | - | 1450M | 0 | 67k| 73k| 157k| 24k| 15 | 72 | 0 | 0.000000e+00 | -- | Inf | unknown
1643.76/1648.12 c 1648s| 1 | 0 |330916 | - | 1450M | 0 | 67k| 73k| 153k| 26k| 16 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
1711.00/1715.52 c 1716s| 1 | 0 |346736 | - | 1451M | 0 | 67k| 73k| 155k| 28k| 17 | 78 | 0 | 0.000000e+00 | -- | Inf | unknown
1777.34/1782.00 c 1782s| 1 | 0 |365511 | - | 1451M | 0 | 67k| 73k| 157k| 30k| 18 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
1858.92/1863.89 c 1864s| 1 | 0 |384343 | - | 1451M | 0 | 67k| 73k| 159k| 32k| 19 | 81 | 0 | 0.000000e+00 | -- | Inf | unknown
1952.98/1958.15 c 1958s| 1 | 0 |406676 | - | 1451M | 0 | 67k| 73k| 161k| 34k| 20 | 83 | 0 | 0.000000e+00 | -- | Inf | unknown
2037.05/2042.49 c 2042s| 1 | 0 |428187 | - | 1451M | 0 | 67k| 73k| 163k| 36k| 21 | 84 | 0 | 0.000000e+00 | -- | Inf | unknown
2159.15/2164.87 c 2165s| 1 | 0 |447909 | - | 1452M | 0 | 67k| 73k| 163k| 38k| 22 | 85 | 0 | 0.000000e+00 | -- | Inf | unknown
2258.97/2264.92 c 2265s| 1 | 0 |467610 | - | 1452M | 0 | 67k| 73k| 165k| 40k| 23 | 91 | 0 | 0.000000e+00 | -- | Inf | unknown
2332.19/2338.30 c 2338s| 1 | 0 |482965 | - | 1452M | 0 | 67k| 73k| 166k| 41k| 24 | 94 | 0 | 0.000000e+00 | -- | Inf | unknown
3154.71/3162.89 c 3163s| 1 | 2 |559249 | - | 1455M | 0 | 67k| 73k| 166k| 41k| 24 | 122 | 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 (60728 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441485-1721293751/watcher-4441485-1721293751 -o /tmp/evaluation-result-4441485-1721293751/solver-4441485-1721293751 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721293764-975187 --watchdog 3760 pbscip -f HOME/instance-4441485-1721293751.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
solver pid=975229, runsolver pid=975226
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=123525964/131524600 swapFree=131071996/131071996
[pid=975229] ppid=975226 vsize=102824 memory=62056 CPUtime=0.09 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 12604 0 0 0 8 1 0 0 20 0 1 0 181540483 105291776 15514 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 25706 15514 3201 3540 0 13963 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 102824 KiB
Current children cumulated memory: 62056 KiB
[startup+0.205797 s]*
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=123386972/131524600 swapFree=131071996/131071996
[pid=975229] ppid=975226 vsize=146680 memory=104748 CPUtime=0.2 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 23296 0 0 0 18 2 0 0 20 0 1 0 181540483 150200320 26187 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 36670 26187 3201 3540 0 24927 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 146680 KiB
Current children cumulated memory: 104748 KiB
[startup+0.305704 s]*
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=123262456/131524600 swapFree=131071996/131071996
[pid=975229] ppid=975226 vsize=188316 memory=145960 CPUtime=0.29 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 33583 0 0 0 26 3 0 0 20 0 1 0 181540483 192835584 36490 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 47079 36490 3201 3540 0 35336 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 188316 KiB
Current children cumulated memory: 145960 KiB
[startup+0.700247 s]
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=123013160/131524600 swapFree=131071996/131071996
[pid=975229] ppid=975226 vsize=394572 memory=354196 CPUtime=0.68 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 86021 0 0 0 58 10 0 0 20 0 1 0 181540483 404041728 88549 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 98643 88549 3488 3540 0 86900 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 394572 KiB
Current children cumulated memory: 354196 KiB
[startup+1.50024 s]
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=122319036/131524600 swapFree=131071996/131071996
[pid=975229] ppid=975226 vsize=615952 memory=562548 CPUtime=1.49 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 127321 0 0 0 131 18 0 0 20 0 1 0 181540483 630734848 140637 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 153988 140637 3568 3540 0 142245 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 615952 KiB
Current children cumulated memory: 562548 KiB
[startup+3.10578 s]
/proc/loadavg: 2.17 2.24 2.25 5/259 975249
/proc/meminfo: memFree=121217700/131524600 swapFree=131071996/131071996
[pid=975229] ppid=975226 vsize=677248 memory=626920 CPUtime=3.09 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 137212 0 0 0 287 22 0 0 20 0 1 0 181540483 693501952 156730 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 169312 156730 3695 3540 0 157569 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 677248 KiB
Current children cumulated memory: 626920 KiB
[startup+6.30024 s]
/proc/loadavg: 2.32 2.26 2.26 5/259 975249
/proc/meminfo: memFree=120897396/131524600 swapFree=131071996/131071996
[pid=975229] ppid=975226 vsize=677248 memory=626920 CPUtime=6.26 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 137270 0 0 0 604 22 0 0 20 0 1 0 181540483 693501952 156730 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 169312 156730 3695 3540 0 157569 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 677248 KiB
Current children cumulated memory: 626920 KiB
[startup+12.7099 s]
/proc/loadavg: 2.46 2.29 2.27 5/259 975249
/proc/meminfo: memFree=120733732/131524600 swapFree=131071996/131071996
[pid=975229] ppid=975226 vsize=677248 memory=626920 CPUtime=12.65 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 137357 0 0 0 1242 23 0 0 20 0 1 0 181540483 693501952 156730 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 169312 156730 3695 3540 0 157569 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 677248 KiB
Current children cumulated memory: 626920 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=975229] ppid=975226 vsize=677248 memory=626920 CPUtime=25.39 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 137416 0 0 0 2515 24 0 0 20 0 1 0 181540483 693501952 156730 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 169312 156730 3695 3540 0 157569 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 677248 KiB
Current children cumulated memory: 626920 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=975229] ppid=975226 vsize=1199916 memory=1047452 CPUtime=50.9 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 236740 0 0 0 5048 42 0 0 20 0 1 0 181540483 1228713984 261863 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 299979 261863 3951 3540 0 288236 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1199916 KiB
Current children cumulated memory: 1047452 KiB
[startup+102.3 s]
/proc/loadavg: 3.83 2.81 2.46 5/261 975314
/proc/meminfo: memFree=119212096/131524600 swapFree=131071996/131071996
[pid=975229] ppid=975226 vsize=1503592 memory=1349536 CPUtime=101.92 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 319324 0 0 0 10138 54 0 0 20 0 1 0 181540483 1539678208 337384 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 375898 337384 3967 3540 0 364155 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 1503592 KiB
Current children cumulated memory: 1349536 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=975229] ppid=975226 vsize=1508820 memory=1354588 CPUtime=161.7 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 320184 0 0 0 16115 55 0 0 20 0 1 0 181540483 1545031680 338647 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 377205 338647 3967 3540 0 365462 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 1508820 KiB
Current children cumulated memory: 1354588 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=975229] ppid=975226 vsize=1508820 memory=1355044 CPUtime=221.47 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 320328 0 0 0 22092 55 0 0 20 0 1 0 181540483 1545031680 338761 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 377205 338761 3967 3540 0 365462 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 1508820 KiB
Current children cumulated memory: 1355044 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=975229] ppid=975226 vsize=1508820 memory=1358100 CPUtime=281.28 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 320395 0 0 0 28072 56 0 0 20 0 1 0 181540483 1545031680 339525 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 377205 339525 3967 3540 0 365462 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 1508820 KiB
Current children cumulated memory: 1358100 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=975229] ppid=975226 vsize=1508820 memory=1358192 CPUtime=341.13 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 320618 0 0 0 34057 56 0 0 20 0 1 0 181540483 1545031680 339548 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 377205 339548 3967 3540 0 365462 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 1508820 KiB
Current children cumulated memory: 1358192 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=975229] ppid=975226 vsize=1508820 memory=1359604 CPUtime=401 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 321088 0 0 0 40043 57 0 0 20 0 1 0 181540483 1545031680 339901 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 377205 339901 3967 3540 0 365462 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 1508820 KiB
Current children cumulated memory: 1359604 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=975229] ppid=975226 vsize=1508820 memory=1360228 CPUtime=460.87 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 321498 0 0 0 46030 57 0 0 20 0 1 0 181540483 1545031680 340057 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 377205 340057 3967 3540 0 365462 0
################
# More data... #
################
Current children cumulated memory: 1552044 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=975229] ppid=975226 vsize=1699924 memory=1552044 CPUtime=2914.82 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 375724 0 0 0 291411 71 0 0 20 0 1 0 181540483 1740722176 388011 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 424981 388011 3967 3540 0 413238 0
Current children cumulated CPU time: 2914.82 s
Current children cumulated vsize: 1699924 KiB
Current children cumulated memory: 1552044 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=975229] ppid=975226 vsize=1699924 memory=1552044 CPUtime=2974.68 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 375791 0 0 0 297397 71 0 0 20 0 1 0 181540483 1740722176 388011 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 424981 388011 3967 3540 0 413238 0
Current children cumulated CPU time: 2974.68 s
Current children cumulated vsize: 1699924 KiB
Current children cumulated memory: 1552044 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=975229] ppid=975226 vsize=1699924 memory=1552044 CPUtime=3034.54 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 375848 0 0 0 303383 71 0 0 20 0 1 0 181540483 1740722176 388011 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 424981 388011 3967 3540 0 413238 0
Current children cumulated CPU time: 3034.54 s
Current children cumulated vsize: 1699924 KiB
Current children cumulated memory: 1552044 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=975229] ppid=975226 vsize=2006148 memory=1857200 CPUtime=3094.39 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 452663 0 0 0 309356 83 0 0 20 0 1 0 181540483 2054295552 464300 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 501537 464300 3998 3540 0 489794 0
Current children cumulated CPU time: 3094.39 s
Current children cumulated vsize: 2006148 KiB
Current children cumulated memory: 1857200 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=975229] ppid=975226 vsize=2006148 memory=1857200 CPUtime=3154.21 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 452847 0 0 0 315338 83 0 0 20 0 1 0 181540483 2054295552 464300 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 501537 464300 3998 3540 0 489794 0
Current children cumulated CPU time: 3154.21 s
Current children cumulated vsize: 2006148 KiB
Current children cumulated memory: 1857200 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=975229] ppid=975226 vsize=2006580 memory=1857516 CPUtime=3214.05 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 453624 0 0 0 321321 84 0 0 20 0 1 0 181540483 2054737920 464379 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 501645 464379 3998 3540 0 489902 0
Current children cumulated CPU time: 3214.05 s
Current children cumulated vsize: 2006580 KiB
Current children cumulated memory: 1857516 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=975229] ppid=975226 vsize=2006580 memory=1857516 CPUtime=3273.9 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 453990 0 0 0 327306 84 0 0 20 0 1 0 181540483 2054737920 464379 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 501645 464379 3998 3540 0 489902 0
Current children cumulated CPU time: 3273.9 s
Current children cumulated vsize: 2006580 KiB
Current children cumulated memory: 1857516 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=975229] ppid=975226 vsize=2006580 memory=1857516 CPUtime=3333.72 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 454948 0 0 0 333288 84 0 0 20 0 1 0 181540483 2054737920 464379 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 501645 464379 3998 3540 0 489902 0
Current children cumulated CPU time: 3333.72 s
Current children cumulated vsize: 2006580 KiB
Current children cumulated memory: 1857516 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=975229] ppid=975226 vsize=2006580 memory=1857516 CPUtime=3393.54 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 455455 0 0 0 339269 85 0 0 20 0 1 0 181540483 2054737920 464379 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 501645 464379 3998 3540 0 489902 0
Current children cumulated CPU time: 3393.54 s
Current children cumulated vsize: 2006580 KiB
Current children cumulated memory: 1857516 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=975229] ppid=975226 vsize=2006580 memory=1857516 CPUtime=3453.4 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 455714 0 0 0 345255 85 0 0 20 0 1 0 181540483 2054737920 464379 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 501645 464379 3998 3540 0 489902 0
Current children cumulated CPU time: 3453.4 s
Current children cumulated vsize: 2006580 KiB
Current children cumulated memory: 1857516 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=975229] ppid=975226 vsize=2006580 memory=1857516 CPUtime=3513.26 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 455783 0 0 0 351241 85 0 0 20 0 1 0 181540483 2054737920 464379 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 501645 464379 3998 3540 0 489902 0
Current children cumulated CPU time: 3513.26 s
Current children cumulated vsize: 2006580 KiB
Current children cumulated memory: 1857516 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=975229] ppid=975226 vsize=2006580 memory=1857516 CPUtime=3573.11 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 455903 0 0 0 357226 85 0 0 20 0 1 0 181540483 2054737920 464379 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 501645 464379 3998 3540 0 489902 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 2006580 KiB
Current children cumulated memory: 1857516 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.08 4.10 4.06 5/256 977156
/proc/meminfo: memFree=115208824/131524600 swapFree=131071996/131071996
[pid=975229] ppid=975226 vsize=2006580 memory=1857516 CPUtime=3600.06 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 455919 0 0 0 359920 86 0 0 20 0 1 0 181540483 2054737920 464379 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 501645 464379 3998 3540 0 489902 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2006580 KiB
Current children cumulated memory: 1857516 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.33 s]
# the end of solver process 975229 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.2 s, system=0.887334 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.08 4.10 4.06 5/256 977156
/proc/meminfo: memFree=115208824/131524600 swapFree=131071996/131071996
[pid=975229] ppid=975226 vsize=2006580 memory=1857516 CPUtime=3600.06 cores=5,7
/proc/975229/stat : 975229 (pbscip) R 975226 975229 975174 0 -1 4194304 455919 0 0 0 359920 86 0 0 20 0 1 0 181540483 2054737920 464379 134679101440 4194304 18693293 140731954585376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 30572544 140731954586627 140731954586726 140731954586726 140731954593742 0
/proc/975229/statm: 501645 464379 3998 3540 0 489902 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2006580 KiB
Current children cumulated memory: 1857516 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.33
CPU time (s): 3600.09
CPU user time (s): 3599.2
CPU system time (s): 0.887334
CPU usage (%): 99.7441
Max. virtual memory (cumulated for all children) (KiB): 2006580
Max. memory (cumulated for all children) (KiB): 1857516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.2
system time used= 0.887334
maximum resident set size= 1857516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 455919
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= 3081
# summary of solver processes directly reported to runsolver:
# pid: 975229
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.2
# total CPU system time (s): 0.887334
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19761 second user time and 16.0668 second system time
The end