0.29/0.38 c SCIP version 1.1.0.7
0.29/0.38 c LP-Solver Clp 1.8.2
0.29/0.38 c user parameter file <scip.set> not found - using default parameters
0.29/0.38 c read problem <HOME/instance-1868935-1245150889.opb>
0.29/0.38 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.64 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.87 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.95 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.69/1.79 c (1.3s) probing: 314/1512 (20.8%) - 0 fixings, 0 aggregations, 12558 implications, 0 bound changes
1.69/1.79 c (1.3s) probing aborted: 100/100 successive totally useless probings
1.69/1.79 c presolving (4 rounds):
1.69/1.79 c 6 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.69/1.79 c 146292 implications, 0 cliques
1.69/1.79 c presolved problem has 1512 variables (1512 bin, 0 int, 0 impl, 0 cont) and 21615 constraints
1.69/1.79 c 21615 constraints of type <logicor>
1.69/1.79 c transformed objective value is always integral (scale: 1)
1.69/1.79 c Presolving Time: 1.23
1.79/1.80 c strange?!, PURESAT with obj
1.79/1.80 c -----------------------------------------------------------------------------------------------
1.79/1.80 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.79/1.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.80 c limits/memory = c 1620
1.79/1.80 c # maximal time in seconds to run
1.79/1.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.80 c limits/time = c 1791
1.79/1.80 c # frequency for displaying node information lines
1.79/1.80 c # [type: int, range: [-1,2147483647], default: 100]
1.79/1.80 c display/freq = c 10000
1.79/1.80 c -----------------------------------------------------------------------------------------------
1.79/1.80 c start solving problem
1.79/1.80 c
5.19/5.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.19/5.28 c 4.7s| 1 | 0 | 2385 | 36M| 0 |1323 |1512 | 21k| 21k|1512 | 21k| 0 | 0 | 0 | 3.959062e+02 | -- | Inf
30.08/30.11 c 29.3s| 1 | 0 | 9237 | 36M| 0 |1323 |1512 | 21k| 21k|1512 | 21k| 3 | 0 | 0 | 3.971250e+02 | -- | Inf
33.47/33.57 c 32.8s| 1 | 0 | 9830 | 37M| 0 |1323 |1512 | 21k| 21k|1512 | 21k| 6 | 0 | 0 | 3.983854e+02 | -- | Inf
36.98/37.02 c 36.2s| 1 | 0 | 10330 | 37M| 0 |1323 |1512 | 21k| 21k|1512 | 21k| 9 | 0 | 0 | 3.991411e+02 | -- | Inf
40.68/40.78 c 39.9s| 1 | 0 | 10911 | 41M| 0 |1320 |1512 | 21k| 21k|1512 | 21k| 12 | 0 | 0 | 3.996891e+02 | -- | Inf
44.37/44.41 c 43.5s| 1 | 0 | 11459 | 41M| 0 |1320 |1512 | 21k| 21k|1512 | 21k| 16 | 0 | 0 | 4.001573e+02 | -- | Inf
48.57/48.66 c 47.8s| 1 | 0 | 12015 | 41M| 0 |1318 |1512 | 21k| 21k|1512 | 21k| 20 | 0 | 0 | 4.006363e+02 | -- | Inf
55.37/55.49 c 54.6s| 1 | 0 | 12471 | 42M| 0 |1323 |1512 | 21k| 21k|1512 | 21k| 23 | 0 | 0 | 4.008273e+02 | -- | Inf
59.57/59.62 c 58.7s| 1 | 0 | 12910 | 42M| 0 |1321 |1512 | 21k| 21k|1512 | 21k| 25 | 0 | 0 | 4.010326e+02 | -- | Inf
63.57/63.63 c 62.7s| 1 | 0 | 13235 | 42M| 0 |1323 |1512 | 21k| 21k|1512 | 21k| 28 | 0 | 0 | 4.011836e+02 | -- | Inf
69.47/69.59 c 68.6s| 1 | 0 | 13566 | 42M| 0 |1321 |1512 | 21k| 21k|1512 | 21k| 32 | 0 | 0 | 4.012767e+02 | -- | Inf
73.86/73.95 c 73.0s| 1 | 0 | 13645 | 42M| 0 |1321 |1512 | 21k| 21k|1512 | 21k| 33 | 0 | 0 | 4.013013e+02 | -- | Inf
79.07/79.16 c 78.2s| 1 | 0 | 13711 | 42M| 0 |1320 |1512 | 21k| 21k|1512 | 21k| 34 | 0 | 0 | 4.013112e+02 | -- | Inf
103.05/103.11 c 102s| 1 | 2 | 13711 | 42M| 0 |1320 |1512 | 21k| 21k|1512 | 21k| 34 | 0 | 25 | 4.013112e+02 | -- | Inf
1796.02/1796.58 c
1796.02/1796.58 c SCIP Status : solving was interrupted [time limit reached]
1796.02/1796.58 c Solving Time (sec) : 1791.02
1796.02/1796.58 c Solving Nodes : 264
1796.02/1796.58 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.02/1796.58 c Dual Bound : +4.16168567934688e+02
1796.02/1796.58 c Gap : infinite
1796.02/1796.58 c NODE 264
1796.02/1796.58 c DUAL BOUND 416.169
1796.02/1796.58 c PRIMAL BOUND 1e+20
1796.02/1796.58 c GAP 1e+20
1796.02/1796.58 s UNKNOWN
1796.02/1796.58 c SCIP Status : solving was interrupted [time limit reached]
1796.02/1796.58 c Solving Time : 1791.02
1796.02/1796.58 c Original Problem :
1796.02/1796.58 c Problem name : HOME/instance-1868935-1245150889.opb
1796.02/1796.58 c Variables : 1518 (1518 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.02/1796.58 c Constraints : 21621 initial, 21621 maximal
1796.02/1796.58 c Presolved Problem :
1796.02/1796.58 c Problem name : t_HOME/instance-1868935-1245150889.opb
1796.02/1796.58 c Variables : 1512 (1512 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.02/1796.58 c Constraints : 21615 initial, 21941 maximal
1796.02/1796.58 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1796.02/1796.58 c trivial : 0.00 0 0 0 0 0 0 0 0
1796.02/1796.58 c dualfix : 0.01 0 0 0 0 0 0 0 0
1796.02/1796.58 c boundshift : 0.00 0 0 0 0 0 0 0 0
1796.02/1796.58 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1796.02/1796.58 c implics : 0.00 0 0 0 0 0 0 0 0
1796.02/1796.58 c probing : 0.78 0 0 0 0 0 0 0 0
1796.02/1796.58 c linear : 0.25 0 6 0 0 0 6 0 0
1796.02/1796.58 c logicor : 0.16 0 0 0 0 0 0 0 0
1796.02/1796.58 c root node : - 0 - - 0 - - - -
1796.02/1796.58 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1796.02/1796.58 c integral : 0 0 0 240 0 0 28 0 0 458
1796.02/1796.58 c logicor : 21615+ 13 4295 0 0 149 23344 0 0 0
1796.02/1796.58 c countsols : 0 0 0 0 0 0 0 0 0 0
1796.02/1796.58 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1796.02/1796.58 c integral : 575.24 0.00 0.00 575.24 0.00
1796.02/1796.58 c logicor : 1.53 0.07 1.46 0.00 0.00
1796.02/1796.58 c countsols : 0.00 0.00 0.00 0.00 0.00
1796.02/1796.58 c Propagators : Time Calls Cutoffs DomReds
1796.02/1796.58 c rootredcost : 0.00 0 0 0
1796.02/1796.58 c pseudoobj : 0.42 4095 0 0
1796.02/1796.58 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.02/1796.58 c propagation : 0.00 149 149 551 21.8 33 29.2 -
1796.02/1796.58 c infeasible LP : 0.00 4 0 0 0.0 0 0.0 0
1796.02/1796.58 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.02/1796.58 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.02/1796.58 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.02/1796.58 c applied globally : - - - 500 22.3 - - -
1796.02/1796.58 c applied locally : - - - 0 0.0 - - -
1796.02/1796.58 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.02/1796.58 c cut pool : 0.03 12 - - 1243 - (maximal pool size: 1188)
1796.02/1796.58 c redcost : 0.03 252 0 0 0 0
1796.02/1796.58 c impliedbounds : 0.08 13 0 0 0 0
1796.02/1796.58 c intobj : 0.00 0 0 0 0 0
1796.02/1796.58 c gomory : 15.06 13 0 0 3743 0
1796.02/1796.58 c strongcg : 13.91 13 0 0 3943 0
1796.02/1796.58 c cmir : 6.53 10 0 0 0 0
1796.02/1796.58 c flowcover : 5.33 10 0 0 0 0
1796.02/1796.58 c clique : 0.08 1 0 0 0 0
1796.02/1796.58 c zerohalf : 0.00 0 0 0 0 0
1796.02/1796.58 c mcf : 0.21 2 0 0 0 0
1796.02/1796.58 c Pricers : Time Calls Vars
1796.02/1796.58 c problem variables: 0.00 0 0
1796.02/1796.58 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.02/1796.58 c relpscost : 575.24 240 0 28 0 0 458
1796.02/1796.58 c pscost : 0.00 0 0 0 0 0 0
1796.02/1796.58 c inference : 0.00 0 0 0 0 0 0
1796.02/1796.58 c mostinf : 0.00 0 0 0 0 0 0
1796.02/1796.58 c leastinf : 0.00 0 0 0 0 0 0
1796.02/1796.58 c fullstrong : 0.00 0 0 0 0 0 0
1796.02/1796.58 c allfullstrong : 0.00 0 0 0 0 0 0
1796.02/1796.58 c random : 0.00 0 0 0 0 0 0
1796.02/1796.58 c Primal Heuristics : Time Calls Found
1796.02/1796.58 c LP solutions : 0.00 - 0
1796.02/1796.58 c pseudo solutions : 0.00 - 0
1796.02/1796.58 c oneopt : 0.00 0 0
1796.02/1796.58 c crossover : 0.00 0 0
1796.02/1796.58 c simplerounding : 0.00 0 0
1796.02/1796.58 c rounding : 1.65 174 0
1796.02/1796.58 c shifting : 1.12 35 0
1796.02/1796.58 c intshifting : 0.00 0 0
1796.02/1796.58 c fixandinfer : 0.00 0 0
1796.02/1796.58 c feaspump : 33.37 3 0
1796.02/1796.58 c coefdiving : 96.94 5 0
1796.02/1796.58 c pscostdiving : 74.51 6 0
1796.02/1796.58 c fracdiving : 63.91 10 0
1796.02/1796.58 c veclendiving : 73.40 6 0
1796.02/1796.58 c intdiving : 0.00 0 0
1796.02/1796.58 c actconsdiving : 0.00 0 0
1796.02/1796.58 c objpscostdiving : 95.14 2 0
1796.02/1796.58 c rootsoldiving : 51.69 2 0
1796.02/1796.58 c linesearchdiving : 58.86 9 0
1796.02/1796.58 c guideddiving : 0.00 0 0
1796.02/1796.58 c octane : 0.00 0 0
1796.02/1796.58 c rens : 0.01 0 0
1796.02/1796.58 c rins : 0.00 0 0
1796.02/1796.58 c localbranching : 0.00 0 0
1796.02/1796.58 c mutation : 0.00 0 0
1796.02/1796.58 c dins : 0.00 0 0
1796.02/1796.58 c LP : Time Calls Iterations Iter/call Iter/sec
1796.02/1796.58 c primal LP : 0.71 0 0 0.00 0.00
1796.02/1796.58 c dual LP : 618.58 252 298311 1183.77 482.25
1796.02/1796.58 c barrier LP : 0.00 0 0 0.00 -
1796.02/1796.58 c diving/probing LP: 541.19 1248 258216 206.90 477.13
1796.02/1796.58 c strong branching : 575.08 770 259694 337.26 451.58
1796.02/1796.58 c (at root node) : - 25 6675 267.00 -
1796.02/1796.58 c conflict analysis: 0.00 0 0 0.00 -
1796.02/1796.58 c B&B Tree :
1796.02/1796.58 c number of runs : 1
1796.02/1796.58 c nodes : 264
1796.02/1796.58 c nodes (total) : 264
1796.02/1796.58 c nodes left : 189
1796.02/1796.58 c max depth : 24
1796.02/1796.58 c max depth (total): 24
1796.02/1796.58 c backtracks : 82 (31.1%)
1796.02/1796.58 c delayed cutoffs : 6
1796.02/1796.58 c repropagations : 107 (2773 domain reductions, 6 cutoffs)
1796.02/1796.58 c avg switch length: 3.93
1796.02/1796.58 c switching time : 1.01
1796.02/1796.58 c Solution :
1796.02/1796.58 c Solutions found : 0 (0 improvements)
1796.02/1796.58 c Primal Bound : -
1796.02/1796.58 c Dual Bound : +4.16168567934688e+02
1796.02/1796.58 c Gap : infinite
1796.02/1796.58 c Root Dual Bound : +4.01311168601033e+02
1796.22/1796.70 c Time complete: 1796.22.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868935-1245150889/watcher-1868935-1245150889 -o /tmp/evaluation-result-1868935-1245150889/solver-1868935-1245150889 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868935-1245150889.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.99 0.98 0.99 3/64 8500
/proc/meminfo: memFree=1857704/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=5812 CPUtime=0
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 520 0 0 0 0 0 0 0 18 0 1 0 182686057 5951488 504 1992294400 4194304 9342243 548682068736 18446744073709551615 8143536 0 0 4096 0 0 0 0 17 1 0 0
/proc/8500/statm: 1453 515 344 1256 0 192 0
[startup+0.016676 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 8500
/proc/meminfo: memFree=1857704/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=11244 CPUtime=0
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 1803 0 0 0 0 0 0 0 18 0 1 0 182686057 11513856 1787 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/8500/statm: 2811 1787 378 1256 0 1550 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11244
[startup+0.101685 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 8500
/proc/meminfo: memFree=1857704/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=13080 CPUtime=0.09
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 2240 0 0 0 9 0 0 0 18 0 1 0 182686057 13393920 2224 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/8500/statm: 3270 2224 378 1256 0 2009 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13080
[startup+0.301706 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 8500
/proc/meminfo: memFree=1857704/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=18896 CPUtime=0.29
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 3717 0 0 0 28 1 0 0 19 0 1 0 182686057 19349504 3701 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/8500/statm: 4724 3701 378 1256 0 3463 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18896
[startup+0.70175 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 8500
/proc/meminfo: memFree=1857704/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=63060 CPUtime=0.69
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 14921 0 0 0 62 7 0 0 22 0 1 0 182686057 64573440 14551 1992294400 4194304 9342243 548682068736 18446744073709551615 4401540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 15765 14551 468 1256 0 14504 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63060
[startup+1.50184 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1793568/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=70832 CPUtime=1.49
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 17649 0 0 0 137 12 0 0 25 0 1 0 182686057 72531968 16525 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 17708 16525 487 1256 0 16447 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70832
[startup+3.10202 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1767776/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=119652 CPUtime=3.09
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 26067 0 0 0 292 17 0 0 25 0 1 0 182686057 122523648 23853 1992294400 4194304 9342243 548682068736 18446744073709551615 6938287 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 29913 23853 614 1256 0 28652 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 119652
[startup+6.30137 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1764832/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=123776 CPUtime=6.28
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 31033 0 0 0 608 20 0 0 25 0 1 0 182686057 126746624 24111 1992294400 4194304 9342243 548682068736 18446744073709551615 6505326 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 30944 24111 641 1256 0 29683 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 123776
[startup+12.7011 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1762080/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=123776 CPUtime=12.68
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 31360 0 0 0 1246 22 0 0 25 0 1 0 182686057 126746624 24435 1992294400 4194304 9342243 548682068736 18446744073709551615 6952872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 30944 24435 641 1256 0 29683 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 123776
[startup+25.5015 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1761824/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=123400 CPUtime=25.48
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 35664 0 0 0 2523 25 0 0 25 0 1 0 182686057 126361600 24513 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 30850 24513 641 1256 0 29589 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 123400
[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1743712/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=143064 CPUtime=51.07
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 46398 0 0 0 5059 48 0 0 25 0 1 0 182686057 146497536 29097 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 35766 29097 673 1256 0 34505 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 143064
[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1738144/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=167936 CPUtime=102.26
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 63997 0 0 0 10156 70 0 0 25 0 1 0 182686057 171966464 30466 1992294400 4194304 9342243 548682068736 18446744073709551615 6960296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 41984 30466 680 1256 0 40723 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 167936
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1734432/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=144200 CPUtime=162.24
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 103376 0 0 0 16130 94 0 0 25 0 1 0 182686057 147660800 31398 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 36050 31398 683 1256 0 34789 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 144200
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1730464/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=163932 CPUtime=222.23
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 151049 0 0 0 22096 127 0 0 25 0 1 0 182686057 167866368 32376 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 40983 32376 686 1256 0 39722 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 163932
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1731040/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=162592 CPUtime=282.21
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 221039 0 0 0 28055 166 0 0 25 0 1 0 182686057 166494208 32224 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 40648 32224 686 1256 0 39387 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 162592
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1732896/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=137508 CPUtime=342.19
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 257801 0 0 0 34031 188 0 0 25 0 1 0 182686057 140808192 31725 1992294400 4194304 9342243 548682068736 18446744073709551615 6978074 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 34377 31725 687 1256 0 33116 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 137508
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1733664/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=164408 CPUtime=402.18
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 286033 0 0 0 40010 208 0 0 25 0 1 0 182686057 168353792 32331 1992294400 4194304 9342243 548682068736 18446744073709551615 6040560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 41102 32331 687 1256 0 39841 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 164408
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1732896/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=141116 CPUtime=462.17
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 314555 0 0 0 45987 230 0 0 25 0 1 0 182686057 144502784 31757 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 35279 31757 687 1256 0 34018 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 141116
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1731360/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=156392 CPUtime=522.15
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 320069 0 0 0 51974 241 0 0 25 0 1 0 182686057 160145408 32138 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 39098 32138 687 1256 0 37837 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 156392
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1730720/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=141248 CPUtime=582.14
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 321657 0 0 0 57965 249 0 0 25 0 1 0 182686057 144637952 32290 1992294400 4194304 9342243 548682068736 18446744073709551615 6960296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 35312 32290 687 1256 0 34051 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 141248
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1730592/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=140136 CPUtime=642.12
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 327829 0 0 0 63955 257 0 0 25 0 1 0 182686057 143499264 32300 1992294400 4194304 9342243 548682068736 18446744073709551615 5868784 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 35034 32300 690 1256 0 33773 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 140136
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1727776/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=143192 CPUtime=1062.01
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 379462 0 0 0 105861 340 0 0 25 0 1 0 182686057 146628608 33010 1992294400 4194304 9342243 548682068736 18446744073709551615 6881909 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 35798 33010 690 1256 0 34537 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 143192
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1726688/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=163324 CPUtime=1121.99
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 386609 0 0 0 111849 350 0 0 25 0 1 0 182686057 167243776 33268 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 40831 33268 690 1256 0 39570 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 163324
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1727584/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=143060 CPUtime=1181.97
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 399978 0 0 0 117833 364 0 0 25 0 1 0 182686057 146493440 33047 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 35765 33047 690 1256 0 34504 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 143060
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1726304/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=162908 CPUtime=1241.96
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 410799 0 0 0 123822 374 0 0 25 0 1 0 182686057 166817792 33368 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 40727 33368 690 1256 0 39466 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 162908
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1727904/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=143036 CPUtime=1301.95
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 418292 0 0 0 129810 385 0 0 25 0 1 0 182686057 146468864 32962 1992294400 4194304 9342243 548682068736 18446744073709551615 6960228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 35759 32962 690 1256 0 34498 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 143036
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1727328/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=143236 CPUtime=1361.93
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 418440 0 0 0 135800 393 0 0 25 0 1 0 182686057 146673664 33110 1992294400 4194304 9342243 548682068736 18446744073709551615 6960563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 35809 33110 690 1256 0 34548 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 143236
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1727776/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=143260 CPUtime=1421.92
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 428830 0 0 0 141789 403 0 0 25 0 1 0 182686057 146698240 32968 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 35815 32968 690 1256 0 34554 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 143260
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1727200/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=142764 CPUtime=1481.9
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 434726 0 0 0 147775 415 0 0 25 0 1 0 182686057 146190336 33125 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 35691 33125 690 1256 0 34430 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 142764
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1724832/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=166852 CPUtime=1541.89
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 442804 0 0 0 153763 426 0 0 25 0 1 0 182686057 170856448 33709 1992294400 4194304 9342243 548682068736 18446744073709551615 6960598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 41713 33709 690 1256 0 40452 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 166852
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1725536/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=163688 CPUtime=1601.86
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 449679 0 0 0 159752 434 0 0 25 0 1 0 182686057 167616512 33530 1992294400 4194304 9342243 548682068736 18446744073709551615 6966152 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 40922 33530 690 1256 0 39661 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 163688
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1726560/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=143136 CPUtime=1661.85
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 460093 0 0 0 165737 448 0 0 25 0 1 0 182686057 146571264 33282 1992294400 4194304 9342243 548682068736 18446744073709551615 6965939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 35784 33282 690 1256 0 34523 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 143136
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1727456/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=142124 CPUtime=1721.83
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 470507 0 0 0 171725 458 0 0 25 0 1 0 182686057 145534976 33022 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 35531 33022 690 1256 0 34270 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 142124
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1727328/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=143648 CPUtime=1781.81
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 475612 0 0 0 177713 468 0 0 25 0 1 0 182686057 147095552 33080 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 35912 33080 690 1256 0 34651 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 143648
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1727328/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=143648 CPUtime=1785.02
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 475617 0 0 0 178033 469 0 0 25 0 1 0 182686057 147095552 33085 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 35912 33085 690 1256 0 34651 0
Current children cumulated CPU time (s) 1785.02
Current children cumulated vsize (KiB) 143648
[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1727072/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=143648 CPUtime=1791.42
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 475665 0 0 0 178673 469 0 0 25 0 1 0 182686057 147095552 33133 1992294400 4194304 9342243 548682068736 18446744073709551615 6889765 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 35912 33133 690 1256 0 34651 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 143648
[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1728864/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=135352 CPUtime=1794.62
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 475908 0 0 0 178992 470 0 0 25 0 1 0 182686057 138600448 32635 1992294400 4194304 9342243 548682068736 18446744073709551615 7289310 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 33838 32635 690 1256 0 32577 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 135352
[startup+1795.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1728864/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=157592 CPUtime=1795.41
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 476258 0 0 0 179071 470 0 0 25 0 1 0 182686057 161374208 32985 1992294400 4194304 9342243 548682068736 18446744073709551615 6018232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 39398 32985 690 1256 0 38137 0
Current children cumulated CPU time (s) 1795.41
Current children cumulated vsize (KiB) 157592
[startup+1796.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1727712/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=157592 CPUtime=1795.82
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 476608 0 0 0 179111 471 0 0 25 0 1 0 182686057 161374208 32985 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8500/statm: 39398 32985 690 1256 0 38137 0
Current children cumulated CPU time (s) 1795.82
Current children cumulated vsize (KiB) 157592
[startup+1796.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8501
/proc/meminfo: memFree=1727712/2055920 swapFree=4191900/4192956
[pid=8500] ppid=8498 vsize=53760 CPUtime=1796.22
/proc/8500/stat : 8500 (pbscip.linux.x8) R 8498 8500 8312 0 -1 4194304 476612 0 0 0 179149 473 0 0 25 0 1 0 182686057 55050240 12587 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/8500/statm: 13440 12587 10613 1256 0 12179 0
Current children cumulated CPU time (s) 1796.22
Current children cumulated vsize (KiB) 53760
Child status: 0
Real time (s): 1796.7
CPU time (s): 1796.23
CPU user time (s): 1791.49
CPU system time (s): 4.73328
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 172036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.49
system time used= 4.73328
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 476615
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= 2235
runsolver used 1.37379 second user time and 3.85241 second system time
The end