5.67/5.76 c SCIP version 1.1.0.7
5.67/5.76 c LP-Solver SoPlex 1.4.1
5.67/5.76 c user parameter file <scip.set> not found - using default parameters
5.67/5.76 c read problem <HOME/instance-1869604-1245181018.opb>
5.67/5.76 c original problem has 8601 variables (8601 bin, 0 int, 0 impl, 0 cont) and 386810 constraints
6.78/6.85 c start presolving problem
6.78/6.85 c presolving:
9.37/9.44 c (round 1) 5265 del vars, 345933 del conss, 4993 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 589867 impls, 0 clqs
9.37/9.50 c (round 2) 5267 del vars, 349406 del conss, 4993 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 589867 impls, 0 clqs
9.78/9.89 c (round 3) 5267 del vars, 349406 del conss, 4993 chg bounds, 90 chg sides, 180 chg coeffs, 37404 upgd conss, 589867 impls, 0 clqs
13.57/13.67 c (7.2s) probing: 1000/3334 (30.0%) - 0 fixings, 0 aggregations, 1223 implications, 0 bound changes
17.37/17.48 c (11.0s) probing: 2000/3334 (60.0%) - 0 fixings, 0 aggregations, 2560 implications, 0 bound changes
17.37/17.48 c (11.0s) probing: 2001/3334 (60.0%) - 0 fixings, 0 aggregations, 2561 implications, 0 bound changes
17.37/17.48 c (11.0s) probing aborted: 2000/2000 successive useless probings
17.37/17.48 c presolving (4 rounds):
17.37/17.48 c 5267 deleted vars, 349406 deleted constraints, 4993 tightened bounds, 0 added holes, 90 changed sides, 180 changed coefficients
17.37/17.48 c 597293 implications, 0 cliques
17.37/17.48 c presolved problem has 3334 variables (3334 bin, 0 int, 0 impl, 0 cont) and 37404 constraints
17.37/17.48 c 37404 constraints of type <logicor>
17.37/17.48 c transformed objective value is always integral (scale: 1)
17.37/17.48 c Presolving Time: 10.20
17.37/17.49 c strange?!, PURESAT with obj
17.37/17.49 c -----------------------------------------------------------------------------------------------
17.37/17.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
17.37/17.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
17.37/17.49 c limits/memory = c 1620
17.37/17.49 c # maximal time in seconds to run
17.37/17.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
17.37/17.49 c limits/time = c 1791
17.37/17.49 c # frequency for displaying node information lines
17.37/17.49 c # [type: int, range: [-1,2147483647], default: 100]
17.37/17.49 c display/freq = c 10000
17.37/17.49 c -----------------------------------------------------------------------------------------------
17.37/17.49 c start solving problem
17.37/17.49 c
30.36/30.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.36/30.46 c 24.0s| 1 | 0 | 5811 | 220M| 0 |2924 |3334 | 37k| 37k|3334 | 37k| 0 | 0 | 0 | 8.000000e+00 | -- | Inf
166.81/166.95 c 160s| 1 | 0 | 25822 | 222M| 0 |1886 |3334 | 37k| 37k|3334 | 39k|2000 | 0 | 0 | 1.409429e+01 | -- | Inf
203.20/203.36 c 197s| 1 | 0 | 30367 | 224M| 0 |1217 |3334 | 37k| 37k|3334 | 40k|2834 | 0 | 0 | 1.783333e+01 | -- | Inf
230.89/231.06 c 224s| 1 | 0 | 32967 | 224M| 0 |1409 |3334 | 37k| 37k|3334 | 40k|2963 | 0 | 0 | 1.875000e+01 | -- | Inf
283.77/283.99 c 277s| 1 | 0 | 36219 | 224M| 0 |1156 |3334 | 37k| 37k|3334 | 40k|3134 | 0 | 0 | 1.900000e+01 | -- | Inf
447.31/447.53 c 440s| 1 | 0 | 38104 | 224M| 0 |1154 |3334 | 37k| 37k|3334 | 40k|3176 | 0 | 0 | 1.925000e+01 | -- | Inf
599.85/600.10 c 593s| 1 | 0 | 40302 | 224M| 0 |1084 |3334 | 37k| 37k|3334 | 40k|3194 | 0 | 0 | 2.000000e+01 | -- | Inf
760.90/761.21 c 753s| 1 | 0 | 41093 | 224M| 0 |1108 |3334 | 37k| 37k|3334 | 40k|3203 | 0 | 0 | 2.000000e+01 | -- | Inf
919.44/919.80 c 912s| 1 | 0 | 41659 | 224M| 0 |1065 |3334 | 37k| 37k|3334 | 40k|3223 | 0 | 0 | 2.000000e+01 | -- | Inf
1084.48/1084.93 c 1077s| 1 | 0 | 42684 | 224M| 0 |1107 |3334 | 37k| 37k|3334 | 40k|3236 | 0 | 0 | 2.000000e+01 | -- | Inf
1260.81/1261.32 c 1253s| 1 | 0 | 44530 | 224M| 0 |1021 |3334 | 37k| 37k|3334 | 40k|3242 | 0 | 0 | 2.000000e+01 | -- | Inf
1436.94/1437.53 c 1429s| 1 | 0 | 52036 | 225M| 0 |1095 |3334 | 37k| 37k|3334 | 40k|3262 | 0 | 0 | 2.000000e+01 | -- | Inf
1690.85/1691.52 c 1682s| 1 | 2 | 52036 | 225M| 0 |1095 |3334 | 37k| 37k|3334 | 40k|3262 | 0 | 34 | 2.000000e+01 | -- | Inf
1800.81/1801.59 c
1800.81/1801.59 c SCIP Status : solving was interrupted [user interrupt]
1800.81/1801.59 c Solving Time (sec) : 1791.97
1800.81/1801.59 c Solving Nodes : 2
1800.81/1801.59 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.81/1801.59 c Dual Bound : +2.00000000000000e+01
1800.81/1801.59 c Gap : infinite
1800.81/1801.59 c NODE 2
1800.81/1801.59 c DUAL BOUND 20
1800.81/1801.59 c PRIMAL BOUND 1e+20
1800.81/1801.59 c GAP 1e+20
1800.81/1801.59 s UNKNOWN
1800.81/1801.59 c SCIP Status : solving was interrupted [user interrupt]
1800.81/1801.59 c Solving Time : 1791.97
1800.81/1801.59 c Original Problem :
1800.81/1801.59 c Problem name : HOME/instance-1869604-1245181018.opb
1800.81/1801.59 c Variables : 8601 (8601 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.81/1801.59 c Constraints : 386810 initial, 386810 maximal
1800.81/1801.59 c Presolved Problem :
1800.81/1801.59 c Problem name : t_HOME/instance-1869604-1245181018.opb
1800.81/1801.59 c Variables : 3334 (3334 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.81/1801.59 c Constraints : 37404 initial, 37404 maximal
1800.81/1801.59 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.81/1801.59 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.81/1801.59 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.81/1801.59 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.81/1801.59 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.81/1801.59 c implics : 0.01 0 0 0 0 0 0 0 0
1800.81/1801.59 c probing : 7.49 0 0 0 0 0 0 0 0
1800.81/1801.59 c linear : 2.14 4993 272 0 4993 0 349406 90 180
1800.81/1801.59 c logicor : 0.12 0 0 0 0 0 0 0 0
1800.81/1801.59 c root node : - 0 - - 0 - - - -
1800.81/1801.59 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.81/1801.59 c integral : 0 0 0 2 0 0 0 0 0 4
1800.81/1801.59 c logicor : 37404 11 4003 0 0 0 41 0 0 0
1800.81/1801.59 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.81/1801.59 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.81/1801.59 c integral : 330.73 0.00 0.00 330.73 0.00
1800.81/1801.59 c logicor : 3.26 0.12 3.14 0.00 0.00
1800.81/1801.59 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.81/1801.59 c Propagators : Time Calls Cutoffs DomReds
1800.81/1801.59 c rootredcost : 0.02 0 0 0
1800.81/1801.59 c pseudoobj : 0.01 10 0 0
1800.81/1801.59 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.81/1801.59 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.81/1801.59 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.81/1801.59 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.81/1801.59 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.81/1801.59 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.81/1801.59 c applied globally : - - - 0 0.0 - - -
1800.81/1801.59 c applied locally : - - - 0 0.0 - - -
1800.81/1801.59 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.81/1801.59 c cut pool : 0.03 10 - - 799 - (maximal pool size: 4472)
1800.81/1801.59 c redcost : 0.01 12 0 0 0 0
1800.81/1801.59 c impliedbounds : 0.14 11 0 0 4338 0
1800.81/1801.59 c intobj : 0.00 0 0 0 0 0
1800.81/1801.59 c gomory : 558.52 11 0 0 2518 0
1800.81/1801.59 c strongcg : 482.60 11 0 0 3087 0
1800.81/1801.59 c cmir : 14.13 10 0 0 0 0
1800.81/1801.59 c flowcover : 26.83 10 0 0 15 0
1800.81/1801.59 c clique : 1.32 10 0 0 85 0
1800.81/1801.59 c zerohalf : 0.00 0 0 0 0 0
1800.81/1801.59 c mcf : 0.08 1 0 0 0 0
1800.81/1801.59 c Pricers : Time Calls Vars
1800.81/1801.59 c problem variables: 0.00 0 0
1800.81/1801.59 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.81/1801.59 c relpscost : 330.73 2 0 0 0 0 4
1800.81/1801.59 c pscost : 0.00 0 0 0 0 0 0
1800.81/1801.59 c inference : 0.00 0 0 0 0 0 0
1800.81/1801.59 c mostinf : 0.00 0 0 0 0 0 0
1800.81/1801.59 c leastinf : 0.00 0 0 0 0 0 0
1800.81/1801.59 c fullstrong : 0.00 0 0 0 0 0 0
1800.81/1801.59 c allfullstrong : 0.00 0 0 0 0 0 0
1800.81/1801.59 c random : 0.00 0 0 0 0 0 0
1800.81/1801.59 c Primal Heuristics : Time Calls Found
1800.81/1801.59 c LP solutions : 0.00 - 0
1800.81/1801.59 c pseudo solutions : 0.00 - 0
1800.81/1801.59 c oneopt : 0.00 0 0
1800.81/1801.59 c coefdiving : 0.00 0 0
1800.81/1801.59 c simplerounding : 0.00 0 0
1800.81/1801.59 c rounding : 0.11 13 0
1800.81/1801.59 c shifting : 0.90 12 0
1800.81/1801.59 c intshifting : 0.00 0 0
1800.81/1801.59 c fixandinfer : 0.00 0 0
1800.81/1801.59 c feaspump : 73.99 1 0
1800.81/1801.59 c pscostdiving : 0.00 0 0
1800.81/1801.59 c fracdiving : 0.00 0 0
1800.81/1801.59 c veclendiving : 0.00 0 0
1800.81/1801.59 c intdiving : 0.00 0 0
1800.81/1801.59 c actconsdiving : 0.00 0 0
1800.81/1801.59 c objpscostdiving : 0.00 0 0
1800.81/1801.59 c rootsoldiving : 0.00 0 0
1800.81/1801.59 c linesearchdiving : 0.00 0 0
1800.81/1801.59 c guideddiving : 0.00 0 0
1800.81/1801.59 c octane : 0.00 0 0
1800.81/1801.59 c rens : 18.80 1 0
1800.81/1801.59 c rins : 0.00 0 0
1800.81/1801.59 c localbranching : 0.00 0 0
1800.81/1801.59 c mutation : 0.00 0 0
1800.81/1801.59 c crossover : 0.00 0 0
1800.81/1801.59 c dins : 0.00 0 0
1800.81/1801.59 c LP : Time Calls Iterations Iter/call Iter/sec
1800.81/1801.59 c primal LP : 0.03 0 0 0.00 0.00
1800.81/1801.59 c dual LP : 271.60 13 45422 3494.00 167.24
1800.81/1801.59 c barrier LP : 0.00 0 0 0.00 -
1800.81/1801.59 c diving/probing LP: 73.82 11 8534 775.82 115.61
1800.81/1801.59 c strong branching : 330.73 48 43628 908.92 131.91
1800.81/1801.59 c (at root node) : - 34 30622 900.65 -
1800.81/1801.59 c conflict analysis: 0.00 0 0 0.00 -
1800.81/1801.59 c B&B Tree :
1800.81/1801.59 c number of runs : 1
1800.81/1801.59 c nodes : 2
1800.81/1801.59 c nodes (total) : 2
1800.81/1801.59 c nodes left : 3
1800.81/1801.59 c max depth : 1
1800.81/1801.59 c max depth (total): 1
1800.81/1801.59 c backtracks : 0 (0.0%)
1800.81/1801.59 c delayed cutoffs : 0
1800.81/1801.59 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.81/1801.59 c avg switch length: 1.00
1800.81/1801.59 c switching time : 0.05
1800.81/1801.59 c Solution :
1800.81/1801.59 c Solutions found : 0 (0 improvements)
1800.81/1801.59 c Primal Bound : -
1800.81/1801.59 c Dual Bound : +2.00000000000000e+01
1800.81/1801.59 c Gap : infinite
1800.81/1801.59 c Root Dual Bound : +2.00000000000000e+01
1801.31/1802.02 c Time complete: 1801.33.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869604-1245181018/watcher-1869604-1245181018 -o /tmp/evaluation-result-1869604-1245181018/solver-1869604-1245181018 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869604-1245181018.opb
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/64 2822
/proc/meminfo: memFree=1824200/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=4324 CPUtime=0
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 468 0 0 0 0 0 0 0 18 0 1 0 185702536 4427776 452 1992294400 4194304 7823515 548682068736 18446744073709551615 6899776 0 0 4096 0 0 0 0 17 1 0 0
/proc/2822/statm: 1082 463 300 886 0 192 0
[startup+0.0800089 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2822
/proc/meminfo: memFree=1824200/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=14972 CPUtime=0.07
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 3078 0 0 0 6 1 0 0 18 0 1 0 185702536 15331328 3060 1992294400 4194304 7823515 548682068736 18446744073709551615 6908062 0 0 4096 0 0 0 0 17 1 0 0
/proc/2822/statm: 3743 3060 354 886 0 2853 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14972
[startup+0.102076 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2822
/proc/meminfo: memFree=1824200/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=16640 CPUtime=0.09
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 3480 0 0 0 8 1 0 0 18 0 1 0 185702536 17039360 3462 1992294400 4194304 7823515 548682068736 18446744073709551615 6908072 0 0 4096 0 0 0 0 17 1 0 0
/proc/2822/statm: 4160 3462 354 886 0 3270 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16640
[startup+0.302055 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2822
/proc/meminfo: memFree=1824200/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=21352 CPUtime=0.29
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 4660 0 0 0 28 1 0 0 19 0 1 0 185702536 21864448 4642 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 1 0 0
/proc/2822/statm: 5338 4642 354 886 0 4448 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21352
[startup+0.701141 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2822
/proc/meminfo: memFree=1824200/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=30768 CPUtime=0.69
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 6985 0 0 0 67 2 0 0 22 0 1 0 185702536 31506432 6967 1992294400 4194304 7823515 548682068736 18446744073709551615 6908047 0 0 4096 0 0 0 0 17 1 0 0
/proc/2822/statm: 7692 6967 354 886 0 6802 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30768
[startup+1.50131 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2823
/proc/meminfo: memFree=1790656/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=50268 CPUtime=1.49
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 11867 0 0 0 145 4 0 0 25 0 1 0 185702536 51474432 11849 1992294400 4194304 7823515 548682068736 18446744073709551615 5537897 0 0 4096 0 0 0 0 17 1 0 0
/proc/2822/statm: 12567 11849 354 886 0 11677 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50268
[startup+3.10166 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 2823
/proc/meminfo: memFree=1763200/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=88692 CPUtime=3.08
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 21446 0 0 0 300 8 0 0 25 0 1 0 185702536 90820608 21428 1992294400 4194304 7823515 548682068736 18446744073709551615 6896341 0 0 4096 0 0 0 0 17 1 0 0
/proc/2822/statm: 22173 21428 354 886 0 21283 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 88692
[startup+6.30134 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 2823
/proc/meminfo: memFree=1682816/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=306472 CPUtime=6.28
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 75413 0 0 0 598 30 0 0 25 0 1 0 185702536 313827328 75041 1992294400 4194304 7823515 548682068736 18446744073709551615 4207874 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 76618 75041 370 886 0 75728 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 306472
[startup+12.7017 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 2823
/proc/meminfo: memFree=1405440/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=424740 CPUtime=12.67
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106032 0 0 0 1186 81 0 0 25 0 1 0 185702536 434933760 104906 1992294400 4194304 7823515 548682068736 18446744073709551615 4243090 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 106185 104906 448 886 0 105295 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 424740
[startup+25.5015 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 2823
/proc/meminfo: memFree=1408064/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=25.47
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106290 0 0 0 2461 86 0 0 25 0 1 0 185702536 431702016 104351 1992294400 4194304 7823515 548682068736 18446744073709551615 6212404 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104351 520 886 0 104506 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 421584
[startup+51.1029 s]
/proc/loadavg: 1.19 1.05 1.01 2/65 2823
/proc/meminfo: memFree=1408064/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=51.06
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106303 0 0 0 5018 88 0 0 25 0 1 0 185702536 431702016 104364 1992294400 4194304 7823515 548682068736 18446744073709551615 6208315 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104364 531 886 0 104506 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 421584
[startup+102.305 s]
/proc/loadavg: 1.19 1.07 1.02 2/65 2823
/proc/meminfo: memFree=1408128/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=102.24
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106315 0 0 0 10132 92 0 0 25 0 1 0 185702536 431702016 104364 1992294400 4194304 7823515 548682068736 18446744073709551615 6217404 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104364 531 886 0 104506 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 421584
[startup+162.302 s]
/proc/loadavg: 1.14 1.07 1.02 2/65 2823
/proc/meminfo: memFree=1408064/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=162.21
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106324 0 0 0 16121 100 0 0 25 0 1 0 185702536 431702016 104373 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104373 540 886 0 104506 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 421584
[startup+222.302 s]
/proc/loadavg: 1.05 1.05 1.01 2/65 2823
/proc/meminfo: memFree=1408000/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=222.2
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106344 0 0 0 22102 118 0 0 25 0 1 0 185702536 431702016 104393 1992294400 4194304 7823515 548682068736 18446744073709551615 6211574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104393 560 886 0 104506 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 421584
[startup+282.302 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 2823
/proc/meminfo: memFree=1408000/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=282.17
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106344 0 0 0 28092 125 0 0 25 0 1 0 185702536 431702016 104393 1992294400 4194304 7823515 548682068736 18446744073709551615 6908052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104393 560 886 0 104506 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 421584
[startup+342.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 2823
/proc/meminfo: memFree=1407936/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=342.15
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106344 0 0 0 34080 135 0 0 25 0 1 0 185702536 431702016 104393 1992294400 4194304 7823515 548682068736 18446744073709551615 5965396 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104393 560 886 0 104506 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 421584
[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 2823
/proc/meminfo: memFree=1407872/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=402.13
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106344 0 0 0 40069 144 0 0 25 0 1 0 185702536 431702016 104393 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104393 560 886 0 104506 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 421584
[startup+462.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 2823
/proc/meminfo: memFree=1407872/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=462.11
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106344 0 0 0 46060 151 0 0 25 0 1 0 185702536 431702016 104393 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104393 560 886 0 104506 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 421584
[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2823
/proc/meminfo: memFree=1407936/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=522.09
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106344 0 0 0 52051 158 0 0 25 0 1 0 185702536 431702016 104393 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104393 560 886 0 104506 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 421584
[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2823
/proc/meminfo: memFree=1407872/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=582.06
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106344 0 0 0 58038 168 0 0 25 0 1 0 185702536 431702016 104393 1992294400 4194304 7823515 548682068736 18446744073709551615 5597697 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104393 560 886 0 104506 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 421584
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2823
/proc/meminfo: memFree=1407808/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=642.04
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106344 0 0 0 64028 176 0 0 25 0 1 0 185702536 431702016 104393 1992294400 4194304 7823515 548682068736 18446744073709551615 4338488 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104393 560 886 0 104506 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 421584
[startup+702.302 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2825
/proc/meminfo: memFree=1407680/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=1001.9
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106344 0 0 0 99961 229 0 0 25 0 1 0 185702536 431702016 104393 1992294400 4194304 7823515 548682068736 18446744073709551615 5965558 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104393 560 886 0 104506 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 421584
[startup+1062.3 s]
/proc/loadavg: 1.10 1.03 1.01 2/65 2825
/proc/meminfo: memFree=1407680/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=1061.89
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106344 0 0 0 105952 237 0 0 25 0 1 0 185702536 431702016 104393 1992294400 4194304 7823515 548682068736 18446744073709551615 4273319 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104393 560 886 0 104506 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 421584
[startup+1122.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 2825
/proc/meminfo: memFree=1407744/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=1121.86
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106344 0 0 0 111941 245 0 0 25 0 1 0 185702536 431702016 104393 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104393 560 886 0 104506 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 421584
[startup+1182.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 2825
/proc/meminfo: memFree=1407808/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=1181.84
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106344 0 0 0 117931 253 0 0 25 0 1 0 185702536 431702016 104393 1992294400 4194304 7823515 548682068736 18446744073709551615 4273492 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104393 560 886 0 104506 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 421584
[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2825
/proc/meminfo: memFree=1407808/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=1241.82
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106344 0 0 0 123921 261 0 0 25 0 1 0 185702536 431702016 104393 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104393 560 886 0 104506 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 421584
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2825
/proc/meminfo: memFree=1407744/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=1301.8
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106344 0 0 0 129913 267 0 0 25 0 1 0 185702536 431702016 104393 1992294400 4194304 7823515 548682068736 18446744073709551615 6911775 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104393 560 886 0 104506 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 421584
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2825
/proc/meminfo: memFree=1407680/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=1361.77
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106344 0 0 0 135901 276 0 0 25 0 1 0 185702536 431702016 104393 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104393 560 886 0 104506 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 421584
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2825
/proc/meminfo: memFree=1407680/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=421584 CPUtime=1421.76
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 106344 0 0 0 141893 283 0 0 25 0 1 0 185702536 431702016 104393 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105396 104393 560 886 0 104506 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 421584
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2831
/proc/meminfo: memFree=1407936/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=420852 CPUtime=1481.73
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 112641 0 0 0 147872 301 0 0 25 0 1 0 185702536 430952448 104269 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105213 104269 575 886 0 104323 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 420852
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2831
/proc/meminfo: memFree=1408000/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=420852 CPUtime=1541.7
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 112641 0 0 0 153863 307 0 0 25 0 1 0 185702536 430952448 104269 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105213 104269 575 886 0 104323 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 420852
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2831
/proc/meminfo: memFree=1408064/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=420852 CPUtime=1601.69
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 112641 0 0 0 159856 313 0 0 25 0 1 0 185702536 430952448 104269 1992294400 4194304 7823515 548682068736 18446744073709551615 6110794 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105213 104269 575 886 0 104323 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 420852
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2831
/proc/meminfo: memFree=1408064/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=420852 CPUtime=1661.66
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 112641 0 0 0 165847 319 0 0 25 0 1 0 185702536 430952448 104269 1992294400 4194304 7823515 548682068736 18446744073709551615 6211478 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105213 104269 575 886 0 104323 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 420852
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2831
/proc/meminfo: memFree=1408064/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=420852 CPUtime=1721.64
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 112641 0 0 0 171839 325 0 0 25 0 1 0 185702536 430952448 104269 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105213 104269 575 886 0 104323 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 420852
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2831
/proc/meminfo: memFree=1408192/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=420852 CPUtime=1781.62
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 112641 0 0 0 177830 332 0 0 25 0 1 0 185702536 430952448 104269 1992294400 4194304 7823515 548682068736 18446744073709551615 5925260 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105213 104269 575 886 0 104323 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 420852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2831
/proc/meminfo: memFree=1408128/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=420852 CPUtime=1800.02
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 112641 0 0 0 179668 334 0 0 25 0 1 0 185702536 430952448 104269 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105213 104269 575 886 0 104323 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 420852
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2831
/proc/meminfo: memFree=1408128/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=420852 CPUtime=1800.71
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 112641 0 0 0 179737 334 0 0 25 0 1 0 185702536 430952448 104269 1992294400 4194304 7823515 548682068736 18446744073709551615 6211574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2822/statm: 105213 104269 575 886 0 104323 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (KiB) 420852
[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2832
/proc/meminfo: memFree=1408120/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=391032 CPUtime=1801.12
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 112643 0 0 0 179777 335 0 0 25 0 1 0 185702536 400416768 96851 1992294400 4194304 7823515 548682068736 18446744073709551615 4211592 0 0 4096 0 0 0 0 17 1 0 0
/proc/2822/statm: 97758 96851 577 886 0 96868 0
Current children cumulated CPU time (s) 1801.12
Current children cumulated vsize (KiB) 391032
[startup+1802 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2832
/proc/meminfo: memFree=1408120/2055920 swapFree=4192812/4192956
[pid=2822] ppid=2820 vsize=186004 CPUtime=1801.31
/proc/2822/stat : 2822 (pbscip.linux.x8) R 2820 2822 2685 0 -1 4194304 112643 0 0 0 179792 339 0 0 25 0 1 0 185702536 190468096 46158 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/2822/statm: 46501 46158 12721 886 0 45611 0
Current children cumulated CPU time (s) 1801.31
Current children cumulated vsize (KiB) 186004
Child status: 0
Real time (s): 1802.02
CPU time (s): 1801.34
CPU user time (s): 1797.93
CPU system time (s): 3.41848
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (KiB): 447740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.93
system time used= 3.41848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112646
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= 1553
runsolver used 1.72774 second user time and 4.05638 second system time
The end