0.00/0.07 c SCIP version 1.1.0.7
0.00/0.07 c LP-Solver Clp 1.8.2
0.00/0.07 c user parameter file <scip.set> not found - using default parameters
0.00/0.07 c read problem <HOME/instance-1870825-1245221014.opb>
0.00/0.07 c original problem has 2130 variables (2130 bin, 0 int, 0 impl, 0 cont) and 2495 constraints
0.06/0.09 c start presolving problem
0.06/0.09 c presolving:
0.09/0.11 c (round 1) 5 del vars, 1 del conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4250 impls, 49 clqs
0.09/0.12 c (round 2) 5 del vars, 2126 del conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4250 impls, 49 clqs
0.09/0.14 c (round 3) 5 del vars, 2126 del conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 369 upgd conss, 4250 impls, 49 clqs
0.19/0.29 c (0.2s) probing: 101/2125 (4.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.29 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.29 c presolving (4 rounds):
0.19/0.29 c 5 deleted vars, 2126 deleted constraints, 5 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.29 c 4250 implications, 309 cliques
0.19/0.29 c presolved problem has 2125 variables (2125 bin, 0 int, 0 impl, 0 cont) and 369 constraints
0.19/0.29 c 320 constraints of type <knapsack>
0.19/0.29 c 49 constraints of type <setppc>
0.19/0.29 c transformed objective value is always integral (scale: 1)
0.19/0.29 c Presolving Time: 0.20
0.19/0.29 c OPT-LIN
0.19/0.29 c -----------------------------------------------------------------------------------------------
0.19/0.29 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.29 c limits/memory = c 1620
0.19/0.29 c # maximal time in seconds to run
0.19/0.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.29 c limits/time = c 1791
0.19/0.29 c # frequency for displaying node information lines
0.19/0.29 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.29 c display/freq = c 10000
0.19/0.29 c -----------------------------------------------------------------------------------------------
0.19/0.29 c start solving problem
0.19/0.29 c
0.29/0.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.32 c 0.2s| 1 | 0 | 165 |8165k| 0 | 38 |2125 | 369 | 369 |2125 | 369 | 0 | 0 | 0 | 5.000000e+00 | -- | Inf
0.59/0.69 c 0.6s| 1 | 0 | 573 |9528k| 0 | 64 |2125 | 369 | 369 |2125 | 394 | 25 | 0 | 0 | 5.000000e+00 | -- | Inf
1.00/1.06 c 1.0s| 1 | 0 | 728 |9996k| 0 | 90 |2125 | 369 | 369 |2125 | 416 | 47 | 0 | 0 | 5.000000e+00 | -- | Inf
1.29/1.39 c 1.3s| 1 | 0 | 956 | 10M| 0 | 96 |2125 | 369 | 369 |2125 | 434 | 65 | 0 | 0 | 5.000000e+00 | -- | Inf
1.69/1.74 c 1.6s| 1 | 0 | 1256 | 10M| 0 | 102 |2125 | 369 | 369 |2125 | 457 | 88 | 0 | 0 | 5.000000e+00 | -- | Inf
2.10/2.17 c 2.1s| 1 | 0 | 1741 | 11M| 0 | 106 |2125 | 369 | 369 |2125 | 481 | 112 | 0 | 0 | 5.000000e+00 | -- | Inf
2.59/2.60 c 2.5s| 1 | 0 | 2206 | 11M| 0 | 122 |2125 | 369 | 369 |2125 | 502 | 133 | 0 | 0 | 5.000000e+00 | -- | Inf
4.19/4.22 c 4.1s| 1 | 2 | 2206 | 11M| 0 | 122 |2125 | 369 | 369 |2125 | 502 | 133 | 0 | 33 | 5.000000e+00 | -- | Inf
117.46/117.58 c 117s| 10000 | 178 |163880 | 13M| 82 | 41 |2125 |2452 | 490 |2125 | 439 | 133 |4567 |3797 | 5.000000e+00 | -- | Inf
211.53/211.67 c 210s| 20000 | 252 |368125 | 13M| 82 | - |2125 |1389 | 344 |2125 | 439 | 133 |9802 |5176 | 5.000000e+00 | -- | Inf
312.51/312.66 c 311s| 30000 | 347 |572198 | 14M| 85 | - |2125 |2208 | 454 | 0 | 0 | 133 | 11k|7524 | 5.000000e+00 | -- | Inf
424.68/424.83 c 422s| 40000 | 374 |826059 | 14M| 85 | 43 |2125 |2011 | 351 |2125 | 439 | 133 | 12k|9908 | 5.000000e+00 | -- | Inf
531.05/531.23 c 527s| 50000 | 408 | 1068k| 14M| 92 | - |2125 |2155 | 437 |2125 | 439 | 133 | 13k| 11k| 5.000000e+00 | -- | Inf
619.13/619.37 c 615s| 60000 | 697 | 1241k| 16M| 96 | - |2125 |2873 | 343 |2125 | 439 | 133 | 15k| 12k| 5.000000e+00 | -- | Inf
696.00/696.29 c 691s| 70000 | 836 | 1396k| 16M| 96 | - |2125 |3229 | 366 |2125 | 439 | 133 | 17k| 13k| 5.000000e+00 | -- | Inf
777.59/777.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
777.59/777.83 c 773s| 80000 | 863 | 1559k| 17M| 96 | - |2125 |3252 | 356 |2125 | 439 | 133 | 20k| 14k| 5.000000e+00 | -- | Inf
857.46/857.79 c 852s| 90000 | 927 | 1729k| 17M| 96 | - |2125 |3796 | 433 | 0 | 0 | 133 | 21k| 14k| 5.000000e+00 | -- | Inf
940.94/941.23 c 935s|100000 | 929 | 1925k| 17M| 96 | - |2125 |3366 | 336 |2125 | 439 | 133 | 24k| 15k| 5.000000e+00 | -- | Inf
1026.32/1026.69 c 1020s|110000 | 853 | 2106k| 17M| 96 | - |2125 |3662 | 338 |2125 | 439 | 133 | 26k| 15k| 5.000000e+00 | -- | Inf
1117.69/1118.09 c 1111s|120000 | 1003 | 2303k| 17M| 97 | - |2125 |2937 | 340 |2125 | 439 | 133 | 29k| 16k| 5.000000e+00 | -- | Inf
1203.47/1203.85 c 1196s|130000 | 1037 | 2487k| 18M| 97 | - |2125 |3081 | 437 |2125 | 439 | 133 | 31k| 17k| 5.000000e+00 | -- | Inf
1283.35/1283.74 c 1276s|140000 | 1109 | 2662k| 18M| 97 | 34 |2125 |2950 | 357 |2125 | 439 | 133 | 33k| 18k| 5.000000e+00 | -- | Inf
1362.82/1363.20 c 1355s|150000 | 1146 | 2823k| 18M| 97 | - |2125 |3355 | 375 |2125 | 439 | 133 | 35k| 18k| 5.000000e+00 | -- | Inf
1450.51/1450.97 c 1442s|160000 | 1224 | 3017k| 19M| 97 | 40 |2125 |3527 | 511 |2125 | 439 | 133 | 39k| 19k| 5.000000e+00 | -- | Inf
1533.08/1533.55 c 1524s|170000 | 1290 | 3201k| 19M| 97 | - |2125 |3512 | 284 |2125 | 439 | 133 | 42k| 20k| 5.000000e+00 | -- | Inf
1627.65/1628.16 c 1618s|180000 | 1336 | 3405k| 19M| 97 | 43 |2125 |3708 | 370 |2125 | 439 | 133 | 47k| 21k| 5.000000e+00 | -- | Inf
1718.23/1718.71 c 1708s|190000 | 1302 | 3625k| 19M| 97 | 51 |2125 |3867 | 417 |2125 | 439 | 133 | 51k| 22k| 5.000000e+00 | -- | Inf
1800.01/1800.52 c
1800.01/1800.52 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.52 c Solving Time (sec) : 1789.72
1800.01/1800.52 c Solving Nodes : 199346
1800.01/1800.52 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.52 c Dual Bound : +5.00000000000000e+00
1800.01/1800.52 c Gap : infinite
1800.01/1800.52 c NODE 199346
1800.01/1800.52 c DUAL BOUND 5
1800.01/1800.52 c PRIMAL BOUND 1e+20
1800.01/1800.52 c GAP 1e+20
1800.01/1800.52 s UNKNOWN
1800.01/1800.52 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.52 c Solving Time : 1789.72
1800.01/1800.52 c Original Problem :
1800.01/1800.52 c Problem name : HOME/instance-1870825-1245221014.opb
1800.01/1800.52 c Variables : 2130 (2130 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.52 c Constraints : 2495 initial, 2495 maximal
1800.01/1800.52 c Presolved Problem :
1800.01/1800.52 c Problem name : t_HOME/instance-1870825-1245221014.opb
1800.01/1800.52 c Variables : 2125 (2125 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.52 c Constraints : 369 initial, 4250 maximal
1800.01/1800.52 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.52 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.52 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.52 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.52 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.52 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.52 c probing : 0.03 0 0 0 0 0 0 0 0
1800.01/1800.52 c knapsack : 0.12 0 0 0 0 0 0 0 0
1800.01/1800.52 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.52 c linear : 0.02 5 0 0 5 0 2126 0 0
1800.01/1800.52 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.52 c root node : - 0 - - 0 - - - -
1800.01/1800.52 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.52 c integral : 0 0 0 106812 0 308 8981 0 0 201910
1800.01/1800.52 c knapsack : 320 6 485466 0 0 11715 6319733 1153 0 0
1800.01/1800.52 c setppc : 49 6 473751 0 0 3928 969684 0 0 0
1800.01/1800.52 c logicor : 0+ 0 191397 0 0 1373 113950 0 0 0
1800.01/1800.52 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.52 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.52 c integral : 158.02 0.00 0.00 158.02 0.00
1800.01/1800.52 c knapsack : 36.12 0.03 36.09 0.00 0.00
1800.01/1800.52 c setppc : 5.14 0.00 5.14 0.00 0.00
1800.01/1800.52 c logicor : 13.29 0.00 13.29 0.00 0.00
1800.01/1800.52 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.52 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.52 c rootredcost : 0.27 0 0 0
1800.01/1800.52 c pseudoobj : 0.10 0 0 0
1800.01/1800.52 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.52 c propagation : 1.61 17016 17012 94603 35.3 405 31.1 -
1800.01/1800.52 c infeasible LP : 48.98 82616 8 180 157.2 0 0.0 0
1800.01/1800.52 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.52 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.52 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.52 c applied globally : - - - 54814 30.0 - - -
1800.01/1800.52 c applied locally : - - - 0 0.0 - - -
1800.01/1800.52 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.52 c cut pool : 0.01 5 - - 765 - (maximal pool size: 1329)
1800.01/1800.52 c redcost : 7.80 106768 0 0 0 0
1800.01/1800.52 c impliedbounds : 0.00 6 0 0 0 0
1800.01/1800.52 c intobj : 0.00 0 0 0 0 0
1800.01/1800.52 c gomory : 0.11 6 0 0 36 0
1800.01/1800.52 c strongcg : 0.11 6 0 0 13 0
1800.01/1800.52 c cmir : 0.70 6 0 0 1561 0
1800.01/1800.52 c flowcover : 0.60 6 0 0 1203 0
1800.01/1800.52 c clique : 0.00 6 0 0 9 0
1800.01/1800.52 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.52 c mcf : 0.00 1 0 0 0 0
1800.01/1800.52 c Pricers : Time Calls Vars
1800.01/1800.52 c problem variables: 0.00 0 0
1800.01/1800.52 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.52 c relpscost : 157.83 106812 308 8981 0 0 201910
1800.01/1800.52 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.52 c inference : 0.00 0 0 0 0 0 0
1800.01/1800.52 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.52 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.52 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.52 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.52 c random : 0.00 0 0 0 0 0 0
1800.01/1800.52 c Primal Heuristics : Time Calls Found
1800.01/1800.52 c LP solutions : 0.00 - 0
1800.01/1800.52 c pseudo solutions : 0.00 - 0
1800.01/1800.52 c oneopt : 0.22 0 0
1800.01/1800.52 c crossover : 0.14 0 0
1800.01/1800.52 c guideddiving : 0.01 0 0
1800.01/1800.52 c fracdiving : 3.20 30 0
1800.01/1800.52 c pscostdiving : 2.26 30 0
1800.01/1800.52 c veclendiving : 1.27 30 0
1800.01/1800.52 c linesearchdiving : 1.48 30 0
1800.01/1800.52 c coefdiving : 4.95 31 0
1800.01/1800.52 c rootsoldiving : 0.87 16 0
1800.01/1800.52 c feaspump : 1.81 16 0
1800.01/1800.52 c objpscostdiving : 1.50 16 0
1800.01/1800.52 c simplerounding : 0.24 0 0
1800.01/1800.52 c rounding : 0.86 4550 0
1800.01/1800.52 c shifting : 3.62 1401 0
1800.01/1800.52 c intshifting : 0.00 0 0
1800.01/1800.52 c fixandinfer : 0.00 0 0
1800.01/1800.52 c intdiving : 0.00 0 0
1800.01/1800.52 c actconsdiving : 0.00 0 0
1800.01/1800.52 c octane : 0.00 0 0
1800.01/1800.52 c rens : 0.08 1 0
1800.01/1800.52 c rins : 0.00 0 0
1800.01/1800.52 c localbranching : 0.00 0 0
1800.01/1800.52 c mutation : 0.00 0 0
1800.01/1800.52 c dins : 0.00 0 0
1800.01/1800.52 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.52 c primal LP : 0.09 0 0 0.00 0.00
1800.01/1800.52 c dual LP : 1369.72 214754 3788335 17.64 2765.77
1800.01/1800.52 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.52 c diving/probing LP: 14.75 3460 24171 6.99 1638.71
1800.01/1800.52 c strong branching : 152.57 22838 736680 32.26 4828.47
1800.01/1800.52 c (at root node) : - 33 4846 146.85 -
1800.01/1800.52 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.52 c B&B Tree :
1800.01/1800.52 c number of runs : 1
1800.01/1800.52 c nodes : 199346
1800.01/1800.52 c nodes (total) : 199346
1800.01/1800.52 c nodes left : 1334
1800.01/1800.52 c max depth : 97
1800.01/1800.52 c max depth (total): 97
1800.01/1800.52 c backtracks : 29566 (14.8%)
1800.01/1800.52 c delayed cutoffs : 1231
1800.01/1800.52 c repropagations : 94972 (261598 domain reductions, 1090 cutoffs)
1800.01/1800.52 c avg switch length: 4.15
1800.01/1800.52 c switching time : 41.18
1800.01/1800.52 c Solution :
1800.01/1800.52 c Solutions found : 0 (0 improvements)
1800.01/1800.52 c Primal Bound : -
1800.01/1800.52 c Dual Bound : +5.00000000000000e+00
1800.01/1800.52 c Gap : infinite
1800.01/1800.52 c Root Dual Bound : +5.00000000000000e+00
1800.01/1800.57 c Time complete: 1800.08.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870825-1245221014/watcher-1870825-1245221014 -o /tmp/evaluation-result-1870825-1245221014/solver-1870825-1245221014 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870825-1245221014.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 13994
/proc/meminfo: memFree=1848424/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=7616 CPUtime=0
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 609 0 0 0 0 0 0 0 20 0 1 0 189699385 7798784 593 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/13994/statm: 1904 602 353 1256 0 643 0
[startup+0.0708021 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 13994
/proc/meminfo: memFree=1848424/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=12668 CPUtime=0.06
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 2490 0 0 0 5 1 0 0 20 0 1 0 189699385 12972032 2120 1992294400 4194304 9342243 548682068736 18446744073709551615 8126737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 3167 2120 379 1256 0 1906 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12668
[startup+0.101806 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 13994
/proc/meminfo: memFree=1848424/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=22208 CPUtime=0.09
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 4730 0 0 0 7 2 0 0 20 0 1 0 189699385 22740992 4360 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 5552 4360 461 1256 0 4291 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22208
[startup+0.301828 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 13994
/proc/meminfo: memFree=1848424/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=27836 CPUtime=0.29
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 6187 0 0 0 26 3 0 0 22 0 1 0 189699385 28504064 5818 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 6959 5825 527 1256 0 5698 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27836
[startup+0.701873 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 13994
/proc/meminfo: memFree=1848424/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=34904 CPUtime=0.69
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 7650 0 0 0 65 4 0 0 25 0 1 0 189699385 35741696 7265 1992294400 4194304 9342243 548682068736 18446744073709551615 4545344 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 8726 7265 677 1256 0 7465 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34904
[startup+1.50196 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13995
/proc/meminfo: memFree=1821472/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=38764 CPUtime=1.49
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 8683 0 0 0 145 4 0 0 25 0 1 0 189699385 39694336 8288 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 9691 8288 678 1256 0 8430 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38764
[startup+3.10114 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13995
/proc/meminfo: memFree=1815840/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=41660 CPUtime=3.08
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 12935 0 0 0 302 6 0 0 25 0 1 0 189699385 42659840 8831 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 10415 8831 696 1256 0 9154 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 41660
[startup+6.30149 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 13995
/proc/meminfo: memFree=1815200/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=41660 CPUtime=6.29
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 12977 0 0 0 621 8 0 0 25 0 1 0 189699385 42659840 8873 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 10415 8873 698 1256 0 9154 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41660
[startup+12.7012 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 13995
/proc/meminfo: memFree=1815272/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=41660 CPUtime=12.68
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 13010 0 0 0 1259 9 0 0 25 0 1 0 189699385 42659840 8906 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 10415 8906 699 1256 0 9154 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 41660
[startup+25.5016 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 13995
/proc/meminfo: memFree=1814824/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=41660 CPUtime=25.48
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 13130 0 0 0 2535 13 0 0 25 0 1 0 189699385 42659840 9026 1992294400 4194304 9342243 548682068736 18446744073709551615 6059584 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 10415 9026 704 1256 0 9154 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41660
[startup+51.1015 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 13995
/proc/meminfo: memFree=1814056/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=42964 CPUtime=51.08
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 13662 0 0 0 5084 24 0 0 25 0 1 0 189699385 43995136 9226 1992294400 4194304 9342243 548682068736 18446744073709551615 6039489 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 10741 9226 704 1256 0 9480 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42964
[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 13995
/proc/meminfo: memFree=1811688/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=45576 CPUtime=102.27
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 19217 0 0 0 10176 51 0 0 25 0 1 0 189699385 46669824 9820 1992294400 4194304 9342243 548682068736 18446744073709551615 6063200 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 11394 9820 706 1256 0 10133 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 45576
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/66 13995
/proc/meminfo: memFree=1811752/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=44516 CPUtime=162.25
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 45950 0 0 0 16130 95 0 0 25 0 1 0 189699385 45584384 9777 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 11129 9777 706 1256 0 9868 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 44516
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13995
/proc/meminfo: memFree=1810536/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=46736 CPUtime=222.23
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 79910 0 0 0 22080 143 0 0 25 0 1 0 189699385 47857664 10094 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 11684 10094 706 1256 0 10423 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 46736
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13995
/proc/meminfo: memFree=1810408/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=46884 CPUtime=282.22
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 84393 0 0 0 28051 171 0 0 25 0 1 0 189699385 48009216 10146 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 11721 10146 706 1256 0 10460 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 46884
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13995
/proc/meminfo: memFree=1810088/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=45916 CPUtime=342.2
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 114718 0 0 0 34005 215 0 0 25 0 1 0 189699385 47017984 10111 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 11479 10111 706 1256 0 10218 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 45916
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13995
/proc/meminfo: memFree=1810152/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=47112 CPUtime=402.18
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 140498 0 0 0 39959 259 0 0 25 0 1 0 189699385 48242688 10174 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 11778 10174 706 1256 0 10517 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 47112
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13995
/proc/meminfo: memFree=1810216/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=45768 CPUtime=462.17
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 190605 0 0 0 45908 309 0 0 25 0 1 0 189699385 46866432 10092 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 11442 10092 706 1256 0 10181 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 45768
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13995
/proc/meminfo: memFree=1810088/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=45768 CPUtime=522.16
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 227986 0 0 0 51863 353 0 0 25 0 1 0 189699385 46866432 10113 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 11442 10113 706 1256 0 10181 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 45768
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13997
/proc/meminfo: memFree=1808552/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=48300 CPUtime=582.13
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 259448 0 0 0 57818 395 0 0 25 0 1 0 189699385 49459200 10525 1992294400 4194304 9342243 548682068736 18446744073709551615 6059579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 12075 10525 706 1256 0 10814 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 48300
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13997
/proc/meminfo: memFree=1807720/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=49492 CPUtime=642.12
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 261016 0 0 0 63786 426 0 0 25 0 1 0 189699385 50679808 10726 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 12373 10726 706 1256 0 11112 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 49492
[startup+702.302 s]
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13997
/proc/meminfo: memFree=1804712/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=51268 CPUtime=882.05
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 304089 0 0 0 87638 567 0 0 25 0 1 0 189699385 52498432 11458 1992294400 4194304 9342243 548682068736 18446744073709551615 6253086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 12817 11458 706 1256 0 11556 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 51268
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13997
/proc/meminfo: memFree=1804968/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=51468 CPUtime=942.04
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 304583 0 0 0 93608 596 0 0 25 0 1 0 189699385 52703232 11379 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 12867 11379 706 1256 0 11606 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 51468
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13997
/proc/meminfo: memFree=1805480/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=51448 CPUtime=1002.02
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 307885 0 0 0 99578 624 0 0 25 0 1 0 189699385 52682752 11250 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 12862 11250 706 1256 0 11601 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 51448
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14003
/proc/meminfo: memFree=1805288/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=50376 CPUtime=1062
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 324894 0 0 0 105542 658 0 0 25 0 1 0 189699385 51585024 11268 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 12594 11268 706 1256 0 11333 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 50376
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14003
/proc/meminfo: memFree=1803688/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=52752 CPUtime=1121.98
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 328078 0 0 0 111513 685 0 0 25 0 1 0 189699385 54018048 11694 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 13188 11694 706 1256 0 11927 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 52752
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14003
/proc/meminfo: memFree=1802216/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=53580 CPUtime=1181.96
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 328437 0 0 0 117486 710 0 0 25 0 1 0 189699385 54865920 12051 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 13395 12051 706 1256 0 12134 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 53580
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14003
/proc/meminfo: memFree=1802024/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=53580 CPUtime=1241.95
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 328473 0 0 0 123460 735 0 0 25 0 1 0 189699385 54865920 12087 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 13395 12087 706 1256 0 12134 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 53580
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14003
/proc/meminfo: memFree=1803176/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=53320 CPUtime=1301.94
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 329030 0 0 0 129431 763 0 0 25 0 1 0 189699385 54599680 11797 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 13330 11797 706 1256 0 12069 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 53320
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14003
/proc/meminfo: memFree=1802984/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=53532 CPUtime=1361.93
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 332434 0 0 0 135404 789 0 0 25 0 1 0 189699385 54816768 11757 1992294400 4194304 9342243 548682068736 18446744073709551615 7289216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 13383 11757 706 1256 0 12122 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 53532
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14003
/proc/meminfo: memFree=1802216/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=54516 CPUtime=1421.91
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 345493 0 0 0 141366 825 0 0 25 0 1 0 189699385 55824384 12020 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 13629 12020 706 1256 0 12368 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 54516
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14003
/proc/meminfo: memFree=1801192/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=54508 CPUtime=1481.89
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 349484 0 0 0 147336 853 0 0 25 0 1 0 189699385 55816192 12266 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 13627 12266 706 1256 0 12366 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 54508
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14003
/proc/meminfo: memFree=1801640/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=53840 CPUtime=1541.87
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 351626 0 0 0 153306 881 0 0 25 0 1 0 189699385 55132160 12148 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 13460 12148 706 1256 0 12199 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 53840
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14003
/proc/meminfo: memFree=1801576/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=54064 CPUtime=1601.86
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 366062 0 0 0 159267 919 0 0 25 0 1 0 189699385 55361536 12151 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 13516 12151 706 1256 0 12255 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 54064
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14003
/proc/meminfo: memFree=1799912/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=55412 CPUtime=1661.84
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 373463 0 0 0 165235 949 0 0 25 0 1 0 189699385 56741888 12565 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 13853 12565 706 1256 0 12592 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 55412
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14003
/proc/meminfo: memFree=1799784/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=55860 CPUtime=1721.83
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 381505 0 0 0 171204 979 0 0 25 0 1 0 189699385 57200640 12624 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 13965 12624 706 1256 0 12704 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 55860
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14003
/proc/meminfo: memFree=1799400/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=56124 CPUtime=1781.81
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 390114 0 0 0 177168 1013 0 0 25 0 1 0 189699385 57470976 12705 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 14031 12705 706 1256 0 12770 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 56124
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14003
/proc/meminfo: memFree=1799208/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=56108 CPUtime=1800.01
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 393968 0 0 0 178975 1026 0 0 25 0 1 0 189699385 57454592 12661 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 14027 12661 706 1256 0 12766 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 56108
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14003
/proc/meminfo: memFree=1799208/2055920 swapFree=4180892/4192956
[pid=13994] ppid=13992 vsize=56108 CPUtime=1800.01
/proc/13994/stat : 13994 (pbscip.linux.x8) R 13992 13994 13894 0 -1 4194304 393968 0 0 0 178975 1026 0 0 25 0 1 0 189699385 57454592 12661 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13994/statm: 14027 12661 706 1256 0 12766 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 56108
Child status: 0
Real time (s): 1800.57
CPU time (s): 1800.09
CPU user time (s): 1789.82
CPU system time (s): 10.2714
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 57772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.82
system time used= 10.2714
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 393988
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= 2817
runsolver used 2.06169 second user time and 4.23436 second system time
The end