0.04/0.07 c SCIP version 1.1.0.7
0.04/0.07 c LP-Solver Clp 1.8.2
0.04/0.07 c user parameter file <scip.set> not found - using default parameters
0.04/0.07 c read problem <HOME/instance-1869579-1245179504.opb>
0.04/0.07 c original problem has 895 variables (895 bin, 0 int, 0 impl, 0 cont) and 1660 constraints
0.09/0.10 c start presolving problem
0.09/0.10 c presolving:
0.09/0.12 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 104 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.14 c (round 2) 1 del vars, 750 del conss, 1 chg bounds, 0 chg sides, 104 chg coeffs, 85 upgd conss, 0 impls, 0 clqs
0.09/0.16 c (round 3) 1 del vars, 750 del conss, 1 chg bounds, 7 chg sides, 120 chg coeffs, 161 upgd conss, 90 impls, 2 clqs
0.09/0.17 c (round 4) 1 del vars, 750 del conss, 1 chg bounds, 21 chg sides, 134 chg coeffs, 161 upgd conss, 90 impls, 2 clqs
0.39/0.43 c (0.3s) probing: 172/894 (19.2%) - 0 fixings, 0 aggregations, 13 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 (5 rounds):
0.39/0.43 c 1 deleted vars, 750 deleted constraints, 1 tightened bounds, 0 added holes, 21 changed sides, 134 changed coefficients
0.39/0.43 c 116 implications, 2 cliques
0.39/0.43 c presolved problem has 894 variables (894 bin, 0 int, 0 impl, 0 cont) and 914 constraints
0.39/0.43 c 161 constraints of type <knapsack>
0.39/0.43 c 4 constraints of type <setppc>
0.39/0.43 c 749 constraints of type <linear>
0.39/0.43 c transformed objective value is always integral (scale: 1)
0.39/0.43 c Presolving Time: 0.32
0.39/0.43 c OPT-LIN
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 = c 1620
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 = c 1791
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 = c 10000
0.39/0.43 c -----------------------------------------------------------------------------------------------
0.39/0.43 c start solving problem
0.39/0.43 c
0.39/0.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.48 c 0.4s| 1 | 0 | 590 |6741k| 0 | 514 | 894 | 914 | 914 | 894 | 914 | 0 | 0 | 0 | 4.500000e+01 | -- | Inf
1.39/1.41 c 1.3s| 1 | 0 | 3491 |7356k| 0 | 560 | 894 | 914 | 914 | 894 | 965 | 51 | 0 | 0 | 4.500000e+01 | -- | Inf
1.69/1.72 c 1.6s| 1 | 0 | 3662 |7916k| 0 | 503 | 894 | 914 | 914 | 894 |1040 | 126 | 0 | 0 | 4.500000e+01 | -- | Inf
2.10/2.14 c 2.0s| 1 | 0 | 3728 |8405k| 0 | 518 | 894 | 914 | 914 | 894 |1144 | 230 | 0 | 0 | 4.500000e+01 | -- | Inf
2.59/2.65 c 2.5s| 1 | 0 | 3821 |8700k| 0 | 527 | 894 | 914 | 914 | 894 |1213 | 299 | 0 | 0 | 4.500000e+01 | -- | Inf
3.29/3.38 c 3.3s| 1 | 0 | 4046 |8893k| 0 | 543 | 894 | 914 | 914 | 894 |1258 | 344 | 0 | 0 | 4.500000e+01 | -- | Inf
3.99/4.10 c 4.0s| 1 | 0 | 4226 |9070k| 0 | 511 | 894 | 914 | 914 | 894 |1302 | 388 | 0 | 0 | 4.500000e+01 | -- | Inf
4.69/4.70 c 4.6s| 1 | 0 | 4743 |9107k| 0 | 545 | 894 | 914 | 914 | 894 |1322 | 408 | 0 | 0 | 4.500000e+01 | -- | Inf
7.29/7.37 c 7.2s| 1 | 2 | 4743 |9108k| 0 | 545 | 894 | 914 | 914 | 894 |1322 | 408 | 0 | 47 | 4.500000e+01 | -- | Inf
209.31/209.47 c 208s| 10000 | 4852 |629681 | 23M| 61 | - | 894 |2134 | 477 | 894 | 997 | 408 |4838 |3261 | 4.500000e+01 | -- | Inf
362.66/362.86 c 360s| 20000 | 7419 | 1204k| 35M| 67 | - | 894 |1416 |1197 | 894 | 997 | 408 | 12k|5355 | 4.500000e+01 | -- | Inf
488.71/488.97 c 485s| 30000 | 9650 | 1677k| 45M| 73 | - | 894 |2085 | 421 | 0 | 0 | 408 | 18k|6686 | 4.500000e+01 | -- | Inf
593.48/593.74 c 589s| 40000 | 11348 | 2062k| 54M| 73 | 149 | 894 |2340 | 531 | 894 | 997 | 408 | 25k|7643 | 4.500000e+01 | -- | Inf
708.14/708.46 c 703s| 50000 | 12857 | 2482k| 64M| 78 | - | 894 |2013 | 389 | 0 | 0 | 408 | 32k|9098 | 4.500000e+01 | -- | Inf
818.40/818.76 c 813s| 60000 | 14591 | 2893k| 74M| 78 | - | 894 |1810 | 364 | 0 | 0 | 408 | 40k|9797 | 4.500000e+01 | -- | Inf
936.26/936.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
936.26/936.62 c 930s| 70000 | 16685 | 3341k| 87M| 78 | - | 894 |1780 |1228 | 0 | 0 | 408 | 46k| 11k| 4.500000e+01 | -- | Inf
1050.02/1050.47 c 1043s| 80000 | 18291 | 3820k| 99M| 83 | 91 | 894 |2661 | 462 | 894 | 997 | 408 | 52k| 11k| 4.500000e+01 | -- | Inf
1137.78/1138.25 c 1130s| 90000 | 18934 | 4103k| 104M| 98 | 153 | 894 |2875 | 715 | 894 | 997 | 408 | 61k| 12k| 4.500000e+01 | -- | Inf
1217.06/1217.55 c 1209s|100000 | 19786 | 4369k| 110M| 98 | 103 | 894 |3726 | 412 | 894 | 997 | 408 | 70k| 13k| 4.500000e+01 | -- | Inf
1295.94/1296.41 c 1287s|110000 | 20228 | 4617k| 114M| 98 | 255 | 894 |3386 | 722 | 894 | 997 | 408 | 80k| 13k| 4.500000e+01 | -- | Inf
1382.30/1382.82 c 1373s|120000 | 20651 | 4891k| 117M| 98 | - | 894 |2958 | 382 | 0 | 0 | 408 | 89k| 14k| 4.500000e+01 | -- | Inf
1466.57/1467.16 c 1457s|130000 | 21128 | 5190k| 121M| 98 | - | 894 |2611 | 788 | 894 | 997 | 408 | 98k| 14k| 4.500000e+01 | -- | Inf
1566.74/1567.30 c 1556s|140000 | 22444 | 5552k| 130M| 98 | - | 894 |2886 | 523 | 0 | 0 | 408 | 106k| 16k| 4.500000e+01 | -- | Inf
1664.41/1665.08 c 1653s|150000 | 23908 | 5915k| 142M| 98 | - | 894 |3650 | 637 | 0 | 0 | 408 | 116k| 17k| 4.500000e+01 | -- | Inf
1734.08/1734.72 c 1722s|160000 | 24598 | 6153k| 147M| 98 | - | 894 |3705 | 307 | 894 | 997 | 408 | 126k| 17k| 4.500000e+01 | -- | Inf
1800.07/1800.71 c
1800.07/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.71 c Solving Time (sec) : 1787.88
1800.07/1800.71 c Solving Nodes : 169062
1800.07/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.71 c Dual Bound : +4.50000000000000e+01
1800.07/1800.71 c Gap : infinite
1800.07/1800.71 c NODE 169062
1800.07/1800.71 c DUAL BOUND 45
1800.07/1800.71 c PRIMAL BOUND 1e+20
1800.07/1800.71 c GAP 1e+20
1800.07/1800.71 s UNKNOWN
1800.07/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.71 c Solving Time : 1787.88
1800.07/1800.71 c Original Problem :
1800.07/1800.71 c Problem name : HOME/instance-1869579-1245179504.opb
1800.07/1800.71 c Variables : 895 (895 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71 c Constraints : 1660 initial, 1660 maximal
1800.07/1800.71 c Presolved Problem :
1800.07/1800.71 c Problem name : t_HOME/instance-1869579-1245179504.opb
1800.07/1800.71 c Variables : 894 (894 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71 c Constraints : 914 initial, 4684 maximal
1800.07/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.71 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c probing : 0.25 0 0 0 0 0 0 0 0
1800.07/1800.71 c knapsack : 0.00 0 0 0 0 0 0 21 30
1800.07/1800.71 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c linear : 0.04 1 0 0 1 0 750 0 104
1800.07/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c root node : - 0 - - 0 - - - -
1800.07/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.71 c integral : 0 0 0 104837 0 142 9764 0 0 204490
1800.07/1800.71 c knapsack : 161 7 538396 0 0 4470 835347 197 0 0
1800.07/1800.71 c setppc : 4 7 64021 0 0 0 755 0 0 0
1800.07/1800.71 c linear : 749 7 533926 0 0 38726 8234430 0 0 0
1800.07/1800.71 c logicor : 0+ 0 224061 0 0 2510 118990 0 0 0
1800.07/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.71 c integral : 168.82 0.00 0.00 168.82 0.00
1800.07/1800.71 c knapsack : 24.05 0.00 24.05 0.00 0.00
1800.07/1800.71 c setppc : 0.06 0.00 0.06 0.00 0.00
1800.07/1800.71 c linear : 369.60 0.00 369.60 0.00 0.00
1800.07/1800.71 c logicor : 20.63 0.00 20.63 0.00 0.00
1800.07/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.71 c rootredcost : 0.35 0 0 0
1800.07/1800.71 c pseudoobj : 0.80 538046 0 0
1800.07/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.71 c propagation : 6.78 45706 45662 349695 34.4 1692 21.1 -
1800.07/1800.71 c infeasible LP : 6.24 36296 0 0 0.0 0 0.0 0
1800.07/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.71 c applied globally : - - - 135707 29.5 - - -
1800.07/1800.71 c applied locally : - - - 0 0.0 - - -
1800.07/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.71 c cut pool : 0.00 6 - - 504 - (maximal pool size: 3124)
1800.07/1800.71 c redcost : 3.06 105486 0 902 0 0
1800.07/1800.71 c impliedbounds : 0.00 7 0 0 1 0
1800.07/1800.71 c intobj : 0.00 0 0 0 0 0
1800.07/1800.71 c gomory : 0.36 7 0 0 50 0
1800.07/1800.71 c strongcg : 0.34 7 0 0 16 0
1800.07/1800.71 c cmir : 1.09 7 0 0 1930 0
1800.07/1800.71 c flowcover : 1.01 7 0 0 1153 0
1800.07/1800.71 c clique : 0.00 7 0 0 0 0
1800.07/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.71 c mcf : 0.00 2 0 0 0 0
1800.07/1800.71 c Pricers : Time Calls Vars
1800.07/1800.71 c problem variables: 0.00 0 0
1800.07/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.71 c relpscost : 168.56 104837 142 9764 0 0 204490
1800.07/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.71 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.71 c random : 0.00 0 0 0 0 0 0
1800.07/1800.71 c Primal Heuristics : Time Calls Found
1800.07/1800.71 c LP solutions : 0.00 - 0
1800.07/1800.71 c pseudo solutions : 0.00 - 0
1800.07/1800.71 c oneopt : 0.12 0 0
1800.07/1800.71 c crossover : 0.08 0 0
1800.07/1800.71 c guideddiving : 0.01 0 0
1800.07/1800.71 c intshifting : 0.01 0 0
1800.07/1800.71 c feaspump : 29.80 111 0
1800.07/1800.71 c linesearchdiving : 19.40 373 0
1800.07/1800.71 c pscostdiving : 41.67 373 0
1800.07/1800.71 c fracdiving : 13.57 373 0
1800.07/1800.71 c veclendiving : 25.84 373 0
1800.07/1800.71 c objpscostdiving : 27.23 187 0
1800.07/1800.71 c rootsoldiving : 12.66 187 0
1800.07/1800.71 c coefdiving : 12.37 374 0
1800.07/1800.71 c simplerounding : 0.35 0 0
1800.07/1800.71 c rounding : 1.19 4556 0
1800.07/1800.71 c shifting : 10.43 1421 0
1800.07/1800.71 c fixandinfer : 0.00 0 0
1800.07/1800.71 c intdiving : 0.00 0 0
1800.07/1800.71 c actconsdiving : 0.00 0 0
1800.07/1800.71 c octane : 0.00 0 0
1800.07/1800.71 c rens : 0.00 0 0
1800.07/1800.71 c rins : 0.00 0 0
1800.07/1800.71 c localbranching : 0.00 0 0
1800.07/1800.71 c mutation : 0.00 0 0
1800.07/1800.71 c dins : 0.00 0 0
1800.07/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.71 c primal LP : 0.02 0 0 0.00 0.00
1800.07/1800.71 c dual LP : 830.46 135030 5879599 43.54 7079.93
1800.07/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.71 c diving/probing LP: 147.40 28657 467841 16.33 3173.96
1800.07/1800.71 c strong branching : 156.83 18099 1211126 66.92 7722.54
1800.07/1800.71 c (at root node) : - 47 6391 135.98 -
1800.07/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.71 c B&B Tree :
1800.07/1800.71 c number of runs : 1
1800.07/1800.71 c nodes : 169062
1800.07/1800.71 c nodes (total) : 169062
1800.07/1800.71 c nodes left : 25112
1800.07/1800.71 c max depth : 98
1800.07/1800.71 c max depth (total): 98
1800.07/1800.71 c backtracks : 27490 (16.3%)
1800.07/1800.71 c delayed cutoffs : 10317
1800.07/1800.71 c repropagations : 128033 (1543538 domain reductions, 7700 cutoffs)
1800.07/1800.71 c avg switch length: 6.12
1800.07/1800.71 c switching time : 111.37
1800.07/1800.71 c Solution :
1800.07/1800.71 c Solutions found : 0 (0 improvements)
1800.07/1800.71 c Primal Bound : -
1800.07/1800.71 c Dual Bound : +4.50000000000000e+01
1800.07/1800.71 c Gap : infinite
1800.07/1800.71 c Root Dual Bound : +4.50000000000000e+01
1800.36/1801.00 c Time complete: 1800.37.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869579-1245179504/watcher-1869579-1245179504 -o /tmp/evaluation-result-1869579-1245179504/solver-1869579-1245179504 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869579-1245179504.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 19011
/proc/meminfo: memFree=1814744/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=7616 CPUtime=0
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 585 0 0 0 0 0 0 0 20 0 1 0 185549112 7798784 569 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/19011/statm: 1904 579 353 1256 0 643 0
[startup+0.0594291 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 19011
/proc/meminfo: memFree=1814744/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=11784 CPUtime=0.04
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 1912 0 0 0 4 0 0 0 20 0 1 0 185549112 12066816 1896 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/19011/statm: 2946 1896 378 1256 0 1685 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11784
[startup+0.101436 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 19011
/proc/meminfo: memFree=1814744/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=22412 CPUtime=0.09
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 4918 0 0 0 8 1 0 0 20 0 1 0 185549112 22949888 4548 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 5603 4558 416 1256 0 4342 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22412
[startup+0.301474 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 19011
/proc/meminfo: memFree=1814744/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=27988 CPUtime=0.29
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 6142 0 0 0 27 2 0 0 22 0 1 0 185549112 28659712 5772 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 6997 5772 494 1256 0 5736 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27988
[startup+0.701553 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 19011
/proc/meminfo: memFree=1814744/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=32640 CPUtime=0.69
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 7226 0 0 0 66 3 0 0 25 0 1 0 185549112 33423360 6823 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 8160 6823 649 1256 0 6899 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32640
[startup+1.50171 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1789648/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=35260 CPUtime=1.49
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 7926 0 0 0 146 3 0 0 25 0 1 0 185549112 36106240 7522 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 8815 7522 683 1256 0 7554 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35260
[startup+3.10202 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1786192/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=38672 CPUtime=3.09
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 8413 0 0 0 305 4 0 0 25 0 1 0 185549112 39600128 7783 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 9668 7783 683 1256 0 8407 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38672
[startup+6.30165 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1782096/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=46108 CPUtime=6.29
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 12603 0 0 0 623 6 0 0 25 0 1 0 185549112 47214592 8685 1992294400 4194304 9342243 548682068736 18446744073709551615 6959593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 11527 8685 690 1256 0 10266 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46108
[startup+12.7019 s]
/proc/loadavg: 1.31 1.07 1.02 2/66 19012
/proc/meminfo: memFree=1782232/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=43372 CPUtime=12.69
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 21835 0 0 0 1258 11 0 0 25 0 1 0 185549112 44412928 8649 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 10843 8649 693 1256 0 9582 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43372
[startup+25.5014 s]
/proc/loadavg: 1.49 1.11 1.04 2/66 19012
/proc/meminfo: memFree=1782360/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=41848 CPUtime=25.48
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 37506 0 0 0 2528 20 0 0 25 0 1 0 185549112 42852352 8699 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 10462 8699 698 1256 0 9201 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41848
[startup+51.1014 s]
/proc/loadavg: 1.32 1.10 1.03 2/66 19012
/proc/meminfo: memFree=1781336/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=41204 CPUtime=51.06
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 42056 0 0 0 5074 32 0 0 25 0 1 0 185549112 42192896 9060 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 10301 9060 702 1256 0 9040 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 41204
[startup+102.305 s]
/proc/loadavg: 1.13 1.08 1.03 2/66 19012
/proc/meminfo: memFree=1777304/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=45760 CPUtime=102.25
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 71149 0 0 0 10148 77 0 0 25 0 1 0 185549112 46858240 10056 1992294400 4194304 9342243 548682068736 18446744073709551615 7289219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 11440 10056 702 1256 0 10179 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 45760
[startup+162.301 s]
/proc/loadavg: 1.05 1.06 1.02 2/66 19012
/proc/meminfo: memFree=1770648/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=52376 CPUtime=162.23
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 101552 0 0 0 16103 120 0 0 25 0 1 0 185549112 53633024 11834 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 13094 11834 702 1256 0 11833 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 52376
[startup+222.302 s]
/proc/loadavg: 1.02 1.05 1.02 2/66 19012
/proc/meminfo: memFree=1762776/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=59460 CPUtime=222.2
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 120476 0 0 0 22061 159 0 0 25 0 1 0 185549112 60887040 13702 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 14865 13702 702 1256 0 13604 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 59460
[startup+282.302 s]
/proc/loadavg: 1.00 1.04 1.01 2/66 19012
/proc/meminfo: memFree=1754776/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=67800 CPUtime=282.19
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 149116 0 0 0 28008 211 0 0 25 0 1 0 185549112 69427200 15686 1992294400 4194304 9342243 548682068736 18446744073709551615 6909501 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 16950 15686 702 1256 0 15689 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 67800
[startup+342.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 19012
/proc/meminfo: memFree=1748056/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=74704 CPUtime=342.16
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 174148 0 0 0 33960 256 0 0 25 0 1 0 185549112 76496896 17318 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 18676 17318 702 1256 0 17415 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 74704
[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 19012
/proc/meminfo: memFree=1741720/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=81596 CPUtime=402.15
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 192769 0 0 0 39918 297 0 0 25 0 1 0 185549112 83554304 19008 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 20399 19008 702 1256 0 19138 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 81596
[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 19012
/proc/meminfo: memFree=1734936/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=88044 CPUtime=462.13
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 204254 0 0 0 45878 335 0 0 25 0 1 0 185549112 90157056 20610 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 22011 20610 702 1256 0 20750 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 88044
[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 19012
/proc/meminfo: memFree=1730968/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=94236 CPUtime=522.1
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 223358 0 0 0 51829 381 0 0 25 0 1 0 185549112 96497664 21779 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 23559 21779 702 1256 0 22298 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 94236
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1720792/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=101932 CPUtime=582.08
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 234422 0 0 0 57784 424 0 0 25 0 1 0 185549112 104378368 24150 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 25483 24150 702 1256 0 24222 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 101932
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1712408/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=110648 CPUtime=642.06
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 243597 0 0 0 63742 464 0 0 25 0 1 0 185549112 113303552 26189 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 27662 26189 702 1256 0 26401 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 110648
[startup+702.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1684696/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=139804 CPUtime=881.97
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 304873 0 0 0 87581 616 0 0 25 0 1 0 185549112 143159296 33133 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 34951 33133 702 1256 0 33690 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 139804
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1674136/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=149084 CPUtime=941.95
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 320947 0 0 0 93536 659 0 0 25 0 1 0 185549112 152662016 35712 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 37271 35712 702 1256 0 36010 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 149084
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1667864/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=154884 CPUtime=1001.94
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 323697 0 0 0 99501 693 0 0 25 0 1 0 185549112 158601216 37285 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 38721 37285 702 1256 0 37460 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 154884
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1661912/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=161328 CPUtime=1061.91
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 337637 0 0 0 105455 736 0 0 25 0 1 0 185549112 165199872 38705 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 40332 38705 702 1256 0 39071 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 161328
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1652696/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=171300 CPUtime=1121.9
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 353463 0 0 0 111409 781 0 0 25 0 1 0 185549112 175411200 41055 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 42825 41055 702 1256 0 41564 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 171300
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1647064/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=176656 CPUtime=1181.87
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 362302 0 0 0 117364 823 0 0 25 0 1 0 185549112 180895744 42509 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 44164 42509 702 1256 0 42903 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 176656
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1640792/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=183304 CPUtime=1241.86
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 364679 0 0 0 123331 855 0 0 25 0 1 0 185549112 187703296 44011 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 45826 44011 702 1256 0 44565 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 183304
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1636440/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=187760 CPUtime=1301.83
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 373654 0 0 0 129291 892 0 0 25 0 1 0 185549112 192266240 45061 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 46940 45061 702 1256 0 45679 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 187760
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1633048/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=191608 CPUtime=1361.82
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 381969 0 0 0 135248 934 0 0 25 0 1 0 185549112 196206592 45912 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 47902 45912 702 1256 0 46641 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 191608
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1629400/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=194660 CPUtime=1421.79
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 385059 0 0 0 141209 970 0 0 25 0 1 0 185549112 199331840 46804 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 48665 46804 702 1256 0 47404 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 194660
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1626904/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=197464 CPUtime=1481.77
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 389920 0 0 0 147170 1007 0 0 25 0 1 0 185549112 202203136 47267 1992294400 4194304 9342243 548682068736 18446744073709551615 6044063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 49366 47267 702 1256 0 48105 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 197464
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1622232/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=203004 CPUtime=1541.75
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 402772 0 0 0 153127 1048 0 0 25 0 1 0 185549112 207876096 48706 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 50751 48706 702 1256 0 49490 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 203004
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1615768/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=210028 CPUtime=1601.72
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 414839 0 0 0 159086 1086 0 0 25 0 1 0 185549112 215068672 50235 1992294400 4194304 9342243 548682068736 18446744073709551615 5029375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 52507 50235 702 1256 0 51246 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 210028
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1605144/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=219840 CPUtime=1661.71
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 425464 0 0 0 165045 1126 0 0 25 0 1 0 185549112 225116160 52846 1992294400 4194304 9342243 548682068736 18446744073709551615 7289219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 54960 52846 702 1256 0 53699 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 219840
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1596824/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=228168 CPUtime=1721.69
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 428153 0 0 0 171006 1163 0 0 25 0 1 0 185549112 233644032 54910 1992294400 4194304 9342243 548682068736 18446744073709551615 6890702 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 57042 54910 702 1256 0 55781 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 228168
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1590872/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=234716 CPUtime=1781.66
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 435257 0 0 0 176964 1202 0 0 25 0 1 0 185549112 240349184 56385 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 58679 56385 702 1256 0 57418 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 234716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19012
/proc/meminfo: memFree=1590232/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=235832 CPUtime=1800.07
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 435998 0 0 0 178793 1214 0 0 25 0 1 0 185549112 241491968 56525 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19011/statm: 58958 56525 702 1256 0 57697 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 235832
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/66 19012
/proc/meminfo: memFree=1590232/2055920 swapFree=4192812/4192956
[pid=19011] ppid=19009 vsize=212116 CPUtime=1800.36
/proc/19011/stat : 19011 (pbscip.linux.x8) R 19009 19011 18894 0 -1 4194304 436003 0 0 0 178820 1216 0 0 25 0 1 0 185549112 217206784 51344 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/19011/statm: 53029 51344 41275 1256 0 51768 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 212116
Child status: 0
Real time (s): 1801.01
CPU time (s): 1800.38
CPU user time (s): 1788.2
CPU system time (s): 12.1741
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 236592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.2
system time used= 12.1741
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 436006
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= 3021
runsolver used 2.14567 second user time and 4.10138 second system time
The end