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-2703393-1278564079.opb>
1.19/1.23 c original problem has 21320 variables (21320 bin, 0 int, 0 impl, 0 cont) and 79746 constraints
1.19/1.23 c problem read
1.19/1.24 c presolving settings loaded
1.59/1.63 c presolving:
2.49/2.54 c (round 1) 1339 del vars, 2653 del conss, 5 chg bounds, 10 chg sides, 11 chg coeffs, 0 upgd conss, 678660 impls, 0 clqs
2.49/2.57 c (round 2) 1339 del vars, 2683 del conss, 5 chg bounds, 10 chg sides, 11 chg coeffs, 0 upgd conss, 678660 impls, 0 clqs
3.09/3.10 c (round 3) 1339 del vars, 2684 del conss, 5 chg bounds, 10 chg sides, 11 chg coeffs, 77062 upgd conss, 678660 impls, 0 clqs
17.59/17.68 c (16.4s) probing: 479/19981 (2.4%) - 0 fixings, 0 aggregations, 30049 implications, 0 bound changes
17.59/17.68 c (16.4s) probing aborted: 100/100 successive totally useless probings
17.59/17.69 c presolving (4 rounds):
17.59/17.69 c 1339 deleted vars, 2684 deleted constraints, 5 tightened bounds, 0 added holes, 10 changed sides, 11 changed coefficients
17.59/17.69 c 738758 implications, 0 cliques
17.59/17.69 c presolved problem has 19981 variables (19981 bin, 0 int, 0 impl, 0 cont) and 77062 constraints
17.59/17.69 c 1 constraints of type <knapsack>
17.59/17.69 c 58477 constraints of type <setppc>
17.59/17.69 c 18584 constraints of type <logicor>
17.59/17.69 c transformed objective value is always integral (scale: 1)
17.59/17.69 c Presolving Time: 16.20
17.59/17.69 c - non default parameters ----------------------------------------------------------------------
17.59/17.69 c # SCIP version 1.2.1.3
17.59/17.69 c
17.59/17.69 c # frequency for displaying node information lines
17.59/17.69 c # [type: int, range: [-1,2147483647], default: 100]
17.59/17.69 c display/freq = 10000
17.59/17.69 c
17.59/17.69 c # maximal time in seconds to run
17.59/17.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
17.59/17.69 c limits/time = 1788.77
17.59/17.69 c
17.59/17.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
17.59/17.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
17.59/17.69 c limits/memory = 1620
17.59/17.69 c
17.59/17.69 c # default clock type (1: CPU user seconds, 2: wall clock time)
17.59/17.69 c # [type: int, range: [1,2], default: 1]
17.59/17.69 c timing/clocktype = 2
17.59/17.69 c
17.59/17.69 c # should presolving try to simplify inequalities
17.59/17.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
17.59/17.69 c constraints/linear/simplifyinequalities = TRUE
17.59/17.69 c
17.59/17.69 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
17.59/17.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
17.59/17.69 c constraints/indicator/addCouplingCons = TRUE
17.59/17.69 c
17.59/17.69 c # should presolving try to simplify knapsacks
17.59/17.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
17.59/17.69 c constraints/knapsack/simplifyinequalities = TRUE
17.59/17.69 c
17.59/17.69 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
17.59/17.69 c # [type: int, range: [-1,2147483647], default: -1]
17.59/17.69 c separating/rapidlearning/freq = 0
17.59/17.69 c
17.59/17.69 c -----------------------------------------------------------------------------------------------
17.59/17.69 c start solving
17.68/17.71 c
122.34/122.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.34/122.48 c 121s| 1 | 0 | 12895 | - | 148M| 0 |6174 | 19k| 77k| 19k| 77k| 0 | 0 | 0 | 1.060954e+01 | -- | Inf
1790.83/1791.30 c 1790s| 1 | 2 | 42242 | - | 148M| 0 |6174 | 19k| 77k| 19k| 77k| 0 | 0 | 0 | 1.060954e+01 | -- | Inf
1790.83/1791.30 c
1790.83/1791.30 c SCIP Status : solving was interrupted [time limit reached]
1790.83/1791.30 c Solving Time (sec) : 1790.07
1790.83/1791.30 c Solving Nodes : 1
1790.83/1791.30 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.83/1791.30 c Dual Bound : +1.06095434859089e+01
1790.83/1791.30 c Gap : infinite
1790.83/1791.30 s UNKNOWN
1790.83/1791.30 c SCIP Status : solving was interrupted [time limit reached]
1790.83/1791.30 c Solving Time : 1790.07
1790.83/1791.30 c Original Problem :
1790.83/1791.30 c Problem name : HOME/instance-2703393-1278564079.opb
1790.83/1791.30 c Variables : 21320 (21320 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.83/1791.30 c Constraints : 79746 initial, 79746 maximal
1790.83/1791.30 c Presolved Problem :
1790.83/1791.30 c Problem name : t_HOME/instance-2703393-1278564079.opb
1790.83/1791.30 c Variables : 19981 (19981 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.83/1791.30 c Constraints : 77062 initial, 77062 maximal
1790.83/1791.30 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.83/1791.30 c trivial : 0.01 0 0 0 0 0 0 0 0
1790.83/1791.30 c dualfix : 0.01 0 0 0 0 0 0 0 0
1790.83/1791.30 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.83/1791.30 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.83/1791.30 c implics : 0.02 0 10 0 0 0 0 0 0
1790.83/1791.30 c probing : 14.20 0 0 0 0 0 0 0 0
1790.83/1791.30 c knapsack : 0.19 0 0 0 0 0 0 0 0
1790.83/1791.30 c setppc : 0.13 0 0 0 0 0 0 0 0
1790.83/1791.30 c linear : 1.29 5 1324 0 5 0 2684 10 11
1790.83/1791.30 c logicor : 0.08 0 0 0 0 0 0 0 0
1790.83/1791.30 c root node : - 0 - - 0 - - - -
1790.83/1791.30 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.83/1791.30 c integral : 0 0 0 1 0 0 0 0 0 2
1790.83/1791.30 c knapsack : 1 1 1089 0 0 0 0 0 0 0
1790.83/1791.30 c setppc : 58477 1 1089 0 0 0 0 0 0 0
1790.83/1791.30 c logicor : 18584 1 956 0 0 0 0 0 0 0
1790.83/1791.30 c countsols : 0 0 0 0 0 0 0 0 0 0
1790.83/1791.30 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.83/1791.30 c integral : 0.01 0.00 0.00 0.01 0.00
1790.83/1791.30 c knapsack : 0.08 0.03 0.05 0.00 0.00
1790.83/1791.30 c setppc : 10.04 0.01 10.03 0.00 0.00
1790.83/1791.30 c logicor : 0.34 0.01 0.34 0.00 0.00
1790.83/1791.30 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.83/1791.30 c Propagators : Time Calls Cutoffs DomReds
1790.83/1791.30 c vbounds : 0.00 2 0 0
1790.83/1791.30 c rootredcost : 0.00 0 0 0
1790.83/1791.30 c pseudoobj : 0.00 2 0 0
1790.83/1791.30 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.83/1791.30 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.83/1791.30 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.83/1791.30 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.83/1791.30 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.83/1791.30 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.83/1791.30 c applied globally : - - - 0 0.0 - - -
1790.83/1791.30 c applied locally : - - - 0 0.0 - - -
1790.83/1791.30 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.83/1791.30 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.83/1791.30 c redcost : 0.00 1 0 0 0 0
1790.83/1791.30 c impliedbounds : 0.04 1 0 0 0 0
1790.83/1791.30 c intobj : 0.00 0 0 0 0 0
1790.83/1791.30 c cgmip : 0.00 0 0 0 0 0
1790.83/1791.30 c gomory : 154.29 1 0 0 0 0
1790.83/1791.30 c strongcg : 155.60 1 0 0 0 0
1790.83/1791.30 c cmir : 4.26 1 0 0 0 0
1790.83/1791.30 c flowcover : 4.72 1 0 0 0 0
1790.83/1791.30 c clique : 1.33 1 0 0 0 0
1790.83/1791.30 c zerohalf : 0.00 0 0 0 0 0
1790.83/1791.30 c mcf : 0.15 1 0 0 0 0
1790.83/1791.30 c rapidlearning : 0.00 0 0 0 0 0
1790.83/1791.30 c Pricers : Time Calls Vars
1790.83/1791.30 c problem variables: 0.00 0 0
1790.83/1791.30 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.83/1791.30 c relpscost : 0.01 1 0 0 0 0 2
1790.83/1791.30 c pscost : 0.00 0 0 0 0 0 0
1790.83/1791.30 c inference : 0.00 0 0 0 0 0 0
1790.83/1791.30 c mostinf : 0.00 0 0 0 0 0 0
1790.83/1791.30 c leastinf : 0.00 0 0 0 0 0 0
1790.83/1791.30 c fullstrong : 0.00 0 0 0 0 0 0
1790.83/1791.30 c allfullstrong : 0.00 0 0 0 0 0 0
1790.83/1791.30 c random : 0.00 0 0 0 0 0 0
1790.83/1791.30 c Primal Heuristics : Time Calls Found
1790.83/1791.30 c LP solutions : 0.00 - 0
1790.83/1791.30 c pseudo solutions : 0.00 - 0
1790.83/1791.30 c oneopt : 0.00 0 0
1790.83/1791.30 c crossover : 0.00 0 0
1790.83/1791.30 c trivial : 0.09 2 0
1790.83/1791.30 c simplerounding : 0.00 0 0
1790.83/1791.30 c zirounding : 0.01 1 0
1790.83/1791.30 c rounding : 0.03 1 0
1790.83/1791.30 c shifting : 0.12 1 0
1790.83/1791.30 c intshifting : 0.00 0 0
1790.83/1791.30 c twoopt : 0.00 0 0
1790.83/1791.30 c fixandinfer : 0.00 0 0
1790.83/1791.30 c feaspump : 923.80 1 0
1790.83/1791.30 c coefdiving : 0.00 0 0
1790.83/1791.30 c pscostdiving : 0.00 0 0
1790.83/1791.30 c fracdiving : 0.00 0 0
1790.83/1791.30 c veclendiving : 0.00 0 0
1790.83/1791.30 c intdiving : 0.00 0 0
1790.83/1791.30 c actconsdiving : 0.00 0 0
1790.83/1791.30 c objpscostdiving : 0.00 0 0
1790.83/1791.30 c rootsoldiving : 0.00 0 0
1790.83/1791.30 c linesearchdiving : 0.00 0 0
1790.83/1791.30 c guideddiving : 0.00 0 0
1790.83/1791.30 c octane : 0.00 0 0
1790.83/1791.30 c rens : 424.40 1 0
1790.83/1791.30 c rins : 0.00 0 0
1790.83/1791.30 c localbranching : 0.00 0 0
1790.83/1791.30 c mutation : 0.00 0 0
1790.83/1791.30 c dins : 0.00 0 0
1790.83/1791.30 c undercover : 0.00 0 0
1790.83/1791.30 c nlp : 0.00 0 0
1790.83/1791.30 c trysol : 0.00 0 0
1790.83/1791.30 c LP : Time Calls Iterations Iter/call Iter/sec
1790.83/1791.30 c primal LP : 0.00 0 0 0.00 -
1790.83/1791.30 c dual LP : 104.35 1 12895 12895.00 123.57
1790.83/1791.30 c lex dual LP : 0.00 0 0 0.00 -
1790.83/1791.30 c barrier LP : 0.00 0 0 0.00 -
1790.83/1791.30 c diving/probing LP: 923.57 6 29347 4891.17 31.78
1790.83/1791.30 c strong branching : 0.00 0 0 0.00 -
1790.83/1791.30 c (at root node) : - 0 0 0.00 -
1790.83/1791.30 c conflict analysis: 0.00 0 0 0.00 -
1790.83/1791.30 c B&B Tree :
1790.83/1791.30 c number of runs : 1
1790.83/1791.30 c nodes : 1
1790.83/1791.30 c nodes (total) : 1
1790.83/1791.30 c nodes left : 2
1790.83/1791.30 c max depth : 0
1790.83/1791.30 c max depth (total): 0
1790.83/1791.30 c backtracks : 0 (0.0%)
1790.83/1791.30 c delayed cutoffs : 0
1790.83/1791.30 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.83/1791.30 c avg switch length: 1.00
1790.83/1791.30 c switching time : 0.00
1790.83/1791.30 c Solution :
1790.83/1791.30 c Solutions found : 0 (0 improvements)
1790.83/1791.30 c Primal Bound : -
1790.83/1791.30 c Dual Bound : +1.06095434859089e+01
1790.83/1791.30 c Gap : infinite
1790.83/1791.30 c Root Dual Bound : +1.06095434859089e+01
1790.83/1791.30 c Root Iterations : 42242
1791.23/1791.74 c Time complete: 1791.27.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703393-1278564079/watcher-2703393-1278564079 -o /tmp/evaluation-result-2703393-1278564079/solver-2703393-1278564079 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703393-1278564079.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.01 1.00 3/106 32607
/proc/meminfo: memFree=1679540/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=7904 CPUtime=0
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 1040 0 0 0 0 0 0 0 20 0 1 0 24614263 8093696 951 1992294400 4194304 8395647 140734703449008 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32607/statm: 1976 958 365 1026 0 946 0
[startup+0.0565231 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 32607
/proc/meminfo: memFree=1679540/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=14064 CPUtime=0.05
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 2804 0 0 0 4 1 0 0 20 0 1 0 24614263 14401536 2715 1992294400 4194304 8395647 140734703449008 18446744073709551615 7430272 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32607/statm: 3516 2715 393 1026 0 2486 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14064
[startup+0.101525 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 32607
/proc/meminfo: memFree=1679540/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=18316 CPUtime=0.09
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 3887 0 0 0 8 1 0 0 20 0 1 0 24614263 18755584 3798 1992294400 4194304 8395647 140734703449008 18446744073709551615 5758034 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32607/statm: 4579 3798 393 1026 0 3549 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18316
[startup+0.301543 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 32607
/proc/meminfo: memFree=1679540/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=25200 CPUtime=0.3
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 5608 0 0 0 28 2 0 0 20 0 1 0 24614263 25804800 5519 1992294400 4194304 8395647 140734703449008 18446744073709551615 5758034 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32607/statm: 6300 5519 393 1026 0 5270 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 25200
[startup+0.701577 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 32607
/proc/meminfo: memFree=1679540/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=37380 CPUtime=0.69
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 8653 0 0 0 66 3 0 0 21 0 1 0 24614263 38277120 8564 1992294400 4194304 8395647 140734703449008 18446744073709551615 7370224 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32607/statm: 9345 8564 393 1026 0 8315 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37380
[startup+1.50165 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 32608
/proc/meminfo: memFree=1638364/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=121028 CPUtime=1.5
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 29711 0 0 0 139 11 0 0 23 0 1 0 24614263 123932672 29268 1992294400 4194304 8395647 140734703449008 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 30257 29268 430 1026 0 29227 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 121028
[startup+3.10079 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 32608
/proc/meminfo: memFree=1544000/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=184164 CPUtime=3.09
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 46497 0 0 0 293 16 0 0 25 0 1 0 24614263 188583936 44444 1992294400 4194304 8395647 140734703449008 18446744073709551615 5093845 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 46041 44444 487 1026 0 45011 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 184164
[startup+6.30106 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 32608
/proc/meminfo: memFree=1498616/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=187568 CPUtime=6.28
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 47557 0 0 0 611 17 0 0 25 0 1 0 24614263 192069632 45428 1992294400 4194304 8395647 140734703449008 18446744073709551615 5210648 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 46892 45428 524 1026 0 45862 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 187568
[startup+12.7006 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 32608
/proc/meminfo: memFree=1498616/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=187568 CPUtime=12.68
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 47567 0 0 0 1251 17 0 0 25 0 1 0 24614263 192069632 45430 1992294400 4194304 8395647 140734703449008 18446744073709551615 4214428 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 46892 45430 516 1026 0 45862 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 187568
[startup+25.5017 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 32610
/proc/meminfo: memFree=1407600/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=298144 CPUtime=25.47
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 72277 0 0 0 2521 26 0 0 25 0 1 0 24614263 305299456 68585 1992294400 4194304 8395647 140734703449008 18446744073709551615 6752906 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 74536 68585 609 1026 0 73506 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 298144
[startup+51.101 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 32610
/proc/meminfo: memFree=1395696/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=312912 CPUtime=51.06
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 79088 0 0 0 5074 32 0 0 25 0 1 0 24614263 320421888 71303 1992294400 4194304 8395647 140734703449008 18446744073709551615 6697959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 78228 71303 591 1026 0 77198 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 312912
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32612
/proc/meminfo: memFree=1387512/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=317268 CPUtime=102.25
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 81140 0 0 0 10185 40 0 0 25 0 1 0 24614263 324882432 73355 1992294400 4194304 8395647 140734703449008 18446744073709551615 6390506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 79317 73355 591 1026 0 78287 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 317268
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32612
/proc/meminfo: memFree=1386768/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=317268 CPUtime=162.22
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 81283 0 0 0 16179 43 0 0 25 0 1 0 24614263 324882432 73498 1992294400 4194304 8395647 140734703449008 18446744073709551615 6708043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 79317 73498 596 1026 0 78287 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 317268
[startup+222.302 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 32614
/proc/meminfo: memFree=1386768/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=317268 CPUtime=222.21
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 81298 0 0 0 22174 47 0 0 25 0 1 0 24614263 324882432 73513 1992294400 4194304 8395647 140734703449008 18446744073709551615 6503567 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 79317 73513 596 1026 0 78287 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 317268
[startup+282.301 s]
/proc/loadavg: 1.10 1.03 1.00 2/107 32616
/proc/meminfo: memFree=1386768/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=317268 CPUtime=282.2
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 81314 0 0 0 28170 50 0 0 25 0 1 0 24614263 324882432 73529 1992294400 4194304 8395647 140734703449008 18446744073709551615 6708293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 79317 73529 596 1026 0 78287 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 317268
[startup+342.301 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 32618
/proc/meminfo: memFree=1386644/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=317268 CPUtime=342.18
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 81330 0 0 0 34165 53 0 0 25 0 1 0 24614263 324882432 73545 1992294400 4194304 8395647 140734703449008 18446744073709551615 6697359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 79317 73545 596 1026 0 78287 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 317268
[startup+402.301 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 32620
/proc/meminfo: memFree=1386644/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=317268 CPUtime=402.17
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 81334 0 0 0 40160 57 0 0 25 0 1 0 24614263 324882432 73549 1992294400 4194304 8395647 140734703449008 18446744073709551615 6708260 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 79317 73549 596 1026 0 78287 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 317268
[startup+462.302 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 32620
/proc/meminfo: memFree=1386396/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=317268 CPUtime=462.16
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 81375 0 0 0 46156 60 0 0 25 0 1 0 24614263 324882432 73590 1992294400 4194304 8395647 140734703449008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 79317 73590 596 1026 0 78287 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 317268
[startup+522.302 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 32622
/proc/meminfo: memFree=1385908/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=317268 CPUtime=522.13
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 81375 0 0 0 52151 62 0 0 25 0 1 0 24614263 324882432 73590 1992294400 4194304 8395647 140734703449008 18446744073709551615 6708489 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 79317 73590 596 1026 0 78287 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 317268
[startup+582.301 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 32624
/proc/meminfo: memFree=1385908/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=317268 CPUtime=582.12
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 81375 0 0 0 58147 65 0 0 25 0 1 0 24614263 324882432 73590 1992294400 4194304 8395647 140734703449008 18446744073709551615 6708229 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 79317 73590 596 1026 0 78287 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 317268
[startup+642.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 32626
/proc/meminfo: memFree=1385784/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=317268 CPUtime=642.11
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 81375 0 0 0 64143 68 0 0 25 0 1 0 24614263 324882432 73590 1992294400 4194304 8395647 140734703449008 18446744073709551615 6696991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 79317 73590 596 1026 0 78287 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 317268
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1396200/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=307864 CPUtime=1062.01
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 82295 0 0 0 106110 91 0 0 25 0 1 0 24614263 315252736 70970 1992294400 4194304 8395647 140734703449008 18446744073709551615 6197370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 76966 70970 606 1026 0 75936 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 307864
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32638
/proc/meminfo: memFree=1396200/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=307864 CPUtime=1122
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 82295 0 0 0 112095 105 0 0 25 0 1 0 24614263 315252736 70970 1992294400 4194304 8395647 140734703449008 18446744073709551615 6440954 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 76966 70970 606 1026 0 75936 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 307864
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32640
/proc/meminfo: memFree=1396076/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=307864 CPUtime=1181.97
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 82295 0 0 0 118081 116 0 0 25 0 1 0 24614263 315252736 70970 1992294400 4194304 8395647 140734703449008 18446744073709551615 6197311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 76966 70970 606 1026 0 75936 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 307864
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32651
/proc/meminfo: memFree=1394960/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=307864 CPUtime=1241.96
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 82296 0 0 0 124065 131 0 0 25 0 1 0 24614263 315252736 70971 1992294400 4194304 8395647 140734703449008 18446744073709551615 6440490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 76966 70971 607 1026 0 75936 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 307864
[startup+1302.3 s]
/proc/loadavg: 1.04 1.01 1.00 3/107 32653
/proc/meminfo: memFree=1394960/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=307864 CPUtime=1301.95
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 82296 0 0 0 130050 145 0 0 25 0 1 0 24614263 315252736 70971 1992294400 4194304 8395647 140734703449008 18446744073709551615 6440482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 76966 70971 607 1026 0 75936 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 307864
[startup+1362.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 32653
/proc/meminfo: memFree=1395084/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=307864 CPUtime=1361.93
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 82469 0 0 0 136036 157 0 0 25 0 1 0 24614263 315252736 71144 1992294400 4194304 8395647 140734703449008 18446744073709551615 5849677 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 76966 71144 692 1026 0 75936 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 307864
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32655
/proc/meminfo: memFree=1175108/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=526948 CPUtime=1421.92
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 139997 0 0 0 141989 203 0 0 25 0 1 0 24614263 539594752 125941 1992294400 4194304 8395647 140734703449008 18446744073709551615 6708206 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 131737 125941 663 1026 0 130707 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 526948
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32657
/proc/meminfo: memFree=1175108/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=526948 CPUtime=1481.9
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 139997 0 0 0 147981 209 0 0 25 0 1 0 24614263 539594752 125941 1992294400 4194304 8395647 140734703449008 18446744073709551615 6709078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 131737 125941 663 1026 0 130707 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 526948
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32659
/proc/meminfo: memFree=1175232/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=526948 CPUtime=1541.89
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 139997 0 0 0 153974 215 0 0 25 0 1 0 24614263 539594752 125941 1992294400 4194304 8395647 140734703449008 18446744073709551615 6708206 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 131737 125941 663 1026 0 130707 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 526948
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32661
/proc/meminfo: memFree=1175232/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=526948 CPUtime=1601.87
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 139997 0 0 0 159967 220 0 0 25 0 1 0 24614263 539594752 125941 1992294400 4194304 8395647 140734703449008 18446744073709551615 6707974 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 131737 125941 663 1026 0 130707 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 526948
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32661
/proc/meminfo: memFree=1175232/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=526948 CPUtime=1661.85
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 139997 0 0 0 165960 225 0 0 25 0 1 0 24614263 539594752 125941 1992294400 4194304 8395647 140734703449008 18446744073709551615 6708373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 131737 125941 663 1026 0 130707 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 526948
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32663
/proc/meminfo: memFree=1175232/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=526948 CPUtime=1721.84
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 139997 0 0 0 171953 231 0 0 25 0 1 0 24614263 539594752 125941 1992294400 4194304 8395647 140734703449008 18446744073709551615 6697262 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 131737 125941 663 1026 0 130707 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 526948
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32665
/proc/meminfo: memFree=1175232/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=526948 CPUtime=1781.83
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 139997 0 0 0 177947 236 0 0 25 0 1 0 24614263 539594752 125941 1992294400 4194304 8395647 140734703449008 18446744073709551615 6708534 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 131737 125941 663 1026 0 130707 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 526948
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 32665
/proc/meminfo: memFree=1175232/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=526948 CPUtime=1785.03
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 139997 0 0 0 178267 236 0 0 25 0 1 0 24614263 539594752 125941 1992294400 4194304 8395647 140734703449008 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 131737 125941 663 1026 0 130707 0
Current children cumulated CPU time (s) 1785.03
Current children cumulated vsize (KiB) 526948
[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32665
/proc/meminfo: memFree=1175232/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=526948 CPUtime=1788.23
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 139997 0 0 0 178586 237 0 0 25 0 1 0 24614263 539594752 125941 1992294400 4194304 8395647 140734703449008 18446744073709551615 6696693 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 131737 125941 663 1026 0 130707 0
Current children cumulated CPU time (s) 1788.23
Current children cumulated vsize (KiB) 526948
[startup+1790.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 32665
/proc/meminfo: memFree=1175232/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=526948 CPUtime=1789.83
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 139997 0 0 0 178746 237 0 0 25 0 1 0 24614263 539594752 125941 1992294400 4194304 8395647 140734703449008 18446744073709551615 6378933 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 131737 125941 663 1026 0 130707 0
Current children cumulated CPU time (s) 1789.83
Current children cumulated vsize (KiB) 526948
[startup+1791.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32665
/proc/meminfo: memFree=1175232/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=526948 CPUtime=1790.63
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 140002 0 0 0 178826 237 0 0 25 0 1 0 24614263 539594752 125946 1992294400 4194304 8395647 140734703449008 18446744073709551615 6345887 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32607/statm: 131737 125946 668 1026 0 130707 0
Current children cumulated CPU time (s) 1790.63
Current children cumulated vsize (KiB) 526948
[startup+1791.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32665
/proc/meminfo: memFree=1175232/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=302952 CPUtime=1791.03
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 140242 0 0 0 178864 239 0 0 25 0 1 0 24614263 310222848 71394 1992294400 4194304 8395647 140734703449008 18446744073709551615 4720765 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32607/statm: 75738 71394 675 1026 0 74708 0
Current children cumulated CPU time (s) 1791.03
Current children cumulated vsize (KiB) 302952
[startup+1791.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32665
/proc/meminfo: memFree=1175232/2059040 swapFree=4141912/4192956
[pid=32607] ppid=32605 vsize=282116 CPUtime=1791.23
/proc/32607/stat : 32607 (pbscip.linux.x8) R 32605 32607 32440 0 -1 4202496 140242 0 0 0 178884 239 0 0 25 0 1 0 24614263 288886784 66187 1992294400 4194304 8395647 140734703449008 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32607/statm: 70529 66187 675 1026 0 69499 0
Current children cumulated CPU time (s) 1791.23
Current children cumulated vsize (KiB) 282116
Child status: 0
Real time (s): 1791.75
CPU time (s): 1791.28
CPU user time (s): 1788.86
CPU system time (s): 2.42663
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 537372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.86
system time used= 2.42663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140245
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= 2
involuntary context switches= 9993
runsolver used 2.87256 second user time and 8.5457 second system time
The end