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-4446015-1721328784.opb>
2.18/2.22 c original problem has 48253 variables (48253 bin, 0 int, 0 impl, 0 cont) and 1119563 constraints
2.18/2.22 c problem read in 2.22
2.18/2.23 c No objective function, only one solution is needed.
3.78/3.82 c presolving:
4.98/5.10 c (round 1, fast) 841 del vars, 13704 del conss, 0 add conss, 841 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 227956 clqs
5.08/5.18 c (round 2, fast) 841 del vars, 23508 del conss, 0 add conss, 841 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 227956 clqs
6.78/6.82 c (6.8s) running MILP presolver
9.97/10.05 c (10.0s) MILP presolver found nothing
12.46/12.56 c (round 3, exhaustive) 841 del vars, 23525 del conss, 0 add conss, 841 chg bounds, 17 chg sides, 0 chg coeffs, 1096037 upgd conss, 0 impls, 227956 clqs
15.45/15.55 c (round 4, exhaustive) 841 del vars, 37499 del conss, 0 add conss, 841 chg bounds, 17 chg sides, 20980 chg coeffs, 1096037 upgd conss, 0 impls, 227956 clqs
30.81/30.93 c (30.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
33.30/33.45 c (33.4s) no symmetry present (symcode time: 0.42)
34.91/35.03 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
34.91/35.03 c 866 deleted vars, 37524 deleted constraints, 0 added constraints, 841 tightened bounds, 0 added holes, 17 changed sides, 21025 changed coefficients
34.91/35.03 c 0 implications, 227929 cliques
34.91/35.03 c presolved problem has 47387 variables (47387 bin, 0 int, 0 impl, 0 cont) and 1082039 constraints
34.91/35.03 c 111893 constraints of type <knapsack>
34.91/35.03 c 227931 constraints of type <setppc>
34.91/35.03 c 1 constraints of type <linear>
34.91/35.03 c 742214 constraints of type <logicor>
34.91/35.03 c transformed objective value is always integral (scale: 1)
34.91/35.03 c Presolving Time: 31.22
34.91/35.03 c - non default parameters ----------------------------------------------------------------------
34.91/35.03 c # SCIP version 10.0.0
34.91/35.03 c
34.91/35.03 c # maximal time in seconds to run
34.91/35.03 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
34.91/35.03 c limits/time = 3596.997049
34.91/35.03 c
34.91/35.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
34.91/35.03 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
34.91/35.03 c limits/memory = 27900
34.91/35.03 c
34.91/35.03 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
34.91/35.03 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
34.91/35.03 c limits/solutions = 1
34.91/35.03 c
34.91/35.03 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.
34.91/35.03 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
34.91/35.03 c misc/usesymmetry = 3
34.91/35.03 c
34.91/35.03 c # belongs reading time to solving time?
34.91/35.03 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
34.91/35.03 c timing/reading = TRUE
34.91/35.03 c
34.91/35.03 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
34.91/35.03 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
34.91/35.03 c propagating/symmetry/detectdoublelex = FALSE
34.91/35.03 c
34.91/35.03 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
34.91/35.03 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
34.91/35.03 c propagating/symmetry/detectsubgroups = FALSE
34.91/35.03 c
34.91/35.03 c # Type of symmetries that shall be computed?
34.91/35.03 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
34.91/35.03 c propagating/symmetry/symtype = 1
34.91/35.03 c
34.91/35.03 c # Should components consisting of a single full reflection be handled?
34.91/35.03 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
34.91/35.03 c propagating/symmetry/usesimplesgncomp = FALSE
34.91/35.03 c
34.91/35.03 c -----------------------------------------------------------------------------------------------
34.91/35.03 c start solving
34.91/35.05 c
41.78/41.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
41.78/41.93 c 41.9s| 1 | 0 | 2136 | - | 4995M | 0 | 47k|1082k|1082k| 0 | 0 | 92 | 0 | 0.000000e+00 | -- | Inf | unknown
474.03/475.75 c 476s| 1 | 0 | 7239 | - | 5141M | 0 | 47k|1082k|1082k| 6 | 1 | 92 | 0 | 0.000000e+00 | -- | Inf | unknown
1199.23/1203.30 c 1203s| 1 | 0 | 9842 | - | 5254M | 0 | 47k|1082k|1082k| 13 | 2 | 94 | 0 | 0.000000e+00 | -- | Inf | unknown
1885.12/1892.06 c 1892s| 1 | 0 | 10378 | - | 5360M | 0 | 47k|1082k|1082k| 23 | 3 | 94 | 0 | 0.000000e+00 | -- | Inf | unknown
2405.52/2414.20 c 2414s| 1 | 0 | 11963 | - | 5467M | 0 | 47k|1082k|1082k| 38 | 4 | 94 | 0 | 0.000000e+00 | -- | Inf | unknown
3060.13/3071.26 c 3071s| 1 | 0 | 17398 | - | 5577M | 0 | 47k|1082k|1082k| 52 | 5 | 96 | 0 | 0.000000e+00 | -- | Inf | unknown
3126.50/3137.83 c 3138s| 1 | 0 | 19127 | - | 5681M | 0 | 47k|1082k|1082k| 104 | 6 | 99 | 0 | 0.000000e+00 | -- | Inf | unknown
3160.57/3172.10 c 3172s| 1 | 0 | 22928 | - | 5787M | 0 | 47k|1082k|1082k| 138 | 7 | 100 | 0 | 0.000000e+00 | -- | Inf | unknown
3188.67/3200.27 c 3200s| 1 | 0 | 31783 | - | 5892M | 0 | 47k|1082k|1082k| 171 | 8 | 102 | 0 | 0.000000e+00 | -- | Inf | unknown
3201.31/3212.97 c 3213s| 1 | 0 | 35095 | - | 5998M | 0 | 47k|1082k|1082k| 213 | 9 | 104 | 0 | 0.000000e+00 | -- | Inf | unknown
3360.26/3372.43 c 3372s| 1 | 0 | 41395 | - | 6102M | 0 | 47k|1082k|1082k| 261 | 10 | 105 | 0 | 0.000000e+00 | -- | Inf | unknown
3386.97/3399.29 c 3399s| 1 | 0 | 46825 | - | 6206M | 0 | 47k|1082k|1082k| 303 | 11 | 108 | 0 | 0.000000e+00 | -- | Inf | unknown
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61976 MiB free)
memory of node 1: 64510 MiB (63215 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446015-1721328784/watcher-4446015-1721328784 -o /tmp/evaluation-result-4446015-1721328784/solver-4446015-1721328784 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721328778-973108 --watchdog 3760 pbscip -f HOME/instance-4446015-1721328784.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=973356, runsolver pid=973353
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 3.05 3.57 3.91 5/259 973357
/proc/meminfo: memFree=128162232/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=88684 memory=47940 CPUtime=0.09 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 9054 0 0 0 9 0 0 0 20 0 1 0 185038666 90812416 11985 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 22171 11985 3267 3540 0 10428 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 88684 KiB
Current children cumulated memory: 47940 KiB
[startup+0.205574 s]*
/proc/loadavg: 3.05 3.57 3.91 5/259 973357
/proc/meminfo: memFree=128130480/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=119180 memory=78124 CPUtime=0.2 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 16570 0 0 0 19 1 0 0 20 0 1 0 185038666 122040320 19531 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 29795 19531 3267 3540 0 18052 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 119180 KiB
Current children cumulated memory: 78124 KiB
[startup+0.305526 s]*
/proc/loadavg: 3.05 3.57 3.91 5/259 973357
/proc/meminfo: memFree=128100800/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=148728 memory=106384 CPUtime=0.29 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 23649 0 0 0 27 2 0 0 20 0 1 0 185038666 152297472 26596 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 37182 26596 3267 3540 0 25439 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 148728 KiB
Current children cumulated memory: 106384 KiB
[startup+0.700226 s]
/proc/loadavg: 3.05 3.57 3.91 6/259 973357
/proc/meminfo: memFree=128043396/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=256476 memory=215172 CPUtime=0.69 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 50298 0 0 0 62 7 0 0 20 0 1 0 185038666 262631424 53793 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 64119 53793 3267 3540 0 52376 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 256476 KiB
Current children cumulated memory: 215172 KiB
[startup+1.50023 s]
/proc/loadavg: 3.05 3.57 3.91 5/259 973357
/proc/meminfo: memFree=127905620/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=474652 memory=433000 CPUtime=1.48 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 102743 0 0 0 134 14 0 0 20 0 1 0 185038666 486043648 108250 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 118663 108250 3267 3540 0 106920 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 474652 KiB
Current children cumulated memory: 433000 KiB
[startup+3.10547 s]
/proc/loadavg: 3.05 3.57 3.91 5/259 973357
/proc/meminfo: memFree=127125308/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=1194960 memory=1153432 CPUtime=3.09 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 260404 0 0 0 269 40 0 0 20 0 1 0 185038666 1223639040 288358 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 298740 288358 3555 3540 0 286997 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1194960 KiB
Current children cumulated memory: 1153432 KiB
[startup+6.30028 s]
/proc/loadavg: 3.13 3.58 3.91 5/259 973357
/proc/meminfo: memFree=126338688/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=2017852 memory=1920396 CPUtime=6.28 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 366318 0 0 0 567 61 0 0 20 0 1 0 185038666 2066280448 480099 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 504463 480099 3619 3540 0 492720 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2017852 KiB
Current children cumulated memory: 1920396 KiB
[startup+12.7002 s]
/proc/loadavg: 3.20 3.59 3.91 5/259 973359
/proc/meminfo: memFree=125873864/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=2399824 memory=2331792 CPUtime=12.66 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 507157 0 0 0 1162 104 0 0 20 0 1 0 185038666 2457419776 582948 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 599956 582948 3746 3540 0 588213 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2399824 KiB
Current children cumulated memory: 2331792 KiB
[startup+25.5003 s]
/proc/loadavg: 3.38 3.61 3.91 5/259 973361
/proc/meminfo: memFree=125855660/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=2453960 memory=2377308 CPUtime=25.42 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 508437 0 0 0 2436 106 0 0 20 0 1 0 185038666 2512855040 594327 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 613490 594327 3794 3540 0 601747 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2453960 KiB
Current children cumulated memory: 2377308 KiB
[startup+51.1056 s]
/proc/loadavg: 3.67 3.66 3.92 6/259 973366
/proc/meminfo: memFree=122843160/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=5560884 memory=5310712 CPUtime=50.96 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 734198 0 0 0 4899 197 0 0 20 0 1 0 185038666 5694345216 1327678 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1390221 1327678 3986 3540 0 1378478 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 5560884 KiB
Current children cumulated memory: 5310712 KiB
[startup+102.3 s]
/proc/loadavg: 3.93 3.73 3.93 5/259 973377
/proc/meminfo: memFree=122784776/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=5560884 memory=5328812 CPUtime=101.97 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 734768 0 0 0 9999 198 0 0 20 0 1 0 185038666 5694345216 1332203 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1390221 1332203 3986 3540 0 1378478 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 5560884 KiB
Current children cumulated memory: 5328812 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 3.80 3.94 5/258 973774
/proc/meminfo: memFree=122852640/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=5560884 memory=5328812 CPUtime=161.73 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 734995 0 0 0 15972 201 0 0 20 0 1 0 185038666 5694345216 1332203 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1390221 1332203 3986 3540 0 1378478 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 5560884 KiB
Current children cumulated memory: 5328812 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.85 3.95 5/258 973784
/proc/meminfo: memFree=122831168/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=5560884 memory=5328856 CPUtime=221.47 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 735202 0 0 0 21943 204 0 0 20 0 1 0 185038666 5694345216 1332214 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1390221 1332214 3986 3540 0 1378478 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 5560884 KiB
Current children cumulated memory: 5328856 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.91 3.97 5/258 973794
/proc/meminfo: memFree=122796496/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=5560884 memory=5329156 CPUtime=281.26 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 735444 0 0 0 27920 206 0 0 20 0 1 0 185038666 5694345216 1332289 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1390221 1332289 3986 3540 0 1378478 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 5560884 KiB
Current children cumulated memory: 5329156 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.95 3.98 5/258 973974
/proc/meminfo: memFree=122772332/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=5560884 memory=5329156 CPUtime=341.07 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 735719 0 0 0 33898 209 0 0 20 0 1 0 185038666 5694345216 1332289 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1390221 1332289 3986 3540 0 1378478 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 5560884 KiB
Current children cumulated memory: 5329156 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.99 4.00 5/258 973985
/proc/meminfo: memFree=122769268/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=5560884 memory=5329156 CPUtime=400.87 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 736003 0 0 0 39876 211 0 0 20 0 1 0 185038666 5694345216 1332289 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1390221 1332289 3986 3540 0 1378478 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 5560884 KiB
Current children cumulated memory: 5329156 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.02 4.01 5/257 973997
/proc/meminfo: memFree=122762544/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=5560884 memory=5329156 CPUtime=460.67 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 736311 0 0 0 45854 213 0 0 20 0 1 0 185038666 5694345216 1332289 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1390221 1332289 3986 3540 0 1378478 0
################
# More data... #
################
Current children cumulated memory: 5564060 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 975116
/proc/meminfo: memFree=120716080/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=6222488 memory=5564060 CPUtime=2911.8 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 776072 0 0 0 290914 266 0 0 20 0 1 0 185038666 6371827712 1391015 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1555622 1391015 3986 3540 0 1543879 0
Current children cumulated CPU time: 2911.8 s
Current children cumulated vsize: 6222488 KiB
Current children cumulated memory: 5564060 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 975126
/proc/meminfo: memFree=120692120/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=6222488 memory=5564060 CPUtime=2971.57 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 776822 0 0 0 296890 267 0 0 20 0 1 0 185038666 6371827712 1391015 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1555622 1391015 3986 3540 0 1543879 0
Current children cumulated CPU time: 2971.57 s
Current children cumulated vsize: 6222488 KiB
Current children cumulated memory: 5564060 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 975138
/proc/meminfo: memFree=120680216/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=6222488 memory=5564060 CPUtime=3031.33 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 777838 0 0 0 302865 268 0 0 20 0 1 0 185038666 6371827712 1391015 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1555622 1391015 3986 3540 0 1543879 0
Current children cumulated CPU time: 3031.33 s
Current children cumulated vsize: 6222488 KiB
Current children cumulated memory: 5564060 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 975149
/proc/meminfo: memFree=120665152/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=6340844 memory=5564068 CPUtime=3091.11 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 779281 0 0 0 308842 269 0 0 20 0 1 0 185038666 6493024256 1391017 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1585211 1391017 3986 3540 0 1573468 0
Current children cumulated CPU time: 3091.11 s
Current children cumulated vsize: 6340844 KiB
Current children cumulated memory: 5564068 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/254 975159
/proc/meminfo: memFree=120569668/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=6560652 memory=5597888 CPUtime=3150.9 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 782503 0 0 0 314820 270 0 0 20 0 1 0 185038666 6718107648 1399472 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1640163 1399472 3986 3540 0 1628420 0
Current children cumulated CPU time: 3150.9 s
Current children cumulated vsize: 6560652 KiB
Current children cumulated memory: 5597888 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 975169
/proc/meminfo: memFree=120556616/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=6763568 memory=5597896 CPUtime=3210.68 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 783879 0 0 0 320797 271 0 0 20 0 1 0 185038666 6925893632 1399474 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1690892 1399474 3986 3540 0 1679149 0
Current children cumulated CPU time: 3210.68 s
Current children cumulated vsize: 6763568 KiB
Current children cumulated memory: 5597896 KiB
[startup+3282.3 s]
/proc/loadavg: 4.45 4.22 4.13 5/254 975180
/proc/meminfo: memFree=120541020/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=6763568 memory=5597900 CPUtime=3270.47 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 784198 0 0 0 326775 272 0 0 20 0 1 0 185038666 6925893632 1399475 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1690892 1399475 3986 3540 0 1679149 0
Current children cumulated CPU time: 3270.47 s
Current children cumulated vsize: 6763568 KiB
Current children cumulated memory: 5597900 KiB
[startup+3342.3 s]
/proc/loadavg: 4.51 4.27 4.15 5/254 975191
/proc/meminfo: memFree=120528104/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=6763568 memory=5597900 CPUtime=3330.28 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 784589 0 0 0 332755 273 0 0 20 0 1 0 185038666 6925893632 1399475 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1690892 1399475 3986 3540 0 1679149 0
Current children cumulated CPU time: 3330.28 s
Current children cumulated vsize: 6763568 KiB
Current children cumulated memory: 5597900 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.23 4.14 5/254 975201
/proc/meminfo: memFree=120503464/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=6966500 memory=5597912 CPUtime=3390.06 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 786689 0 0 0 338732 274 0 0 20 0 1 0 185038666 7133696000 1399478 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1741625 1399478 3986 3540 0 1729882 0
Current children cumulated CPU time: 3390.06 s
Current children cumulated vsize: 6966500 KiB
Current children cumulated memory: 5597912 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.22 4.14 5/256 975217
/proc/meminfo: memFree=120486884/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=6966500 memory=5597912 CPUtime=3449.85 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 787050 0 0 0 344711 274 0 0 20 0 1 0 185038666 7133696000 1399478 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1741625 1399478 3986 3540 0 1729882 0
Current children cumulated CPU time: 3449.85 s
Current children cumulated vsize: 6966500 KiB
Current children cumulated memory: 5597912 KiB
[startup+3522.3 s]
/proc/loadavg: 4.61 4.31 4.18 5/256 975227
/proc/meminfo: memFree=120478788/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=6966500 memory=5598092 CPUtime=3509.61 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 787480 0 0 0 350686 275 0 0 20 0 1 0 185038666 7133696000 1399523 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1741625 1399523 3986 3540 0 1729882 0
Current children cumulated CPU time: 3509.61 s
Current children cumulated vsize: 6966500 KiB
Current children cumulated memory: 5598092 KiB
[startup+3582.3 s]
/proc/loadavg: 4.44 4.31 4.19 5/253 975319
/proc/meminfo: memFree=120697196/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=6966500 memory=5600180 CPUtime=3569.39 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 787913 0 0 0 356663 276 0 0 20 0 1 0 185038666 7133696000 1400045 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1741625 1400045 3986 3540 0 1729882 0
Current children cumulated CPU time: 3569.39 s
Current children cumulated vsize: 6966500 KiB
Current children cumulated memory: 5600180 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.11 s]
/proc/loadavg: 4.27 4.28 4.18 5/257 975336
/proc/meminfo: memFree=118543504/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=6966500 memory=5601416 CPUtime=3600.09 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 788091 0 0 0 359732 277 0 0 20 0 1 0 185038666 7133696000 1400354 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1741625 1400354 3986 3540 0 1729882 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 6966500 KiB
Current children cumulated memory: 5601416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.15 s]
# the end of solver process 973356 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3597.33 s, system=2.81108 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.11 s]
/proc/loadavg: 4.27 4.28 4.18 5/257 975336
/proc/meminfo: memFree=118543504/131524600 swapFree=131071996/131071996
[pid=973356] ppid=973353 vsize=6966500 memory=5601416 CPUtime=3600.09 cores=5,7
/proc/973356/stat : 973356 (pbscip) R 973353 973356 973095 0 -1 4194304 788091 0 0 0 359732 277 0 0 20 0 1 0 185038666 7133696000 1400354 134679101440 4194304 18693293 140732903059648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45404160 140732903064579 140732903064678 140732903064678 140732903071694 0
/proc/973356/statm: 1741625 1400354 3986 3540 0 1729882 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 6966500 KiB
Current children cumulated memory: 5601416 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3613.15
CPU time (s): 3600.14
CPU user time (s): 3597.33
CPU system time (s): 2.81108
CPU usage (%): 99.6399
Max. virtual memory (cumulated for all children) (KiB): 6966500
Max. memory (cumulated for all children) (KiB): 5601416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.33
system time used= 2.81108
maximum resident set size= 5614752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 788091
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= 84
involuntary context switches= 2858
# summary of solver processes directly reported to runsolver:
# pid: 973356
# total CPU time (s): 3600.14
# total CPU user time (s): 3597.33
# total CPU system time (s): 2.81108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0925 second user time and 17.0393 second system time
The end