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-2703937-1278562978.opb>
0.59/0.68 c original problem has 5570 variables (5570 bin, 0 int, 0 impl, 0 cont) and 10896 constraints
0.59/0.68 c problem read
0.59/0.68 c presolving settings loaded
0.89/0.90 c presolving:
1.00/1.05 c (round 1) 2 del vars, 1 del conss, 2 chg bounds, 120 chg sides, 350 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.10/1.15 c (round 2) 2 del vars, 5209 del conss, 2 chg bounds, 120 chg sides, 350 chg coeffs, 247 upgd conss, 0 impls, 0 clqs
1.19/1.23 c (round 3) 2 del vars, 5209 del conss, 2 chg bounds, 148 chg sides, 588 chg coeffs, 479 upgd conss, 62 impls, 0 clqs
3.79/3.88 c (3.2s) probing: 180/5568 (3.2%) - 0 fixings, 0 aggregations, 4 implications, 0 bound changes
3.79/3.88 c (3.2s) probing aborted: 100/100 successive totally useless probings
3.79/3.88 c presolving (4 rounds):
3.79/3.88 c 2 deleted vars, 5209 deleted constraints, 2 tightened bounds, 0 added holes, 148 changed sides, 588 changed coefficients
3.79/3.88 c 72 implications, 0 cliques
3.79/3.88 c presolved problem has 5568 variables (5568 bin, 0 int, 0 impl, 0 cont) and 5687 constraints
3.79/3.88 c 479 constraints of type <knapsack>
3.79/3.88 c 5208 constraints of type <linear>
3.79/3.88 c transformed objective value is always integral (scale: 1)
3.79/3.88 c Presolving Time: 3.02
3.79/3.88 c - non default parameters ----------------------------------------------------------------------
3.79/3.88 c # SCIP version 1.2.1.3
3.79/3.88 c
3.79/3.88 c # frequency for displaying node information lines
3.79/3.88 c # [type: int, range: [-1,2147483647], default: 100]
3.79/3.88 c display/freq = 10000
3.79/3.88 c
3.79/3.88 c # maximal time in seconds to run
3.79/3.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.79/3.88 c limits/time = 1789.33
3.79/3.88 c
3.79/3.88 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.79/3.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.79/3.88 c limits/memory = 1620
3.79/3.88 c
3.79/3.88 c # default clock type (1: CPU user seconds, 2: wall clock time)
3.79/3.88 c # [type: int, range: [1,2], default: 1]
3.79/3.88 c timing/clocktype = 2
3.79/3.88 c
3.79/3.88 c # should presolving try to simplify inequalities
3.79/3.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.79/3.88 c constraints/linear/simplifyinequalities = TRUE
3.79/3.88 c
3.79/3.88 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.79/3.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.79/3.88 c constraints/indicator/addCouplingCons = TRUE
3.79/3.88 c
3.79/3.88 c # should presolving try to simplify knapsacks
3.79/3.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.79/3.88 c constraints/knapsack/simplifyinequalities = TRUE
3.79/3.88 c
3.79/3.88 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.79/3.88 c # [type: int, range: [-1,2147483647], default: -1]
3.79/3.88 c separating/rapidlearning/freq = 0
3.79/3.88 c
3.79/3.88 c -----------------------------------------------------------------------------------------------
3.79/3.88 c start solving
3.79/3.89 c
4.40/4.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.40/4.45 c 3.8s| 1 | 0 | 1835 | - | 46M| 0 |1478 |5568 |5687 |5568 |5687 | 0 | 0 | 0 | 1.200000e+02 | -- | Inf
21.09/21.10 c 20.4s| 1 | 0 | 11445 | - | 47M| 0 |2840 |5568 |5687 |5568 |5802 | 115 | 0 | 0 | 1.200000e+02 | -- | Inf
26.89/26.98 c 26.3s| 1 | 0 | 14392 | - | 48M| 0 |3425 |5568 |5687 |5568 |5925 | 238 | 0 | 0 | 1.200000e+02 | -- | Inf
34.27/34.30 c 33.6s| 1 | 0 | 17560 | - | 48M| 0 |3450 |5568 |5687 |5568 |6052 | 365 | 0 | 0 | 1.200000e+02 | -- | Inf
43.88/43.96 c 43.3s| 1 | 0 | 21346 | - | 49M| 0 |3496 |5568 |5687 |5568 |6216 | 529 | 0 | 0 | 1.200000e+02 | -- | Inf
55.76/55.87 c 55.2s| 1 | 0 | 25902 | - | 49M| 0 |3250 |5568 |5687 |5568 |6385 | 698 | 0 | 0 | 1.200000e+02 | -- | Inf
67.26/67.35 c 66.7s| 1 | 0 | 29929 | - | 50M| 0 |3415 |5568 |5687 |5568 |6545 | 858 | 0 | 0 | 1.200000e+02 | -- | Inf
105.85/105.98 c 105s| 1 | 2 | 29929 | - | 50M| 0 |3415 |5568 |5687 |5568 |6545 | 858 | 0 | 17 | 1.200000e+02 | -- | Inf
1789.44/1790.02 c
1789.44/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.44/1790.02 c Solving Time (sec) : 1789.35
1789.44/1790.02 c Solving Nodes : 1417
1789.44/1790.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.44/1790.02 c Dual Bound : +1.20000000000000e+02
1789.44/1790.02 c Gap : infinite
1789.44/1790.02 s UNKNOWN
1789.44/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.44/1790.02 c Solving Time : 1789.35
1789.44/1790.02 c Original Problem :
1789.44/1790.02 c Problem name : HOME/instance-2703937-1278562978.opb
1789.44/1790.02 c Variables : 5570 (5570 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.44/1790.02 c Constraints : 10896 initial, 10896 maximal
1789.44/1790.02 c Presolved Problem :
1789.44/1790.02 c Problem name : t_HOME/instance-2703937-1278562978.opb
1789.44/1790.02 c Variables : 5568 (5568 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.44/1790.02 c Constraints : 5687 initial, 7384 maximal
1789.44/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.44/1790.02 c trivial : 0.01 0 0 0 0 0 0 0 0
1789.44/1790.02 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.02 c implics : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.02 c probing : 2.63 0 0 0 0 0 0 0 0
1789.44/1790.02 c knapsack : 0.02 0 0 0 0 0 0 28 238
1789.44/1790.02 c linear : 0.29 2 0 0 2 0 5209 120 350
1789.44/1790.02 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.02 c root node : - 0 - - 0 - - - -
1789.44/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.44/1790.02 c integral : 0 0 0 1194 0 6 519 0 0 2154
1789.44/1790.02 c knapsack : 479 6 7518 0 2 39 6497 601 0 0
1789.44/1790.02 c linear : 5208 6 7479 0 0 101 221130 0 0 0
1789.44/1790.02 c logicor : 0+ 0 2602 0 0 15 1526 0 0 0
1789.44/1790.02 c countsols : 0 0 0 0 2 0 0 0 0 0
1789.44/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.44/1790.02 c integral : 596.58 0.00 0.00 596.58 0.00
1789.44/1790.02 c knapsack : 2.12 0.09 2.02 0.00 0.00
1789.44/1790.02 c linear : 31.17 0.01 31.16 0.00 0.00
1789.44/1790.02 c logicor : 0.55 0.00 0.55 0.00 0.00
1789.44/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.44/1790.02 c Propagators : Time Calls Cutoffs DomReds
1789.44/1790.02 c vbounds : 0.01 2 0 0
1789.44/1790.02 c rootredcost : 0.01 0 0 0
1789.44/1790.02 c pseudoobj : 0.01 7156 0 0
1789.44/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.44/1790.02 c propagation : 0.03 155 155 1262 41.0 32 18.8 -
1789.44/1790.02 c infeasible LP : 1.31 532 532 1312 22.4 50 17.4 0
1789.44/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.44/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.44/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.44/1790.02 c applied globally : - - - 1702 24.6 - - -
1789.44/1790.02 c applied locally : - - - 0 0.0 - - -
1789.44/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.44/1790.02 c cut pool : 0.00 5 - - 1144 - (maximal pool size: 4054)
1789.44/1790.02 c redcost : 0.78 1200 0 1 0 0
1789.44/1790.02 c impliedbounds : 0.00 6 0 0 0 0
1789.44/1790.02 c intobj : 0.00 0 0 0 0 0
1789.44/1790.02 c cgmip : 0.00 0 0 0 0 0
1789.44/1790.02 c gomory : 4.42 6 0 0 1 0
1789.44/1790.02 c strongcg : 4.38 6 0 0 0 0
1789.44/1790.02 c cmir : 4.25 6 0 0 3000 0
1789.44/1790.02 c flowcover : 2.26 6 0 0 1200 0
1789.44/1790.02 c clique : 0.01 1 0 0 0 0
1789.44/1790.02 c zerohalf : 0.00 0 0 0 0 0
1789.44/1790.02 c mcf : 0.00 1 0 0 0 0
1789.44/1790.02 c rapidlearning : 2.30 1 0 0 0 0
1789.44/1790.02 c Pricers : Time Calls Vars
1789.44/1790.02 c problem variables: 0.00 0 0
1789.44/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.44/1790.02 c relpscost : 596.57 1194 6 519 0 0 2154
1789.44/1790.02 c pscost : 0.00 0 0 0 0 0 0
1789.44/1790.02 c inference : 0.00 2 0 0 0 0 4
1789.44/1790.02 c mostinf : 0.00 0 0 0 0 0 0
1789.44/1790.02 c leastinf : 0.00 0 0 0 0 0 0
1789.44/1790.02 c fullstrong : 0.00 0 0 0 0 0 0
1789.44/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0
1789.44/1790.02 c random : 0.00 0 0 0 0 0 0
1789.44/1790.02 c Primal Heuristics : Time Calls Found
1789.44/1790.02 c LP solutions : 0.00 - 0
1789.44/1790.02 c pseudo solutions : 0.00 - 0
1789.44/1790.02 c oneopt : 0.00 0 0
1789.44/1790.02 c crossover : 0.00 0 0
1789.44/1790.02 c rootsoldiving : 12.47 3 0
1789.44/1790.02 c pscostdiving : 20.87 6 0
1789.44/1790.02 c linesearchdiving : 31.56 6 0
1789.44/1790.02 c veclendiving : 43.20 6 0
1789.44/1790.02 c feaspump : 32.29 4 0
1789.44/1790.02 c objpscostdiving : 39.32 4 0
1789.44/1790.02 c trivial : 0.01 2 0
1789.44/1790.02 c simplerounding : 0.00 0 0
1789.44/1790.02 c zirounding : 0.77 1000 0
1789.44/1790.02 c rounding : 1.88 442 0
1789.44/1790.02 c shifting : 9.31 125 0
1789.44/1790.02 c intshifting : 0.00 0 0
1789.44/1790.02 c twoopt : 0.00 0 0
1789.44/1790.02 c fixandinfer : 0.00 0 0
1789.44/1790.02 c coefdiving : 99.21 5 0
1789.44/1790.02 c fracdiving : 219.87 4 0
1789.44/1790.02 c intdiving : 0.00 0 0
1789.44/1790.02 c actconsdiving : 0.00 0 0
1789.44/1790.02 c guideddiving : 0.00 0 0
1789.44/1790.02 c octane : 0.00 0 0
1789.44/1790.02 c rens : 0.02 0 0
1789.44/1790.02 c rins : 0.00 0 0
1789.44/1790.02 c localbranching : 0.00 0 0
1789.44/1790.02 c mutation : 0.00 0 0
1789.44/1790.02 c dins : 0.00 0 0
1789.44/1790.02 c undercover : 0.00 0 0
1789.44/1790.02 c nlp : 0.00 0 0
1789.44/1790.02 c trysol : 0.00 0 0
1789.44/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec
1789.44/1790.02 c primal LP : 0.05 0 0 0.00 0.00
1789.44/1790.02 c dual LP : 620.54 1432 872320 609.16 1405.75
1789.44/1790.02 c lex dual LP : 0.00 0 0 0.00 -
1789.44/1790.02 c barrier LP : 0.00 0 0 0.00 -
1789.44/1790.02 c diving/probing LP: 486.05 1568 546840 348.75 1125.07
1789.44/1790.02 c strong branching : 595.28 1254 555878 443.28 933.81
1789.44/1790.02 c (at root node) : - 17 16501 970.65 -
1789.44/1790.02 c conflict analysis: 0.00 0 0 0.00 -
1789.44/1790.02 c B&B Tree :
1789.44/1790.02 c number of runs : 1
1789.44/1790.02 c nodes : 1417
1789.44/1790.02 c nodes (total) : 1417
1789.44/1790.02 c nodes left : 701
1789.44/1790.02 c max depth : 145
1789.44/1790.02 c max depth (total): 145
1789.44/1790.02 c backtracks : 160 (11.3%)
1789.44/1790.02 c delayed cutoffs : 41
1789.44/1790.02 c repropagations : 2065 (65449 domain reductions, 32 cutoffs)
1789.44/1790.02 c avg switch length: 5.50
1789.44/1790.02 c switching time : 5.48
1789.44/1790.02 c Solution :
1789.44/1790.02 c Solutions found : 0 (0 improvements)
1789.44/1790.02 c Primal Bound : -
1789.44/1790.02 c Dual Bound : +1.20000000000000e+02
1789.44/1790.02 c Gap : infinite
1789.44/1790.02 c Root Dual Bound : +1.20000000000000e+02
1789.44/1790.02 c Root Iterations : 29929
1789.65/1790.23 c Time complete: 1789.68.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703937-1278562978/watcher-2703937-1278562978 -o /tmp/evaluation-result-2703937-1278562978/solver-2703937-1278562978 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703937-1278562978.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.00 1.00 1.00 3/106 29033
/proc/meminfo: memFree=1788144/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=7904 CPUtime=0
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 1060 0 0 0 0 0 0 0 18 0 1 0 24509393 8093696 972 1992294400 4194304 8395647 140735091997408 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29033/statm: 1976 980 365 1026 0 946 0
[startup+0.0157979 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29033
/proc/meminfo: memFree=1788144/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=10336 CPUtime=0
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 1870 0 0 0 0 0 0 0 18 0 1 0 24509393 10584064 1782 1992294400 4194304 8395647 140735091997408 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29033/statm: 2584 1782 393 1026 0 1554 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10336
[startup+0.10181 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29033
/proc/meminfo: memFree=1788144/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=12548 CPUtime=0.09
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 2424 0 0 0 9 0 0 0 20 0 1 0 24509393 12849152 2336 1992294400 4194304 8395647 140735091997408 18446744073709551615 5758034 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29033/statm: 3137 2336 393 1026 0 2107 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12548
[startup+0.300837 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29033
/proc/meminfo: memFree=1788144/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=17560 CPUtime=0.29
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 3676 0 0 0 28 1 0 0 20 0 1 0 24509393 17981440 3588 1992294400 4194304 8395647 140735091997408 18446744073709551615 5755464 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29033/statm: 4390 3588 393 1026 0 3360 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17560
[startup+0.700895 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29033
/proc/meminfo: memFree=1788144/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=35160 CPUtime=0.69
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 8341 0 0 0 66 3 0 0 20 0 1 0 24509393 36003840 7899 1992294400 4194304 8395647 140735091997408 18446744073709551615 6347101 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 8790 7910 412 1026 0 7760 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35160
[startup+1.50201 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29034
/proc/meminfo: memFree=1686952/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=114164 CPUtime=1.49
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 26840 0 0 0 140 9 0 0 23 0 1 0 24509393 116903936 26398 1992294400 4194304 8395647 140735091997408 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 28541 26398 492 1026 0 27511 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 114164
[startup+3.10124 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29034
/proc/meminfo: memFree=1684100/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=114164 CPUtime=3.09
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 26840 0 0 0 300 9 0 0 25 0 1 0 24509393 116903936 26398 1992294400 4194304 8395647 140735091997408 18446744073709551615 5026824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 28541 26398 492 1026 0 27511 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 114164
[startup+6.30169 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29034
/proc/meminfo: memFree=1660168/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=140888 CPUtime=6.29
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 33854 0 0 0 617 12 0 0 25 0 1 0 24509393 144269312 32337 1992294400 4194304 8395647 140735091997408 18446744073709551615 6378459 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 35222 32337 583 1026 0 34192 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 140888
[startup+12.7006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29034
/proc/meminfo: memFree=1659424/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=141136 CPUtime=12.68
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 34246 0 0 0 1255 13 0 0 25 0 1 0 24509393 144523264 32550 1992294400 4194304 8395647 140735091997408 18446744073709551615 6669605 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 35284 32550 593 1026 0 34254 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 141136
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29036
/proc/meminfo: memFree=1637600/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=166256 CPUtime=25.49
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 55445 0 0 0 2520 29 0 0 25 0 1 0 24509393 170246144 38207 1992294400 4194304 8395647 140735091997408 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 41564 38207 796 1026 0 40534 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 166256
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29036
/proc/meminfo: memFree=1617760/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=186192 CPUtime=51.06
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 63520 0 0 0 5063 43 0 0 25 0 1 0 24509393 190660608 43176 1992294400 4194304 8395647 140735091997408 18446744073709551615 6698043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 46548 43176 843 1026 0 45518 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 186192
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29038
/proc/meminfo: memFree=1615652/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=190640 CPUtime=102.25
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 123019 0 0 0 10148 77 0 0 25 0 1 0 24509393 195215360 43637 1992294400 4194304 8395647 140735091997408 18446744073709551615 6718860 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 47660 43637 725 1026 0 46630 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 190640
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29038
/proc/meminfo: memFree=1616148/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=185044 CPUtime=162.23
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 133688 0 0 0 16123 100 0 0 25 0 1 0 24509393 189485056 43398 1992294400 4194304 8395647 140735091997408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 46261 43398 621 1026 0 45231 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 185044
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29040
/proc/meminfo: memFree=1617760/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=184712 CPUtime=222.21
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 136893 0 0 0 22098 123 0 0 25 0 1 0 24509393 189145088 43021 1992294400 4194304 8395647 140735091997408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 46178 43021 621 1026 0 45148 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 184712
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29042
/proc/meminfo: memFree=1616644/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=184712 CPUtime=282.19
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 137163 0 0 0 28074 145 0 0 25 0 1 0 24509393 189145088 43291 1992294400 4194304 8395647 140735091997408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 46178 43291 621 1026 0 45148 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 184712
[startup+342.301 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 29044
/proc/meminfo: memFree=1616644/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=184712 CPUtime=342.17
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 137163 0 0 0 34049 168 0 0 25 0 1 0 24509393 189145088 43291 1992294400 4194304 8395647 140735091997408 18446744073709551615 6721238 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 46178 43291 621 1026 0 45148 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 184712
[startup+402.301 s]
/proc/loadavg: 1.10 1.03 1.00 2/107 29046
/proc/meminfo: memFree=1616520/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=184712 CPUtime=402.15
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 137168 0 0 0 40017 198 0 0 25 0 1 0 24509393 189145088 43296 1992294400 4194304 8395647 140735091997408 18446744073709551615 6698055 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 46178 43296 626 1026 0 45148 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 184712
[startup+462.302 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 29046
/proc/meminfo: memFree=1616520/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=184712 CPUtime=462.14
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 137170 0 0 0 45989 225 0 0 25 0 1 0 24509393 189145088 43298 1992294400 4194304 8395647 140735091997408 18446744073709551615 5535713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 46178 43298 628 1026 0 45148 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 184712
[startup+522.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 29048
/proc/meminfo: memFree=1616520/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=184712 CPUtime=522.12
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 137171 0 0 0 51961 251 0 0 25 0 1 0 24509393 189145088 43299 1992294400 4194304 8395647 140735091997408 18446744073709551615 6721240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 46178 43299 628 1026 0 45148 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 184712
[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 29050
/proc/meminfo: memFree=1614164/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=186960 CPUtime=582.1
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 137708 0 0 0 57935 275 0 0 25 0 1 0 24509393 191447040 43836 1992294400 4194304 8395647 140735091997408 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 46740 43836 628 1026 0 45710 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 186960
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29052
/proc/meminfo: memFree=1623836/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=178940 CPUtime=642.09
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 138769 0 0 0 63905 304 0 0 25 0 1 0 24509393 183234560 41418 1992294400 4194304 8395647 140735091997408 18446744073709551615 6721220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 44735 41418 628 1026 0 43705 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 178940
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1615776/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=184748 CPUtime=1061.96
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 140711 0 0 0 105696 500 0 0 25 0 1 0 24509393 189181952 43360 1992294400 4194304 8395647 140735091997408 18446744073709551615 6721235 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 46187 43360 651 1026 0 45157 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 184748
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29064
/proc/meminfo: memFree=1615776/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=184748 CPUtime=1121.95
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 140711 0 0 0 111663 532 0 0 25 0 1 0 24509393 189181952 43360 1992294400 4194304 8395647 140735091997408 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 46187 43360 651 1026 0 45157 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 184748
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29066
/proc/meminfo: memFree=1615652/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=184748 CPUtime=1181.93
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 140711 0 0 0 117627 566 0 0 25 0 1 0 24509393 189181952 43360 1992294400 4194304 8395647 140735091997408 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 46187 43360 651 1026 0 45157 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 184748
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29068
/proc/meminfo: memFree=1615528/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=184748 CPUtime=1241.9
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 140711 0 0 0 123597 593 0 0 25 0 1 0 24509393 189181952 43360 1992294400 4194304 8395647 140735091997408 18446744073709551615 6697363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 46187 43360 651 1026 0 45157 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 184748
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29070
/proc/meminfo: memFree=1615528/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=184748 CPUtime=1301.9
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 140711 0 0 0 129565 625 0 0 25 0 1 0 24509393 189181952 43360 1992294400 4194304 8395647 140735091997408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 46187 43360 651 1026 0 45157 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 184748
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29070
/proc/meminfo: memFree=1615528/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=184748 CPUtime=1361.87
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 140711 0 0 0 135520 667 0 0 25 0 1 0 24509393 189181952 43360 1992294400 4194304 8395647 140735091997408 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 46187 43360 651 1026 0 45157 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 184748
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29072
/proc/meminfo: memFree=1615528/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=184748 CPUtime=1421.86
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 140711 0 0 0 141482 704 0 0 25 0 1 0 24509393 189181952 43360 1992294400 4194304 8395647 140735091997408 18446744073709551615 6586889 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 46187 43360 651 1026 0 45157 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 184748
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29074
/proc/meminfo: memFree=1612552/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=187828 CPUtime=1481.83
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 141518 0 0 0 147446 737 0 0 25 0 1 0 24509393 192335872 44094 1992294400 4194304 8395647 140735091997408 18446744073709551615 6750913 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 46957 44094 628 1026 0 45927 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 187828
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29076
/proc/meminfo: memFree=1612428/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=191024 CPUtime=1541.81
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 141521 0 0 0 153415 766 0 0 25 0 1 0 24509393 195608576 44097 1992294400 4194304 8395647 140735091997408 18446744073709551615 6721235 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 47756 44097 628 1026 0 46726 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 191024
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29078
/proc/meminfo: memFree=1611628/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=191024 CPUtime=1601.8
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 141523 0 0 0 159384 796 0 0 25 0 1 0 24509393 195608576 44099 1992294400 4194304 8395647 140735091997408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 47756 44099 628 1026 0 46726 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 191024
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29078
/proc/meminfo: memFree=1608652/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=193272 CPUtime=1661.79
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 142258 0 0 0 165352 827 0 0 25 0 1 0 24509393 197910528 44834 1992294400 4194304 8395647 140735091997408 18446744073709551615 6698055 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 48318 44834 628 1026 0 47288 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 193272
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29080
/proc/meminfo: memFree=1606668/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=193272 CPUtime=1721.77
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 142731 0 0 0 171310 867 0 0 25 0 1 0 24509393 197910528 45307 1992294400 4194304 8395647 140735091997408 18446744073709551615 6721246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 48318 45307 628 1026 0 47288 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 193272
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29082
/proc/meminfo: memFree=1609024/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=189944 CPUtime=1781.74
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 151143 0 0 0 177272 902 0 0 25 0 1 0 24509393 194502656 44646 1992294400 4194304 8395647 140735091997408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 47486 44646 628 1026 0 46456 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 189944
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29082
/proc/meminfo: memFree=1609024/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=189944 CPUtime=1784.94
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 151143 0 0 0 177590 904 0 0 25 0 1 0 24509393 194502656 44646 1992294400 4194304 8395647 140735091997408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 47486 44646 628 1026 0 46456 0
Current children cumulated CPU time (s) 1784.94
Current children cumulated vsize (KiB) 189944
[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 29082
/proc/meminfo: memFree=1609024/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=189944 CPUtime=1788.15
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 151143 0 0 0 177909 906 0 0 25 0 1 0 24509393 194502656 44646 1992294400 4194304 8395647 140735091997408 18446744073709551615 6653200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 47486 44646 628 1026 0 46456 0
Current children cumulated CPU time (s) 1788.15
Current children cumulated vsize (KiB) 189944
[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 29082
/proc/meminfo: memFree=1609024/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=189944 CPUtime=1788.95
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 151143 0 0 0 177989 906 0 0 25 0 1 0 24509393 194502656 44646 1992294400 4194304 8395647 140735091997408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 47486 44646 628 1026 0 46456 0
Current children cumulated CPU time (s) 1788.95
Current children cumulated vsize (KiB) 189944
[startup+1789.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29082
/proc/meminfo: memFree=1609024/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=189944 CPUtime=1789.34
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 151143 0 0 0 178028 906 0 0 25 0 1 0 24509393 194502656 44646 1992294400 4194304 8395647 140735091997408 18446744073709551615 6585983 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29033/statm: 47486 44646 628 1026 0 46456 0
Current children cumulated CPU time (s) 1789.34
Current children cumulated vsize (KiB) 189944
[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29082
/proc/meminfo: memFree=1609024/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=189944 CPUtime=1789.54
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 151146 0 0 0 178048 906 0 0 25 0 1 0 24509393 194502656 44649 1992294400 4194304 8395647 140735091997408 18446744073709551615 6150665 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29033/statm: 47486 44649 631 1026 0 46456 0
Current children cumulated CPU time (s) 1789.54
Current children cumulated vsize (KiB) 189944
[startup+1790.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29082
/proc/meminfo: memFree=1609024/2059040 swapFree=4082496/4192956
[pid=29033] ppid=29031 vsize=189944 CPUtime=1789.65
/proc/29033/stat : 29033 (pbscip.linux.x8) R 29031 29033 28921 0 -1 4202496 151146 0 0 0 178058 907 0 0 25 0 1 0 24509393 194502656 44244 1992294400 4194304 8395647 140735091997408 18446744073709551615 7435351 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29033/statm: 47486 44244 631 1026 0 46456 0
Current children cumulated CPU time (s) 1789.65
Current children cumulated vsize (KiB) 189944
Child status: 0
Real time (s): 1790.24
CPU time (s): 1789.69
CPU user time (s): 1780.6
CPU system time (s): 9.08862
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 204580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.6
system time used= 9.08862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151149
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= 4786
runsolver used 2.88656 second user time and 8.5197 second system time
The end