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-2665684-1276620359.opb>
0.29/0.39 c original problem has 3296 variables (3296 bin, 0 int, 0 impl, 0 cont) and 6384 constraints
0.29/0.39 c problem read
0.29/0.39 c presolving settings loaded
0.49/0.51 c presolving:
0.59/0.61 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 91 chg sides, 470 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.59/0.67 c (round 2) 1 del vars, 2879 del conss, 1 chg bounds, 91 chg sides, 470 chg coeffs, 320 upgd conss, 0 impls, 0 clqs
0.69/0.75 c (round 3) 1 del vars, 2879 del conss, 1 chg bounds, 131 chg sides, 797 chg coeffs, 627 upgd conss, 310 impls, 6 clqs
0.69/0.78 c (round 4) 1 del vars, 2879 del conss, 1 chg bounds, 181 chg sides, 861 chg coeffs, 627 upgd conss, 310 impls, 6 clqs
3.49/3.52 c (3.0s) probing: 218/3295 (6.6%) - 0 fixings, 0 aggregations, 50 implications, 0 bound changes
3.49/3.52 c (3.0s) probing aborted: 100/100 successive totally useless probings
3.49/3.52 c presolving (5 rounds):
3.49/3.52 c 1 deleted vars, 2879 deleted constraints, 1 tightened bounds, 0 added holes, 181 changed sides, 863 changed coefficients
3.49/3.52 c 410 implications, 6 cliques
3.49/3.52 c presolved problem has 3295 variables (3295 bin, 0 int, 0 impl, 0 cont) and 3505 constraints
3.49/3.52 c 627 constraints of type <knapsack>
3.49/3.52 c 2878 constraints of type <linear>
3.49/3.52 c transformed objective value is always integral (scale: 1)
3.49/3.52 c Presolving Time: 2.98
3.49/3.52 c - non default parameters ----------------------------------------------------------------------
3.49/3.52 c # SCIP version 1.2.1.2
3.49/3.52 c
3.49/3.52 c # frequency for displaying node information lines
3.49/3.52 c # [type: int, range: [-1,2147483647], default: 100]
3.49/3.52 c display/freq = 10000
3.49/3.52 c
3.49/3.52 c # maximal time in seconds to run
3.49/3.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.52 c limits/time = 1799.62
3.49/3.52 c
3.49/3.52 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.49/3.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.52 c limits/memory = 1620
3.49/3.52 c
3.49/3.52 c # should presolving try to simplify inequalities
3.49/3.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.52 c constraints/linear/simplifyinequalities = TRUE
3.49/3.52 c
3.49/3.52 c # should presolving try to simplify knapsacks
3.49/3.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.52 c constraints/knapsack/simplifyinequalities = TRUE
3.49/3.52 c
3.49/3.52 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.49/3.52 c # [type: int, range: [-1,2147483647], default: -1]
3.49/3.52 c separating/rapidlearning/freq = 0
3.49/3.52 c
3.49/3.52 c -----------------------------------------------------------------------------------------------
3.49/3.52 c start solving
3.49/3.52 c
3.89/3.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.89/3.93 c 3.5s| 1 | 0 | 1783 | - | 27M| 0 |1717 |3295 |3505 |3295 |3505 | 0 | 0 | 0 | 9.100000e+01 | -- | Inf
6.39/6.41 c 5.8s| 1 | 0 | 3553 | - | 28M| 0 |2267 |3295 |3505 |3295 |3609 | 104 | 0 | 0 | 9.100000e+01 | -- | Inf
7.79/7.88 c 7.3s| 1 | 0 | 4400 | - | 28M| 0 |2260 |3295 |3505 |3295 |3715 | 210 | 0 | 0 | 9.100000e+01 | -- | Inf
10.78/10.85 c 10.2s| 1 | 0 | 6262 | - | 29M| 0 |2318 |3295 |3505 |3295 |3858 | 353 | 0 | 0 | 9.100000e+01 | -- | Inf
13.39/13.43 c 12.7s| 1 | 0 | 7346 | - | 30M| 0 |1998 |3295 |3505 |3295 |3945 | 440 | 0 | 0 | 9.100000e+01 | -- | Inf
19.08/19.10 c 18.3s| 1 | 0 | 10416 | - | 30M| 0 |2052 |3295 |3505 |3295 |4064 | 559 | 0 | 0 | 9.100000e+01 | -- | Inf
23.48/23.56 c 22.7s| 1 | 0 | 12678 | - | 31M| 0 |2154 |3295 |3505 |3295 |4182 | 677 | 0 | 0 | 9.100000e+01 | -- | Inf
48.57/48.62 c 47.2s| 1 | 2 | 12678 | - | 31M| 0 |2154 |3295 |3505 |3295 |4182 | 677 | 0 | 19 | 9.100000e+01 | -- | Inf
1800.02/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.70 c
1800.02/1800.70 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.70 c Solving Time (sec) : 1730.53
1800.02/1800.70 c Solving Nodes : 5445
1800.02/1800.70 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.70 c Dual Bound : +9.10000000000000e+01
1800.02/1800.70 c Gap : infinite
1800.02/1800.70 s UNKNOWN
1800.02/1800.70 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.70 c Solving Time : 1730.53
1800.02/1800.70 c Original Problem :
1800.02/1800.70 c Problem name : HOME/instance-2665684-1276620359.opb
1800.02/1800.70 c Variables : 3296 (3296 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.70 c Constraints : 6384 initial, 6384 maximal
1800.02/1800.70 c Presolved Problem :
1800.02/1800.70 c Problem name : t_HOME/instance-2665684-1276620359.opb
1800.02/1800.70 c Variables : 3295 (3295 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.70 c Constraints : 3505 initial, 6825 maximal
1800.02/1800.70 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.70 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.70 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.70 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.70 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.70 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.70 c probing : 2.71 0 0 0 0 0 0 0 0
1800.02/1800.70 c knapsack : 0.04 0 0 0 0 0 0 90 393
1800.02/1800.70 c linear : 0.19 1 0 0 1 0 2879 91 470
1800.02/1800.70 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.70 c root node : - 0 - - 0 - - - -
1800.02/1800.70 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.70 c integral : 0 0 0 4497 0 4 677 0 0 8578
1800.02/1800.70 c knapsack : 627 6 34959 0 0 25 10328 1202 0 0
1800.02/1800.70 c linear : 2878 6 34934 0 0 88 19619 0 0 0
1800.02/1800.70 c logicor : 0+ 0 19370 0 0 6 10248 0 0 0
1800.02/1800.70 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.70 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.70 c integral : 500.13 0.00 0.00 500.13 0.00
1800.02/1800.70 c knapsack : 5.10 0.07 5.03 0.00 0.00
1800.02/1800.70 c linear : 43.36 0.00 43.36 0.00 0.00
1800.02/1800.70 c logicor : 0.74 0.00 0.74 0.00 0.00
1800.02/1800.70 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.70 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.70 c vbounds : 0.04 2 0 0
1800.02/1800.70 c rootredcost : 0.05 0 0 0
1800.02/1800.70 c pseudoobj : 0.10 34510 0 0
1800.02/1800.70 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.70 c propagation : 0.01 119 119 477 21.8 3 11.3 -
1800.02/1800.70 c infeasible LP : 6.13 4453 4452 4940 8.9 25 8.8 0
1800.02/1800.70 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.70 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.70 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.70 c applied globally : - - - 5100 9.3 - - -
1800.02/1800.70 c applied locally : - - - 0 0.0 - - -
1800.02/1800.70 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.70 c cut pool : 0.00 5 - - 1277 - (maximal pool size: 4263)
1800.02/1800.70 c redcost : 1.41 4662 0 184 0 0
1800.02/1800.70 c impliedbounds : 0.02 6 0 0 8 0
1800.02/1800.70 c intobj : 0.00 0 0 0 0 0
1800.02/1800.70 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.70 c gomory : 1.35 6 0 0 79 0
1800.02/1800.70 c strongcg : 1.32 6 0 0 6 0
1800.02/1800.70 c cmir : 1.91 6 0 0 3000 0
1800.02/1800.70 c flowcover : 1.66 6 0 0 1200 0
1800.02/1800.70 c clique : 0.00 6 0 0 1 0
1800.02/1800.70 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.70 c mcf : 0.00 1 0 0 0 0
1800.02/1800.70 c rapidlearning : 0.75 1 0 0 0 0
1800.02/1800.70 c Pricers : Time Calls Vars
1800.02/1800.70 c problem variables: 0.00 0 0
1800.02/1800.70 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.70 c relpscost : 500.12 4497 4 677 0 0 8578
1800.02/1800.70 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.70 c inference : 0.00 0 0 0 0 0 0
1800.02/1800.70 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.70 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.70 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.70 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.70 c random : 0.00 0 0 0 0 0 0
1800.02/1800.70 c Primal Heuristics : Time Calls Found
1800.02/1800.70 c LP solutions : 0.00 - 0
1800.02/1800.70 c pseudo solutions : 0.00 - 0
1800.02/1800.70 c oneopt : 0.02 0 0
1800.02/1800.70 c crossover : 0.00 0 0
1800.02/1800.70 c pscostdiving : 57.57 56 0
1800.02/1800.70 c trivial : 0.00 2 0
1800.02/1800.70 c simplerounding : 0.00 0 0
1800.02/1800.70 c zirounding : 0.57 1000 0
1800.02/1800.70 c rounding : 3.65 905 0
1800.02/1800.70 c shifting : 10.56 257 0
1800.02/1800.70 c intshifting : 0.00 0 0
1800.02/1800.70 c twoopt : 0.00 0 0
1800.02/1800.70 c fixandinfer : 0.00 0 0
1800.02/1800.70 c feaspump : 9.71 82 0
1800.02/1800.70 c coefdiving : 79.23 11 0
1800.02/1800.70 c fracdiving : 88.76 9 0
1800.02/1800.70 c veclendiving : 38.88 17 0
1800.02/1800.70 c intdiving : 0.00 0 0
1800.02/1800.70 c actconsdiving : 0.00 0 0
1800.02/1800.70 c objpscostdiving : 11.38 13 0
1800.02/1800.70 c rootsoldiving : 9.90 8 0
1800.02/1800.70 c linesearchdiving : 87.98 125 0
1800.02/1800.70 c guideddiving : 0.00 0 0
1800.02/1800.70 c octane : 0.00 0 0
1800.02/1800.70 c rens : 0.01 0 0
1800.02/1800.70 c rins : 0.00 0 0
1800.02/1800.70 c localbranching : 0.00 0 0
1800.02/1800.70 c mutation : 0.00 0 0
1800.02/1800.70 c dins : 0.00 0 0
1800.02/1800.70 c undercover : 0.00 0 0
1800.02/1800.70 c nlp : 0.01 0 0
1800.02/1800.70 c trysol : 0.00 0 0
1800.02/1800.70 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.70 c primal LP : 0.03 0 0 0.00 0.00
1800.02/1800.70 c dual LP : 771.74 5510 970192 176.08 1257.15
1800.02/1800.70 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.70 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.70 c diving/probing LP: 333.80 11368 438192 38.55 1312.74
1800.02/1800.70 c strong branching : 497.95 3113 602909 193.67 1210.78
1800.02/1800.70 c (at root node) : - 19 17706 931.89 -
1800.02/1800.70 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.70 c B&B Tree :
1800.02/1800.70 c number of runs : 1
1800.02/1800.70 c nodes : 5445
1800.02/1800.70 c nodes (total) : 5445
1800.02/1800.70 c nodes left : 3126
1800.02/1800.70 c max depth : 74
1800.02/1800.70 c max depth (total): 74
1800.02/1800.70 c backtracks : 620 (11.4%)
1800.02/1800.70 c delayed cutoffs : 8
1800.02/1800.70 c repropagations : 5982 (6623 domain reductions, 0 cutoffs)
1800.02/1800.70 c avg switch length: 6.75
1800.02/1800.70 c switching time : 4.28
1800.02/1800.70 c Solution :
1800.02/1800.70 c Solutions found : 0 (0 improvements)
1800.02/1800.70 c Primal Bound : -
1800.02/1800.70 c Dual Bound : +9.10000000000000e+01
1800.02/1800.70 c Gap : infinite
1800.02/1800.70 c Root Dual Bound : +9.10000000000000e+01
1800.02/1800.70 c Root Iterations : 12678
1800.22/1800.81 c Time complete: 1800.22.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665684-1276620359/watcher-2665684-1276620359 -o /tmp/evaluation-result-2665684-1276620359/solver-2665684-1276620359 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665684-1276620359.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10451
/proc/meminfo: memFree=1501132/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=9288 CPUtime=0
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 1024 0 0 0 0 0 0 0 18 0 1 0 3328392 9510912 945 1992294400 4194304 9819077 140737070750272 18446744073709551615 8657695 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10451/statm: 2322 955 371 1374 0 943 0
[startup+0.106332 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10451
/proc/meminfo: memFree=1501132/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=13104 CPUtime=0.1
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 2203 0 0 0 9 1 0 0 20 0 1 0 3328392 13418496 2123 1992294400 4194304 9819077 140737070750272 18446744073709551615 8550839 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10451/statm: 3276 2123 388 1374 0 1897 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13104
[startup+0.200343 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10451
/proc/meminfo: memFree=1501132/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=15512 CPUtime=0.19
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 2814 0 0 0 18 1 0 0 20 0 1 0 3328392 15884288 2734 1992294400 4194304 9819077 140737070750272 18446744073709551615 8667979 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10451/statm: 3878 2734 388 1374 0 2499 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15512
[startup+0.300355 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10451
/proc/meminfo: memFree=1501132/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=18932 CPUtime=0.29
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 3432 0 0 0 28 1 0 0 20 0 1 0 3328392 19386368 3352 1992294400 4194304 9819077 140737070750272 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10451/statm: 4733 3362 388 1374 0 3354 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18932
[startup+0.700399 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10451
/proc/meminfo: memFree=1501132/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=68940 CPUtime=0.69
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 16703 0 0 0 62 7 0 0 20 0 1 0 3328392 70594560 15498 1992294400 4194304 9819077 140737070750272 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 17235 15498 504 1374 0 15856 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68940
[startup+1.50049 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10452
/proc/meminfo: memFree=1439620/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=69344 CPUtime=1.49
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 18405 0 0 0 140 9 0 0 23 0 1 0 3328392 71008256 15658 1992294400 4194304 9819077 140737070750272 18446744073709551615 4983291 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 17336 15658 512 1374 0 15957 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69344
[startup+3.10066 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10452
/proc/meminfo: memFree=1439620/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=69344 CPUtime=3.09
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 18405 0 0 0 300 9 0 0 25 0 1 0 3328392 71008256 15658 1992294400 4194304 9819077 140737070750272 18446744073709551615 5902643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 17336 15658 512 1374 0 15957 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69344
[startup+6.30101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10452
/proc/meminfo: memFree=1389524/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=88372 CPUtime=6.29
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 42378 0 0 0 608 21 0 0 25 0 1 0 3328392 90492928 19139 1992294400 4194304 9819077 140737070750272 18446744073709551615 7290959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 22093 19139 695 1374 0 20714 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88372
[startup+12.7007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10452
/proc/meminfo: memFree=1423996/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=101764 CPUtime=12.68
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 60099 0 0 0 1237 31 0 0 25 0 1 0 3328392 104206336 20256 1992294400 4194304 9819077 140737070750272 18446744073709551615 7304808 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 25441 20256 699 1374 0 24062 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 101764
[startup+25.5011 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 10452
/proc/meminfo: memFree=1419656/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=118048 CPUtime=25.48
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 107049 0 0 0 2495 53 0 0 25 0 1 0 3328392 120881152 20853 1992294400 4194304 9819077 140737070750272 18446744073709551615 7291592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 29512 20853 701 1374 0 28133 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 118048
[startup+51.1009 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 10452
/proc/meminfo: memFree=1422012/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=110600 CPUtime=51.07
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 232520 0 0 0 5000 107 0 0 25 0 1 0 3328392 113254400 20613 1992294400 4194304 9819077 140737070750272 18446744073709551615 6198327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 27650 20613 705 1374 0 26271 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 110600
[startup+102.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 10454
/proc/meminfo: memFree=1422756/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=99116 CPUtime=102.26
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 588915 0 0 0 9968 258 0 0 25 0 1 0 3328392 101494784 20138 1992294400 4194304 9819077 140737070750272 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 24779 20138 705 1374 0 23400 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 99116
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10456
/proc/meminfo: memFree=1422632/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=92020 CPUtime=162.24
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 1149380 0 0 0 15757 467 0 0 25 0 1 0 3328392 94228480 20181 1992294400 4194304 9819077 140737070750272 18446744073709551615 7291704 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 23005 20181 710 1374 0 21626 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 92020
[startup+222.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10456
/proc/meminfo: memFree=1419532/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=98932 CPUtime=222.22
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 1790963 0 0 0 21529 693 0 0 25 0 1 0 3328392 101306368 20931 1992294400 4194304 9819077 140737070750272 18446744073709551615 7291617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 24733 20931 711 1374 0 23354 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 98932
[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10458
/proc/meminfo: memFree=1419284/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=101668 CPUtime=282.2
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 2454522 0 0 0 27282 938 0 0 25 0 1 0 3328392 104108032 21301 1992294400 4194304 9819077 140737070750272 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 25417 21301 711 1374 0 24038 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 101668
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10460
/proc/meminfo: memFree=1418416/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=96136 CPUtime=342.18
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 3176794 0 0 0 33016 1202 0 0 25 0 1 0 3328392 98443264 21190 1992294400 4194304 9819077 140737070750272 18446744073709551615 6004033 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 24034 21190 711 1374 0 22655 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 96136
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10462
/proc/meminfo: memFree=1417424/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=99616 CPUtime=402.16
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 3785348 0 0 0 38786 1430 0 0 25 0 1 0 3328392 102006784 21516 1992294400 4194304 9819077 140737070750272 18446744073709551615 6192333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 24904 21516 711 1374 0 23525 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 99616
[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10464
/proc/meminfo: memFree=1414944/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=116968 CPUtime=462.15
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 4469763 0 0 0 44525 1690 0 0 25 0 1 0 3328392 119775232 22019 1992294400 4194304 9819077 140737070750272 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 29242 22019 726 1374 0 27863 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 116968
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10464
/proc/meminfo: memFree=1415812/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=98336 CPUtime=522.13
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 5103726 0 0 0 50284 1929 0 0 25 0 1 0 3328392 100696064 21618 1992294400 4194304 9819077 140737070750272 18446744073709551615 7220133 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 24584 21618 726 1374 0 23205 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 98336
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10466
/proc/meminfo: memFree=1414076/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=104520 CPUtime=582.11
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 5959434 0 0 0 55973 2238 0 0 25 0 1 0 3328392 107028480 22351 1992294400 4194304 9819077 140737070750272 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 26130 22351 726 1374 0 24751 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 104520
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10468
/proc/meminfo: memFree=1412216/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=103692 CPUtime=642.09
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 6540445 0 0 0 61747 2462 0 0 25 0 1 0 3328392 106180608 22302 1992294400 4194304 9819077 140737070750272 18446744073709551615 7290896 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 25923 22302 726 1374 0 24544 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 103692
[startup+702.301 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10485
/proc/meminfo: memFree=1412216/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=103676 CPUtime=941.99
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 9563524 0 0 0 90604 3595 0 0 25 0 1 0 3328392 106164224 22390 1992294400 4194304 9819077 140737070750272 18446744073709551615 6513096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 25919 22390 726 1374 0 24540 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 103676
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10487
/proc/meminfo: memFree=1412960/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=106012 CPUtime=1001.97
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 10289945 0 0 0 96326 3871 0 0 25 0 1 0 3328392 108556288 22676 1992294400 4194304 9819077 140737070750272 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 26503 22676 726 1374 0 25124 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 106012
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10489
/proc/meminfo: memFree=1411968/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=106148 CPUtime=1061.95
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 10804672 0 0 0 102128 4067 0 0 25 0 1 0 3328392 108695552 22659 1992294400 4194304 9819077 140737070750272 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 26537 22659 726 1374 0 25158 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 106148
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10489
/proc/meminfo: memFree=1412092/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=105992 CPUtime=1121.93
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 11392919 0 0 0 107894 4299 0 0 25 0 1 0 3328392 108535808 22706 1992294400 4194304 9819077 140737070750272 18446744073709551615 6198269 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 26498 22706 726 1374 0 25119 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 105992
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10491
/proc/meminfo: memFree=1411472/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=105316 CPUtime=1181.92
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 11966340 0 0 0 113673 4519 0 0 25 0 1 0 3328392 107843584 22506 1992294400 4194304 9819077 140737070750272 18446744073709551615 4947385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 26329 22506 726 1374 0 24950 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 105316
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10493
/proc/meminfo: memFree=1412464/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=100492 CPUtime=1241.9
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 12533947 0 0 0 119455 4735 0 0 25 0 1 0 3328392 102903808 22388 1992294400 4194304 9819077 140737070750272 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 25123 22388 726 1374 0 23744 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 100492
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10495
/proc/meminfo: memFree=1408744/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=121300 CPUtime=1301.88
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 13352753 0 0 0 125156 5032 0 0 25 0 1 0 3328392 124211200 23574 1992294400 4194304 9819077 140737070750272 18446744073709551615 7291711 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 30325 23574 726 1374 0 28946 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 121300
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10497
/proc/meminfo: memFree=1409612/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=108416 CPUtime=1361.86
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 13935352 0 0 0 130940 5246 0 0 25 0 1 0 3328392 111017984 23308 1992294400 4194304 9819077 140737070750272 18446744073709551615 7292323 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 27104 23308 726 1374 0 25725 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 108416
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10497
/proc/meminfo: memFree=1408496/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=117660 CPUtime=1421.85
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 14508320 0 0 0 136715 5470 0 0 25 0 1 0 3328392 120483840 23508 1992294400 4194304 9819077 140737070750272 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 29415 23508 726 1374 0 28036 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 117660
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10499
/proc/meminfo: memFree=1408868/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=109368 CPUtime=1481.82
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 15089120 0 0 0 142485 5697 0 0 25 0 1 0 3328392 111992832 23230 1992294400 4194304 9819077 140737070750272 18446744073709551615 4651872 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 27342 23230 726 1374 0 25963 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 109368
[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10501
/proc/meminfo: memFree=1410108/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=103140 CPUtime=1541.8
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 15758180 0 0 0 148232 5948 0 0 25 0 1 0 3328392 105615360 23112 1992294400 4194304 9819077 140737070750272 18446744073709551615 7308981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 25785 23112 726 1374 0 24406 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 103140
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10503
/proc/meminfo: memFree=1409612/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=119148 CPUtime=1601.78
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 16396100 0 0 0 153991 6187 0 0 25 0 1 0 3328392 122007552 23626 1992294400 4194304 9819077 140737070750272 18446744073709551615 7298604 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 29787 23626 726 1374 0 28408 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 119148
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10505
/proc/meminfo: memFree=1407504/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=120708 CPUtime=1661.76
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 17006970 0 0 0 159748 6428 0 0 25 0 1 0 3328392 123604992 23766 1992294400 4194304 9819077 140737070750272 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 30177 23766 726 1374 0 28798 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 120708
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10505
/proc/meminfo: memFree=1407752/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=119664 CPUtime=1721.73
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 17494710 0 0 0 165553 6620 0 0 25 0 1 0 3328392 122535936 23694 1992294400 4194304 9819077 140737070750272 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 29916 23694 726 1374 0 28537 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 119664
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10507
/proc/meminfo: memFree=1406636/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=122116 CPUtime=1781.72
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 18098735 0 0 0 171321 6851 0 0 25 0 1 0 3328392 125046784 23846 1992294400 4194304 9819077 140737070750272 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 30529 23846 726 1374 0 29150 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 122116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10509
/proc/meminfo: memFree=1407132/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=118916 CPUtime=1800.02
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 18291412 0 0 0 173081 6921 0 0 25 0 1 0 3328392 121769984 23764 1992294400 4194304 9819077 140737070750272 18446744073709551615 7306231 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10451/statm: 29729 23767 726 1374 0 28350 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 118916
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10510
/proc/meminfo: memFree=1408860/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=108300 CPUtime=1800.12
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 18292390 0 0 0 173091 6921 0 0 25 0 1 0 3328392 110899200 23314 1992294400 4194304 9819077 140737070750272 18446744073709551615 6075527 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10451/statm: 27075 23314 727 1374 0 25696 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 108300
[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10510
/proc/meminfo: memFree=1408860/2059040 swapFree=4192956/4192956
[pid=10451] ppid=10449 vsize=37824 CPUtime=1800.22
/proc/10451/stat : 10451 (pbscip.linux.x8) R 10449 10451 10260 0 -1 4202496 18292392 0 0 0 173100 6922 0 0 25 0 1 0 3328392 38731776 8640 1992294400 4194304 9819077 140737070750272 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10451/statm: 9456 8640 729 1374 0 8077 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 37824
Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.23
CPU user time (s): 1731
CPU system time (s): 69.2295
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 125656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1731
system time used= 69.2295
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18292396
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= 1857
runsolver used 2.95355 second user time and 8.5277 second system time
The end