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-2665436-1276584562.opb>
1.10/1.19 c original problem has 8883 variables (8883 bin, 0 int, 0 impl, 0 cont) and 17459 constraints
1.10/1.19 c problem read
1.10/1.20 c presolving settings loaded
1.50/1.58 c presolving:
1.79/1.88 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.99/2.03 c (round 2) 0 del vars, 8568 del conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 170 upgd conss, 0 impls, 0 clqs
2.10/2.18 c (round 3) 0 del vars, 8568 del conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 323 upgd conss, 1412 impls, 0 clqs
7.29/7.40 c (6.0s) probing: 117/8883 (1.3%) - 0 fixings, 0 aggregations, 4896 implications, 0 bound changes
7.29/7.40 c (6.0s) probing aborted: 100/100 successive totally useless probings
7.39/7.40 c presolving (4 rounds):
7.39/7.40 c 0 deleted vars, 8568 deleted constraints, 0 tightened bounds, 0 added holes, 306 changed sides, 306 changed coefficients
7.39/7.40 c 17748 implications, 0 cliques
7.39/7.40 c presolved problem has 8883 variables (8883 bin, 0 int, 0 impl, 0 cont) and 8891 constraints
7.39/7.40 c 323 constraints of type <knapsack>
7.39/7.40 c 8568 constraints of type <linear>
7.39/7.40 c transformed objective value is always integral (scale: 1)
7.39/7.40 c Presolving Time: 5.80
7.39/7.40 c - non default parameters ----------------------------------------------------------------------
7.39/7.40 c # SCIP version 1.2.1.2
7.39/7.40 c
7.39/7.40 c # frequency for displaying node information lines
7.39/7.40 c # [type: int, range: [-1,2147483647], default: 100]
7.39/7.40 c display/freq = 10000
7.39/7.40 c
7.39/7.40 c # maximal time in seconds to run
7.39/7.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.39/7.40 c limits/time = 1798.81
7.39/7.40 c
7.39/7.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.39/7.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.39/7.40 c limits/memory = 1620
7.39/7.40 c
7.39/7.40 c # should presolving try to simplify inequalities
7.39/7.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.39/7.40 c constraints/linear/simplifyinequalities = TRUE
7.39/7.40 c
7.39/7.40 c # should presolving try to simplify knapsacks
7.39/7.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.39/7.40 c constraints/knapsack/simplifyinequalities = TRUE
7.39/7.40 c
7.39/7.40 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
7.39/7.40 c # [type: int, range: [-1,2147483647], default: -1]
7.39/7.40 c separating/rapidlearning/freq = 0
7.39/7.40 c
7.39/7.40 c -----------------------------------------------------------------------------------------------
7.39/7.40 c start solving
7.39/7.41 c
10.59/10.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.59/10.63 c 9.2s| 1 | 0 | 7463 | - | 82M| 0 |4994 |8883 |8891 |8883 |8891 | 0 | 0 | 0 | 1.700000e+01 | -- | Inf
16.49/16.51 c 14.8s| 1 | 0 | 7575 | - | 83M| 0 |5024 |8883 |8891 |8883 |8965 | 74 | 0 | 0 | 1.700000e+01 | -- | Inf
18.89/18.91 c 17.2s| 1 | 0 | 7758 | - | 83M| 0 |5041 |8883 |8891 |8883 |9062 | 171 | 0 | 0 | 1.700000e+01 | -- | Inf
22.09/22.12 c 20.3s| 1 | 0 | 8054 | - | 84M| 0 |5027 |8883 |8891 |8883 |9139 | 248 | 0 | 0 | 1.700000e+01 | -- | Inf
25.59/25.61 c 23.8s| 1 | 0 | 8508 | - | 85M| 0 |5037 |8883 |8891 |8883 |9204 | 313 | 0 | 0 | 1.700000e+01 | -- | Inf
30.48/30.58 c 28.7s| 1 | 0 | 9095 | - | 85M| 0 |5038 |8883 |8891 |8883 |9271 | 380 | 0 | 0 | 1.700000e+01 | -- | Inf
35.97/36.09 c 34.2s| 1 | 0 | 9778 | - | 86M| 0 |5041 |8883 |8891 |8883 |9343 | 452 | 0 | 0 | 1.700000e+01 | -- | Inf
78.07/78.15 c 75.3s| 1 | 2 | 9778 | - | 86M| 0 |5041 |8883 |8891 |8883 |9343 | 452 | 0 | 20 | 1.700000e+01 | -- | Inf
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.42/1800.93 c
1800.42/1800.93 c SCIP Status : solving was interrupted [user interrupt]
1800.42/1800.93 c Solving Time (sec) : 1735.63
1800.42/1800.93 c Solving Nodes : 247
1800.42/1800.93 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.42/1800.93 c Dual Bound : +1.80000000000000e+01
1800.42/1800.93 c Gap : infinite
1800.42/1800.93 s UNKNOWN
1800.42/1800.93 c SCIP Status : solving was interrupted [user interrupt]
1800.42/1800.93 c Solving Time : 1735.63
1800.42/1800.93 c Original Problem :
1800.42/1800.93 c Problem name : HOME/instance-2665436-1276584562.opb
1800.42/1800.93 c Variables : 8883 (8883 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.42/1800.93 c Constraints : 17459 initial, 17459 maximal
1800.42/1800.93 c Presolved Problem :
1800.42/1800.93 c Problem name : t_HOME/instance-2665436-1276584562.opb
1800.42/1800.93 c Variables : 8883 (8883 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.42/1800.93 c Constraints : 8891 initial, 12933 maximal
1800.42/1800.93 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.42/1800.93 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.42/1800.93 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.42/1800.93 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.42/1800.93 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.42/1800.93 c implics : 0.00 0 0 0 0 0 0 0 0
1800.42/1800.93 c probing : 5.18 0 0 0 0 0 0 0 0
1800.42/1800.93 c knapsack : 0.02 0 0 0 0 0 0 0 0
1800.42/1800.93 c linear : 0.48 0 0 0 0 0 8568 306 306
1800.42/1800.93 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.42/1800.93 c root node : - 0 - - 0 - - - -
1800.42/1800.93 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.42/1800.93 c integral : 0 0 0 240 0 0 21 0 0 468
1800.42/1800.93 c knapsack : 323 6 10334 0 0 11 139 1203 0 0
1800.42/1800.93 c linear : 8568 6 10323 0 0 15 150 0 0 0
1800.42/1800.93 c logicor : 0+ 0 4573 0 0 0 41 0 0 0
1800.42/1800.93 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.42/1800.93 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.42/1800.93 c integral : 373.87 0.00 0.00 373.87 0.00
1800.42/1800.93 c knapsack : 1.01 0.06 0.95 0.00 0.00
1800.42/1800.93 c linear : 23.36 0.01 23.35 0.00 0.00
1800.42/1800.93 c logicor : 0.07 0.00 0.07 0.00 0.00
1800.42/1800.93 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.42/1800.93 c Propagators : Time Calls Cutoffs DomReds
1800.42/1800.93 c vbounds : 0.02 2 0 0
1800.42/1800.93 c rootredcost : 0.01 0 0 0
1800.42/1800.93 c pseudoobj : 0.06 10086 0 0
1800.42/1800.93 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.42/1800.93 c propagation : 0.00 26 26 114 29.1 2 17.5 -
1800.42/1800.93 c infeasible LP : 14.74 3965 3965 3993 11.0 1 18.0 0
1800.42/1800.93 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.42/1800.93 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.42/1800.93 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.42/1800.93 c applied globally : - - - 4042 11.2 - - -
1800.42/1800.93 c applied locally : - - - 0 0.0 - - -
1800.42/1800.93 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.42/1800.93 c cut pool : 0.00 5 - - 2548 - (maximal pool size: 3967)
1800.42/1800.93 c redcost : 0.23 245 0 0 0 0
1800.42/1800.93 c impliedbounds : 0.01 6 0 0 36 0
1800.42/1800.93 c intobj : 0.00 0 0 0 0 0
1800.42/1800.93 c cgmip : 0.00 0 0 0 0 0
1800.42/1800.93 c gomory : 0.30 6 0 0 27 0
1800.42/1800.93 c strongcg : 0.28 6 0 0 9 0
1800.42/1800.93 c cmir : 5.94 6 0 0 3000 0
1800.42/1800.93 c flowcover : 3.73 6 0 0 1200 0
1800.42/1800.93 c clique : 0.03 1 0 0 0 0
1800.42/1800.93 c zerohalf : 0.00 0 0 0 0 0
1800.42/1800.93 c mcf : 0.00 1 0 0 0 0
1800.42/1800.93 c rapidlearning : 3.60 1 0 0 0 0
1800.42/1800.93 c Pricers : Time Calls Vars
1800.42/1800.93 c problem variables: 0.00 0 0
1800.42/1800.93 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.42/1800.93 c relpscost : 373.87 240 0 21 0 0 468
1800.42/1800.93 c pscost : 0.00 0 0 0 0 0 0
1800.42/1800.93 c inference : 0.00 0 0 0 0 0 0
1800.42/1800.93 c mostinf : 0.00 0 0 0 0 0 0
1800.42/1800.93 c leastinf : 0.00 0 0 0 0 0 0
1800.42/1800.93 c fullstrong : 0.00 0 0 0 0 0 0
1800.42/1800.93 c allfullstrong : 0.00 0 0 0 0 0 0
1800.42/1800.93 c random : 0.00 0 0 0 0 0 0
1800.42/1800.93 c Primal Heuristics : Time Calls Found
1800.42/1800.93 c LP solutions : 0.00 - 0
1800.42/1800.93 c pseudo solutions : 0.00 - 0
1800.42/1800.93 c oneopt : 0.00 0 0
1800.42/1800.93 c crossover : 0.00 0 0
1800.42/1800.93 c guideddiving : 0.00 0 0
1800.42/1800.93 c intshifting : 0.00 0 0
1800.42/1800.93 c trivial : 0.03 2 0
1800.42/1800.93 c simplerounding : 0.00 0 0
1800.42/1800.93 c zirounding : 0.23 234 0
1800.42/1800.93 c rounding : 2.38 172 0
1800.42/1800.93 c shifting : 5.90 30 0
1800.42/1800.93 c twoopt : 0.00 0 0
1800.42/1800.93 c fixandinfer : 0.00 0 0
1800.42/1800.93 c feaspump : 1.20 3 0
1800.42/1800.93 c coefdiving : 376.31 1 0
1800.42/1800.93 c pscostdiving : 18.97 5 0
1800.42/1800.93 c fracdiving : 621.72 2 0
1800.42/1800.93 c veclendiving : 43.09 3 0
1800.42/1800.93 c intdiving : 0.00 0 0
1800.42/1800.93 c actconsdiving : 0.00 0 0
1800.42/1800.93 c objpscostdiving : 9.37 3 0
1800.42/1800.93 c rootsoldiving : 8.71 1 0
1800.42/1800.93 c linesearchdiving : 34.59 4 0
1800.42/1800.93 c octane : 0.00 0 0
1800.42/1800.93 c rens : 0.02 0 0
1800.42/1800.93 c rins : 0.00 0 0
1800.42/1800.93 c localbranching : 0.00 0 0
1800.42/1800.93 c mutation : 0.00 0 0
1800.42/1800.93 c dins : 0.00 0 0
1800.42/1800.93 c undercover : 0.00 0 0
1800.42/1800.93 c nlp : 0.00 0 0
1800.42/1800.93 c trysol : 0.00 0 0
1800.42/1800.93 c LP : Time Calls Iterations Iter/call Iter/sec
1800.42/1800.94 c primal LP : 0.09 0 0 0.00 0.00
1800.42/1800.94 c dual LP : 214.11 254 127902 503.55 597.37
1800.42/1800.94 c lex dual LP : 0.00 0 0 0.00 -
1800.42/1800.94 c barrier LP : 0.00 0 0 0.00 -
1800.42/1800.94 c diving/probing LP: 1053.02 6612 1029205 155.66 977.38
1800.42/1800.94 c strong branching : 373.22 402 178233 443.37 477.55
1800.42/1800.94 c (at root node) : - 20 12654 632.70 -
1800.42/1800.94 c conflict analysis: 0.00 0 0 0.00 -
1800.42/1800.94 c B&B Tree :
1800.42/1800.94 c number of runs : 1
1800.42/1800.94 c nodes : 247
1800.42/1800.94 c nodes (total) : 247
1800.42/1800.94 c nodes left : 222
1800.42/1800.94 c max depth : 27
1800.42/1800.94 c max depth (total): 27
1800.42/1800.94 c backtracks : 24 (9.7%)
1800.42/1800.94 c delayed cutoffs : 0
1800.42/1800.94 c repropagations : 41 (19 domain reductions, 0 cutoffs)
1800.42/1800.94 c avg switch length: 2.72
1800.42/1800.94 c switching time : 0.29
1800.42/1800.94 c Solution :
1800.42/1800.94 c Solutions found : 0 (0 improvements)
1800.42/1800.94 c Primal Bound : -
1800.42/1800.94 c Dual Bound : +1.80000000000000e+01
1800.42/1800.94 c Gap : infinite
1800.42/1800.94 c Root Dual Bound : +1.70000000000000e+01
1800.42/1800.94 c Root Iterations : 9778
1800.62/1801.19 c Time complete: 1800.72.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665436-1276584562/watcher-2665436-1276584562 -o /tmp/evaluation-result-2665436-1276584562/solver-2665436-1276584562 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665436-1276584562.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.04 1.00 3/106 1356
/proc/meminfo: memFree=1700496/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=6356 CPUtime=0
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 569 0 0 0 0 0 0 0 18 0 1 0 34060138 6508544 489 1992294400 4194304 9819077 140736237323616 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1356/statm: 1589 490 338 1374 0 210 0
[startup+0.0327219 s]
/proc/loadavg: 1.02 1.04 1.00 3/106 1356
/proc/meminfo: memFree=1700496/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=11144 CPUtime=0.02
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 1722 0 0 0 2 0 0 0 20 0 1 0 34060138 11411456 1642 1992294400 4194304 9819077 140736237323616 18446744073709551615 5648927 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1356/statm: 2786 1642 388 1374 0 1407 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11144
[startup+0.101729 s]
/proc/loadavg: 1.02 1.04 1.00 3/106 1356
/proc/meminfo: memFree=1700496/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=13132 CPUtime=0.1
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 2147 0 0 0 9 1 0 0 20 0 1 0 34060138 13447168 2067 1992294400 4194304 9819077 140736237323616 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1356/statm: 3283 2080 388 1374 0 1904 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13132
[startup+0.301747 s]
/proc/loadavg: 1.02 1.04 1.00 3/106 1356
/proc/meminfo: memFree=1700496/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=18048 CPUtime=0.29
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 3428 0 0 0 28 1 0 0 20 0 1 0 34060138 18481152 3348 1992294400 4194304 9819077 140736237323616 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1356/statm: 4512 3348 388 1374 0 3133 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18048
[startup+0.701785 s]
/proc/loadavg: 1.02 1.04 1.00 3/106 1356
/proc/meminfo: memFree=1700496/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=26204 CPUtime=0.69
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 5467 0 0 0 67 2 0 0 20 0 1 0 34060138 26832896 5387 1992294400 4194304 9819077 140736237323616 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1356/statm: 6551 5387 388 1374 0 5172 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26204
[startup+1.50186 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 1357
/proc/meminfo: memFree=1675068/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=141652 CPUtime=1.5
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 36004 0 0 0 136 14 0 0 23 0 1 0 34060138 145051648 33223 1992294400 4194304 9819077 140736237323616 18446744073709551615 4906805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 35413 33223 438 1374 0 34034 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 141652
[startup+3.10101 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 1357
/proc/meminfo: memFree=1555532/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=159228 CPUtime=3.09
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 42720 0 0 0 288 21 0 0 25 0 1 0 34060138 163049472 36964 1992294400 4194304 9819077 140736237323616 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 39807 36964 511 1374 0 38428 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 159228
[startup+6.30132 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 1357
/proc/meminfo: memFree=1553672/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=159228 CPUtime=6.29
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 42720 0 0 0 607 22 0 0 25 0 1 0 34060138 163049472 36964 1992294400 4194304 9819077 140736237323616 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 39807 36964 511 1374 0 38428 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 159228
[startup+12.7009 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 1357
/proc/meminfo: memFree=1515356/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=244960 CPUtime=12.68
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 89091 0 0 0 1226 42 0 0 25 0 1 0 34060138 250839040 55907 1992294400 4194304 9819077 140736237323616 18446744073709551615 4668059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 61240 55908 676 1374 0 59861 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 244960
[startup+25.5011 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 1359
/proc/meminfo: memFree=1506924/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=232856 CPUtime=25.49
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 124863 0 0 0 2484 65 0 0 25 0 1 0 34060138 238444544 48891 1992294400 4194304 9819077 140736237323616 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 58214 48891 692 1374 0 56835 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 232856
[startup+51.1016 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 1359
/proc/meminfo: memFree=1503328/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=258164 CPUtime=51.07
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 216694 0 0 0 5002 105 0 0 25 0 1 0 34060138 264359936 49776 1992294400 4194304 9819077 140736237323616 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 64541 49776 698 1374 0 63162 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 258164
[startup+102.308 s]
/proc/loadavg: 1.03 1.04 1.00 2/107 1361
/proc/meminfo: memFree=1504692/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=260524 CPUtime=102.26
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 448412 0 0 0 10021 205 0 0 25 0 1 0 34060138 266776576 49545 1992294400 4194304 9819077 140736237323616 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 65131 49545 702 1374 0 63752 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 260524
[startup+162.301 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 1361
/proc/meminfo: memFree=1505684/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=258556 CPUtime=162.24
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 736039 0 0 0 15896 328 0 0 25 0 1 0 34060138 264761344 49600 1992294400 4194304 9819077 140736237323616 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 64639 49600 702 1374 0 63260 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 258556
[startup+222.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 1363
/proc/meminfo: memFree=1506924/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=257784 CPUtime=222.23
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 1055551 0 0 0 21762 461 0 0 25 0 1 0 34060138 263970816 48965 1992294400 4194304 9819077 140736237323616 18446744073709551615 7291994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 64446 48965 702 1374 0 63067 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 257784
[startup+282.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 1365
/proc/meminfo: memFree=1506056/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=229072 CPUtime=282.22
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 1392986 0 0 0 27618 604 0 0 25 0 1 0 34060138 234569728 48197 1992294400 4194304 9819077 140736237323616 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 57268 48197 702 1374 0 55889 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 229072
[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 1367
/proc/meminfo: memFree=1510396/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=216524 CPUtime=342.19
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 1645173 0 0 0 33501 718 0 0 25 0 1 0 34060138 221720576 48040 1992294400 4194304 9819077 140736237323616 18446744073709551615 7304203 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 54131 48040 707 1374 0 52752 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 216524
[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1369
/proc/meminfo: memFree=1510396/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=214336 CPUtime=402.18
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 2011209 0 0 0 39351 867 0 0 25 0 1 0 34060138 219480064 48114 1992294400 4194304 9819077 140736237323616 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 53584 48114 707 1374 0 52205 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 214336
[startup+462.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1369
/proc/meminfo: memFree=1508784/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=217156 CPUtime=462.17
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 2443727 0 0 0 45166 1051 0 0 25 0 1 0 34060138 222367744 48375 1992294400 4194304 9819077 140736237323616 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 54289 48375 707 1374 0 52910 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 217156
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1371
/proc/meminfo: memFree=1507048/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=217920 CPUtime=522.15
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 3523549 0 0 0 50746 1469 0 0 25 0 1 0 34060138 223150080 48614 1992294400 4194304 9819077 140736237323616 18446744073709551615 7816449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 54480 48625 707 1374 0 53101 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 217920
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1374
/proc/meminfo: memFree=1504072/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=221032 CPUtime=582.14
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 4834092 0 0 0 56230 1984 0 0 25 0 1 0 34060138 226336768 49525 1992294400 4194304 9819077 140736237323616 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 55258 49525 707 1374 0 53879 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 221032
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1376
/proc/meminfo: memFree=1499732/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=225716 CPUtime=642.13
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 6359698 0 0 0 61638 2575 0 0 25 0 1 0 34060138 231133184 50603 1992294400 4194304 9819077 140736237323616 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 56429 50585 707 1374 0 55050 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 225716
[startup+702.302 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1395
/proc/meminfo: memFree=1505684/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=220676 CPUtime=1002.02
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 9909614 0 0 0 96204 3998 0 0 25 0 1 0 34060138 225972224 49205 1992294400 4194304 9819077 140736237323616 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 55169 49205 708 1374 0 53790 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 220676
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1395
/proc/meminfo: memFree=1508536/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=215072 CPUtime=1062.01
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 10275385 0 0 0 102046 4155 0 0 25 0 1 0 34060138 220233728 48953 1992294400 4194304 9819077 140736237323616 18446744073709551615 7262185 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 53768 48953 708 1374 0 52389 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 215072
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1397
/proc/meminfo: memFree=1505560/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=218632 CPUtime=1121.99
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 10628147 0 0 0 107890 4309 0 0 25 0 1 0 34060138 223879168 49173 1992294400 4194304 9819077 140736237323616 18446744073709551615 7294735 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 54658 49173 708 1374 0 53279 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 218632
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1399
/proc/meminfo: memFree=1504816/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=218212 CPUtime=1181.98
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 10996561 0 0 0 113731 4467 0 0 25 0 1 0 34060138 223449088 49151 1992294400 4194304 9819077 140736237323616 18446744073709551615 7296163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 54553 49151 708 1374 0 53174 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 218212
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1401
/proc/meminfo: memFree=1503452/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=220260 CPUtime=1241.96
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 11374685 0 0 0 119567 4629 0 0 25 0 1 0 34060138 225546240 49800 1992294400 4194304 9819077 140736237323616 18446744073709551615 6192285 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 55065 49800 708 1374 0 53686 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 220260
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1403
/proc/meminfo: memFree=1503204/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=220260 CPUtime=1301.95
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 11778016 0 0 0 125390 4805 0 0 25 0 1 0 34060138 225546240 49564 1992294400 4194304 9819077 140736237323616 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 55065 49564 708 1374 0 53686 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 220260
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1403
/proc/meminfo: memFree=1503204/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=220260 CPUtime=1361.93
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 12316637 0 0 0 131161 5032 0 0 25 0 1 0 34060138 225546240 49839 1992294400 4194304 9819077 140736237323616 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 55065 49839 708 1374 0 53686 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 220260
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1405
/proc/meminfo: memFree=1501096/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=222380 CPUtime=1421.93
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 12953195 0 0 0 136904 5289 0 0 25 0 1 0 34060138 227717120 50186 1992294400 4194304 9819077 140736237323616 18446744073709551615 6379262 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 55595 50186 708 1374 0 54216 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 222380
[startup+1482.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 1410
/proc/meminfo: memFree=1499856/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=262136 CPUtime=1481.9
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 13718392 0 0 0 142601 5589 0 0 25 0 1 0 34060138 268427264 50248 1992294400 4194304 9819077 140736237323616 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 65534 50248 708 1374 0 64155 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 262136
[startup+1542.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 1412
/proc/meminfo: memFree=1498988/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=262036 CPUtime=1541.88
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 14073914 0 0 0 148446 5742 0 0 25 0 1 0 34060138 268324864 50655 1992294400 4194304 9819077 140736237323616 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 65509 50655 708 1374 0 64130 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 262036
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1414
/proc/meminfo: memFree=1503452/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=218440 CPUtime=1601.87
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 14408394 0 0 0 154306 5881 0 0 25 0 1 0 34060138 223682560 49292 1992294400 4194304 9819077 140736237323616 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 54610 49292 708 1374 0 53231 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 218440
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1414
/proc/meminfo: memFree=1501344/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=235136 CPUtime=1661.86
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 14726223 0 0 0 160163 6023 0 0 25 0 1 0 34060138 240779264 50081 1992294400 4194304 9819077 140736237323616 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 58784 50081 708 1374 0 57405 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 235136
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1416
/proc/meminfo: memFree=1500724/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=225772 CPUtime=1721.84
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 15141273 0 0 0 165987 6197 0 0 25 0 1 0 34060138 231190528 50246 1992294400 4194304 9819077 140736237323616 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 56443 50246 708 1374 0 55064 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 225772
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1418
/proc/meminfo: memFree=1499236/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=228668 CPUtime=1781.83
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 15468085 0 0 0 171845 6338 0 0 25 0 1 0 34060138 234156032 50357 1992294400 4194304 9819077 140736237323616 18446744073709551615 7234120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 57167 50357 708 1374 0 55788 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 228668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1418
/proc/meminfo: memFree=1497252/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=256800 CPUtime=1800.03
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 15530980 0 0 0 173637 6366 0 0 25 0 1 0 34060138 262963200 51016 1992294400 4194304 9819077 140736237323616 18446744073709551615 7222401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 64200 51016 708 1374 0 62821 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 256800
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.00 1.00 1.00 2/108 1419
/proc/meminfo: memFree=1495508/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=265064 CPUtime=1800.13
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 15531371 0 0 0 173647 6366 0 0 25 0 1 0 34060138 271425536 51386 1992294400 4194304 9819077 140736237323616 18446744073709551615 6192275 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1356/statm: 66266 51386 708 1374 0 64887 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 265064
[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1419
/proc/meminfo: memFree=1495508/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=233552 CPUtime=1800.52
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 15532912 0 0 0 173685 6367 0 0 25 0 1 0 34060138 239157248 49329 1992294400 4194304 9819077 140736237323616 18446744073709551615 6027059 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1356/statm: 58388 49329 711 1374 0 57009 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (KiB) 233552
[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1419
/proc/meminfo: memFree=1495508/2059040 swapFree=4140388/4192956
[pid=1356] ppid=1354 vsize=219956 CPUtime=1800.62
/proc/1356/stat : 1356 (pbscip.linux.x8) R 1354 1356 505 0 -1 4202496 15532912 0 0 0 173695 6367 0 0 25 0 1 0 34060138 225234944 45931 1992294400 4194304 9819077 140736237323616 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1356/statm: 54989 45931 711 1374 0 53610 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (KiB) 219956
Child status: 0
Real time (s): 1801.19
CPU time (s): 1800.73
CPU user time (s): 1737.02
CPU system time (s): 63.7043
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 303452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1737.02
system time used= 63.7043
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15532916
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= 4
involuntary context switches= 4067
runsolver used 2.96755 second user time and 8.5227 second system time
The end