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-2703455-1278557506.opb>
0.79/0.83 c original problem has 49335 variables (49335 bin, 0 int, 0 impl, 0 cont) and 4902 constraints
0.79/0.83 c problem read
0.79/0.84 c presolving settings loaded
1.49/1.51 c presolving:
1.79/1.82 c (round 1) 2321 del vars, 401 del conss, 2321 chg bounds, 4018 chg sides, 4018 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.89/1.93 c (round 2) 2321 del vars, 593 del conss, 2321 chg bounds, 4018 chg sides, 4018 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
2.09/2.18 c (round 3) 2321 del vars, 593 del conss, 2321 chg bounds, 4018 chg sides, 4018 chg coeffs, 4206 upgd conss, 0 impls, 0 clqs
5.29/5.36 c (4.5s) probing: 101/47014 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
5.29/5.36 c (4.5s) probing aborted: 100/100 successive totally useless probings
5.29/5.37 c presolving (4 rounds):
5.29/5.37 c 2321 deleted vars, 593 deleted constraints, 2321 tightened bounds, 0 added holes, 4018 changed sides, 4018 changed coefficients
5.29/5.37 c 76520 implications, 0 cliques
5.29/5.37 c presolved problem has 47014 variables (47014 bin, 0 int, 0 impl, 0 cont) and 4309 constraints
5.29/5.37 c 4206 constraints of type <knapsack>
5.29/5.37 c 103 constraints of type <linear>
5.29/5.37 c transformed objective value is always integral (scale: 1)
5.29/5.37 c Presolving Time: 4.16
5.29/5.37 c - non default parameters ----------------------------------------------------------------------
5.29/5.37 c # SCIP version 1.2.1.3
5.29/5.37 c
5.29/5.37 c # frequency for displaying node information lines
5.29/5.37 c # [type: int, range: [-1,2147483647], default: 100]
5.29/5.37 c display/freq = 10000
5.29/5.37 c
5.29/5.37 c # maximal time in seconds to run
5.29/5.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.29/5.37 c limits/time = 1789.17
5.29/5.37 c
5.29/5.37 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.29/5.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.29/5.37 c limits/memory = 1620
5.29/5.37 c
5.29/5.37 c # default clock type (1: CPU user seconds, 2: wall clock time)
5.29/5.37 c # [type: int, range: [1,2], default: 1]
5.29/5.37 c timing/clocktype = 2
5.29/5.37 c
5.29/5.37 c # should presolving try to simplify inequalities
5.29/5.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.37 c constraints/linear/simplifyinequalities = TRUE
5.29/5.37 c
5.29/5.37 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
5.29/5.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.37 c constraints/indicator/addCouplingCons = TRUE
5.29/5.37 c
5.29/5.37 c # should presolving try to simplify knapsacks
5.29/5.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.37 c constraints/knapsack/simplifyinequalities = TRUE
5.29/5.37 c
5.29/5.37 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.29/5.37 c # [type: int, range: [-1,2147483647], default: -1]
5.29/5.37 c separating/rapidlearning/freq = 0
5.29/5.37 c
5.29/5.37 c -----------------------------------------------------------------------------------------------
5.29/5.37 c start solving
5.40/5.41 c
6.09/6.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.09/6.16 c 5.3s| 1 | 0 | 126 | - | 186M| 0 | 47 | 47k|4309 | 47k|4309 | 0 | 0 | 0 | 1.074083e+09 | -- | Inf
31.58/31.67 c 30.8s| 1 | 0 | 4883 | - | 187M| 0 | 47 | 47k|4309 | 47k|4309 | 0 | 0 | 0 | 1.074083e+09 | -- | Inf
91.17/91.20 c 90.4s| 1 | 0 | 4899 | - | 188M| 0 | 60 | 47k|4309 | 47k|4328 | 19 | 0 | 0 | 1.074083e+09 | -- | Inf
151.44/151.55 c 151s| 1 | 0 | 4930 | - | 188M| 0 | 88 | 47k|4309 | 47k|4348 | 39 | 0 | 0 | 1.074083e+09 | -- | Inf
212.92/213.08 c 212s| 1 | 0 | 4956 | - | 189M| 0 | 114 | 47k|4309 | 47k|4399 | 90 | 0 | 0 | 1.074083e+09 | -- | Inf
274.30/274.47 c 274s| 1 | 0 | 4990 | - | 190M| 0 | 104 | 47k|4309 | 47k|4421 | 112 | 0 | 0 | 1.074083e+09 | -- | Inf
335.77/335.96 c 335s| 1 | 0 | 5046 | - | 191M| 0 | 134 | 47k|4309 | 47k|4445 | 136 | 0 | 0 | 1.074083e+09 | -- | Inf
396.45/396.66 c 396s| 1 | 0 | 5092 | - | 191M| 0 | 136 | 47k|4309 | 47k|4469 | 160 | 0 | 0 | 1.074083e+09 | -- | Inf
401.05/401.24 c 400s| 1 | 2 | 5092 | - | 191M| 0 | 136 | 47k|4309 | 47k|4469 | 160 | 0 | 28 | 1.074083e+09 | -- | Inf
1789.37/1790.04 c
1789.37/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1789.37/1790.04 c Solving Time (sec) : 1789.20
1789.37/1790.04 c Solving Nodes : 234
1789.37/1790.04 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.37/1790.04 c Dual Bound : +1.07408969824758e+09
1789.37/1790.04 c Gap : infinite
1789.37/1790.04 s UNKNOWN
1789.37/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1789.37/1790.04 c Solving Time : 1789.20
1789.37/1790.04 c Original Problem :
1789.37/1790.04 c Problem name : HOME/instance-2703455-1278557506.opb
1789.37/1790.04 c Variables : 49335 (49335 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.37/1790.04 c Constraints : 4902 initial, 4902 maximal
1789.37/1790.04 c Presolved Problem :
1789.37/1790.04 c Problem name : t_HOME/instance-2703455-1278557506.opb
1789.37/1790.04 c Variables : 47014 (47014 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.37/1790.04 c Constraints : 4309 initial, 4438 maximal
1789.37/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.37/1790.04 c trivial : 0.03 0 0 0 0 0 0 0 0
1789.37/1790.04 c dualfix : 0.03 0 0 0 0 0 0 0 0
1789.37/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.37/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.37/1790.04 c implics : 0.02 0 0 0 0 0 0 0 0
1789.37/1790.04 c probing : 1.22 0 0 0 0 0 0 0 0
1789.37/1790.04 c knapsack : 1.88 0 0 0 0 0 0 0 0
1789.37/1790.04 c linear : 0.60 2321 0 0 2321 0 593 4018 4018
1789.37/1790.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.37/1790.04 c root node : - 1 - - 1 - - - -
1789.37/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.37/1790.04 c integral : 0 0 0 274 0 0 55 0 0 442
1789.37/1790.04 c knapsack : 4206 6 4399 0 0 0 660 283 0 0
1789.37/1790.04 c linear : 103 6 4399 0 0 7 524470 34 0 0
1789.37/1790.04 c logicor : 0+ 0 172 0 0 2 28 0 0 0
1789.37/1790.04 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.37/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.37/1790.04 c integral : 312.67 0.00 0.00 312.67 0.00
1789.37/1790.04 c knapsack : 20.78 6.02 14.76 0.00 0.00
1789.37/1790.04 c linear : 1032.91 342.69 690.22 0.00 0.00
1789.37/1790.04 c logicor : 3.19 0.00 3.19 0.00 0.00
1789.37/1790.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.37/1790.04 c Propagators : Time Calls Cutoffs DomReds
1789.37/1790.04 c vbounds : 0.00 2 0 0
1789.37/1790.04 c rootredcost : 0.00 0 0 0
1789.37/1790.04 c pseudoobj : 0.04 4203 0 1
1789.37/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.37/1790.04 c propagation : 656.59 9 9 575 36462.3 0 0.0 -
1789.37/1790.04 c infeasible LP : 53.57 30 21 261 3532.0 0 0.0 0
1789.37/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.37/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.37/1790.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.37/1790.04 c applied globally : - - - 183 1538.1 - - -
1789.37/1790.04 c applied locally : - - - 0 0.0 - - -
1789.37/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.37/1790.04 c cut pool : 0.00 4 - - 1 - (maximal pool size: 52)
1789.37/1790.04 c redcost : 2.43 279 0 0 0 0
1789.37/1790.04 c impliedbounds : 0.04 6 0 0 0 0
1789.37/1790.04 c intobj : 0.00 0 0 0 0 0
1789.37/1790.04 c cgmip : 0.00 0 0 0 0 0
1789.37/1790.04 c gomory : 0.77 6 0 0 0 0
1789.37/1790.04 c strongcg : 2.32 6 0 0 5 0
1789.37/1790.04 c cmir : 4.61 6 0 0 0 0
1789.37/1790.04 c flowcover : 6.60 6 0 0 51 0
1789.37/1790.04 c clique : 0.06 1 0 0 0 0
1789.37/1790.04 c zerohalf : 0.00 0 0 0 0 0
1789.37/1790.04 c mcf : 0.00 1 0 0 0 0
1789.37/1790.04 c rapidlearning : 0.00 0 0 0 0 0
1789.37/1790.04 c Pricers : Time Calls Vars
1789.37/1790.04 c problem variables: 0.00 0 0
1789.37/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.37/1790.04 c relpscost : 312.67 274 0 55 0 0 442
1789.37/1790.04 c pscost : 0.00 0 0 0 0 0 0
1789.37/1790.04 c inference : 0.00 0 0 0 0 0 0
1789.37/1790.04 c mostinf : 0.00 0 0 0 0 0 0
1789.37/1790.04 c leastinf : 0.00 0 0 0 0 0 0
1789.37/1790.04 c fullstrong : 0.00 0 0 0 0 0 0
1789.37/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0
1789.37/1790.04 c random : 0.00 0 0 0 0 0 0
1789.37/1790.04 c Primal Heuristics : Time Calls Found
1789.37/1790.04 c LP solutions : 0.00 - 0
1789.37/1790.04 c pseudo solutions : 0.00 - 0
1789.37/1790.04 c oneopt : 0.00 0 0
1789.37/1790.04 c crossover : 0.00 0 0
1789.37/1790.04 c feaspump : 25.32 1 0
1789.37/1790.04 c fracdiving : 51.11 2 0
1789.37/1790.04 c veclendiving : 33.48 2 0
1789.37/1790.04 c linesearchdiving : 700.07 2 0
1789.37/1790.04 c coefdiving : 53.13 3 0
1789.37/1790.04 c trivial : 0.18 2 0
1789.37/1790.04 c simplerounding : 0.01 0 0
1789.37/1790.04 c zirounding : 0.20 220 0
1789.37/1790.04 c rounding : 3.39 193 0
1789.37/1790.04 c shifting : 3.14 33 0
1789.37/1790.04 c intshifting : 0.00 0 0
1789.37/1790.04 c twoopt : 0.00 0 0
1789.37/1790.04 c fixandinfer : 0.00 0 0
1789.37/1790.04 c pscostdiving : 34.30 3 0
1789.37/1790.04 c intdiving : 0.00 0 0
1789.37/1790.04 c actconsdiving : 0.00 0 0
1789.37/1790.04 c objpscostdiving : 1.34 2 0
1789.37/1790.04 c rootsoldiving : 102.10 1 0
1789.37/1790.04 c guideddiving : 0.00 0 0
1789.37/1790.04 c octane : 0.00 0 0
1789.37/1790.04 c rens : 1.21 1 0
1789.37/1790.04 c rins : 0.00 0 0
1789.37/1790.04 c localbranching : 0.00 0 0
1789.37/1790.04 c mutation : 0.00 0 0
1789.37/1790.04 c dins : 0.00 0 0
1789.37/1790.04 c undercover : 0.00 0 0
1789.37/1790.04 c nlp : 0.00 0 0
1789.37/1790.04 c trysol : 0.00 0 0
1789.37/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec
1789.37/1790.04 c primal LP : 0.02 0 0 0.00 0.00
1789.37/1790.04 c dual LP : 54.34 286 14646 51.21 269.53
1789.37/1790.04 c lex dual LP : 0.00 0 0 0.00 -
1789.37/1790.04 c barrier LP : 0.00 0 0 0.00 -
1789.37/1790.04 c diving/probing LP: 220.25 3191 31280 9.80 142.02
1789.37/1790.04 c strong branching : 312.59 2676 71445 26.70 228.56
1789.37/1790.04 c (at root node) : - 28 908 32.43 -
1789.37/1790.04 c conflict analysis: 0.00 0 0 0.00 -
1789.37/1790.04 c B&B Tree :
1789.37/1790.04 c number of runs : 1
1789.37/1790.04 c nodes : 234
1789.37/1790.04 c nodes (total) : 234
1789.37/1790.04 c nodes left : 209
1789.37/1790.04 c max depth : 22
1789.37/1790.04 c max depth (total): 22
1789.37/1790.04 c backtracks : 15 (6.4%)
1789.37/1790.04 c delayed cutoffs : 0
1789.37/1790.04 c repropagations : 16 (11 domain reductions, 0 cutoffs)
1789.37/1790.04 c avg switch length: 2.04
1789.37/1790.04 c switching time : 1.17
1789.37/1790.04 c Solution :
1789.37/1790.04 c Solutions found : 0 (0 improvements)
1789.37/1790.04 c Primal Bound : -
1789.37/1790.04 c Dual Bound : +1.07408969824758e+09
1789.37/1790.04 c Gap : infinite
1789.37/1790.04 c Root Dual Bound : +1.07408332478269e+09
1789.37/1790.04 c Root Iterations : 5092
1789.97/1790.68 c Time complete: 1790.06.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703455-1278557506/watcher-2703455-1278557506 -o /tmp/evaluation-result-2703455-1278557506/solver-2703455-1278557506 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703455-1278557506.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 29326
/proc/meminfo: memFree=1772292/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=7904 CPUtime=0
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 1045 0 0 0 0 0 0 0 20 0 1 0 23957949 8093696 956 1992294400 4194304 8395647 140737437378768 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29326/statm: 1976 964 365 1026 0 946 0
[startup+0.054763 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29326
/proc/meminfo: memFree=1772292/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=19076 CPUtime=0.05
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 4072 0 0 0 4 1 0 0 20 0 1 0 23957949 19533824 3983 1992294400 4194304 8395647 140737437378768 18446744073709551615 4424487 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29326/statm: 4769 3983 393 1026 0 3739 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 19076
[startup+0.10077 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29326
/proc/meminfo: memFree=1772292/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=27284 CPUtime=0.09
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 5951 0 0 0 7 2 0 0 20 0 1 0 23957949 27938816 5863 1992294400 4194304 8395647 140737437378768 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29326/statm: 6821 5873 393 1026 0 5791 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27284
[startup+0.300807 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29326
/proc/meminfo: memFree=1772292/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=45684 CPUtime=0.29
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 10678 0 0 0 26 3 0 0 20 0 1 0 23957949 46780416 10555 1992294400 4194304 8395647 140737437378768 18446744073709551615 5755830 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29326/statm: 11421 10555 399 1026 0 10391 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45684
[startup+0.700879 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29326
/proc/meminfo: memFree=1772292/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=53932 CPUtime=0.69
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 12554 0 0 0 65 4 0 0 21 0 1 0 23957949 55226368 12427 1992294400 4194304 8395647 140737437378768 18446744073709551615 5758038 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29326/statm: 13483 12427 395 1026 0 12453 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53932
[startup+1.50102 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29327
/proc/meminfo: memFree=1675440/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=141900 CPUtime=1.49
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 34003 0 0 0 137 12 0 0 22 0 1 0 23957949 145305600 33521 1992294400 4194304 8395647 140737437378768 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 35475 33521 444 1026 0 34445 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 141900
[startup+3.10132 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29327
/proc/meminfo: memFree=1625468/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=196540 CPUtime=3.09
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 47270 0 0 0 293 16 0 0 25 0 1 0 23957949 201256960 46788 1992294400 4194304 8395647 140737437378768 18446744073709551615 6085116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 49135 46788 520 1026 0 48105 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 196540
[startup+6.3009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29327
/proc/meminfo: memFree=1581572/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=267476 CPUtime=6.28
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 66802 0 0 0 607 21 0 0 25 0 1 0 23957949 273895424 63158 1992294400 4194304 8395647 140737437378768 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 66869 63158 654 1026 0 65839 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 267476
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29329
/proc/meminfo: memFree=1518580/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=271040 CPUtime=12.68
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 67636 0 0 0 1246 22 0 0 25 0 1 0 23957949 277544960 63989 1992294400 4194304 8395647 140737437378768 18446744073709551615 6669694 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 67760 63989 658 1026 0 66730 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 271040
[startup+25.5004 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29329
/proc/meminfo: memFree=1517836/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=271040 CPUtime=25.48
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 67659 0 0 0 2524 24 0 0 25 0 1 0 23957949 277544960 64012 1992294400 4194304 8395647 140737437378768 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 67760 64012 658 1026 0 66730 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 271040
[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29329
/proc/meminfo: memFree=1517712/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=271316 CPUtime=51.07
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 67729 0 0 0 5082 25 0 0 25 0 1 0 23957949 277827584 64081 1992294400 4194304 8395647 140737437378768 18446744073709551615 6013893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 67829 64081 665 1026 0 66799 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 271316
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29331
/proc/meminfo: memFree=1504692/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=285600 CPUtime=102.26
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 71064 0 0 0 10200 26 0 0 25 0 1 0 23957949 292454400 67295 1992294400 4194304 8395647 140737437378768 18446744073709551615 6013877 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 71400 67295 615 1026 0 70370 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 285600
[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29333
/proc/meminfo: memFree=1502584/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=295028 CPUtime=162.24
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 71573 0 0 0 16197 27 0 0 25 0 1 0 23957949 302108672 67801 1992294400 4194304 8395647 140737437378768 18446744073709551615 6013893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 73757 67801 628 1026 0 72727 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 295028
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29333
/proc/meminfo: memFree=1499732/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=297336 CPUtime=222.22
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 72303 0 0 0 22195 27 0 0 25 0 1 0 23957949 304472064 68522 1992294400 4194304 8395647 140737437378768 18446744073709551615 4934627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 74334 68522 620 1026 0 73304 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 297336
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29335
/proc/meminfo: memFree=1498120/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=297336 CPUtime=282.19
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 72691 0 0 0 28192 27 0 0 25 0 1 0 23957949 304472064 68910 1992294400 4194304 8395647 140737437378768 18446744073709551615 6013877 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 74334 68910 620 1026 0 73304 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 297336
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29337
/proc/meminfo: memFree=1481628/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=313636 CPUtime=342.17
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 76802 0 0 0 34189 28 0 0 25 0 1 0 23957949 321163264 73021 1992294400 4194304 8395647 140737437378768 18446744073709551615 4935572 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 78409 73021 620 1026 0 77379 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 313636
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29339
/proc/meminfo: memFree=1477908/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=314272 CPUtime=402.16
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 107228 0 0 0 40174 42 0 0 25 0 1 0 23957949 321814528 73834 1992294400 4194304 8395647 140737437378768 18446744073709551615 6586935 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 78568 73834 638 1026 0 77538 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 314272
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29341
/proc/meminfo: memFree=1477784/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=314272 CPUtime=462.13
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 107228 0 0 0 46157 56 0 0 25 0 1 0 23957949 321814528 73834 1992294400 4194304 8395647 140737437378768 18446744073709551615 6669653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 78568 73834 638 1026 0 77538 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 314272
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29341
/proc/meminfo: memFree=1475924/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=317348 CPUtime=522.11
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 107868 0 0 0 52141 70 0 0 25 0 1 0 23957949 324964352 74465 1992294400 4194304 8395647 140737437378768 18446744073709551615 6669694 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 79337 74465 638 1026 0 78307 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 317348
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29352
/proc/meminfo: memFree=1470344/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=322212 CPUtime=582.08
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 109082 0 0 0 58127 81 0 0 25 0 1 0 23957949 329945088 75643 1992294400 4194304 8395647 140737437378768 18446744073709551615 6574032 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 80553 75643 644 1026 0 79523 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 322212
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29354
/proc/meminfo: memFree=1461788/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=330828 CPUtime=642.06
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 111234 0 0 0 64117 89 0 0 25 0 1 0 23957949 338767872 77795 1992294400 4194304 8395647 140737437378768 18446744073709551615 4911327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 82707 77795 644 1026 0 81677 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 330828
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1403756/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=389396 CPUtime=1001.94
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 125875 0 0 0 100058 136 0 0 25 0 1 0 23957949 398741504 92436 1992294400 4194304 8395647 140737437378768 18446744073709551615 6023241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 97349 92436 743 1026 0 96319 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 389396
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29366
/proc/meminfo: memFree=1381188/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=411700 CPUtime=1061.91
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 131495 0 0 0 106054 137 0 0 25 0 1 0 23957949 421580800 98056 1992294400 4194304 8395647 140737437378768 18446744073709551615 6023227 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 102925 98056 743 1026 0 101895 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 411700
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29366
/proc/meminfo: memFree=1367548/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=424912 CPUtime=1121.9
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 134822 0 0 0 112051 139 0 0 25 0 1 0 23957949 435109888 101383 1992294400 4194304 8395647 140737437378768 18446744073709551615 6023238 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 106228 101383 743 1026 0 105198 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 424912
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29368
/proc/meminfo: memFree=1367548/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=424912 CPUtime=1181.88
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 134822 0 0 0 118049 139 0 0 25 0 1 0 23957949 435109888 101383 1992294400 4194304 8395647 140737437378768 18446744073709551615 6023205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 106228 101383 743 1026 0 105198 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 424912
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29370
/proc/meminfo: memFree=1363952/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=428648 CPUtime=1241.86
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 135714 0 0 0 124042 144 0 0 25 0 1 0 23957949 438935552 102275 1992294400 4194304 8395647 140737437378768 18446744073709551615 6691045 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 107162 102275 743 1026 0 106132 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 428648
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29372
/proc/meminfo: memFree=1358992/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=433508 CPUtime=1301.84
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 136962 0 0 0 130028 156 0 0 25 0 1 0 23957949 443912192 103523 1992294400 4194304 8395647 140737437378768 18446744073709551615 6669642 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 108377 103523 743 1026 0 107347 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 433508
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29374
/proc/meminfo: memFree=1353660/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=438772 CPUtime=1361.82
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 138270 0 0 0 136017 165 0 0 25 0 1 0 23957949 449302528 104831 1992294400 4194304 8395647 140737437378768 18446744073709551615 6669638 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 109693 104831 743 1026 0 108663 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 438772
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29374
/proc/meminfo: memFree=1349940/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=442796 CPUtime=1421.8
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 139202 0 0 0 142008 172 0 0 25 0 1 0 23957949 453423104 105763 1992294400 4194304 8395647 140737437378768 18446744073709551615 6023234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 110699 105763 743 1026 0 109669 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 442796
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29376
/proc/meminfo: memFree=1349940/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=442796 CPUtime=1481.77
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 139202 0 0 0 148005 172 0 0 25 0 1 0 23957949 453423104 105763 1992294400 4194304 8395647 140737437378768 18446744073709551615 6023234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 110699 105763 743 1026 0 109669 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 442796
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29378
/proc/meminfo: memFree=1338284/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=454272 CPUtime=1541.76
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 142095 0 0 0 154002 174 0 0 25 0 1 0 23957949 465174528 108656 1992294400 4194304 8395647 140737437378768 18446744073709551615 6023205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 113568 108656 743 1026 0 112538 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 454272
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29380
/proc/meminfo: memFree=1336300/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=456548 CPUtime=1601.74
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 142659 0 0 0 160000 174 0 0 25 0 1 0 23957949 467505152 109220 1992294400 4194304 8395647 140737437378768 18446744073709551615 6023234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 114137 109220 743 1026 0 113107 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 456548
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29382
/proc/meminfo: memFree=1327496/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=464984 CPUtime=1661.71
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 144801 0 0 0 165997 174 0 0 25 0 1 0 23957949 476143616 111362 1992294400 4194304 8395647 140737437378768 18446744073709551615 6023205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 116246 111362 743 1026 0 115216 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 464984
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29385
/proc/meminfo: memFree=1327248/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=464984 CPUtime=1721.69
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 144801 0 0 0 171995 174 0 0 25 0 1 0 23957949 476143616 111362 1992294400 4194304 8395647 140737437378768 18446744073709551615 6023245 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 116246 111362 743 1026 0 115216 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 464984
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29387
/proc/meminfo: memFree=1320056/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=472272 CPUtime=1781.67
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 146616 0 0 0 177984 183 0 0 25 0 1 0 23957949 483606528 113177 1992294400 4194304 8395647 140737437378768 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 118068 113177 743 1026 0 117038 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 472272
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 29387
/proc/meminfo: memFree=1319808/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=472512 CPUtime=1784.88
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 146664 0 0 0 178304 184 0 0 25 0 1 0 23957949 483852288 113225 1992294400 4194304 8395647 140737437378768 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 118128 113225 743 1026 0 117098 0
Current children cumulated CPU time (s) 1784.88
Current children cumulated vsize (KiB) 472512
[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29387
/proc/meminfo: memFree=1319808/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=472512 CPUtime=1788.07
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 146664 0 0 0 178623 184 0 0 25 0 1 0 23957949 483852288 113225 1992294400 4194304 8395647 140737437378768 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 118128 113225 743 1026 0 117098 0
Current children cumulated CPU time (s) 1788.07
Current children cumulated vsize (KiB) 472512
[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29387
/proc/meminfo: memFree=1319808/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=472512 CPUtime=1788.87
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 146664 0 0 0 178703 184 0 0 25 0 1 0 23957949 483852288 113225 1992294400 4194304 8395647 140737437378768 18446744073709551615 6585941 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29326/statm: 118128 113225 743 1026 0 117098 0
Current children cumulated CPU time (s) 1788.87
Current children cumulated vsize (KiB) 472512
[startup+1790.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29387
/proc/meminfo: memFree=1319808/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=472512 CPUtime=1789.67
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 146667 0 0 0 178783 184 0 0 25 0 1 0 23957949 483852288 113228 1992294400 4194304 8395647 140737437378768 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29326/statm: 118128 113228 745 1026 0 117098 0
Current children cumulated CPU time (s) 1789.67
Current children cumulated vsize (KiB) 472512
[startup+1790.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29387
/proc/meminfo: memFree=1681640/2059040 swapFree=4079148/4192956
[pid=29326] ppid=29324 vsize=249940 CPUtime=1790.08
/proc/29326/stat : 29326 (pbscip.linux.x8) R 29324 29326 27279 0 -1 4202496 146668 0 0 0 178819 189 0 0 25 0 1 0 23957949 255938560 5071 1992294400 4194304 8395647 140737437378768 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29326/statm: 62485 5071 735 1026 0 61455 0
Current children cumulated CPU time (s) 1790.08
Current children cumulated vsize (KiB) 249940
Child status: 0
Real time (s): 1790.71
CPU time (s): 1790.09
CPU user time (s): 1788.2
CPU system time (s): 1.89571
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 472512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.2
system time used= 1.89571
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146668
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= 3
involuntary context switches= 5769
runsolver used 2.85057 second user time and 8.5667 second system time
The end