0.29/0.39 c SCIP version 1.1.0.7
0.29/0.39 c LP-Solver SoPlex 1.4.1
0.29/0.39 c user parameter file <scip.set> not found - using default parameters
0.29/0.39 c read problem <HOME/instance-1868934-1245150755.opb>
0.29/0.39 c original problem has 1518 variables (1518 bin, 0 int, 0 impl, 0 cont) and 21621 constraints
0.39/0.48 c start presolving problem
0.39/0.48 c presolving:
0.59/0.65 c (round 1) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 121176 impls, 0 clqs
0.79/0.89 c (round 2) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 21050 upgd conss, 121176 impls, 0 clqs
0.89/0.96 c (round 3) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 21615 upgd conss, 121176 impls, 0 clqs
1.79/1.82 c (1.3s) probing: 314/1512 (20.8%) - 0 fixings, 0 aggregations, 12558 implications, 0 bound changes
1.79/1.82 c (1.3s) probing aborted: 100/100 successive totally useless probings
1.79/1.82 c presolving (4 rounds):
1.79/1.82 c 6 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.79/1.82 c 146292 implications, 0 cliques
1.79/1.82 c presolved problem has 1512 variables (1512 bin, 0 int, 0 impl, 0 cont) and 21615 constraints
1.79/1.82 c 21615 constraints of type <logicor>
1.79/1.82 c transformed objective value is always integral (scale: 1)
1.79/1.82 c Presolving Time: 1.26
1.79/1.83 c strange?!, PURESAT with obj
1.79/1.83 c -----------------------------------------------------------------------------------------------
1.79/1.83 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.79/1.83 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.83 c limits/memory = c 1620
1.79/1.83 c # maximal time in seconds to run
1.79/1.83 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.83 c limits/time = c 1791
1.79/1.83 c # frequency for displaying node information lines
1.79/1.83 c # [type: int, range: [-1,2147483647], default: 100]
1.79/1.83 c display/freq = c 10000
1.79/1.83 c -----------------------------------------------------------------------------------------------
1.79/1.83 c start solving problem
1.79/1.83 c
11.49/11.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.49/11.51 c 10.9s| 1 | 0 | 3945 | 36M| 0 |1323 |1512 | 21k| 21k|1512 | 21k| 0 | 0 | 0 | 3.959062e+02 | -- | Inf
83.47/83.59 c 82.8s| 1 | 0 | 16695 | 36M| 0 |1323 |1512 | 21k| 21k|1512 | 21k| 3 | 0 | 0 | 3.973750e+02 | -- | Inf
87.67/87.77 c 86.9s| 1 | 0 | 17223 | 37M| 0 |1323 |1512 | 21k| 21k|1512 | 21k| 6 | 0 | 0 | 3.982247e+02 | -- | Inf
92.67/92.70 c 91.9s| 1 | 0 | 17971 | 38M| 0 |1323 |1512 | 21k| 21k|1512 | 21k| 9 | 0 | 0 | 3.990156e+02 | -- | Inf
98.36/98.44 c 97.6s| 1 | 0 | 18975 | 38M| 0 |1321 |1512 | 21k| 21k|1512 | 21k| 13 | 0 | 0 | 3.997474e+02 | -- | Inf
102.27/102.34 c 101s| 1 | 0 | 19460 | 38M| 0 |1319 |1512 | 21k| 21k|1512 | 21k| 18 | 0 | 0 | 4.009850e+02 | -- | Inf
107.86/107.99 c 107s| 1 | 0 | 20075 | 38M| 0 |1321 |1512 | 21k| 21k|1512 | 21k| 23 | 0 | 0 | 4.013345e+02 | -- | Inf
113.35/113.45 c 113s| 1 | 0 | 20680 | 38M| 0 |1321 |1512 | 21k| 21k|1512 | 21k| 27 | 0 | 0 | 4.015166e+02 | -- | Inf
120.56/120.63 c 120s| 1 | 0 | 21750 | 39M| 0 |1321 |1512 | 21k| 21k|1512 | 21k| 31 | 0 | 0 | 4.018518e+02 | -- | Inf
127.15/127.20 c 126s| 1 | 0 | 22496 | 39M| 0 |1322 |1512 | 21k| 21k|1512 | 21k| 34 | 0 | 0 | 4.019249e+02 | -- | Inf
133.25/133.30 c 132s| 1 | 0 | 23219 | 39M| 0 |1317 |1512 | 21k| 21k|1512 | 21k| 37 | 0 | 0 | 4.019510e+02 | -- | Inf
140.05/140.12 c 139s| 1 | 0 | 24155 | 40M| 0 |1323 |1512 | 21k| 21k|1512 | 21k| 40 | 0 | 0 | 4.022344e+02 | -- | Inf
145.25/145.33 c 144s| 1 | 0 | 24685 | 42M| 0 |1321 |1512 | 21k| 21k|1512 | 21k| 43 | 0 | 0 | 4.022790e+02 | -- | Inf
150.94/151.10 c 150s| 1 | 0 | 25100 | 42M| 0 |1319 |1512 | 21k| 21k|1512 | 21k| 45 | 0 | 0 | 4.023047e+02 | -- | Inf
276.01/276.12 c 275s| 1 | 2 | 25100 | 42M| 0 |1319 |1512 | 21k| 21k|1512 | 21k| 45 | 0 | 43 | 4.023047e+02 | -- | Inf
1795.18/1795.75 c
1795.18/1795.75 c SCIP Status : solving was interrupted [time limit reached]
1795.18/1795.75 c Solving Time (sec) : 1791.01
1795.18/1795.75 c Solving Nodes : 319
1795.18/1795.75 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1795.18/1795.75 c Dual Bound : +4.18788546466977e+02
1795.18/1795.75 c Gap : infinite
1795.18/1795.75 c NODE 319
1795.18/1795.75 c DUAL BOUND 418.789
1795.18/1795.75 c PRIMAL BOUND 1e+20
1795.18/1795.75 c GAP 1e+20
1795.18/1795.75 s UNKNOWN
1795.18/1795.75 c SCIP Status : solving was interrupted [time limit reached]
1795.18/1795.75 c Solving Time : 1791.01
1795.18/1795.75 c Original Problem :
1795.18/1795.75 c Problem name : HOME/instance-1868934-1245150755.opb
1795.18/1795.75 c Variables : 1518 (1518 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.18/1795.75 c Constraints : 21621 initial, 21621 maximal
1795.18/1795.75 c Presolved Problem :
1795.18/1795.75 c Problem name : t_HOME/instance-1868934-1245150755.opb
1795.18/1795.75 c Variables : 1512 (1512 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.18/1795.75 c Constraints : 21615 initial, 22067 maximal
1795.18/1795.75 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1795.18/1795.75 c trivial : 0.00 0 0 0 0 0 0 0 0
1795.18/1795.75 c dualfix : 0.00 0 0 0 0 0 0 0 0
1795.18/1795.75 c boundshift : 0.00 0 0 0 0 0 0 0 0
1795.18/1795.75 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1795.18/1795.75 c implics : 0.00 0 0 0 0 0 0 0 0
1795.18/1795.75 c probing : 0.80 0 0 0 0 0 0 0 0
1795.18/1795.75 c linear : 0.27 0 6 0 0 0 6 0 0
1795.18/1795.75 c logicor : 0.16 0 0 0 0 0 0 0 0
1795.18/1795.75 c root node : - 0 - - 0 - - - -
1795.18/1795.75 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1795.18/1795.75 c integral : 0 0 0 232 0 3 36 0 0 442
1795.18/1795.75 c logicor : 21615+ 14 3423 0 1 162 43079 0 0 0
1795.18/1795.75 c countsols : 0 0 0 0 1 0 0 0 0 0
1795.18/1795.75 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1795.18/1795.75 c integral : 835.68 0.00 0.00 835.68 0.00
1795.18/1795.75 c logicor : 1.53 0.11 1.41 0.00 0.01
1795.18/1795.75 c countsols : 0.00 0.00 0.00 0.00 0.00
1795.18/1795.75 c Propagators : Time Calls Cutoffs DomReds
1795.18/1795.75 c rootredcost : 0.01 0 0 0
1795.18/1795.75 c pseudoobj : 0.19 3064 0 0
1795.18/1795.75 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1795.18/1795.75 c propagation : 0.01 162 160 525 21.0 40 22.2 -
1795.18/1795.75 c infeasible LP : 0.08 38 38 154 24.4 0 0.0 0
1795.18/1795.75 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1795.18/1795.75 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1795.18/1795.75 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1795.18/1795.75 c applied globally : - - - 619 20.9 - - -
1795.18/1795.75 c applied locally : - - - 0 0.0 - - -
1795.18/1795.75 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1795.18/1795.75 c cut pool : 0.02 13 - - 240 - (maximal pool size: 1155)
1795.18/1795.75 c redcost : 0.01 245 0 0 0 0
1795.18/1795.75 c impliedbounds : 0.06 14 0 0 0 0
1795.18/1795.75 c intobj : 0.00 0 0 0 0 0
1795.18/1795.75 c gomory : 16.77 14 0 0 2449 0
1795.18/1795.75 c strongcg : 13.27 14 0 0 4428 0
1795.18/1795.75 c cmir : 5.09 10 0 0 0 0
1795.18/1795.75 c flowcover : 3.52 10 0 0 0 0
1795.18/1795.75 c clique : 0.07 1 0 0 0 0
1795.18/1795.75 c zerohalf : 0.00 0 0 0 0 0
1795.18/1795.75 c mcf : 0.18 2 0 0 0 0
1795.18/1795.75 c Pricers : Time Calls Vars
1795.18/1795.75 c problem variables: 0.00 0 0
1795.18/1795.75 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1795.18/1795.75 c relpscost : 835.68 232 3 36 0 0 442
1795.18/1795.75 c pscost : 0.00 0 0 0 0 0 0
1795.18/1795.75 c inference : 0.00 1 0 0 0 0 2
1795.18/1795.75 c mostinf : 0.00 0 0 0 0 0 0
1795.18/1795.75 c leastinf : 0.00 0 0 0 0 0 0
1795.18/1795.75 c fullstrong : 0.00 0 0 0 0 0 0
1795.18/1795.75 c allfullstrong : 0.00 0 0 0 0 0 0
1795.18/1795.75 c random : 0.00 0 0 0 0 0 0
1795.18/1795.75 c Primal Heuristics : Time Calls Found
1795.18/1795.75 c LP solutions : 0.00 - 0
1795.18/1795.75 c pseudo solutions : 0.00 - 0
1795.18/1795.75 c oneopt : 0.00 0 0
1795.18/1795.75 c crossover : 0.00 0 0
1795.18/1795.75 c guideddiving : 0.00 0 0
1795.18/1795.75 c linesearchdiving : 22.03 4 0
1795.18/1795.75 c pscostdiving : 2.53 4 0
1795.18/1795.75 c fracdiving : 47.34 4 0
1795.18/1795.75 c simplerounding : 0.00 0 0
1795.18/1795.75 c rounding : 1.74 177 0
1795.18/1795.75 c shifting : 1.34 43 0
1795.18/1795.75 c intshifting : 0.00 0 0
1795.18/1795.75 c fixandinfer : 0.00 0 0
1795.18/1795.75 c feaspump : 68.29 1 0
1795.18/1795.75 c coefdiving : 86.28 5 0
1795.18/1795.75 c veclendiving : 8.53 5 0
1795.18/1795.75 c intdiving : 0.00 0 0
1795.18/1795.75 c actconsdiving : 0.00 0 0
1795.18/1795.75 c objpscostdiving : 10.22 3 0
1795.18/1795.75 c rootsoldiving : 61.77 1 0
1795.18/1795.75 c octane : 0.00 0 0
1795.18/1795.75 c rens : 0.01 0 0
1795.18/1795.75 c rins : 0.00 0 0
1795.18/1795.75 c localbranching : 0.00 0 0
1795.18/1795.75 c mutation : 0.00 0 0
1795.18/1795.75 c dins : 0.00 0 0
1795.18/1795.75 c LP : Time Calls Iterations Iter/call Iter/sec
1795.18/1795.75 c primal LP : 0.04 0 0 0.00 0.00
1795.18/1795.75 c dual LP : 600.76 246 165529 672.88 275.53
1795.18/1795.75 c barrier LP : 0.00 0 0 0.00 -
1795.18/1795.75 c diving/probing LP: 303.16 566 72962 128.91 240.67
1795.18/1795.75 c strong branching : 835.53 383 224149 585.25 268.27
1795.18/1795.75 c (at root node) : - 43 29879 694.86 -
1795.18/1795.75 c conflict analysis: 0.00 0 0 0.00 -
1795.18/1795.75 c B&B Tree :
1795.18/1795.75 c number of runs : 1
1795.18/1795.75 c nodes : 319
1795.18/1795.75 c nodes (total) : 319
1795.18/1795.75 c nodes left : 110
1795.18/1795.75 c max depth : 23
1795.18/1795.75 c max depth (total): 23
1795.18/1795.75 c backtracks : 48 (15.0%)
1795.18/1795.75 c delayed cutoffs : 16
1795.18/1795.75 c repropagations : 290 (4588 domain reductions, 14 cutoffs)
1795.18/1795.75 c avg switch length: 3.75
1795.18/1795.75 c switching time : 0.44
1795.18/1795.75 c Solution :
1795.18/1795.75 c Solutions found : 0 (0 improvements)
1795.18/1795.75 c Primal Bound : -
1795.18/1795.75 c Dual Bound : +4.18788546466977e+02
1795.18/1795.75 c Gap : infinite
1795.18/1795.75 c Root Dual Bound : +4.02304722828139e+02
1795.28/1795.87 c Time complete: 1795.36.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868934-1245150755/watcher-1868934-1245150755 -o /tmp/evaluation-result-1868934-1245150755/solver-1868934-1245150755 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868934-1245150755.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: 0.91 0.97 0.99 3/64 32328
/proc/meminfo: memFree=1856672/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=4324 CPUtime=0
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 464 0 0 0 0 0 0 0 18 0 1 0 182676526 4427776 448 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/32328/statm: 1081 449 286 886 0 191 0
[startup+0.0441199 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 32328
/proc/meminfo: memFree=1856672/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=10676 CPUtime=0.03
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 1984 0 0 0 3 0 0 0 18 0 1 0 182676526 10932224 1966 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/32328/statm: 2669 1966 354 886 0 1779 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10676
[startup+0.101126 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 32328
/proc/meminfo: memFree=1856672/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=11572 CPUtime=0.08
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 2208 0 0 0 8 0 0 0 18 0 1 0 182676526 11849728 2190 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/32328/statm: 2893 2190 354 886 0 2003 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11572
[startup+0.301146 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 32328
/proc/meminfo: memFree=1856672/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=17544 CPUtime=0.29
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 3699 0 0 0 28 1 0 0 19 0 1 0 182676526 17965056 3681 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/32328/statm: 4386 3681 354 886 0 3496 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17544
[startup+0.701187 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 32328
/proc/meminfo: memFree=1856672/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=61836 CPUtime=0.69
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 14869 0 0 0 60 9 0 0 22 0 1 0 182676526 63320064 14497 1992294400 4194304 7823515 548682068736 18446744073709551615 5016691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 15459 14497 426 886 0 14569 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61836
[startup+1.50227 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1792600/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=69608 CPUtime=1.49
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 17553 0 0 0 135 14 0 0 25 0 1 0 182676526 71278592 16427 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 17402 16436 446 886 0 16512 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69608
[startup+3.10143 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1768216/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=106556 CPUtime=3.09
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 27560 0 0 0 291 18 0 0 25 0 1 0 182676526 109113344 24686 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 26639 24686 517 886 0 25749 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 106556
[startup+6.30176 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1750816/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=115248 CPUtime=6.29
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 30375 0 0 0 609 20 0 0 25 0 1 0 182676526 118013952 27018 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 28812 27018 517 886 0 27922 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 115248
[startup+12.7014 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1745824/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=118652 CPUtime=12.69
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 31490 0 0 0 1248 21 0 0 25 0 1 0 182676526 121499648 28118 1992294400 4194304 7823515 548682068736 18446744073709551615 6208496 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 29663 28118 528 886 0 28773 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 118652
[startup+25.5017 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1745824/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=118652 CPUtime=25.48
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 31493 0 0 0 2526 22 0 0 25 0 1 0 182676526 121499648 28121 1992294400 4194304 7823515 548682068736 18446744073709551615 6208551 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 29663 28121 528 886 0 28773 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 118652
[startup+51.1014 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1745888/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=118652 CPUtime=51.08
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 31493 0 0 0 5082 26 0 0 25 0 1 0 182676526 121499648 28121 1992294400 4194304 7823515 548682068736 18446744073709551615 6237446 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 29663 28121 528 886 0 28773 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 118652
[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1733280/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=137304 CPUtime=102.27
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 37508 0 0 0 10180 47 0 0 25 0 1 0 182676526 140599296 31295 1992294400 4194304 7823515 548682068736 18446744073709551615 6237446 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 34326 31295 557 886 0 33436 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 137304
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1716064/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=151636 CPUtime=162.24
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 52582 0 0 0 16146 78 0 0 25 0 1 0 182676526 155275264 35585 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 37909 35585 561 886 0 37019 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 151636
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1718112/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=149224 CPUtime=222.23
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 62298 0 0 0 22131 92 0 0 25 0 1 0 182676526 152805376 35035 1992294400 4194304 7823515 548682068736 18446744073709551615 6236694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 37306 35035 561 886 0 36416 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 149224
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1712928/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=148508 CPUtime=282.21
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 76250 0 0 0 28116 105 0 0 25 0 1 0 182676526 152072192 34932 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 37127 34932 561 886 0 36237 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 148508
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1714656/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=156232 CPUtime=342.19
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 95223 0 0 0 34096 123 0 0 25 0 1 0 182676526 159981568 35912 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 39058 35912 561 886 0 38168 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 156232
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1718048/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=156228 CPUtime=402.18
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 131034 0 0 0 40071 147 0 0 25 0 1 0 182676526 159977472 35995 1992294400 4194304 7823515 548682068736 18446744073709551615 6211440 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 39057 35995 561 886 0 38167 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 156228
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1717728/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=149148 CPUtime=462.16
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 145434 0 0 0 46055 161 0 0 25 0 1 0 182676526 152727552 35110 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 37287 35110 561 886 0 36397 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 149148
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1713504/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=152372 CPUtime=522.14
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 146479 0 0 0 52044 170 0 0 25 0 1 0 182676526 156028928 36155 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 38093 36155 564 886 0 37203 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 152372
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1714208/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=152404 CPUtime=582.12
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 148728 0 0 0 58033 179 0 0 25 0 1 0 182676526 156061696 35961 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 38101 35961 564 886 0 37211 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 152404
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1714208/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=152404 CPUtime=642.11
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 148728 0 0 0 64023 188 0 0 25 0 1 0 182676526 156061696 35961 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 38101 35961 564 886 0 37211 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 152404
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1712992/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=153880 CPUtime=1121.97
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 162687 0 0 0 111935 262 0 0 25 0 1 0 182676526 157573120 36225 1992294400 4194304 7823515 548682068736 18446744073709551615 6180619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 38470 36225 568 886 0 37580 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 153880
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1717472/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=149156 CPUtime=1181.95
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 163832 0 0 0 117925 270 0 0 25 0 1 0 182676526 152735744 35105 1992294400 4194304 7823515 548682068736 18446744073709551615 6267836 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 37289 35105 568 886 0 36399 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 149156
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1716960/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=149156 CPUtime=1241.93
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 163933 0 0 0 123914 279 0 0 25 0 1 0 182676526 152735744 35206 1992294400 4194304 7823515 548682068736 18446744073709551615 6212418 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 37289 35206 568 886 0 36399 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 149156
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1715744/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=148512 CPUtime=1301.92
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 171103 0 0 0 129902 290 0 0 25 0 1 0 182676526 152076288 35497 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 37128 35497 568 886 0 36238 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 148512
[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1714400/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=152620 CPUtime=1361.9
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 171438 0 0 0 135889 301 0 0 25 0 1 0 182676526 156282880 35832 1992294400 4194304 7823515 548682068736 18446744073709551615 5924519 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 38155 35832 568 886 0 37265 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 152620
[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1710176/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=156748 CPUtime=1421.89
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 172666 0 0 0 141879 310 0 0 25 0 1 0 182676526 160509952 36879 1992294400 4194304 7823515 548682068736 18446744073709551615 6109387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 39187 36879 568 886 0 38297 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 156748
[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1716512/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=149680 CPUtime=1481.87
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 173243 0 0 0 147868 319 0 0 25 0 1 0 182676526 153272320 35282 1992294400 4194304 7823515 548682068736 18446744073709551615 6211318 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 37420 35282 568 886 0 36530 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 149680
[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1714848/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=150876 CPUtime=1541.86
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 175923 0 0 0 153856 330 0 0 25 0 1 0 182676526 154497024 35704 1992294400 4194304 7823515 548682068736 18446744073709551615 6211333 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 37719 35704 568 886 0 36829 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 150876
[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1717600/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=148508 CPUtime=1601.84
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 200850 0 0 0 159832 352 0 0 25 0 1 0 182676526 152072192 35004 1992294400 4194304 7823515 548682068736 18446744073709551615 6211726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 37127 35004 568 886 0 36237 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 148508
[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1716768/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=148508 CPUtime=1661.82
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 201043 0 0 0 165821 361 0 0 25 0 1 0 182676526 152072192 35197 1992294400 4194304 7823515 548682068736 18446744073709551615 6211346 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 37127 35197 568 886 0 36237 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 148508
[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1716640/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=152664 CPUtime=1721.81
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 211732 0 0 0 171806 375 0 0 25 0 1 0 182676526 156327936 35236 1992294400 4194304 7823515 548682068736 18446744073709551615 5392754 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 38166 35236 568 886 0 37276 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 152664
[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1714976/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=152664 CPUtime=1781.79
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 212132 0 0 0 177796 383 0 0 25 0 1 0 182676526 156327936 35636 1992294400 4194304 7823515 548682068736 18446744073709551615 6263029 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 38166 35636 568 886 0 37276 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 152664
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1714976/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=152664 CPUtime=1784.98
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 212140 0 0 0 178115 383 0 0 25 0 1 0 182676526 156327936 35644 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 38166 35644 568 886 0 37276 0
Current children cumulated CPU time (s) 1784.98
Current children cumulated vsize (KiB) 152664
[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1714912/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=152664 CPUtime=1791.39
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 212155 0 0 0 178754 385 0 0 25 0 1 0 182676526 156327936 35659 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 38166 35659 568 886 0 37276 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 152664
[startup+1793.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1714848/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=152664 CPUtime=1792.98
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 212156 0 0 0 178913 385 0 0 25 0 1 0 182676526 156327936 35660 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 38166 35660 568 886 0 37276 0
Current children cumulated CPU time (s) 1792.98
Current children cumulated vsize (KiB) 152664
[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1714848/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=152664 CPUtime=1794.58
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 212156 0 0 0 179073 385 0 0 25 0 1 0 182676526 156327936 35660 1992294400 4194304 7823515 548682068736 18446744073709551615 6210971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 38166 35660 568 886 0 37276 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 152664
[startup+1795.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1714848/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=152664 CPUtime=1794.98
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 212156 0 0 0 179113 385 0 0 25 0 1 0 182676526 156327936 35660 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 38166 35660 568 886 0 37276 0
Current children cumulated CPU time (s) 1794.98
Current children cumulated vsize (KiB) 152664
[startup+1795.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1714848/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=152664 CPUtime=1795.18
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 212156 0 0 0 179133 385 0 0 25 0 1 0 182676526 156327936 35660 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32328/statm: 38166 35660 568 886 0 37276 0
Current children cumulated CPU time (s) 1795.18
Current children cumulated vsize (KiB) 152664
[startup+1795.8 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 32329
/proc/meminfo: memFree=1714848/2055920 swapFree=4191896/4192956
[pid=32328] ppid=32326 vsize=152664 CPUtime=1795.28
/proc/32328/stat : 32328 (pbscip.linux.x8) R 32326 32328 32004 0 -1 4194304 212159 0 0 0 179143 385 0 0 25 0 1 0 182676526 156327936 35663 1992294400 4194304 7823515 548682068736 18446744073709551615 5875904 0 0 4096 0 0 0 0 17 1 0 0
/proc/32328/statm: 38166 35663 571 886 0 37276 0
Current children cumulated CPU time (s) 1795.28
Current children cumulated vsize (KiB) 152664
Child status: 0
Real time (s): 1795.88
CPU time (s): 1795.37
CPU user time (s): 1791.49
CPU system time (s): 3.88541
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 160732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.49
system time used= 3.88541
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212162
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= 2199
runsolver used 1.22081 second user time and 3.90441 second system time
The end