0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664829-1276688114.opb>
0.09/0.17 c original problem has 4977 variables (4977 bin, 0 int, 0 impl, 0 cont) and 5494 constraints
0.09/0.17 c problem read
0.09/0.17 c presolving settings loaded
0.19/0.25 c presolving:
0.29/0.30 c (round 1) 7 del vars, 1 del conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9940 impls, 75 clqs
0.29/0.32 c (round 2) 7 del vars, 4971 del conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9940 impls, 75 clqs
0.29/0.38 c (round 3) 7 del vars, 4971 del conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 523 upgd conss, 9940 impls, 75 clqs
1.19/1.27 c (1.1s) probing: 101/4970 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.19/1.27 c (1.1s) probing aborted: 100/100 successive totally useless probings
1.19/1.27 c presolving (4 rounds):
1.19/1.27 c 7 deleted vars, 4971 deleted constraints, 7 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.19/1.27 c 9940 implications, 1111 cliques
1.19/1.27 c presolved problem has 4970 variables (4970 bin, 0 int, 0 impl, 0 cont) and 523 constraints
1.19/1.27 c 448 constraints of type <knapsack>
1.19/1.27 c 75 constraints of type <setppc>
1.19/1.27 c transformed objective value is always integral (scale: 1)
1.19/1.27 c Presolving Time: 1.02
1.19/1.27 c - non default parameters ----------------------------------------------------------------------
1.19/1.27 c # SCIP version 1.2.1.2
1.19/1.27 c
1.19/1.27 c # frequency for displaying node information lines
1.19/1.27 c # [type: int, range: [-1,2147483647], default: 100]
1.19/1.27 c display/freq = 10000
1.19/1.27 c
1.19/1.27 c # maximal time in seconds to run
1.19/1.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.27 c limits/time = 1799.83
1.19/1.27 c
1.19/1.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.27 c limits/memory = 1620
1.19/1.27 c
1.19/1.27 c # should presolving try to simplify inequalities
1.19/1.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.27 c constraints/linear/simplifyinequalities = TRUE
1.19/1.27 c
1.19/1.27 c # should presolving try to simplify knapsacks
1.19/1.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.27 c constraints/knapsack/simplifyinequalities = TRUE
1.19/1.27 c
1.19/1.27 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.19/1.27 c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.27 c separating/rapidlearning/freq = 0
1.19/1.27 c
1.19/1.27 c -----------------------------------------------------------------------------------------------
1.19/1.27 c start solving
1.19/1.27 c
1.29/1.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.38 c 1.2s| 1 | 0 | 304 | - | 22M| 0 | 41 |4970 | 523 |4970 | 523 | 0 | 0 | 0 | 7.000000e+00 | -- | Inf
2.99/3.09 c 2.8s| 1 | 0 | 382 | - | 24M| 0 | 71 |4970 | 523 |4970 | 555 | 32 | 0 | 0 | 7.000000e+00 | -- | Inf
3.69/3.71 c 3.4s| 1 | 0 | 443 | - | 25M| 0 | 91 |4970 | 523 |4970 | 581 | 58 | 0 | 0 | 7.000000e+00 | -- | Inf
4.30/4.35 c 4.0s| 1 | 0 | 497 | - | 25M| 0 | 98 |4970 | 523 |4970 | 607 | 84 | 0 | 0 | 7.000000e+00 | -- | Inf
4.99/5.02 c 4.7s| 1 | 0 | 568 | - | 26M| 0 | 122 |4970 | 523 |4970 | 634 | 111 | 0 | 0 | 7.000000e+00 | -- | Inf
5.69/5.71 c 5.4s| 1 | 0 | 652 | - | 26M| 0 | 136 |4970 | 523 |4970 | 661 | 138 | 0 | 0 | 7.000000e+00 | -- | Inf
6.49/6.54 c 6.2s| 1 | 0 | 796 | - | 27M| 0 | 130 |4970 | 523 |4970 | 685 | 162 | 0 | 0 | 7.000000e+00 | -- | Inf
7.60/7.69 c 7.3s| 1 | 2 | 796 | - | 27M| 0 | 130 |4970 | 523 |4970 | 685 | 162 | 0 | 14 | 7.000000e+00 | -- | Inf
311.09/311.29 c 303s| 10000 | 1149 |255136 | 25.4 | 38M| 144 | 29 |4970 |3850 |4970 | 588 | 162 | 11k|5939 | 7.000000e+00 | -- | Inf
507.03/507.28 c 494s| 20000 | 1531 |431157 | 21.5 | 42M| 144 | 44 |4970 |5032 |4970 | 588 | 162 | 22k|8556 | 7.000000e+00 | -- | Inf
711.76/712.05 c 695s| 30000 | 1982 |653792 | 21.8 | 44M| 144 | 10 |4970 |3298 |4970 | 588 | 162 | 29k| 10k| 7.000000e+00 | -- | Inf
890.63/890.97 c 870s| 40000 | 2047 |849129 | 21.2 | 44M| 144 | 35 |4970 |3519 |4970 | 588 | 162 | 34k| 11k| 7.000000e+00 | -- | Inf
1087.26/1087.62 c 1063s| 50000 | 2200 | 1063k| 21.3 | 45M| 144 | 15 |4970 |3507 |4970 | 588 | 162 | 40k| 12k| 7.000000e+00 | -- | Inf
1275.01/1275.45 c 1247s| 60000 | 2260 | 1267k| 21.1 | 46M| 144 | 30 |4970 |3570 |4970 | 588 | 162 | 47k| 13k| 7.000000e+00 | -- | Inf
1490.75/1491.30 c 1457s| 70000 | 2513 | 1470k| 21.0 | 48M| 144 | - |4970 |3513 |4970 | 588 | 162 | 54k| 17k| 7.000000e+00 | -- | Inf
1662.10/1662.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1662.10/1662.62 c 1625s| 80000 | 2584 | 1664k| 20.8 | 48M| 144 | - |4970 |3699 |4970 | 588 | 162 | 60k| 17k| 7.000000e+00 | -- | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.62 c
1800.07/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.62 c Solving Time (sec) : 1760.12
1800.07/1800.62 c Solving Nodes : 87841
1800.07/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.62 c Dual Bound : +7.00000000000000e+00
1800.07/1800.62 c Gap : infinite
1800.07/1800.62 s UNKNOWN
1800.07/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.62 c Solving Time : 1760.12
1800.07/1800.62 c Original Problem :
1800.07/1800.62 c Problem name : HOME/instance-2664829-1276688114.opb
1800.07/1800.62 c Variables : 4977 (4977 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.62 c Constraints : 5494 initial, 5494 maximal
1800.07/1800.62 c Presolved Problem :
1800.07/1800.62 c Problem name : t_HOME/instance-2664829-1276688114.opb
1800.07/1800.62 c Variables : 4970 (4970 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.62 c Constraints : 523 initial, 5047 maximal
1800.07/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c implics : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.62 c probing : 0.30 0 0 0 0 0 0 0 0
1800.07/1800.62 c knapsack : 0.56 0 0 0 0 0 0 0 0
1800.07/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c linear : 0.08 7 0 0 7 0 4971 0 0
1800.07/1800.62 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c root node : - 0 - - 0 - - - -
1800.07/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.62 c integral : 0 0 0 50496 0 113 8975 0 0 91436
1800.07/1800.62 c knapsack : 448 6 244427 0 0 2433 4507030 1203 0 0
1800.07/1800.62 c setppc : 75 6 241994 0 0 661 602779 0 0 0
1800.07/1800.62 c logicor : 0+ 0 91845 0 0 1451 35802 0 0 0
1800.07/1800.62 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.62 c integral : 223.07 0.00 0.00 223.07 0.00
1800.07/1800.62 c knapsack : 320.55 0.06 320.49 0.00 0.00
1800.07/1800.62 c setppc : 3.40 0.00 3.40 0.00 0.00
1800.07/1800.62 c logicor : 7.43 0.00 7.43 0.00 0.00
1800.07/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.62 c vbounds : 0.14 2 0 0
1800.07/1800.62 c rootredcost : 0.28 0 0 0
1800.07/1800.62 c pseudoobj : 0.11 0 0 0
1800.07/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.62 c propagation : 6.01 4545 4542 92634 121.9 58 82.9 -
1800.07/1800.62 c infeasible LP : 242.23 38270 7159 242458 285.2 70 88.6 0
1800.07/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.62 c applied globally : - - - 67109 168.2 - - -
1800.07/1800.62 c applied locally : - - - 0 0.0 - - -
1800.07/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.62 c cut pool : 0.00 5 - - 799 - (maximal pool size: 1888)
1800.07/1800.62 c redcost : 29.08 50014 0 0 0 0
1800.07/1800.62 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.62 c intobj : 0.00 0 0 0 0 0
1800.07/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.62 c gomory : 0.07 6 0 0 37 0
1800.07/1800.62 c strongcg : 0.29 6 0 0 39 0
1800.07/1800.62 c cmir : 1.72 6 0 0 1859 0
1800.07/1800.62 c flowcover : 1.52 6 0 0 1201 0
1800.07/1800.62 c clique : 0.02 6 0 0 10 0
1800.07/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.62 c mcf : 0.00 1 0 0 0 0
1800.07/1800.62 c rapidlearning : 0.88 1 0 0 0 0
1800.07/1800.62 c Pricers : Time Calls Vars
1800.07/1800.62 c problem variables: 0.00 0 0
1800.07/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.62 c relpscost : 222.91 50496 113 8975 0 0 91436
1800.07/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.62 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.62 c random : 0.00 0 0 0 0 0 0
1800.07/1800.62 c Primal Heuristics : Time Calls Found
1800.07/1800.62 c LP solutions : 0.00 - 0
1800.07/1800.62 c pseudo solutions : 0.00 - 0
1800.07/1800.62 c oneopt : 0.20 0 0
1800.07/1800.62 c crossover : 0.16 0 0
1800.07/1800.62 c guideddiving : 0.01 0 0
1800.07/1800.62 c intshifting : 0.01 0 0
1800.07/1800.62 c linesearchdiving : 1.36 14 0
1800.07/1800.62 c pscostdiving : 3.69 14 0
1800.07/1800.62 c fracdiving : 3.04 14 0
1800.07/1800.62 c veclendiving : 1.11 14 0
1800.07/1800.62 c coefdiving : 4.30 14 0
1800.07/1800.62 c objpscostdiving : 2.70 8 0
1800.07/1800.62 c rootsoldiving : 2.23 8 0
1800.07/1800.62 c feaspump : 0.86 8 0
1800.07/1800.62 c trivial : 0.02 2 0
1800.07/1800.62 c simplerounding : 0.05 0 0
1800.07/1800.62 c zirounding : 0.22 1000 0
1800.07/1800.62 c rounding : 0.95 3132 0
1800.07/1800.62 c shifting : 7.42 917 0
1800.07/1800.62 c twoopt : 0.00 0 0
1800.07/1800.62 c fixandinfer : 0.00 0 0
1800.07/1800.62 c intdiving : 0.00 0 0
1800.07/1800.62 c actconsdiving : 0.00 0 0
1800.07/1800.62 c octane : 0.00 0 0
1800.07/1800.62 c rens : 0.14 1 0
1800.07/1800.62 c rins : 0.00 0 0
1800.07/1800.62 c localbranching : 0.00 0 0
1800.07/1800.62 c mutation : 0.00 0 0
1800.07/1800.62 c dins : 0.00 0 0
1800.07/1800.62 c undercover : 0.00 0 0
1800.07/1800.62 c nlp : 0.05 0 0
1800.07/1800.62 c trysol : 0.10 0 0
1800.07/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.62 c primal LP : 0.01 0 0 0.00 0.00
1800.07/1800.62 c dual LP : 764.05 88174 1752972 19.88 2294.32
1800.07/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.62 c diving/probing LP: 13.15 1831 28430 15.53 2161.98
1800.07/1800.62 c strong branching : 220.61 18843 562441 29.85 2549.48
1800.07/1800.62 c (at root node) : - 14 1892 135.14 -
1800.07/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.62 c B&B Tree :
1800.07/1800.62 c number of runs : 1
1800.07/1800.62 c nodes : 87841
1800.07/1800.62 c nodes (total) : 87841
1800.07/1800.62 c nodes left : 2653
1800.07/1800.62 c max depth : 144
1800.07/1800.62 c max depth (total): 144
1800.07/1800.62 c backtracks : 11770 (13.4%)
1800.07/1800.62 c delayed cutoffs : 943
1800.07/1800.62 c repropagations : 61390 (460951 domain reductions, 576 cutoffs)
1800.07/1800.62 c avg switch length: 4.59
1800.07/1800.62 c switching time : 30.68
1800.07/1800.62 c Solution :
1800.07/1800.62 c Solutions found : 0 (0 improvements)
1800.07/1800.62 c Primal Bound : -
1800.07/1800.62 c Dual Bound : +7.00000000000000e+00
1800.07/1800.62 c Gap : infinite
1800.07/1800.62 c Root Dual Bound : +7.00000000000000e+00
1800.07/1800.62 c Root Iterations : 796
1800.17/1800.75 c Time complete: 1800.2.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664829-1276688114/watcher-2664829-1276688114 -o /tmp/evaluation-result-2664829-1276688114/solver-2664829-1276688114 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664829-1276688114.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15110
/proc/meminfo: memFree=1777424/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=9288 CPUtime=0
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 1222 0 0 0 0 0 0 0 18 0 1 0 10103032 9510912 1142 1992294400 4194304 9819077 140736408554048 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15110/statm: 2322 1152 371 1374 0 943 0
[startup+0.0170511 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15110
/proc/meminfo: memFree=1777424/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=11000 CPUtime=0.01
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 1699 0 0 0 1 0 0 0 18 0 1 0 10103032 11264000 1619 1992294400 4194304 9819077 140736408554048 18446744073709551615 4384864 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15110/statm: 2750 1619 388 1374 0 1371 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11000
[startup+0.101058 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15110
/proc/meminfo: memFree=1777424/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=17640 CPUtime=0.09
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 3348 0 0 0 8 1 0 0 20 0 1 0 10103032 18063360 3268 1992294400 4194304 9819077 140736408554048 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15110/statm: 4410 3268 388 1374 0 3031 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17640
[startup+0.301074 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15110
/proc/meminfo: memFree=1777424/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=36180 CPUtime=0.29
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 8166 0 0 0 26 3 0 0 20 0 1 0 10103032 37048320 7732 1992294400 4194304 9819077 140736408554048 18446744073709551615 6180495 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 9045 7732 487 1374 0 7666 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36180
[startup+0.701109 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15110
/proc/meminfo: memFree=1777424/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=42928 CPUtime=0.69
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 10473 0 0 0 65 4 0 0 21 0 1 0 10103032 43958272 9393 1992294400 4194304 9819077 140736408554048 18446744073709551615 4856616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 10732 9393 504 1374 0 9353 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42928
[startup+1.50118 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15111
/proc/meminfo: memFree=1738976/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=56016 CPUtime=1.49
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 16034 0 0 0 143 6 0 0 23 0 1 0 10103032 57360384 12425 1992294400 4194304 9819077 140736408554048 18446744073709551615 6031688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 14004 12425 657 1374 0 12625 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56016
[startup+3.10132 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15111
/proc/meminfo: memFree=1727072/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=59944 CPUtime=3.09
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 26461 0 0 0 297 12 0 0 25 0 1 0 10103032 61382656 13383 1992294400 4194304 9819077 140736408554048 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 14986 13383 697 1374 0 13607 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59944
[startup+6.3006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15111
/proc/meminfo: memFree=1722484/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=65484 CPUtime=6.29
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 29405 0 0 0 615 14 0 0 25 0 1 0 10103032 67055616 14656 1992294400 4194304 9819077 140736408554048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 16371 14656 698 1374 0 14992 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65484
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15111
/proc/meminfo: memFree=1719508/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=68508 CPUtime=12.69
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 97118 0 0 0 1226 43 0 0 25 0 1 0 10103032 70152192 15020 1992294400 4194304 9819077 140736408554048 18446744073709551615 7298818 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 17127 15020 711 1374 0 15748 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68508
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15111
/proc/meminfo: memFree=1718392/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=68936 CPUtime=25.48
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 231860 0 0 0 2443 105 0 0 25 0 1 0 10103032 70590464 15256 1992294400 4194304 9819077 140736408554048 18446744073709551615 6568854 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 17234 15256 725 1374 0 15855 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 68936
[startup+51.1005 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 15111
/proc/meminfo: memFree=1717772/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=69540 CPUtime=51.07
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 408307 0 0 0 4906 201 0 0 25 0 1 0 10103032 71208960 15341 1992294400 4194304 9819077 140736408554048 18446744073709551615 6698916 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 17385 15341 730 1374 0 16006 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 69540
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15113
/proc/meminfo: memFree=1708596/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=78932 CPUtime=102.26
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 658711 0 0 0 9880 346 0 0 25 0 1 0 10103032 80826368 17691 1992294400 4194304 9819077 140736408554048 18446744073709551615 6698776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 19733 17691 731 1374 0 18354 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 78932
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15115
/proc/meminfo: memFree=1702024/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=84116 CPUtime=162.24
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 866892 0 0 0 15733 491 0 0 25 0 1 0 10103032 86134784 19332 1992294400 4194304 9819077 140736408554048 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 21029 19332 731 1374 0 19650 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 84116
[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15117
/proc/meminfo: memFree=1695948/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=90580 CPUtime=222.22
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 1079032 0 0 0 21581 641 0 0 25 0 1 0 10103032 92753920 20871 1992294400 4194304 9819077 140736408554048 18446744073709551615 6391559 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 22645 20871 731 1374 0 21266 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 90580
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15117
/proc/meminfo: memFree=1691112/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=94532 CPUtime=282.19
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 1285525 0 0 0 27442 777 0 0 25 0 1 0 10103032 96800768 21956 1992294400 4194304 9819077 140736408554048 18446744073709551615 6656837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 23633 21956 731 1374 0 22254 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 94532
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15119
/proc/meminfo: memFree=1687888/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=97548 CPUtime=342.18
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 1458198 0 0 0 33315 903 0 0 25 0 1 0 10103032 99889152 22713 1992294400 4194304 9819077 140736408554048 18446744073709551615 6670007 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 24387 22713 731 1374 0 23008 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 97548
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15121
/proc/meminfo: memFree=1686028/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=99460 CPUtime=402.16
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 1668732 0 0 0 39164 1052 0 0 25 0 1 0 10103032 101847040 23123 1992294400 4194304 9819077 140736408554048 18446744073709551615 7308955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 24865 23123 731 1374 0 23486 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 99460
[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15123
/proc/meminfo: memFree=1683796/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=101404 CPUtime=462.14
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 1852009 0 0 0 45032 1182 0 0 25 0 1 0 10103032 103837696 23723 1992294400 4194304 9819077 140736408554048 18446744073709551615 6656904 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 25351 23723 731 1374 0 23972 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 101404
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15125
/proc/meminfo: memFree=1682680/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=103000 CPUtime=522.12
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 2035158 0 0 0 50899 1313 0 0 25 0 1 0 10103032 105472000 24027 1992294400 4194304 9819077 140736408554048 18446744073709551615 7816519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 25750 24027 731 1374 0 24371 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 103000
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15125
/proc/meminfo: memFree=1681068/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=106504 CPUtime=582.11
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 2248222 0 0 0 56748 1463 0 0 25 0 1 0 10103032 109060096 24416 1992294400 4194304 9819077 140736408554048 18446744073709551615 6656908 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 26626 24416 731 1374 0 25247 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 106504
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15127
/proc/meminfo: memFree=1678712/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=107032 CPUtime=642.09
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 2399595 0 0 0 62623 1586 0 0 25 0 1 0 10103032 109600768 25069 1992294400 4194304 9819077 140736408554048 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 26758 25069 731 1374 0 25379 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 107032
[startup+702.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15133
/proc/meminfo: memFree=1675860/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=109484 CPUtime=882.02
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 2913421 0 0 0 86188 2014 0 0 25 0 1 0 10103032 112111616 25709 1992294400 4194304 9819077 140736408554048 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 27371 25709 731 1374 0 25992 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 109484
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15135
/proc/meminfo: memFree=1675364/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=112032 CPUtime=942
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 3053629 0 0 0 92065 2135 0 0 25 0 1 0 10103032 114720768 25846 1992294400 4194304 9819077 140736408554048 18446744073709551615 7291660 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 28008 25846 731 1374 0 26629 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 112032
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15137
/proc/meminfo: memFree=1674620/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=110684 CPUtime=1001.98
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 3260135 0 0 0 97915 2283 0 0 25 0 1 0 10103032 113340416 26022 1992294400 4194304 9819077 140736408554048 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 27671 26022 731 1374 0 26292 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 110684
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15139
/proc/meminfo: memFree=1674124/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=111352 CPUtime=1061.97
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 3381133 0 0 0 103807 2390 0 0 25 0 1 0 10103032 114024448 26130 1992294400 4194304 9819077 140736408554048 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 27838 26130 731 1374 0 26459 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 111352
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15141
/proc/meminfo: memFree=1673504/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=111764 CPUtime=1121.96
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 3495909 0 0 0 109693 2503 0 0 25 0 1 0 10103032 114446336 26244 1992294400 4194304 9819077 140736408554048 18446744073709551615 6372759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 27941 26244 731 1374 0 26562 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 111764
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15141
/proc/meminfo: memFree=1673132/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=114504 CPUtime=1181.94
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 3650844 0 0 0 115564 2630 0 0 25 0 1 0 10103032 117252096 26409 1992294400 4194304 9819077 140736408554048 18446744073709551615 6513072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 28626 26409 731 1374 0 27247 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 114504
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15143
/proc/meminfo: memFree=1672016/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=113204 CPUtime=1241.93
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 3846042 0 0 0 121428 2765 0 0 25 0 1 0 10103032 115920896 26579 1992294400 4194304 9819077 140736408554048 18446744073709551615 6367485 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 28301 26579 731 1374 0 26922 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 113204
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15145
/proc/meminfo: memFree=1671644/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=113328 CPUtime=1301.91
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 4024370 0 0 0 127296 2895 0 0 25 0 1 0 10103032 116047872 26615 1992294400 4194304 9819077 140736408554048 18446744073709551615 5907474 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 28332 26615 731 1374 0 26953 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 113328
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15147
/proc/meminfo: memFree=1671396/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=115772 CPUtime=1361.89
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 4277889 0 0 0 133130 3059 0 0 25 0 1 0 10103032 118550528 26778 1992294400 4194304 9819077 140736408554048 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 28943 26782 731 1374 0 27564 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 115772
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15149
/proc/meminfo: memFree=1670280/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=114700 CPUtime=1421.88
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 4502336 0 0 0 138981 3207 0 0 25 0 1 0 10103032 117452800 26974 1992294400 4194304 9819077 140736408554048 18446744073709551615 6698459 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 28675 26974 731 1374 0 27296 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 114700
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15149
/proc/meminfo: memFree=1668916/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=116556 CPUtime=1481.85
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 4646347 0 0 0 144861 3324 0 0 25 0 1 0 10103032 119353344 27422 1992294400 4194304 9819077 140736408554048 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 29139 27422 731 1374 0 27760 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 116556
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15151
/proc/meminfo: memFree=1667924/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=116720 CPUtime=1541.84
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 4796362 0 0 0 150744 3440 0 0 25 0 1 0 10103032 119521280 27581 1992294400 4194304 9819077 140736408554048 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 29180 27581 731 1374 0 27801 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 116720
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15162
/proc/meminfo: memFree=1667304/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=117908 CPUtime=1601.81
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 4911754 0 0 0 156638 3543 0 0 25 0 1 0 10103032 120737792 27769 1992294400 4194304 9819077 140736408554048 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 29477 27769 731 1374 0 28098 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 117908
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15164
/proc/meminfo: memFree=1666684/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=118364 CPUtime=1661.79
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 5048581 0 0 0 162516 3663 0 0 25 0 1 0 10103032 121204736 27886 1992294400 4194304 9819077 140736408554048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 29591 27886 731 1374 0 28212 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 118364
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15166
/proc/meminfo: memFree=1665196/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=122192 CPUtime=1721.78
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 5245028 0 0 0 168382 3796 0 0 25 0 1 0 10103032 125124608 28300 1992294400 4194304 9819077 140736408554048 18446744073709551615 6674356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 30548 28300 731 1374 0 29169 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 122192
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15166
/proc/meminfo: memFree=1664452/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=120300 CPUtime=1781.76
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 5415663 0 0 0 174237 3939 0 0 25 0 1 0 10103032 123187200 28371 1992294400 4194304 9819077 140736408554048 18446744073709551615 5909095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 30075 28371 731 1374 0 28696 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 120300
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15168
/proc/meminfo: memFree=1664328/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=120484 CPUtime=1800.07
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 5462849 0 0 0 176027 3980 0 0 25 0 1 0 10103032 123375616 28420 1992294400 4194304 9819077 140736408554048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15110/statm: 30121 28420 731 1374 0 28742 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 120484
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15168
/proc/meminfo: memFree=1664328/2059040 swapFree=4141108/4192956
[pid=15110] ppid=15108 vsize=115016 CPUtime=1800.17
/proc/15110/stat : 15110 (pbscip.linux.x8) R 15108 15110 14289 0 -1 4202496 5462869 0 0 0 176037 3980 0 0 25 0 1 0 10103032 117776384 27050 1992294400 4194304 9819077 140736408554048 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15110/statm: 28754 27050 734 1374 0 27375 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 115016
Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.21
CPU user time (s): 1760.4
CPU system time (s): 39.8149
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 122656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1760.4
system time used= 39.8149
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5462873
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= 24053
runsolver used 2.90456 second user time and 8.57969 second system time
The end