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-2665520-1276588081.opb>
0.02/0.09 c original problem has 895 variables (895 bin, 0 int, 0 impl, 0 cont) and 1659 constraints
0.02/0.09 c problem read
0.02/0.09 c presolving settings loaded
0.09/0.12 c presolving:
0.09/0.14 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 90 chg sides, 90 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.17 c (round 2) 0 del vars, 780 del conss, 0 chg bounds, 90 chg sides, 90 chg coeffs, 54 upgd conss, 0 impls, 0 clqs
0.09/0.19 c (round 3) 0 del vars, 780 del conss, 0 chg bounds, 90 chg sides, 90 chg coeffs, 99 upgd conss, 420 impls, 0 clqs
0.59/0.63 c (0.5s) probing: 109/895 (12.2%) - 0 fixings, 0 aggregations, 660 implications, 0 bound changes
0.59/0.63 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.59/0.64 c presolving (4 rounds):
0.59/0.64 c 0 deleted vars, 780 deleted constraints, 0 tightened bounds, 0 added holes, 90 changed sides, 90 changed coefficients
0.59/0.64 c 1740 implications, 0 cliques
0.59/0.64 c presolved problem has 895 variables (895 bin, 0 int, 0 impl, 0 cont) and 879 constraints
0.59/0.64 c 99 constraints of type <knapsack>
0.59/0.64 c 780 constraints of type <linear>
0.59/0.64 c transformed objective value is always integral (scale: 1)
0.59/0.64 c Presolving Time: 0.50
0.59/0.64 c - non default parameters ----------------------------------------------------------------------
0.59/0.64 c # SCIP version 1.2.1.2
0.59/0.64 c
0.59/0.64 c # frequency for displaying node information lines
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.64 c display/freq = 10000
0.59/0.64 c
0.59/0.64 c # maximal time in seconds to run
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.64 c limits/time = 1799.92
0.59/0.64 c
0.59/0.64 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.64 c limits/memory = 1620
0.59/0.64 c
0.59/0.64 c # should presolving try to simplify inequalities
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c constraints/linear/simplifyinequalities = TRUE
0.59/0.64 c
0.59/0.64 c # should presolving try to simplify knapsacks
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.64 c
0.59/0.64 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.64 c separating/rapidlearning/freq = 0
0.59/0.64 c
0.59/0.64 c -----------------------------------------------------------------------------------------------
0.59/0.64 c start solving
0.59/0.64 c
0.69/0.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.70 c 0.6s| 1 | 0 | 712 | - |6827k| 0 | 537 | 895 | 879 | 895 | 879 | 0 | 0 | 0 | 9.000000e+00 | -- | Inf
1.00/1.01 c 0.9s| 1 | 0 | 765 | - |7453k| 0 | 554 | 895 | 879 | 895 | 984 | 105 | 0 | 0 | 9.000000e+00 | -- | Inf
1.29/1.33 c 1.2s| 1 | 0 | 886 | - |8017k| 0 | 566 | 895 | 879 | 895 |1085 | 206 | 0 | 0 | 9.000000e+00 | -- | Inf
1.79/1.80 c 1.6s| 1 | 0 | 1102 | - |8440k| 0 | 564 | 895 | 879 | 895 |1184 | 305 | 0 | 0 | 9.000000e+00 | -- | Inf
2.29/2.30 c 2.1s| 1 | 0 | 1304 | - |8861k| 0 | 559 | 895 | 879 | 895 |1265 | 386 | 0 | 0 | 9.000000e+00 | -- | Inf
2.79/2.85 c 2.7s| 1 | 0 | 1580 | - |9403k| 0 | 556 | 895 | 879 | 895 |1355 | 476 | 0 | 0 | 9.000000e+00 | -- | Inf
3.30/3.32 c 3.2s| 1 | 0 | 1847 | - |9938k| 0 | 565 | 895 | 879 | 895 |1463 | 584 | 0 | 0 | 9.000000e+00 | -- | Inf
9.80/9.89 c 9.6s| 1 | 2 | 1847 | - |9939k| 0 | 565 | 895 | 879 | 895 |1463 | 584 | 0 | 35 | 9.000000e+00 | -- | Inf
276.50/276.69 c 267s| 10000 | 4666 |596688 | 59.5 | 17M| 55 | 307 | 895 |3133 | 895 | 958 | 584 |8502 |3684 | 1.500000e+01 | -- | Inf
469.12/469.37 c 452s| 20000 | 8569 | 1145k| 57.2 | 24M| 55 | 290 | 895 |2600 | 895 | 958 | 584 | 16k|5500 | 1.600000e+01 | -- | Inf
662.67/662.98 c 638s| 30000 | 12044 | 1728k| 57.6 | 32M| 62 | 345 | 895 |3557 | 895 | 958 | 584 | 26k|7129 | 1.600000e+01 | -- | Inf
836.60/836.92 c 806s| 40000 | 14311 | 2249k| 56.2 | 38M| 66 | - | 895 |3442 | 0 | 0 | 584 | 37k|8605 | 1.700000e+01 | -- | Inf
993.64/994.02 c 957s| 50000 | 16511 | 2752k| 55.0 | 46M| 66 | - | 895 |4298 | 0 | 0 | 584 | 49k|9241 | 1.700000e+01 | -- | Inf
1143.79/1144.27 c 1102s| 60000 | 17993 | 3174k| 52.9 | 51M| 76 | - | 895 |4183 | 0 | 0 | 584 | 62k| 10k| 1.700000e+01 | -- | Inf
1297.35/1297.85 c 1250s| 70000 | 19493 | 3652k| 52.2 | 57M| 76 | 303 | 895 |4626 | 895 | 958 | 584 | 75k| 11k| 1.750000e+01 | -- | Inf
1442.71/1443.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1442.71/1443.21 c 1390s| 80000 | 21010 | 4095k| 51.2 | 63M| 76 | - | 895 |5062 | 895 | 958 | 584 | 89k| 12k| 1.800000e+01 | -- | Inf
1566.87/1567.47 c 1509s| 90000 | 22064 | 4455k| 49.5 | 67M| 81 | 129 | 895 |6053 | 895 | 958 | 584 | 103k| 13k| 1.800000e+01 | -- | Inf
1694.72/1695.36 c 1633s|100000 | 23079 | 4813k| 48.1 | 71M| 81 | 269 | 895 |5728 | 895 | 958 | 584 | 117k| 14k| 1.800000e+01 | -- | Inf
1800.11/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.11/1800.73 c
1800.11/1800.73 c SCIP Status : solving was interrupted [user interrupt]
1800.11/1800.73 c Solving Time (sec) : 1734.50
1800.11/1800.73 c Solving Nodes : 109257
1800.11/1800.73 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.11/1800.73 c Dual Bound : +1.80000000000000e+01
1800.11/1800.73 c Gap : infinite
1800.11/1800.73 s UNKNOWN
1800.11/1800.73 c SCIP Status : solving was interrupted [user interrupt]
1800.11/1800.73 c Solving Time : 1734.50
1800.11/1800.73 c Original Problem :
1800.11/1800.73 c Problem name : HOME/instance-2665520-1276588081.opb
1800.11/1800.73 c Variables : 895 (895 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.11/1800.73 c Constraints : 1659 initial, 1659 maximal
1800.11/1800.73 c Presolved Problem :
1800.11/1800.73 c Problem name : t_HOME/instance-2665520-1276588081.opb
1800.11/1800.73 c Variables : 895 (895 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.11/1800.73 c Constraints : 879 initial, 6567 maximal
1800.11/1800.73 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.11/1800.73 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.73 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.73 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.73 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.73 c implics : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.73 c probing : 0.44 0 0 0 0 0 0 0 0
1800.11/1800.73 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.73 c linear : 0.06 0 0 0 0 0 780 90 90
1800.11/1800.73 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.73 c root node : - 0 - - 0 - - - -
1800.11/1800.73 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.11/1800.73 c integral : 0 0 0 71835 0 69 6536 0 0 140452
1800.11/1800.73 c knapsack : 99 6 601687 0 0 1566 223074 588 0 0
1800.11/1800.73 c linear : 780 6 600121 0 0 7585 2106308 0 0 0
1800.11/1800.73 c logicor : 0+ 0 360652 0 0 918 589544 0 0 0
1800.11/1800.73 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.11/1800.73 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.11/1800.73 c integral : 180.15 0.00 0.00 180.15 0.00
1800.11/1800.73 c knapsack : 21.71 0.01 21.70 0.00 0.00
1800.11/1800.73 c linear : 345.38 0.00 345.38 0.00 0.00
1800.11/1800.73 c logicor : 31.02 0.00 31.02 0.00 0.00
1800.11/1800.73 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.11/1800.73 c Propagators : Time Calls Cutoffs DomReds
1800.11/1800.73 c vbounds : 0.41 2 0 0
1800.11/1800.73 c rootredcost : 0.25 0 0 0
1800.11/1800.73 c pseudoobj : 1.22 601477 0 0
1800.11/1800.73 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.11/1800.73 c propagation : 1.69 10069 10055 93927 31.5 435 18.2 -
1800.11/1800.73 c infeasible LP : 18.76 41544 41540 123845 16.7 3171 14.0 0
1800.11/1800.73 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.73 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.73 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.11/1800.73 c applied globally : - - - 130258 17.7 - - -
1800.11/1800.73 c applied locally : - - - 0 0.0 - - -
1800.11/1800.73 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.11/1800.73 c cut pool : 0.00 5 - - 880 - (maximal pool size: 3845)
1800.11/1800.73 c redcost : 1.90 71956 0 173 0 0
1800.11/1800.73 c impliedbounds : 0.00 6 0 0 22 0
1800.11/1800.73 c intobj : 0.00 0 0 0 0 0
1800.11/1800.73 c cgmip : 0.00 0 0 0 0 0
1800.11/1800.73 c gomory : 0.10 6 0 0 55 0
1800.11/1800.73 c strongcg : 0.10 6 0 0 58 0
1800.11/1800.73 c cmir : 1.07 6 0 0 2708 0
1800.11/1800.73 c flowcover : 0.52 6 0 0 1200 0
1800.11/1800.73 c clique : 0.00 1 0 0 0 0
1800.11/1800.73 c zerohalf : 0.00 0 0 0 0 0
1800.11/1800.73 c mcf : 0.00 1 0 0 0 0
1800.11/1800.73 c rapidlearning : 0.08 1 0 0 0 0
1800.11/1800.73 c Pricers : Time Calls Vars
1800.11/1800.73 c problem variables: 0.00 0 0
1800.11/1800.73 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.11/1800.73 c relpscost : 179.92 71835 69 6536 0 0 140452
1800.11/1800.73 c pscost : 0.00 0 0 0 0 0 0
1800.11/1800.73 c inference : 0.00 0 0 0 0 0 0
1800.11/1800.73 c mostinf : 0.00 0 0 0 0 0 0
1800.11/1800.73 c leastinf : 0.00 0 0 0 0 0 0
1800.11/1800.73 c fullstrong : 0.00 0 0 0 0 0 0
1800.11/1800.73 c allfullstrong : 0.00 0 0 0 0 0 0
1800.11/1800.73 c random : 0.00 0 0 0 0 0 0
1800.11/1800.73 c Primal Heuristics : Time Calls Found
1800.11/1800.73 c LP solutions : 0.00 - 0
1800.11/1800.73 c pseudo solutions : 0.00 - 0
1800.11/1800.73 c oneopt : 0.33 0 0
1800.11/1800.73 c crossover : 0.14 0 0
1800.11/1800.73 c guideddiving : 0.00 0 0
1800.11/1800.73 c intshifting : 0.00 0 0
1800.11/1800.73 c rootsoldiving : 6.97 56 0
1800.11/1800.73 c veclendiving : 49.55 420 0
1800.11/1800.73 c objpscostdiving : 8.63 230 0
1800.11/1800.73 c pscostdiving : 68.31 504 0
1800.11/1800.73 c fracdiving : 29.49 534 0
1800.11/1800.73 c linesearchdiving : 54.63 534 0
1800.11/1800.73 c coefdiving : 36.32 534 0
1800.11/1800.73 c feaspump : 7.60 377 0
1800.11/1800.73 c trivial : 0.00 2 0
1800.11/1800.73 c simplerounding : 0.10 0 0
1800.11/1800.73 c zirounding : 0.21 1000 0
1800.11/1800.73 c rounding : 1.79 3753 0
1800.11/1800.73 c shifting : 9.90 1136 0
1800.11/1800.73 c twoopt : 0.00 0 0
1800.11/1800.73 c fixandinfer : 0.00 0 0
1800.11/1800.73 c intdiving : 0.00 0 0
1800.11/1800.73 c actconsdiving : 0.00 0 0
1800.11/1800.73 c octane : 0.00 0 0
1800.11/1800.73 c rens : 0.00 0 0
1800.11/1800.73 c rins : 0.00 0 0
1800.11/1800.73 c localbranching : 0.00 0 0
1800.11/1800.73 c mutation : 0.00 0 0
1800.11/1800.73 c dins : 0.00 0 0
1800.11/1800.73 c undercover : 0.00 0 0
1800.11/1800.73 c nlp : 0.05 0 0
1800.11/1800.73 c trysol : 0.07 0 0
1800.11/1800.73 c LP : Time Calls Iterations Iter/call Iter/sec
1800.11/1800.73 c primal LP : 0.00 0 0 0.00 -
1800.11/1800.73 c dual LP : 777.98 104216 4254015 40.82 5468.03
1800.11/1800.73 c lex dual LP : 0.00 0 0 0.00 -
1800.11/1800.73 c barrier LP : 0.00 0 0 0.00 -
1800.11/1800.73 c diving/probing LP: 185.60 35084 864620 24.64 4658.51
1800.11/1800.73 c strong branching : 166.67 14663 827240 56.42 4963.34
1800.11/1800.73 c (at root node) : - 35 14358 410.23 -
1800.11/1800.73 c conflict analysis: 0.00 0 0 0.00 -
1800.11/1800.73 c B&B Tree :
1800.11/1800.73 c number of runs : 1
1800.11/1800.73 c nodes : 109257
1800.11/1800.73 c nodes (total) : 109257
1800.11/1800.73 c nodes left : 23790
1800.11/1800.73 c max depth : 99
1800.11/1800.73 c max depth (total): 99
1800.11/1800.73 c backtracks : 19495 (17.8%)
1800.11/1800.73 c delayed cutoffs : 7406
1800.11/1800.73 c repropagations : 173038 (802552 domain reductions, 2030 cutoffs)
1800.11/1800.73 c avg switch length: 8.16
1800.11/1800.73 c switching time : 73.18
1800.11/1800.73 c Solution :
1800.11/1800.73 c Solutions found : 0 (0 improvements)
1800.11/1800.73 c Primal Bound : -
1800.11/1800.73 c Dual Bound : +1.80000000000000e+01
1800.11/1800.73 c Gap : infinite
1800.11/1800.73 c Root Dual Bound : +9.00000000000001e+00
1800.11/1800.73 c Root Iterations : 1847
1800.29/1800.94 c Time complete: 1800.33.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665520-1276588081/watcher-2665520-1276588081 -o /tmp/evaluation-result-2665520-1276588081/solver-2665520-1276588081 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665520-1276588081.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: 0.00 0.00 0.00 3/107 2504
/proc/meminfo: memFree=1692252/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=9288 CPUtime=0
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 1103 0 0 0 0 0 0 0 20 0 1 0 96126 9510912 1023 1992294400 4194304 9819077 140736591514672 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2504/statm: 2322 1032 371 1374 0 943 0
[startup+0.0345169 s]
/proc/loadavg: 0.00 0.00 0.00 3/107 2504
/proc/meminfo: memFree=1692252/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=11272 CPUtime=0.02
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 1764 0 0 0 2 0 0 0 22 0 1 0 96126 11542528 1684 1992294400 4194304 9819077 140736591514672 18446744073709551615 8550816 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2504/statm: 2818 1684 388 1374 0 1439 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11272
[startup+0.101528 s]
/proc/loadavg: 0.00 0.00 0.00 3/107 2504
/proc/meminfo: memFree=1692252/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=13952 CPUtime=0.09
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 2821 0 0 0 8 1 0 0 22 0 1 0 96126 14286848 2387 1992294400 4194304 9819077 140736591514672 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 3488 2396 427 1374 0 2109 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13952
[startup+0.300564 s]
/proc/loadavg: 0.00 0.00 0.00 3/107 2504
/proc/meminfo: memFree=1692252/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=27412 CPUtime=0.29
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 7233 0 0 0 26 3 0 0 22 0 1 0 96126 28069888 5514 1992294400 4194304 9819077 140736591514672 18446744073709551615 4978973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 6853 5514 511 1374 0 5474 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27412
[startup+0.70064 s]
/proc/loadavg: 0.00 0.00 0.00 3/107 2504
/proc/meminfo: memFree=1692252/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=33756 CPUtime=0.69
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 8733 0 0 0 66 3 0 0 24 0 1 0 96126 34566144 6801 1992294400 4194304 9819077 140736591514672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 8439 6801 635 1374 0 7060 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33756
[startup+1.50079 s]
/proc/loadavg: 0.00 0.00 0.00 2/108 2505
/proc/meminfo: memFree=1659632/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=38604 CPUtime=1.49
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 14370 0 0 0 143 6 0 0 25 0 1 0 96126 39530496 8524 1992294400 4194304 9819077 140736591514672 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 9651 8524 692 1374 0 8272 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38604
[startup+3.10108 s]
/proc/loadavg: 0.00 0.00 0.00 2/108 2505
/proc/meminfo: memFree=1659880/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=41084 CPUtime=3.09
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 15161 0 0 0 301 8 0 0 25 0 1 0 96126 42070016 8821 1992294400 4194304 9819077 140736591514672 18446744073709551615 5744284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 10271 8821 692 1374 0 8892 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41084
[startup+6.30067 s]
/proc/loadavg: 0.08 0.02 0.01 2/108 2505
/proc/meminfo: memFree=1658268/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=47044 CPUtime=6.29
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 26372 0 0 0 616 13 0 0 25 0 1 0 96126 48173056 9022 1992294400 4194304 9819077 140736591514672 18446744073709551615 7291717 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 11761 9022 698 1374 0 10382 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47044
[startup+12.7018 s]
/proc/loadavg: 0.15 0.03 0.01 2/108 2505
/proc/meminfo: memFree=1658516/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=44340 CPUtime=12.69
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 57046 0 0 0 1244 25 0 0 25 0 1 0 96126 45404160 8897 1992294400 4194304 9819077 140736591514672 18446744073709551615 7306243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 11085 8903 702 1374 0 9706 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44340
[startup+25.501 s]
/proc/loadavg: 0.34 0.08 0.02 2/108 2507
/proc/meminfo: memFree=1658516/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=43640 CPUtime=25.49
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 110498 0 0 0 2500 49 0 0 25 0 1 0 96126 44687360 8876 1992294400 4194304 9819077 140736591514672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 10910 8876 702 1374 0 9531 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43640
[startup+51.1011 s]
/proc/loadavg: 0.56 0.15 0.05 2/108 2507
/proc/meminfo: memFree=1658516/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=40736 CPUtime=51.07
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 191657 0 0 0 5009 98 0 0 25 0 1 0 96126 41713664 8851 1992294400 4194304 9819077 140736591514672 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 10184 8851 708 1374 0 8805 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40736
[startup+102.308 s]
/proc/loadavg: 0.81 0.28 0.10 2/108 2509
/proc/meminfo: memFree=1657524/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=42332 CPUtime=102.27
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 566658 0 0 0 9962 265 0 0 25 0 1 0 96126 43347968 9097 1992294400 4194304 9819077 140736591514672 18446744073709551615 7263229 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 10583 9097 722 1374 0 9204 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 42332
[startup+162.301 s]
/proc/loadavg: 0.93 0.41 0.15 2/108 2509
/proc/meminfo: memFree=1655168/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=45388 CPUtime=162.25
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 1010988 0 0 0 15748 477 0 0 25 0 1 0 96126 46477312 9677 1992294400 4194304 9819077 140736591514672 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 11347 9677 723 1374 0 9968 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 45388
[startup+222.301 s]
/proc/loadavg: 0.97 0.51 0.20 2/108 2511
/proc/meminfo: memFree=1654300/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=47144 CPUtime=222.23
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 1504465 0 0 0 21508 715 0 0 25 0 1 0 96126 48275456 9948 1992294400 4194304 9819077 140736591514672 18446744073709551615 7291693 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 11786 9948 723 1374 0 10407 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 47144
[startup+282.301 s]
/proc/loadavg: 0.99 0.60 0.25 2/108 2513
/proc/meminfo: memFree=1649836/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=50016 CPUtime=282.19
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 1973745 0 0 0 27260 959 0 0 25 0 1 0 96126 51216384 11046 1992294400 4194304 9819077 140736591514672 18446744073709551615 7263152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 12504 11046 723 1374 0 11125 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 50016
[startup+342.301 s]
/proc/loadavg: 0.99 0.67 0.29 2/108 2515
/proc/meminfo: memFree=1647480/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=52128 CPUtime=342.17
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 2448906 0 0 0 33023 1194 0 0 25 0 1 0 96126 53379072 11585 1992294400 4194304 9819077 140736591514672 18446744073709551615 7228852 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 13032 11586 723 1374 0 11653 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 52128
[startup+402.301 s]
/proc/loadavg: 0.99 0.73 0.33 2/108 2517
/proc/meminfo: memFree=1645496/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=54640 CPUtime=402.15
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 2900877 0 0 0 38787 1428 0 0 25 0 1 0 96126 55951360 12067 1992294400 4194304 9819077 140736591514672 18446744073709551615 4651872 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 13660 12067 723 1374 0 12281 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 54640
[startup+462.301 s]
/proc/loadavg: 0.99 0.77 0.37 2/108 2517
/proc/meminfo: memFree=1643512/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=57056 CPUtime=462.13
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 3349484 0 0 0 44558 1655 0 0 25 0 1 0 96126 58425344 12546 1992294400 4194304 9819077 140736591514672 18446744073709551615 4978371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 14264 12546 723 1374 0 12885 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 57056
[startup+522.301 s]
/proc/loadavg: 1.06 0.83 0.41 2/108 2519
/proc/meminfo: memFree=1639172/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=60944 CPUtime=522.11
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 3771097 0 0 0 50328 1883 0 0 25 0 1 0 96126 62406656 13629 1992294400 4194304 9819077 140736591514672 18446744073709551615 4982561 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 15236 13629 723 1374 0 13857 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 60944
[startup+582.301 s]
/proc/loadavg: 1.08 0.87 0.45 2/108 2521
/proc/meminfo: memFree=1636320/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=63648 CPUtime=582.09
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 4243858 0 0 0 56083 2126 0 0 25 0 1 0 96126 65175552 14338 1992294400 4194304 9819077 140736591514672 18446744073709551615 4947385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 15912 14338 723 1374 0 14533 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 63648
[startup+642.301 s]
/proc/loadavg: 1.08 0.91 0.49 2/108 2523
/proc/meminfo: memFree=1634212/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=66164 CPUtime=642.08
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 4636016 0 0 0 61866 2342 0 0 25 0 1 0 96126 67751936 14874 1992294400 4194304 9819077 140736591514672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 16541 14874 723 1374 0 15162 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 66164
[startup+702.301 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 1.02 0.99 0.63 2/108 2540
/proc/meminfo: memFree=1617788/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=81972 CPUtime=941.96
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 6624449 0 0 0 90728 3468 0 0 25 0 1 0 96126 83939328 18794 1992294400 4194304 9819077 140736591514672 18446744073709551615 6372771 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 20493 18794 723 1374 0 19114 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 81972
[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.65 2/108 2542
/proc/meminfo: memFree=1613324/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=86304 CPUtime=1001.94
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 6966519 0 0 0 96515 3679 0 0 25 0 1 0 96126 88375296 19836 1992294400 4194304 9819077 140736591514672 18446744073709551615 6665876 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 21576 19836 723 1374 0 20197 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 86304
[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.67 2/108 2542
/proc/meminfo: memFree=1611092/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=88664 CPUtime=1061.91
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 7347604 0 0 0 102292 3899 0 0 25 0 1 0 96126 90791936 20436 1992294400 4194304 9819077 140736591514672 18446744073709551615 4979040 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 22166 20436 723 1374 0 20787 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 88664
[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.69 2/108 2544
/proc/meminfo: memFree=1605512/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=94184 CPUtime=1121.89
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 7732108 0 0 0 108065 4124 0 0 25 0 1 0 96126 96444416 21795 1992294400 4194304 9819077 140736591514672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 23546 21796 723 1374 0 22167 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 94184
[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.70 2/108 2546
/proc/meminfo: memFree=1603900/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=96240 CPUtime=1181.87
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 8105881 0 0 0 113835 4352 0 0 25 0 1 0 96126 98549760 22269 1992294400 4194304 9819077 140736591514672 18446744073709551615 6396144 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 24060 22269 723 1374 0 22681 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 96240
[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.72 2/108 2548
/proc/meminfo: memFree=1601048/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=98208 CPUtime=1241.86
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 8450743 0 0 0 119623 4563 0 0 25 0 1 0 96126 100564992 22892 1992294400 4194304 9819077 140736591514672 18446744073709551615 6371751 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 24552 22898 723 1374 0 23173 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 98208
[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.74 2/108 2550
/proc/meminfo: memFree=1598444/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=101596 CPUtime=1301.85
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 8851612 0 0 0 125389 4796 0 0 25 0 1 0 96126 104034304 23542 1992294400 4194304 9819077 140736591514672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 25399 23542 723 1374 0 24020 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 101596
[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.75 2/108 2550
/proc/meminfo: memFree=1594600/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=105292 CPUtime=1361.83
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 9207648 0 0 0 131170 5013 0 0 25 0 1 0 96126 107819008 24484 1992294400 4194304 9819077 140736591514672 18446744073709551615 4979548 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 26323 24484 723 1374 0 24944 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 105292
[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.76 2/108 2552
/proc/meminfo: memFree=1591996/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=108196 CPUtime=1421.82
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 9539698 0 0 0 136959 5223 0 0 25 0 1 0 96126 110792704 25145 1992294400 4194304 9819077 140736591514672 18446744073709551615 4923320 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 27049 25145 723 1374 0 25670 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 108196
[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.77 2/108 2554
/proc/meminfo: memFree=1589516/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=110656 CPUtime=1481.78
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 9931303 0 0 0 142723 5455 0 0 25 0 1 0 96126 113311744 25734 1992294400 4194304 9819077 140736591514672 18446744073709551615 6519535 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 27664 25734 723 1374 0 26285 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 110656
[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.78 2/108 2556
/proc/meminfo: memFree=1587408/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=112736 CPUtime=1541.77
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 10270275 0 0 0 148501 5676 0 0 25 0 1 0 96126 115441664 26271 1992294400 4194304 9819077 140736591514672 18446744073709551615 4978081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 28184 26271 723 1374 0 26805 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 112736
[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.79 2/108 2558
/proc/meminfo: memFree=1582448/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=117532 CPUtime=1601.75
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 10562547 0 0 0 154298 5877 0 0 25 0 1 0 96126 120352768 27518 1992294400 4194304 9819077 140736591514672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 29383 27518 723 1374 0 28004 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 117532
[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.81 2/108 2558
/proc/meminfo: memFree=1579100/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=121336 CPUtime=1661.73
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 10906735 0 0 0 160071 6102 0 0 25 0 1 0 96126 124248064 28341 1992294400 4194304 9819077 140736591514672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 30334 28341 723 1374 0 28955 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 121336
[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.82 2/108 2560
/proc/meminfo: memFree=1577364/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=122368 CPUtime=1721.7
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 11201607 0 0 0 165879 6291 0 0 25 0 1 0 96126 125304832 28770 1992294400 4194304 9819077 140736591514672 18446744073709551615 4978991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 30592 28770 723 1374 0 29213 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 122368
[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.82 2/108 2562
/proc/meminfo: memFree=1573644/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=126116 CPUtime=1781.69
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 11470216 0 0 0 171681 6488 0 0 25 0 1 0 96126 129142784 29666 1992294400 4194304 9819077 140736591514672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 31529 29666 723 1374 0 30150 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 126116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.83 2/108 2562
/proc/meminfo: memFree=1573024/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=127296 CPUtime=1800.11
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 11572909 0 0 0 173457 6554 0 0 25 0 1 0 96126 130351104 29819 1992294400 4194304 9819077 140736591514672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2504/statm: 31824 29819 723 1374 0 30445 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 127296
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.81 s]
/proc/loadavg: 1.00 0.99 0.83 2/108 2562
/proc/meminfo: memFree=1573024/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=127112 CPUtime=1800.2
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 11573024 0 0 0 173466 6554 0 0 25 0 1 0 96126 130162688 29817 1992294400 4194304 9819077 140736591514672 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2504/statm: 31778 29817 726 1374 0 30399 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 127112
[startup+1800.9 s]
/proc/loadavg: 1.00 0.99 0.83 2/108 2562
/proc/meminfo: memFree=1573024/2059040 swapFree=4192956/4192956
[pid=2504] ppid=2502 vsize=127112 CPUtime=1800.29
/proc/2504/stat : 2504 (pbscip.linux.x8) R 2502 2504 2479 0 -1 4202496 11573024 0 0 0 173475 6554 0 0 25 0 1 0 96126 130162688 29817 1992294400 4194304 9819077 140736591514672 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2504/statm: 31778 29817 726 1374 0 30399 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 127112
Child status: 0
Real time (s): 1800.94
CPU time (s): 1800.34
CPU user time (s): 1734.78
CPU system time (s): 65.553
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 129852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1734.78
system time used= 65.553
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11573028
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 19493
runsolver used 2.88956 second user time and 8.59369 second system time
The end