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-2665638-1276585319.opb>
0.29/0.39 c original problem has 3297 variables (3297 bin, 0 int, 0 impl, 0 cont) and 6383 constraints
0.29/0.39 c problem read
0.29/0.39 c presolving settings loaded
0.49/0.52 c presolving:
0.59/0.62 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.59/0.67 c (round 2) 0 del vars, 3094 del conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 104 upgd conss, 0 impls, 0 clqs
0.69/0.73 c (round 3) 0 del vars, 3094 del conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 195 upgd conss, 1092 impls, 0 clqs
2.39/2.42 c (2.0s) probing: 113/3297 (3.4%) - 0 fixings, 0 aggregations, 2730 implications, 0 bound changes
2.39/2.42 c (2.0s) probing aborted: 100/100 successive totally useless probings
2.39/2.42 c presolving (4 rounds):
2.39/2.42 c 0 deleted vars, 3094 deleted constraints, 0 tightened bounds, 0 added holes, 182 changed sides, 182 changed coefficients
2.39/2.42 c 6552 implications, 0 cliques
2.39/2.42 c presolved problem has 3297 variables (3297 bin, 0 int, 0 impl, 0 cont) and 3289 constraints
2.39/2.42 c 195 constraints of type <knapsack>
2.39/2.42 c 3094 constraints of type <linear>
2.39/2.42 c transformed objective value is always integral (scale: 1)
2.39/2.42 c Presolving Time: 1.90
2.39/2.42 c - non default parameters ----------------------------------------------------------------------
2.39/2.42 c # SCIP version 1.2.1.2
2.39/2.42 c
2.39/2.42 c # frequency for displaying node information lines
2.39/2.42 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.42 c display/freq = 10000
2.39/2.42 c
2.39/2.42 c # maximal time in seconds to run
2.39/2.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.42 c limits/time = 1799.61
2.39/2.42 c
2.39/2.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.42 c limits/memory = 1620
2.39/2.42 c
2.39/2.42 c # should presolving try to simplify inequalities
2.39/2.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.42 c constraints/linear/simplifyinequalities = TRUE
2.39/2.42 c
2.39/2.42 c # should presolving try to simplify knapsacks
2.39/2.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.42 c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.42 c
2.39/2.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.39/2.42 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.42 c separating/rapidlearning/freq = 0
2.39/2.42 c
2.39/2.42 c -----------------------------------------------------------------------------------------------
2.39/2.42 c start solving
2.39/2.42 c
2.89/2.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.89/2.96 c 2.5s| 1 | 0 | 2490 | - | 26M| 0 |1909 |3297 |3289 |3297 |3289 | 0 | 0 | 0 | 1.300000e+01 | -- | Inf
4.29/4.40 c 3.8s| 1 | 0 | 2544 | - | 27M| 0 |1938 |3297 |3289 |3297 |3355 | 66 | 0 | 0 | 1.300000e+01 | -- | Inf
5.39/5.47 c 4.9s| 1 | 0 | 2714 | - | 28M| 0 |1938 |3297 |3289 |3297 |3476 | 187 | 0 | 0 | 1.300000e+01 | -- | Inf
6.49/6.60 c 6.0s| 1 | 0 | 3015 | - | 28M| 0 |1933 |3297 |3289 |3297 |3602 | 313 | 0 | 0 | 1.300000e+01 | -- | Inf
7.78/7.87 c 7.3s| 1 | 0 | 3411 | - | 29M| 0 |1932 |3297 |3289 |3297 |3725 | 436 | 0 | 0 | 1.300000e+01 | -- | Inf
9.39/9.46 c 8.8s| 1 | 0 | 3952 | - | 29M| 0 |1934 |3297 |3289 |3297 |3865 | 576 | 0 | 0 | 1.300000e+01 | -- | Inf
11.39/11.44 c 10.8s| 1 | 0 | 4677 | - | 30M| 0 |1908 |3297 |3289 |3297 |3977 | 688 | 0 | 0 | 1.300000e+01 | -- | Inf
44.16/44.21 c 43.1s| 1 | 2 | 4677 | - | 30M| 0 |1908 |3297 |3289 |3297 |3977 | 688 | 0 | 31 | 1.300000e+01 | -- | Inf
1800.08/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.87 c
1800.08/1800.87 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.87 c Solving Time (sec) : 1763.34
1800.08/1800.87 c Solving Nodes : 4131
1800.08/1800.87 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.87 c Dual Bound : +1.90000000000000e+01
1800.08/1800.87 c Gap : infinite
1800.08/1800.87 s UNKNOWN
1800.08/1800.87 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.87 c Solving Time : 1763.34
1800.08/1800.87 c Original Problem :
1800.08/1800.87 c Problem name : HOME/instance-2665638-1276585319.opb
1800.08/1800.87 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.87 c Constraints : 6383 initial, 6383 maximal
1800.08/1800.87 c Presolved Problem :
1800.08/1800.87 c Problem name : t_HOME/instance-2665638-1276585319.opb
1800.08/1800.87 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.87 c Constraints : 3289 initial, 8234 maximal
1800.08/1800.87 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.87 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.87 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.87 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.87 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.87 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.87 c probing : 1.67 0 0 0 0 0 0 0 0
1800.08/1800.87 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.87 c linear : 0.18 0 0 0 0 0 3094 182 182
1800.08/1800.87 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.87 c root node : - 0 - - 0 - - - -
1800.08/1800.87 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.87 c integral : 0 0 0 3797 0 2 1348 0 0 6860
1800.08/1800.87 c knapsack : 195 6 35317 0 0 89 15066 1054 0 0
1800.08/1800.87 c linear : 3094 6 35228 0 0 317 57745 0 0 0
1800.08/1800.87 c logicor : 0+ 0 22072 0 0 11 10658 0 0 0
1800.08/1800.87 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.87 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.87 c integral : 511.85 0.00 0.00 511.85 0.00
1800.08/1800.87 c knapsack : 4.32 0.05 4.27 0.00 0.00
1800.08/1800.87 c linear : 70.99 0.00 70.99 0.00 0.00
1800.08/1800.87 c logicor : 1.05 0.00 1.05 0.00 0.00
1800.08/1800.87 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.87 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.87 c vbounds : 0.02 2 0 0
1800.08/1800.87 c rootredcost : 0.05 0 0 0
1800.08/1800.87 c pseudoobj : 0.08 35082 0 0
1800.08/1800.87 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.87 c propagation : 0.14 417 416 2440 25.8 24 19.1 -
1800.08/1800.87 c infeasible LP : 9.72 6746 6746 7085 9.0 112 5.9 0
1800.08/1800.87 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.87 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.87 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.87 c applied globally : - - - 8639 12.0 - - -
1800.08/1800.87 c applied locally : - - - 0 0.0 - - -
1800.08/1800.87 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.87 c cut pool : 0.00 5 - - 2240 - (maximal pool size: 4033)
1800.08/1800.87 c redcost : 1.20 3856 0 79 0 0
1800.08/1800.87 c impliedbounds : 0.01 6 0 0 41 0
1800.08/1800.87 c intobj : 0.00 0 0 0 0 0
1800.08/1800.87 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.87 c gomory : 0.18 6 0 0 49 0
1800.08/1800.87 c strongcg : 0.15 6 0 0 12 0
1800.08/1800.87 c cmir : 1.89 6 0 0 3000 0
1800.08/1800.87 c flowcover : 1.33 6 0 0 1200 0
1800.08/1800.87 c clique : 0.01 1 0 0 0 0
1800.08/1800.87 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.87 c mcf : 0.00 1 0 0 0 0
1800.08/1800.87 c rapidlearning : 0.73 1 0 0 0 0
1800.08/1800.87 c Pricers : Time Calls Vars
1800.08/1800.87 c problem variables: 0.00 0 0
1800.08/1800.87 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.87 c relpscost : 511.83 3797 2 1348 0 0 6860
1800.08/1800.87 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.87 c inference : 0.00 0 0 0 0 0 0
1800.08/1800.87 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.87 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.87 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.87 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.87 c random : 0.00 0 0 0 0 0 0
1800.08/1800.87 c Primal Heuristics : Time Calls Found
1800.08/1800.87 c LP solutions : 0.00 - 0
1800.08/1800.87 c pseudo solutions : 0.00 - 0
1800.08/1800.87 c oneopt : 0.01 0 0
1800.08/1800.87 c crossover : 0.00 0 0
1800.08/1800.87 c intshifting : 0.00 0 0
1800.08/1800.87 c coefdiving : 142.76 7 0
1800.08/1800.87 c trivial : 0.01 2 0
1800.08/1800.87 c simplerounding : 0.00 0 0
1800.08/1800.87 c zirounding : 0.46 1000 0
1800.08/1800.87 c rounding : 2.88 840 0
1800.08/1800.87 c shifting : 9.90 232 0
1800.08/1800.87 c twoopt : 0.00 0 0
1800.08/1800.87 c fixandinfer : 0.00 0 0
1800.08/1800.87 c feaspump : 18.28 160 0
1800.08/1800.87 c pscostdiving : 50.54 31 0
1800.08/1800.87 c fracdiving : 131.66 8 0
1800.08/1800.87 c veclendiving : 43.07 21 0
1800.08/1800.87 c intdiving : 0.00 0 0
1800.08/1800.87 c actconsdiving : 0.00 0 0
1800.08/1800.87 c objpscostdiving : 13.21 12 0
1800.08/1800.87 c rootsoldiving : 12.24 6 0
1800.08/1800.87 c linesearchdiving : 57.05 57 0
1800.08/1800.87 c guideddiving : 0.01 0 0
1800.08/1800.87 c octane : 0.00 0 0
1800.08/1800.87 c rens : 0.01 0 0
1800.08/1800.87 c rins : 0.00 0 0
1800.08/1800.87 c localbranching : 0.00 0 0
1800.08/1800.87 c mutation : 0.00 0 0
1800.08/1800.87 c dins : 0.00 0 0
1800.08/1800.87 c undercover : 0.00 0 0
1800.08/1800.87 c nlp : 0.00 0 0
1800.08/1800.87 c trysol : 0.01 0 0
1800.08/1800.87 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.87 c primal LP : 0.02 0 0 0.00 0.00
1800.08/1800.87 c dual LP : 708.22 4361 1223748 280.61 1727.92
1800.08/1800.87 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.87 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.87 c diving/probing LP: 388.58 13432 607089 45.20 1562.33
1800.08/1800.87 c strong branching : 509.29 4871 733494 150.58 1440.23
1800.08/1800.87 c (at root node) : - 31 19748 637.03 -
1800.08/1800.87 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.87 c B&B Tree :
1800.08/1800.87 c number of runs : 1
1800.08/1800.87 c nodes : 4131
1800.08/1800.87 c nodes (total) : 4131
1800.08/1800.87 c nodes left : 2713
1800.08/1800.87 c max depth : 31
1800.08/1800.87 c max depth (total): 31
1800.08/1800.87 c backtracks : 905 (21.9%)
1800.08/1800.87 c delayed cutoffs : 17
1800.08/1800.87 c repropagations : 2546 (2687 domain reductions, 0 cutoffs)
1800.08/1800.87 c avg switch length: 7.34
1800.08/1800.87 c switching time : 4.77
1800.08/1800.87 c Solution :
1800.08/1800.87 c Solutions found : 0 (0 improvements)
1800.08/1800.87 c Primal Bound : -
1800.08/1800.87 c Dual Bound : +1.90000000000000e+01
1800.08/1800.87 c Gap : infinite
1800.08/1800.87 c Root Dual Bound : +1.30000000000000e+01
1800.08/1800.87 c Root Iterations : 4677
1800.18/1800.98 c Time complete: 1800.25.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665638-1276585319/watcher-2665638-1276585319 -o /tmp/evaluation-result-2665638-1276585319/solver-2665638-1276585319 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665638-1276585319.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.91 2.00 1.65 3/106 3480
/proc/meminfo: memFree=1837200/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=9288 CPUtime=0
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 1183 0 0 0 0 0 0 0 18 0 1 0 32188283 9510912 1103 1992294400 4194304 9819077 140734800308864 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3480/statm: 2322 1112 371 1374 0 943 0
[startup+0.0676899 s]
/proc/loadavg: 1.91 2.00 1.65 3/106 3480
/proc/meminfo: memFree=1837200/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=12128 CPUtime=0.06
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 1956 0 0 0 6 0 0 0 20 0 1 0 32188283 12419072 1876 1992294400 4194304 9819077 140734800308864 18446744073709551615 8631967 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3480/statm: 3032 1876 388 1374 0 1653 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12128
[startup+0.100697 s]
/proc/loadavg: 1.91 2.00 1.65 3/106 3480
/proc/meminfo: memFree=1837200/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=12904 CPUtime=0.09
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 2154 0 0 0 9 0 0 0 20 0 1 0 32188283 13213696 2074 1992294400 4194304 9819077 140734800308864 18446744073709551615 8631731 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3480/statm: 3226 2074 388 1374 0 1847 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12904
[startup+0.300733 s]
/proc/loadavg: 1.91 2.00 1.65 3/106 3480
/proc/meminfo: memFree=1837200/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=17916 CPUtime=0.29
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 3407 0 0 0 28 1 0 0 20 0 1 0 32188283 18345984 3327 1992294400 4194304 9819077 140734800308864 18446744073709551615 5650616 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3480/statm: 4479 3327 388 1374 0 3100 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17916
[startup+0.700808 s]
/proc/loadavg: 1.91 2.00 1.65 3/106 3480
/proc/meminfo: memFree=1837200/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=67072 CPUtime=0.69
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 15862 0 0 0 62 7 0 0 21 0 1 0 32188283 68681728 14914 1992294400 4194304 9819077 140734800308864 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 16768 14914 500 1374 0 15389 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67072
[startup+1.50096 s]
/proc/loadavg: 1.91 2.00 1.65 2/107 3481
/proc/meminfo: memFree=1778168/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=68184 CPUtime=1.49
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 16963 0 0 0 142 7 0 0 23 0 1 0 32188283 69820416 15244 1992294400 4194304 9819077 140734800308864 18446744073709551615 4979583 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 17046 15244 511 1374 0 15667 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68184
[startup+3.10126 s]
/proc/loadavg: 1.91 2.00 1.65 2/107 3481
/proc/meminfo: memFree=1777920/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=86216 CPUtime=3.09
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 25567 0 0 0 298 11 0 0 25 0 1 0 32188283 88285184 18969 1992294400 4194304 9819077 140734800308864 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 21554 18969 646 1374 0 20175 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86216
[startup+6.30085 s]
/proc/loadavg: 1.84 1.98 1.64 2/107 3481
/proc/meminfo: memFree=1754732/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=93216 CPUtime=6.29
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 38534 0 0 0 609 20 0 0 25 0 1 0 32188283 95453184 21275 1992294400 4194304 9819077 140734800308864 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 23304 21275 692 1374 0 21925 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93216
[startup+12.701 s]
/proc/loadavg: 1.77 1.96 1.64 2/107 3483
/proc/meminfo: memFree=1748912/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=111360 CPUtime=12.68
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 48862 0 0 0 1243 25 0 0 25 0 1 0 32188283 114032640 22382 1992294400 4194304 9819077 140734800308864 18446744073709551615 7234112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 27840 22382 698 1374 0 26461 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 111360
[startup+25.5004 s]
/proc/loadavg: 1.75 1.95 1.64 2/107 3483
/proc/meminfo: memFree=1748292/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=110280 CPUtime=25.48
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 76523 0 0 0 2506 42 0 0 25 0 1 0 32188283 112926720 22574 1992294400 4194304 9819077 140734800308864 18446744073709551615 7309052 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 27570 22574 698 1374 0 26191 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 110280
[startup+51.1012 s]
/proc/loadavg: 1.49 1.87 1.62 2/107 3483
/proc/meminfo: memFree=1750896/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=107636 CPUtime=51.06
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 136554 0 0 0 5032 74 0 0 25 0 1 0 32188283 110219264 22307 1992294400 4194304 9819077 140734800308864 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 26909 22307 702 1374 0 25530 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 107636
[startup+102.308 s]
/proc/loadavg: 1.21 1.74 1.59 2/107 3485
/proc/meminfo: memFree=1750276/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=106356 CPUtime=102.25
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 263678 0 0 0 10084 141 0 0 25 0 1 0 32188283 108908544 22283 1992294400 4194304 9819077 140734800308864 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 26589 22283 702 1374 0 25210 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 106356
[startup+162.301 s]
/proc/loadavg: 1.08 1.60 1.55 2/107 3485
/proc/meminfo: memFree=1751640/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=93588 CPUtime=162.22
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 336383 0 0 0 16034 188 0 0 25 0 1 0 32188283 95834112 21864 1992294400 4194304 9819077 140734800308864 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 23397 21864 707 1374 0 22018 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 93588
[startup+222.3 s]
/proc/loadavg: 1.03 1.49 1.51 2/107 3487
/proc/meminfo: memFree=1749532/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=102040 CPUtime=222.19
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 502422 0 0 0 21946 273 0 0 25 0 1 0 32188283 104488960 22532 1992294400 4194304 9819077 140734800308864 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 25510 22532 708 1374 0 24131 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 102040
[startup+282.301 s]
/proc/loadavg: 1.01 1.40 1.48 2/107 3489
/proc/meminfo: memFree=1749532/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=99880 CPUtime=282.17
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 687319 0 0 0 27846 371 0 0 25 0 1 0 32188283 102277120 22449 1992294400 4194304 9819077 140734800308864 18446744073709551615 4978032 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 24970 22449 708 1374 0 23591 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 99880
[startup+342.302 s]
/proc/loadavg: 1.00 1.32 1.44 2/107 3491
/proc/meminfo: memFree=1749160/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=100360 CPUtime=342.14
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 949483 0 0 0 33721 493 0 0 25 0 1 0 32188283 102768640 22463 1992294400 4194304 9819077 140734800308864 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 25090 22463 708 1374 0 23711 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 100360
[startup+402.301 s]
/proc/loadavg: 1.00 1.26 1.41 2/107 3493
/proc/meminfo: memFree=1748664/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=109892 CPUtime=402.12
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 1125434 0 0 0 39625 587 0 0 25 0 1 0 32188283 112529408 22763 1992294400 4194304 9819077 140734800308864 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 27473 22763 708 1374 0 26094 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 109892
[startup+462.301 s]
/proc/loadavg: 1.06 1.23 1.39 2/107 3493
/proc/meminfo: memFree=1749284/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=97932 CPUtime=462.09
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 1329398 0 0 0 45516 693 0 0 25 0 1 0 32188283 100282368 22409 1992294400 4194304 9819077 140734800308864 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 24483 22409 708 1374 0 23104 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 97932
[startup+522.3 s]
/proc/loadavg: 1.12 1.21 1.37 2/107 3495
/proc/meminfo: memFree=1749284/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=102020 CPUtime=522.07
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 1588899 0 0 0 51394 813 0 0 25 0 1 0 32188283 104468480 22515 1992294400 4194304 9819077 140734800308864 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 25505 22515 708 1374 0 24126 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 102020
[startup+582.301 s]
/proc/loadavg: 1.09 1.19 1.35 2/107 3497
/proc/meminfo: memFree=1748664/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=104972 CPUtime=582.04
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 1762915 0 0 0 57298 906 0 0 25 0 1 0 32188283 107491328 22884 1992294400 4194304 9819077 140734800308864 18446744073709551615 7291617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 26243 22884 708 1374 0 24864 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 104972
[startup+642.302 s]
/proc/loadavg: 1.08 1.16 1.33 2/107 3499
/proc/meminfo: memFree=1747672/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=98928 CPUtime=642.03
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 1895375 0 0 0 63215 988 0 0 25 0 1 0 32188283 101302272 22913 1992294400 4194304 9819077 140734800308864 18446744073709551615 7816363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 24732 22913 708 1374 0 23353 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 98928
[startup+702.301 s]
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 1.13 1.12 1.27 2/107 3505
/proc/meminfo: memFree=1744820/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=107864 CPUtime=881.93
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 3019709 0 0 0 86711 1482 0 0 25 0 1 0 32188283 110452736 23695 1992294400 4194304 9819077 140734800308864 18446744073709551615 7291700 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 26966 23695 708 1374 0 25587 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 107864
[startup+942.302 s]
/proc/loadavg: 1.12 1.12 1.26 2/107 3507
/proc/meminfo: memFree=1744820/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=106428 CPUtime=941.91
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 3306156 0 0 0 92578 1613 0 0 25 0 1 0 32188283 108982272 23611 1992294400 4194304 9819077 140734800308864 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 26607 23611 708 1374 0 25228 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 106428
[startup+1002.3 s]
/proc/loadavg: 1.11 1.11 1.24 2/107 3509
/proc/meminfo: memFree=1745316/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=103460 CPUtime=1001.88
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 3595499 0 0 0 98446 1742 0 0 25 0 1 0 32188283 105943040 23361 1992294400 4194304 9819077 140734800308864 18446744073709551615 7293601 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 25865 23361 708 1374 0 24486 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 103460
[startup+1062.3 s]
/proc/loadavg: 1.10 1.10 1.23 2/107 3509
/proc/meminfo: memFree=1744944/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=113268 CPUtime=1061.85
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 3904575 0 0 0 104309 1876 0 0 25 0 1 0 32188283 115986432 23649 1992294400 4194304 9819077 140734800308864 18446744073709551615 6192333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 28317 23649 708 1374 0 26938 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 113268
[startup+1122.3 s]
/proc/loadavg: 1.09 1.10 1.22 2/107 3511
/proc/meminfo: memFree=1745316/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=101268 CPUtime=1121.84
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 4149317 0 0 0 110192 1992 0 0 25 0 1 0 32188283 103698432 23332 1992294400 4194304 9819077 140734800308864 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 25317 23332 708 1374 0 23938 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 101268
[startup+1182.3 s]
/proc/loadavg: 1.08 1.09 1.21 2/107 3513
/proc/meminfo: memFree=1744944/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=102648 CPUtime=1181.81
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 4415901 0 0 0 116063 2118 0 0 25 0 1 0 32188283 105111552 23410 1992294400 4194304 9819077 140734800308864 18446744073709551615 6656908 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 25662 23410 708 1374 0 24283 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 102648
[startup+1242.3 s]
/proc/loadavg: 1.08 1.09 1.20 2/107 3515
/proc/meminfo: memFree=1745068/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=102428 CPUtime=1241.78
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 4706670 0 0 0 121929 2249 0 0 25 0 1 0 32188283 104886272 23347 1992294400 4194304 9819077 140734800308864 18446744073709551615 7816519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 25607 23347 708 1374 0 24228 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 102428
[startup+1302.3 s]
/proc/loadavg: 1.03 1.07 1.18 2/107 3517
/proc/meminfo: memFree=1743828/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=104540 CPUtime=1301.77
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 4968828 0 0 0 127804 2373 0 0 25 0 1 0 32188283 107048960 23394 1992294400 4194304 9819077 140734800308864 18446744073709551615 7219972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 26135 23394 708 1374 0 24756 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 104540
[startup+1362.3 s]
/proc/loadavg: 1.01 1.05 1.17 2/107 3517
/proc/meminfo: memFree=1744944/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=105824 CPUtime=1361.74
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 5306439 0 0 0 133651 2523 0 0 25 0 1 0 32188283 108363776 23534 1992294400 4194304 9819077 140734800308864 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 26456 23534 708 1374 0 25077 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 105824
[startup+1422.31 s]
/proc/loadavg: 1.00 1.04 1.16 2/107 3519
/proc/meminfo: memFree=1744200/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=106264 CPUtime=1421.72
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 5663159 0 0 0 139500 2672 0 0 25 0 1 0 32188283 108814336 23630 1992294400 4194304 9819077 140734800308864 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 26566 23630 708 1374 0 25187 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 106264
[startup+1482.3 s]
/proc/loadavg: 1.00 1.03 1.14 2/107 3521
/proc/meminfo: memFree=1744200/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=108988 CPUtime=1481.7
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 6002122 0 0 0 145354 2816 0 0 25 0 1 0 32188283 111603712 23749 1992294400 4194304 9819077 140734800308864 18446744073709551615 7291721 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 27247 23749 723 1374 0 25868 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 108988
[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.13 2/107 3523
/proc/meminfo: memFree=1744696/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=104668 CPUtime=1541.67
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 6308500 0 0 0 151216 2951 0 0 25 0 1 0 32188283 107180032 23453 1992294400 4194304 9819077 140734800308864 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 26167 23453 723 1374 0 24788 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 104668
[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.12 2/107 3525
/proc/meminfo: memFree=1743208/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=108096 CPUtime=1601.65
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 6641643 0 0 0 157061 3104 0 0 25 0 1 0 32188283 110690304 23856 1992294400 4194304 9819077 140734800308864 18446744073709551615 7291003 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 27024 23856 723 1374 0 25645 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 108096
[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.11 2/107 3525
/proc/meminfo: memFree=1742712/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=110168 CPUtime=1661.63
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 6990453 0 0 0 162909 3254 0 0 25 0 1 0 32188283 112812032 23846 1992294400 4194304 9819077 140734800308864 18446744073709551615 7293531 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 27542 23846 723 1374 0 26163 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 110168
[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.10 2/107 3527
/proc/meminfo: memFree=1742340/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=109000 CPUtime=1721.6
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 7387198 0 0 0 168736 3424 0 0 25 0 1 0 32188283 111616000 23780 1992294400 4194304 9819077 140734800308864 18446744073709551615 6191145 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 27250 23780 723 1374 0 25871 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 109000
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 3529
/proc/meminfo: memFree=1741472/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=116272 CPUtime=1781.58
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 7776865 0 0 0 174567 3591 0 0 25 0 1 0 32188283 119062528 24189 1992294400 4194304 9819077 140734800308864 18446744073709551615 6581538 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 29068 24189 723 1374 0 27689 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 116272
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 3529
/proc/meminfo: memFree=1742340/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=109164 CPUtime=1800.08
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 7895418 0 0 0 176366 3642 0 0 25 0 1 0 32188283 111783936 23990 1992294400 4194304 9819077 140734800308864 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3480/statm: 27291 23990 723 1374 0 25912 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 109164
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.91 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 3529
/proc/meminfo: memFree=1742340/2059040 swapFree=4140396/4192956
[pid=3480] ppid=3478 vsize=106704 CPUtime=1800.18
/proc/3480/stat : 3480 (pbscip.linux.x8) R 3478 3480 3377 0 -1 4202496 7895955 0 0 0 176376 3642 0 0 25 0 1 0 32188283 109264896 23405 1992294400 4194304 9819077 140734800308864 18446744073709551615 6027698 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3480/statm: 26676 23405 726 1374 0 25297 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 106704
Child status: 0
Real time (s): 1800.99
CPU time (s): 1800.27
CPU user time (s): 1763.83
CPU system time (s): 36.4405
CPU usage (%): 99.96
Max. virtual memory (cumulated for all children) (KiB): 126652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1763.83
system time used= 36.4405
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7895959
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= 23122
runsolver used 2.97955 second user time and 8.49871 second system time
The end