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-4452545-1721443614.opb>
0.20/0.27 c original problem has 42981 variables (42981 bin, 0 int, 0 impl, 0 cont) and 129926 constraints
0.20/0.27 c problem read in 0.27
0.20/0.27 c No objective function, only one solution is needed.
0.49/0.54 c presolving:
0.98/1.08 c (1.1s) running MILP presolver
3.48/3.54 c (3.5s) MILP presolver (6 rounds): 0 aggregations, 240 fixings, 0 bound changes
3.58/3.63 c (round 1, medium) 240 del vars, 0 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 97396 clqs
3.58/3.67 c (round 2, fast) 240 del vars, 480 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 97636 clqs
3.98/4.00 c (round 3, exhaustive) 240 del vars, 480 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 129446 upgd conss, 0 impls, 97636 clqs
4.37/4.49 c (round 4, exhaustive) 240 del vars, 122367 del conss, 40629 add conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 129446 upgd conss, 0 impls, 97636 clqs
4.57/4.61 c (round 5, exhaustive) 2330 del vars, 122367 del conss, 40629 add conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 129446 upgd conss, 0 impls, 93456 clqs
4.68/4.73 c (round 6, exhaustive) 2330 del vars, 124457 del conss, 42719 add conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 129446 upgd conss, 0 impls, 93456 clqs
4.68/4.75 c (round 7, fast) 2330 del vars, 126547 del conss, 42719 add conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 129446 upgd conss, 0 impls, 93456 clqs
56.25/56.40 c (56.4s) probing: 1000/40651 (2.5%) - 4 fixings, 17 aggregations, 17130936 implications, 0 bound changes
57.05/57.23 c (57.2s) probing: 1022/40651 (2.5%) - 4 fixings, 17 aggregations, 17375757 implications, 0 bound changes
57.05/57.23 c (57.2s) probing aborted: 1000/1000 successive useless probings
57.05/57.23 c (57.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
57.25/57.42 c (57.4s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.07)
57.25/57.42 c dynamic symmetry handling statistics:
57.25/57.42 c orbitopal reduction: no components
57.25/57.42 c orbital reduction: no components
57.25/57.42 c lexicographic reduction: no permutations
57.25/57.42 c handled 3 out of 3 symmetry components
57.34/57.53 c presolving (8 rounds: 8 fast, 6 medium, 5 exhaustive):
57.34/57.53 c 2351 deleted vars, 126547 deleted constraints, 42722 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
57.34/57.53 c 0 implications, 249091 cliques
57.34/57.53 c presolved problem has 40630 variables (40630 bin, 0 int, 0 impl, 0 cont) and 46101 constraints
57.34/57.53 c 23 constraints of type <knapsack>
57.34/57.53 c 7536 constraints of type <setppc>
57.34/57.53 c 38539 constraints of type <and>
57.34/57.53 c 3 constraints of type <linear>
57.34/57.53 c transformed objective value is always integral (scale: 1)
57.34/57.53 c Presolving Time: 57.00
57.34/57.53 c - non default parameters ----------------------------------------------------------------------
57.34/57.53 c # SCIP version 10.0.0
57.34/57.53 c
57.34/57.53 c # maximal time in seconds to run
57.34/57.53 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
57.34/57.53 c limits/time = 3596.99701
57.34/57.53 c
57.34/57.53 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
57.34/57.53 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
57.34/57.53 c limits/memory = 27900
57.34/57.53 c
57.34/57.53 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
57.34/57.53 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
57.34/57.53 c limits/solutions = 1
57.34/57.53 c
57.34/57.53 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.
57.34/57.53 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
57.34/57.53 c misc/usesymmetry = 3
57.34/57.53 c
57.34/57.53 c # belongs reading time to solving time?
57.34/57.53 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
57.34/57.53 c timing/reading = TRUE
57.34/57.53 c
57.34/57.53 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
57.34/57.53 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
57.34/57.53 c propagating/symmetry/detectdoublelex = FALSE
57.34/57.53 c
57.34/57.53 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
57.34/57.53 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
57.34/57.53 c propagating/symmetry/detectsubgroups = FALSE
57.34/57.53 c
57.34/57.53 c # Type of symmetries that shall be computed?
57.34/57.53 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
57.34/57.53 c propagating/symmetry/symtype = 1
57.34/57.53 c
57.34/57.53 c # Should components consisting of a single full reflection be handled?
57.34/57.53 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
57.34/57.53 c propagating/symmetry/usesimplesgncomp = FALSE
57.34/57.53 c
57.34/57.53 c -----------------------------------------------------------------------------------------------
57.34/57.53 c start solving
57.34/57.54 c
70.12/70.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
70.12/70.31 c 70.3s| 1 | 0 | 7538 | - | 610M | 0 | 40k| 46k| 84k| 0 | 0 | 95 | 0 | 0.000000e+00 | -- | Inf | unknown
153.62/154.05 c 154s| 1 | 0 | 21314 | - | 656M | 0 | 40k| 46k| 84k| 51 | 1 | 128 | 0 | 0.000000e+00 | -- | Inf | unknown
707.34/708.87 c 709s| 1 | 0 | 23107 | - | 738M | 0 | 40k| 46k| 84k| 131 | 2 | 137 | 0 | 0.000000e+00 | -- | Inf | unknown
1063.43/1065.63 c 1066s| 1 | 0 | 25121 | - | 802M | 0 | 40k| 46k| 84k| 177 | 3 | 139 | 0 | 0.000000e+00 | -- | Inf | unknown
2063.36/2067.71 c 2068s| 1 | 0 | 27387 | - | 868M | 0 | 40k| 46k| 84k| 233 | 4 | 149 | 0 | 0.000000e+00 | -- | Inf | unknown
3052.65/3058.99 c 3059s| 1 | 0 | 29132 | - | 893M | 0 | 40k| 46k| 84k| 280 | 5 | 153 | 0 | 0.000000e+00 | -- | Inf | unknown
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (60657 MiB free)
memory of node 1: 64473 MiB (61343 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452545-1721443614/watcher-4452545-1721443614 -o /tmp/evaluation-result-4452545-1721443614/solver-4452545-1721443614 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721434856-1036359 --watchdog 3760 pbscip -f HOME/instance-4452545-1721443614.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1042324, runsolver pid=1042321
[startup+0.100751 s]*
/proc/loadavg: 4.09 4.11 4.09 5/254 1042325
/proc/meminfo: memFree=124867636/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=115952 memory=74872 CPUtime=0.1 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 15777 0 0 0 8 2 0 0 20 0 1 0 196526331 118734848 18718 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 28988 18718 3284 3540 0 17245 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 115952 KiB
Current children cumulated memory: 74872 KiB
[startup+0.205471 s]*
/proc/loadavg: 4.09 4.11 4.09 5/254 1042325
/proc/meminfo: memFree=124839076/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=144244 memory=103816 CPUtime=0.2 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 22951 0 0 0 17 3 0 0 20 0 1 0 196526331 147705856 25954 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 36061 25954 3284 3540 0 24318 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 144244 KiB
Current children cumulated memory: 103816 KiB
[startup+0.305503 s]*
/proc/loadavg: 4.09 4.11 4.09 5/254 1042325
/proc/meminfo: memFree=124789600/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=198584 memory=158484 CPUtime=0.29 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 37096 0 0 0 25 4 0 0 20 0 1 0 196526331 203350016 39621 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 49646 39621 3572 3540 0 37903 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 198584 KiB
Current children cumulated memory: 158484 KiB
[startup+0.700225 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 1042325
/proc/meminfo: memFree=124678636/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=336164 memory=289728 CPUtime=0.68 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 69801 0 0 0 59 9 0 0 20 0 1 0 196526331 344231936 72432 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 84041 72432 3652 3540 0 72298 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 336164 KiB
Current children cumulated memory: 289728 KiB
[startup+1.50024 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 1042325
/proc/meminfo: memFree=124616292/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=431000 memory=382652 CPUtime=1.49 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 85426 0 0 0 136 13 0 0 20 0 1 0 196526331 441344000 95663 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 107750 95663 3699 3540 0 96007 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 431000 KiB
Current children cumulated memory: 382652 KiB
[startup+3.10549 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 1042325
/proc/meminfo: memFree=124559448/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=431000 memory=383044 CPUtime=3.08 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 85458 0 0 0 295 13 0 0 20 0 1 0 196526331 441344000 95761 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 107750 95761 3763 3540 0 96007 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 431000 KiB
Current children cumulated memory: 383044 KiB
[startup+6.30022 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 1042325
/proc/meminfo: memFree=124498060/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=490380 memory=443612 CPUtime=6.27 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 105762 0 0 0 611 16 0 0 20 0 1 0 196526331 502149120 110903 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 122595 110903 3795 3540 0 110852 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 490380 KiB
Current children cumulated memory: 443612 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.11 4.09 5/254 1042327
/proc/meminfo: memFree=124495284/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=491404 memory=444920 CPUtime=12.66 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 106613 0 0 0 1249 17 0 0 20 0 1 0 196526331 503197696 111230 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 122851 111230 3795 3540 0 111108 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 491404 KiB
Current children cumulated memory: 444920 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 1042329
/proc/meminfo: memFree=124485592/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=491404 memory=444940 CPUtime=25.42 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 106638 0 0 0 2525 17 0 0 20 0 1 0 196526331 503197696 111235 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 122851 111235 3795 3540 0 111108 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 491404 KiB
Current children cumulated memory: 444940 KiB
[startup+51.1055 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 1042334
/proc/meminfo: memFree=124484628/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=491404 memory=444940 CPUtime=50.97 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 106661 0 0 0 5079 18 0 0 20 0 1 0 196526331 503197696 111235 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 122851 111235 3795 3540 0 111108 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 491404 KiB
Current children cumulated memory: 444940 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 1042343
/proc/meminfo: memFree=124125732/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=914092 memory=801916 CPUtime=102.04 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 198887 0 0 0 10172 32 0 0 20 0 1 0 196526331 936030208 200479 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 228523 200479 4003 3540 0 216780 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 914092 KiB
Current children cumulated memory: 801916 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 1042353
/proc/meminfo: memFree=124118164/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=914092 memory=805660 CPUtime=161.9 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 199871 0 0 0 16157 33 0 0 20 0 1 0 196526331 936030208 201415 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 228523 201415 4003 3540 0 216780 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 914092 KiB
Current children cumulated memory: 805660 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/257 1042368
/proc/meminfo: memFree=124115440/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=914092 memory=805660 CPUtime=221.77 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 199886 0 0 0 22144 33 0 0 20 0 1 0 196526331 936030208 201415 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 228523 201415 4003 3540 0 216780 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 914092 KiB
Current children cumulated memory: 805660 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 1042379
/proc/meminfo: memFree=124106064/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=914092 memory=805660 CPUtime=281.67 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 199919 0 0 0 28133 34 0 0 20 0 1 0 196526331 936030208 201415 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 228523 201415 4003 3540 0 216780 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 914092 KiB
Current children cumulated memory: 805660 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/257 1042389
/proc/meminfo: memFree=124102928/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=914092 memory=806260 CPUtime=341.55 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 199961 0 0 0 34121 34 0 0 20 0 1 0 196526331 936030208 201565 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 228523 201565 4003 3540 0 216780 0
Current children cumulated CPU time: 341.55 s
Current children cumulated vsize: 914092 KiB
Current children cumulated memory: 806260 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 1042400
/proc/meminfo: memFree=124096668/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=914092 memory=812076 CPUtime=401.44 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 200111 0 0 0 40109 35 0 0 20 0 1 0 196526331 936030208 203019 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 228523 203019 4003 3540 0 216780 0
Current children cumulated CPU time: 401.44 s
Current children cumulated vsize: 914092 KiB
Current children cumulated memory: 812076 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/256 1042411
/proc/meminfo: memFree=124091748/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=914092 memory=812684 CPUtime=461.33 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 200302 0 0 0 46098 35 0 0 20 0 1 0 196526331 936030208 203171 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
################
# More data... #
################
Current children cumulated memory: 903488 KiB
[startup+2922.3 s]
/proc/loadavg: 2.08 2.19 2.85 3/240 1044099
/proc/meminfo: memFree=126054972/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1013660 memory=904872 CPUtime=2916.35 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 232911 0 0 0 291596 39 0 0 20 0 1 0 196526331 1037987840 226218 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 253415 226218 4003 3540 0 241672 0
Current children cumulated CPU time: 2916.35 s
Current children cumulated vsize: 1013660 KiB
Current children cumulated memory: 904872 KiB
[startup+2982.3 s]
/proc/loadavg: 1.78 2.10 2.78 2/233 1044141
/proc/meminfo: memFree=126715804/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1021768 memory=916656 CPUtime=2976.21 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 234860 0 0 0 297581 40 0 0 20 0 1 0 196526331 1046290432 229164 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 255442 229164 4003 3540 0 243699 0
Current children cumulated CPU time: 2976.21 s
Current children cumulated vsize: 1021768 KiB
Current children cumulated memory: 916656 KiB
[startup+3042.3 s]
/proc/loadavg: 1.39 1.93 2.68 2/233 1044152
/proc/meminfo: memFree=126709516/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1021768 memory=922572 CPUtime=3036.08 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 235139 0 0 0 303568 40 0 0 20 0 1 0 196526331 1046290432 230643 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 255442 230643 4003 3540 0 243699 0
Current children cumulated CPU time: 3036.08 s
Current children cumulated vsize: 1021768 KiB
Current children cumulated memory: 922572 KiB
[startup+3102.3 s]
/proc/loadavg: 1.14 1.76 2.57 2/234 1044164
/proc/meminfo: memFree=126701536/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930408 CPUtime=3095.97 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 237498 0 0 0 309557 40 0 0 20 0 1 0 196526331 1064882176 232602 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232602 4003 3540 0 248238 0
Current children cumulated CPU time: 3095.97 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930408 KiB
[startup+3162.3 s]
/proc/loadavg: 1.16 1.65 2.48 2/234 1044174
/proc/meminfo: memFree=126701000/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930408 CPUtime=3155.87 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 237802 0 0 0 315547 40 0 0 20 0 1 0 196526331 1064882176 232602 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232602 4003 3540 0 248238 0
Current children cumulated CPU time: 3155.87 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930408 KiB
[startup+3222.3 s]
/proc/loadavg: 1.11 1.54 2.39 2/236 1044189
/proc/meminfo: memFree=126700156/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930412 CPUtime=3215.77 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 238110 0 0 0 321537 40 0 0 20 0 1 0 196526331 1064882176 232603 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232603 4003 3540 0 248238 0
Current children cumulated CPU time: 3215.77 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930412 KiB
[startup+3282.3 s]
/proc/loadavg: 1.08 1.46 2.30 2/236 1044201
/proc/meminfo: memFree=126700064/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930416 CPUtime=3275.69 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 238414 0 0 0 327529 40 0 0 20 0 1 0 196526331 1064882176 232604 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232604 4003 3540 0 248238 0
Current children cumulated CPU time: 3275.69 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930416 KiB
[startup+3342.3 s]
/proc/loadavg: 1.09 1.39 2.22 2/236 1044211
/proc/meminfo: memFree=126699732/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930424 CPUtime=3335.6 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 238716 0 0 0 333520 40 0 0 20 0 1 0 196526331 1064882176 232606 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232606 4003 3540 0 248238 0
Current children cumulated CPU time: 3335.6 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930424 KiB
[startup+3402.3 s]
/proc/loadavg: 1.08 1.33 2.15 2/235 1044222
/proc/meminfo: memFree=126699296/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930424 CPUtime=3395.52 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 239018 0 0 0 339512 40 0 0 20 0 1 0 196526331 1064882176 232606 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232606 4003 3540 0 248238 0
Current children cumulated CPU time: 3395.52 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930424 KiB
[startup+3462.3 s]
/proc/loadavg: 1.15 1.30 2.08 2/236 1044234
/proc/meminfo: memFree=126698860/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930424 CPUtime=3455.43 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 239316 0 0 0 345503 40 0 0 20 0 1 0 196526331 1064882176 232606 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232606 4003 3540 0 248238 0
Current children cumulated CPU time: 3455.43 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930424 KiB
[startup+3522.3 s]
/proc/loadavg: 1.11 1.26 2.02 2/234 1044244
/proc/meminfo: memFree=126698400/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930424 CPUtime=3515.35 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 239617 0 0 0 351495 40 0 0 20 0 1 0 196526331 1064882176 232606 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232606 4003 3540 0 248238 0
Current children cumulated CPU time: 3515.35 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930424 KiB
[startup+3582.3 s]
/proc/loadavg: 1.08 1.22 1.96 2/234 1044254
/proc/meminfo: memFree=126698096/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930424 CPUtime=3575.27 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 239918 0 0 0 357487 40 0 0 20 0 1 0 196526331 1064882176 232606 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232606 4003 3540 0 248238 0
Current children cumulated CPU time: 3575.27 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930424 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.1 s]
/proc/loadavg: 1.11 1.22 1.94 2/234 1044258
/proc/meminfo: memFree=126697780/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930424 CPUtime=3600.03 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 240111 0 0 0 359963 40 0 0 20 0 1 0 196526331 1064882176 232606 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232606 4003 3540 0 248238 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930424 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.11 s]
# the end of solver process 1042324 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.64 s, system=0.414025 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3607.1 s]
/proc/loadavg: 1.11 1.22 1.94 2/234 1044258
/proc/meminfo: memFree=126697780/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930424 CPUtime=3600.03 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 240111 0 0 0 359963 40 0 0 20 0 1 0 196526331 1064882176 232606 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232606 4003 3540 0 248238 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930424 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3607.11
CPU time (s): 3600.05
CPU user time (s): 3599.64
CPU system time (s): 0.414025
CPU usage (%): 99.8043
Max. virtual memory (cumulated for all children) (KiB): 1039924
Max. memory (cumulated for all children) (KiB): 930424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.64
system time used= 0.414025
maximum resident set size= 930424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240111
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= 50
involuntary context switches= 1884
# summary of solver processes directly reported to runsolver:
# pid: 1042324
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.64
# total CPU system time (s): 0.414025
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99426 second user time and 14.7777 second system time
The end