0.29/0.37 c SCIP version 1.1.0.7
0.29/0.37 c LP-Solver SoPlex 1.4.1
0.29/0.37 c user parameter file <scip.set> not found - using default parameters
0.29/0.37 c read problem <HOME/instance-3740751-1338764982.opb>
0.29/0.37 c original problem has 18662 variables (18662 bin, 0 int, 0 impl, 0 cont) and 62606 constraints
0.39/0.47 c start presolving problem
0.39/0.47 c presolving:
1.99/2.09 c (round 1) 1105 del vars, 2998 del conss, 739 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4287518 impls, 0 clqs
2.39/2.42 c (round 2) 2699 del vars, 8281 del conss, 2220 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4293901 impls, 0 clqs
2.39/2.49 c (round 3) 3114 del vars, 10616 del conss, 2375 chg bounds, 38 chg sides, 23 chg coeffs, 0 upgd conss, 4296256 impls, 0 clqs
2.49/2.52 c (round 4) 3158 del vars, 10930 del conss, 2383 chg bounds, 38 chg sides, 25 chg coeffs, 0 upgd conss, 4296814 impls, 0 clqs
2.49/2.54 c (round 5) 3164 del vars, 10978 del conss, 2385 chg bounds, 38 chg sides, 25 chg coeffs, 0 upgd conss, 4296881 impls, 0 clqs
2.49/2.56 c (round 6) 3166 del vars, 10989 del conss, 2385 chg bounds, 38 chg sides, 25 chg coeffs, 0 upgd conss, 4296895 impls, 0 clqs
2.69/2.74 c (round 7) 3166 del vars, 10990 del conss, 2385 chg bounds, 38 chg sides, 25 chg coeffs, 51616 upgd conss, 4296895 impls, 0 clqs
2.89/2.94 c (round 8) 3184 del vars, 11057 del conss, 2391 chg bounds, 402 chg sides, 2742 chg coeffs, 51616 upgd conss, 4301061 impls, 1894 clqs
3.09/3.11 c (round 9) 3190 del vars, 11099 del conss, 2391 chg bounds, 487 chg sides, 3302 chg coeffs, 51616 upgd conss, 4302379 impls, 2241 clqs
3.19/3.28 c (round 10) 3192 del vars, 11151 del conss, 2393 chg bounds, 501 chg sides, 3415 chg coeffs, 51616 upgd conss, 4302565 impls, 2261 clqs
3.29/3.35 c (round 11) 3194 del vars, 11151 del conss, 2393 chg bounds, 507 chg sides, 3456 chg coeffs, 51616 upgd conss, 4302705 impls, 2261 clqs
83.59/83.63 c (82.6s) probing: 1000/15468 (6.5%) - 26 fixings, 1 aggregations, 3851792 implications, 0 bound changes
112.47/112.54 c (round 12) 3245 del vars, 11151 del conss, 2394 chg bounds, 507 chg sides, 3457 chg coeffs, 51616 upgd conss, 22452430 impls, 2257 clqs
113.18/113.24 c (round 13) 3276 del vars, 11615 del conss, 2394 chg bounds, 509 chg sides, 4602 chg coeffs, 51616 upgd conss, 22455390 impls, 2257 clqs
113.48/113.56 c (round 14) 3276 del vars, 11621 del conss, 2394 chg bounds, 520 chg sides, 4727 chg coeffs, 51616 upgd conss, 22455414 impls, 2761 clqs
145.66/145.76 c (144.4s) probing: 2000/15468 (12.9%) - 64 fixings, 13 aggregations, 6446627 implications, 1 bound changes
184.46/184.57 c (round 15) 3328 del vars, 11621 del conss, 2394 chg bounds, 520 chg sides, 4745 chg coeffs, 51616 upgd conss, 28983250 impls, 2767 clqs
184.96/185.07 c (round 16) 3332 del vars, 11798 del conss, 2394 chg bounds, 520 chg sides, 4806 chg coeffs, 51616 upgd conss, 28985722 impls, 2776 clqs
230.65/230.74 c (229.1s) probing: 3000/15468 (19.4%) - 88 fixings, 23 aggregations, 10707746 implications, 1 bound changes
288.65/288.75 c (286.8s) probing: 4000/15468 (25.9%) - 89 fixings, 29 aggregations, 13631343 implications, 1 bound changes
330.14/330.25 c (328.1s) probing: 5000/15468 (32.3%) - 99 fixings, 31 aggregations, 15652570 implications, 1 bound changes
365.53/365.60 c (363.3s) probing: 6000/15468 (38.8%) - 99 fixings, 33 aggregations, 17144294 implications, 1 bound changes
395.23/395.32 c (392.9s) probing: 7000/15468 (45.3%) - 99 fixings, 33 aggregations, 18253507 implications, 1 bound changes
421.13/421.26 c (418.6s) probing: 8000/15468 (51.7%) - 99 fixings, 34 aggregations, 19146133 implications, 1 bound changes
442.82/442.99 c (440.2s) probing: 9000/15468 (58.2%) - 99 fixings, 34 aggregations, 19800546 implications, 1 bound changes
448.52/448.64 c (445.9s) probing: 9289/15468 (60.1%) - 99 fixings, 34 aggregations, 19958085 implications, 1 bound changes
448.52/448.64 c (445.9s) probing aborted: 2000/2000 successive useless probings
448.52/448.65 c (round 17) 3362 del vars, 11798 del conss, 2394 chg bounds, 520 chg sides, 4822 chg coeffs, 51616 upgd conss, 56049740 impls, 2804 clqs
448.92/449.09 c (round 18) 3362 del vars, 11895 del conss, 2394 chg bounds, 533 chg sides, 4967 chg coeffs, 51616 upgd conss, 56049740 impls, 2811 clqs
449.32/449.43 c (round 19) 3362 del vars, 11903 del conss, 2394 chg bounds, 557 chg sides, 5109 chg coeffs, 51616 upgd conss, 56049740 impls, 2841 clqs
453.52/453.61 c (450.8s) probing: 9489/15468 (61.3%) - 99 fixings, 34 aggregations, 20025341 implications, 1 bound changes
453.52/453.61 c (450.8s) probing aborted: 2000/2000 successive useless probings
453.52/453.61 c presolving (20 rounds):
453.52/453.61 c 3362 deleted vars, 11903 deleted constraints, 2394 tightened bounds, 0 added holes, 557 changed sides, 5109 changed coefficients
453.52/453.61 c 56203922 implications, 2880 cliques
453.52/453.61 c presolved problem has 15300 variables (15300 bin, 0 int, 0 impl, 0 cont) and 51192 constraints
453.52/453.61 c 1084 constraints of type <knapsack>
453.52/453.61 c 437 constraints of type <setppc>
453.52/453.61 c 49671 constraints of type <logicor>
453.52/453.61 c transformed objective value is always integral (scale: 1)
453.52/453.61 c Presolving Time: 450.70
453.52/453.62 c OPT-LIN
453.52/453.62 c -----------------------------------------------------------------------------------------------
453.52/453.62 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
453.52/453.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
453.52/453.62 c limits/memory = c 13950
453.52/453.62 c # maximal time in seconds to run
453.52/453.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
453.52/453.62 c limits/time = c 1791
453.52/453.62 c # frequency for displaying node information lines
453.52/453.62 c # [type: int, range: [-1,2147483647], default: 100]
453.52/453.62 c display/freq = c 10000
453.52/453.62 c -----------------------------------------------------------------------------------------------
453.52/453.62 c start solving problem
453.52/453.62 c
478.21/478.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.21/478.36 c 475s| 1 | 0 | 20503 |1526M| 0 | 771 | 15k| 51k| 51k| 15k| 51k| 0 | 0 | 0 | 6.237037e+01 | -- | Inf
1280.20/1280.42 c 1270s| 1 | 0 | 92546 |1529M| 0 | 851 | 15k| 51k| 51k| 15k| 52k|1031 | 0 | 0 | 6.296853e+01 | -- | Inf
1425.17/1425.49 c 1415s| 1 | 0 |139774 |1531M| 0 | 992 | 15k| 51k| 51k| 15k| 52k|1234 | 0 | 0 | 6.341479e+01 | -- | Inf
1615.34/1615.65 c 1605s| 1 | 0 |189593 |1534M| 0 | 898 | 15k| 51k| 51k| 15k| 52k|1265 | 0 | 0 | 6.352503e+01 | -- | Inf
1799.61/1799.91 c 1789s| 1 | 0 |236551 |1537M| 0 |1043 | 15k| 51k| 51k| 15k| 52k|1293 | 0 | 0 | 6.372309e+01 | -- | Inf
1801.42/1801.75 c 1791s| 1 | 0 |236756 |1537M| 0 | - | 15k| 51k| 51k| 15k| 52k|1325 | 0 | 0 | 6.372309e+01 | -- | Inf
1801.42/1801.76 c 1791s| 1 | 2 |236756 |1537M| 0 | - | 15k| 51k| 51k| 15k| 52k|1325 | 0 | 0 | 6.372309e+01 | -- | Inf
1801.42/1801.76 c
1801.42/1801.76 c SCIP Status : solving was interrupted [user interrupt]
1801.42/1801.76 c Solving Time (sec) : 1791.02
1801.42/1801.76 c Solving Nodes : 1
1801.42/1801.76 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1801.42/1801.76 c Dual Bound : +6.37230910769133e+01
1801.42/1801.76 c Gap : infinite
1801.42/1801.76 c NODE 1
1801.42/1801.76 c DUAL BOUND 63.7231
1801.42/1801.76 c PRIMAL BOUND 1e+20
1801.42/1801.76 c GAP 1e+20
1801.42/1801.76 s UNKNOWN
1801.42/1801.76 c SCIP Status : solving was interrupted [user interrupt]
1801.42/1801.76 c Solving Time : 1791.02
1801.42/1801.76 c Original Problem :
1801.42/1801.76 c Problem name : HOME/instance-3740751-1338764982.opb
1801.42/1801.76 c Variables : 18662 (18662 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.42/1801.76 c Constraints : 62606 initial, 62606 maximal
1801.42/1801.76 c Presolved Problem :
1801.42/1801.76 c Problem name : t_HOME/instance-3740751-1338764982.opb
1801.42/1801.76 c Variables : 15300 (15300 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.42/1801.76 c Constraints : 51192 initial, 51192 maximal
1801.42/1801.76 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1801.42/1801.76 c trivial : 0.01 190 0 0 0 0 0 0 0
1801.42/1801.76 c dualfix : 0.01 30 0 0 0 0 0 0 0
1801.42/1801.76 c boundshift : 0.00 0 0 0 0 0 0 0 0
1801.42/1801.76 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1801.42/1801.76 c implics : 0.85 0 44 0 0 0 0 0 0
1801.42/1801.76 c probing : 444.91 99 34 0 1 0 0 0 0
1801.42/1801.76 c knapsack : 2.58 0 0 0 8 0 51 519 5084
1801.42/1801.76 c setppc : 0.01 0 0 0 0 0 52 0 0
1801.42/1801.76 c linear : 1.99 2203 751 0 2385 0 10990 38 25
1801.42/1801.76 c logicor : 0.28 11 0 0 0 0 810 0 0
1801.42/1801.76 c root node : - 0 - - 0 - - - -
1801.42/1801.76 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1801.42/1801.76 c integral : 0 0 0 0 0 0 0 0 0 0
1801.42/1801.76 c knapsack : 1084 5 671303 0 1 10 0 107 0 0
1801.42/1801.76 c setppc : 437 5 671293 0 1 0 0 0 0 0
1801.42/1801.76 c logicor : 49671 5 669475 0 1 41 0 0 0 0
1801.42/1801.76 c countsols : 0 0 0 0 1 0 0 0 0 0
1801.42/1801.76 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1801.42/1801.76 c integral : 0.00 0.00 0.00 0.00 0.00
1801.42/1801.76 c knapsack : 12.07 0.00 12.07 0.00 0.00
1801.42/1801.76 c setppc : 4.04 0.00 4.04 0.00 0.00
1801.42/1801.76 c logicor : 76.99 0.01 76.97 0.00 0.01
1801.42/1801.76 c countsols : 0.00 0.00 0.00 0.00 0.00
1801.42/1801.76 c Propagators : Time Calls Cutoffs DomReds
1801.42/1801.76 c rootredcost : 0.07 0 0 0
1801.42/1801.76 c pseudoobj : 0.05 6 0 0
1801.42/1801.76 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.42/1801.76 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1801.42/1801.76 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1801.42/1801.76 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.42/1801.76 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.42/1801.76 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.42/1801.76 c applied globally : - - - 0 0.0 - - -
1801.42/1801.76 c applied locally : - - - 0 0.0 - - -
1801.42/1801.76 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.42/1801.76 c cut pool : 0.00 4 - - 113 - (maximal pool size: 2180)
1801.42/1801.76 c redcost : 0.01 5 0 0 0 0
1801.42/1801.76 c impliedbounds : 0.22 5 0 0 2235 0
1801.42/1801.76 c intobj : 0.00 0 0 0 0 0
1801.42/1801.76 c gomory : 7.19 5 0 0 1500 0
1801.42/1801.76 c strongcg : 2.21 5 0 0 2000 0
1801.42/1801.76 c cmir : 3.08 4 0 0 0 0
1801.42/1801.76 c flowcover : 4.84 4 0 0 131 0
1801.42/1801.76 c clique : 598.16 5 0 0 42 0
1801.42/1801.76 c zerohalf : 0.00 0 0 0 0 0
1801.42/1801.76 c mcf : 0.82 1 0 0 0 0
1801.42/1801.76 c Pricers : Time Calls Vars
1801.42/1801.76 c problem variables: 0.00 0 0
1801.42/1801.76 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.42/1801.76 c relpscost : 0.00 0 0 0 0 0 0
1801.42/1801.76 c pscost : 0.00 0 0 0 0 0 0
1801.42/1801.76 c inference : 0.00 1 0 0 0 0 2
1801.42/1801.76 c mostinf : 0.00 0 0 0 0 0 0
1801.42/1801.76 c leastinf : 0.00 0 0 0 0 0 0
1801.42/1801.76 c fullstrong : 0.00 0 0 0 0 0 0
1801.42/1801.76 c allfullstrong : 0.00 0 0 0 0 0 0
1801.42/1801.76 c random : 0.00 0 0 0 0 0 0
1801.42/1801.76 c Primal Heuristics : Time Calls Found
1801.42/1801.76 c LP solutions : 0.00 - 0
1801.42/1801.76 c pseudo solutions : 0.00 - 0
1801.42/1801.76 c oneopt : 0.00 0 0
1801.42/1801.76 c simplerounding : 0.00 0 0
1801.42/1801.76 c rounding : 0.02 5 0
1801.42/1801.76 c shifting : 0.01 5 0
1801.42/1801.76 c intshifting : 0.00 0 0
1801.42/1801.76 c fixandinfer : 0.00 0 0
1801.42/1801.76 c feaspump : 20.28 1 0
1801.42/1801.76 c coefdiving : 0.00 0 0
1801.42/1801.76 c pscostdiving : 0.00 0 0
1801.42/1801.76 c fracdiving : 0.00 0 0
1801.42/1801.76 c veclendiving : 0.00 0 0
1801.42/1801.76 c intdiving : 0.00 0 0
1801.42/1801.76 c actconsdiving : 0.00 0 0
1801.42/1801.76 c objpscostdiving : 0.00 0 0
1801.42/1801.76 c rootsoldiving : 0.00 0 0
1801.42/1801.76 c linesearchdiving : 0.00 0 0
1801.42/1801.76 c guideddiving : 0.00 0 0
1801.42/1801.76 c octane : 0.00 0 0
1801.42/1801.76 c rens : 0.00 0 0
1801.42/1801.76 c rins : 0.00 0 0
1801.42/1801.76 c localbranching : 0.00 0 0
1801.42/1801.76 c mutation : 0.00 0 0
1801.42/1801.76 c crossover : 0.00 0 0
1801.42/1801.76 c dins : 0.00 0 0
1801.42/1801.76 c LP : Time Calls Iterations Iter/call Iter/sec
1801.42/1801.76 c primal LP : 0.00 0 0 0.00 -
1801.42/1801.76 c dual LP : 703.12 6 214856 35809.33 305.58
1801.42/1801.76 c barrier LP : 0.00 0 0 0.00 -
1801.42/1801.76 c diving/probing LP: 20.07 26 21900 842.31 1091.18
1801.42/1801.76 c strong branching : 0.00 0 0 0.00 -
1801.42/1801.76 c (at root node) : - 0 0 0.00 -
1801.42/1801.76 c conflict analysis: 0.00 0 0 0.00 -
1801.42/1801.76 c B&B Tree :
1801.42/1801.76 c number of runs : 1
1801.42/1801.76 c nodes : 1
1801.42/1801.76 c nodes (total) : 1
1801.42/1801.76 c nodes left : 2
1801.42/1801.76 c max depth : 0
1801.42/1801.76 c max depth (total): 0
1801.42/1801.76 c backtracks : 0 (0.0%)
1801.42/1801.76 c delayed cutoffs : 0
1801.42/1801.76 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1801.42/1801.76 c avg switch length: 1.00
1801.42/1801.76 c switching time : 0.00
1801.42/1801.76 c Solution :
1801.42/1801.76 c Solutions found : 0 (0 improvements)
1801.42/1801.76 c Primal Bound : -
1801.42/1801.76 c Dual Bound : +6.37230910769133e+01
1801.42/1801.76 c Gap : infinite
1801.42/1801.76 c Root Dual Bound : +6.37230910769133e+01
1801.62/1801.98 c Time complete: 1801.69.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3740751-1338764982/watcher-3740751-1338764982 -o /tmp/evaluation-result-3740751-1338764982/solver-3740751-1338764982 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740751-1338764982.opb
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 14170
/proc/meminfo: memFree=23248940/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=8728 CPUtime=0 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 1548 0 0 0 0 0 0 0 20 0 1 0 342625468 8937472 1500 33554432000 4194304 7823515 140733770217696 140733770214408 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 2182 1500 354 887 0 1292 0
[startup+0.082245 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 14170
/proc/meminfo: memFree=23248940/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=21068 CPUtime=0.07 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 4606 0 0 0 7 0 0 0 20 0 1 0 342625468 21573632 4558 33554432000 4194304 7823515 140733770217696 140733770214408 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 5267 4558 354 887 0 4377 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21068
[startup+0.100328 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 14170
/proc/meminfo: memFree=23248940/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=22240 CPUtime=0.09 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 4928 0 0 0 9 0 0 0 20 0 1 0 342625468 22773760 4880 33554432000 4194304 7823515 140733770217696 140733770214408 6908047 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 5560 4880 354 887 0 4670 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22240
[startup+0.300274 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 14170
/proc/meminfo: memFree=23248940/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=38880 CPUtime=0.29 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 9083 0 0 0 28 1 0 0 20 0 1 0 342625468 39813120 9035 33554432000 4194304 7823515 140733770217696 140733770214408 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 9720 9035 354 887 0 8830 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38880
[startup+0.700294 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 14170
/proc/meminfo: memFree=23248940/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=128504 CPUtime=0.69 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 31538 0 0 0 64 5 0 0 20 0 1 0 342625468 131588096 31136 33554432000 4194304 7823515 140733770217696 140733770214408 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 32164 31160 427 887 0 31274 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 128504
[startup+1.50029 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14171
/proc/meminfo: memFree=23092932/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=204500 CPUtime=1.48 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 50346 0 0 0 139 9 0 0 20 0 1 0 342625468 209408000 49944 33554432000 4194304 7823515 140733770217696 140733770214632 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 51125 49944 427 887 0 50235 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 204500
[startup+3.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14171
/proc/meminfo: memFree=23016060/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=264828 CPUtime=3.09 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 65388 0 0 0 287 22 0 0 20 0 1 0 342625468 271183872 64364 33554432000 4194304 7823515 140733770217696 140733770214984 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 66207 64364 449 887 0 65317 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 264828
[startup+6.30029 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14171
/proc/meminfo: memFree=22951704/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=312744 CPUtime=6.29 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 75291 0 0 0 603 26 0 0 20 0 1 0 342625468 320249856 75257 33554432000 4194304 7823515 140733770217696 140733770213560 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 78186 75257 460 887 0 77296 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 312744
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14171
/proc/meminfo: memFree=22911188/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=355212 CPUtime=12.69 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 85663 0 0 0 1241 28 0 0 20 0 1 0 342625468 363737088 85629 33554432000 4194304 7823515 140733770217696 140733770214376 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 88803 85629 460 887 0 87913 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 355212
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14174
/proc/meminfo: memFree=22831552/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=431952 CPUtime=25.49 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 104606 0 0 0 2517 32 0 0 20 0 1 0 342625468 442318848 104572 33554432000 4194304 7823515 140733770217696 140733770213560 5102375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 107988 104572 461 887 0 107098 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 431952
[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 14174
/proc/meminfo: memFree=22670368/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=599988 CPUtime=51.08 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 145053 0 0 0 5065 43 0 0 20 0 1 0 342625468 614387712 145019 33554432000 4194304 7823515 140733770217696 140733770214392 5803146 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 149997 145019 461 887 0 149107 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 599988
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14174
/proc/meminfo: memFree=22443872/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=819748 CPUtime=102.28 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 201032 0 0 0 10150 78 0 0 20 0 1 0 342625468 839421952 200998 33554432000 4194304 7823515 140733770217696 140733770214392 5808440 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 204937 200998 466 887 0 204047 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 819748
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14174
/proc/meminfo: memFree=22287600/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=981616 CPUtime=162.26 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 240110 0 0 0 16127 99 0 0 20 0 1 0 342625468 1005174784 240587 33554432000 4194304 7823515 140733770217696 140733770213752 5803115 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 245404 240587 466 887 0 244514 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 981616
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14174
/proc/meminfo: memFree=22024372/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=1242464 CPUtime=222.25 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 304369 0 0 0 22103 122 0 0 20 0 1 0 342625468 1272283136 305868 33554432000 4194304 7823515 140733770217696 140733770214392 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 310616 305868 466 887 0 309726 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1242464
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14175
/proc/meminfo: memFree=21743912/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=1530196 CPUtime=282.24 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 375481 0 0 0 28074 150 0 0 20 0 1 0 342625468 1566920704 376980 33554432000 4194304 7823515 140733770217696 140733770214392 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 382549 376980 466 887 0 381659 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1530196
[startup+342.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 14175
/proc/meminfo: memFree=21509460/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=1759508 CPUtime=342.24 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 432861 0 0 0 34045 179 0 0 20 0 1 0 342625468 1801736192 434360 33554432000 4194304 7823515 140733770217696 140733770214392 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 439877 434360 466 887 0 438987 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1759508
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14175
/proc/meminfo: memFree=21289368/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=1938128 CPUtime=402.23 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 477493 0 0 0 40014 209 0 0 20 0 1 0 342625468 1984643072 478992 33554432000 4194304 7823515 140733770217696 140733770214376 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 484532 478992 466 887 0 483642 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1938128
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 14175
/proc/meminfo: memFree=20909540/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2133716 CPUtime=462.22 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 523156 0 0 0 45977 245 0 0 20 0 1 0 342625468 2184925184 526687 33554432000 4194304 7823515 140733770217696 140733770213032 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 533429 526687 531 887 0 532539 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2133716
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14175
/proc/meminfo: memFree=20891272/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2146664 CPUtime=522.21 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 526465 0 0 0 51955 266 0 0 20 0 1 0 342625468 2198183936 530589 33554432000 4194304 7823515 140733770217696 140733770213704 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 536666 530589 561 887 0 535776 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2146664
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14176
/proc/meminfo: memFree=20890556/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2146664 CPUtime=582.2 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 526465 0 0 0 57884 336 0 0 20 0 1 0 342625468 2198183936 530589 33554432000 4194304 7823515 140733770217696 140733770213704 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 536666 530589 561 887 0 535776 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2146664
[startup+642.3 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14180
/proc/meminfo: memFree=20768024/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2251088 CPUtime=1062.13 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 533813 0 0 0 105292 921 0 0 20 0 1 0 342625468 2305114112 556844 33554432000 4194304 7823515 140733770217696 140733770213688 5562284 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 562772 556844 561 887 0 561882 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 2251088
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14180
/proc/meminfo: memFree=20654928/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2368872 CPUtime=1122.12 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 536812 0 0 0 111287 925 0 0 20 0 1 0 342625468 2425724928 584371 33554432000 4194304 7823515 140733770217696 140733770213032 6212437 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 592218 584371 572 887 0 591328 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 2368872
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14220
/proc/meminfo: memFree=22529692/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2368872 CPUtime=1182.11 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 536820 0 0 0 117281 930 0 0 20 0 1 0 342625468 2425724928 584400 33554432000 4194304 7823515 140733770217696 140733770213032 5924524 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 592218 584400 572 887 0 591328 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 2368872
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14223
/proc/meminfo: memFree=22514972/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2368872 CPUtime=1242.1 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 536839 0 0 0 123273 937 0 0 20 0 1 0 342625468 2425724928 584672 33554432000 4194304 7823515 140733770217696 140733770213032 6211484 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 592218 584672 572 887 0 591328 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 2368872
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14223
/proc/meminfo: memFree=22505584/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2378540 CPUtime=1302.1 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 538421 0 0 0 129264 946 0 0 20 0 1 0 342625468 2435624960 587069 33554432000 4194304 7823515 140733770217696 140733770213496 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 594635 587069 572 887 0 593745 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 2378540
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 14223
/proc/meminfo: memFree=22504868/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2378540 CPUtime=1362.08 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 538421 0 0 0 135253 955 0 0 20 0 1 0 342625468 2435624960 587207 33554432000 4194304 7823515 140733770217696 140733770213384 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 594635 587207 572 887 0 593745 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2378540
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 14224
/proc/meminfo: memFree=22504640/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2378540 CPUtime=1422.08 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 538439 0 0 0 141246 962 0 0 20 0 1 0 342625468 2435624960 587260 33554432000 4194304 7823515 140733770217696 140733770213032 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 594635 587260 572 887 0 593745 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 2378540
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 14225
/proc/meminfo: memFree=22496364/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2386320 CPUtime=1482.06 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 539334 0 0 0 147237 969 0 0 20 0 1 0 342625468 2443591680 589366 33554432000 4194304 7823515 140733770217696 140733770213032 6212544 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 596580 589366 572 887 0 595690 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2386320
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14225
/proc/meminfo: memFree=22496020/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2386320 CPUtime=1542.06 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 539334 0 0 0 153231 975 0 0 20 0 1 0 342625468 2443591680 589539 33554432000 4194304 7823515 140733770217696 140733770213032 6211975 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 596580 589539 572 887 0 595690 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 2386320
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14225
/proc/meminfo: memFree=22495924/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2386320 CPUtime=1602.04 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 539334 0 0 0 159222 982 0 0 20 0 1 0 342625468 2443591680 589582 33554432000 4194304 7823515 140733770217696 140733770213032 6212176 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 596580 589582 572 887 0 595690 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2386320
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14225
/proc/meminfo: memFree=22503460/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2376592 CPUtime=1662.03 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 539731 0 0 0 165212 991 0 0 20 0 1 0 342625468 2433630208 587704 33554432000 4194304 7823515 140733770217696 140733770213448 5925270 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 594148 587704 572 887 0 593258 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2376592
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14225
/proc/meminfo: memFree=22500636/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2376592 CPUtime=1722.03 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 539731 0 0 0 171203 1000 0 0 20 0 1 0 342625468 2433630208 588398 33554432000 4194304 7823515 140733770217696 140733770213032 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 594148 588398 572 887 0 593258 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 2376592
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14226
/proc/meminfo: memFree=22499300/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2376592 CPUtime=1782.02 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 539731 0 0 0 177193 1009 0 0 20 0 1 0 342625468 2433630208 588670 33554432000 4194304 7823515 140733770217696 140733770213032 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 594148 588670 572 887 0 593258 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 2376592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14226
/proc/meminfo: memFree=22499148/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2376592 CPUtime=1800.02 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 539731 0 0 0 178992 1010 0 0 20 0 1 0 342625468 2433630208 588759 33554432000 4194304 7823515 140733770217696 140733770212840 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 594148 588759 572 887 0 593258 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 2376592
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14227
/proc/meminfo: memFree=22498776/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2376592 CPUtime=1800.32 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 539731 0 0 0 179022 1010 0 0 20 0 1 0 342625468 2433630208 588759 33554432000 4194304 7823515 140733770217696 140733770212840 5566491 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 594148 588759 572 887 0 593258 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 2376592
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14227
/proc/meminfo: memFree=22498776/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2376592 CPUtime=1801.12 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 539731 0 0 0 179101 1011 0 0 20 0 1 0 342625468 2433630208 588759 33554432000 4194304 7823515 140733770217696 140733770214392 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 594148 588759 572 887 0 593258 0
Current children cumulated CPU time (s) 1801.12
Current children cumulated vsize (KiB) 2376592
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14227
/proc/meminfo: memFree=22498644/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2160056 CPUtime=1801.52 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 539735 0 0 0 179141 1011 0 0 20 0 1 0 342625468 2211897344 536497 33554432000 4194304 7823515 140733770217696 140733770213032 5875083 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 540014 536497 576 887 0 539124 0
Current children cumulated CPU time (s) 1801.52
Current children cumulated vsize (KiB) 2160056
[startup+1801.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14227
/proc/meminfo: memFree=22498644/32873648 swapFree=6852/6852
[pid=14170] ppid=14168 vsize=2136612 CPUtime=1801.62 cores=1,3,5,7
/proc/14170/stat : 14170 (pbscip.linux.x8) R 14168 14170 12217 0 -1 4202496 539735 0 0 0 179150 1012 0 0 20 0 1 0 342625468 2187890688 530691 33554432000 4194304 7823515 140733770217696 140733770213032 4815080 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14170/statm: 534153 530691 576 887 0 533263 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 2136612
Child status: 0
Real time (s): 1801.98
CPU time (s): 1801.71
CPU user time (s): 1791.52
CPU system time (s): 10.1875
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 2391208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.52
system time used= 10.1875
maximum resident set size= 2363320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 539740
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= 5
involuntary context switches= 1858
runsolver used 3.74343 second user time and 9.32258 second system time
The end