0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2667074-1276620112.opb>
0.09/0.13 c original problem has 1288 variables (1288 bin, 0 int, 0 impl, 0 cont) and 2431 constraints
0.09/0.13 c problem read
0.09/0.13 c presolving settings loaded
0.09/0.18 c presolving:
0.19/0.21 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 2 chg sides, 37 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.24 c (round 2) 1 del vars, 1183 del conss, 1 chg bounds, 2 chg sides, 37 chg coeffs, 38 upgd conss, 0 impls, 0 clqs
0.19/0.27 c (round 3) 1 del vars, 1183 del conss, 1 chg bounds, 2 chg sides, 37 chg coeffs, 66 upgd conss, 26 impls, 0 clqs
0.59/0.62 c (0.5s) probing: 151/1287 (11.7%) - 0 fixings, 0 aggregations, 4 implications, 0 bound changes
0.59/0.62 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.59/0.62 c presolving (4 rounds):
0.59/0.62 c 1 deleted vars, 1183 deleted constraints, 1 tightened bounds, 0 added holes, 2 changed sides, 37 changed coefficients
0.59/0.62 c 36 implications, 0 cliques
0.59/0.62 c presolved problem has 1287 variables (1287 bin, 0 int, 0 impl, 0 cont) and 1248 constraints
0.59/0.62 c 66 constraints of type <knapsack>
0.59/0.62 c 1182 constraints of type <linear>
0.59/0.62 c transformed objective value is always integral (scale: 1)
0.59/0.62 c Presolving Time: 0.43
0.59/0.62 c - non default parameters ----------------------------------------------------------------------
0.59/0.62 c # SCIP version 1.2.1.2
0.59/0.62 c
0.59/0.62 c # frequency for displaying node information lines
0.59/0.62 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.62 c display/freq = 10000
0.59/0.62 c
0.59/0.62 c # maximal time in seconds to run
0.59/0.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.62 c limits/time = 1799.87
0.59/0.62 c
0.59/0.62 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.62 c limits/memory = 1620
0.59/0.62 c
0.59/0.62 c # should presolving try to simplify inequalities
0.59/0.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62 c constraints/linear/simplifyinequalities = TRUE
0.59/0.62 c
0.59/0.62 c # should presolving try to simplify knapsacks
0.59/0.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.62 c
0.59/0.62 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.62 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.62 c separating/rapidlearning/freq = 0
0.59/0.62 c
0.59/0.62 c -----------------------------------------------------------------------------------------------
0.59/0.62 c start solving
0.59/0.62 c
0.59/0.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.65 c 0.5s| 1 | 0 | 198 | - |9523k| 0 | 178 |1287 |1248 |1287 |1248 | 0 | 0 | 0 | 5.500000e+01 | -- | Inf
1.29/1.36 c 1.2s| 1 | 0 | 1141 | - |9995k| 0 | 363 |1287 |1248 |1287 |1339 | 91 | 0 | 0 | 5.500000e+01 | -- | Inf
1.99/2.03 c 1.8s| 1 | 0 | 2267 | - | 10M| 0 | 739 |1287 |1248 |1287 |1509 | 261 | 0 | 0 | 5.500000e+01 | -- | Inf
2.89/2.98 c 2.8s| 1 | 0 | 3284 | - | 11M| 0 | 654 |1287 |1248 |1287 |1656 | 408 | 0 | 0 | 5.500000e+01 | -- | Inf
3.99/4.01 c 3.8s| 1 | 0 | 4131 | - | 11M| 0 | 758 |1287 |1248 |1287 |1780 | 532 | 0 | 0 | 5.500000e+01 | -- | Inf
5.09/5.18 c 4.9s| 1 | 0 | 4599 | - | 12M| 0 | 787 |1287 |1248 |1287 |1901 | 653 | 0 | 0 | 5.500000e+01 | -- | Inf
6.89/6.96 c 6.7s| 1 | 0 | 5991 | - | 12M| 0 | 802 |1287 |1248 |1287 |1995 | 747 | 0 | 0 | 5.500000e+01 | -- | Inf
18.39/18.43 c 18.0s| 1 | 2 | 5991 | - | 12M| 0 | 802 |1287 |1248 |1287 |1995 | 747 | 0 | 17 | 5.500000e+01 | -- | Inf
711.68/711.92 c 694s| 10000 | 3075 | 1692k| 168.7 | 27M| 86 | 308 |1287 |2861 |1287 |1350 | 747 | 16k| 10k| 5.500000e+01 | -- | Inf
1168.53/1168.96 c 1140s| 20000 | 5496 | 3052k| 152.3 | 40M| 92 | 312 |1287 |4868 |1287 |1350 | 747 | 34k| 14k| 5.500000e+01 | -- | Inf
1519.04/1519.60 c 1482s| 30000 | 7142 | 4087k| 136.0 | 49M| 96 | 298 |1287 |3908 |1287 |1350 | 747 | 52k| 18k| 5.500000e+01 | -- | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.65 c
1800.07/1800.65 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.65 c Solving Time (sec) : 1756.09
1800.07/1800.65 c Solving Nodes : 38024
1800.07/1800.65 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.65 c Dual Bound : +5.50000000000000e+01
1800.07/1800.65 c Gap : infinite
1800.07/1800.65 s UNKNOWN
1800.07/1800.65 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.65 c Solving Time : 1756.09
1800.07/1800.65 c Original Problem :
1800.07/1800.65 c Problem name : HOME/instance-2667074-1276620112.opb
1800.07/1800.65 c Variables : 1288 (1288 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.65 c Constraints : 2431 initial, 2431 maximal
1800.07/1800.65 c Presolved Problem :
1800.07/1800.65 c Problem name : t_HOME/instance-2667074-1276620112.opb
1800.07/1800.65 c Variables : 1287 (1287 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.65 c Constraints : 1248 initial, 5370 maximal
1800.07/1800.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.65 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c probing : 0.34 0 0 0 0 0 0 0 0
1800.07/1800.65 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c linear : 0.08 1 0 0 1 0 1183 2 37
1800.07/1800.65 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c root node : - 0 - - 0 - - - -
1800.07/1800.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.65 c integral : 0 0 0 29282 0 129 18073 0 0 50290
1800.07/1800.65 c knapsack : 66 6 197112 0 0 785 72221 135 0 0
1800.07/1800.65 c linear : 1182 6 196327 0 0 9792 2459565 0 0 0
1800.07/1800.65 c logicor : 0+ 0 113722 0 0 499 134646 0 0 0
1800.07/1800.65 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.65 c integral : 462.79 0.00 0.00 462.79 0.00
1800.07/1800.65 c knapsack : 9.66 0.02 9.64 0.00 0.00
1800.07/1800.65 c linear : 219.03 0.00 219.03 0.00 0.00
1800.07/1800.65 c logicor : 11.91 0.00 11.91 0.00 0.00
1800.07/1800.65 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.65 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.65 c vbounds : 0.16 2 0 0
1800.07/1800.65 c rootredcost : 0.12 0 0 0
1800.07/1800.65 c pseudoobj : 0.39 196808 0 0
1800.07/1800.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.65 c propagation : 1.98 11076 11072 109252 36.7 472 22.8 -
1800.07/1800.65 c infeasible LP : 7.82 12002 12001 42646 24.6 1250 17.1 0
1800.07/1800.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.65 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.65 c applied globally : - - - 67732 26.3 - - -
1800.07/1800.65 c applied locally : - - - 0 0.0 - - -
1800.07/1800.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.65 c cut pool : 0.00 5 - - 501 - (maximal pool size: 3630)
1800.07/1800.65 c redcost : 0.95 29044 0 95 0 0
1800.07/1800.65 c impliedbounds : 0.00 6 0 0 2 0
1800.07/1800.65 c intobj : 0.00 0 0 0 0 0
1800.07/1800.65 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.65 c gomory : 0.51 6 0 0 20 0
1800.07/1800.65 c strongcg : 0.49 6 0 0 20 0
1800.07/1800.65 c cmir : 1.54 6 0 0 2633 0
1800.07/1800.65 c flowcover : 0.87 6 0 0 1200 0
1800.07/1800.65 c clique : 0.00 1 0 0 0 0
1800.07/1800.65 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.65 c mcf : 0.00 1 0 0 0 0
1800.07/1800.65 c rapidlearning : 0.11 1 0 0 0 0
1800.07/1800.65 c Pricers : Time Calls Vars
1800.07/1800.65 c problem variables: 0.00 0 0
1800.07/1800.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.65 c relpscost : 462.71 29282 129 18073 0 0 50290
1800.07/1800.65 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.65 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.65 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.65 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.65 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.65 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.65 c random : 0.00 0 0 0 0 0 0
1800.07/1800.65 c Primal Heuristics : Time Calls Found
1800.07/1800.65 c LP solutions : 0.00 - 0
1800.07/1800.65 c pseudo solutions : 0.00 - 0
1800.07/1800.65 c oneopt : 0.09 0 0
1800.07/1800.65 c crossover : 0.00 0 0
1800.07/1800.65 c guideddiving : 0.00 0 0
1800.07/1800.65 c intshifting : 0.00 0 0
1800.07/1800.65 c objpscostdiving : 17.05 34 0
1800.07/1800.65 c coefdiving : 70.85 109 0
1800.07/1800.65 c rootsoldiving : 8.36 56 0
1800.07/1800.65 c pscostdiving : 30.18 112 0
1800.07/1800.65 c fracdiving : 51.56 112 0
1800.07/1800.65 c veclendiving : 20.14 112 0
1800.07/1800.65 c linesearchdiving : 14.57 112 0
1800.07/1800.65 c feaspump : 18.09 57 0
1800.07/1800.65 c trivial : 0.00 2 0
1800.07/1800.65 c simplerounding : 0.04 0 0
1800.07/1800.65 c zirounding : 0.15 1000 0
1800.07/1800.65 c rounding : 1.41 2371 0
1800.07/1800.65 c shifting : 9.98 714 0
1800.07/1800.65 c twoopt : 0.00 0 0
1800.07/1800.65 c fixandinfer : 0.00 0 0
1800.07/1800.65 c intdiving : 0.00 0 0
1800.07/1800.65 c actconsdiving : 0.00 0 0
1800.07/1800.65 c octane : 0.00 0 0
1800.07/1800.65 c rens : 0.01 0 0
1800.07/1800.65 c rins : 0.00 0 0
1800.07/1800.65 c localbranching : 0.00 0 0
1800.07/1800.65 c mutation : 0.00 0 0
1800.07/1800.65 c dins : 0.00 0 0
1800.07/1800.65 c undercover : 0.00 0 0
1800.07/1800.65 c nlp : 0.01 0 0
1800.07/1800.65 c trysol : 0.04 0 0
1800.07/1800.65 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.65 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.65 c dual LP : 739.73 35287 4111441 116.51 5558.03
1800.07/1800.65 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.65 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.65 c diving/probing LP: 183.94 19627 771440 39.31 4193.98
1800.07/1800.65 c strong branching : 456.30 22932 1646314 71.79 3607.96
1800.07/1800.65 c (at root node) : - 17 16966 998.00 -
1800.07/1800.65 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.65 c B&B Tree :
1800.07/1800.65 c number of runs : 1
1800.07/1800.65 c nodes : 38024
1800.07/1800.65 c nodes (total) : 38024
1800.07/1800.65 c nodes left : 8209
1800.07/1800.65 c max depth : 102
1800.07/1800.65 c max depth (total): 102
1800.07/1800.65 c backtracks : 6802 (17.9%)
1800.07/1800.65 c delayed cutoffs : 4058
1800.07/1800.65 c repropagations : 48590 (779335 domain reductions, 2649 cutoffs)
1800.07/1800.65 c avg switch length: 8.26
1800.07/1800.65 c switching time : 52.05
1800.07/1800.65 c Solution :
1800.07/1800.65 c Solutions found : 0 (0 improvements)
1800.07/1800.65 c Primal Bound : -
1800.07/1800.65 c Dual Bound : +5.50000000000000e+01
1800.07/1800.65 c Gap : infinite
1800.07/1800.65 c Root Dual Bound : +5.50000000000000e+01
1800.07/1800.65 c Root Iterations : 5991
1800.17/1800.78 c Time complete: 1800.23.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667074-1276620112/watcher-2667074-1276620112 -o /tmp/evaluation-result-2667074-1276620112/solver-2667074-1276620112 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667074-1276620112.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10629
/proc/meminfo: memFree=1761556/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=6696 CPUtime=0
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 995 0 0 0 0 0 0 0 18 0 1 0 3299225 6856704 915 1992294400 4194304 8223781 140736909913280 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10629/statm: 1931 924 348 984 0 944 0
[startup+0.0183251 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10629
/proc/meminfo: memFree=1761556/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=9256 CPUtime=0.01
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 1604 0 0 0 1 0 0 0 18 0 1 0 3299225 9478144 1524 1992294400 4194304 8223781 140736909913280 18446744073709551615 6639963 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10629/statm: 2314 1524 365 984 0 1327 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9256
[startup+0.101336 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10629
/proc/meminfo: memFree=1761556/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=11456 CPUtime=0.09
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 2161 0 0 0 9 0 0 0 20 0 1 0 3299225 11730944 2081 1992294400 4194304 8223781 140736909913280 18446744073709551615 7246467 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10629/statm: 2864 2081 365 984 0 1877 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11456
[startup+0.301364 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10629
/proc/meminfo: memFree=1761556/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=31032 CPUtime=0.29
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 8619 0 0 0 26 3 0 0 20 0 1 0 3299225 31776768 6633 1992294400 4194304 8223781 140736909913280 18446744073709551615 4947407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 7758 6633 466 984 0 6771 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31032
[startup+0.701421 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10629
/proc/meminfo: memFree=1761556/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=38032 CPUtime=0.69
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 10530 0 0 0 66 3 0 0 21 0 1 0 3299225 38944768 8369 1992294400 4194304 8223781 140736909913280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 9508 8369 545 984 0 8521 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38032
[startup+1.50054 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10630
/proc/meminfo: memFree=1729928/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=46748 CPUtime=1.49
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 16620 0 0 0 142 7 0 0 23 0 1 0 3299225 47869952 10558 1992294400 4194304 8223781 140736909913280 18446744073709551615 6043570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 11687 10558 583 984 0 10700 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46748
[startup+3.10076 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10630
/proc/meminfo: memFree=1720628/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=47992 CPUtime=3.09
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 16958 0 0 0 300 9 0 0 25 0 1 0 3299225 49143808 10884 1992294400 4194304 8223781 140736909913280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 11998 10884 581 984 0 11011 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47992
[startup+6.30122 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10630
/proc/meminfo: memFree=1717528/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=52192 CPUtime=6.29
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 18579 0 0 0 617 12 0 0 25 0 1 0 3299225 53444608 11779 1992294400 4194304 8223781 140736909913280 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 13048 11779 581 984 0 12061 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52192
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10630
/proc/meminfo: memFree=1715544/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=52864 CPUtime=12.68
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 27937 0 0 0 1250 18 0 0 25 0 1 0 3299225 54132736 11914 1992294400 4194304 8223781 140736909913280 18446744073709551615 6570134 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 13216 11914 582 984 0 12229 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 52864
[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10632
/proc/meminfo: memFree=1717156/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=50000 CPUtime=25.48
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 36942 0 0 0 2515 33 0 0 25 0 1 0 3299225 51200000 11392 1992294400 4194304 8223781 140736909913280 18446744073709551615 6520513 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 12500 11392 586 984 0 11513 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50000
[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10632
/proc/meminfo: memFree=1717032/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=50000 CPUtime=51.08
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 38680 0 0 0 5042 66 0 0 25 0 1 0 3299225 51200000 11392 1992294400 4194304 8223781 140736909913280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 12500 11392 586 984 0 11513 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50000
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10634
/proc/meminfo: memFree=1717032/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=50992 CPUtime=102.26
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 61102 0 0 0 10093 133 0 0 25 0 1 0 3299225 52215808 11504 1992294400 4194304 8223781 140736909913280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 12748 11504 588 984 0 11761 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 50992
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10634
/proc/meminfo: memFree=1716536/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=51772 CPUtime=162.25
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 172291 0 0 0 15970 255 0 0 25 0 1 0 3299225 53014528 11636 1992294400 4194304 8223781 140736909913280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 12943 11636 588 984 0 11956 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 51772
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10636
/proc/meminfo: memFree=1713560/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=54004 CPUtime=222.23
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 353384 0 0 0 21818 405 0 0 25 0 1 0 3299225 55300096 12247 1992294400 4194304 8223781 140736909913280 18446744073709551615 4978973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 13501 12247 588 984 0 12514 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 54004
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10638
/proc/meminfo: memFree=1711700/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=56156 CPUtime=282.21
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 588107 0 0 0 27657 564 0 0 25 0 1 0 3299225 57503744 12827 1992294400 4194304 8223781 140736909913280 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 14039 12827 595 984 0 13052 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 56156
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10640
/proc/meminfo: memFree=1709096/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=58408 CPUtime=342.19
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 804964 0 0 0 33494 725 0 0 25 0 1 0 3299225 59809792 13394 1992294400 4194304 8223781 140736909913280 18446744073709551615 6592556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 14602 13394 588 984 0 13615 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 58408
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10642
/proc/meminfo: memFree=1704756/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=62688 CPUtime=402.18
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 993297 0 0 0 39331 887 0 0 25 0 1 0 3299225 64192512 14448 1992294400 4194304 8223781 140736909913280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 15672 14448 588 984 0 14685 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 62688
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10642
/proc/meminfo: memFree=1702276/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=66112 CPUtime=462.16
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 1203946 0 0 0 45178 1038 0 0 25 0 1 0 3299225 67698688 15099 1992294400 4194304 8223781 140736909913280 18446744073709551615 6448663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 16528 15099 588 984 0 15541 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 66112
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10644
/proc/meminfo: memFree=1698680/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=69120 CPUtime=522.14
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 1416845 0 0 0 51013 1201 0 0 25 0 1 0 3299225 70778880 15962 1992294400 4194304 8223781 140736909913280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 17280 15962 593 984 0 16293 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 69120
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10646
/proc/meminfo: memFree=1696200/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=71104 CPUtime=582.12
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 1652225 0 0 0 56844 1368 0 0 25 0 1 0 3299225 72810496 16553 1992294400 4194304 8223781 140736909913280 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 17776 16553 595 984 0 16789 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 71104
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10648
/proc/meminfo: memFree=1693596/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=73436 CPUtime=642.1
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 1875646 0 0 0 62680 1530 0 0 25 0 1 0 3299225 75198464 17165 1992294400 4194304 8223781 140736909913280 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 18359 17165 595 984 0 17372 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 73436
[startup+702.302 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10654
/proc/meminfo: memFree=1685412/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=81680 CPUtime=882.03
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 2503049 0 0 0 86086 2117 0 0 25 0 1 0 3299225 83640320 19171 1992294400 4194304 8223781 140736909913280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 20420 19171 597 984 0 19433 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 81680
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10656
/proc/meminfo: memFree=1683180/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=84332 CPUtime=942.02
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 2679676 0 0 0 91936 2266 0 0 25 0 1 0 3299225 86355968 19797 1992294400 4194304 8223781 140736909913280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 21083 19797 604 984 0 20096 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 84332
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10658
/proc/meminfo: memFree=1682312/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=84672 CPUtime=1002
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 2865064 0 0 0 97782 2418 0 0 25 0 1 0 3299225 86704128 19917 1992294400 4194304 8223781 140736909913280 18446744073709551615 4978274 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 21168 19917 597 984 0 20181 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 84672
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10658
/proc/meminfo: memFree=1678964/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=88996 CPUtime=1061.98
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 3035341 0 0 0 103622 2576 0 0 25 0 1 0 3299225 91131904 20907 1992294400 4194304 8223781 140736909913280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 22249 20907 598 984 0 21262 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 88996
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10660
/proc/meminfo: memFree=1676112/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=91140 CPUtime=1121.96
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 3216496 0 0 0 109465 2731 0 0 25 0 1 0 3299225 93327360 21497 1992294400 4194304 8223781 140736909913280 18446744073709551615 4979548 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 22785 21497 600 984 0 21798 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 91140
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10671
/proc/meminfo: memFree=1671524/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=95140 CPUtime=1181.93
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 3319380 0 0 0 115325 2868 0 0 25 0 1 0 3299225 97423360 22506 1992294400 4194304 8223781 140736909913280 18446744073709551615 6520517 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 23785 22506 603 984 0 22798 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 95140
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10673
/proc/meminfo: memFree=1668796/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=98156 CPUtime=1241.91
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 3420059 0 0 0 121194 2997 0 0 25 0 1 0 3299225 100511744 23214 1992294400 4194304 8223781 140736909913280 18446744073709551615 6568222 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 24539 23214 604 984 0 23552 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 98156
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10675
/proc/meminfo: memFree=1665200/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=102232 CPUtime=1301.9
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 3545849 0 0 0 127049 3141 0 0 25 0 1 0 3299225 104685568 24107 1992294400 4194304 8223781 140736909913280 18446744073709551615 6611759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 25558 24107 602 984 0 24571 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 102232
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10675
/proc/meminfo: memFree=1661728/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=104716 CPUtime=1361.88
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 3700545 0 0 0 132901 3287 0 0 25 0 1 0 3299225 107229184 24899 1992294400 4194304 8223781 140736909913280 18446744073709551615 6568195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 26179 24899 602 984 0 25192 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 104716
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10677
/proc/meminfo: memFree=1660488/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=106508 CPUtime=1421.87
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 3841423 0 0 0 138761 3426 0 0 25 0 1 0 3299225 109064192 25280 1992294400 4194304 8223781 140736909913280 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 26627 25280 612 984 0 25640 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 106508
[startup+1482.3 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 10679
/proc/meminfo: memFree=1658876/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=107616 CPUtime=1481.84
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 3992605 0 0 0 144608 3576 0 0 25 0 1 0 3299225 110198784 25609 1992294400 4194304 8223781 140736909913280 18446744073709551615 6591317 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 26904 25609 602 984 0 25917 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 107616
[startup+1542.3 s]
/proc/loadavg: 1.08 1.04 1.01 2/107 10681
/proc/meminfo: memFree=1656148/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=111776 CPUtime=1541.83
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 4152856 0 0 0 150454 3729 0 0 25 0 1 0 3299225 114458624 26447 1992294400 4194304 8223781 140736909913280 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 27944 26447 603 984 0 26957 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 111776
[startup+1602.3 s]
/proc/loadavg: 1.07 1.04 1.01 2/107 10683
/proc/meminfo: memFree=1654784/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=112140 CPUtime=1601.81
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 4319589 0 0 0 156294 3887 0 0 25 0 1 0 3299225 114831360 26676 1992294400 4194304 8223781 140736909913280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 28035 26676 602 984 0 27048 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 112140
[startup+1662.3 s]
/proc/loadavg: 1.06 1.05 1.01 2/107 10683
/proc/meminfo: memFree=1652180/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=115092 CPUtime=1661.79
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 4490439 0 0 0 162135 4044 0 0 25 0 1 0 3299225 117854208 27428 1992294400 4194304 8223781 140736909913280 18446744073709551615 4947556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 28773 27428 603 984 0 27786 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 115092
[startup+1722.3 s]
/proc/loadavg: 1.06 1.05 1.01 2/107 10685
/proc/meminfo: memFree=1649080/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=118148 CPUtime=1721.77
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 4666940 0 0 0 167978 4199 0 0 25 0 1 0 3299225 120983552 28137 1992294400 4194304 8223781 140736909913280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 29537 28137 605 984 0 28550 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 118148
[startup+1782.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 10687
/proc/meminfo: memFree=1646724/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=119668 CPUtime=1781.75
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 4812077 0 0 0 173832 4343 0 0 25 0 1 0 3299225 122540032 28574 1992294400 4194304 8223781 140736909913280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 29917 28574 604 984 0 28930 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 119668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 10687
/proc/meminfo: memFree=1646600/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=120232 CPUtime=1800.07
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 4849919 0 0 0 175619 4388 0 0 25 0 1 0 3299225 123117568 28688 1992294400 4194304 8223781 140736909913280 18446744073709551615 4947736 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10629/statm: 30058 28688 605 984 0 29071 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 120232
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.72 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 10687
/proc/meminfo: memFree=1646600/2059040 swapFree=4192956/4192956
[pid=10629] ppid=10627 vsize=120096 CPUtime=1800.17
/proc/10629/stat : 10629 (pbscip.linux.x8) R 10627 10629 10525 0 -1 4202496 4849980 0 0 0 175629 4388 0 0 25 0 1 0 3299225 122978304 28675 1992294400 4194304 8223781 140736909913280 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10629/statm: 30024 28675 607 984 0 29037 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 120096
Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.24
CPU user time (s): 1756.34
CPU system time (s): 43.8943
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 121856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.34
system time used= 43.8943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4849984
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= 3
involuntary context switches= 1565
runsolver used 3.07853 second user time and 8.40372 second system time
The end