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-2665552-1276621392.opb>
1.79/1.82 c original problem has 13478 variables (13478 bin, 0 int, 0 impl, 0 cont) and 26620 constraints
1.79/1.82 c problem read
1.79/1.82 c presolving settings loaded
2.29/2.38 c presolving:
2.79/2.84 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 194 chg sides, 1392 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
2.99/3.07 c (round 2) 1 del vars, 12355 del conss, 1 chg bounds, 194 chg sides, 1392 chg coeffs, 965 upgd conss, 0 impls, 0 clqs
3.29/3.36 c (round 3) 1 del vars, 12355 del conss, 1 chg bounds, 292 chg sides, 2291 chg coeffs, 1911 upgd conss, 848 impls, 12 clqs
3.39/3.45 c (round 4) 1 del vars, 12355 del conss, 1 chg bounds, 409 chg sides, 2471 chg coeffs, 1911 upgd conss, 848 impls, 12 clqs
9.28/9.30 c (7.2s) probing: 122/13477 (0.9%) - 0 fixings, 0 aggregations, 86 implications, 0 bound changes
9.28/9.30 c (7.2s) probing aborted: 100/100 successive totally useless probings
9.28/9.30 c presolving (5 rounds):
9.28/9.30 c 1 deleted vars, 12355 deleted constraints, 1 tightened bounds, 0 added holes, 409 changed sides, 2482 changed coefficients
9.28/9.30 c 1020 implications, 12 cliques
9.28/9.30 c presolved problem has 13477 variables (13477 bin, 0 int, 0 impl, 0 cont) and 14266 constraints
9.28/9.30 c 1911 constraints of type <knapsack>
9.28/9.30 c 1 constraints of type <setppc>
9.28/9.30 c 12354 constraints of type <linear>
9.28/9.30 c transformed objective value is always integral (scale: 1)
9.28/9.30 c Presolving Time: 6.90
9.28/9.30 c - non default parameters ----------------------------------------------------------------------
9.28/9.30 c # SCIP version 1.2.1.2
9.28/9.30 c
9.28/9.30 c # frequency for displaying node information lines
9.28/9.30 c # [type: int, range: [-1,2147483647], default: 100]
9.28/9.30 c display/freq = 10000
9.28/9.30 c
9.28/9.30 c # maximal time in seconds to run
9.28/9.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.28/9.30 c limits/time = 1798.19
9.28/9.30 c
9.28/9.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.28/9.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.28/9.30 c limits/memory = 1620
9.28/9.30 c
9.28/9.30 c # should presolving try to simplify inequalities
9.28/9.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.28/9.30 c constraints/linear/simplifyinequalities = TRUE
9.28/9.30 c
9.28/9.30 c # should presolving try to simplify knapsacks
9.28/9.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.28/9.30 c constraints/knapsack/simplifyinequalities = TRUE
9.28/9.30 c
9.28/9.30 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
9.28/9.30 c # [type: int, range: [-1,2147483647], default: -1]
9.28/9.30 c separating/rapidlearning/freq = 0
9.28/9.30 c
9.28/9.30 c -----------------------------------------------------------------------------------------------
9.28/9.30 c start solving
9.28/9.32 c
15.48/15.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.48/15.50 c 13.3s| 1 | 0 | 11046 | - | 123M| 0 | 10k| 13k| 14k| 13k| 14k| 0 | 0 | 0 | 1.900000e+02 | -- | Inf
36.08/36.12 c 33.6s| 1 | 0 | 18331 | - | 125M| 0 |9305 | 13k| 14k| 13k| 14k| 110 | 0 | 0 | 1.900000e+02 | -- | Inf
62.68/62.71 c 59.9s| 1 | 0 | 25620 | - | 125M| 0 |9825 | 13k| 14k| 13k| 14k| 266 | 0 | 0 | 1.900000e+02 | -- | Inf
80.77/80.85 c 77.9s| 1 | 0 | 28276 | - | 126M| 0 |9605 | 13k| 14k| 13k| 14k| 400 | 0 | 0 | 1.900000e+02 | -- | Inf
126.96/127.06 c 124s| 1 | 0 | 36102 | - | 126M| 0 |9847 | 13k| 14k| 13k| 14k| 558 | 0 | 0 | 1.900000e+02 | -- | Inf
178.25/178.34 c 174s| 1 | 0 | 44160 | - | 127M| 0 |9921 | 13k| 14k| 13k| 14k| 720 | 0 | 0 | 1.900000e+02 | -- | Inf
222.14/222.29 c 218s| 1 | 0 | 50285 | - | 128M| 0 |9800 | 13k| 14k| 13k| 15k| 890 | 0 | 0 | 1.900000e+02 | -- | Inf
311.01/311.11 c 306s| 1 | 2 | 50285 | - | 128M| 0 |9800 | 13k| 14k| 13k| 15k| 890 | 0 | 20 | 1.900000e+02 | -- | Inf
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.52/1801.04 c
1800.52/1801.04 c SCIP Status : solving was interrupted [user interrupt]
1800.52/1801.04 c Solving Time (sec) : 1757.09
1800.52/1801.04 c Solving Nodes : 33
1800.52/1801.04 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.52/1801.04 c Dual Bound : +1.90000000000000e+02
1800.52/1801.04 c Gap : infinite
1800.52/1801.04 s UNKNOWN
1800.52/1801.04 c SCIP Status : solving was interrupted [user interrupt]
1800.52/1801.04 c Solving Time : 1757.09
1800.52/1801.04 c Original Problem :
1800.52/1801.04 c Problem name : HOME/instance-2665552-1276621392.opb
1800.52/1801.04 c Variables : 13478 (13478 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.52/1801.04 c Constraints : 26620 initial, 26620 maximal
1800.52/1801.04 c Presolved Problem :
1800.52/1801.04 c Problem name : t_HOME/instance-2665552-1276621392.opb
1800.52/1801.04 c Variables : 13477 (13477 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.52/1801.04 c Constraints : 14266 initial, 15238 maximal
1800.52/1801.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.52/1801.04 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.52/1801.04 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.52/1801.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.52/1801.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.52/1801.04 c implics : 0.01 0 0 0 0 0 0 0 0
1800.52/1801.04 c probing : 5.79 0 0 0 0 0 0 0 0
1800.52/1801.04 c knapsack : 0.12 0 0 0 0 0 0 215 1090
1800.52/1801.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.52/1801.04 c linear : 0.80 1 0 0 1 0 12355 194 1392
1800.52/1801.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.52/1801.04 c root node : - 0 - - 0 - - - -
1800.52/1801.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.52/1801.04 c integral : 0 0 0 32 0 0 0 0 0 64
1800.52/1801.04 c knapsack : 1911 6 3054 0 0 2 64 1205 0 0
1800.52/1801.04 c setppc : 1 6 1054 0 0 0 0 0 0 0
1800.52/1801.04 c linear : 12354 6 3052 0 0 1 70 0 0 0
1800.52/1801.04 c logicor : 0+ 0 964 0 0 0 24 0 0 0
1800.52/1801.04 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.52/1801.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.52/1801.04 c integral : 565.56 0.00 0.00 565.56 0.00
1800.52/1801.04 c knapsack : 1.03 0.17 0.86 0.00 0.00
1800.52/1801.04 c setppc : 0.00 0.00 0.00 0.00 0.00
1800.52/1801.04 c linear : 13.64 0.04 13.60 0.00 0.00
1800.52/1801.04 c logicor : 0.00 0.00 0.00 0.00 0.00
1800.52/1801.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.52/1801.04 c Propagators : Time Calls Cutoffs DomReds
1800.52/1801.04 c vbounds : 0.00 2 0 0
1800.52/1801.04 c rootredcost : 0.00 0 0 0
1800.52/1801.04 c pseudoobj : 0.00 2800 0 0
1800.52/1801.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.52/1801.04 c propagation : 0.00 3 3 15 22.9 0 0.0 -
1800.52/1801.04 c infeasible LP : 4.76 929 929 958 6.6 15 13.5 0
1800.52/1801.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.52/1801.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.52/1801.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.52/1801.04 c applied globally : - - - 972 6.7 - - -
1800.52/1801.04 c applied locally : - - - 0 0.0 - - -
1800.52/1801.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.52/1801.04 c cut pool : 0.00 5 - - 1528 - (maximal pool size: 4513)
1800.52/1801.04 c redcost : 0.08 39 0 4 0 0
1800.52/1801.04 c impliedbounds : 0.01 6 0 0 18 0
1800.52/1801.04 c intobj : 0.00 0 0 0 0 0
1800.52/1801.04 c cgmip : 0.00 0 0 0 0 0
1800.52/1801.04 c gomory : 10.91 6 0 0 316 0
1800.52/1801.04 c strongcg : 10.71 6 0 0 9 0
1800.52/1801.04 c cmir : 11.19 6 0 0 3000 0
1800.52/1801.04 c flowcover : 6.14 6 0 0 1200 0
1800.52/1801.04 c clique : 0.02 6 0 0 4 0
1800.52/1801.04 c zerohalf : 0.00 0 0 0 0 0
1800.52/1801.04 c mcf : 0.00 1 0 0 0 0
1800.52/1801.04 c rapidlearning : 0.00 0 0 0 0 0
1800.52/1801.04 c Pricers : Time Calls Vars
1800.52/1801.04 c problem variables: 0.00 0 0
1800.52/1801.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.52/1801.04 c relpscost : 565.56 32 0 0 0 0 64
1800.52/1801.04 c pscost : 0.00 0 0 0 0 0 0
1800.52/1801.04 c inference : 0.00 0 0 0 0 0 0
1800.52/1801.04 c mostinf : 0.00 0 0 0 0 0 0
1800.52/1801.04 c leastinf : 0.00 0 0 0 0 0 0
1800.52/1801.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.52/1801.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.52/1801.04 c random : 0.00 0 0 0 0 0 0
1800.52/1801.04 c Primal Heuristics : Time Calls Found
1800.52/1801.04 c LP solutions : 0.00 - 0
1800.52/1801.04 c pseudo solutions : 0.00 - 0
1800.52/1801.04 c oneopt : 0.00 0 0
1800.52/1801.04 c crossover : 0.00 0 0
1800.52/1801.04 c veclendiving : 0.00 0 0
1800.52/1801.04 c objpscostdiving : 0.00 0 0
1800.52/1801.04 c rootsoldiving : 0.00 0 0
1800.52/1801.04 c linesearchdiving : 0.00 0 0
1800.52/1801.04 c guideddiving : 0.00 0 0
1800.52/1801.04 c coefdiving : 500.65 1 0
1800.52/1801.04 c trivial : 0.05 2 0
1800.52/1801.04 c simplerounding : 0.00 0 0
1800.52/1801.04 c zirounding : 0.08 32 0
1800.52/1801.04 c rounding : 0.92 38 0
1800.52/1801.04 c shifting : 4.85 9 0
1800.52/1801.04 c intshifting : 0.00 0 0
1800.52/1801.04 c twoopt : 0.00 0 0
1800.52/1801.04 c fixandinfer : 0.00 0 0
1800.52/1801.04 c feaspump : 0.70 1 0
1800.52/1801.04 c pscostdiving : 68.57 1 0
1800.52/1801.04 c fracdiving : 263.83 1 0
1800.52/1801.04 c intdiving : 0.00 0 0
1800.52/1801.04 c actconsdiving : 0.00 0 0
1800.52/1801.04 c octane : 0.00 0 0
1800.52/1801.04 c rens : 0.03 0 0
1800.52/1801.04 c rins : 0.00 0 0
1800.52/1801.04 c localbranching : 0.00 0 0
1800.52/1801.04 c mutation : 0.00 0 0
1800.52/1801.04 c dins : 0.00 0 0
1800.52/1801.04 c undercover : 0.00 0 0
1800.52/1801.04 c nlp : 0.00 0 0
1800.52/1801.04 c trysol : 0.00 0 0
1800.52/1801.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.52/1801.04 c primal LP : 0.21 0 0 0.00 0.00
1800.52/1801.04 c dual LP : 303.65 38 92163 2425.34 303.52
1800.52/1801.04 c lex dual LP : 0.00 0 0 0.00 -
1800.52/1801.04 c barrier LP : 0.00 0 0 0.00 -
1800.52/1801.04 c diving/probing LP: 807.80 2237 398484 178.13 493.30
1800.52/1801.04 c strong branching : 565.37 197 178725 907.23 316.12
1800.52/1801.04 c (at root node) : - 20 19798 989.90 -
1800.52/1801.04 c conflict analysis: 0.00 0 0 0.00 -
1800.52/1801.04 c B&B Tree :
1800.52/1801.04 c number of runs : 1
1800.52/1801.04 c nodes : 33
1800.52/1801.04 c nodes (total) : 33
1800.52/1801.04 c nodes left : 32
1800.52/1801.04 c max depth : 16
1800.52/1801.04 c max depth (total): 16
1800.52/1801.04 c backtracks : 2 (6.1%)
1800.52/1801.04 c delayed cutoffs : 0
1800.52/1801.04 c repropagations : 3 (2 domain reductions, 0 cutoffs)
1800.52/1801.04 c avg switch length: 2.00
1800.52/1801.04 c switching time : 0.28
1800.52/1801.04 c Solution :
1800.52/1801.04 c Solutions found : 0 (0 improvements)
1800.52/1801.04 c Primal Bound : -
1800.52/1801.04 c Dual Bound : +1.90000000000000e+02
1800.52/1801.04 c Gap : infinite
1800.52/1801.04 c Root Dual Bound : +1.90000000000000e+02
1800.52/1801.04 c Root Iterations : 50285
1800.92/1801.44 c Time complete: 1800.97.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665552-1276621392/watcher-2665552-1276621392 -o /tmp/evaluation-result-2665552-1276621392/solver-2665552-1276621392 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665552-1276621392.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: 0.91 0.98 0.99 3/106 10321
/proc/meminfo: memFree=1732096/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=9288 CPUtime=0
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 1029 0 0 0 0 0 0 0 20 0 1 0 3432039 9510912 951 1992294400 4194304 9819077 140735608795328 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10321/statm: 2322 959 371 1374 0 943 0
[startup+0.0299299 s]
/proc/loadavg: 0.91 0.98 0.99 3/106 10321
/proc/meminfo: memFree=1732096/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=10968 CPUtime=0.02
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 1689 0 0 0 2 0 0 0 20 0 1 0 3432039 11231232 1610 1992294400 4194304 9819077 140735608795328 18446744073709551615 8610895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10321/statm: 2742 1610 388 1374 0 1363 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10968
[startup+0.100937 s]
/proc/loadavg: 0.91 0.98 0.99 3/106 10321
/proc/meminfo: memFree=1732096/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=12988 CPUtime=0.09
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 2164 0 0 0 9 0 0 0 20 0 1 0 3432039 13299712 2085 1992294400 4194304 9819077 140735608795328 18446744073709551615 4240595 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10321/statm: 3247 2085 388 1374 0 1868 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12988
[startup+0.300958 s]
/proc/loadavg: 0.91 0.98 0.99 3/106 10321
/proc/meminfo: memFree=1732096/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=18408 CPUtime=0.29
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 3517 0 0 0 28 1 0 0 20 0 1 0 3432039 18849792 3438 1992294400 4194304 9819077 140735608795328 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10321/statm: 4602 3438 388 1374 0 3223 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18408
[startup+0.701002 s]
/proc/loadavg: 0.91 0.98 0.99 3/106 10321
/proc/meminfo: memFree=1732096/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=26852 CPUtime=0.69
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 5627 0 0 0 67 2 0 0 20 0 1 0 3432039 27496448 5548 1992294400 4194304 9819077 140735608795328 18446744073709551615 5648965 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10321/statm: 6713 5548 388 1374 0 5334 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26852
[startup+1.50109 s]
/proc/loadavg: 0.91 0.98 0.99 2/107 10322
/proc/meminfo: memFree=1705924/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=39728 CPUtime=1.49
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 8874 0 0 0 145 4 0 0 22 0 1 0 3432039 40681472 8795 1992294400 4194304 9819077 140735608795328 18446744073709551615 8610923 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10321/statm: 9932 8795 388 1374 0 8553 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39728
[startup+3.10126 s]
/proc/loadavg: 0.91 0.98 0.99 2/107 10322
/proc/meminfo: memFree=1590728/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=204008 CPUtime=3.09
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 56072 0 0 0 283 26 0 0 25 0 1 0 3432039 208904192 48108 1992294400 4194304 9819077 140735608795328 18446744073709551615 4321767 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 51002 48108 553 1374 0 49623 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 204008
[startup+6.30161 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 10322
/proc/meminfo: memFree=1537284/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=206832 CPUtime=6.29
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 59333 0 0 0 598 31 0 0 25 0 1 0 3432039 211795968 48927 1992294400 4194304 9819077 140735608795328 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 51708 48927 520 1374 0 50329 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 206832
[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 10322
/proc/meminfo: memFree=1476400/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=277144 CPUtime=12.68
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 86516 0 0 0 1227 41 0 0 25 0 1 0 3432039 283795456 64224 1992294400 4194304 9819077 140735608795328 18446744073709551615 7220452 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 69286 64224 638 1374 0 67907 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 277144
[startup+25.5007 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 10324
/proc/meminfo: memFree=1470944/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=290080 CPUtime=25.49
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 131590 0 0 0 2485 64 0 0 25 0 1 0 3432039 297041920 65269 1992294400 4194304 9819077 140735608795328 18446744073709551615 7220463 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 72520 65269 681 1374 0 71141 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 290080
[startup+51.1005 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 10324
/proc/meminfo: memFree=1467348/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=302948 CPUtime=51.08
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 174228 0 0 0 5019 89 0 0 25 0 1 0 3432039 310218752 65882 1992294400 4194304 9819077 140735608795328 18446744073709551615 7228816 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 75737 65889 681 1374 0 74358 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 302948
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 10326
/proc/meminfo: memFree=1458296/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=349168 CPUtime=102.27
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 266008 0 0 0 10092 135 0 0 25 0 1 0 3432039 357548032 68877 1992294400 4194304 9819077 140735608795328 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 87292 68877 681 1374 0 85913 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 349168
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10326
/proc/meminfo: memFree=1465364/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=356532 CPUtime=162.24
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 390554 0 0 0 16035 189 0 0 25 0 1 0 3432039 365088768 69578 1992294400 4194304 9819077 140735608795328 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 89133 69578 681 1374 0 87754 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 356532
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10328
/proc/meminfo: memFree=1469580/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=325704 CPUtime=222.23
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 513918 0 0 0 21979 244 0 0 25 0 1 0 3432039 333520896 67167 1992294400 4194304 9819077 140735608795328 18446744073709551615 4561255 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 81426 67167 681 1374 0 80047 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 325704
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10330
/proc/meminfo: memFree=1452840/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=378328 CPUtime=282.22
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 711175 0 0 0 27894 328 0 0 25 0 1 0 3432039 387407872 69121 1992294400 4194304 9819077 140735608795328 18446744073709551615 7295423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 94582 69121 696 1374 0 93203 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 378328
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10332
/proc/meminfo: memFree=1457924/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=347624 CPUtime=342.2
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 869426 0 0 0 33822 398 0 0 25 0 1 0 3432039 355966976 68974 1992294400 4194304 9819077 140735608795328 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 86906 68974 700 1374 0 85527 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 347624
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10334
/proc/meminfo: memFree=1456064/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=369704 CPUtime=402.19
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 1077786 0 0 0 39732 487 0 0 25 0 1 0 3432039 378576896 68383 1992294400 4194304 9819077 140735608795328 18446744073709551615 7220452 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 92426 68383 700 1374 0 91047 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 369704
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10334
/proc/meminfo: memFree=1456808/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=385344 CPUtime=462.18
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 1304083 0 0 0 45633 585 0 0 25 0 1 0 3432039 394592256 69236 1992294400 4194304 9819077 140735608795328 18446744073709551615 7291979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 96336 69236 700 1374 0 94957 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 385344
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 3/107 10336
/proc/meminfo: memFree=1457676/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=348064 CPUtime=522.15
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 1529368 0 0 0 51536 679 0 0 25 0 1 0 3432039 356417536 67813 1992294400 4194304 9819077 140735608795328 18446744073709551615 7220975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 87016 67813 700 1374 0 85637 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 348064
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10338
/proc/meminfo: memFree=1461148/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=360636 CPUtime=582.14
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 1797480 0 0 0 57420 794 0 0 25 0 1 0 3432039 369291264 68431 1992294400 4194304 9819077 140735608795328 18446744073709551615 7290893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 90159 68431 700 1374 0 88780 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 360636
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10340
/proc/meminfo: memFree=1461644/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=360752 CPUtime=642.13
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 2051144 0 0 0 63304 909 0 0 25 0 1 0 3432039 369410048 67971 1992294400 4194304 9819077 140735608795328 18446744073709551615 6391606 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 90188 67971 700 1374 0 88809 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 360752
[startup+702.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10350
/proc/meminfo: memFree=1467968/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=296736 CPUtime=1002.03
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 3424232 0 0 0 98664 1539 0 0 25 0 1 0 3432039 303857664 66665 1992294400 4194304 9819077 140735608795328 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 74184 66665 706 1374 0 72805 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 296736
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10350
/proc/meminfo: memFree=1467720/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=294636 CPUtime=1062.01
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 4026941 0 0 0 104410 1791 0 0 25 0 1 0 3432039 301707264 66412 1992294400 4194304 9819077 140735608795328 18446744073709551615 5930530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 73659 66412 706 1374 0 72280 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 294636
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10352
/proc/meminfo: memFree=1464744/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=296936 CPUtime=1121.99
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 4960447 0 0 0 110028 2171 0 0 25 0 1 0 3432039 304062464 67050 1992294400 4194304 9819077 140735608795328 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 74234 67050 706 1374 0 72855 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 296936
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10354
/proc/meminfo: memFree=1461148/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=300672 CPUtime=1181.99
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 5668142 0 0 0 115740 2459 0 0 25 0 1 0 3432039 307888128 68182 1992294400 4194304 9819077 140735608795328 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 75168 68182 706 1374 0 73789 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 300672
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10356
/proc/meminfo: memFree=1461024/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=300072 CPUtime=1241.97
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 6269498 0 0 0 121485 2712 0 0 25 0 1 0 3432039 307273728 68053 1992294400 4194304 9819077 140735608795328 18446744073709551615 6591535 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 75018 68053 706 1374 0 73639 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 300072
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10358
/proc/meminfo: memFree=1458916/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=303992 CPUtime=1301.96
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 6878522 0 0 0 127226 2970 0 0 25 0 1 0 3432039 311287808 68534 1992294400 4194304 9819077 140735608795328 18446744073709551615 7292248 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 75998 68534 706 1374 0 74619 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 303992
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10358
/proc/meminfo: memFree=1458544/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=302636 CPUtime=1361.94
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 7610966 0 0 0 132925 3269 0 0 25 0 1 0 3432039 309899264 68620 1992294400 4194304 9819077 140735608795328 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 75659 68620 706 1374 0 74280 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 302636
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10360
/proc/meminfo: memFree=1456808/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=373656 CPUtime=1421.93
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 7872997 0 0 0 138810 3383 0 0 25 0 1 0 3432039 382623744 69565 1992294400 4194304 9819077 140735608795328 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 93414 69565 706 1374 0 92035 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 373656
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10362
/proc/meminfo: memFree=1463008/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=325168 CPUtime=1481.9
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 8057070 0 0 0 144724 3466 0 0 25 0 1 0 3432039 332972032 68189 1992294400 4194304 9819077 140735608795328 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 81292 68189 706 1374 0 79913 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 325168
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10364
/proc/meminfo: memFree=1461520/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=321664 CPUtime=1541.89
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 8322398 0 0 0 150606 3583 0 0 25 0 1 0 3432039 329383936 68199 1992294400 4194304 9819077 140735608795328 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 80416 68199 706 1374 0 79037 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 321664
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10366
/proc/meminfo: memFree=1460900/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=326680 CPUtime=1601.88
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 8491820 0 0 0 156529 3659 0 0 25 0 1 0 3432039 334520320 68111 1992294400 4194304 9819077 140735608795328 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 81670 68111 706 1374 0 80291 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 326680
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10366
/proc/meminfo: memFree=1459536/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=322692 CPUtime=1661.86
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 8681399 0 0 0 162437 3749 0 0 25 0 1 0 3432039 330436608 68253 1992294400 4194304 9819077 140735608795328 18446744073709551615 7290918 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 80673 68253 706 1374 0 79294 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 322692
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10368
/proc/meminfo: memFree=1463380/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=302532 CPUtime=1721.85
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 9088286 0 0 0 168253 3932 0 0 25 0 1 0 3432039 309792768 67672 1992294400 4194304 9819077 140735608795328 18446744073709551615 7292302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 75633 67672 706 1374 0 74254 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 302532
[startup+1782.3 s]
/proc/loadavg: 1.03 0.99 0.99 2/107 10373
/proc/meminfo: memFree=1462016/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=294528 CPUtime=1781.83
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 9482334 0 0 0 174069 4114 0 0 25 0 1 0 3432039 301596672 66908 1992294400 4194304 9819077 140735608795328 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 73632 66916 706 1374 0 72253 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 294528
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.02 0.99 0.99 2/107 10373
/proc/meminfo: memFree=1463008/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=300804 CPUtime=1800.03
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 9607644 0 0 0 175834 4169 0 0 25 0 1 0 3432039 308023296 67409 1992294400 4194304 9819077 140735608795328 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 75201 67409 706 1374 0 73822 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 300804
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.02 0.99 0.99 2/108 10374
/proc/meminfo: memFree=1462752/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=300804 CPUtime=1800.14
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 9607706 0 0 0 175845 4169 0 0 25 0 1 0 3432039 308023296 67471 1992294400 4194304 9819077 140735608795328 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 75201 67471 706 1374 0 73822 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 300804
[startup+1801 s]
/proc/loadavg: 1.02 0.99 0.99 2/108 10374
/proc/meminfo: memFree=1462752/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=309988 CPUtime=1800.52
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 9612036 0 0 0 175881 4171 0 0 25 0 1 0 3432039 317427712 68006 1992294400 4194304 9819077 140735608795328 18446744073709551615 7234115 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10321/statm: 77497 68006 706 1374 0 76118 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (KiB) 309988
[startup+1801.4 s]
/proc/loadavg: 1.02 0.99 0.99 2/108 10374
/proc/meminfo: memFree=1462752/2059040 swapFree=4192956/4192956
[pid=10321] ppid=10319 vsize=119744 CPUtime=1800.92
/proc/10321/stat : 10321 (pbscip.linux.x8) R 10319 10321 10021 0 -1 4202496 9612375 0 0 0 175919 4173 0 0 25 0 1 0 3432039 122617856 27801 1992294400 4194304 9819077 140735608795328 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10321/statm: 29876 27772 712 1374 0 28497 0
Current children cumulated CPU time (s) 1800.92
Current children cumulated vsize (KiB) 119744
Child status: 0
Real time (s): 1801.45
CPU time (s): 1800.98
CPU user time (s): 1759.23
CPU system time (s): 41.7467
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 394604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.23
system time used= 41.7467
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9612379
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= 996
runsolver used 2.91156 second user time and 8.5707 second system time
The end