0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
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-2665554-1276621972.opb>
1.10/1.18 c original problem has 8878 variables (8878 bin, 0 int, 0 impl, 0 cont) and 17460 constraints
1.10/1.18 c problem read
1.10/1.18 c presolving settings loaded
1.49/1.56 c presolving:
1.79/1.86 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 152 chg sides, 1289 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.99/2.01 c (round 2) 1 del vars, 7805 del conss, 1 chg bounds, 152 chg sides, 1289 chg coeffs, 934 upgd conss, 0 impls, 0 clqs
2.20/2.23 c (round 3) 1 del vars, 7805 del conss, 1 chg bounds, 254 chg sides, 2206 chg coeffs, 1851 upgd conss, 882 impls, 9 clqs
2.29/2.31 c (round 4) 1 del vars, 7805 del conss, 1 chg bounds, 294 chg sides, 2305 chg coeffs, 1851 upgd conss, 882 impls, 9 clqs
6.50/6.54 c (5.2s) probing: 113/8877 (1.3%) - 0 fixings, 0 aggregations, 349 implications, 0 bound changes
6.50/6.54 c (5.2s) probing aborted: 100/100 successive totally useless probings
6.50/6.54 c presolving (5 rounds):
6.50/6.54 c 1 deleted vars, 7805 deleted constraints, 1 tightened bounds, 0 added holes, 294 changed sides, 2311 changed coefficients
6.50/6.54 c 1580 implications, 9 cliques
6.50/6.54 c presolved problem has 8877 variables (8877 bin, 0 int, 0 impl, 0 cont) and 9655 constraints
6.50/6.54 c 1851 constraints of type <knapsack>
6.50/6.54 c 7804 constraints of type <linear>
6.50/6.54 c transformed objective value is always integral (scale: 1)
6.50/6.54 c Presolving Time: 4.94
6.50/6.54 c - non default parameters ----------------------------------------------------------------------
6.50/6.54 c # SCIP version 1.2.1.2
6.50/6.54 c
6.50/6.54 c # frequency for displaying node information lines
6.50/6.54 c # [type: int, range: [-1,2147483647], default: 100]
6.50/6.54 c display/freq = 10000
6.50/6.54 c
6.50/6.54 c # maximal time in seconds to run
6.50/6.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.50/6.54 c limits/time = 1798.82
6.50/6.54 c
6.50/6.54 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.50/6.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.50/6.54 c limits/memory = 1620
6.50/6.54 c
6.50/6.54 c # should presolving try to simplify inequalities
6.50/6.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.50/6.54 c constraints/linear/simplifyinequalities = TRUE
6.50/6.54 c
6.50/6.54 c # should presolving try to simplify knapsacks
6.50/6.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.50/6.54 c constraints/knapsack/simplifyinequalities = TRUE
6.50/6.54 c
6.50/6.54 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
6.50/6.54 c # [type: int, range: [-1,2147483647], default: -1]
6.50/6.54 c separating/rapidlearning/freq = 0
6.50/6.54 c
6.50/6.54 c -----------------------------------------------------------------------------------------------
6.50/6.54 c start solving
6.50/6.55 c
9.49/9.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.49/9.59 c 8.1s| 1 | 0 | 6434 | - | 82M| 0 |5966 |8877 |9655 |8877 |9655 | 0 | 0 | 0 | 1.530000e+02 | -- | Inf
112.76/112.81 c 111s| 1 | 0 | 12423 | - | 86M| 0 |6144 |8877 | 11k|8877 |9780 | 125 | 0 | 0 | 1.530000e+02 | -- | Inf
122.25/122.39 c 120s| 1 | 0 | 15799 | - | 87M| 0 |5892 |8877 | 11k|8877 |9870 | 215 | 0 | 0 | 1.530000e+02 | -- | Inf
137.66/137.75 c 136s| 1 | 0 | 20813 | - | 87M| 0 |5947 |8877 | 11k|8877 |9983 | 328 | 0 | 0 | 1.530000e+02 | -- | Inf
154.55/154.65 c 153s| 1 | 0 | 25673 | - | 88M| 0 |5784 |8877 | 11k|8877 | 10k| 435 | 0 | 0 | 1.530000e+02 | -- | Inf
179.84/179.91 c 178s| 1 | 0 | 31967 | - | 89M| 0 |5890 |8877 | 11k|8877 | 10k| 532 | 0 | 0 | 1.530000e+02 | -- | Inf
208.34/208.49 c 206s| 1 | 0 | 37629 | - | 89M| 0 |6274 |8877 | 11k|8877 | 10k| 649 | 0 | 0 | 1.530000e+02 | -- | Inf
261.73/261.89 c 259s| 1 | 2 | 37629 | - | 89M| 0 |6274 |8877 | 11k|8877 | 10k| 649 | 0 | 17 | 1.530000e+02 | -- | Inf
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.14/1800.65 c
1800.14/1800.65 c SCIP Status : solving was interrupted [user interrupt]
1800.14/1800.65 c Solving Time (sec) : 1787.76
1800.14/1800.65 c Solving Nodes : 95
1800.14/1800.65 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.14/1800.65 c Dual Bound : +1.53000000000000e+02
1800.14/1800.65 c Gap : infinite
1800.14/1800.65 s UNKNOWN
1800.14/1800.65 c SCIP Status : solving was interrupted [user interrupt]
1800.14/1800.65 c Solving Time : 1787.76
1800.14/1800.65 c Original Problem :
1800.14/1800.65 c Problem name : HOME/instance-2665554-1276621972.opb
1800.14/1800.65 c Variables : 8878 (8878 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.14/1800.65 c Constraints : 17460 initial, 17460 maximal
1800.14/1800.65 c Presolved Problem :
1800.14/1800.65 c Problem name : t_HOME/instance-2665554-1276621972.opb
1800.14/1800.65 c Variables : 8877 (8877 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.14/1800.65 c Constraints : 9655 initial, 16093 maximal
1800.14/1800.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.14/1800.65 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.14/1800.65 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.65 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.65 c implics : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.65 c probing : 4.17 0 0 0 0 0 0 0 0
1800.14/1800.65 c knapsack : 0.11 0 0 0 0 0 0 142 1022
1800.14/1800.65 c linear : 0.53 1 0 0 1 0 7805 152 1289
1800.14/1800.65 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.14/1800.65 c root node : - 0 - - 0 - - - -
1800.14/1800.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.14/1800.65 c integral : 0 0 0 95 0 0 0 0 0 190
1800.14/1800.65 c knapsack : 1851 6 11099 0 0 2 21 1206 0 0
1800.14/1800.65 c linear : 7804+ 7 11097 0 0 1 0 32 0 0
1800.14/1800.65 c logicor : 0+ 0 5265 0 0 0 12 0 0 0
1800.14/1800.65 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.14/1800.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.14/1800.65 c integral : 531.88 0.00 0.00 531.88 0.00
1800.14/1800.65 c knapsack : 2.55 0.17 2.38 0.00 0.00
1800.14/1800.65 c linear : 14.32 0.04 14.28 0.00 0.00
1800.14/1800.65 c logicor : 0.01 0.00 0.01 0.00 0.00
1800.14/1800.65 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.14/1800.65 c Propagators : Time Calls Cutoffs DomReds
1800.14/1800.65 c vbounds : 0.04 2 0 0
1800.14/1800.65 c rootredcost : 0.02 0 0 0
1800.14/1800.65 c pseudoobj : 0.04 10862 0 0
1800.14/1800.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.14/1800.65 c propagation : 0.00 3 3 5 10.0 0 0.0 -
1800.14/1800.65 c infeasible LP : 20.09 4861 4861 4861 9.2 0 0.0 0
1800.14/1800.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.14/1800.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.14/1800.65 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.14/1800.65 c applied globally : - - - 4866 9.2 - - -
1800.14/1800.65 c applied locally : - - - 0 0.0 - - -
1800.14/1800.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.14/1800.65 c cut pool : 0.02 5 - - 1150 - (maximal pool size: 4251)
1800.14/1800.65 c redcost : 0.09 100 0 0 0 0
1800.14/1800.65 c impliedbounds : 0.01 6 0 0 43 0
1800.14/1800.65 c intobj : 0.00 0 0 0 0 0
1800.14/1800.65 c cgmip : 0.00 0 0 0 0 0
1800.14/1800.65 c gomory : 5.65 6 0 0 40 0
1800.14/1800.65 c strongcg : 5.57 6 0 0 21 0
1800.14/1800.65 c cmir : 6.58 6 0 0 3000 0
1800.14/1800.65 c flowcover : 6.20 6 0 0 1200 0
1800.14/1800.65 c clique : 0.02 6 0 0 0 0
1800.14/1800.65 c zerohalf : 0.00 0 0 0 0 0
1800.14/1800.65 c mcf : 0.00 1 0 0 0 0
1800.14/1800.65 c rapidlearning : 92.24 1 0 0 0 1572
1800.14/1800.65 c Pricers : Time Calls Vars
1800.14/1800.65 c problem variables: 0.00 0 0
1800.14/1800.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.14/1800.65 c relpscost : 531.88 95 0 0 0 0 190
1800.14/1800.65 c pscost : 0.00 0 0 0 0 0 0
1800.14/1800.65 c inference : 0.00 0 0 0 0 0 0
1800.14/1800.65 c mostinf : 0.00 0 0 0 0 0 0
1800.14/1800.65 c leastinf : 0.00 0 0 0 0 0 0
1800.14/1800.65 c fullstrong : 0.00 0 0 0 0 0 0
1800.14/1800.65 c allfullstrong : 0.00 0 0 0 0 0 0
1800.14/1800.65 c random : 0.00 0 0 0 0 0 0
1800.14/1800.65 c Primal Heuristics : Time Calls Found
1800.14/1800.65 c LP solutions : 0.00 - 0
1800.14/1800.65 c pseudo solutions : 0.00 - 0
1800.14/1800.65 c oneopt : 0.00 0 0
1800.14/1800.65 c crossover : 0.00 0 0
1800.14/1800.65 c guideddiving : 0.00 0 0
1800.14/1800.65 c coefdiving : 486.27 1 0
1800.14/1800.65 c pscostdiving : 92.31 1 0
1800.14/1800.65 c fracdiving : 87.76 1 0
1800.14/1800.65 c veclendiving : 11.75 1 0
1800.14/1800.65 c feaspump : 0.45 1 0
1800.14/1800.65 c trivial : 0.03 2 0
1800.14/1800.65 c simplerounding : 0.00 0 0
1800.14/1800.65 c zirounding : 0.12 95 0
1800.14/1800.65 c rounding : 1.77 100 0
1800.14/1800.65 c shifting : 3.87 17 0
1800.14/1800.65 c intshifting : 0.00 0 0
1800.14/1800.65 c twoopt : 0.00 0 0
1800.14/1800.65 c fixandinfer : 0.00 0 0
1800.14/1800.65 c intdiving : 0.00 0 0
1800.14/1800.65 c actconsdiving : 0.00 0 0
1800.14/1800.65 c objpscostdiving : 120.61 1 0
1800.14/1800.65 c rootsoldiving : 14.54 1 0
1800.14/1800.65 c linesearchdiving : 17.27 1 0
1800.14/1800.65 c octane : 0.00 0 0
1800.14/1800.65 c rens : 0.03 0 0
1800.14/1800.65 c rins : 0.00 0 0
1800.14/1800.65 c localbranching : 0.00 0 0
1800.14/1800.65 c mutation : 0.00 0 0
1800.14/1800.65 c dins : 0.00 0 0
1800.14/1800.65 c undercover : 0.00 0 0
1800.14/1800.65 c nlp : 0.00 0 0
1800.14/1800.65 c trysol : 0.00 0 0
1800.14/1800.65 c LP : Time Calls Iterations Iter/call Iter/sec
1800.14/1800.65 c primal LP : 0.12 0 0 0.00 0.00
1800.14/1800.65 c dual LP : 295.03 101 117317 1161.55 397.64
1800.14/1800.65 c lex dual LP : 0.00 0 0 0.00 -
1800.14/1800.65 c barrier LP : 0.00 0 0 0.00 -
1800.14/1800.65 c diving/probing LP: 764.97 6984 311616 44.62 407.36
1800.14/1800.65 c strong branching : 531.59 375 174482 465.29 328.23
1800.14/1800.65 c (at root node) : - 17 13173 774.88 -
1800.14/1800.65 c conflict analysis: 0.00 0 0 0.00 -
1800.14/1800.65 c B&B Tree :
1800.14/1800.65 c number of runs : 1
1800.14/1800.65 c nodes : 95
1800.14/1800.65 c nodes (total) : 95
1800.14/1800.65 c nodes left : 96
1800.14/1800.65 c max depth : 21
1800.14/1800.65 c max depth (total): 21
1800.14/1800.65 c backtracks : 6 (6.3%)
1800.14/1800.65 c delayed cutoffs : 0
1800.14/1800.65 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.14/1800.65 c avg switch length: 1.92
1800.14/1800.65 c switching time : 0.29
1800.14/1800.65 c Solution :
1800.14/1800.65 c Solutions found : 0 (0 improvements)
1800.14/1800.65 c Primal Bound : -
1800.14/1800.65 c Dual Bound : +1.53000000000000e+02
1800.14/1800.65 c Gap : infinite
1800.14/1800.65 c Root Dual Bound : +1.53000000000000e+02
1800.14/1800.65 c Root Iterations : 37629
1800.42/1800.95 c Time complete: 1800.47.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665554-1276621972/watcher-2665554-1276621972 -o /tmp/evaluation-result-2665554-1276621972/solver-2665554-1276621972 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665554-1276621972.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.02 1.03 1.00 3/106 3508
/proc/meminfo: memFree=1631496/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=9288 CPUtime=0
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 1052 0 0 0 0 0 0 0 20 0 1 0 37798956 9510912 973 1992294400 4194304 9819077 140734007416224 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3508/statm: 2322 983 371 1374 0 943 0
[startup+0.050962 s]
/proc/loadavg: 1.02 1.03 1.00 3/106 3508
/proc/meminfo: memFree=1631496/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=11616 CPUtime=0.04
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 1823 0 0 0 4 0 0 0 20 0 1 0 37798956 11894784 1744 1992294400 4194304 9819077 140734007416224 18446744073709551615 5649586 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3508/statm: 2904 1744 388 1374 0 1525 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11616
[startup+0.101967 s]
/proc/loadavg: 1.02 1.03 1.00 3/106 3508
/proc/meminfo: memFree=1631496/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=13164 CPUtime=0.09
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 2214 0 0 0 9 0 0 0 20 0 1 0 37798956 13479936 2135 1992294400 4194304 9819077 140734007416224 18446744073709551615 5650597 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3508/statm: 3291 2135 388 1374 0 1912 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13164
[startup+0.300989 s]
/proc/loadavg: 1.02 1.03 1.00 3/106 3508
/proc/meminfo: memFree=1631496/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=18344 CPUtime=0.29
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 3499 0 0 0 28 1 0 0 20 0 1 0 37798956 18784256 3420 1992294400 4194304 9819077 140734007416224 18446744073709551615 4397005 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3508/statm: 4586 3420 388 1374 0 3207 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18344
[startup+0.701033 s]
/proc/loadavg: 1.02 1.03 1.00 3/106 3508
/proc/meminfo: memFree=1631496/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=27508 CPUtime=0.69
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 5818 0 0 0 68 1 0 0 20 0 1 0 37798956 28168192 5739 1992294400 4194304 9819077 140734007416224 18446744073709551615 8081543 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3508/statm: 6877 5739 388 1374 0 5498 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27508
[startup+1.50112 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 3509
/proc/meminfo: memFree=1604580/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=153500 CPUtime=1.49
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 38553 0 0 0 136 13 0 0 22 0 1 0 37798956 157184000 35773 1992294400 4194304 9819077 140734007416224 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 38375 35782 438 1374 0 36996 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 153500
[startup+3.1003 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 3509
/proc/meminfo: memFree=1483680/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=161864 CPUtime=3.09
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 44230 0 0 0 287 22 0 0 25 0 1 0 37798956 165748736 37543 1992294400 4194304 9819077 140734007416224 18446744073709551615 4979712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 40466 37543 512 1374 0 39087 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 161864
[startup+6.30065 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 3509
/proc/meminfo: memFree=1482192/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=161864 CPUtime=6.29
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 44262 0 0 0 606 23 0 0 25 0 1 0 37798956 165748736 37575 1992294400 4194304 9819077 140734007416224 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 40466 37575 512 1374 0 39087 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 161864
[startup+12.7014 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 3509
/proc/meminfo: memFree=1447224/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=207324 CPUtime=12.69
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 79416 0 0 0 1231 38 0 0 25 0 1 0 37798956 212299776 46552 1992294400 4194304 9819077 140734007416224 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 51831 46552 669 1374 0 50452 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 207324
[startup+25.5018 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 3509
/proc/meminfo: memFree=1351868/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=307792 CPUtime=25.49
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 104993 0 0 0 2497 52 0 0 25 0 1 0 37798956 315179008 70320 1992294400 4194304 9819077 140734007416224 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 76948 70320 689 1374 0 75569 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 307792
[startup+51.1016 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 3511
/proc/meminfo: memFree=1339964/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=319956 CPUtime=51.08
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 108002 0 0 0 5052 56 0 0 25 0 1 0 37798956 327634944 73329 1992294400 4194304 9819077 140734007416224 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 79989 73329 689 1374 0 78610 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 319956
[startup+102.309 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 3514
/proc/meminfo: memFree=1320000/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=339600 CPUtime=102.27
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 112844 0 0 0 10162 65 0 0 25 0 1 0 37798956 347750400 78171 1992294400 4194304 9819077 140734007416224 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 84900 78171 689 1374 0 83521 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 339600
[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 3516
/proc/meminfo: memFree=1402336/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=262148 CPUtime=162.25
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 127358 0 0 0 16134 91 0 0 25 0 1 0 37798956 268439552 57937 1992294400 4194304 9819077 140734007416224 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 65537 57937 699 1374 0 64158 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 262148
[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 3518
/proc/meminfo: memFree=1399484/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=297244 CPUtime=222.23
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 188077 0 0 0 22095 128 0 0 25 0 1 0 37798956 304377856 58416 1992294400 4194304 9819077 140734007416224 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 74311 58416 705 1374 0 72932 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 297244
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3520
/proc/meminfo: memFree=1399112/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=292536 CPUtime=282.22
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 268632 0 0 0 28053 169 0 0 25 0 1 0 37798956 299556864 58494 1992294400 4194304 9819077 140734007416224 18446744073709551615 7291597 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 73134 58494 709 1374 0 71755 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 292536
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3522
/proc/meminfo: memFree=1398988/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=288096 CPUtime=342.2
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 347059 0 0 0 34006 214 0 0 25 0 1 0 37798956 295010304 58438 1992294400 4194304 9819077 140734007416224 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 72024 58438 709 1374 0 70645 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 288096
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3522
/proc/meminfo: memFree=1399484/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=290852 CPUtime=402.18
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 436667 0 0 0 39956 262 0 0 25 0 1 0 37798956 297832448 58474 1992294400 4194304 9819077 140734007416224 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 72713 58474 709 1374 0 71334 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 290852
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3524
/proc/meminfo: memFree=1399360/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=290632 CPUtime=462.17
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 500907 0 0 0 45917 300 0 0 25 0 1 0 37798956 297607168 58346 1992294400 4194304 9819077 140734007416224 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 72658 58346 709 1374 0 71279 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 290632
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3526
/proc/meminfo: memFree=1402088/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=274536 CPUtime=522.15
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 552697 0 0 0 51884 331 0 0 25 0 1 0 37798956 281124864 57762 1992294400 4194304 9819077 140734007416224 18446744073709551615 7291143 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 68634 57762 709 1374 0 67255 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 274536
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3528
/proc/meminfo: memFree=1401592/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=268304 CPUtime=582.14
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 589068 0 0 0 57857 357 0 0 25 0 1 0 37798956 274743296 57699 1992294400 4194304 9819077 140734007416224 18446744073709551615 6192292 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 67076 57699 709 1374 0 65697 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 268304
[startup+642.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 3530
/proc/meminfo: memFree=1401716/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=267560 CPUtime=642.13
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 630249 0 0 0 63828 385 0 0 25 0 1 0 37798956 273981440 57675 1992294400 4194304 9819077 140734007416224 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 66890 57675 709 1374 0 65511 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 267560
[startup+702.302 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 3538
/proc/meminfo: memFree=1404196/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=238932 CPUtime=1002.03
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 648841 0 0 0 99764 439 0 0 25 0 1 0 37798956 244666368 57018 1992294400 4194304 9819077 140734007416224 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 59733 57018 711 1374 0 58354 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 238932
[startup+1062.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 3540
/proc/meminfo: memFree=1404320/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=238932 CPUtime=1062.01
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 648845 0 0 0 105756 445 0 0 25 0 1 0 37798956 244666368 57018 1992294400 4194304 9819077 140734007416224 18446744073709551615 6367328 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 59733 57018 711 1374 0 58354 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 238932
[startup+1122.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 3542
/proc/meminfo: memFree=1404196/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=245428 CPUtime=1122
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 667819 0 0 0 111740 460 0 0 25 0 1 0 37798956 251318272 57191 1992294400 4194304 9819077 140734007416224 18446744073709551615 6361868 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 61357 57191 711 1374 0 59978 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 245428
[startup+1182.3 s]
/proc/loadavg: 1.10 1.07 1.01 2/107 3544
/proc/meminfo: memFree=1402212/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=250772 CPUtime=1181.98
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 771058 0 0 0 117684 514 0 0 25 0 1 0 37798956 256790528 57350 1992294400 4194304 9819077 140734007416224 18446744073709551615 7220859 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 62693 57350 711 1374 0 61314 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 250772
[startup+1242.3 s]
/proc/loadavg: 1.07 1.07 1.01 2/107 3546
/proc/meminfo: memFree=1403948/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=241600 CPUtime=1241.96
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 834920 0 0 0 123637 559 0 0 25 0 1 0 37798956 247398400 57040 1992294400 4194304 9819077 140734007416224 18446744073709551615 7290988 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 60400 57040 711 1374 0 59021 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 241600
[startup+1302.3 s]
/proc/loadavg: 1.14 1.09 1.01 2/107 3546
/proc/meminfo: memFree=1400476/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=262788 CPUtime=1301.96
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 934946 0 0 0 129582 614 0 0 25 0 1 0 37798956 269094912 58058 1992294400 4194304 9819077 140734007416224 18446744073709551615 6371243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 65697 58058 711 1374 0 64318 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 262788
[startup+1362.3 s]
/proc/loadavg: 1.12 1.09 1.01 2/107 3548
/proc/meminfo: memFree=1404072/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=248460 CPUtime=1361.94
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 1063821 0 0 0 135512 682 0 0 25 0 1 0 37798956 254423040 57157 1992294400 4194304 9819077 140734007416224 18446744073709551615 6372765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 62115 57157 711 1374 0 60736 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 248460
[startup+1422.31 s]
/proc/loadavg: 1.11 1.08 1.01 2/107 3550
/proc/meminfo: memFree=1401220/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=261728 CPUtime=1421.93
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 1152367 0 0 0 141461 732 0 0 25 0 1 0 37798956 268009472 57884 1992294400 4194304 9819077 140734007416224 18446744073709551615 7291979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 65432 57884 711 1374 0 64053 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 261728
[startup+1482.3 s]
/proc/loadavg: 1.10 1.08 1.01 2/107 3552
/proc/meminfo: memFree=1399608/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=251592 CPUtime=1481.91
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 1314648 0 0 0 147383 808 0 0 25 0 1 0 37798956 257630208 57311 1992294400 4194304 9819077 140734007416224 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 62898 57060 711 1374 0 61519 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 251592
[startup+1542.3 s]
/proc/loadavg: 1.09 1.08 1.01 2/107 3554
/proc/meminfo: memFree=1402460/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=253588 CPUtime=1541.88
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 1427330 0 0 0 153323 865 0 0 25 0 1 0 37798956 259674112 57632 1992294400 4194304 9819077 140734007416224 18446744073709551615 7293479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 63397 57632 711 1374 0 62018 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 253588
[startup+1602.3 s]
/proc/loadavg: 1.08 1.08 1.01 2/107 3554
/proc/meminfo: memFree=1403576/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=252324 CPUtime=1601.87
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 1475260 0 0 0 159285 902 0 0 25 0 1 0 37798956 258379776 57579 1992294400 4194304 9819077 140734007416224 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 63081 57579 711 1374 0 61702 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 252324
[startup+1662.3 s]
/proc/loadavg: 1.08 1.08 1.01 2/107 3556
/proc/meminfo: memFree=1396632/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=292780 CPUtime=1661.85
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 1569777 0 0 0 165231 954 0 0 25 0 1 0 37798956 299806720 59131 1992294400 4194304 9819077 140734007416224 18446744073709551615 7324401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 73195 59131 711 1374 0 71816 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 292780
[startup+1722.3 s]
/proc/loadavg: 1.12 1.09 1.01 2/107 3558
/proc/meminfo: memFree=1401344/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=261868 CPUtime=1721.84
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 1682039 0 0 0 171172 1012 0 0 25 0 1 0 37798956 268152832 57973 1992294400 4194304 9819077 140734007416224 18446744073709551615 7292012 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 65467 57973 711 1374 0 64088 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 261868
[startup+1782.3 s]
/proc/loadavg: 1.08 1.09 1.01 2/107 3560
/proc/meminfo: memFree=1400476/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=261808 CPUtime=1781.83
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 1838690 0 0 0 177096 1087 0 0 25 0 1 0 37798956 268091392 57974 1992294400 4194304 9819077 140734007416224 18446744073709551615 7291971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 65452 57974 711 1374 0 64073 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 261808
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.21 1.11 1.02 2/107 3560
/proc/meminfo: memFree=1402956/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=252276 CPUtime=1800.03
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 1928411 0 0 0 178877 1126 0 0 25 0 1 0 37798956 258330624 57602 1992294400 4194304 9819077 140734007416224 18446744073709551615 7228081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 63069 57602 711 1374 0 61690 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 252276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.61 s]
/proc/loadavg: 1.21 1.11 1.02 2/108 3561
/proc/meminfo: memFree=1402948/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=252396 CPUtime=1800.14
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 1929035 0 0 0 178887 1127 0 0 25 0 1 0 37798956 258453504 57468 1992294400 4194304 9819077 140734007416224 18446744073709551615 7228824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3508/statm: 63099 57474 711 1374 0 61720 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 252396
[startup+1800.8 s]
/proc/loadavg: 1.21 1.11 1.02 2/108 3561
/proc/meminfo: memFree=1402948/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=257316 CPUtime=1800.32
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 1929354 0 0 0 178905 1127 0 0 25 0 1 0 37798956 263491584 56794 1992294400 4194304 9819077 140734007416224 18446744073709551615 4903463 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3508/statm: 64329 56794 714 1374 0 62950 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 257316
[startup+1800.9 s]
/proc/loadavg: 1.21 1.11 1.02 2/108 3561
/proc/meminfo: memFree=1402948/2059040 swapFree=4140260/4192956
[pid=3508] ppid=3506 vsize=228024 CPUtime=1800.42
/proc/3508/stat : 3508 (pbscip.linux.x8) R 3506 3508 2877 0 -1 4202496 1929354 0 0 0 178915 1127 0 0 25 0 1 0 37798956 233496576 49491 1992294400 4194304 9819077 140734007416224 18446744073709551615 4671856 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3508/statm: 57006 49491 714 1374 0 55627 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (KiB) 228024
Child status: 0
Real time (s): 1800.95
CPU time (s): 1800.48
CPU user time (s): 1789.18
CPU system time (s): 11.2983
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 341872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.18
system time used= 11.2983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1929358
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= 1700
runsolver used 2.91256 second user time and 8.5707 second system time
The end