0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik 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-2703787-1278553218.opb>
0.29/0.34 c original problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
0.29/0.34 c problem read
0.29/0.34 c presolving settings loaded
0.39/0.41 c presolving:
0.59/0.62 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 16096 upgd conss, 3248 impls, 392 clqs
0.99/1.07 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 14784 chg sides, 22176 chg coeffs, 16096 upgd conss, 3248 impls, 392 clqs
5.39/5.49 c (5.1s) probing: 885/1344 (65.8%) - 0 fixings, 0 aggregations, 5768 implications, 0 bound changes
5.39/5.49 c (5.1s) probing aborted: 100/100 successive totally useless probings
5.39/5.49 c presolving (3 rounds):
5.39/5.49 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 14784 changed sides, 22176 changed coefficients
5.39/5.49 c 14784 implications, 392 cliques
5.39/5.49 c presolved problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
5.39/5.49 c 7496 constraints of type <knapsack>
5.39/5.49 c 2016 constraints of type <setppc>
5.39/5.49 c 6584 constraints of type <logicor>
5.39/5.49 c transformed objective value is always integral (scale: 1)
5.39/5.49 c Presolving Time: 5.08
5.39/5.49 c - non default parameters ----------------------------------------------------------------------
5.39/5.49 c # SCIP version 1.2.1.3
5.39/5.49 c
5.39/5.49 c # frequency for displaying node information lines
5.39/5.49 c # [type: int, range: [-1,2147483647], default: 100]
5.39/5.49 c display/freq = 10000
5.39/5.49 c
5.39/5.49 c # maximal time in seconds to run
5.39/5.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.39/5.49 c limits/time = 1789.67
5.39/5.49 c
5.39/5.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.39/5.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.39/5.49 c limits/memory = 1620
5.39/5.49 c
5.39/5.49 c # default clock type (1: CPU user seconds, 2: wall clock time)
5.39/5.49 c # [type: int, range: [1,2], default: 1]
5.39/5.49 c timing/clocktype = 2
5.39/5.49 c
5.39/5.49 c # should presolving try to simplify inequalities
5.39/5.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.39/5.49 c constraints/linear/simplifyinequalities = TRUE
5.39/5.49 c
5.39/5.49 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
5.39/5.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.39/5.49 c constraints/indicator/addCouplingCons = TRUE
5.39/5.49 c
5.39/5.49 c # should presolving try to simplify knapsacks
5.39/5.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.39/5.49 c constraints/knapsack/simplifyinequalities = TRUE
5.39/5.49 c
5.39/5.49 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.39/5.49 c # [type: int, range: [-1,2147483647], default: -1]
5.39/5.49 c separating/rapidlearning/freq = 0
5.39/5.49 c
5.39/5.49 c -----------------------------------------------------------------------------------------------
5.39/5.49 c start solving
5.39/5.49 c
13.29/13.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.29/13.37 c 13.0s| 1 | 0 | 3103 | - | 33M| 0 | 458 |1344 | 16k|1344 | 16k| 0 | 0 | 0 | 9.600000e+01 | -- | Inf
63.96/64.09 c 63.7s| 1 | 0 | 9887 | - | 38M| 0 | 459 |1344 | 16k|1344 | 16k| 7 | 0 | 0 | 9.600000e+01 | -- | Inf
73.57/73.60 c 73.3s| 1 | 0 | 10693 | - | 43M| 0 | 460 |1344 | 16k|1344 | 16k| 18 | 0 | 0 | 9.600000e+01 | -- | Inf
89.95/90.05 c 89.7s| 1 | 0 | 11667 | - | 48M| 0 | 450 |1344 | 16k|1344 | 16k| 23 | 0 | 0 | 9.600000e+01 | -- | Inf
101.25/101.38 c 101s| 1 | 0 | 12842 | - | 53M| 0 | 469 |1344 | 16k|1344 | 16k| 29 | 0 | 0 | 9.600000e+01 | -- | Inf
113.15/113.24 c 113s| 1 | 0 | 13941 | - | 58M| 0 | 456 |1344 | 16k|1344 | 16k| 34 | 0 | 0 | 9.600000e+01 | -- | Inf
126.14/126.27 c 126s| 1 | 0 | 15270 | - | 63M| 0 | 435 |1344 | 16k|1344 | 16k| 38 | 0 | 0 | 9.600000e+01 | -- | Inf
204.21/204.37 c 204s| 1 | 2 | 15270 | - | 63M| 0 | 435 |1344 | 16k|1344 | 16k| 38 | 0 | 22 | 9.600000e+01 | -- | Inf
1790.77/1791.74 c
1790.77/1791.74 c SCIP Status : solving was interrupted [time limit reached]
1790.77/1791.74 c Solving Time (sec) : 1791.39
1790.77/1791.74 c Solving Nodes : 164
1790.77/1791.74 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.77/1791.74 c Dual Bound : +9.60000000000000e+01
1790.77/1791.74 c Gap : infinite
1790.77/1791.74 s UNKNOWN
1790.77/1791.74 c SCIP Status : solving was interrupted [time limit reached]
1790.77/1791.74 c Solving Time : 1791.39
1790.77/1791.74 c Original Problem :
1790.77/1791.74 c Problem name : HOME/instance-2703787-1278553218.opb
1790.77/1791.74 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.77/1791.74 c Constraints : 16096 initial, 16096 maximal
1790.77/1791.74 c Presolved Problem :
1790.77/1791.74 c Problem name : t_HOME/instance-2703787-1278553218.opb
1790.77/1791.74 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.77/1791.74 c Constraints : 16096 initial, 16214 maximal
1790.77/1791.74 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.77/1791.74 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.77/1791.74 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.77/1791.74 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.77/1791.74 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.77/1791.74 c implics : 0.00 0 0 0 0 0 0 0 0
1790.77/1791.74 c probing : 4.09 0 0 0 0 0 0 0 0
1790.77/1791.74 c knapsack : 0.74 0 0 0 0 0 0 14784 22176
1790.77/1791.74 c setppc : 0.01 0 0 0 0 0 0 0 0
1790.77/1791.74 c logicor : 0.03 0 0 0 0 0 0 0 0
1790.77/1791.74 c root node : - 0 - - 0 - - - -
1790.77/1791.74 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.77/1791.74 c integral : 0 0 0 163 0 0 0 0 0 326
1790.77/1791.74 c knapsack : 7496 6 4315 0 0 0 138 0 0 0
1790.77/1791.74 c setppc : 2016 6 4315 0 0 6 2514 0 0 0
1790.77/1791.74 c logicor : 6584+ 6 2230 0 0 0 141 0 0 0
1790.77/1791.74 c countsols : 0 0 0 0 0 0 0 0 0 0
1790.77/1791.74 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.77/1791.74 c integral : 731.27 0.00 0.00 731.27 0.00
1790.77/1791.74 c knapsack : 3.93 0.28 3.64 0.00 0.00
1790.77/1791.74 c setppc : 0.82 0.00 0.81 0.00 0.00
1790.77/1791.74 c logicor : 0.13 0.01 0.12 0.00 0.00
1790.77/1791.74 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.77/1791.74 c Propagators : Time Calls Cutoffs DomReds
1790.77/1791.74 c vbounds : 0.00 2 0 0
1790.77/1791.74 c rootredcost : 0.00 0 0 0
1790.77/1791.74 c pseudoobj : 0.07 1811 0 0
1790.77/1791.74 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.77/1791.74 c propagation : 0.00 6 6 59 35.6 2 6.0 -
1790.77/1791.74 c infeasible LP : 0.03 13 9 156 72.4 7 6.6 0
1790.77/1791.74 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.77/1791.74 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.77/1791.74 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.77/1791.74 c applied globally : - - - 118 43.7 - - -
1790.77/1791.74 c applied locally : - - - 0 0.0 - - -
1790.77/1791.74 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.77/1791.74 c cut pool : 0.02 5 - - 0 - (maximal pool size: 1533)
1790.77/1791.74 c redcost : 0.02 168 0 0 0 0
1790.77/1791.74 c impliedbounds : 0.00 6 0 0 0 0
1790.77/1791.74 c intobj : 0.00 0 0 0 0 0
1790.77/1791.74 c cgmip : 0.00 0 0 0 0 0
1790.77/1791.74 c gomory : 42.86 6 0 0 78 0
1790.77/1791.74 c strongcg : 4.20 6 0 0 3000 0
1790.77/1791.74 c cmir : 0.69 6 0 0 0 0
1790.77/1791.74 c flowcover : 1.82 6 0 0 0 0
1790.77/1791.74 c clique : 0.07 6 0 0 40 0
1790.77/1791.74 c zerohalf : 0.00 0 0 0 0 0
1790.77/1791.74 c mcf : 0.03 1 0 0 0 0
1790.77/1791.74 c rapidlearning : 0.00 0 0 0 0 0
1790.77/1791.74 c Pricers : Time Calls Vars
1790.77/1791.74 c problem variables: 0.00 0 0
1790.77/1791.74 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.77/1791.74 c relpscost : 731.27 163 0 0 0 0 326
1790.77/1791.74 c pscost : 0.00 0 0 0 0 0 0
1790.77/1791.74 c inference : 0.00 0 0 0 0 0 0
1790.77/1791.74 c mostinf : 0.00 0 0 0 0 0 0
1790.77/1791.74 c leastinf : 0.00 0 0 0 0 0 0
1790.77/1791.74 c fullstrong : 0.00 0 0 0 0 0 0
1790.77/1791.74 c allfullstrong : 0.00 0 0 0 0 0 0
1790.77/1791.74 c random : 0.00 0 0 0 0 0 0
1790.77/1791.74 c Primal Heuristics : Time Calls Found
1790.77/1791.74 c LP solutions : 0.00 - 0
1790.77/1791.74 c pseudo solutions : 0.00 - 0
1790.77/1791.74 c oneopt : 0.00 0 0
1790.77/1791.74 c crossover : 0.00 0 0
1790.77/1791.74 c pscostdiving : 46.38 1 0
1790.77/1791.74 c fracdiving : 29.58 1 0
1790.77/1791.74 c veclendiving : 29.82 1 0
1790.77/1791.74 c linesearchdiving : 25.97 1 0
1790.77/1791.74 c feaspump : 40.00 1 0
1790.77/1791.74 c objpscostdiving : 118.72 1 0
1790.77/1791.74 c rootsoldiving : 13.59 1 0
1790.77/1791.74 c trivial : 0.01 2 0
1790.77/1791.74 c simplerounding : 0.00 0 0
1790.77/1791.74 c zirounding : 0.29 163 0
1790.77/1791.74 c rounding : 0.56 135 0
1790.77/1791.74 c shifting : 0.28 21 0
1790.77/1791.74 c intshifting : 0.00 0 0
1790.77/1791.74 c twoopt : 0.00 0 0
1790.77/1791.74 c fixandinfer : 0.00 0 0
1790.77/1791.74 c coefdiving : 168.00 2 0
1790.77/1791.74 c intdiving : 0.00 0 0
1790.77/1791.74 c actconsdiving : 0.00 0 0
1790.77/1791.74 c guideddiving : 0.00 0 0
1790.77/1791.74 c octane : 0.00 0 0
1790.77/1791.74 c rens : 0.30 1 0
1790.77/1791.74 c rins : 0.00 0 0
1790.77/1791.74 c localbranching : 0.00 0 0
1790.77/1791.74 c mutation : 0.00 0 0
1790.77/1791.74 c dins : 0.00 0 0
1790.77/1791.74 c undercover : 0.00 0 0
1790.77/1791.74 c nlp : 0.00 0 0
1790.77/1791.74 c trysol : 0.00 0 0
1790.77/1791.74 c LP : Time Calls Iterations Iter/call Iter/sec
1790.77/1791.74 c primal LP : 0.02 0 0 0.00 0.00
1790.77/1791.74 c dual LP : 529.85 169 152602 902.97 288.01
1790.77/1791.74 c lex dual LP : 0.00 0 0 0.00 -
1790.77/1791.74 c barrier LP : 0.00 0 0 0.00 -
1790.77/1791.74 c diving/probing LP: 466.12 1155 117885 102.06 252.91
1790.77/1791.74 c strong branching : 731.23 224 202248 902.89 276.59
1790.77/1791.74 c (at root node) : - 22 21623 982.86 -
1790.77/1791.74 c conflict analysis: 0.00 0 0 0.00 -
1790.77/1791.74 c B&B Tree :
1790.77/1791.74 c number of runs : 1
1790.77/1791.74 c nodes : 164
1790.77/1791.74 c nodes (total) : 164
1790.77/1791.74 c nodes left : 163
1790.77/1791.74 c max depth : 39
1790.77/1791.74 c max depth (total): 39
1790.77/1791.74 c backtracks : 8 (4.9%)
1790.77/1791.74 c delayed cutoffs : 0
1790.77/1791.74 c repropagations : 4 (1 domain reductions, 0 cutoffs)
1790.77/1791.74 c avg switch length: 2.24
1790.77/1791.74 c switching time : 0.14
1790.77/1791.74 c Solution :
1790.77/1791.74 c Solutions found : 0 (0 improvements)
1790.77/1791.74 c Primal Bound : -
1790.77/1791.74 c Dual Bound : +9.60000000000000e+01
1790.77/1791.74 c Gap : infinite
1790.77/1791.74 c Root Dual Bound : +9.60000000000000e+01
1790.77/1791.74 c Root Iterations : 15270
1790.87/1791.85 c Time complete: 1790.92.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703787-1278553218/watcher-2703787-1278553218 -o /tmp/evaluation-result-2703787-1278553218/solver-2703787-1278553218 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703787-1278553218.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.09 1.09 1.01 3/106 28889
/proc/meminfo: memFree=1673996/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=7904 CPUtime=0
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 1110 0 0 0 0 0 0 0 22 0 1 0 23533034 8093696 1021 1992294400 4194304 8395647 140734938227952 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28889/statm: 1976 1030 365 1026 0 946 0
[startup+0.0631189 s]
/proc/loadavg: 1.09 1.09 1.01 3/106 28889
/proc/meminfo: memFree=1673996/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=13260 CPUtime=0.06
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 2617 0 0 0 5 1 0 0 22 0 1 0 23533034 13578240 2528 1992294400 4194304 8395647 140734938227952 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28889/statm: 3315 2528 393 1026 0 2285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13260
[startup+0.101126 s]
/proc/loadavg: 1.09 1.09 1.01 3/106 28889
/proc/meminfo: memFree=1673996/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=14996 CPUtime=0.09
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 3026 0 0 0 8 1 0 0 22 0 1 0 23533034 15355904 2937 1992294400 4194304 8395647 140734938227952 18446744073709551615 7276524 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28889/statm: 3749 2937 393 1026 0 2719 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14996
[startup+0.301166 s]
/proc/loadavg: 1.09 1.09 1.01 3/106 28889
/proc/meminfo: memFree=1673996/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=18324 CPUtime=0.29
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 3856 0 0 0 28 1 0 0 22 0 1 0 23533034 18763776 3767 1992294400 4194304 8395647 140734938227952 18446744073709551615 7275376 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28889/statm: 4581 3767 393 1026 0 3551 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18324
[startup+0.700245 s]
/proc/loadavg: 1.09 1.09 1.01 3/106 28889
/proc/meminfo: memFree=1673996/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=59316 CPUtime=0.69
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 14207 0 0 0 65 4 0 0 23 0 1 0 23533034 60739584 13764 1992294400 4194304 8395647 140734938227952 18446744073709551615 4956515 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 14829 13764 484 1026 0 13799 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59316
[startup+1.5004 s]
/proc/loadavg: 1.09 1.09 1.01 2/107 28890
/proc/meminfo: memFree=1620668/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=59316 CPUtime=1.49
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 14234 0 0 0 145 4 0 0 25 0 1 0 23533034 60739584 13791 1992294400 4194304 8395647 140734938227952 18446744073709551615 4918225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 14829 13791 499 1026 0 13799 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59316
[startup+3.10072 s]
/proc/loadavg: 1.09 1.09 1.01 2/107 28890
/proc/meminfo: memFree=1620544/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=59316 CPUtime=3.08
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 14234 0 0 0 304 4 0 0 25 0 1 0 23533034 60739584 13791 1992294400 4194304 8395647 140734938227952 18446744073709551615 4918225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 14829 13791 499 1026 0 13799 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 59316
[startup+6.30035 s]
/proc/loadavg: 1.09 1.08 1.01 2/107 28890
/proc/meminfo: memFree=1619676/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=89792 CPUtime=6.29
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 22056 0 0 0 622 7 0 0 25 0 1 0 23533034 91947008 20920 1992294400 4194304 8395647 140734938227952 18446744073709551615 6723586 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 22448 20920 828 1026 0 21418 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89792
[startup+12.7006 s]
/proc/loadavg: 1.08 1.08 1.01 2/107 28890
/proc/meminfo: memFree=1589916/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=92132 CPUtime=12.69
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 22795 0 0 0 1261 8 0 0 25 0 1 0 23533034 94343168 21430 1992294400 4194304 8395647 140734938227952 18446744073709551615 6698259 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 23033 21430 611 1026 0 22003 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92132
[startup+25.5012 s]
/proc/loadavg: 1.06 1.08 1.01 2/107 28890
/proc/meminfo: memFree=1586568/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=95640 CPUtime=25.48
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 23673 0 0 0 2537 11 0 0 25 0 1 0 23533034 97935360 22294 1992294400 4194304 8395647 140734938227952 18446744073709551615 6708229 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 23910 22294 641 1026 0 22880 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 95640
[startup+51.1012 s]
/proc/loadavg: 1.04 1.07 1.00 2/107 28890
/proc/meminfo: memFree=1583964/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=97436 CPUtime=51.07
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 24375 0 0 0 5091 16 0 0 25 0 1 0 23533034 99774464 22938 1992294400 4194304 8395647 140734938227952 18446744073709551615 6708607 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 24359 22938 622 1026 0 23329 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 97436
[startup+102.308 s]
/proc/loadavg: 1.02 1.06 1.00 2/107 28892
/proc/meminfo: memFree=1553708/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=130064 CPUtime=102.26
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 34609 0 0 0 10191 35 0 0 25 0 1 0 23533034 133185536 30494 1992294400 4194304 8395647 140734938227952 18446744073709551615 6440894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 32516 30494 643 1026 0 31486 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 130064
[startup+162.301 s]
/proc/loadavg: 1.00 1.05 1.00 2/107 28894
/proc/meminfo: memFree=1538580/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=144824 CPUtime=162.23
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 45994 0 0 0 16163 60 0 0 25 0 1 0 23533034 148299776 34271 1992294400 4194304 8395647 140734938227952 18446744073709551615 6697338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 36206 34271 635 1026 0 35176 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 144824
[startup+222.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 28896
/proc/meminfo: memFree=1538456/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=144824 CPUtime=222.21
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 46002 0 0 0 22142 79 0 0 25 0 1 0 23533034 148299776 34279 1992294400 4194304 8395647 140734938227952 18446744073709551615 6693807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 36206 34279 636 1026 0 35176 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 144824
[startup+282.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 28896
/proc/meminfo: memFree=1535976/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=146692 CPUtime=282.18
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 46625 0 0 0 28124 94 0 0 25 0 1 0 23533034 150212608 34902 1992294400 4194304 8395647 140734938227952 18446744073709551615 6693742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 36673 34902 636 1026 0 35643 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 146692
[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 28898
/proc/meminfo: memFree=1535852/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=146692 CPUtime=342.15
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 46625 0 0 0 34104 111 0 0 25 0 1 0 23533034 150212608 34902 1992294400 4194304 8395647 140734938227952 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 36673 34902 636 1026 0 35643 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 146692
[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 28900
/proc/meminfo: memFree=1535852/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=146692 CPUtime=402.14
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 46625 0 0 0 40086 128 0 0 25 0 1 0 23533034 150212608 34902 1992294400 4194304 8395647 140734938227952 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 36673 34902 636 1026 0 35643 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 146692
[startup+462.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 28902
/proc/meminfo: memFree=1535480/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=146692 CPUtime=462.11
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 46728 0 0 0 46068 143 0 0 25 0 1 0 23533034 150212608 35005 1992294400 4194304 8395647 140734938227952 18446744073709551615 6698059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 36673 35005 636 1026 0 35643 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 146692
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28904
/proc/meminfo: memFree=1535356/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=146692 CPUtime=522.09
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 46728 0 0 0 52050 159 0 0 25 0 1 0 23533034 150212608 35005 1992294400 4194304 8395647 140734938227952 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 36673 35005 636 1026 0 35643 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 146692
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28904
/proc/meminfo: memFree=1535356/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=146692 CPUtime=582.06
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 46728 0 0 0 58030 176 0 0 25 0 1 0 23533034 150212608 35005 1992294400 4194304 8395647 140734938227952 18446744073709551615 6696688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 36673 35005 636 1026 0 35643 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 146692
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28906
/proc/meminfo: memFree=1535356/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=146692 CPUtime=642.04
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 46728 0 0 0 64012 192 0 0 25 0 1 0 23533034 150212608 35005 1992294400 4194304 8395647 140734938227952 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 36673 35005 636 1026 0 35643 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 146692
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1533248/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=148552 CPUtime=1121.85
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 47230 0 0 0 111861 324 0 0 25 0 1 0 23533034 152117248 35507 1992294400 4194304 8395647 140734938227952 18446744073709551615 6697359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 37138 35507 639 1026 0 36108 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 148552
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28920
/proc/meminfo: memFree=1533248/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=148552 CPUtime=1181.83
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 47230 0 0 0 117841 342 0 0 25 0 1 0 23533034 152117248 35507 1992294400 4194304 8395647 140734938227952 18446744073709551615 7382016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 37138 35507 639 1026 0 36108 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 148552
[startup+1242.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 28922
/proc/meminfo: memFree=1533248/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=148552 CPUtime=1241.8
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 47231 0 0 0 123822 358 0 0 25 0 1 0 23533034 152117248 35508 1992294400 4194304 8395647 140734938227952 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 37138 35508 640 1026 0 36108 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 148552
[startup+1302.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28933
/proc/meminfo: memFree=1532008/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=148552 CPUtime=1301.78
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 47231 0 0 0 129803 375 0 0 25 0 1 0 23533034 152117248 35508 1992294400 4194304 8395647 140734938227952 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 37138 35508 640 1026 0 36108 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 148552
[startup+1362.3 s]
/proc/loadavg: 1.29 1.10 1.03 2/107 31163
/proc/meminfo: memFree=1407672/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=148552 CPUtime=1361.53
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 47231 0 0 0 135764 389 0 0 25 0 1 0 23533034 152117248 35508 1992294400 4194304 8395647 140734938227952 18446744073709551615 6709598 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28889/statm: 37138 35508 640 1026 0 36108 0
Current children cumulated CPU time (s) 1361.53
Current children cumulated vsize (KiB) 148552
[startup+1422.31 s]
/proc/loadavg: 1.11 1.08 1.03 2/107 31165
/proc/meminfo: memFree=1407796/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=148552 CPUtime=1421.52
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 47231 0 0 0 141752 400 0 0 25 0 1 0 23533034 152117248 35508 1992294400 4194304 8395647 140734938227952 18446744073709551615 6503554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 37138 35508 640 1026 0 36108 0
Current children cumulated CPU time (s) 1421.52
Current children cumulated vsize (KiB) 148552
[startup+1482.3 s]
/proc/loadavg: 1.04 1.06 1.02 2/107 31165
/proc/meminfo: memFree=1407796/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=148552 CPUtime=1481.48
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 47231 0 0 0 147737 411 0 0 25 0 1 0 23533034 152117248 35508 1992294400 4194304 8395647 140734938227952 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 37138 35508 640 1026 0 36108 0
Current children cumulated CPU time (s) 1481.48
Current children cumulated vsize (KiB) 148552
[startup+1542.3 s]
/proc/loadavg: 1.01 1.05 1.01 2/107 31167
/proc/meminfo: memFree=1407796/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=148552 CPUtime=1541.46
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 47231 0 0 0 153717 429 0 0 25 0 1 0 23533034 152117248 35508 1992294400 4194304 8395647 140734938227952 18446744073709551615 6693026 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 37138 35508 640 1026 0 36108 0
Current children cumulated CPU time (s) 1541.46
Current children cumulated vsize (KiB) 148552
[startup+1602.3 s]
/proc/loadavg: 1.00 1.04 1.01 2/107 31169
/proc/meminfo: memFree=1407796/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=148552 CPUtime=1601.44
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 47231 0 0 0 159697 447 0 0 25 0 1 0 23533034 152117248 35508 1992294400 4194304 8395647 140734938227952 18446744073709551615 6699275 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 37138 35508 640 1026 0 36108 0
Current children cumulated CPU time (s) 1601.44
Current children cumulated vsize (KiB) 148552
[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 31171
/proc/meminfo: memFree=1407804/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=148552 CPUtime=1661.41
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 47231 0 0 0 165679 462 0 0 25 0 1 0 23533034 152117248 35508 1992294400 4194304 8395647 140734938227952 18446744073709551615 6663837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 37138 35508 640 1026 0 36108 0
Current children cumulated CPU time (s) 1661.41
Current children cumulated vsize (KiB) 148552
[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31173
/proc/meminfo: memFree=1407804/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=148552 CPUtime=1721.39
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 47231 0 0 0 171662 477 0 0 25 0 1 0 23533034 152117248 35508 1992294400 4194304 8395647 140734938227952 18446744073709551615 6697262 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 37138 35508 640 1026 0 36108 0
Current children cumulated CPU time (s) 1721.39
Current children cumulated vsize (KiB) 148552
[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31173
/proc/meminfo: memFree=1407680/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=149244 CPUtime=1781.37
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 47384 0 0 0 177644 493 0 0 25 0 1 0 23533034 152825856 35661 1992294400 4194304 8395647 140734938227952 18446744073709551615 6390516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 37311 35661 640 1026 0 36281 0
Current children cumulated CPU time (s) 1781.37
Current children cumulated vsize (KiB) 149244
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31175
/proc/meminfo: memFree=1407556/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=149244 CPUtime=1784.57
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 47404 0 0 0 177964 493 0 0 25 0 1 0 23533034 152825856 35681 1992294400 4194304 8395647 140734938227952 18446744073709551615 6701841 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 37311 35681 640 1026 0 36281 0
Current children cumulated CPU time (s) 1784.57
Current children cumulated vsize (KiB) 149244
[startup+1788.7 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31175
/proc/meminfo: memFree=1412144/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=146748 CPUtime=1787.77
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 48325 0 0 0 178282 495 0 0 25 0 1 0 23533034 150269952 34539 1992294400 4194304 8395647 140734938227952 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 36687 34539 640 1026 0 35657 0
Current children cumulated CPU time (s) 1787.77
Current children cumulated vsize (KiB) 146748
[startup+1790.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31175
/proc/meminfo: memFree=1410160/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=148784 CPUtime=1789.37
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 48905 0 0 0 178441 496 0 0 25 0 1 0 23533034 152354816 35087 1992294400 4194304 8395647 140734938227952 18446744073709551615 6587243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 37196 35087 641 1026 0 36166 0
Current children cumulated CPU time (s) 1789.37
Current children cumulated vsize (KiB) 148784
[startup+1791.1 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31175
/proc/meminfo: memFree=1410036/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=148784 CPUtime=1790.17
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 48923 0 0 0 178521 496 0 0 25 0 1 0 23533034 152354816 35105 1992294400 4194304 8395647 140734938227952 18446744073709551615 6697342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 37196 35105 641 1026 0 36166 0
Current children cumulated CPU time (s) 1790.17
Current children cumulated vsize (KiB) 148784
[startup+1791.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31175
/proc/meminfo: memFree=1410036/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=148784 CPUtime=1790.57
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 48932 0 0 0 178561 496 0 0 25 0 1 0 23533034 152354816 35114 1992294400 4194304 8395647 140734938227952 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 37196 35114 641 1026 0 36166 0
Current children cumulated CPU time (s) 1790.57
Current children cumulated vsize (KiB) 148784
[startup+1791.7 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31175
/proc/meminfo: memFree=1410036/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=148784 CPUtime=1790.77
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 48956 0 0 0 178581 496 0 0 25 0 1 0 23533034 152354816 35138 1992294400 4194304 8395647 140734938227952 18446744073709551615 6635663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28889/statm: 37196 35138 641 1026 0 36166 0
Current children cumulated CPU time (s) 1790.77
Current children cumulated vsize (KiB) 148784
[startup+1791.8 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31175
/proc/meminfo: memFree=1409788/2059040 swapFree=4162460/4192956
[pid=28889] ppid=28887 vsize=148784 CPUtime=1790.87
/proc/28889/stat : 28889 (pbscip.linux.x8) R 28887 28889 27946 0 -1 4202496 48958 0 0 0 178591 496 0 0 25 0 1 0 23533034 152354816 35140 1992294400 4194304 8395647 140734938227952 18446744073709551615 4214400 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28889/statm: 37196 35140 643 1026 0 36166 0
Current children cumulated CPU time (s) 1790.87
Current children cumulated vsize (KiB) 148784
Child status: 0
Real time (s): 1791.85
CPU time (s): 1790.93
CPU user time (s): 1785.95
CPU system time (s): 4.98424
CPU usage (%): 99.9485
Max. virtual memory (cumulated for all children) (KiB): 173460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.95
system time used= 4.98424
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48961
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= 1
involuntary context switches= 4034
runsolver used 2.97855 second user time and 8.49171 second system time
The end