3.20/3.21 c SCIP version 1.1.0.7
3.20/3.21 c LP-Solver Clp 1.8.2
3.20/3.21 c user parameter file <scip.set> not found - using default parameters
3.20/3.21 c read problem <HOME/instance-1869041-1245155383.opb>
3.20/3.21 c original problem has 7500 variables (7500 bin, 0 int, 0 impl, 0 cont) and 237715 constraints
3.89/3.90 c start presolving problem
3.89/3.90 c presolving:
6.49/6.54 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.89/6.99 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.48/26.53 c (22.5s) probing: 1000/7500 (13.3%) - 0 fixings, 0 aggregations, 134067 implications, 0 bound changes
44.58/44.66 c (40.6s) probing: 2000/7500 (26.7%) - 0 fixings, 0 aggregations, 259456 implications, 0 bound changes
44.58/44.68 c (40.6s) probing: 2001/7500 (26.7%) - 0 fixings, 0 aggregations, 259580 implications, 0 bound changes
44.58/44.68 c (40.6s) probing aborted: 2000/2000 successive useless probings
44.58/44.68 c presolving (3 rounds):
44.58/44.68 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
44.58/44.68 c 1372588 implications, 0 cliques
44.58/44.68 c presolved problem has 7500 variables (7500 bin, 0 int, 0 impl, 0 cont) and 237715 constraints
44.58/44.68 c 237715 constraints of type <logicor>
44.58/44.68 c transformed objective value is always integral (scale: 1)
44.58/44.68 c Presolving Time: 40.07
44.68/44.70 c strange?!, PURESAT with obj
44.68/44.70 c -----------------------------------------------------------------------------------------------
44.68/44.70 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
44.68/44.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
44.68/44.70 c limits/memory = c 1620
44.68/44.70 c # maximal time in seconds to run
44.68/44.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
44.68/44.70 c limits/time = c 1791
44.68/44.70 c # frequency for displaying node information lines
44.68/44.70 c # [type: int, range: [-1,2147483647], default: 100]
44.68/44.70 c display/freq = c 10000
44.68/44.70 c -----------------------------------------------------------------------------------------------
44.68/44.70 c start solving problem
44.68/44.70 c
63.37/63.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.37/63.47 c 59.1s| 1 | 0 | 4379 | 289M| 0 |4250 |7500 | 237k| 237k|7500 | 237k| 0 | 0 | 0 | 2.125000e+03 | -- | Inf
271.20/271.34 c 266s| 1 | 0 | 28395 | 289M| 0 |4180 |7500 | 237k| 237k|7500 | 237k| 40 | 0 | 0 | 2.160000e+03 | -- | Inf
312.29/312.45 c 307s| 1 | 0 | 28789 | 289M| 0 |4132 |7500 | 237k| 237k|7500 | 237k| 66 | 0 | 0 | 2.184000e+03 | -- | Inf
359.37/359.57 c 355s| 1 | 0 | 29074 | 289M| 0 |4092 |7500 | 237k| 237k|7500 | 237k| 90 | 0 | 0 | 2.204000e+03 | -- | Inf
412.35/412.53 c 408s| 1 | 0 | 29370 | 289M| 0 |4053 |7500 | 237k| 237k|7500 | 237k| 117 | 0 | 0 | 2.224000e+03 | -- | Inf
475.83/476.04 c 471s| 1 | 0 | 29802 | 289M| 0 |4014 |7500 | 237k| 237k|7500 | 237k| 144 | 0 | 0 | 2.243000e+03 | -- | Inf
541.80/542.00 c 537s| 1 | 0 | 30188 | 289M| 0 |3982 |7500 | 237k| 237k|7500 | 237k| 169 | 0 | 0 | 2.259000e+03 | -- | Inf
612.58/612.87 c 608s| 1 | 0 | 30629 | 289M| 0 |3943 |7500 | 237k| 237k|7500 | 237k| 203 | 0 | 0 | 2.279500e+03 | -- | Inf
690.25/690.53 c 685s| 1 | 0 | 31001 | 289M| 0 |3895 |7500 | 237k| 237k|7500 | 237k| 229 | 0 | 0 | 2.302500e+03 | -- | Inf
774.33/774.61 c 769s| 1 | 0 | 31380 | 290M| 0 |3869 |7500 | 237k| 237k|7500 | 237k| 259 | 0 | 0 | 2.317000e+03 | -- | Inf
909.18/909.53 c 904s| 1 | 0 | 31920 | 290M| 0 |3829 |7500 | 237k| 237k|7500 | 238k| 288 | 0 | 0 | 2.339000e+03 | -- | Inf
940.77/941.12 c 936s| 1 | 0 | 32378 | 290M| 0 |3796 |7500 | 237k| 237k|7500 | 238k| 316 | 0 | 0 | 2.355000e+03 | -- | Inf
987.46/987.87 c 983s| 1 | 0 | 33250 | 290M| 0 |3757 |7500 | 237k| 237k|7500 | 238k| 349 | 0 | 0 | 2.371500e+03 | -- | Inf
1015.95/1016.31 c 1011s| 1 | 0 | 33881 | 290M| 0 |3717 |7500 | 237k| 237k|7500 | 238k| 379 | 0 | 0 | 2.393000e+03 | -- | Inf
1043.44/1043.83 c 1038s| 1 | 0 | 34533 | 290M| 0 |3683 |7500 | 237k| 237k|7500 | 238k| 419 | 0 | 0 | 2.410000e+03 | -- | Inf
1071.82/1072.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1071.82/1072.20 c 1067s| 1 | 0 | 35343 | 290M| 0 |3645 |7500 | 237k| 237k|7500 | 238k| 454 | 0 | 0 | 2.428000e+03 | -- | Inf
1106.62/1107.09 c 1102s| 1 | 0 | 36169 | 290M| 0 |3615 |7500 | 237k| 237k|7500 | 238k| 481 | 0 | 0 | 2.443500e+03 | -- | Inf
1141.10/1141.54 c 1136s| 1 | 0 | 37157 | 290M| 0 |3579 |7500 | 237k| 237k|7500 | 238k| 525 | 0 | 0 | 2.463333e+03 | -- | Inf
1177.08/1177.58 c 1172s| 1 | 0 | 37960 | 290M| 0 |3549 |7500 | 237k| 237k|7500 | 238k| 561 | 0 | 0 | 2.478250e+03 | -- | Inf
1214.87/1215.34 c 1210s| 1 | 0 | 39098 | 290M| 0 |3535 |7500 | 237k| 237k|7500 | 238k| 601 | 0 | 0 | 2.494167e+03 | -- | Inf
1256.96/1257.41 c 1252s| 1 | 0 | 40314 | 291M| 0 |3502 |7500 | 237k| 237k|7500 | 238k| 635 | 0 | 0 | 2.507583e+03 | -- | Inf
1291.95/1292.50 c 1287s| 1 | 0 | 41173 | 291M| 0 |3489 |7500 | 237k| 237k|7500 | 238k| 661 | 0 | 0 | 2.519000e+03 | -- | Inf
1341.23/1341.75 c 1336s| 1 | 0 | 42493 | 291M| 0 |3458 |7500 | 237k| 237k|7500 | 238k| 691 | 0 | 0 | 2.529000e+03 | -- | Inf
1379.93/1380.49 c 1375s| 1 | 0 | 43887 | 291M| 0 |3426 |7500 | 237k| 237k|7500 | 238k| 733 | 0 | 0 | 2.539833e+03 | -- | Inf
1415.71/1416.21 c 1410s| 1 | 0 | 45135 | 291M| 0 |3411 |7500 | 237k| 237k|7500 | 238k| 769 | 0 | 0 | 2.555167e+03 | -- | Inf
1447.00/1447.56 c 1442s| 1 | 0 | 46643 | 291M| 0 |3383 |7500 | 237k| 237k|7500 | 238k| 815 | 0 | 0 | 2.572250e+03 | -- | Inf
1486.88/1487.47 c 1482s| 1 | 0 | 48235 | 291M| 0 |3334 |7500 | 237k| 237k|7500 | 238k| 863 | 0 | 0 | 2.592250e+03 | -- | Inf
1521.17/1521.71 c 1516s| 1 | 0 | 49538 | 292M| 0 |3313 |7500 | 237k| 237k|7500 | 238k| 897 | 0 | 0 | 2.600750e+03 | -- | Inf
1575.25/1575.82 c 1570s| 1 | 0 | 51394 | 292M| 0 |3303 |7500 | 237k| 237k|7500 | 238k| 938 | 0 | 0 | 2.612250e+03 | -- | Inf
1641.43/1642.01 c 1636s| 1 | 0 | 53785 | 292M| 0 |3289 |7500 | 237k| 237k|7500 | 238k| 978 | 0 | 0 | 2.629250e+03 | -- | Inf
1696.71/1697.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1696.71/1697.37 c 1691s| 1 | 0 | 55307 | 292M| 0 |3259 |7500 | 237k| 237k|7500 | 238k|1016 | 0 | 0 | 2.640000e+03 | -- | Inf
1745.39/1746.01 c 1740s| 1 | 0 | 57191 | 292M| 0 |3206 |7500 | 237k| 237k|7500 | 238k|1064 | 0 | 0 | 2.654000e+03 | -- | Inf
1796.47/1797.15 c 1791s| 1 | 0 | 58688 | 292M| 0 | - |7500 | 237k| 237k|7500 | 238k|1102 | 0 | 0 | 2.654000e+03 | -- | Inf
1796.57/1797.28 c 1791s| 1 | 2 | 58688 | 292M| 0 | - |7500 | 237k| 237k|7500 | 238k|1102 | 0 | 0 | 2.654000e+03 | -- | Inf
1796.57/1797.28 c
1796.57/1797.28 c SCIP Status : solving was interrupted [time limit reached]
1796.57/1797.28 c Solving Time (sec) : 1791.19
1796.57/1797.28 c Solving Nodes : 1
1796.57/1797.28 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.57/1797.28 c Dual Bound : +2.65400000000000e+03
1796.57/1797.28 c Gap : infinite
1796.57/1797.28 c NODE 1
1796.57/1797.28 c DUAL BOUND 2654
1796.57/1797.28 c PRIMAL BOUND 1e+20
1796.57/1797.28 c GAP 1e+20
1796.57/1797.28 s UNKNOWN
1796.57/1797.28 c SCIP Status : solving was interrupted [time limit reached]
1796.57/1797.28 c Solving Time : 1791.19
1796.57/1797.28 c Original Problem :
1796.57/1797.28 c Problem name : HOME/instance-1869041-1245155383.opb
1796.57/1797.28 c Variables : 7500 (7500 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.57/1797.28 c Constraints : 237715 initial, 237715 maximal
1796.57/1797.28 c Presolved Problem :
1796.57/1797.28 c Problem name : t_HOME/instance-1869041-1245155383.opb
1796.57/1797.28 c Variables : 7500 (7500 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.57/1797.28 c Constraints : 237715 initial, 237715 maximal
1796.57/1797.28 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1796.57/1797.28 c trivial : 0.01 0 0 0 0 0 0 0 0
1796.57/1797.28 c dualfix : 0.00 0 0 0 0 0 0 0 0
1796.57/1797.28 c boundshift : 0.00 0 0 0 0 0 0 0 0
1796.57/1797.28 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1796.57/1797.28 c implics : 0.01 0 0 0 0 0 0 0 0
1796.57/1797.28 c probing : 37.26 0 0 0 0 0 0 0 0
1796.57/1797.28 c logicor : 0.97 0 0 0 0 0 0 0 0
1796.57/1797.28 c root node : - 0 - - 0 - - - -
1796.57/1797.28 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1796.57/1797.28 c integral : 0 0 0 0 0 0 0 0 0 0
1796.57/1797.28 c logicor : 237715 32 4392 0 1 0 0 0 0 0
1796.57/1797.28 c countsols : 0 0 0 0 1 0 0 0 0 0
1796.57/1797.28 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1796.57/1797.28 c integral : 0.00 0.00 0.00 0.00 0.00
1796.57/1797.28 c logicor : 20.08 1.54 18.42 0.00 0.12
1796.57/1797.28 c countsols : 0.00 0.00 0.00 0.00 0.00
1796.57/1797.28 c Propagators : Time Calls Cutoffs DomReds
1796.57/1797.28 c rootredcost : 0.00 0 0 0
1796.57/1797.28 c pseudoobj : 0.08 33 0 0
1796.57/1797.28 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.57/1797.28 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.57/1797.28 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.57/1797.28 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.57/1797.28 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.57/1797.28 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.57/1797.28 c applied globally : - - - 0 0.0 - - -
1796.57/1797.28 c applied locally : - - - 0 0.0 - - -
1796.57/1797.28 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.57/1797.28 c cut pool : 0.00 31 - - 174 - (maximal pool size: 1694)
1796.57/1797.28 c redcost : 0.02 32 0 0 0 0
1796.57/1797.28 c impliedbounds : 1.86 32 0 0 0 0
1796.57/1797.28 c intobj : 0.00 0 0 0 0 0
1796.57/1797.28 c gomory : 101.09 32 0 0 16000 0
1796.57/1797.28 c strongcg : 61.93 20 0 0 10000 0
1796.57/1797.28 c cmir : 207.47 10 0 0 0 0
1796.57/1797.28 c flowcover : 214.43 10 0 0 0 0
1796.57/1797.28 c clique : 22.46 32 0 0 319 0
1796.57/1797.28 c zerohalf : 0.00 0 0 0 0 0
1796.57/1797.28 c mcf : 0.39 1 0 0 0 0
1796.57/1797.28 c Pricers : Time Calls Vars
1796.57/1797.28 c problem variables: 0.00 0 0
1796.57/1797.28 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.57/1797.28 c relpscost : 0.00 0 0 0 0 0 0
1796.57/1797.28 c pscost : 0.00 0 0 0 0 0 0
1796.57/1797.28 c inference : 0.00 1 0 0 0 0 2
1796.57/1797.28 c mostinf : 0.00 0 0 0 0 0 0
1796.57/1797.28 c leastinf : 0.00 0 0 0 0 0 0
1796.57/1797.28 c fullstrong : 0.00 0 0 0 0 0 0
1796.57/1797.28 c allfullstrong : 0.00 0 0 0 0 0 0
1796.57/1797.28 c random : 0.00 0 0 0 0 0 0
1796.57/1797.28 c Primal Heuristics : Time Calls Found
1796.57/1797.28 c LP solutions : 0.00 - 0
1796.57/1797.28 c pseudo solutions : 0.00 - 0
1796.57/1797.28 c oneopt : 0.00 0 0
1796.57/1797.28 c simplerounding : 0.00 0 0
1796.57/1797.28 c rounding : 2.62 32 0
1796.57/1797.28 c shifting : 228.63 32 0
1796.57/1797.28 c intshifting : 0.00 0 0
1796.57/1797.28 c fixandinfer : 0.00 0 0
1796.57/1797.28 c feaspump : 169.78 1 0
1796.57/1797.28 c coefdiving : 0.00 0 0
1796.57/1797.28 c pscostdiving : 0.00 0 0
1796.57/1797.28 c fracdiving : 0.00 0 0
1796.57/1797.28 c veclendiving : 0.00 0 0
1796.57/1797.28 c intdiving : 0.00 0 0
1796.57/1797.28 c actconsdiving : 0.00 0 0
1796.57/1797.28 c objpscostdiving : 0.00 0 0
1796.57/1797.28 c rootsoldiving : 0.00 0 0
1796.57/1797.28 c linesearchdiving : 0.00 0 0
1796.57/1797.28 c guideddiving : 0.00 0 0
1796.57/1797.28 c octane : 0.00 0 0
1796.57/1797.28 c rens : 0.00 0 0
1796.57/1797.28 c rins : 0.00 0 0
1796.57/1797.28 c localbranching : 0.00 0 0
1796.57/1797.28 c mutation : 0.00 0 0
1796.57/1797.28 c crossover : 0.00 0 0
1796.57/1797.28 c dins : 0.00 0 0
1796.57/1797.28 c LP : Time Calls Iterations Iter/call Iter/sec
1796.57/1797.28 c primal LP : 15.33 0 0 0.00 0.00
1796.57/1797.28 c dual LP : 719.11 33 35226 1067.45 48.99
1796.57/1797.28 c barrier LP : 0.00 0 0 0.00 -
1796.57/1797.28 c diving/probing LP: 168.75 24 23462 977.58 139.03
1796.57/1797.28 c strong branching : 0.00 0 0 0.00 -
1796.57/1797.28 c (at root node) : - 0 0 0.00 -
1796.57/1797.28 c conflict analysis: 0.00 0 0 0.00 -
1796.57/1797.28 c B&B Tree :
1796.57/1797.28 c number of runs : 1
1796.57/1797.28 c nodes : 1
1796.57/1797.28 c nodes (total) : 1
1796.57/1797.28 c nodes left : 2
1796.57/1797.28 c max depth : 0
1796.57/1797.28 c max depth (total): 0
1796.57/1797.28 c backtracks : 0 (0.0%)
1796.57/1797.28 c delayed cutoffs : 0
1796.57/1797.28 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.57/1797.28 c avg switch length: 1.00
1796.57/1797.28 c switching time : 0.00
1796.57/1797.28 c Solution :
1796.57/1797.28 c Solutions found : 0 (0 improvements)
1796.57/1797.28 c Primal Bound : -
1796.57/1797.28 c Dual Bound : +2.65400000000000e+03
1796.57/1797.28 c Gap : infinite
1796.57/1797.28 c Root Dual Bound : +2.65400000000000e+03
1797.67/1798.33 c Time complete: 1797.7.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869041-1245155383/watcher-1869041-1245155383 -o /tmp/evaluation-result-1869041-1245155383/solver-1869041-1245155383 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869041-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: 0.92 0.98 0.99 3/64 3348
/proc/meminfo: memFree=1841984/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=5812 CPUtime=0
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 183139276 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/3348/statm: 1453 512 341 1256 0 192 0
[startup+0.00925794 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3348
/proc/meminfo: memFree=1841984/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=7620 CPUtime=0
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 924 0 0 0 0 0 0 0 18 0 1 0 183139276 7802880 908 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/3348/statm: 1905 908 357 1256 0 644 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7620
[startup+0.101272 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3348
/proc/meminfo: memFree=1841984/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=19048 CPUtime=0.09
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 3760 0 0 0 8 1 0 0 18 0 1 0 183139276 19505152 3744 1992294400 4194304 9342243 548682068736 18446744073709551615 8247753 0 0 4096 0 0 0 0 17 1 0 0
/proc/3348/statm: 4762 3744 378 1256 0 3501 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19048
[startup+0.30131 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3348
/proc/meminfo: memFree=1841984/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=24308 CPUtime=0.29
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 5096 0 0 0 27 2 0 0 19 0 1 0 183139276 24891392 5080 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 1 0 0
/proc/3348/statm: 6077 5080 378 1256 0 4816 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24308
[startup+0.701385 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3348
/proc/meminfo: memFree=1841984/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=34476 CPUtime=0.69
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 7629 0 0 0 66 3 0 0 23 0 1 0 183139276 35303424 7613 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/3348/statm: 8619 7616 378 1256 0 7358 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34476
[startup+1.50153 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1805880/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=55328 CPUtime=1.49
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 12836 0 0 0 144 5 0 0 25 0 1 0 183139276 56655872 12820 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/3348/statm: 13832 12820 378 1256 0 12571 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55328
[startup+3.10183 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1778168/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=95252 CPUtime=3.09
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 22827 0 0 0 300 9 0 0 25 0 1 0 183139276 97538048 22811 1992294400 4194304 9342243 548682068736 18446744073709551615 8247773 0 0 4096 0 0 0 0 17 1 0 0
/proc/3348/statm: 23813 22811 378 1256 0 22552 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 95252
[startup+6.30143 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1556984/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=330480 CPUtime=6.29
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 87923 0 0 0 559 70 0 0 25 0 1 0 183139276 338411520 80363 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 82620 80363 466 1256 0 81359 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 330480
[startup+12.7016 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1493112/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=359236 CPUtime=12.69
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 95206 0 0 0 1176 93 0 0 25 0 1 0 183139276 367857664 87646 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 89809 87646 482 1256 0 88548 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 359236
[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1493112/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=359236 CPUtime=25.49
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 95206 0 0 0 2455 94 0 0 25 0 1 0 183139276 367857664 87646 1992294400 4194304 9342243 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 89809 87646 482 1256 0 88548 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 359236
[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1330040/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=610604 CPUtime=51.08
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 137092 0 0 0 4996 112 0 0 25 0 1 0 183139276 625258496 128582 1992294400 4194304 9342243 548682068736 18446744073709551615 5869995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 152651 128582 606 1256 0 151390 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 610604
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1246520/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=696072 CPUtime=102.26
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 169210 0 0 0 10097 129 0 0 25 0 1 0 183139276 712777728 149325 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 174018 149325 633 1256 0 172757 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 696072
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1219000/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=696072 CPUtime=162.24
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 176077 0 0 0 16090 134 0 0 25 0 1 0 183139276 712777728 156192 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 174018 156192 633 1256 0 172757 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 696072
[startup+222.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1204856/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=696072 CPUtime=222.22
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 179596 0 0 0 22084 138 0 0 25 0 1 0 183139276 712777728 159711 1992294400 4194304 9342243 548682068736 18446744073709551615 6959733 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 174018 159711 633 1256 0 172757 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 696072
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1202488/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=707008 CPUtime=282.2
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 181268 0 0 0 28045 175 0 0 25 0 1 0 183139276 723976192 160328 1992294400 4194304 9342243 548682068736 18446744073709551615 5399708 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 176752 160328 663 1256 0 175491 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 707008
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1200440/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=707008 CPUtime=342.17
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 181767 0 0 0 34041 176 0 0 25 0 1 0 183139276 723976192 160827 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 176752 160827 664 1256 0 175491 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 707008
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1199544/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=707008 CPUtime=402.15
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 181996 0 0 0 40038 177 0 0 25 0 1 0 183139276 723976192 161056 1992294400 4194304 9342243 548682068736 18446744073709551615 5597697 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 176752 161056 665 1256 0 175491 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 707008
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1199416/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=707008 CPUtime=462.14
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 182005 0 0 0 46036 178 0 0 25 0 1 0 183139276 723976192 161065 1992294400 4194304 9342243 548682068736 18446744073709551615 5597699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 176752 161065 665 1256 0 175491 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 707008
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1199544/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=706428 CPUtime=522.11
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 182996 0 0 0 52032 179 0 0 25 0 1 0 183139276 723382272 161026 1992294400 4194304 9342243 548682068736 18446744073709551615 5597697 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 176607 161026 666 1256 0 175346 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 706428
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1199544/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=706296 CPUtime=582.09
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 183945 0 0 0 58028 181 0 0 25 0 1 0 183139276 723247104 161022 1992294400 4194304 9342243 548682068736 18446744073709551615 5599907 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 176574 161022 666 1256 0 175313 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 706296
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1199480/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=706296 CPUtime=642.08
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 183966 0 0 0 64026 182 0 0 25 0 1 0 183139276 723247104 161043 1992294400 4194304 9342243 548682068736 18446744073709551615 5575803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 176574 161043 667 1256 0 175313 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 706296
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1197432/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=733496 CPUtime=1061.93
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 191086 0 0 0 106000 193 0 0 25 0 1 0 183139276 751099904 161494 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 183374 161494 670 1256 0 182113 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 733496
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1197432/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=733152 CPUtime=1121.91
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 194729 0 0 0 111995 196 0 0 25 0 1 0 183139276 750747648 161494 1992294400 4194304 9342243 548682068736 18446744073709551615 5868814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 183288 161494 670 1256 0 182027 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 733152
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1194936/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=708964 CPUtime=1181.89
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 198605 0 0 0 117990 199 0 0 25 0 1 0 183139276 725979136 162087 1992294400 4194304 9342243 548682068736 18446744073709551615 4686182 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 177241 162087 670 1256 0 175980 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 708964
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1202552/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=710800 CPUtime=1241.86
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 199566 0 0 0 123986 200 0 0 25 0 1 0 183139276 727859200 160181 1992294400 4194304 9342243 548682068736 18446744073709551615 5869964 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 177700 160181 670 1256 0 176439 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 710800
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3349
/proc/meminfo: memFree=1201912/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=732568 CPUtime=1301.85
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 203480 0 0 0 129981 204 0 0 25 0 1 0 183139276 750149632 160328 1992294400 4194304 9342243 548682068736 18446744073709551615 6064573 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 183142 160328 670 1256 0 181881 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 732568
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3351
/proc/meminfo: memFree=1202360/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=722108 CPUtime=1361.82
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 209251 0 0 0 135974 208 0 0 25 0 1 0 183139276 739438592 160195 1992294400 4194304 9342243 548682068736 18446744073709551615 6960775 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 180527 160195 670 1256 0 179266 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 722108
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3351
/proc/meminfo: memFree=1203256/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=711268 CPUtime=1421.81
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 213231 0 0 0 141969 212 0 0 25 0 1 0 183139276 728338432 159938 1992294400 4194304 9342243 548682068736 18446744073709551615 4338500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 177817 159938 670 1256 0 176556 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 711268
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3351
/proc/meminfo: memFree=1203192/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=711500 CPUtime=1481.79
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 217366 0 0 0 147962 217 0 0 25 0 1 0 183139276 728576000 159986 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 177875 159986 670 1256 0 176614 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 711500
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3351
/proc/meminfo: memFree=1202680/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=711492 CPUtime=1541.76
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 220537 0 0 0 153956 220 0 0 25 0 1 0 183139276 728567808 160093 1992294400 4194304 9342243 548682068736 18446744073709551615 6960738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 177873 160093 670 1256 0 176612 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 711492
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3351
/proc/meminfo: memFree=1201464/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=711504 CPUtime=1601.74
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 222784 0 0 0 159951 223 0 0 25 0 1 0 183139276 728580096 160397 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 177876 160397 670 1256 0 176615 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 711504
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3351
/proc/meminfo: memFree=1199416/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=722116 CPUtime=1661.72
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 226794 0 0 0 165945 227 0 0 25 0 1 0 183139276 739446784 160922 1992294400 4194304 9342243 548682068736 18446744073709551615 5874794 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 180529 160922 670 1256 0 179268 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 722116
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3351
/proc/meminfo: memFree=1201720/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=722172 CPUtime=1721.7
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 230731 0 0 0 171939 231 0 0 25 0 1 0 183139276 739504128 160337 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 180543 160337 670 1256 0 179282 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 722172
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3351
/proc/meminfo: memFree=1201720/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=711496 CPUtime=1781.67
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 232988 0 0 0 177934 233 0 0 25 0 1 0 183139276 728571904 160313 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 177874 160313 670 1256 0 176613 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 711496
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3351
/proc/meminfo: memFree=1195640/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=706468 CPUtime=1791.28
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 235319 0 0 0 178893 235 0 0 25 0 1 0 183139276 723423232 161832 1992294400 4194304 9342243 548682068736 18446744073709551615 6970112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 176617 161832 670 1256 0 175356 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 706468
[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3351
/proc/meminfo: memFree=1195512/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=706468 CPUtime=1794.48
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 235341 0 0 0 179213 235 0 0 25 0 1 0 183139276 723423232 161854 1992294400 4194304 9342243 548682068736 18446744073709551615 5869995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 176617 161854 670 1256 0 175356 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (KiB) 706468
[startup+1796.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3351
/proc/meminfo: memFree=1195512/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=706468 CPUtime=1796.07
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 235345 0 0 0 179372 235 0 0 25 0 1 0 183139276 723423232 161858 1992294400 4194304 9342243 548682068736 18446744073709551615 6970142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3348/statm: 176617 161858 670 1256 0 175356 0
Current children cumulated CPU time (s) 1796.07
Current children cumulated vsize (KiB) 706468
[startup+1797.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3351
/proc/meminfo: memFree=1195512/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=706468 CPUtime=1796.87
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 235351 0 0 0 179452 235 0 0 25 0 1 0 183139276 723423232 161864 1992294400 4194304 9342243 548682068736 18446744073709551615 4301977 0 0 4096 0 0 0 0 17 1 0 0
/proc/3348/statm: 176617 161864 675 1256 0 175356 0
Current children cumulated CPU time (s) 1796.87
Current children cumulated vsize (KiB) 706468
[startup+1797.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3351
/proc/meminfo: memFree=1195512/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=706468 CPUtime=1797.27
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 235351 0 0 0 179492 235 0 0 25 0 1 0 183139276 723423232 161864 1992294400 4194304 9342243 548682068736 18446744073709551615 4219485 0 0 4096 0 0 0 0 17 1 0 0
/proc/3348/statm: 176617 161864 675 1256 0 175356 0
Current children cumulated CPU time (s) 1797.27
Current children cumulated vsize (KiB) 706468
[startup+1798.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3351
/proc/meminfo: memFree=1195512/2055920 swapFree=4183064/4192956
[pid=3348] ppid=3346 vsize=213288 CPUtime=1797.67
/proc/3348/stat : 3348 (pbscip.linux.x8) R 3346 3348 2871 0 -1 4194304 235352 0 0 0 179524 243 0 0 25 0 1 0 183139276 218406912 52411 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/3348/statm: 53322 52411 8266 1256 0 52061 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (KiB) 213288
Child status: 0
Real time (s): 1798.33
CPU time (s): 1797.71
CPU user time (s): 1795.25
CPU system time (s): 2.46563
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 754324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.25
system time used= 2.46563
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235357
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= 1901
runsolver used 1.86072 second user time and 4.00539 second system time
The end