0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664834-1276689012.opb>
0.02/0.08 c original problem has 2130 variables (2130 bin, 0 int, 0 impl, 0 cont) and 2495 constraints
0.02/0.08 c problem read
0.02/0.08 c presolving settings loaded
0.09/0.11 c presolving:
0.09/0.14 c (round 1) 5 del vars, 1 del conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4250 impls, 49 clqs
0.09/0.15 c (round 2) 5 del vars, 2126 del conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4250 impls, 49 clqs
0.09/0.17 c (round 3) 5 del vars, 2126 del conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 369 upgd conss, 4250 impls, 49 clqs
0.39/0.43 c (0.3s) probing: 101/2125 (4.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.43 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.43 c presolving (4 rounds):
0.39/0.43 c 5 deleted vars, 2126 deleted constraints, 5 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.43 c 4250 implications, 309 cliques
0.39/0.43 c presolved problem has 2125 variables (2125 bin, 0 int, 0 impl, 0 cont) and 369 constraints
0.39/0.43 c 320 constraints of type <knapsack>
0.39/0.43 c 49 constraints of type <setppc>
0.39/0.43 c transformed objective value is always integral (scale: 1)
0.39/0.43 c Presolving Time: 0.31
0.39/0.43 c - non default parameters ----------------------------------------------------------------------
0.39/0.43 c # SCIP version 1.2.1.2
0.39/0.43 c
0.39/0.43 c # frequency for displaying node information lines
0.39/0.43 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.43 c display/freq = 10000
0.39/0.43 c
0.39/0.43 c # maximal time in seconds to run
0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43 c limits/time = 1799.92
0.39/0.43 c
0.39/0.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43 c limits/memory = 1620
0.39/0.43 c
0.39/0.43 c # should presolving try to simplify inequalities
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c constraints/linear/simplifyinequalities = TRUE
0.39/0.43 c
0.39/0.43 c # should presolving try to simplify knapsacks
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.43 c
0.39/0.43 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.43 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.43 c separating/rapidlearning/freq = 0
0.39/0.43 c
0.39/0.43 c -----------------------------------------------------------------------------------------------
0.39/0.43 c start solving
0.39/0.43 c
0.39/0.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.48 c 0.4s| 1 | 0 | 186 | - |9967k| 0 | 35 |2125 | 369 |2125 | 369 | 0 | 0 | 0 | 5.000000e+00 | -- | Inf
0.99/1.04 c 0.9s| 1 | 0 | 238 | - | 10M| 0 | 53 |2125 | 369 |2125 | 393 | 24 | 0 | 0 | 5.000000e+00 | -- | Inf
1.29/1.36 c 1.2s| 1 | 0 | 286 | - | 11M| 0 | 65 |2125 | 369 |2125 | 416 | 47 | 0 | 0 | 5.000000e+00 | -- | Inf
1.69/1.80 c 1.6s| 1 | 0 | 393 | - | 11M| 0 | 99 |2125 | 369 |2125 | 439 | 70 | 0 | 0 | 5.000000e+00 | -- | Inf
2.10/2.15 c 2.0s| 1 | 0 | 720 | - | 12M| 0 | 110 |2125 | 369 |2125 | 462 | 93 | 0 | 0 | 5.000000e+00 | -- | Inf
2.59/2.61 c 2.4s| 1 | 0 | 1320 | - | 12M| 0 | 122 |2125 | 369 |2125 | 483 | 114 | 0 | 0 | 5.000000e+00 | -- | Inf
2.98/3.09 c 2.9s| 1 | 0 | 1887 | - | 12M| 0 | 126 |2125 | 369 |2125 | 504 | 135 | 0 | 0 | 5.000000e+00 | -- | Inf
5.39/5.45 c 5.2s| 1 | 2 | 1887 | - | 12M| 0 | 126 |2125 | 369 |2125 | 504 | 135 | 0 | 19 | 5.000000e+00 | -- | Inf
163.64/163.71 c 157s| 10000 | 946 |263668 | 26.2 | 19M| 72 | 38 |2125 |2335 |2125 | 442 | 135 | 13k|6060 | 5.000000e+00 | -- | Inf
290.32/290.47 c 280s| 20000 | 1736 |541914 | 27.0 | 22M| 84 | 39 |2125 |2241 |2125 | 442 | 135 | 27k|8980 | 5.000000e+00 | -- | Inf
413.08/413.23 c 398s| 30000 | 2316 |819490 | 27.3 | 25M| 93 | 39 |2125 |2646 |2125 | 442 | 135 | 40k| 11k| 5.000000e+00 | -- | Inf
555.26/555.49 c 535s| 40000 | 2873 | 1138k| 28.4 | 29M| 93 | - |2125 |3141 |2125 | 442 | 135 | 53k| 14k| 5.000000e+00 | -- | Inf
678.42/678.62 c 655s| 50000 | 3271 | 1448k| 28.9 | 31M| 93 | - |2125 |2870 |2125 | 442 | 135 | 64k| 15k| 5.000000e+00 | -- | Inf
816.58/816.83 c 788s| 60000 | 3648 | 1753k| 29.2 | 33M| 97 | - |2125 |3113 |2125 | 442 | 135 | 77k| 18k| 5.000000e+00 | -- | Inf
953.85/954.19 c 921s| 70000 | 4210 | 2064k| 29.5 | 37M| 103 | 55 |2125 |4324 |2125 | 442 | 135 | 91k| 20k| 5.000000e+00 | -- | Inf
1095.81/1096.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1095.81/1096.13 c 1058s| 80000 | 4430 | 2416k| 30.2 | 38M| 103 | 44 |2125 |3384 |2125 | 442 | 135 | 102k| 22k| 5.000000e+00 | -- | Inf
1234.98/1235.34 c 1193s| 90000 | 4574 | 2754k| 30.6 | 39M| 103 | 44 |2125 |3648 |2125 | 442 | 135 | 112k| 24k| 5.000000e+00 | -- | Inf
1362.05/1362.44 c 1316s|100000 | 4849 | 3085k| 30.8 | 42M| 103 | 48 |2125 |4359 |2125 | 442 | 135 | 124k| 25k| 5.000000e+00 | -- | Inf
1506.81/1507.25 c 1456s|110000 | 5026 | 3424k| 31.1 | 43M| 103 | 53 |2125 |4245 |2125 | 442 | 135 | 135k| 27k| 5.000000e+00 | -- | Inf
1632.77/1633.23 c 1578s|120000 | 5016 | 3763k| 31.3 | 43M| 103 | - |2125 |3896 |2125 | 442 | 135 | 145k| 28k| 5.000000e+00 | -- | Inf
1753.25/1753.76 c 1695s|130000 | 5168 | 4082k| 31.4 | 44M| 103 | - |2125 |4542 |2125 | 442 | 135 | 155k| 28k| 5.000000e+00 | -- | Inf
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.51 c
1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time (sec) : 1739.89
1800.05/1800.51 c Solving Nodes : 133592
1800.05/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.51 c Dual Bound : +5.00000000000000e+00
1800.05/1800.51 c Gap : infinite
1800.05/1800.51 s UNKNOWN
1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time : 1739.89
1800.05/1800.51 c Original Problem :
1800.05/1800.51 c Problem name : HOME/instance-2664834-1276689012.opb
1800.05/1800.51 c Variables : 2130 (2130 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 2495 initial, 2495 maximal
1800.05/1800.51 c Presolved Problem :
1800.05/1800.51 c Problem name : t_HOME/instance-2664834-1276689012.opb
1800.05/1800.51 c Variables : 2125 (2125 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 369 initial, 5288 maximal
1800.05/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c probing : 0.09 0 0 0 0 0 0 0 0
1800.05/1800.51 c knapsack : 0.15 0 0 0 0 0 0 0 0
1800.05/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c linear : 0.05 5 0 0 5 0 2126 0 0
1800.05/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c root node : - 0 - - 0 - - - -
1800.05/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c integral : 0 0 0 82007 0 702 17043 0 0 143976
1800.05/1800.51 c knapsack : 320 6 589084 0 0 1847 2451237 1200 0 0
1800.05/1800.51 c setppc : 49 6 587237 0 0 823 1565730 0 0 0
1800.05/1800.51 c logicor : 0+ 0 222623 0 0 10663 152418 0 0 0
1800.05/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.51 c integral : 244.28 0.00 0.00 244.28 0.00
1800.05/1800.51 c knapsack : 170.63 0.04 170.59 0.00 0.00
1800.05/1800.51 c setppc : 5.61 0.00 5.61 0.00 0.00
1800.05/1800.51 c logicor : 19.41 0.00 19.41 0.00 0.00
1800.05/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.51 c vbounds : 0.35 2 0 0
1800.05/1800.51 c rootredcost : 0.29 0 0 0
1800.05/1800.51 c pseudoobj : 0.24 0 0 0
1800.05/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.51 c propagation : 4.42 13333 13310 129200 73.4 591 86.6 -
1800.05/1800.51 c infeasible LP : 95.19 50738 29469 544227 142.6 451 72.1 0
1800.05/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.51 c applied globally : - - - 160874 79.9 - - -
1800.05/1800.51 c applied locally : - - - 14 302.5 - - -
1800.05/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.51 c cut pool : 0.00 5 - - 1032 - (maximal pool size: 1427)
1800.05/1800.51 c redcost : 7.26 81955 0 0 0 0
1800.05/1800.51 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.51 c intobj : 0.00 0 0 0 0 0
1800.05/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.51 c gomory : 0.09 6 0 0 27 0
1800.05/1800.51 c strongcg : 0.27 6 0 0 31 0
1800.05/1800.51 c cmir : 0.69 6 0 0 1568 0
1800.05/1800.51 c flowcover : 0.60 6 0 0 1201 0
1800.05/1800.51 c clique : 0.00 6 0 0 14 0
1800.05/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.51 c mcf : 0.00 1 0 0 0 0
1800.05/1800.51 c rapidlearning : 0.25 1 0 0 0 0
1800.05/1800.51 c Pricers : Time Calls Vars
1800.05/1800.51 c problem variables: 0.00 0 0
1800.05/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c relpscost : 243.95 82007 702 17043 0 0 143976
1800.05/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c random : 0.00 0 0 0 0 0 0
1800.05/1800.51 c Primal Heuristics : Time Calls Found
1800.05/1800.51 c LP solutions : 0.00 - 0
1800.05/1800.51 c pseudo solutions : 0.00 - 0
1800.05/1800.51 c oneopt : 0.28 0 0
1800.05/1800.51 c crossover : 0.17 0 0
1800.05/1800.51 c guideddiving : 0.05 0 0
1800.05/1800.51 c linesearchdiving : 4.10 67 0
1800.05/1800.51 c veclendiving : 3.74 67 0
1800.05/1800.51 c rootsoldiving : 3.99 34 0
1800.05/1800.51 c feaspump : 1.35 34 0
1800.05/1800.51 c objpscostdiving : 4.33 34 0
1800.05/1800.51 c pscostdiving : 8.43 68 0
1800.05/1800.51 c coefdiving : 17.00 68 0
1800.05/1800.51 c fracdiving : 16.32 68 0
1800.05/1800.51 c trivial : 0.01 2 0
1800.05/1800.51 c simplerounding : 0.14 0 0
1800.05/1800.51 c zirounding : 0.18 1000 0
1800.05/1800.51 c rounding : 0.69 4036 0
1800.05/1800.51 c shifting : 3.78 1210 0
1800.05/1800.51 c intshifting : 0.03 0 0
1800.05/1800.51 c twoopt : 0.00 0 0
1800.05/1800.51 c fixandinfer : 0.00 0 0
1800.05/1800.51 c intdiving : 0.00 0 0
1800.05/1800.51 c actconsdiving : 0.00 0 0
1800.05/1800.51 c octane : 0.00 0 0
1800.05/1800.51 c rens : 0.10 1 0
1800.05/1800.51 c rins : 0.00 0 0
1800.05/1800.51 c localbranching : 0.00 0 0
1800.05/1800.51 c mutation : 0.00 0 0
1800.05/1800.51 c dins : 0.00 0 0
1800.05/1800.51 c undercover : 0.00 0 0
1800.05/1800.51 c nlp : 0.08 0 0
1800.05/1800.51 c trysol : 0.16 0 0
1800.05/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.51 c dual LP : 1009.10 131181 4078457 31.09 4041.68
1800.05/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.51 c diving/probing LP: 46.31 13608 117796 8.66 2543.64
1800.05/1800.51 c strong branching : 239.57 29499 1019964 34.58 4257.48
1800.05/1800.51 c (at root node) : - 19 6811 358.47 -
1800.05/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.51 c B&B Tree :
1800.05/1800.51 c number of runs : 1
1800.05/1800.51 c nodes : 133592
1800.05/1800.51 c nodes (total) : 133592
1800.05/1800.51 c nodes left : 5206
1800.05/1800.51 c max depth : 103
1800.05/1800.51 c max depth (total): 103
1800.05/1800.51 c backtracks : 20377 (15.3%)
1800.05/1800.51 c delayed cutoffs : 5179
1800.05/1800.51 c repropagations : 287472 (535839 domain reductions, 1998 cutoffs)
1800.05/1800.51 c avg switch length: 7.54
1800.05/1800.51 c switching time : 48.84
1800.05/1800.51 c Solution :
1800.05/1800.51 c Solutions found : 0 (0 improvements)
1800.05/1800.51 c Primal Bound : -
1800.05/1800.51 c Dual Bound : +5.00000000000000e+00
1800.05/1800.51 c Gap : infinite
1800.05/1800.51 c Root Dual Bound : +5.00000000000000e+00
1800.05/1800.51 c Root Iterations : 1887
1800.15/1800.63 c Time complete: 1800.17.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664834-1276689012/watcher-2664834-1276689012 -o /tmp/evaluation-result-2664834-1276689012/solver-2664834-1276689012 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664834-1276689012.opb -t 1800 -m 1800
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.82 1.93 1.61 3/106 15367
/proc/meminfo: memFree=1562240/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=9288 CPUtime=0
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 1024 0 0 0 0 0 0 0 20 0 1 0 10193842 9510912 945 1992294400 4194304 9819077 140733521512656 18446744073709551615 8657695 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15367/statm: 2322 954 371 1374 0 943 0
[startup+0.0310591 s]
/proc/loadavg: 1.82 1.93 1.61 3/106 15367
/proc/meminfo: memFree=1562240/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=11900 CPUtime=0.02
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 1913 0 0 0 2 0 0 0 20 0 1 0 10193842 12185600 1833 1992294400 4194304 9819077 140733521512656 18446744073709551615 6181209 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15367/statm: 2975 1833 388 1374 0 1596 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11900
[startup+0.101065 s]
/proc/loadavg: 1.82 1.93 1.61 3/106 15367
/proc/meminfo: memFree=1562240/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=19328 CPUtime=0.09
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 4089 0 0 0 8 1 0 0 20 0 1 0 10193842 19791872 3656 1992294400 4194304 9819077 140733521512656 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 4832 3668 429 1374 0 3453 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19328
[startup+0.301082 s]
/proc/loadavg: 1.82 1.93 1.61 3/106 15367
/proc/meminfo: memFree=1562240/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=26832 CPUtime=0.29
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 6339 0 0 0 27 2 0 0 20 0 1 0 10193842 27475968 5391 1992294400 4194304 9819077 140733521512656 18446744073709551615 4891141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 6708 5391 504 1374 0 5329 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26832
[startup+0.701118 s]
/proc/loadavg: 1.82 1.93 1.61 3/106 15367
/proc/meminfo: memFree=1562240/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=36784 CPUtime=0.69
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 10020 0 0 0 66 3 0 0 20 0 1 0 10193842 37666816 7703 1992294400 4194304 9819077 140733521512656 18446744073709551615 6050629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 9196 7703 671 1374 0 7817 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36784
[startup+1.50119 s]
/proc/loadavg: 1.82 1.93 1.61 2/107 15368
/proc/meminfo: memFree=1514492/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=37716 CPUtime=1.49
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 16591 0 0 0 142 7 0 0 23 0 1 0 10193842 38621184 7937 1992294400 4194304 9819077 140733521512656 18446744073709551615 4310886 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 9429 7937 698 1374 0 8050 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37716
[startup+3.10134 s]
/proc/loadavg: 1.82 1.93 1.61 2/107 15368
/proc/meminfo: memFree=1530736/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=41992 CPUtime=3.09
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 19867 0 0 0 299 10 0 0 25 0 1 0 10193842 42999808 8859 1992294400 4194304 9819077 140733521512656 18446744073709551615 4561452 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15367/statm: 10498 8859 698 1374 0 9119 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41992
[startup+6.30061 s]
/proc/loadavg: 1.76 1.91 1.60 2/107 15368
/proc/meminfo: memFree=1528628/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=43124 CPUtime=6.28
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 44558 0 0 0 608 20 0 0 25 0 1 0 10193842 44158976 8964 1992294400 4194304 9819077 140733521512656 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 10781 8964 714 1374 0 9402 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 43124
[startup+12.7012 s]
/proc/loadavg: 1.70 1.90 1.60 2/107 15370
/proc/meminfo: memFree=1528132/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=43628 CPUtime=12.69
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 83600 0 0 0 1227 42 0 0 25 0 1 0 10193842 44675072 9062 1992294400 4194304 9819077 140733521512656 18446744073709551615 7311687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 10907 9062 728 1374 0 9528 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43628
[startup+25.5013 s]
/proc/loadavg: 1.54 1.85 1.59 2/107 15370
/proc/meminfo: memFree=1527760/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=44340 CPUtime=25.48
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 164952 0 0 0 2456 92 0 0 25 0 1 0 10193842 45404160 9159 1992294400 4194304 9819077 140733521512656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 11085 9159 732 1374 0 9706 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44340
[startup+51.1005 s]
/proc/loadavg: 1.36 1.78 1.57 2/107 15370
/proc/meminfo: memFree=1524660/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=45676 CPUtime=51.08
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 331464 0 0 0 4913 195 0 0 25 0 1 0 10193842 46772224 9953 1992294400 4194304 9819077 140733521512656 18446744073709551615 6364953 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 11419 9953 734 1374 0 10040 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45676
[startup+102.308 s]
/proc/loadavg: 1.15 1.66 1.54 2/107 15372
/proc/meminfo: memFree=1519204/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=50860 CPUtime=102.27
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 613695 0 0 0 9831 396 0 0 25 0 1 0 10193842 52080640 11222 1992294400 4194304 9819077 140733521512656 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 12715 11222 734 1374 0 11336 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 50860
[startup+162.301 s]
/proc/loadavg: 1.05 1.54 1.50 2/107 15374
/proc/meminfo: memFree=1516352/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=53976 CPUtime=162.25
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 964973 0 0 0 15588 637 0 0 25 0 1 0 10193842 55271424 11994 1992294400 4194304 9819077 140733521512656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 13494 11994 734 1374 0 12115 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 53976
[startup+222.3 s]
/proc/loadavg: 1.02 1.44 1.47 2/107 15374
/proc/meminfo: memFree=1513004/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=56344 CPUtime=222.23
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 1203504 0 0 0 21389 834 0 0 25 0 1 0 10193842 57696256 12772 1992294400 4194304 9819077 140733521512656 18446744073709551615 7222434 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 14086 12773 734 1374 0 12707 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 56344
[startup+282.301 s]
/proc/loadavg: 1.00 1.35 1.44 2/107 15376
/proc/meminfo: memFree=1511516/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=58288 CPUtime=282.22
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 1507085 0 0 0 27171 1051 0 0 25 0 1 0 10193842 59686912 13175 1992294400 4194304 9819077 140733521512656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 14572 13175 734 1374 0 13193 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 58288
[startup+342.301 s]
/proc/loadavg: 1.00 1.29 1.41 2/107 15378
/proc/meminfo: memFree=1509408/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=60520 CPUtime=342.21
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 1832754 0 0 0 32947 1274 0 0 25 0 1 0 10193842 61972480 13671 1992294400 4194304 9819077 140733521512656 18446744073709551615 7312805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 15130 13671 734 1374 0 13751 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 60520
[startup+402.301 s]
/proc/loadavg: 1.00 1.23 1.38 2/107 15380
/proc/meminfo: memFree=1504944/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=64780 CPUtime=402.19
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 2082977 0 0 0 38754 1465 0 0 25 0 1 0 10193842 66334720 14768 1992294400 4194304 9819077 140733521512656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 16195 14768 734 1374 0 14816 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 64780
[startup+462.301 s]
/proc/loadavg: 1.00 1.19 1.35 2/107 15382
/proc/meminfo: memFree=1503456/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=68224 CPUtime=462.18
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 2366273 0 0 0 44550 1668 0 0 25 0 1 0 10193842 69861376 15161 1992294400 4194304 9819077 140733521512656 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 17113 15164 734 1374 0 15734 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 68224
[startup+522.301 s]
/proc/loadavg: 1.00 1.15 1.33 2/107 15382
/proc/meminfo: memFree=1501968/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=67948 CPUtime=522.16
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 2673960 0 0 0 50343 1873 0 0 25 0 1 0 10193842 69578752 15516 1992294400 4194304 9819077 140733521512656 18446744073709551615 4854270 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 16987 15516 734 1374 0 15608 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 67948
[startup+582.301 s]
/proc/loadavg: 1.00 1.12 1.31 2/107 15384
/proc/meminfo: memFree=1499736/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=69900 CPUtime=582.15
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 2971502 0 0 0 56137 2078 0 0 25 0 1 0 10193842 71577600 16033 1992294400 4194304 9819077 140733521512656 18446744073709551615 7816439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 17475 16033 734 1374 0 16096 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 69900
[startup+642.301 s]
/proc/loadavg: 1.00 1.10 1.28 2/107 15386
/proc/meminfo: memFree=1498744/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=70756 CPUtime=642.13
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 3209981 0 0 0 61949 2264 0 0 25 0 1 0 10193842 72454144 16296 1992294400 4194304 9819077 140733521512656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 17689 16296 734 1374 0 16310 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 70756
[startup+702.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.00 1.04 1.21 2/107 15401
/proc/meminfo: memFree=1491676/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=77972 CPUtime=882.06
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 4319380 0 0 0 85138 3068 0 0 25 0 1 0 10193842 79843328 17954 1992294400 4194304 9819077 140733521512656 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 19493 17954 734 1374 0 18114 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 77972
[startup+942.301 s]
/proc/loadavg: 1.00 1.03 1.19 2/107 15403
/proc/meminfo: memFree=1489816/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=80048 CPUtime=942.05
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 4600672 0 0 0 90926 3279 0 0 25 0 1 0 10193842 81969152 18455 1992294400 4194304 9819077 140733521512656 18446744073709551615 6391609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 20012 18455 734 1374 0 18633 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 80048
[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.18 2/107 15405
/proc/meminfo: memFree=1488328/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=81200 CPUtime=1002.03
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 4861079 0 0 0 96733 3470 0 0 25 0 1 0 10193842 83148800 18794 1992294400 4194304 9819077 140733521512656 18446744073709551615 7316348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 20300 18794 734 1374 0 18921 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 81200
[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/107 15407
/proc/meminfo: memFree=1487336/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=82408 CPUtime=1062.02
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 5083525 0 0 0 102554 3648 0 0 25 0 1 0 10193842 84385792 19100 1992294400 4194304 9819077 140733521512656 18446744073709551615 7289193 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 20602 19100 734 1374 0 19223 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 82408
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/107 15407
/proc/meminfo: memFree=1486840/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=82740 CPUtime=1122.01
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 5360568 0 0 0 108355 3846 0 0 25 0 1 0 10193842 84725760 19175 1992294400 4194304 9819077 140733521512656 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 20685 19175 734 1374 0 19306 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 82740
[startup+1182.3 s]
/proc/loadavg: 1.13 1.04 1.15 2/107 15409
/proc/meminfo: memFree=1485476/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=84040 CPUtime=1181.99
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 5637267 0 0 0 114153 4046 0 0 25 0 1 0 10193842 86056960 19493 1992294400 4194304 9819077 140733521512656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 21010 19493 738 1374 0 19631 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 84040
[startup+1242.3 s]
/proc/loadavg: 1.05 1.03 1.14 2/107 15411
/proc/meminfo: memFree=1483864/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=85000 CPUtime=1241.97
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 5868644 0 0 0 119969 4228 0 0 25 0 1 0 10193842 87040000 19837 1992294400 4194304 9819077 140733521512656 18446744073709551615 7096947 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 21250 19837 738 1374 0 19871 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 85000
[startup+1302.3 s]
/proc/loadavg: 1.02 1.02 1.13 2/107 15413
/proc/meminfo: memFree=1482624/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=86508 CPUtime=1301.97
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 6065783 0 0 0 125799 4398 0 0 25 0 1 0 10193842 88584192 20108 1992294400 4194304 9819077 140733521512656 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 21627 20108 738 1374 0 20248 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 86508
[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/107 15415
/proc/meminfo: memFree=1482004/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=87256 CPUtime=1361.94
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 6322999 0 0 0 131608 4586 0 0 25 0 1 0 10193842 89350144 20284 1992294400 4194304 9819077 140733521512656 18446744073709551615 6842930 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 21814 20284 738 1374 0 20435 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 87256
[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.10 2/107 15415
/proc/meminfo: memFree=1481136/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=88076 CPUtime=1421.94
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 6611967 0 0 0 137410 4784 0 0 25 0 1 0 10193842 90189824 20500 1992294400 4194304 9819077 140733521512656 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 22019 20500 738 1374 0 20640 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 88076
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 15417
/proc/meminfo: memFree=1478656/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=90724 CPUtime=1481.91
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 6893395 0 0 0 143205 4986 0 0 25 0 1 0 10193842 92901376 21153 1992294400 4194304 9819077 140733521512656 18446744073709551615 7289471 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 22681 21153 738 1374 0 21302 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 90724
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 15419
/proc/meminfo: memFree=1476672/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=92852 CPUtime=1541.9
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 7156990 0 0 0 149007 5183 0 0 25 0 1 0 10193842 95080448 21640 1992294400 4194304 9819077 140733521512656 18446744073709551615 7816519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 23213 21640 738 1374 0 21834 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 92852
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 15421
/proc/meminfo: memFree=1476176/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=93340 CPUtime=1601.89
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 7398386 0 0 0 154820 5369 0 0 25 0 1 0 10193842 95580160 21718 1992294400 4194304 9819077 140733521512656 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 23335 21718 738 1374 0 21956 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 93340
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 15423
/proc/meminfo: memFree=1475680/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=93672 CPUtime=1661.87
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 7645431 0 0 0 160627 5560 0 0 25 0 1 0 10193842 95920128 21831 1992294400 4194304 9819077 140733521512656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 23418 21831 738 1374 0 22039 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 93672
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 15423
/proc/meminfo: memFree=1474936/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=94216 CPUtime=1721.85
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 7874243 0 0 0 166442 5743 0 0 25 0 1 0 10193842 96477184 22013 1992294400 4194304 9819077 140733521512656 18446744073709551615 6699019 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 23554 22015 738 1374 0 22175 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 94216
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 15425
/proc/meminfo: memFree=1473820/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=95008 CPUtime=1781.84
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 8162243 0 0 0 172232 5952 0 0 25 0 1 0 10193842 97288192 22209 1992294400 4194304 9819077 140733521512656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 23752 22209 738 1374 0 22373 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 95008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 15425
/proc/meminfo: memFree=1473696/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=94784 CPUtime=1800.05
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 8245039 0 0 0 173996 6009 0 0 25 0 1 0 10193842 97058816 22246 1992294400 4194304 9819077 140733521512656 18446744073709551615 7226672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15367/statm: 23696 22246 738 1374 0 22317 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 94784
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 15426
/proc/meminfo: memFree=1474928/2059040 swapFree=4192956/4192956
[pid=15367] ppid=15365 vsize=66416 CPUtime=1800.15
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 15008 0 -1 4202496 8245050 0 0 0 174006 6009 0 0 25 0 1 0 10193842 68009984 15702 1992294400 4194304 9819077 140733521512656 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15367/statm: 16604 15567 739 1374 0 15225 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 66416
Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.18
CPU user time (s): 1740.07
CPU system time (s): 60.1039
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 97276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1740.07
system time used= 60.1039
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8245054
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 22417
runsolver used 3.04154 second user time and 8.44272 second system time
The end