0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666866-1276584587.opb>
1.10/1.18 c original problem has 8883 variables (8883 bin, 0 int, 0 impl, 0 cont) and 17459 constraints
1.10/1.18 c problem read
1.10/1.18 c presolving settings loaded
1.49/1.56 c presolving:
1.79/1.86 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.99/2.01 c (round 2) 0 del vars, 8568 del conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 170 upgd conss, 0 impls, 0 clqs
2.10/2.16 c (round 3) 0 del vars, 8568 del conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 323 upgd conss, 1412 impls, 0 clqs
7.29/7.38 c (6.0s) probing: 117/8883 (1.3%) - 0 fixings, 0 aggregations, 4896 implications, 0 bound changes
7.29/7.38 c (6.0s) probing aborted: 100/100 successive totally useless probings
7.29/7.38 c presolving (4 rounds):
7.29/7.38 c 0 deleted vars, 8568 deleted constraints, 0 tightened bounds, 0 added holes, 306 changed sides, 306 changed coefficients
7.29/7.38 c 17748 implications, 0 cliques
7.29/7.38 c presolved problem has 8883 variables (8883 bin, 0 int, 0 impl, 0 cont) and 8891 constraints
7.29/7.38 c 323 constraints of type <knapsack>
7.29/7.38 c 8568 constraints of type <linear>
7.29/7.38 c transformed objective value is always integral (scale: 1)
7.29/7.38 c Presolving Time: 5.81
7.29/7.38 c - non default parameters ----------------------------------------------------------------------
7.29/7.38 c # SCIP version 1.2.1.2
7.29/7.38 c
7.29/7.38 c # frequency for displaying node information lines
7.29/7.38 c # [type: int, range: [-1,2147483647], default: 100]
7.29/7.38 c display/freq = 10000
7.29/7.38 c
7.29/7.38 c # maximal time in seconds to run
7.29/7.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.29/7.38 c limits/time = 1798.83
7.29/7.38 c
7.29/7.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.29/7.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.29/7.38 c limits/memory = 1620
7.29/7.38 c
7.29/7.38 c # should presolving try to simplify inequalities
7.29/7.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.29/7.38 c constraints/linear/simplifyinequalities = TRUE
7.29/7.38 c
7.29/7.38 c # should presolving try to simplify knapsacks
7.29/7.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.29/7.38 c constraints/knapsack/simplifyinequalities = TRUE
7.29/7.38 c
7.29/7.38 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
7.29/7.38 c # [type: int, range: [-1,2147483647], default: -1]
7.29/7.38 c separating/rapidlearning/freq = 0
7.29/7.38 c
7.29/7.38 c -----------------------------------------------------------------------------------------------
7.29/7.38 c start solving
7.29/7.39 c
13.58/13.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.58/13.68 c 12.2s| 1 | 0 | 10750 | - | 82M| 0 |5006 |8883 |8891 |8883 |8891 | 0 | 0 | 0 | 1.700000e+01 | -- | Inf
29.58/29.65 c 27.9s| 1 | 0 | 16896 | - | 83M| 0 |5016 |8883 |8891 |8883 |8949 | 58 | 0 | 0 | 1.700000e+01 | -- | Inf
32.47/32.55 c 30.8s| 1 | 0 | 17206 | - | 83M| 0 |5019 |8883 |8891 |8883 |9045 | 154 | 0 | 0 | 1.700000e+01 | -- | Inf
35.37/35.46 c 33.7s| 1 | 0 | 17539 | - | 84M| 0 |5022 |8883 |8891 |8883 |9123 | 232 | 0 | 0 | 1.700000e+01 | -- | Inf
39.27/39.30 c 37.5s| 1 | 0 | 18077 | - | 85M| 0 |5016 |8883 |8891 |8883 |9197 | 306 | 0 | 0 | 1.700000e+01 | -- | Inf
45.16/45.21 c 43.3s| 1 | 0 | 19181 | - | 85M| 0 |5040 |8883 |8891 |8883 |9281 | 390 | 0 | 0 | 1.700206e+01 | -- | Inf
50.87/50.95 c 49.0s| 1 | 0 | 19994 | - | 86M| 0 |5030 |8883 |8891 |8883 |9359 | 468 | 0 | 0 | 1.700206e+01 | -- | Inf
56.96/57.00 c 55.0s| 1 | 0 | 20855 | - | 86M| 0 |5026 |8883 |8891 |8883 |9434 | 543 | 0 | 0 | 1.700206e+01 | -- | Inf
63.36/63.47 c 61.4s| 1 | 0 | 21742 | - | 86M| 0 |5029 |8883 |8891 |8883 |9518 | 627 | 0 | 0 | 1.700565e+01 | -- | Inf
69.16/69.29 c 67.2s| 1 | 0 | 22586 | - | 87M| 0 |5034 |8883 |8891 |8883 |9587 | 696 | 0 | 0 | 1.716667e+01 | -- | Inf
76.25/76.31 c 74.2s| 1 | 0 | 23397 | - | 87M| 0 |5026 |8883 |8891 |8883 |9661 | 770 | 0 | 0 | 1.716667e+01 | -- | Inf
81.65/81.72 c 79.5s| 1 | 0 | 24479 | - | 87M| 0 |5021 |8883 |8891 |8883 |9698 | 807 | 0 | 0 | 1.716667e+01 | -- | Inf
86.45/86.55 c 84.3s| 1 | 0 | 25278 | - | 87M| 0 |5027 |8883 |8891 |8883 |9722 | 831 | 0 | 0 | 1.722222e+01 | -- | Inf
91.74/91.85 c 89.5s| 1 | 0 | 26162 | - | 87M| 0 |5029 |8883 |8891 |8883 |9753 | 862 | 0 | 0 | 1.722222e+01 | -- | Inf
96.84/96.91 c 94.5s| 1 | 0 | 27043 | - | 87M| 0 |5018 |8883 |8891 |8883 |9780 | 889 | 0 | 0 | 1.722222e+01 | -- | Inf
102.94/103.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.94/103.01 c 101s| 1 | 0 | 28065 | - | 87M| 0 |5026 |8883 |8891 |8883 |9807 | 916 | 0 | 0 | 1.722222e+01 | -- | Inf
108.44/108.53 c 106s| 1 | 0 | 28968 | - | 87M| 0 |5023 |8883 |8891 |8883 |9481 | 943 | 0 | 0 | 1.726667e+01 | -- | Inf
113.24/113.33 c 111s| 1 | 0 | 29810 | - | 87M| 0 |5017 |8883 |8891 |8883 |9528 | 990 | 0 | 0 | 1.726667e+01 | -- | Inf
117.64/117.74 c 115s| 1 | 0 | 30626 | - | 87M| 0 |5023 |8883 |8891 |8883 |9554 |1016 | 0 | 0 | 1.726667e+01 | -- | Inf
121.94/122.03 c 119s| 1 | 0 | 31399 | - | 87M| 0 |5009 |8883 |8891 |8883 |9585 |1047 | 0 | 0 | 1.726667e+01 | -- | Inf
126.33/126.49 c 124s| 1 | 0 | 32183 | - | 87M| 0 |4995 |8883 |8891 |8883 |9614 |1076 | 0 | 0 | 1.726667e+01 | -- | Inf
130.84/130.93 c 128s| 1 | 0 | 33029 | - | 87M| 0 |4989 |8883 |8891 |8883 |9644 |1106 | 0 | 0 | 1.726667e+01 | -- | Inf
210.59/210.79 c 207s| 1 | 2 | 33029 | - | 87M| 0 |4989 |8883 |8891 |8883 |9644 |1106 | 0 | 19 | 1.726667e+01 | -- | Inf
1800.04/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.44/1801.22 c
1800.44/1801.22 c SCIP Status : solving was interrupted [user interrupt]
1800.44/1801.22 c Solving Time (sec) : 1780.74
1800.44/1801.22 c Solving Nodes : 14
1800.44/1801.22 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.44/1801.22 c Dual Bound : +1.72666666666667e+01
1800.44/1801.22 c Gap : infinite
1800.44/1801.22 s UNKNOWN
1800.44/1801.22 c SCIP Status : solving was interrupted [user interrupt]
1800.44/1801.22 c Solving Time : 1780.74
1800.44/1801.22 c Original Problem :
1800.44/1801.22 c Problem name : HOME/instance-2666866-1276584587.opb
1800.44/1801.22 c Variables : 8883 (8883 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.44/1801.22 c Constraints : 17459 initial, 17459 maximal
1800.44/1801.22 c Presolved Problem :
1800.44/1801.22 c Problem name : t_HOME/instance-2666866-1276584587.opb
1800.44/1801.22 c Variables : 8883 (8883 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.44/1801.22 c Constraints : 8891 initial, 10396 maximal
1800.44/1801.22 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.44/1801.22 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.44/1801.22 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.44/1801.22 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.44/1801.22 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.44/1801.22 c implics : 0.01 0 0 0 0 0 0 0 0
1800.44/1801.22 c probing : 5.17 0 0 0 0 0 0 0 0
1800.44/1801.22 c knapsack : 0.02 0 0 0 0 0 0 0 0
1800.44/1801.22 c linear : 0.47 0 0 0 0 0 8568 306 306
1800.44/1801.22 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.44/1801.22 c root node : - 0 - - 0 - - - -
1800.44/1801.22 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.44/1801.22 c integral : 0 0 0 51 0 0 183 0 0 28
1800.44/1801.22 c knapsack : 323 21 3624 0 0 0 33 3857 0 0
1800.44/1801.22 c linear : 8568 21 3624 0 0 0 0 0 0 0
1800.44/1801.22 c logicor : 0+ 0 1505 0 0 0 0 0 0 0
1800.44/1801.22 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.44/1801.22 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.44/1801.22 c integral : 381.19 0.00 0.00 381.19 0.00
1800.44/1801.22 c knapsack : 0.55 0.23 0.32 0.00 0.00
1800.44/1801.22 c linear : 8.70 0.03 8.67 0.00 0.00
1800.44/1801.22 c logicor : 0.00 0.00 0.00 0.00 0.00
1800.44/1801.22 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.44/1801.22 c Propagators : Time Calls Cutoffs DomReds
1800.44/1801.22 c vbounds : 0.01 2 0 0
1800.44/1801.22 c rootredcost : 0.00 0 0 0
1800.44/1801.22 c pseudoobj : 0.01 3381 0 0
1800.44/1801.22 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.44/1801.22 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.44/1801.22 c infeasible LP : 5.04 1505 1505 1505 5.4 0 0.0 0
1800.44/1801.22 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.44/1801.22 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.44/1801.22 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.44/1801.22 c applied globally : - - - 1505 5.4 - - -
1800.44/1801.22 c applied locally : - - - 0 0.0 - - -
1800.44/1801.22 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.44/1801.22 c cut pool : 0.01 20 - - 13816 - (maximal pool size: 6220)
1800.44/1801.22 c redcost : 0.09 39 0 0 0 0
1800.44/1801.22 c impliedbounds : 0.04 21 0 0 35 0
1800.44/1801.22 c intobj : 0.00 0 0 0 0 0
1800.44/1801.22 c cgmip : 0.00 0 0 0 0 0
1800.44/1801.22 c gomory : 5.50 21 0 0 62 0
1800.44/1801.22 c strongcg : 5.00 20 0 0 37 0
1800.44/1801.22 c cmir : 10.09 10 0 0 5000 0
1800.44/1801.22 c flowcover : 6.56 10 0 0 2000 0
1800.44/1801.22 c clique : 0.02 1 0 0 0 0
1800.44/1801.22 c zerohalf : 0.00 0 0 0 0 0
1800.44/1801.22 c mcf : 0.00 1 0 0 0 0
1800.44/1801.22 c rapidlearning : 3.61 1 0 0 0 0
1800.44/1801.22 c Pricers : Time Calls Vars
1800.44/1801.22 c problem variables: 0.00 0 0
1800.44/1801.22 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.44/1801.22 c relpscost : 381.19 51 0 183 0 0 28
1800.44/1801.22 c pscost : 0.00 0 0 0 0 0 0
1800.44/1801.22 c inference : 0.00 0 0 0 0 0 0
1800.44/1801.22 c mostinf : 0.00 0 0 0 0 0 0
1800.44/1801.22 c leastinf : 0.00 0 0 0 0 0 0
1800.44/1801.22 c fullstrong : 0.00 0 0 0 0 0 0
1800.44/1801.22 c allfullstrong : 0.00 0 0 0 0 0 0
1800.44/1801.22 c random : 0.00 0 0 0 0 0 0
1800.44/1801.22 c Primal Heuristics : Time Calls Found
1800.44/1801.22 c LP solutions : 0.00 - 0
1800.44/1801.22 c pseudo solutions : 0.00 - 0
1800.44/1801.22 c oneopt : 0.00 0 0
1800.44/1801.22 c crossover : 0.00 0 0
1800.44/1801.22 c pscostdiving : 0.00 0 0
1800.44/1801.22 c fracdiving : 0.00 0 0
1800.44/1801.22 c veclendiving : 0.00 0 0
1800.44/1801.22 c objpscostdiving : 0.00 0 0
1800.44/1801.22 c rootsoldiving : 0.00 0 0
1800.44/1801.22 c linesearchdiving : 0.00 0 0
1800.44/1801.22 c guideddiving : 0.00 0 0
1800.44/1801.22 c trivial : 0.03 2 0
1800.44/1801.22 c simplerounding : 0.00 0 0
1800.44/1801.22 c zirounding : 0.02 14 0
1800.44/1801.22 c rounding : 1.23 72 0
1800.44/1801.22 c shifting : 4.41 23 0
1800.44/1801.22 c intshifting : 0.00 0 0
1800.44/1801.22 c twoopt : 0.00 0 0
1800.44/1801.22 c fixandinfer : 0.00 0 0
1800.44/1801.22 c feaspump : 10.48 1 0
1800.44/1801.22 c coefdiving : 1245.17 1 0
1800.44/1801.22 c intdiving : 0.00 0 0
1800.44/1801.22 c actconsdiving : 0.00 0 0
1800.44/1801.22 c octane : 0.00 0 0
1800.44/1801.22 c rens : 0.03 0 0
1800.44/1801.22 c rins : 0.00 0 0
1800.44/1801.22 c localbranching : 0.00 0 0
1800.44/1801.22 c mutation : 0.00 0 0
1800.44/1801.22 c dins : 0.00 0 0
1800.44/1801.22 c undercover : 0.00 0 0
1800.44/1801.22 c nlp : 0.00 0 0
1800.44/1801.22 c trysol : 0.00 0 0
1800.44/1801.22 c LP : Time Calls Iterations Iter/call Iter/sec
1800.44/1801.22 c primal LP : 0.24 0 0 0.00 0.00
1800.44/1801.22 c dual LP : 99.48 72 37310 518.19 375.05
1800.44/1801.22 c lex dual LP : 0.00 0 0 0.00 -
1800.44/1801.22 c barrier LP : 0.00 0 0 0.00 -
1800.44/1801.22 c diving/probing LP: 1232.61 2714 802847 295.82 651.34
1800.44/1801.22 c strong branching : 380.99 378 140557 371.84 368.93
1800.44/1801.22 c (at root node) : - 19 16906 889.79 -
1800.44/1801.22 c conflict analysis: 0.00 0 0 0.00 -
1800.44/1801.22 c B&B Tree :
1800.44/1801.22 c number of runs : 1
1800.44/1801.22 c nodes : 14
1800.44/1801.22 c nodes (total) : 14
1800.44/1801.22 c nodes left : 15
1800.44/1801.22 c max depth : 13
1800.44/1801.22 c max depth (total): 13
1800.44/1801.22 c backtracks : 0 (0.0%)
1800.44/1801.22 c delayed cutoffs : 0
1800.44/1801.22 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.44/1801.22 c avg switch length: 1.00
1800.44/1801.22 c switching time : 0.17
1800.44/1801.22 c Solution :
1800.44/1801.22 c Solutions found : 0 (0 improvements)
1800.44/1801.22 c Primal Bound : -
1800.44/1801.22 c Dual Bound : +1.72666666666667e+01
1800.44/1801.22 c Gap : infinite
1800.44/1801.22 c Root Dual Bound : +1.72666666666667e+01
1800.44/1801.22 c Root Iterations : 33029
1800.73/1801.51 c Time complete: 1800.74.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666866-1276584587/watcher-2666866-1276584587 -o /tmp/evaluation-result-2666866-1276584587/solver-2666866-1276584587 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666866-1276584587.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.00 1.00 1.00 3/106 3440
/proc/meminfo: memFree=1726668/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=7724 CPUtime=0
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 1014 0 0 0 0 0 0 0 18 0 1 0 34060349 7909376 933 1992294400 4194304 8223781 140737452178848 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3440/statm: 1931 942 348 984 0 944 0
[startup+0.053857 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 3440
/proc/meminfo: memFree=1726668/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=10148 CPUtime=0.04
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 1828 0 0 0 4 0 0 0 20 0 1 0 34060349 10391552 1747 1992294400 4194304 8223781 140737452178848 18446744073709551615 4397060 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3440/statm: 2537 1747 365 984 0 1550 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10148
[startup+0.10183 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 3440
/proc/meminfo: memFree=1726668/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=11556 CPUtime=0.09
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 2177 0 0 0 9 0 0 0 20 0 1 0 34060349 11833344 2096 1992294400 4194304 8223781 140737452178848 18446744073709551615 5650579 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3440/statm: 2889 2096 365 984 0 1902 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11556
[startup+0.301872 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 3440
/proc/meminfo: memFree=1726668/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=16472 CPUtime=0.29
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 3405 0 0 0 28 1 0 0 20 0 1 0 34060349 16867328 3324 1992294400 4194304 8223781 140737452178848 18446744073709551615 6637420 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3440/statm: 4118 3324 365 984 0 3131 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16472
[startup+0.70096 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 3440
/proc/meminfo: memFree=1726668/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=24632 CPUtime=0.69
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 5445 0 0 0 67 2 0 0 21 0 1 0 34060349 25223168 5364 1992294400 4194304 8223781 140737452178848 18446744073709551615 5651023 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3440/statm: 6158 5364 365 984 0 5171 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24632
[startup+1.50113 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3441
/proc/meminfo: memFree=1701240/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=151916 CPUtime=1.49
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 38474 0 0 0 134 15 0 0 23 0 1 0 34060349 155561984 35682 1992294400 4194304 8223781 140737452178848 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 37979 35686 390 984 0 36992 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151916
[startup+3.10147 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3441
/proc/meminfo: memFree=1581580/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=157976 CPUtime=3.09
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 42689 0 0 0 286 23 0 0 25 0 1 0 34060349 161767424 36922 1992294400 4194304 8223781 140737452178848 18446744073709551615 4924289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 39494 36922 465 984 0 38507 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 157976
[startup+6.30115 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3441
/proc/meminfo: memFree=1579844/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=157976 CPUtime=6.29
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 42689 0 0 0 606 23 0 0 25 0 1 0 34060349 161767424 36922 1992294400 4194304 8223781 140737452178848 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 39494 36922 465 984 0 38507 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 157976
[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3441
/proc/meminfo: memFree=1539296/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=206692 CPUtime=12.69
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 58639 0 0 0 1236 33 0 0 25 0 1 0 34060349 211652608 47029 1992294400 4194304 8223781 140737452178848 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 51673 47029 541 984 0 50686 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 206692
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3443
/proc/meminfo: memFree=1538552/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=208964 CPUtime=25.48
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 63759 0 0 0 2509 39 0 0 25 0 1 0 34060349 213979136 47413 1992294400 4194304 8223781 140737452178848 18446744073709551615 6043689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 52241 47413 563 984 0 51254 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 208964
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3443
/proc/meminfo: memFree=1498872/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=260900 CPUtime=51.06
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 117460 0 0 0 5027 79 0 0 25 0 1 0 34060349 267161600 57112 1992294400 4194304 8223781 140737452178848 18446744073709551615 5435395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 65225 57112 582 984 0 64238 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 260900
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3445
/proc/meminfo: memFree=1494904/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=268152 CPUtime=102.24
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 178033 0 0 0 10100 124 0 0 25 0 1 0 34060349 274587648 58251 1992294400 4194304 8223781 140737452178848 18446744073709551615 6571303 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 67038 58251 591 984 0 66051 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 268152
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3445
/proc/meminfo: memFree=1496144/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=264064 CPUtime=162.22
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 288390 0 0 0 16032 190 0 0 25 0 1 0 34060349 270401536 57873 1992294400 4194304 8223781 140737452178848 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 66016 57873 583 984 0 65029 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 264064
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3447
/proc/meminfo: memFree=1501972/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=254820 CPUtime=222.19
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 419182 0 0 0 21958 261 0 0 25 0 1 0 34060349 260935680 55802 1992294400 4194304 8223781 140737452178848 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 63705 55802 583 984 0 62718 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 254820
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3449
/proc/meminfo: memFree=1499740/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=253184 CPUtime=282.17
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 611655 0 0 0 27854 363 0 0 25 0 1 0 34060349 259260416 55729 1992294400 4194304 8223781 140737452178848 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 63296 55729 583 984 0 62309 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 253184
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3451
/proc/meminfo: memFree=1501972/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=254948 CPUtime=342.15
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 949745 0 0 0 33699 516 0 0 25 0 1 0 34060349 261066752 56592 1992294400 4194304 8223781 140737452178848 18446744073709551615 6599066 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 63737 56592 583 984 0 62750 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 254948
[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3453
/proc/meminfo: memFree=1500484/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=256328 CPUtime=402.12
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 1123168 0 0 0 39602 610 0 0 25 0 1 0 34060349 262479872 56617 1992294400 4194304 8223781 140737452178848 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 64082 56617 583 984 0 63095 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 256328
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3453
/proc/meminfo: memFree=1501228/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=252716 CPUtime=462.09
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 1259183 0 0 0 45518 691 0 0 25 0 1 0 34060349 258781184 55757 1992294400 4194304 8223781 140737452178848 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 63179 55757 583 984 0 62192 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 252716
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3455
/proc/meminfo: memFree=1504700/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=251016 CPUtime=522.07
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 1381227 0 0 0 51438 769 0 0 25 0 1 0 34060349 257040384 56002 1992294400 4194304 8223781 140737452178848 18446744073709551615 6599066 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 62754 56002 583 984 0 61767 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 251016
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3457
/proc/meminfo: memFree=1501724/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=253696 CPUtime=582.04
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 1473713 0 0 0 57375 829 0 0 25 0 1 0 34060349 259784704 56434 1992294400 4194304 8223781 140737452178848 18446744073709551615 6571225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 63424 56434 588 984 0 62437 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 253696
[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3459
/proc/meminfo: memFree=1500360/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=255704 CPUtime=642.03
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 1532288 0 0 0 63323 880 0 0 25 0 1 0 34060349 261840896 56755 1992294400 4194304 8223781 140737452178848 18446744073709551615 6568212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 63926 56755 588 984 0 62939 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 255704
[startup+702.3 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3478
/proc/meminfo: memFree=1498252/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=256476 CPUtime=1001.86
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 1891097 0 0 0 98999 1187 0 0 25 0 1 0 34060349 262631424 57076 1992294400 4194304 8223781 140737452178848 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 64119 57076 588 984 0 63132 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 256476
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3478
/proc/meminfo: memFree=1497508/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=257616 CPUtime=1061.84
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 1951587 0 0 0 104947 1237 0 0 25 0 1 0 34060349 263798784 57510 1992294400 4194304 8223781 140737452178848 18446744073709551615 6250747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 64404 57510 588 984 0 63417 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 257616
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3480
/proc/meminfo: memFree=1497508/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=257616 CPUtime=1121.81
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 2012560 0 0 0 110890 1291 0 0 25 0 1 0 34060349 263798784 57373 1992294400 4194304 8223781 140737452178848 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 64404 57373 588 984 0 63417 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 257616
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3482
/proc/meminfo: memFree=1497384/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=257616 CPUtime=1181.79
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 2070539 0 0 0 116841 1338 0 0 25 0 1 0 34060349 263798784 57766 1992294400 4194304 8223781 140737452178848 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 64404 57766 588 984 0 63417 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 257616
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3484
/proc/meminfo: memFree=1496144/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=257616 CPUtime=1241.77
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 2134589 0 0 0 122788 1389 0 0 25 0 1 0 34060349 263798784 57340 1992294400 4194304 8223781 140737452178848 18446744073709551615 6599072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 64404 57340 588 984 0 63417 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 257616
[startup+1302.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 3486
/proc/meminfo: memFree=1494904/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=259664 CPUtime=1301.75
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 2199737 0 0 0 128735 1440 0 0 25 0 1 0 34060349 265895936 57956 1992294400 4194304 8223781 140737452178848 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 64916 57956 588 984 0 63929 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 259664
[startup+1362.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 3486
/proc/meminfo: memFree=1493664/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=259872 CPUtime=1361.71
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 2263175 0 0 0 134681 1490 0 0 25 0 1 0 34060349 266108928 58272 1992294400 4194304 8223781 140737452178848 18446744073709551615 6539298 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 64968 58272 588 984 0 63981 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 259872
[startup+1422.31 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 3488
/proc/meminfo: memFree=1494532/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=260088 CPUtime=1421.7
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 2328315 0 0 0 140629 1541 0 0 25 0 1 0 34060349 266330112 58097 1992294400 4194304 8223781 140737452178848 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 65022 58097 588 984 0 64035 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 260088
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3493
/proc/meminfo: memFree=1493664/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=261080 CPUtime=1481.66
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 2394431 0 0 0 146576 1590 0 0 25 0 1 0 34060349 267345920 58260 1992294400 4194304 8223781 140737452178848 18446744073709551615 6559800 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 65270 58260 588 984 0 64283 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 261080
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3495
/proc/meminfo: memFree=1491432/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=263128 CPUtime=1541.64
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 2460712 0 0 0 152526 1638 0 0 25 0 1 0 34060349 269443072 58582 1992294400 4194304 8223781 140737452178848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 65782 58582 588 984 0 64795 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 263128
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3497
/proc/meminfo: memFree=1491308/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=263128 CPUtime=1601.62
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 2527539 0 0 0 158473 1689 0 0 25 0 1 0 34060349 269443072 58428 1992294400 4194304 8223781 140737452178848 18446744073709551615 6592556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 65782 58428 588 984 0 64795 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 263128
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3497
/proc/meminfo: memFree=1491804/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=263256 CPUtime=1661.6
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 2593411 0 0 0 164422 1738 0 0 25 0 1 0 34060349 269574144 58744 1992294400 4194304 8223781 140737452178848 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 65814 58744 588 984 0 64827 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 263256
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3499
/proc/meminfo: memFree=1489200/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=265304 CPUtime=1721.57
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 2658687 0 0 0 170369 1788 0 0 25 0 1 0 34060349 271671296 59184 1992294400 4194304 8223781 140737452178848 18446744073709551615 6570002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 66326 59184 588 984 0 65339 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 265304
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3501
/proc/meminfo: memFree=1490068/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=265304 CPUtime=1781.54
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 2724137 0 0 0 176314 1840 0 0 25 0 1 0 34060349 271671296 59193 1992294400 4194304 8223781 140737452178848 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 66326 59193 588 984 0 65339 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 265304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3501
/proc/meminfo: memFree=1488084/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=266332 CPUtime=1800.04
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 2742562 0 0 0 178148 1856 0 0 25 0 1 0 34060349 272723968 59608 1992294400 4194304 8223781 140737452178848 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 66583 59608 588 984 0 65596 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 266332
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3501
/proc/meminfo: memFree=1488084/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=266332 CPUtime=1800.23
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 2742859 0 0 0 178167 1856 0 0 25 0 1 0 34060349 272723968 59306 1992294400 4194304 8223781 140737452178848 18446744073709551615 6611345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3440/statm: 66583 59306 588 984 0 65596 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 266332
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3501
/proc/meminfo: memFree=1488084/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=241252 CPUtime=1800.63
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 2743716 0 0 0 178206 1857 0 0 25 0 1 0 34060349 247042048 53554 1992294400 4194304 8223781 140737452178848 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3440/statm: 60313 53554 590 984 0 59326 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (KiB) 241252
[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3501
/proc/meminfo: memFree=1488084/2059040 swapFree=4140216/4192956
[pid=3440] ppid=3438 vsize=45344 CPUtime=1800.73
/proc/3440/stat : 3440 (pbscip.linux.x8) R 3438 3440 2998 0 -1 4202496 2743716 0 0 0 178214 1859 0 0 25 0 1 0 34060349 46432256 10647 1992294400 4194304 8223781 140737452178848 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3440/statm: 11336 10552 590 984 0 10349 0
Current children cumulated CPU time (s) 1800.73
Current children cumulated vsize (KiB) 45344
Child status: 0
Real time (s): 1801.51
CPU time (s): 1800.75
CPU user time (s): 1782.15
CPU system time (s): 18.6022
CPU usage (%): 99.9578
Max. virtual memory (cumulated for all children) (KiB): 304208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.15
system time used= 18.6022
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2743720
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= 1
involuntary context switches= 24120
runsolver used 3.00054 second user time and 8.48471 second system time
The end