0.09/0.14 c SCIP version 1.1.0.7
0.09/0.14 c LP-Solver SoPlex 1.4.1
0.09/0.14 c user parameter file <scip.set> not found - using default parameters
0.09/0.14 c read problem <HOME/instance-3741380-1338771376.opb>
0.09/0.14 c original problem has 21856 variables (21856 bin, 0 int, 0 impl, 0 cont) and 12129 constraints
0.19/0.22 c start presolving problem
0.19/0.22 c presolving:
0.29/0.31 c (round 1) 4857 del vars, 2244 del conss, 4845 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 50472 impls, 6474 clqs
0.29/0.33 c (round 2) 5338 del vars, 2557 del conss, 5227 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 50782 impls, 6364 clqs
0.29/0.34 c (round 3) 5450 del vars, 2643 del conss, 5319 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 50792 impls, 6340 clqs
0.29/0.35 c (round 4) 5455 del vars, 2648 del conss, 5319 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 50792 impls, 6340 clqs
0.39/0.42 c (round 5) 5455 del vars, 2648 del conss, 5319 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 50792 impls, 6340 clqs
2.10/2.14 c (round 6) 5510 del vars, 2648 del conss, 5320 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 448617 impls, 6334 clqs
2.10/2.15 c (round 7) 5510 del vars, 2679 del conss, 5320 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 448617 impls, 6334 clqs
3.29/3.36 c (3.2s) probing: 1000/16401 (6.1%) - 58 fixings, 0 aggregations, 149585 implications, 1 bound changes
3.99/4.06 c (round 8) 5562 del vars, 2679 del conss, 5320 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 753723 impls, 6330 clqs
3.99/4.07 c (round 9) 5562 del vars, 2686 del conss, 5320 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 753723 impls, 6330 clqs
5.49/5.57 c (5.3s) probing: 2000/16401 (12.2%) - 133 fixings, 1 aggregations, 346533 implications, 1 bound changes
6.19/6.26 c (round 10) 5612 del vars, 2686 del conss, 5320 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 1145105 impls, 6326 clqs
6.19/6.27 c (round 11) 5612 del vars, 2703 del conss, 5320 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 1145105 impls, 6326 clqs
7.39/7.46 c (7.2s) probing: 3000/16401 (18.3%) - 158 fixings, 1 aggregations, 474532 implications, 2 bound changes
8.99/9.04 c (8.8s) probing: 4000/16401 (24.4%) - 173 fixings, 1 aggregations, 542092 implications, 2 bound changes
10.49/10.54 c (10.3s) probing: 5000/16401 (30.5%) - 195 fixings, 1 aggregations, 592285 implications, 2 bound changes
10.79/10.89 c (round 12) 5662 del vars, 2703 del conss, 5321 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 1842612 impls, 6326 clqs
10.89/10.91 c (round 13) 5662 del vars, 2753 del conss, 5321 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 1842612 impls, 6326 clqs
11.99/12.02 c (11.8s) probing: 6000/16401 (36.6%) - 206 fixings, 1 aggregations, 624055 implications, 2 bound changes
13.49/13.53 c (13.3s) probing: 7000/16401 (42.7%) - 206 fixings, 1 aggregations, 662488 implications, 2 bound changes
13.89/13.90 c (13.6s) probing: 7240/16401 (44.1%) - 206 fixings, 1 aggregations, 673692 implications, 2 bound changes
13.89/13.90 c (13.6s) probing aborted: 2000/2000 successive useless probings
13.89/13.91 c presolving (14 rounds):
13.89/13.91 c 5662 deleted vars, 2753 deleted constraints, 5321 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
13.89/13.91 c 1990652 implications, 6326 cliques
13.89/13.91 c presolved problem has 16194 variables (16194 bin, 0 int, 0 impl, 0 cont) and 9376 constraints
13.89/13.91 c 6332 constraints of type <setppc>
13.89/13.91 c 3044 constraints of type <logicor>
13.89/13.91 c transformed objective value is always integral (scale: 1)
13.89/13.91 c Presolving Time: 13.58
13.89/13.91 c OPT-LIN
13.89/13.91 c -----------------------------------------------------------------------------------------------
13.89/13.91 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.89/13.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.89/13.91 c limits/memory = c 13950
13.89/13.91 c # maximal time in seconds to run
13.89/13.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.89/13.91 c limits/time = c 1791
13.89/13.91 c # frequency for displaying node information lines
13.89/13.91 c # [type: int, range: [-1,2147483647], default: 100]
13.89/13.91 c display/freq = c 10000
13.89/13.91 c -----------------------------------------------------------------------------------------------
13.89/13.91 c start solving problem
13.89/13.91 c
31.18/31.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.18/31.23 c 30.9s| 1 | 0 | 17215 | 114M| 0 |1663 | 16k|9376 |9376 | 16k|9376 | 0 | 0 | 0 | 1.307212e+01 | -- | Inf
89.68/89.74 c 89.2s| 1 | 0 | 74641 | 116M| 0 |1939 | 16k|9376 |9376 | 16k| 10k|1112 | 0 | 0 | 1.400145e+01 | -- | Inf
94.58/94.61 c 94.0s| 1 | 0 | 76727 | 116M| 0 |1972 | 16k|9376 |9376 | 16k| 10k|1130 | 0 | 0 | 1.400146e+01 | -- | Inf
102.48/102.52 c 102s| 1 | 0 | 80680 | 116M| 0 |1954 | 16k|9376 |9376 | 16k| 10k|1143 | 0 | 0 | 1.400146e+01 | -- | Inf
109.68/109.73 c 109s| 1 | 0 | 84167 | 116M| 0 |1807 | 16k|9376 |9376 | 16k| 10k|1151 | 0 | 0 | 1.400152e+01 | -- | Inf
115.48/115.52 c 115s| 1 | 0 | 86830 | 116M| 0 |1838 | 16k|9376 |9376 | 16k| 10k|1173 | 0 | 0 | 1.400152e+01 | -- | Inf
123.77/123.88 c 123s| 1 | 0 | 91026 | 116M| 0 |1904 | 16k|9376 |9376 | 16k| 10k|1176 | 0 | 0 | 1.400152e+01 | -- | Inf
171.77/171.81 c 171s| 1 | 2 | 91026 | 116M| 0 |1904 | 16k|9376 |9376 | 16k| 10k|1176 | 0 | 17 | 1.400152e+01 | -- | Inf
1793.71/1794.07 c
1793.71/1794.07 c SCIP Status : solving was interrupted [time limit reached]
1793.71/1794.07 c Solving Time (sec) : 1791.00
1793.71/1794.07 c Solving Nodes : 79
1793.71/1794.07 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1793.71/1794.07 c Dual Bound : +1.40015274339110e+01
1793.71/1794.07 c Gap : infinite
1793.71/1794.07 c NODE 79
1793.71/1794.07 c DUAL BOUND 14.0015
1793.71/1794.07 c PRIMAL BOUND 1e+20
1793.71/1794.07 c GAP 1e+20
1793.71/1794.07 s UNKNOWN
1793.71/1794.07 c SCIP Status : solving was interrupted [time limit reached]
1793.71/1794.07 c Solving Time : 1791.00
1793.71/1794.07 c Original Problem :
1793.71/1794.07 c Problem name : HOME/instance-3741380-1338771376.opb
1793.71/1794.07 c Variables : 21856 (21856 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.71/1794.07 c Constraints : 12129 initial, 12129 maximal
1793.71/1794.07 c Presolved Problem :
1793.71/1794.07 c Problem name : t_HOME/instance-3741380-1338771376.opb
1793.71/1794.07 c Variables : 16194 (16194 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.71/1794.07 c Constraints : 9376 initial, 9427 maximal
1793.71/1794.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1793.71/1794.07 c trivial : 0.02 0 0 0 0 0 0 0 0
1793.71/1794.07 c dualfix : 0.00 0 0 0 0 0 0 0 0
1793.71/1794.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
1793.71/1794.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1793.71/1794.07 c implics : 0.01 0 0 0 0 0 0 0 0
1793.71/1794.07 c probing : 13.21 206 1 0 2 0 0 0 0
1793.71/1794.07 c setppc : 0.04 0 0 0 0 0 8 0 0
1793.71/1794.07 c linear : 0.15 5319 136 0 5319 0 2648 0 0
1793.71/1794.07 c logicor : 0.06 0 0 0 0 0 97 0 0
1793.71/1794.07 c root node : - 8 - - 8 - - - -
1793.71/1794.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1793.71/1794.07 c integral : 0 0 0 75 0 0 0 0 0 150
1793.71/1794.07 c setppc : 6332 6 37123 0 0 48 33473 0 0 0
1793.71/1794.07 c logicor : 3044+ 6 25606 0 0 1 204 0 0 0
1793.71/1794.07 c countsols : 0 0 0 0 0 0 0 0 0 0
1793.71/1794.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1793.71/1794.07 c integral : 447.57 0.00 0.00 447.57 0.00
1793.71/1794.07 c setppc : 4.99 0.00 4.99 0.00 0.00
1793.71/1794.07 c logicor : 0.14 0.00 0.14 0.00 0.00
1793.71/1794.07 c countsols : 0.00 0.00 0.00 0.00 0.00
1793.71/1794.07 c Propagators : Time Calls Cutoffs DomReds
1793.71/1794.07 c rootredcost : 0.00 0 0 0
1793.71/1794.07 c pseudoobj : 0.02 2834 0 0
1793.71/1794.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1793.71/1794.07 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1793.71/1794.07 c infeasible LP : 0.14 10 10 97 853.0 0 0.0 0
1793.71/1794.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1793.71/1794.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1793.71/1794.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1793.71/1794.07 c applied globally : - - - 64 690.8 - - -
1793.71/1794.07 c applied locally : - - - 0 0.0 - - -
1793.71/1794.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1793.71/1794.07 c cut pool : 0.00 5 - - 0 - (maximal pool size: 1348)
1793.71/1794.07 c redcost : 0.06 80 0 0 0 0
1793.71/1794.07 c impliedbounds : 0.05 6 0 0 1935 0
1793.71/1794.07 c intobj : 0.00 0 0 0 0 0
1793.71/1794.07 c gomory : 3.30 6 0 0 227 0
1793.71/1794.07 c strongcg : 3.29 6 0 0 227 0
1793.71/1794.07 c cmir : 0.71 6 0 0 0 0
1793.71/1794.07 c flowcover : 0.49 6 0 0 0 0
1793.71/1794.07 c clique : 3.75 6 0 0 47 0
1793.71/1794.07 c zerohalf : 0.00 0 0 0 0 0
1793.71/1794.07 c mcf : 0.01 1 0 0 0 0
1793.71/1794.07 c Pricers : Time Calls Vars
1793.71/1794.07 c problem variables: 0.00 0 0
1793.71/1794.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1793.71/1794.07 c relpscost : 447.57 75 0 0 0 0 150
1793.71/1794.07 c pscost : 0.00 0 0 0 0 0 0
1793.71/1794.07 c inference : 0.00 0 0 0 0 0 0
1793.71/1794.07 c mostinf : 0.00 0 0 0 0 0 0
1793.71/1794.07 c leastinf : 0.00 0 0 0 0 0 0
1793.71/1794.07 c fullstrong : 0.00 0 0 0 0 0 0
1793.71/1794.07 c allfullstrong : 0.00 0 0 0 0 0 0
1793.71/1794.07 c random : 0.00 0 0 0 0 0 0
1793.71/1794.07 c Primal Heuristics : Time Calls Found
1793.71/1794.07 c LP solutions : 0.00 - 0
1793.71/1794.07 c pseudo solutions : 0.00 - 0
1793.71/1794.07 c oneopt : 0.00 0 0
1793.71/1794.07 c crossover : 0.00 0 0
1793.71/1794.07 c simplerounding : 0.00 0 0
1793.71/1794.07 c rounding : 0.16 81 0
1793.71/1794.07 c shifting : 0.08 12 0
1793.71/1794.07 c intshifting : 0.00 0 0
1793.71/1794.07 c fixandinfer : 0.00 0 0
1793.71/1794.07 c feaspump : 47.06 1 0
1793.71/1794.07 c coefdiving : 127.62 2 0
1793.71/1794.07 c pscostdiving : 146.31 2 0
1793.71/1794.07 c fracdiving : 130.71 2 0
1793.71/1794.07 c veclendiving : 158.68 1 0
1793.71/1794.07 c intdiving : 0.00 0 0
1793.71/1794.07 c actconsdiving : 0.00 0 0
1793.71/1794.07 c objpscostdiving : 70.86 2 0
1793.71/1794.07 c rootsoldiving : 86.69 1 0
1793.71/1794.07 c linesearchdiving : 147.31 2 0
1793.71/1794.07 c guideddiving : 0.00 0 0
1793.71/1794.07 c octane : 0.00 0 0
1793.71/1794.07 c rens : 20.60 1 0
1793.71/1794.07 c rins : 0.00 0 0
1793.71/1794.07 c localbranching : 0.00 0 0
1793.71/1794.07 c mutation : 0.00 0 0
1793.71/1794.07 c dins : 0.00 0 0
1793.71/1794.07 c LP : Time Calls Iterations Iter/call Iter/sec
1793.71/1794.07 c primal LP : 0.02 0 0 0.00 0.00
1793.71/1794.07 c dual LP : 381.38 85 267118 3142.56 700.40
1793.71/1794.07 c barrier LP : 0.00 0 0 0.00 -
1793.71/1794.07 c diving/probing LP: 909.63 1381 647753 469.05 712.11
1793.71/1794.07 c strong branching : 447.51 294 290732 988.88 649.67
1793.71/1794.07 c (at root node) : - 17 17000 1000.00 -
1793.71/1794.07 c conflict analysis: 0.00 0 0 0.00 -
1793.71/1794.07 c B&B Tree :
1793.71/1794.07 c number of runs : 1
1793.71/1794.07 c nodes : 79
1793.71/1794.07 c nodes (total) : 79
1793.71/1794.07 c nodes left : 70
1793.71/1794.07 c max depth : 38
1793.71/1794.07 c max depth (total): 38
1793.71/1794.07 c backtracks : 19 (24.1%)
1793.71/1794.07 c delayed cutoffs : 2
1793.71/1794.07 c repropagations : 26 (10 domain reductions, 0 cutoffs)
1793.71/1794.07 c avg switch length: 2.27
1793.71/1794.07 c switching time : 0.07
1793.71/1794.07 c Solution :
1793.71/1794.07 c Solutions found : 0 (0 improvements)
1793.71/1794.07 c Primal Bound : -
1793.71/1794.07 c Dual Bound : +1.40015274339110e+01
1793.71/1794.07 c Gap : infinite
1793.71/1794.07 c Root Dual Bound : +1.40015245117577e+01
1793.81/1794.18 c Time complete: 1793.89.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741380-1338771376/watcher-3741380-1338771376 -o /tmp/evaluation-result-3741380-1338771376/solver-3741380-1338771376 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3741380-1338771376.opb
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4073
/proc/meminfo: memFree=30391292/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=8552 CPUtime=0 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 1505 0 0 0 0 0 0 0 20 0 1 0 343266198 8757248 1457 33554432000 4194304 7823515 140733942710352 140735304220168 6883856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 2138 1458 354 887 0 1248 0
[startup+0.0864011 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4073
/proc/meminfo: memFree=30391292/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=28204 CPUtime=0.07 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 6395 0 0 0 6 1 0 0 20 0 1 0 343266198 28880896 6347 33554432000 4194304 7823515 140733942710352 140735304220168 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 7051 6347 354 887 0 6161 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 28204
[startup+0.100344 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4073
/proc/meminfo: memFree=30391292/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=28372 CPUtime=0.09 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 6436 0 0 0 8 1 0 0 20 0 1 0 343266198 29052928 6388 33554432000 4194304 7823515 140733942710352 140735304220168 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 7093 6388 354 887 0 6203 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28372
[startup+0.300294 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4073
/proc/meminfo: memFree=30391292/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=67284 CPUtime=0.29 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 16250 0 0 0 26 3 0 0 20 0 1 0 343266198 68898816 15848 33554432000 4194304 7823515 140733942710352 140735304220168 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 16821 15848 432 887 0 15931 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67284
[startup+0.700273 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4073
/proc/meminfo: memFree=30391292/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=91540 CPUtime=0.69 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 22009 0 0 0 64 5 0 0 20 0 1 0 343266198 93736960 21498 33554432000 4194304 7823515 140733942710352 140735304220168 5803627 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 22885 21498 453 887 0 21995 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91540
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4074
/proc/meminfo: memFree=30297300/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=104200 CPUtime=1.49 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 24847 0 0 0 144 5 0 0 20 0 1 0 343266198 106700800 24337 33554432000 4194304 7823515 140733942710352 140733942707048 6911387 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 26247 24367 453 887 0 25357 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 104200
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4074
/proc/meminfo: memFree=30285256/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=117444 CPUtime=3.09 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 28012 0 0 0 302 7 0 0 20 0 1 0 343266198 120262656 27501 33554432000 4194304 7823515 140733942710352 140733942707592 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 29361 27501 454 887 0 28471 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 117444
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4074
/proc/meminfo: memFree=30260076/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=141828 CPUtime=6.29 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 33994 0 0 0 619 10 0 0 20 0 1 0 343266198 145231872 33483 33554432000 4194304 7823515 140733942710352 140733942707048 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 35457 33483 459 887 0 34567 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 141828
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4074
/proc/meminfo: memFree=30226356/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=167872 CPUtime=12.68 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 40523 0 0 0 1254 14 0 0 20 0 1 0 343266198 171900928 40012 33554432000 4194304 7823515 140733942710352 140733942707048 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 41968 40012 459 887 0 41078 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 167872
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4074
/proc/meminfo: memFree=30190768/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=193388 CPUtime=25.48 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 46880 0 0 0 2531 17 0 0 20 0 1 0 343266198 198029312 46092 33554432000 4194304 7823515 140733942710352 140733942706152 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 48347 46092 526 887 0 47457 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 193388
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4074
/proc/meminfo: memFree=30172244/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=195656 CPUtime=51.08 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 47372 0 0 0 5087 21 0 0 20 0 1 0 343266198 200351744 46584 33554432000 4194304 7823515 140733942710352 140733942705032 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 48914 46584 536 887 0 48024 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 195656
[startup+102.306 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 4074
/proc/meminfo: memFree=30134216/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=213844 CPUtime=102.28 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 52157 0 0 0 10182 46 0 0 20 0 1 0 343266198 218976256 51144 33554432000 4194304 7823515 140733942710352 140733942705880 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 53461 51144 565 887 0 52571 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 213844
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4074
/proc/meminfo: memFree=30119116/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=214032 CPUtime=162.26 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 65571 0 0 0 16162 64 0 0 20 0 1 0 343266198 219168768 51295 33554432000 4194304 7823515 140733942710352 140733942705400 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 53508 51295 576 887 0 52618 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 214032
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 4074
/proc/meminfo: memFree=30075248/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=214032 CPUtime=222.26 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 65571 0 0 0 22155 71 0 0 20 0 1 0 343266198 219168768 51295 33554432000 4194304 7823515 140733942710352 140733942705048 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 53508 51295 576 887 0 52618 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 214032
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4078
/proc/meminfo: memFree=30056420/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=214032 CPUtime=282.25 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 65577 0 0 0 28148 77 0 0 20 0 1 0 343266198 219168768 51301 33554432000 4194304 7823515 140733942710352 140733942705048 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 53508 51301 581 887 0 52618 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 214032
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4100
/proc/meminfo: memFree=30024336/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=211200 CPUtime=342.23 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 65784 0 0 0 34140 83 0 0 20 0 1 0 343266198 216268800 50510 33554432000 4194304 7823515 140733942710352 140733942705512 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 52800 50510 581 887 0 51910 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 211200
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4100
/proc/meminfo: memFree=29992008/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=214264 CPUtime=402.23 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 66601 0 0 0 40133 90 0 0 20 0 1 0 343266198 219406336 51327 33554432000 4194304 7823515 140733942710352 140733942705512 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 53566 51327 581 887 0 52676 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 214264
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4100
/proc/meminfo: memFree=29958144/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=214264 CPUtime=462.21 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 66623 0 0 0 46125 96 0 0 20 0 1 0 343266198 219406336 51349 33554432000 4194304 7823515 140733942710352 140733942706280 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 53566 51349 581 887 0 52676 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 214264
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4100
/proc/meminfo: memFree=29922044/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=215048 CPUtime=522.21 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 66725 0 0 0 52118 103 0 0 20 0 1 0 343266198 220209152 51451 33554432000 4194304 7823515 140733942710352 140733942705816 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 53762 51451 581 887 0 52872 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 215048
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4101
/proc/meminfo: memFree=29897644/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=215048 CPUtime=582.2 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 66804 0 0 0 58110 110 0 0 20 0 1 0 343266198 220209152 51530 33554432000 4194304 7823515 140733942710352 140733942705144 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 53762 51530 581 887 0 52872 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 215048
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29348184/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=218372 CPUtime=1062.13 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 67635 0 0 0 106053 160 0 0 20 0 1 0 343266198 223612928 52361 33554432000 4194304 7823515 140733942710352 140733942705688 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 54593 52361 582 887 0 53703 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 218372
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4306
/proc/meminfo: memFree=29300040/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=218572 CPUtime=1122.12 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 67636 0 0 0 112046 166 0 0 20 0 1 0 343266198 223817728 52362 33554432000 4194304 7823515 140733942710352 140733942705688 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 54643 52362 582 887 0 53753 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 218572
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4307
/proc/meminfo: memFree=29276632/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=218572 CPUtime=1182.11 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 67636 0 0 0 118039 172 0 0 20 0 1 0 343266198 223817728 52362 33554432000 4194304 7823515 140733942710352 140733942706152 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 54643 52362 582 887 0 53753 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 218572
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4307
/proc/meminfo: memFree=29188372/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=218572 CPUtime=1242.1 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 67641 0 0 0 124027 183 0 0 20 0 1 0 343266198 223817728 53647 33554432000 4194304 7823515 140733942710352 140733942706536 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 54643 53647 582 887 0 53753 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 218572
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4307
/proc/meminfo: memFree=29144072/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=218572 CPUtime=1302.08 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 67671 0 0 0 130017 191 0 0 20 0 1 0 343266198 223817728 54003 33554432000 4194304 7823515 140733942710352 140733942706248 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 54643 54003 582 887 0 53753 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 218572
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4307
/proc/meminfo: memFree=29103636/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=218572 CPUtime=1362.07 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 67671 0 0 0 136009 198 0 0 20 0 1 0 343266198 223817728 54003 33554432000 4194304 7823515 140733942710352 140733942705784 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 54643 54003 582 887 0 53753 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 218572
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 4307
/proc/meminfo: memFree=29065816/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=218572 CPUtime=1422.07 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 67671 0 0 0 142002 205 0 0 20 0 1 0 343266198 223817728 54003 33554432000 4194304 7823515 140733942710352 140733942706136 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 54643 54003 582 887 0 53753 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 218572
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 4311
/proc/meminfo: memFree=29028484/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=218572 CPUtime=1482.05 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 67671 0 0 0 147992 213 0 0 20 0 1 0 343266198 223817728 54003 33554432000 4194304 7823515 140733942710352 140733942705688 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 54643 54003 582 887 0 53753 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 218572
[startup+1542.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/177 4349
/proc/meminfo: memFree=30574228/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=219720 CPUtime=1542.04 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 67968 0 0 0 153981 223 0 0 20 0 1 0 343266198 224993280 54300 33554432000 4194304 7823515 140733942710352 140733942706472 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 54930 54300 582 887 0 54040 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 219720
[startup+1602.3 s]
/proc/loadavg: 2.15 2.07 2.02 3/177 4349
/proc/meminfo: memFree=30448616/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=219720 CPUtime=1602.03 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 67968 0 0 0 159970 233 0 0 20 0 1 0 343266198 224993280 54300 33554432000 4194304 7823515 140733942710352 140733942706584 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 54930 54300 582 887 0 54040 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 219720
[startup+1662.3 s]
/proc/loadavg: 2.09 2.07 2.02 3/177 4349
/proc/meminfo: memFree=30300828/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=219720 CPUtime=1662.02 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 67968 0 0 0 165958 244 0 0 20 0 1 0 343266198 224993280 54300 33554432000 4194304 7823515 140733942710352 140733942706280 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 54930 54300 582 887 0 54040 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 219720
[startup+1722.3 s]
/proc/loadavg: 2.07 2.06 2.02 3/177 4349
/proc/meminfo: memFree=30139904/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=219720 CPUtime=1722.01 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 67968 0 0 0 171947 254 0 0 20 0 1 0 343266198 224993280 54300 33554432000 4194304 7823515 140733942710352 140733942705688 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 54930 54300 582 887 0 54040 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 219720
[startup+1782.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/177 4350
/proc/meminfo: memFree=29937812/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=219720 CPUtime=1782.01 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 67968 0 0 0 177937 264 0 0 20 0 1 0 343266198 224993280 54300 33554432000 4194304 7823515 140733942710352 140733942705048 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 54930 54300 582 887 0 54040 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 219720
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.12 2.08 2.02 3/177 4350
/proc/meminfo: memFree=29926280/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=219720 CPUtime=1785.2 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 67968 0 0 0 178256 264 0 0 20 0 1 0 343266198 224993280 54300 33554432000 4194304 7823515 140733942710352 140733942706200 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 54930 54300 582 887 0 54040 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 219720
[startup+1788.7 s]
/proc/loadavg: 2.12 2.08 2.02 3/177 4350
/proc/meminfo: memFree=29908284/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=219720 CPUtime=1788.41 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 67968 0 0 0 178576 265 0 0 20 0 1 0 343266198 224993280 54300 33554432000 4194304 7823515 140733942710352 140733942706136 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 54930 54300 582 887 0 54040 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (KiB) 219720
[startup+1791.91 s]
/proc/loadavg: 2.11 2.08 2.02 3/177 4350
/proc/meminfo: memFree=29897992/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=219720 CPUtime=1791.61 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 67968 0 0 0 178896 265 0 0 20 0 1 0 343266198 224993280 54300 33554432000 4194304 7823515 140733942710352 140733942706248 6177563 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 54930 54300 582 887 0 54040 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 219720
[startup+1793.5 s]
/proc/loadavg: 2.11 2.08 2.02 3/177 4350
/proc/meminfo: memFree=29893156/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=219720 CPUtime=1793.2 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 67968 0 0 0 179054 266 0 0 20 0 1 0 343266198 224993280 54300 33554432000 4194304 7823515 140733942710352 140733942706248 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 54930 54300 582 887 0 54040 0
Current children cumulated CPU time (s) 1793.2
Current children cumulated vsize (KiB) 219720
[startup+1793.9 s]
/proc/loadavg: 2.11 2.08 2.02 3/177 4350
/proc/meminfo: memFree=29893156/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=219720 CPUtime=1793.6 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 67968 0 0 0 179094 266 0 0 20 0 1 0 343266198 224993280 54300 33554432000 4194304 7823515 140733942710352 140733942706248 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 54930 54300 582 887 0 54040 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (KiB) 219720
[startup+1794.11 s]
/proc/loadavg: 2.11 2.08 2.02 3/177 4350
/proc/meminfo: memFree=29888816/32873844 swapFree=7116/7116
[pid=4073] ppid=4071 vsize=211584 CPUtime=1793.81 cores=1,3,5,7
/proc/4073/stat : 4073 (pbscip.linux.x8) R 4071 4073 2584 0 -1 4202496 67970 0 0 0 179115 266 0 0 20 0 1 0 343266198 216662016 52501 33554432000 4194304 7823515 140733942710352 140733942706248 4237352 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4073/statm: 52896 52501 584 887 0 52006 0
Current children cumulated CPU time (s) 1793.81
Current children cumulated vsize (KiB) 211584
Child status: 0
Real time (s): 1794.19
CPU time (s): 1793.9
CPU user time (s): 1791.23
CPU system time (s): 2.67059
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 268520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.23
system time used= 2.67059
maximum resident set size= 258008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67973
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= 21
involuntary context switches= 1845
runsolver used 3.11353 second user time and 8.26374 second system time
The end