3.19/3.24 c SCIP version 1.1.0.7
3.19/3.24 c LP-Solver SoPlex 1.4.1
3.19/3.24 c user parameter file <scip.set> not found - using default parameters
3.19/3.24 c read problem <HOME/instance-1869040-1245155383.opb>
3.19/3.24 c original problem has 7500 variables (7500 bin, 0 int, 0 impl, 0 cont) and 237715 constraints
3.89/3.94 c start presolving problem
3.89/3.94 c presolving:
6.49/6.59 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 233965 upgd conss, 477930 impls, 0 clqs
6.98/7.03 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 237715 upgd conss, 477930 impls, 0 clqs
26.59/26.60 c (22.5s) probing: 1000/7500 (13.3%) - 0 fixings, 0 aggregations, 134067 implications, 0 bound changes
44.67/44.75 c (40.6s) probing: 2000/7500 (26.7%) - 0 fixings, 0 aggregations, 259456 implications, 0 bound changes
44.67/44.77 c (40.6s) probing: 2001/7500 (26.7%) - 0 fixings, 0 aggregations, 259580 implications, 0 bound changes
44.67/44.77 c (40.6s) probing aborted: 2000/2000 successive useless probings
44.67/44.77 c presolving (3 rounds):
44.67/44.77 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
44.67/44.77 c 1372588 implications, 0 cliques
44.67/44.77 c presolved problem has 7500 variables (7500 bin, 0 int, 0 impl, 0 cont) and 237715 constraints
44.67/44.77 c 237715 constraints of type <logicor>
44.67/44.77 c transformed objective value is always integral (scale: 1)
44.67/44.77 c Presolving Time: 40.08
44.67/44.79 c strange?!, PURESAT with obj
44.67/44.79 c -----------------------------------------------------------------------------------------------
44.67/44.79 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
44.67/44.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
44.67/44.79 c limits/memory = c 1620
44.67/44.79 c # maximal time in seconds to run
44.67/44.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
44.67/44.79 c limits/time = c 1791
44.67/44.79 c # frequency for displaying node information lines
44.67/44.79 c # [type: int, range: [-1,2147483647], default: 100]
44.67/44.79 c display/freq = c 10000
44.67/44.79 c -----------------------------------------------------------------------------------------------
44.67/44.79 c start solving problem
44.67/44.79 c
104.98/105.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.98/105.00 c 101s| 1 | 0 | 4579 | 289M| 0 |4250 |7500 | 237k| 237k|7500 | 237k| 0 | 0 | 0 | 2.125000e+03 | -- | Inf
223.70/223.79 c 219s| 1 | 0 | 15959 | 289M| 0 |4201 |7500 | 237k| 237k|7500 | 237k| 25 | 0 | 0 | 2.149500e+03 | -- | Inf
267.01/267.06 c 262s| 1 | 0 | 16310 | 289M| 0 |4158 |7500 | 237k| 237k|7500 | 237k| 46 | 0 | 0 | 2.171000e+03 | -- | Inf
319.01/319.06 c 314s| 1 | 0 | 16692 | 289M| 0 |4115 |7500 | 237k| 237k|7500 | 237k| 67 | 0 | 0 | 2.192500e+03 | -- | Inf
381.12/381.12 c 376s| 1 | 0 | 17157 | 289M| 0 |4077 |7500 | 237k| 237k|7500 | 237k| 88 | 0 | 0 | 2.211500e+03 | -- | Inf
448.53/448.51 c 443s| 1 | 0 | 17664 | 289M| 0 |4029 |7500 | 237k| 237k|7500 | 237k| 114 | 0 | 0 | 2.235500e+03 | -- | Inf
528.73/528.75 c 524s| 1 | 0 | 18247 | 289M| 0 |3989 |7500 | 237k| 237k|7500 | 237k| 140 | 0 | 0 | 2.255500e+03 | -- | Inf
619.65/619.60 c 614s| 1 | 0 | 18969 | 289M| 0 |3955 |7500 | 237k| 237k|7500 | 237k| 166 | 0 | 0 | 2.273500e+03 | -- | Inf
720.16/720.11 c 715s| 1 | 0 | 19836 | 289M| 0 |3920 |7500 | 237k| 237k|7500 | 237k| 192 | 0 | 0 | 2.291500e+03 | -- | Inf
816.98/816.90 c 812s| 1 | 0 | 20359 | 289M| 0 |3886 |7500 | 237k| 237k|7500 | 237k| 221 | 0 | 0 | 2.308500e+03 | -- | Inf
931.69/931.65 c 927s| 1 | 0 | 21257 | 290M| 0 |3854 |7500 | 237k| 237k|7500 | 237k| 249 | 0 | 0 | 2.326500e+03 | -- | Inf
977.20/977.16 c 972s| 1 | 0 | 22262 | 290M| 0 |3811 |7500 | 237k| 237k|7500 | 237k| 278 | 0 | 0 | 2.346500e+03 | -- | Inf
1021.70/1021.68 c 1017s| 1 | 0 | 23286 | 290M| 0 |3786 |7500 | 237k| 237k|7500 | 238k| 304 | 0 | 0 | 2.363250e+03 | -- | Inf
1062.51/1062.42 c 1057s| 1 | 0 | 24192 | 290M| 0 |3753 |7500 | 237k| 237k|7500 | 238k| 333 | 0 | 0 | 2.377500e+03 | -- | Inf
1141.02/1140.95 c 1136s| 1 | 0 | 26290 | 290M| 0 |3722 |7500 | 237k| 237k|7500 | 238k| 363 | 0 | 0 | 2.392250e+03 | -- | Inf
1175.23/1175.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.23/1175.20 c 1170s| 1 | 0 | 27074 | 290M| 0 |3692 |7500 | 237k| 237k|7500 | 238k| 391 | 0 | 0 | 2.410000e+03 | -- | Inf
1224.03/1223.90 c 1219s| 1 | 0 | 28469 | 291M| 0 |3662 |7500 | 237k| 237k|7500 | 238k| 429 | 0 | 0 | 2.425667e+03 | -- | Inf
1272.94/1272.81 c 1268s| 1 | 0 | 29798 | 291M| 0 |3635 |7500 | 237k| 237k|7500 | 238k| 471 | 0 | 0 | 2.437000e+03 | -- | Inf
1331.14/1331.02 c 1326s| 1 | 0 | 31283 | 291M| 0 |3605 |7500 | 237k| 237k|7500 | 238k| 507 | 0 | 0 | 2.453000e+03 | -- | Inf
1397.25/1397.19 c 1392s| 1 | 0 | 32970 | 291M| 0 |3575 |7500 | 237k| 237k|7500 | 238k| 537 | 0 | 0 | 2.466750e+03 | -- | Inf
1452.76/1452.64 c 1447s| 1 | 0 | 34336 | 291M| 0 |3540 |7500 | 237k| 237k|7500 | 238k| 575 | 0 | 0 | 2.484250e+03 | -- | Inf
1506.07/1505.98 c 1501s| 1 | 0 | 35681 | 291M| 0 |3516 |7500 | 237k| 237k|7500 | 238k| 610 | 0 | 0 | 2.500750e+03 | -- | Inf
1572.08/1571.96 c 1567s| 1 | 0 | 37372 | 292M| 0 |3489 |7500 | 237k| 237k|7500 | 238k| 644 | 0 | 0 | 2.514250e+03 | -- | Inf
1650.69/1650.56 c 1645s| 1 | 0 | 39534 | 292M| 0 |3459 |7500 | 237k| 237k|7500 | 238k| 672 | 0 | 0 | 2.526500e+03 | -- | Inf
1718.10/1717.95 c 1713s| 1 | 0 | 41642 | 292M| 0 |3432 |7500 | 237k| 237k|7500 | 238k| 710 | 0 | 0 | 2.539500e+03 | -- | Inf
1779.20/1779.07 c 1774s| 1 | 0 | 43398 | 292M| 0 |3413 |7500 | 237k| 237k|7500 | 238k| 741 | 0 | 0 | 2.550125e+03 | -- | Inf
1796.41/1796.26 c 1791s| 1 | 0 | 43402 | 292M| 0 | - |7500 | 237k| 237k|7500 | 238k| 776 | 0 | 0 | 2.550125e+03 | -- | Inf
1796.51/1796.38 c 1791s| 1 | 2 | 43402 | 292M| 0 | - |7500 | 237k| 237k|7500 | 238k| 776 | 0 | 0 | 2.550125e+03 | -- | Inf
1796.51/1796.38 c
1796.51/1796.38 c SCIP Status : solving was interrupted [time limit reached]
1796.51/1796.38 c Solving Time (sec) : 1791.15
1796.51/1796.38 c Solving Nodes : 1
1796.51/1796.38 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.51/1796.38 c Dual Bound : +2.55012500000000e+03
1796.51/1796.38 c Gap : infinite
1796.51/1796.38 c NODE 1
1796.51/1796.38 c DUAL BOUND 2550.12
1796.51/1796.38 c PRIMAL BOUND 1e+20
1796.51/1796.38 c GAP 1e+20
1796.51/1796.38 s UNKNOWN
1796.51/1796.38 c SCIP Status : solving was interrupted [time limit reached]
1796.51/1796.38 c Solving Time : 1791.15
1796.51/1796.38 c Original Problem :
1796.51/1796.38 c Problem name : HOME/instance-1869040-1245155383.opb
1796.51/1796.38 c Variables : 7500 (7500 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.51/1796.38 c Constraints : 237715 initial, 237715 maximal
1796.51/1796.38 c Presolved Problem :
1796.51/1796.38 c Problem name : t_HOME/instance-1869040-1245155383.opb
1796.51/1796.38 c Variables : 7500 (7500 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.51/1796.38 c Constraints : 237715 initial, 237715 maximal
1796.51/1796.38 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1796.51/1796.38 c trivial : 0.01 0 0 0 0 0 0 0 0
1796.51/1796.38 c dualfix : 0.01 0 0 0 0 0 0 0 0
1796.51/1796.38 c boundshift : 0.00 0 0 0 0 0 0 0 0
1796.51/1796.38 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1796.51/1796.38 c implics : 0.01 0 0 0 0 0 0 0 0
1796.51/1796.38 c probing : 37.30 0 0 0 0 0 0 0 0
1796.51/1796.38 c logicor : 0.95 0 0 0 0 0 0 0 0
1796.51/1796.38 c root node : - 0 - - 0 - - - -
1796.51/1796.38 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1796.51/1796.38 c integral : 0 0 0 0 0 0 0 0 0 0
1796.51/1796.38 c logicor : 237715 26 4392 0 1 0 0 0 0 0
1796.51/1796.38 c countsols : 0 0 0 0 1 0 0 0 0 0
1796.51/1796.38 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1796.51/1796.38 c integral : 0.00 0.00 0.00 0.00 0.00
1796.51/1796.38 c logicor : 19.93 1.25 18.56 0.00 0.12
1796.51/1796.38 c countsols : 0.00 0.00 0.00 0.00 0.00
1796.51/1796.38 c Propagators : Time Calls Cutoffs DomReds
1796.51/1796.38 c rootredcost : 0.00 0 0 0
1796.51/1796.38 c pseudoobj : 0.00 27 0 0
1796.51/1796.38 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.51/1796.38 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.51/1796.38 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.51/1796.38 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.51/1796.38 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.51/1796.38 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.51/1796.38 c applied globally : - - - 0 0.0 - - -
1796.51/1796.38 c applied locally : - - - 0 0.0 - - -
1796.51/1796.38 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.51/1796.38 c cut pool : 0.01 25 - - 132 - (maximal pool size: 1305)
1796.51/1796.38 c redcost : 0.03 26 0 0 0 0
1796.51/1796.38 c impliedbounds : 1.58 26 0 0 0 0
1796.51/1796.38 c intobj : 0.00 0 0 0 0 0
1796.51/1796.38 c gomory : 88.95 26 0 0 13000 0
1796.51/1796.38 c strongcg : 68.21 20 0 0 10000 0
1796.51/1796.38 c cmir : 204.25 10 0 0 0 0
1796.51/1796.38 c flowcover : 208.33 10 0 0 0 0
1796.51/1796.38 c clique : 44.46 26 0 0 256 0
1796.51/1796.38 c zerohalf : 0.00 0 0 0 0 0
1796.51/1796.38 c mcf : 0.37 1 0 0 0 0
1796.51/1796.38 c Pricers : Time Calls Vars
1796.51/1796.38 c problem variables: 0.00 0 0
1796.51/1796.38 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.51/1796.38 c relpscost : 0.00 0 0 0 0 0 0
1796.51/1796.38 c pscost : 0.00 0 0 0 0 0 0
1796.51/1796.38 c inference : 0.00 1 0 0 0 0 2
1796.51/1796.38 c mostinf : 0.00 0 0 0 0 0 0
1796.51/1796.38 c leastinf : 0.00 0 0 0 0 0 0
1796.51/1796.38 c fullstrong : 0.00 0 0 0 0 0 0
1796.51/1796.38 c allfullstrong : 0.00 0 0 0 0 0 0
1796.51/1796.38 c random : 0.00 0 0 0 0 0 0
1796.51/1796.38 c Primal Heuristics : Time Calls Found
1796.51/1796.38 c LP solutions : 0.00 - 0
1796.51/1796.38 c pseudo solutions : 0.00 - 0
1796.51/1796.38 c oneopt : 0.00 0 0
1796.51/1796.38 c simplerounding : 0.00 0 0
1796.51/1796.38 c rounding : 1.89 26 0
1796.51/1796.38 c shifting : 230.23 26 0
1796.51/1796.38 c intshifting : 0.00 0 0
1796.51/1796.38 c fixandinfer : 0.00 0 0
1796.51/1796.38 c feaspump : 79.26 1 0
1796.51/1796.38 c coefdiving : 0.00 0 0
1796.51/1796.38 c pscostdiving : 0.00 0 0
1796.51/1796.38 c fracdiving : 0.00 0 0
1796.51/1796.38 c veclendiving : 0.00 0 0
1796.51/1796.38 c intdiving : 0.00 0 0
1796.51/1796.38 c actconsdiving : 0.00 0 0
1796.51/1796.38 c objpscostdiving : 0.00 0 0
1796.51/1796.38 c rootsoldiving : 0.00 0 0
1796.51/1796.38 c linesearchdiving : 0.00 0 0
1796.51/1796.38 c guideddiving : 0.00 0 0
1796.51/1796.38 c octane : 0.00 0 0
1796.51/1796.38 c rens : 0.00 0 0
1796.51/1796.38 c rins : 0.00 0 0
1796.51/1796.38 c localbranching : 0.00 0 0
1796.51/1796.38 c mutation : 0.00 0 0
1796.51/1796.38 c crossover : 0.00 0 0
1796.51/1796.38 c dins : 0.00 0 0
1796.51/1796.38 c LP : Time Calls Iterations Iter/call Iter/sec
1796.51/1796.38 c primal LP : 0.69 0 0 0.00 0.00
1796.51/1796.38 c dual LP : 817.04 27 32402 1200.07 39.66
1796.51/1796.38 c barrier LP : 0.00 0 0 0.00 -
1796.51/1796.38 c diving/probing LP: 77.91 23 11000 478.26 141.19
1796.51/1796.38 c strong branching : 0.00 0 0 0.00 -
1796.51/1796.38 c (at root node) : - 0 0 0.00 -
1796.51/1796.38 c conflict analysis: 0.00 0 0 0.00 -
1796.51/1796.38 c B&B Tree :
1796.51/1796.38 c number of runs : 1
1796.51/1796.38 c nodes : 1
1796.51/1796.38 c nodes (total) : 1
1796.51/1796.38 c nodes left : 2
1796.51/1796.38 c max depth : 0
1796.51/1796.38 c max depth (total): 0
1796.51/1796.38 c backtracks : 0 (0.0%)
1796.51/1796.38 c delayed cutoffs : 0
1796.51/1796.38 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.51/1796.38 c avg switch length: 1.00
1796.51/1796.38 c switching time : 0.00
1796.51/1796.38 c Solution :
1796.51/1796.38 c Solutions found : 0 (0 improvements)
1796.51/1796.38 c Primal Bound : -
1796.51/1796.38 c Dual Bound : +2.55012500000000e+03
1796.51/1796.38 c Gap : infinite
1796.51/1796.38 c Root Dual Bound : +2.55012500000000e+03
1797.61/1797.45 c Time complete: 1797.67.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869040-1245155383/watcher-1869040-1245155383 -o /tmp/evaluation-result-1869040-1245155383/solver-1869040-1245155383 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869040-1245155383.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 29617
/proc/meminfo: memFree=1847560/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=4324 CPUtime=0
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 479 0 0 0 0 0 0 0 18 0 1 0 183138764 4427776 463 1992294400 4194304 7823515 548682068736 18446744073709551615 6956836 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 1122 471 306 886 0 232 0
[startup+0.0805331 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29617
/proc/meminfo: memFree=1847560/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=16944 CPUtime=0.07
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 3573 0 0 0 6 1 0 0 18 0 1 0 183138764 17350656 3555 1992294400 4194304 7823515 548682068736 18446744073709551615 6908036 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4236 3555 354 886 0 3346 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16944
[startup+0.101526 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29617
/proc/meminfo: memFree=1847560/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=17556 CPUtime=0.09
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 3725 0 0 0 8 1 0 0 18 0 1 0 183138764 17977344 3707 1992294400 4194304 7823515 548682068736 18446744073709551615 6896336 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 4389 3707 354 886 0 3499 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17556
[startup+0.301468 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29617
/proc/meminfo: memFree=1847560/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=23104 CPUtime=0.29
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 5110 0 0 0 27 2 0 0 19 0 1 0 183138764 23658496 5092 1992294400 4194304 7823515 548682068736 18446744073709551615 5537939 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 5776 5092 354 886 0 4886 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23104
[startup+0.701353 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29617
/proc/meminfo: memFree=1847560/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=33004 CPUtime=0.69
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 7577 0 0 0 66 3 0 0 22 0 1 0 183138764 33796096 7559 1992294400 4194304 7823515 548682068736 18446744073709551615 6908062 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 8251 7559 354 886 0 7361 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33004
[startup+1.50112 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29618
/proc/meminfo: memFree=1810944/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=52860 CPUtime=1.49
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 12543 0 0 0 144 5 0 0 25 0 1 0 183138764 54128640 12525 1992294400 4194304 7823515 548682068736 18446744073709551615 6908062 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 13215 12525 354 886 0 12325 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52860
[startup+3.10166 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29618
/proc/meminfo: memFree=1783104/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=92740 CPUtime=3.09
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 22508 0 0 0 299 10 0 0 25 0 1 0 183138764 94965760 22490 1992294400 4194304 7823515 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 23185 22490 354 886 0 22295 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 92740
[startup+6.30175 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 29618
/proc/meminfo: memFree=1566400/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=330028 CPUtime=6.28
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 88063 0 0 0 555 73 0 0 25 0 1 0 183138764 337948672 80500 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 82507 80500 424 886 0 81617 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 330028
[startup+12.7019 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 29618
/proc/meminfo: memFree=1497216/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=358784 CPUtime=12.69
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 95350 0 0 0 1172 97 0 0 25 0 1 0 183138764 367394816 87787 1992294400 4194304 7823515 548682068736 18446744073709551615 5102336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 89696 87787 440 886 0 88806 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 358784
[startup+25.5012 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 29618
/proc/meminfo: memFree=1497216/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=358784 CPUtime=25.49
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 95350 0 0 0 2451 98 0 0 25 0 1 0 183138764 367394816 87787 1992294400 4194304 7823515 548682068736 18446744073709551615 4243063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 89696 87787 440 886 0 88806 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 358784
[startup+51.1019 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 29618
/proc/meminfo: memFree=1340160/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=546136 CPUtime=51.07
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 138540 0 0 0 4991 116 0 0 25 0 1 0 183138764 559243264 127054 1992294400 4194304 7823515 548682068736 18446744073709551615 6018702 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 136534 127054 507 886 0 135644 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 546136
[startup+102.305 s]
/proc/loadavg: 1.09 1.02 1.00 2/65 29618
/proc/meminfo: memFree=1265664/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=657852 CPUtime=102.28
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 161090 0 0 0 10100 128 0 0 25 0 1 0 183138764 673640448 145631 1992294400 4194304 7823515 548682068736 18446744073709551615 6212552 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 164463 145631 511 886 0 163573 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 657852
[startup+162.302 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 29618
/proc/meminfo: memFree=1231616/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=668800 CPUtime=162.29
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 172249 0 0 0 16094 135 0 0 25 0 1 0 183138764 684851200 154132 1992294400 4194304 7823515 548682068736 18446744073709551615 6152035 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 167200 154132 522 886 0 166310 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 668800
[startup+222.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 29618
/proc/meminfo: memFree=1216768/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=674020 CPUtime=222.3
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 176949 0 0 0 22038 192 0 0 25 0 1 0 183138764 690196480 157871 1992294400 4194304 7823515 548682068736 18446744073709551615 6212077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 168505 157871 551 886 0 167615 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 674020
[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 29618
/proc/meminfo: memFree=1212544/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=674020 CPUtime=282.31
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 177996 0 0 0 28037 194 0 0 25 0 1 0 183138764 690196480 158918 1992294400 4194304 7823515 548682068736 18446744073709551615 4338498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 168505 158918 552 886 0 167615 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 674020
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29618
/proc/meminfo: memFree=1206848/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=675580 CPUtime=342.32
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 179400 0 0 0 34036 196 0 0 25 0 1 0 183138764 691793920 160322 1992294400 4194304 7823515 548682068736 18446744073709551615 5575780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 168895 160322 552 886 0 168005 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 675580
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29618
/proc/meminfo: memFree=1197120/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=677440 CPUtime=402.32
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 181835 0 0 0 40034 198 0 0 25 0 1 0 183138764 693698560 162757 1992294400 4194304 7823515 548682068736 18446744073709551615 5575805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 169360 162757 552 886 0 168470 0
Current children cumulated CPU time (s) 402.32
Current children cumulated vsize (KiB) 677440
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29618
/proc/meminfo: memFree=1196992/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=680516 CPUtime=462.33
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 181837 0 0 0 46034 199 0 0 25 0 1 0 183138764 696848384 162759 1992294400 4194304 7823515 548682068736 18446744073709551615 4338482 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 170129 162759 552 886 0 169239 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 680516
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29618
/proc/meminfo: memFree=1196992/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=682376 CPUtime=522.34
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 181840 0 0 0 52035 199 0 0 25 0 1 0 183138764 698753024 162762 1992294400 4194304 7823515 548682068736 18446744073709551615 6109354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 170594 162762 552 886 0 169704 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 682376
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29618
/proc/meminfo: memFree=1196992/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=682376 CPUtime=582.34
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 181841 0 0 0 58035 199 0 0 25 0 1 0 183138764 698753024 162763 1992294400 4194304 7823515 548682068736 18446744073709551615 5597699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 170594 162763 553 886 0 169704 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 682376
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29618
/proc/meminfo: memFree=1186368/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=687244 CPUtime=642.36
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 184483 0 0 0 64034 202 0 0 25 0 1 0 183138764 703737856 165405 1992294400 4194304 7823515 548682068736 18446744073709551615 5575803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 171811 165405 553 886 0 170921 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 687244
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1182144/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=691788 CPUtime=1122.41
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 185396 0 0 0 112031 210 0 0 25 0 1 0 183138764 708390912 166318 1992294400 4194304 7823515 548682068736 18446744073709551615 6211711 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 172947 166318 553 886 0 172057 0
Current children cumulated CPU time (s) 1122.41
Current children cumulated vsize (KiB) 691788
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29620
/proc/meminfo: memFree=1182144/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=694056 CPUtime=1182.43
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 185400 0 0 0 118030 213 0 0 25 0 1 0 183138764 710713344 166322 1992294400 4194304 7823515 548682068736 18446744073709551615 6911775 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 173514 166322 553 886 0 172624 0
Current children cumulated CPU time (s) 1182.43
Current children cumulated vsize (KiB) 694056
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29620
/proc/meminfo: memFree=1181824/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=694056 CPUtime=1242.43
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 185509 0 0 0 124029 214 0 0 25 0 1 0 183138764 710713344 166431 1992294400 4194304 7823515 548682068736 18446744073709551615 6151337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 173514 166431 553 886 0 172624 0
Current children cumulated CPU time (s) 1242.43
Current children cumulated vsize (KiB) 694056
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29620
/proc/meminfo: memFree=1181696/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=694056 CPUtime=1302.45
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 185515 0 0 0 130029 216 0 0 25 0 1 0 183138764 710713344 166437 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 173514 166437 553 886 0 172624 0
Current children cumulated CPU time (s) 1302.45
Current children cumulated vsize (KiB) 694056
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29620
/proc/meminfo: memFree=1179456/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=696860 CPUtime=1362.44
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 186077 0 0 0 136027 217 0 0 25 0 1 0 183138764 713584640 166999 1992294400 4194304 7823515 548682068736 18446744073709551615 5924546 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 174215 166999 553 886 0 173325 0
Current children cumulated CPU time (s) 1362.44
Current children cumulated vsize (KiB) 696860
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29620
/proc/meminfo: memFree=1179392/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=696860 CPUtime=1422.46
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 186087 0 0 0 142027 219 0 0 25 0 1 0 183138764 713584640 167009 1992294400 4194304 7823515 548682068736 18446744073709551615 6212035 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 174215 167009 553 886 0 173325 0
Current children cumulated CPU time (s) 1422.46
Current children cumulated vsize (KiB) 696860
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29620
/proc/meminfo: memFree=1179392/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=696860 CPUtime=1482.47
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 186094 0 0 0 148026 221 0 0 25 0 1 0 183138764 713584640 167016 1992294400 4194304 7823515 548682068736 18446744073709551615 6211008 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 174215 167016 553 886 0 173325 0
Current children cumulated CPU time (s) 1482.47
Current children cumulated vsize (KiB) 696860
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29620
/proc/meminfo: memFree=1179200/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=696860 CPUtime=1542.47
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 186114 0 0 0 154025 222 0 0 25 0 1 0 183138764 713584640 167036 1992294400 4194304 7823515 548682068736 18446744073709551615 6212556 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 174215 167036 553 886 0 173325 0
Current children cumulated CPU time (s) 1542.47
Current children cumulated vsize (KiB) 696860
[startup+1602.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 29620
/proc/meminfo: memFree=1175808/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=703236 CPUtime=1602.48
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 186956 0 0 0 160024 224 0 0 25 0 1 0 183138764 720113664 167878 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 175809 167878 553 886 0 174919 0
Current children cumulated CPU time (s) 1602.48
Current children cumulated vsize (KiB) 703236
[startup+1662.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 29620
/proc/meminfo: memFree=1169984/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=703236 CPUtime=1662.49
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 188417 0 0 0 166023 226 0 0 25 0 1 0 183138764 720113664 169339 1992294400 4194304 7823515 548682068736 18446744073709551615 6211207 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 175809 169339 553 886 0 174919 0
Current children cumulated CPU time (s) 1662.49
Current children cumulated vsize (KiB) 703236
[startup+1722.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 29620
/proc/meminfo: memFree=1169984/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=703236 CPUtime=1722.5
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 188417 0 0 0 172022 228 0 0 25 0 1 0 183138764 720113664 169339 1992294400 4194304 7823515 548682068736 18446744073709551615 5399588 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 175809 169339 553 886 0 174919 0
Current children cumulated CPU time (s) 1722.5
Current children cumulated vsize (KiB) 703236
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29620
/proc/meminfo: memFree=1169856/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=703236 CPUtime=1782.5
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 188421 0 0 0 178021 229 0 0 25 0 1 0 183138764 720113664 169343 1992294400 4194304 7823515 548682068736 18446744073709551615 5399065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 175809 169343 553 886 0 174919 0
Current children cumulated CPU time (s) 1782.5
Current children cumulated vsize (KiB) 703236
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29620
/proc/meminfo: memFree=1169856/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=703236 CPUtime=1785.7
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 188421 0 0 0 178341 229 0 0 25 0 1 0 183138764 720113664 169343 1992294400 4194304 7823515 548682068736 18446744073709551615 6908143 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 175809 169343 553 886 0 174919 0
Current children cumulated CPU time (s) 1785.7
Current children cumulated vsize (KiB) 703236
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29620
/proc/meminfo: memFree=1169856/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=703236 CPUtime=1792.11
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 188421 0 0 0 178981 230 0 0 25 0 1 0 183138764 720113664 169343 1992294400 4194304 7823515 548682068736 18446744073709551615 5727367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 175809 169343 553 886 0 174919 0
Current children cumulated CPU time (s) 1792.11
Current children cumulated vsize (KiB) 703236
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29620
/proc/meminfo: memFree=1169856/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=703236 CPUtime=1795.31
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 188421 0 0 0 179301 230 0 0 25 0 1 0 183138764 720113664 169343 1992294400 4194304 7823515 548682068736 18446744073709551615 5727911 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29617/statm: 175809 169343 553 886 0 174919 0
Current children cumulated CPU time (s) 1795.31
Current children cumulated vsize (KiB) 703236
[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29620
/proc/meminfo: memFree=1169792/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=703236 CPUtime=1796.91
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 188431 0 0 0 179461 230 0 0 25 0 1 0 183138764 720113664 169353 1992294400 4194304 7823515 548682068736 18446744073709551615 5875900 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 175809 169353 558 886 0 174919 0
Current children cumulated CPU time (s) 1796.91
Current children cumulated vsize (KiB) 703236
[startup+1797.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29620
/proc/meminfo: memFree=1169792/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=703236 CPUtime=1797.31
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 188431 0 0 0 179501 230 0 0 25 0 1 0 183138764 720113664 169353 1992294400 4194304 7823515 548682068736 18446744073709551615 4219108 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 175809 169353 558 886 0 174919 0
Current children cumulated CPU time (s) 1797.31
Current children cumulated vsize (KiB) 703236
[startup+1797.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29620
/proc/meminfo: memFree=1284160/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=576472 CPUtime=1797.51
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 188431 0 0 0 179519 232 0 0 25 0 1 0 183138764 590307328 138919 1992294400 4194304 7823515 548682068736 18446744073709551615 5875880 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 144118 138919 558 886 0 143228 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 576472
[startup+1797.41 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29620
/proc/meminfo: memFree=1284160/2055920 swapFree=4191900/4192956
[pid=29617] ppid=29615 vsize=536260 CPUtime=1797.61
/proc/29617/stat : 29617 (pbscip.linux.x8) R 29615 29617 29282 0 -1 4194304 188431 0 0 0 179525 236 0 0 25 0 1 0 183138764 549130240 128949 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/29617/statm: 134065 128949 47616 886 0 133175 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 536260
Child status: 0
Real time (s): 1797.46
CPU time (s): 1797.68
CPU user time (s): 1795.26
CPU system time (s): 2.41663
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 703236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.26
system time used= 2.41663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188436
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2372
runsolver used 1.86472 second user time and 4.05038 second system time
The end