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-2665437-1276588083.opb>
1.79/1.83 c original problem has 13480 variables (13480 bin, 0 int, 0 impl, 0 cont) and 26619 constraints
1.79/1.83 c problem read
1.79/1.83 c presolving settings loaded
2.29/2.39 c presolving:
2.79/2.85 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 380 chg sides, 380 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
3.00/3.07 c (round 2) 0 del vars, 13110 del conss, 0 chg bounds, 380 chg sides, 380 chg coeffs, 209 upgd conss, 0 impls, 0 clqs
3.30/3.30 c (round 3) 0 del vars, 13110 del conss, 0 chg bounds, 380 chg sides, 380 chg coeffs, 399 upgd conss, 1792 impls, 0 clqs
11.59/11.68 c (9.6s) probing: 119/13480 (0.9%) - 0 fixings, 0 aggregations, 7776 implications, 0 bound changes
11.59/11.68 c (9.6s) probing aborted: 100/100 successive totally useless probings
11.59/11.69 c presolving (4 rounds):
11.59/11.69 c 0 deleted vars, 13110 deleted constraints, 0 tightened bounds, 0 added holes, 380 changed sides, 380 changed coefficients
11.59/11.69 c 26980 implications, 0 cliques
11.59/11.69 c presolved problem has 13480 variables (13480 bin, 0 int, 0 impl, 0 cont) and 13509 constraints
11.59/11.69 c 399 constraints of type <knapsack>
11.59/11.69 c 13110 constraints of type <linear>
11.59/11.69 c transformed objective value is always integral (scale: 1)
11.59/11.69 c Presolving Time: 9.29
11.59/11.69 c - non default parameters ----------------------------------------------------------------------
11.59/11.69 c # SCIP version 1.2.1.2
11.59/11.69 c
11.59/11.69 c # frequency for displaying node information lines
11.59/11.69 c # [type: int, range: [-1,2147483647], default: 100]
11.59/11.69 c display/freq = 10000
11.59/11.69 c
11.59/11.69 c # maximal time in seconds to run
11.59/11.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.59/11.69 c limits/time = 1798.18
11.59/11.69 c
11.59/11.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.59/11.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.59/11.69 c limits/memory = 1620
11.59/11.69 c
11.59/11.69 c # should presolving try to simplify inequalities
11.59/11.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.59/11.69 c constraints/linear/simplifyinequalities = TRUE
11.59/11.69 c
11.59/11.69 c # should presolving try to simplify knapsacks
11.59/11.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.59/11.69 c constraints/knapsack/simplifyinequalities = TRUE
11.59/11.69 c
11.59/11.69 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
11.59/11.69 c # [type: int, range: [-1,2147483647], default: -1]
11.59/11.69 c separating/rapidlearning/freq = 0
11.59/11.69 c
11.59/11.69 c -----------------------------------------------------------------------------------------------
11.59/11.69 c start solving
11.69/11.70 c
17.99/18.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.99/18.07 c 15.9s| 1 | 0 | 9635 | - | 122M| 0 |7501 | 13k| 13k| 13k| 13k| 0 | 0 | 0 | 1.900000e+01 | -- | Inf
21.59/21.66 c 19.3s| 1 | 0 | 9755 | - | 123M| 0 |7511 | 13k| 13k| 13k| 13k| 86 | 0 | 0 | 1.900000e+01 | -- | Inf
25.19/25.30 c 22.9s| 1 | 0 | 9961 | - | 124M| 0 |7537 | 13k| 13k| 13k| 13k| 208 | 0 | 0 | 1.900000e+01 | -- | Inf
30.38/30.47 c 28.0s| 1 | 0 | 10260 | - | 125M| 0 |7537 | 13k| 13k| 13k| 13k| 314 | 0 | 0 | 1.900000e+01 | -- | Inf
37.29/37.40 c 34.9s| 1 | 0 | 10786 | - | 125M| 0 |7522 | 13k| 13k| 13k| 13k| 424 | 0 | 0 | 1.900000e+01 | -- | Inf
47.19/47.28 c 44.6s| 1 | 0 | 11736 | - | 126M| 0 |7547 | 13k| 13k| 13k| 14k| 541 | 0 | 0 | 1.900472e+01 | -- | Inf
74.27/74.39 c 71.5s| 1 | 0 | 17987 | - | 126M| 0 |7549 | 13k| 13k| 13k| 14k| 655 | 0 | 0 | 1.950000e+01 | -- | Inf
111.28/111.33 c 108s| 1 | 0 | 25534 | - | 127M| 0 |7549 | 13k| 13k| 13k| 14k| 750 | 0 | 0 | 1.950000e+01 | -- | Inf
149.57/149.65 c 146s| 1 | 0 | 32446 | - | 127M| 0 |7545 | 13k| 13k| 13k| 14k| 826 | 0 | 0 | 1.950000e+01 | -- | Inf
182.66/182.77 c 179s| 1 | 0 | 37141 | - | 128M| 0 |7535 | 13k| 13k| 13k| 14k| 919 | 0 | 0 | 1.950000e+01 | -- | Inf
212.86/212.91 c 209s| 1 | 0 | 41214 | - | 128M| 0 |7532 | 13k| 13k| 13k| 14k|1007 | 0 | 0 | 1.950000e+01 | -- | Inf
244.25/244.38 c 240s| 1 | 0 | 48082 | - | 128M| 0 |7530 | 13k| 13k| 13k| 14k|1067 | 0 | 0 | 1.950000e+01 | -- | Inf
358.33/358.46 c 352s| 1 | 2 | 48082 | - | 128M| 0 |7530 | 13k| 13k| 13k| 14k|1067 | 0 | 21 | 1.950000e+01 | -- | Inf
1800.08/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1801.38/1801.88 c
1801.38/1801.88 c SCIP Status : solving was interrupted [user interrupt]
1801.38/1801.88 c Solving Time (sec) : 1757.91
1801.38/1801.88 c Solving Nodes : 49
1801.38/1801.88 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1801.38/1801.88 c Dual Bound : +2.56249999999367e+01
1801.38/1801.88 c Gap : infinite
1801.38/1801.88 s UNKNOWN
1801.38/1801.88 c SCIP Status : solving was interrupted [user interrupt]
1801.38/1801.88 c Solving Time : 1757.91
1801.38/1801.88 c Original Problem :
1801.38/1801.88 c Problem name : HOME/instance-2665437-1276588083.opb
1801.38/1801.88 c Variables : 13480 (13480 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.38/1801.88 c Constraints : 26619 initial, 26619 maximal
1801.38/1801.88 c Presolved Problem :
1801.38/1801.88 c Problem name : t_HOME/instance-2665437-1276588083.opb
1801.38/1801.88 c Variables : 13480 (13480 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.38/1801.88 c Constraints : 13509 initial, 14934 maximal
1801.38/1801.88 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1801.38/1801.88 c trivial : 0.01 0 0 0 0 0 0 0 0
1801.38/1801.88 c dualfix : 0.02 0 0 0 0 0 0 0 0
1801.38/1801.88 c boundshift : 0.00 0 0 0 0 0 0 0 0
1801.38/1801.88 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1801.38/1801.88 c implics : 0.00 0 0 0 0 0 0 0 0
1801.38/1801.88 c probing : 8.32 0 0 0 0 0 0 0 0
1801.38/1801.88 c knapsack : 0.02 0 0 0 0 0 0 0 0
1801.38/1801.88 c linear : 0.75 0 0 0 0 0 13110 380 380
1801.38/1801.88 c logicor : 0.00 0 0 0 0 0 0 0 0
1801.38/1801.88 c root node : - 0 - - 0 - - - -
1801.38/1801.88 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1801.38/1801.88 c integral : 0 0 0 47 0 0 8 0 0 90
1801.38/1801.88 c knapsack : 399 11 3192 0 0 63 34 2209 0 0
1801.38/1801.88 c linear : 13110 11 3129 0 0 91 18 0 0 0
1801.38/1801.88 c logicor : 0+ 0 927 0 0 0 10 0 0 0
1801.38/1801.88 c countsols : 0 0 0 0 0 0 0 0 0 0
1801.38/1801.88 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1801.38/1801.88 c integral : 583.66 0.00 0.00 583.66 0.00
1801.38/1801.88 c knapsack : 1.67 0.11 1.56 0.00 0.00
1801.38/1801.88 c linear : 25.67 0.04 25.63 0.00 0.00
1801.38/1801.88 c logicor : 0.00 0.00 0.00 0.00 0.00
1801.38/1801.88 c countsols : 0.00 0.00 0.00 0.00 0.00
1801.38/1801.88 c Propagators : Time Calls Cutoffs DomReds
1801.38/1801.88 c vbounds : 0.02 2 0 0
1801.38/1801.88 c rootredcost : 0.00 0 0 0
1801.38/1801.88 c pseudoobj : 0.03 2928 0 0
1801.38/1801.88 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.38/1801.88 c propagation : 0.05 154 154 1304 40.8 3 11.7 -
1801.38/1801.88 c infeasible LP : 4.21 699 699 744 8.8 2 16.5 0
1801.38/1801.88 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.38/1801.88 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.38/1801.88 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.38/1801.88 c applied globally : - - - 1425 23.4 - - -
1801.38/1801.88 c applied locally : - - - 0 0.0 - - -
1801.38/1801.88 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.38/1801.88 c cut pool : 0.01 10 - - 10565 - (maximal pool size: 6025)
1801.38/1801.88 c redcost : 0.12 58 0 1 0 0
1801.38/1801.88 c impliedbounds : 0.04 11 0 0 46 0
1801.38/1801.88 c intobj : 0.00 0 0 0 0 0
1801.38/1801.88 c cgmip : 0.00 0 0 0 0 0
1801.38/1801.88 c gomory : 2.25 11 0 0 40 0
1801.38/1801.88 c strongcg : 2.27 11 0 0 21 0
1801.38/1801.88 c cmir : 18.08 10 0 0 5000 0
1801.38/1801.88 c flowcover : 31.05 10 0 0 1988 0
1801.38/1801.88 c clique : 0.04 1 0 0 0 0
1801.38/1801.88 c zerohalf : 0.00 0 0 0 0 0
1801.38/1801.88 c mcf : 0.00 1 0 0 0 0
1801.38/1801.88 c rapidlearning : 0.00 0 0 0 0 0
1801.38/1801.88 c Pricers : Time Calls Vars
1801.38/1801.88 c problem variables: 0.00 0 0
1801.38/1801.88 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.38/1801.88 c relpscost : 583.66 47 0 8 0 0 90
1801.38/1801.88 c pscost : 0.00 0 0 0 0 0 0
1801.38/1801.88 c inference : 0.00 0 0 0 0 0 0
1801.38/1801.88 c mostinf : 0.00 0 0 0 0 0 0
1801.38/1801.88 c leastinf : 0.00 0 0 0 0 0 0
1801.38/1801.88 c fullstrong : 0.00 0 0 0 0 0 0
1801.38/1801.88 c allfullstrong : 0.00 0 0 0 0 0 0
1801.38/1801.88 c random : 0.00 0 0 0 0 0 0
1801.38/1801.88 c Primal Heuristics : Time Calls Found
1801.38/1801.88 c LP solutions : 0.00 - 0
1801.38/1801.88 c pseudo solutions : 0.00 - 0
1801.38/1801.88 c oneopt : 0.00 0 0
1801.38/1801.88 c crossover : 0.00 0 0
1801.38/1801.88 c fracdiving : 435.43 1 0
1801.38/1801.88 c veclendiving : 29.09 1 0
1801.38/1801.88 c objpscostdiving : 16.77 1 0
1801.38/1801.88 c trivial : 0.03 2 0
1801.38/1801.88 c simplerounding : 0.01 0 0
1801.38/1801.88 c zirounding : 0.04 45 0
1801.38/1801.88 c rounding : 1.06 58 0
1801.38/1801.88 c shifting : 6.31 14 0
1801.38/1801.88 c intshifting : 0.00 0 0
1801.38/1801.88 c twoopt : 0.00 0 0
1801.38/1801.88 c fixandinfer : 0.00 0 0
1801.38/1801.88 c feaspump : 0.67 1 0
1801.38/1801.88 c coefdiving : 223.56 2 0
1801.38/1801.88 c pscostdiving : 25.71 2 0
1801.38/1801.88 c intdiving : 0.00 0 0
1801.38/1801.88 c actconsdiving : 0.00 0 0
1801.38/1801.88 c rootsoldiving : 22.42 1 0
1801.38/1801.88 c linesearchdiving : 36.33 1 0
1801.38/1801.88 c guideddiving : 0.00 0 0
1801.38/1801.88 c octane : 0.00 0 0
1801.38/1801.88 c rens : 0.03 0 0
1801.38/1801.88 c rins : 0.00 0 0
1801.38/1801.88 c localbranching : 0.00 0 0
1801.38/1801.88 c mutation : 0.00 0 0
1801.38/1801.88 c dins : 0.00 0 0
1801.38/1801.88 c undercover : 0.00 0 0
1801.38/1801.88 c nlp : 0.00 0 0
1801.38/1801.88 c trysol : 0.00 0 0
1801.38/1801.88 c LP : Time Calls Iterations Iter/call Iter/sec
1801.38/1801.88 c primal LP : 0.32 0 0 0.00 0.00
1801.38/1801.88 c dual LP : 310.45 59 101449 1719.47 326.78
1801.38/1801.88 c lex dual LP : 0.00 0 0 0.00 -
1801.38/1801.88 c barrier LP : 0.00 0 0 0.00 -
1801.38/1801.88 c diving/probing LP: 750.54 2006 477340 237.96 636.00
1801.38/1801.88 c strong branching : 583.44 245 176516 720.47 302.54
1801.38/1801.88 c (at root node) : - 21 18774 894.00 -
1801.38/1801.88 c conflict analysis: 0.00 0 0 0.00 -
1801.38/1801.88 c B&B Tree :
1801.38/1801.88 c number of runs : 1
1801.38/1801.88 c nodes : 49
1801.38/1801.88 c nodes (total) : 49
1801.38/1801.88 c nodes left : 42
1801.38/1801.88 c max depth : 13
1801.38/1801.88 c max depth (total): 13
1801.38/1801.88 c backtracks : 8 (16.3%)
1801.38/1801.88 c delayed cutoffs : 0
1801.38/1801.88 c repropagations : 21 (9 domain reductions, 0 cutoffs)
1801.38/1801.88 c avg switch length: 2.59
1801.38/1801.88 c switching time : 0.28
1801.38/1801.88 c Solution :
1801.38/1801.88 c Solutions found : 0 (0 improvements)
1801.38/1801.88 c Primal Bound : -
1801.38/1801.88 c Dual Bound : +2.56249999999367e+01
1801.38/1801.88 c Gap : infinite
1801.38/1801.88 c Root Dual Bound : +1.95000000000000e+01
1801.38/1801.88 c Root Iterations : 48082
1801.78/1802.26 c Time complete: 1801.83.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665437-1276588083/watcher-2665437-1276588083 -o /tmp/evaluation-result-2665437-1276588083/solver-2665437-1276588083 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665437-1276588083.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/107 2388
/proc/meminfo: memFree=1680940/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=9288 CPUtime=0
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 1140 0 0 0 0 0 0 0 20 0 1 0 103713 9510912 1060 1992294400 4194304 9819077 140737231304448 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2388/statm: 2322 1070 371 1374 0 943 0
[startup+0.0132621 s]
/proc/loadavg: 0.00 0.00 0.00 3/107 2388
/proc/meminfo: memFree=1680940/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=10692 CPUtime=0
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 1593 0 0 0 0 0 0 0 20 0 1 0 103713 10948608 1513 1992294400 4194304 9819077 140737231304448 18446744073709551615 4240609 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2388/statm: 2673 1513 388 1374 0 1294 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10692
[startup+0.101252 s]
/proc/loadavg: 0.00 0.00 0.00 3/107 2388
/proc/meminfo: memFree=1680940/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=12884 CPUtime=0.09
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 2140 0 0 0 9 0 0 0 20 0 1 0 103713 13193216 2060 1992294400 4194304 9819077 140737231304448 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2388/statm: 3221 2060 388 1374 0 1842 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12884
[startup+0.301258 s]
/proc/loadavg: 0.00 0.00 0.00 3/107 2388
/proc/meminfo: memFree=1680940/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=18044 CPUtime=0.29
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 3428 0 0 0 28 1 0 0 20 0 1 0 103713 18477056 3348 1992294400 4194304 9819077 140737231304448 18446744073709551615 8550839 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2388/statm: 4511 3348 388 1374 0 3132 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18044
[startup+0.701272 s]
/proc/loadavg: 0.00 0.00 0.00 3/107 2388
/proc/meminfo: memFree=1680940/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=26200 CPUtime=0.69
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 5466 0 0 0 67 2 0 0 20 0 1 0 103713 26828800 5386 1992294400 4194304 9819077 140737231304448 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2388/statm: 6550 5386 388 1374 0 5171 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26200
[startup+1.5013 s]
/proc/loadavg: 0.00 0.00 0.00 2/108 2389
/proc/meminfo: memFree=1656504/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=38680 CPUtime=1.5
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 8614 0 0 0 146 4 0 0 22 0 1 0 103713 39608320 8534 1992294400 4194304 9819077 140737231304448 18446744073709551615 5647787 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2388/statm: 9670 8534 388 1374 0 8291 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 38680
[startup+3.10135 s]
/proc/loadavg: 0.00 0.00 0.00 2/108 2389
/proc/meminfo: memFree=1547136/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=202480 CPUtime=3.09
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 55618 0 0 0 283 26 0 0 25 0 1 0 103713 207339520 47682 1992294400 4194304 9819077 140737231304448 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 50620 47682 544 1374 0 49241 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 202480
[startup+6.30146 s]
/proc/loadavg: 0.08 0.02 0.01 2/108 2389
/proc/meminfo: memFree=1487864/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=205352 CPUtime=6.29
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 57455 0 0 0 601 28 0 0 25 0 1 0 103713 210280448 48459 1992294400 4194304 9819077 140737231304448 18446744073709551615 4639891 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 51338 48459 512 1374 0 49959 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 205352
[startup+12.7017 s]
/proc/loadavg: 0.15 0.03 0.01 2/108 2389
/proc/meminfo: memFree=1445580/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=274896 CPUtime=12.69
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 74682 0 0 0 1234 35 0 0 25 0 1 0 103713 281493504 64012 1992294400 4194304 9819077 140737231304448 18446744073709551615 6704089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 68724 64012 635 1374 0 67345 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 274896
[startup+25.5011 s]
/proc/loadavg: 0.34 0.08 0.02 2/108 2389
/proc/meminfo: memFree=1421152/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=307580 CPUtime=25.48
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 125478 0 0 0 2486 62 0 0 25 0 1 0 103713 314961920 65908 1992294400 4194304 9819077 140737231304448 18446744073709551615 5435399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 76895 65908 676 1374 0 75516 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 307580
[startup+51.1008 s]
/proc/loadavg: 0.56 0.15 0.05 2/108 2389
/proc/meminfo: memFree=1416192/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=313756 CPUtime=51.09
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 169983 0 0 0 5022 87 0 0 25 0 1 0 103713 321286144 66878 1992294400 4194304 9819077 140737231304448 18446744073709551615 6386053 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 78439 66878 676 1374 0 77060 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 313756
[startup+102.308 s]
/proc/loadavg: 0.81 0.28 0.10 2/108 2391
/proc/meminfo: memFree=1414952/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=313492 CPUtime=102.28
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 285744 0 0 0 10090 138 0 0 25 0 1 0 103713 321015808 66959 1992294400 4194304 9819077 140737231304448 18446744073709551615 7220495 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 78373 66959 676 1374 0 76994 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 313492
[startup+162.301 s]
/proc/loadavg: 0.93 0.41 0.15 2/108 2393
/proc/meminfo: memFree=1407016/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=352960 CPUtime=162.26
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 389066 0 0 0 16039 187 0 0 25 0 1 0 103713 361431040 69010 1992294400 4194304 9819077 140737231304448 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 88240 69010 676 1374 0 86861 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 352960
[startup+222.301 s]
/proc/loadavg: 0.97 0.51 0.20 2/108 2393
/proc/meminfo: memFree=1404412/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=351644 CPUtime=222.26
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 512257 0 0 0 21985 241 0 0 25 0 1 0 103713 360083456 69587 1992294400 4194304 9819077 140737231304448 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 87911 69587 676 1374 0 86532 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 351644
[startup+282.301 s]
/proc/loadavg: 0.99 0.60 0.25 2/108 2395
/proc/meminfo: memFree=1396104/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=372000 CPUtime=282.24
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 668942 0 0 0 27914 310 0 0 25 0 1 0 103713 380928000 69966 1992294400 4194304 9819077 140737231304448 18446744073709551615 6198401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 93000 69966 696 1374 0 91621 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 372000
[startup+342.3 s]
/proc/loadavg: 0.99 0.67 0.29 2/108 2397
/proc/meminfo: memFree=1398460/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=372000 CPUtime=342.23
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 865814 0 0 0 33834 389 0 0 25 0 1 0 103713 380928000 69660 1992294400 4194304 9819077 140737231304448 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 93000 69660 696 1374 0 91621 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 372000
[startup+402.301 s]
/proc/loadavg: 0.99 0.73 0.33 2/108 2399
/proc/meminfo: memFree=1404660/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=322592 CPUtime=402.22
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 1193546 0 0 0 39699 523 0 0 25 0 1 0 103713 330334208 68304 1992294400 4194304 9819077 140737231304448 18446744073709551615 6192309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 80648 68304 696 1374 0 79269 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 322592
[startup+462.301 s]
/proc/loadavg: 0.99 0.77 0.37 2/108 2401
/proc/meminfo: memFree=1402180/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=364884 CPUtime=462.2
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 1465161 0 0 0 45583 637 0 0 25 0 1 0 103713 373641216 69134 1992294400 4194304 9819077 140737231304448 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 91221 69134 696 1374 0 89842 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 364884
[startup+522.301 s]
/proc/loadavg: 0.99 0.81 0.41 2/108 2401
/proc/meminfo: memFree=1407760/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=355088 CPUtime=522.18
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 1730313 0 0 0 51465 753 0 0 25 0 1 0 103713 363610112 68898 1992294400 4194304 9819077 140737231304448 18446744073709551615 7291971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 88772 68898 696 1374 0 87393 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 355088
[startup+582.3 s]
/proc/loadavg: 0.99 0.84 0.44 2/108 2403
/proc/meminfo: memFree=1405776/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=363104 CPUtime=582.17
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 2076672 0 0 0 57321 896 0 0 25 0 1 0 103713 371818496 69346 1992294400 4194304 9819077 140737231304448 18446744073709551615 7290944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 90776 69346 701 1374 0 89397 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 363104
[startup+642.301 s]
/proc/loadavg: 0.99 0.87 0.47 2/108 2405
/proc/meminfo: memFree=1406520/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=357560 CPUtime=642.16
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 2346500 0 0 0 63204 1012 0 0 25 0 1 0 103713 366141440 69025 1992294400 4194304 9819077 140737231304448 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 89390 69025 701 1374 0 88011 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 357560
[startup+702.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 0.99 0.95 0.63 2/108 2424
/proc/meminfo: memFree=1414276/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=295040 CPUtime=1002.06
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 4199020 0 0 0 98411 1795 0 0 25 0 1 0 103713 302120960 66945 1992294400 4194304 9819077 140737231304448 18446744073709551615 5916872 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 73760 66945 701 1374 0 72381 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 295040
[startup+1062.3 s]
/proc/loadavg: 0.99 0.95 0.65 2/108 2426
/proc/meminfo: memFree=1412168/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=292184 CPUtime=1062.05
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 4676145 0 0 0 104206 1999 0 0 25 0 1 0 103713 299196416 67244 1992294400 4194304 9819077 140737231304448 18446744073709551615 7220495 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 73046 67244 701 1374 0 71667 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 292184
[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.67 2/108 2426
/proc/meminfo: memFree=1411300/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=298344 CPUtime=1122.04
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 5227762 0 0 0 109972 2232 0 0 25 0 1 0 103713 305504256 67736 1992294400 4194304 9819077 140737231304448 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 74586 67736 701 1374 0 73207 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 298344
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.68 2/108 2428
/proc/meminfo: memFree=1408076/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=295756 CPUtime=1182.02
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 6064360 0 0 0 115628 2574 0 0 25 0 1 0 103713 302854144 68263 1992294400 4194304 9819077 140737231304448 18446744073709551615 7220257 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 73939 68263 701 1374 0 72560 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 295756
[startup+1242.3 s]
/proc/loadavg: 1.04 0.99 0.71 2/108 2430
/proc/meminfo: memFree=1404976/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=299616 CPUtime=1242
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 6911929 0 0 0 121285 2915 0 0 25 0 1 0 103713 306806784 69036 1992294400 4194304 9819077 140737231304448 18446744073709551615 7226325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 74904 69036 702 1374 0 73525 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 299616
[startup+1302.3 s]
/proc/loadavg: 1.01 0.99 0.72 2/108 2432
/proc/meminfo: memFree=1399272/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=357168 CPUtime=1302
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 7631189 0 0 0 126997 3203 0 0 25 0 1 0 103713 365740032 70544 1992294400 4194304 9819077 140737231304448 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 89292 70544 702 1374 0 87913 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 357168
[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.74 2/108 2434
/proc/meminfo: memFree=1408448/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=304592 CPUtime=1361.98
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 7872567 0 0 0 132885 3313 0 0 25 0 1 0 103713 311902208 68599 1992294400 4194304 9819077 140737231304448 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 76148 68599 702 1374 0 74769 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 304592
[startup+1422.31 s]
/proc/loadavg: 1.04 1.00 0.75 2/108 2434
/proc/meminfo: memFree=1406216/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=313136 CPUtime=1421.97
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 8071276 0 0 0 138787 3410 0 0 25 0 1 0 103713 320651264 68868 1992294400 4194304 9819077 140737231304448 18446744073709551615 7295860 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 78284 68868 702 1374 0 76905 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 313136
[startup+1482.3 s]
/proc/loadavg: 1.05 1.01 0.77 2/108 2436
/proc/meminfo: memFree=1396172/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=353184 CPUtime=1481.94
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 8268031 0 0 0 144692 3502 0 0 25 0 1 0 103713 361660416 70654 1992294400 4194304 9819077 140737231304448 18446744073709551615 6192366 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 88296 70654 702 1374 0 86917 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 353184
[startup+1542.3 s]
/proc/loadavg: 1.05 1.02 0.79 2/108 2438
/proc/meminfo: memFree=1402000/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=343604 CPUtime=1541.94
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 8481248 0 0 0 150595 3599 0 0 25 0 1 0 103713 351850496 69901 1992294400 4194304 9819077 140737231304448 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 85901 69901 702 1374 0 84522 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 343604
[startup+1602.3 s]
/proc/loadavg: 1.02 1.02 0.80 2/108 2440
/proc/meminfo: memFree=1403612/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=322484 CPUtime=1601.92
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 8992007 0 0 0 156379 3813 0 0 25 0 1 0 103713 330223616 69323 1992294400 4194304 9819077 140737231304448 18446744073709551615 7325966 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 80621 69323 702 1374 0 79242 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 322484
[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 0.81 2/108 2442
/proc/meminfo: memFree=1404604/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=316848 CPUtime=1661.9
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 9227799 0 0 0 162269 3921 0 0 25 0 1 0 103713 324452352 69164 1992294400 4194304 9819077 140737231304448 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 79212 69164 702 1374 0 77833 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 316848
[startup+1722.3 s]
/proc/loadavg: 1.08 1.02 0.83 2/108 2442
/proc/meminfo: memFree=1403984/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=311216 CPUtime=1721.89
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 9483804 0 0 0 168146 4043 0 0 25 0 1 0 103713 318685184 69018 1992294400 4194304 9819077 140737231304448 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 77804 69018 702 1374 0 76425 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 311216
[startup+1782.3 s]
/proc/loadavg: 1.03 1.02 0.83 2/108 2444
/proc/meminfo: memFree=1405472/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=318212 CPUtime=1781.88
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 9708742 0 0 0 174043 4145 0 0 25 0 1 0 103713 325849088 69184 1992294400 4194304 9819077 140737231304448 18446744073709551615 7291896 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 79553 69184 702 1374 0 78174 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 318212
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.02 1.01 0.83 2/108 2446
/proc/meminfo: memFree=1404356/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=314324 CPUtime=1800.08
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 9769670 0 0 0 175835 4173 0 0 25 0 1 0 103713 321867776 69178 1992294400 4194304 9819077 140737231304448 18446744073709551615 6192320 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 78581 69178 702 1374 0 77202 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 314324
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.02 1.01 0.83 2/109 2447
/proc/meminfo: memFree=1404844/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=310576 CPUtime=1800.98
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 9772391 0 0 0 175923 4175 0 0 25 0 1 0 103713 318029824 68978 1992294400 4194304 9819077 140737231304448 18446744073709551615 7291689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 77644 68978 702 1374 0 76265 0
Current children cumulated CPU time (s) 1800.98
Current children cumulated vsize (KiB) 310576
[startup+1801.81 s]
/proc/loadavg: 1.02 1.01 0.83 2/109 2447
/proc/meminfo: memFree=1404348/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=308692 CPUtime=1801.38
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 9775196 0 0 0 175962 4176 0 0 25 0 1 0 103713 316100608 68947 1992294400 4194304 9819077 140737231304448 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2388/statm: 77173 68947 702 1374 0 75794 0
Current children cumulated CPU time (s) 1801.38
Current children cumulated vsize (KiB) 308692
[startup+1802.2 s]
/proc/loadavg: 1.02 1.01 0.83 2/109 2447
/proc/meminfo: memFree=1404348/2059040 swapFree=4192956/4192956
[pid=2388] ppid=2386 vsize=267232 CPUtime=1801.78
/proc/2388/stat : 2388 (pbscip.linux.x8) R 2386 2388 2334 0 -1 4202496 9776413 0 0 0 176001 4177 0 0 25 0 1 0 103713 273645568 54359 1992294400 4194304 9819077 140737231304448 18446744073709551615 5953592 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2388/statm: 66808 54359 706 1374 0 65429 0
Current children cumulated CPU time (s) 1801.78
Current children cumulated vsize (KiB) 267232
Child status: 0
Real time (s): 1802.26
CPU time (s): 1801.85
CPU user time (s): 1760.05
CPU system time (s): 41.8006
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 398176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1760.05
system time used= 41.8006
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9776419
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= 2917
runsolver used 3.06353 second user time and 8.43272 second system time
The end