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-2665610-1276397232.opb>
0.29/0.36 c original problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
0.29/0.36 c problem read
0.29/0.36 c presolving settings loaded
0.39/0.43 c presolving:
0.59/0.69 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 16096 upgd conss, 3248 impls, 392 clqs
1.10/1.19 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 14784 chg sides, 22176 chg coeffs, 16096 upgd conss, 3248 impls, 392 clqs
5.29/5.38 c (4.9s) probing: 885/1344 (65.8%) - 0 fixings, 0 aggregations, 5768 implications, 0 bound changes
5.29/5.38 c (4.9s) probing aborted: 100/100 successive totally useless probings
5.29/5.38 c presolving (3 rounds):
5.29/5.38 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 14784 changed sides, 22176 changed coefficients
5.29/5.38 c 14784 implications, 392 cliques
5.29/5.38 c presolved problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
5.29/5.38 c 7496 constraints of type <knapsack>
5.29/5.38 c 392 constraints of type <setppc>
5.29/5.38 c 8208 constraints of type <logicor>
5.29/5.38 c transformed objective value is always integral (scale: 1)
5.29/5.38 c Presolving Time: 4.84
5.29/5.38 c - non default parameters ----------------------------------------------------------------------
5.29/5.38 c # SCIP version 1.2.1.2
5.29/5.38 c
5.29/5.38 c # frequency for displaying node information lines
5.29/5.38 c # [type: int, range: [-1,2147483647], default: 100]
5.29/5.38 c display/freq = 10000
5.29/5.38 c
5.29/5.38 c # maximal time in seconds to run
5.29/5.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.29/5.38 c limits/time = 1799.64
5.29/5.38 c
5.29/5.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.29/5.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.29/5.38 c limits/memory = 1620
5.29/5.38 c
5.29/5.38 c # should presolving try to simplify inequalities
5.29/5.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.38 c constraints/linear/simplifyinequalities = TRUE
5.29/5.38 c
5.29/5.38 c # should presolving try to simplify knapsacks
5.29/5.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.38 c constraints/knapsack/simplifyinequalities = TRUE
5.29/5.38 c
5.29/5.38 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.29/5.38 c # [type: int, range: [-1,2147483647], default: -1]
5.29/5.38 c separating/rapidlearning/freq = 0
5.29/5.38 c
5.29/5.38 c -----------------------------------------------------------------------------------------------
5.29/5.38 c start solving
5.29/5.38 c
9.58/9.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.58/9.63 c 9.1s| 1 | 0 | 1709 | - | 33M| 0 | 485 |1344 | 16k|1344 | 16k| 0 | 0 | 0 | 9.600000e+01 | -- | Inf
26.29/26.37 c 25.6s| 1 | 0 | 4816 | - | 38M| 0 | 445 |1344 | 16k|1344 | 16k| 5 | 0 | 0 | 9.600000e+01 | -- | Inf
53.57/53.66 c 52.7s| 1 | 0 | 9963 | - | 43M| 0 | 451 |1344 | 16k|1344 | 16k| 15 | 0 | 0 | 9.600000e+01 | -- | Inf
70.56/70.67 c 69.6s| 1 | 0 | 12790 | - | 47M| 0 | 458 |1344 | 16k|1344 | 16k| 22 | 0 | 0 | 9.600000e+01 | -- | Inf
101.05/101.18 c 99.9s| 1 | 0 | 18377 | - | 51M| 0 | 446 |1344 | 16k|1344 | 16k| 29 | 0 | 0 | 9.600000e+01 | -- | Inf
134.63/134.78 c 133s| 1 | 0 | 24454 | - | 56M| 0 | 469 |1344 | 16k|1344 | 16k| 36 | 0 | 0 | 9.600000e+01 | -- | Inf
167.92/168.09 c 166s| 1 | 0 | 30565 | - | 61M| 0 | 450 |1344 | 16k|1344 | 16k| 45 | 0 | 0 | 9.600000e+01 | -- | Inf
259.89/260.08 c 258s| 1 | 2 | 30565 | - | 61M| 0 | 450 |1344 | 16k|1344 | 16k| 45 | 0 | 21 | 9.600000e+01 | -- | Inf
1800.06/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.96/1801.71 c
1800.96/1801.71 c SCIP Status : solving was interrupted [user interrupt]
1800.96/1801.71 c Solving Time (sec) : 1782.19
1800.96/1801.71 c Solving Nodes : 183
1800.96/1801.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.96/1801.71 c Dual Bound : +9.60000000000169e+01
1800.96/1801.71 c Gap : infinite
1800.96/1801.71 s UNKNOWN
1800.96/1801.71 c SCIP Status : solving was interrupted [user interrupt]
1800.96/1801.71 c Solving Time : 1782.19
1800.96/1801.71 c Original Problem :
1800.96/1801.71 c Problem name : HOME/instance-2665610-1276397232.opb
1800.96/1801.71 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.96/1801.71 c Constraints : 16096 initial, 16096 maximal
1800.96/1801.71 c Presolved Problem :
1800.96/1801.71 c Problem name : t_HOME/instance-2665610-1276397232.opb
1800.96/1801.71 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.96/1801.71 c Constraints : 16096 initial, 16228 maximal
1800.96/1801.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.96/1801.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.96/1801.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.96/1801.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.96/1801.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.96/1801.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.96/1801.71 c probing : 3.79 0 0 0 0 0 0 0 0
1800.96/1801.71 c knapsack : 0.80 0 0 0 0 0 0 14784 22176
1800.96/1801.71 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.96/1801.71 c logicor : 0.06 0 0 0 0 0 0 0 0
1800.96/1801.71 c root node : - 0 - - 0 - - - -
1800.96/1801.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.96/1801.71 c integral : 0 0 0 180 0 0 1 0 0 358
1800.96/1801.71 c knapsack : 7496 6 4649 0 0 0 300 0 0 0
1800.96/1801.71 c setppc : 392 6 4649 0 0 8 2389 0 0 0
1800.96/1801.71 c logicor : 8208+ 6 2412 0 0 3 1069 0 0 0
1800.96/1801.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.96/1801.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.96/1801.71 c integral : 851.84 0.00 0.00 851.84 0.00
1800.96/1801.71 c knapsack : 4.26 0.30 3.96 0.00 0.00
1800.96/1801.71 c setppc : 0.23 0.00 0.23 0.00 0.00
1800.96/1801.71 c logicor : 0.17 0.01 0.16 0.00 0.00
1800.96/1801.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.96/1801.71 c Propagators : Time Calls Cutoffs DomReds
1800.96/1801.71 c vbounds : 0.00 2 0 0
1800.96/1801.71 c rootredcost : 0.00 0 0 0
1800.96/1801.71 c pseudoobj : 0.06 2145 0 0
1800.96/1801.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.96/1801.71 c propagation : 0.00 11 11 107 43.8 3 12.7 -
1800.96/1801.71 c infeasible LP : 0.03 15 9 210 111.0 2 7.0 0
1800.96/1801.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.96/1801.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.96/1801.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.96/1801.71 c applied globally : - - - 132 52.7 - - -
1800.96/1801.71 c applied locally : - - - 0 0.0 - - -
1800.96/1801.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.96/1801.71 c cut pool : 0.02 5 - - 0 - (maximal pool size: 1446)
1800.96/1801.71 c redcost : 0.01 185 0 0 0 0
1800.96/1801.71 c impliedbounds : 0.00 6 0 0 0 0
1800.96/1801.71 c intobj : 0.00 0 0 0 0 0
1800.96/1801.71 c cgmip : 0.00 0 0 0 0 0
1800.96/1801.71 c gomory : 23.28 6 0 0 247 0
1800.96/1801.71 c strongcg : 3.87 6 0 0 3000 0
1800.96/1801.71 c cmir : 0.55 6 0 0 0 0
1800.96/1801.71 c flowcover : 1.52 6 0 0 0 0
1800.96/1801.71 c clique : 0.08 6 0 0 46 0
1800.96/1801.71 c zerohalf : 0.00 0 0 0 0 0
1800.96/1801.71 c mcf : 0.03 1 0 0 0 0
1800.96/1801.71 c rapidlearning : 0.00 0 0 0 0 0
1800.96/1801.71 c Pricers : Time Calls Vars
1800.96/1801.71 c problem variables: 0.00 0 0
1800.96/1801.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.96/1801.71 c relpscost : 851.84 180 0 1 0 0 358
1800.96/1801.71 c pscost : 0.00 0 0 0 0 0 0
1800.96/1801.71 c inference : 0.00 0 0 0 0 0 0
1800.96/1801.71 c mostinf : 0.00 0 0 0 0 0 0
1800.96/1801.71 c leastinf : 0.00 0 0 0 0 0 0
1800.96/1801.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.96/1801.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.96/1801.71 c random : 0.00 0 0 0 0 0 0
1800.96/1801.71 c Primal Heuristics : Time Calls Found
1800.96/1801.71 c LP solutions : 0.00 - 0
1800.96/1801.71 c pseudo solutions : 0.00 - 0
1800.96/1801.71 c oneopt : 0.00 0 0
1800.96/1801.71 c crossover : 0.00 0 0
1800.96/1801.71 c intshifting : 0.00 0 0
1800.96/1801.71 c fracdiving : 19.71 1 0
1800.96/1801.71 c veclendiving : 46.10 1 0
1800.96/1801.71 c linesearchdiving : 9.71 1 0
1800.96/1801.71 c feaspump : 0.15 1 0
1800.96/1801.71 c objpscostdiving : 15.49 1 0
1800.96/1801.71 c rootsoldiving : 26.93 1 0
1800.96/1801.71 c coefdiving : 84.07 2 0
1800.96/1801.71 c trivial : 0.01 2 0
1800.96/1801.71 c simplerounding : 0.00 0 0
1800.96/1801.71 c zirounding : 0.35 179 0
1800.96/1801.71 c rounding : 0.63 145 0
1800.96/1801.71 c shifting : 0.34 23 0
1800.96/1801.71 c twoopt : 0.00 0 0
1800.96/1801.71 c fixandinfer : 0.00 0 0
1800.96/1801.71 c pscostdiving : 56.38 2 0
1800.96/1801.71 c intdiving : 0.00 0 0
1800.96/1801.71 c actconsdiving : 0.00 0 0
1800.96/1801.71 c guideddiving : 0.00 0 0
1800.96/1801.71 c octane : 0.00 0 0
1800.96/1801.71 c rens : 0.22 1 0
1800.96/1801.71 c rins : 0.00 0 0
1800.96/1801.71 c localbranching : 0.00 0 0
1800.96/1801.71 c mutation : 0.00 0 0
1800.96/1801.71 c dins : 0.00 0 0
1800.96/1801.71 c undercover : 0.00 0 0
1800.96/1801.71 c nlp : 0.00 0 0
1800.96/1801.71 c trysol : 0.00 0 0
1800.96/1801.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.96/1801.71 c primal LP : 0.02 0 0 0.00 0.00
1800.96/1801.71 c dual LP : 634.08 186 208984 1123.57 329.59
1800.96/1801.71 c lex dual LP : 0.00 0 0 0.00 -
1800.96/1801.71 c barrier LP : 0.00 0 0 0.00 -
1800.96/1801.71 c diving/probing LP: 252.82 1327 95415 71.90 377.40
1800.96/1801.71 c strong branching : 851.72 301 235808 783.42 276.86
1800.96/1801.71 c (at root node) : - 21 20804 990.67 -
1800.96/1801.71 c conflict analysis: 0.00 0 0 0.00 -
1800.96/1801.71 c B&B Tree :
1800.96/1801.71 c number of runs : 1
1800.96/1801.71 c nodes : 183
1800.96/1801.71 c nodes (total) : 183
1800.96/1801.71 c nodes left : 175
1800.96/1801.71 c max depth : 33
1800.96/1801.71 c max depth (total): 33
1800.96/1801.71 c backtracks : 11 (6.0%)
1800.96/1801.71 c delayed cutoffs : 1
1800.96/1801.71 c repropagations : 6 (30 domain reductions, 1 cutoffs)
1800.96/1801.71 c avg switch length: 2.25
1800.96/1801.71 c switching time : 0.13
1800.96/1801.71 c Solution :
1800.96/1801.71 c Solutions found : 0 (0 improvements)
1800.96/1801.71 c Primal Bound : -
1800.96/1801.71 c Dual Bound : +9.60000000000169e+01
1800.96/1801.71 c Gap : infinite
1800.96/1801.71 c Root Dual Bound : +9.60000000000000e+01
1800.96/1801.71 c Root Iterations : 30565
1801.06/1801.82 c Time complete: 1801.07.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665610-1276397232/watcher-2665610-1276397232 -o /tmp/evaluation-result-2665610-1276397232/solver-2665610-1276397232 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665610-1276397232.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.10 1.16 1.13 3/106 21396
/proc/meminfo: memFree=1760572/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=9288 CPUtime=0
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 1121 0 0 0 0 0 0 0 18 0 1 0 15324873 9510912 1042 1992294400 4194304 9819077 140734251475376 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21396/statm: 2322 1050 371 1374 0 943 0
[startup+0.0859149 s]
/proc/loadavg: 1.10 1.16 1.13 3/106 21396
/proc/meminfo: memFree=1760572/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=13740 CPUtime=0.07
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 2353 0 0 0 7 0 0 0 20 0 1 0 15324873 14069760 2274 1992294400 4194304 9819077 140734251475376 18446744073709551615 5902653 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21396/statm: 3435 2274 388 1374 0 2056 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13740
[startup+0.101918 s]
/proc/loadavg: 1.10 1.16 1.13 3/106 21396
/proc/meminfo: memFree=1760572/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=14380 CPUtime=0.09
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 2511 0 0 0 9 0 0 0 20 0 1 0 15324873 14725120 2432 1992294400 4194304 9819077 140734251475376 18446744073709551615 8668411 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21396/statm: 3595 2432 388 1374 0 2216 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14380
[startup+0.300961 s]
/proc/loadavg: 1.10 1.16 1.13 3/106 21396
/proc/meminfo: memFree=1760572/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=18484 CPUtime=0.29
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 3551 0 0 0 28 1 0 0 20 0 1 0 15324873 18927616 3472 1992294400 4194304 9819077 140734251475376 18446744073709551615 8667865 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21396/statm: 4621 3472 388 1374 0 3242 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18484
[startup+0.701046 s]
/proc/loadavg: 1.10 1.16 1.13 3/106 21396
/proc/meminfo: memFree=1760572/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=55052 CPUtime=0.69
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 14304 0 0 0 62 7 0 0 20 0 1 0 15324873 56373248 12416 1992294400 4194304 9819077 140734251475376 18446744073709551615 4442946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 13763 12416 503 1374 0 12384 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55052
[startup+1.50121 s]
/proc/loadavg: 1.10 1.16 1.13 2/107 21397
/proc/meminfo: memFree=1712080/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=56260 CPUtime=1.49
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 15635 0 0 0 140 9 0 0 23 0 1 0 15324873 57610240 12719 1992294400 4194304 9819077 140734251475376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 14065 12719 505 1374 0 12686 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56260
[startup+3.10156 s]
/proc/loadavg: 1.10 1.16 1.13 2/107 21397
/proc/meminfo: memFree=1710592/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=56520 CPUtime=3.09
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 16238 0 0 0 298 11 0 0 25 0 1 0 15324873 57876480 12808 1992294400 4194304 9819077 140734251475376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 14130 12808 518 1374 0 12751 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56520
[startup+6.30124 s]
/proc/loadavg: 1.09 1.16 1.12 2/107 21397
/proc/meminfo: memFree=1706624/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=91300 CPUtime=6.29
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 23556 0 0 0 613 16 0 0 25 0 1 0 15324873 93491200 18763 1992294400 4194304 9819077 140734251475376 18446744073709551615 6656816 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 22825 18763 643 1374 0 21446 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91300
[startup+12.7006 s]
/proc/loadavg: 1.08 1.16 1.12 2/107 21397
/proc/meminfo: memFree=1687404/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=92204 CPUtime=12.69
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 36580 0 0 0 1244 25 0 0 25 0 1 0 15324873 94416896 18842 1992294400 4194304 9819077 140734251475376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 23051 18842 664 1374 0 21672 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92204
[startup+25.5013 s]
/proc/loadavg: 1.14 1.16 1.13 2/107 21397
/proc/meminfo: memFree=1676740/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=104836 CPUtime=25.48
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 52373 0 0 0 2513 35 0 0 25 0 1 0 15324873 107352064 21818 1992294400 4194304 9819077 140734251475376 18446744073709551615 7291104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 26209 21818 685 1374 0 24830 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 104836
[startup+51.1008 s]
/proc/loadavg: 1.09 1.15 1.12 2/107 21397
/proc/meminfo: memFree=1668680/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=111228 CPUtime=51.07
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 76060 0 0 0 5054 53 0 0 25 0 1 0 15324873 113897472 23330 1992294400 4194304 9819077 140734251475376 18446744073709551615 6198730 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 27807 23330 685 1374 0 26428 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 111228
[startup+102.308 s]
/proc/loadavg: 1.04 1.12 1.11 2/107 21399
/proc/meminfo: memFree=1663844/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=118728 CPUtime=102.25
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 124217 0 0 0 10140 85 0 0 25 0 1 0 15324873 121577472 24804 1992294400 4194304 9819077 140734251475376 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 29682 24804 685 1374 0 28303 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 118728
[startup+162.301 s]
/proc/loadavg: 1.01 1.10 1.10 2/107 21401
/proc/meminfo: memFree=1649212/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=132420 CPUtime=162.23
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 184234 0 0 0 16096 127 0 0 25 0 1 0 15324873 135598080 27839 1992294400 4194304 9819077 140734251475376 18446744073709551615 7306243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 33105 27845 687 1374 0 31726 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 132420
[startup+222.301 s]
/proc/loadavg: 1.00 1.08 1.09 2/107 21403
/proc/meminfo: memFree=1647848/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=147436 CPUtime=222.2
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 267154 0 0 0 22038 182 0 0 25 0 1 0 15324873 150974464 28020 1992294400 4194304 9819077 140734251475376 18446744073709551615 7292323 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 36859 28020 709 1374 0 35480 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 147436
[startup+282.301 s]
/proc/loadavg: 1.00 1.06 1.08 2/107 21403
/proc/meminfo: memFree=1648964/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=135220 CPUtime=282.18
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 336183 0 0 0 27991 227 0 0 25 0 1 0 15324873 138465280 28721 1992294400 4194304 9819077 140734251475376 18446744073709551615 7312693 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 33805 28721 713 1374 0 32426 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 135220
[startup+342.301 s]
/proc/loadavg: 1.00 1.05 1.08 2/107 21405
/proc/meminfo: memFree=1651444/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=146468 CPUtime=342.16
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 406965 0 0 0 33941 275 0 0 25 0 1 0 15324873 149983232 28024 1992294400 4194304 9819077 140734251475376 18446744073709551615 7292350 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 36617 28024 713 1374 0 35238 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 146468
[startup+402.301 s]
/proc/loadavg: 1.00 1.04 1.07 2/107 21407
/proc/meminfo: memFree=1650080/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=147912 CPUtime=402.12
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 475116 0 0 0 39892 320 0 0 25 0 1 0 15324873 151461888 28169 1992294400 4194304 9819077 140734251475376 18446744073709551615 7292321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 36978 28169 713 1374 0 35599 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 147912
[startup+462.301 s]
/proc/loadavg: 1.00 1.03 1.07 2/107 21409
/proc/meminfo: memFree=1650328/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=144112 CPUtime=462.1
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 546072 0 0 0 45842 368 0 0 25 0 1 0 15324873 147570688 28279 1992294400 4194304 9819077 140734251475376 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 36028 28279 713 1374 0 34649 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 144112
[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.06 2/107 21411
/proc/meminfo: memFree=1651196/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=144048 CPUtime=522.08
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 628892 0 0 0 51786 422 0 0 25 0 1 0 15324873 147505152 28315 1992294400 4194304 9819077 140734251475376 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 36012 28315 713 1374 0 34633 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 144048
[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.05 2/107 21413
/proc/meminfo: memFree=1649956/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=143584 CPUtime=582.06
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 717645 0 0 0 57732 474 0 0 25 0 1 0 15324873 147030016 28077 1992294400 4194304 9819077 140734251475376 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 35896 28077 713 1374 0 34517 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 143584
[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.05 2/107 21413
/proc/meminfo: memFree=1649956/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=142176 CPUtime=642.04
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 816538 0 0 0 63671 533 0 0 25 0 1 0 15324873 145588224 28218 1992294400 4194304 9819077 140734251475376 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 35544 28218 713 1374 0 34165 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 142176
[startup+702.3 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 21430
/proc/meminfo: memFree=1646980/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=149080 CPUtime=941.9
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 1424846 0 0 0 93328 862 0 0 25 0 1 0 15324873 152657920 28476 1992294400 4194304 9819077 140734251475376 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 37270 28476 713 1374 0 35891 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 149080
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 21432
/proc/meminfo: memFree=1649956/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=130248 CPUtime=1001.87
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 1627623 0 0 0 99227 960 0 0 25 0 1 0 15324873 133373952 27888 1992294400 4194304 9819077 140734251475376 18446744073709551615 6589145 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 32562 27888 717 1374 0 31183 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 130248
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 21434
/proc/meminfo: memFree=1649212/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=130856 CPUtime=1061.85
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 1899044 0 0 0 105099 1086 0 0 25 0 1 0 15324873 133996544 28108 1992294400 4194304 9819077 140734251475376 18446744073709551615 6198716 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 32714 28108 717 1374 0 31335 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 130856
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21436
/proc/meminfo: memFree=1647104/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=148532 CPUtime=1121.82
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 1978393 0 0 0 111044 1138 0 0 25 0 1 0 15324873 152096768 28526 1992294400 4194304 9819077 140734251475376 18446744073709551615 7304805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 37133 28526 717 1374 0 35754 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 148532
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21436
/proc/meminfo: memFree=1649832/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=128460 CPUtime=1181.8
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 2055865 0 0 0 116992 1188 0 0 25 0 1 0 15324873 131543040 27932 1992294400 4194304 9819077 140734251475376 18446744073709551615 6656789 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 32115 27932 717 1374 0 30736 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 128460
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21438
/proc/meminfo: memFree=1650080/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=130188 CPUtime=1241.77
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 2135726 0 0 0 122932 1245 0 0 25 0 1 0 15324873 133312512 28225 1992294400 4194304 9819077 140734251475376 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 32547 28225 717 1374 0 31168 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 130188
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21440
/proc/meminfo: memFree=1649832/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=130472 CPUtime=1301.75
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 2210048 0 0 0 128882 1293 0 0 25 0 1 0 15324873 133603328 28104 1992294400 4194304 9819077 140734251475376 18446744073709551615 6656904 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 32618 28104 717 1374 0 31239 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 130472
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21442
/proc/meminfo: memFree=1649584/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=129548 CPUtime=1361.73
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 2288175 0 0 0 134825 1348 0 0 25 0 1 0 15324873 132657152 28090 1992294400 4194304 9819077 140734251475376 18446744073709551615 7312705 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 32387 28090 717 1374 0 31008 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 129548
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21444
/proc/meminfo: memFree=1649336/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=131540 CPUtime=1421.71
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 2386179 0 0 0 140766 1405 0 0 25 0 1 0 15324873 134696960 28268 1992294400 4194304 9819077 140734251475376 18446744073709551615 7311969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 32885 28268 717 1374 0 31506 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 131540
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21444
/proc/meminfo: memFree=1647724/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=146780 CPUtime=1481.67
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 2469816 0 0 0 146707 1460 0 0 25 0 1 0 15324873 150302720 28491 1992294400 4194304 9819077 140734251475376 18446744073709551615 7292289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 36695 28491 717 1374 0 35316 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 146780
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21446
/proc/meminfo: memFree=1649708/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=130704 CPUtime=1541.66
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 2588209 0 0 0 152637 1529 0 0 25 0 1 0 15324873 133840896 28239 1992294400 4194304 9819077 140734251475376 18446744073709551615 7294714 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 32676 28239 717 1374 0 31297 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 130704
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21448
/proc/meminfo: memFree=1650204/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=129876 CPUtime=1601.62
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 2693024 0 0 0 158568 1594 0 0 25 0 1 0 15324873 132993024 28224 1992294400 4194304 9819077 140734251475376 18446744073709551615 7292323 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 32469 28224 717 1374 0 31090 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 129876
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21453
/proc/meminfo: memFree=1648220/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=131148 CPUtime=1661.6
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 2890445 0 0 0 164468 1692 0 0 25 0 1 0 15324873 134295552 28106 1992294400 4194304 9819077 140734251475376 18446744073709551615 6698245 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 32787 28106 717 1374 0 31408 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 131148
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21455
/proc/meminfo: memFree=1647476/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=130892 CPUtime=1721.58
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 2972952 0 0 0 170411 1747 0 0 25 0 1 0 15324873 134033408 28206 1992294400 4194304 9819077 140734251475376 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 32723 28206 717 1374 0 31344 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 130892
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21455
/proc/meminfo: memFree=1646112/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=148564 CPUtime=1781.55
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 3111263 0 0 0 176330 1825 0 0 25 0 1 0 15324873 152129536 28748 1992294400 4194304 9819077 140734251475376 18446744073709551615 6198716 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 37141 28748 717 1374 0 35762 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 148564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21457
/proc/meminfo: memFree=1646112/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=148272 CPUtime=1800.06
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 3135462 0 0 0 178165 1841 0 0 25 0 1 0 15324873 151830528 28935 1992294400 4194304 9819077 140734251475376 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 37068 28935 717 1374 0 35689 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 148272
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21457
/proc/meminfo: memFree=1646112/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=148788 CPUtime=1800.65
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 3136149 0 0 0 178224 1841 0 0 25 0 1 0 15324873 152358912 28773 1992294400 4194304 9819077 140734251475376 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21396/statm: 37197 28773 717 1374 0 35818 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 148788
[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21458
/proc/meminfo: memFree=1645608/2059040 swapFree=4187004/4192956
[pid=21396] ppid=21394 vsize=43488 CPUtime=1801.06
/proc/21396/stat : 21396 (pbscip.linux.x8) R 21394 21396 15586 0 -1 4202496 3136664 0 0 0 178263 1843 0 0 25 0 1 0 15324873 44531712 10108 1992294400 4194304 9819077 140734251475376 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21396/statm: 10811 10047 720 1374 0 9432 0
Current children cumulated CPU time (s) 1801.06
Current children cumulated vsize (KiB) 43488
Child status: 0
Real time (s): 1801.82
CPU time (s): 1801.08
CPU user time (s): 1782.64
CPU system time (s): 18.4382
CPU usage (%): 99.9587
Max. virtual memory (cumulated for all children) (KiB): 166160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.64
system time used= 18.4382
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3136668
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= 4534
runsolver used 3.04654 second user time and 8.44572 second system time
The end