0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3740383-1338743852.opb>
1.39/1.44 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256265 constraints
1.39/1.44 c problem read
1.39/1.44 c presolving settings loaded
1.88/1.95 c presolving:
10.28/10.39 c (round 1) 7452 del vars, 22165 del conss, 0 add conss, 5831 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17281696 impls, 0 clqs
14.79/14.80 c (round 2) 14346 del vars, 52436 del conss, 0 add conss, 12349 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17321935 impls, 0 clqs
16.09/16.17 c (round 3) 16990 del vars, 65084 del conss, 0 add conss, 13898 chg bounds, 36 chg sides, 22 chg coeffs, 0 upgd conss, 17342746 impls, 0 clqs
16.99/17.02 c (round 4) 18284 del vars, 70329 del conss, 0 add conss, 14828 chg bounds, 52 chg sides, 41 chg coeffs, 0 upgd conss, 17355972 impls, 0 clqs
17.49/17.58 c (round 5) 19238 del vars, 74197 del conss, 0 add conss, 15494 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17364035 impls, 0 clqs
17.89/17.99 c (round 6) 19965 del vars, 76984 del conss, 0 add conss, 15978 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17370955 impls, 0 clqs
18.19/18.28 c (round 7) 20418 del vars, 78883 del conss, 0 add conss, 16273 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17375932 impls, 0 clqs
18.49/18.51 c (round 8) 20795 del vars, 80381 del conss, 0 add conss, 16529 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17379386 impls, 0 clqs
18.59/18.67 c (round 9) 21008 del vars, 81350 del conss, 0 add conss, 16653 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17381918 impls, 0 clqs
18.70/18.78 c (round 10) 21134 del vars, 81918 del conss, 0 add conss, 16725 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17383943 impls, 0 clqs
18.79/18.87 c (round 11) 21214 del vars, 82293 del conss, 0 add conss, 16771 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17385069 impls, 0 clqs
18.89/18.94 c (round 12) 21254 del vars, 82506 del conss, 0 add conss, 16794 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17385507 impls, 0 clqs
18.99/19.04 c (round 13) 21274 del vars, 82615 del conss, 0 add conss, 16808 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17385586 impls, 0 clqs
19.09/19.10 c (round 14) 21276 del vars, 82641 del conss, 0 add conss, 16808 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17385596 impls, 0 clqs
19.69/19.77 c (round 15) 21276 del vars, 82642 del conss, 0 add conss, 16808 chg bounds, 57 chg sides, 48 chg coeffs, 173623 upgd conss, 17385596 impls, 0 clqs
20.39/20.43 c (round 16) 21286 del vars, 82656 del conss, 30 add conss, 16814 chg bounds, 93 chg sides, 223 chg coeffs, 173623 upgd conss, 17388914 impls, 7545 clqs
20.79/20.81 c (round 17) 21302 del vars, 82703 del conss, 33 add conss, 16814 chg bounds, 103 chg sides, 264 chg coeffs, 173623 upgd conss, 17393396 impls, 8106 clqs
20.89/20.98 c (round 18) 21310 del vars, 82731 del conss, 33 add conss, 16814 chg bounds, 103 chg sides, 266 chg coeffs, 173623 upgd conss, 17400796 impls, 8106 clqs
21.08/21.13 c (round 19) 21322 del vars, 82767 del conss, 33 add conss, 16814 chg bounds, 103 chg sides, 267 chg coeffs, 173623 upgd conss, 17402746 impls, 8106 clqs
21.18/21.27 c (round 20) 21334 del vars, 82807 del conss, 33 add conss, 16814 chg bounds, 103 chg sides, 267 chg coeffs, 173623 upgd conss, 17402934 impls, 8106 clqs
21.28/21.39 c (round 21) 21346 del vars, 82851 del conss, 33 add conss, 16814 chg bounds, 103 chg sides, 267 chg coeffs, 173623 upgd conss, 17403100 impls, 8106 clqs
21.48/21.51 c (round 22) 21358 del vars, 82885 del conss, 33 add conss, 16814 chg bounds, 103 chg sides, 267 chg coeffs, 173623 upgd conss, 17403150 impls, 8106 clqs
216.86/216.91 c (round 23) 21408 del vars, 82901 del conss, 33 add conss, 16814 chg bounds, 103 chg sides, 267 chg coeffs, 173623 upgd conss, 30811570 impls, 7832 clqs
217.45/217.54 c (round 24) 21416 del vars, 84273 del conss, 33 add conss, 16814 chg bounds, 103 chg sides, 432 chg coeffs, 173623 upgd conss, 30812466 impls, 7832 clqs
579.80/579.95 c (round 25) 21466 del vars, 84280 del conss, 33 add conss, 16814 chg bounds, 103 chg sides, 432 chg coeffs, 173623 upgd conss, 49467066 impls, 8304 clqs
580.30/580.45 c (round 26) 21466 del vars, 84468 del conss, 33 add conss, 16814 chg bounds, 103 chg sides, 435 chg coeffs, 173623 upgd conss, 49467066 impls, 8304 clqs
643.49/643.65 c (round 27) 21516 del vars, 84470 del conss, 33 add conss, 16814 chg bounds, 103 chg sides, 435 chg coeffs, 173623 upgd conss, 50906862 impls, 8295 clqs
643.99/644.17 c (round 28) 21518 del vars, 84664 del conss, 33 add conss, 16814 chg bounds, 103 chg sides, 435 chg coeffs, 173623 upgd conss, 50906870 impls, 8295 clqs
888.82/889.06 c (889.1s) probing: 1000/51484 (1.9%) - 149 fixings, 37 aggregations, 12434631 implications, 0 bound changes
1643.05/1643.44 c (1643.4s) probing: 2000/51484 (3.9%) - 153 fixings, 40 aggregations, 22444744 implications, 0 bound changes
1797.03/1797.47 c (1797.5s) probing: 2250/51484 (4.4%) - 153 fixings, 40 aggregations, 24516442 implications, 0 bound changes
1797.03/1797.47 c (1797.5s) probing aborted: solving stopped
1797.03/1797.47 c (round 29) 21561 del vars, 84666 del conss, 33 add conss, 16814 chg bounds, 103 chg sides, 435 chg coeffs, 173623 upgd conss, 105847852 impls, 8295 clqs
1797.03/1797.47 c presolving (29 rounds):
1797.03/1797.47 c 21561 deleted vars, 84666 deleted constraints, 33 added constraints, 16814 tightened bounds, 0 added holes, 103 changed sides, 435 changed coefficients
1797.03/1797.47 c 105847852 implications, 8295 cliques
1797.03/1797.47 c presolving was interrupted.
1797.03/1797.47 c Presolving Time: 1795.66
1797.03/1797.47 c - non default parameters ----------------------------------------------------------------------
1797.03/1797.47 c # SCIP version 2.0.1.5
1797.03/1797.47 c
1797.03/1797.47 c # frequency for displaying node information lines
1797.03/1797.47 c # [type: int, range: [-1,2147483647], default: 100]
1797.03/1797.47 c display/freq = 10000
1797.03/1797.47 c
1797.03/1797.47 c # maximal time in seconds to run
1797.03/1797.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.03/1797.47 c limits/time = 1797
1797.03/1797.47 c
1797.03/1797.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.03/1797.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.03/1797.47 c limits/memory = 13950
1797.03/1797.47 c
1797.03/1797.47 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.03/1797.47 c # [type: int, range: [1,2], default: 1]
1797.03/1797.47 c timing/clocktype = 2
1797.03/1797.47 c
1797.03/1797.47 c # belongs reading time to solving time?
1797.03/1797.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.47 c timing/reading = TRUE
1797.03/1797.47 c
1797.03/1797.47 c # should presolving try to simplify inequalities
1797.03/1797.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.47 c constraints/linear/simplifyinequalities = TRUE
1797.03/1797.47 c
1797.03/1797.47 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.03/1797.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.47 c constraints/indicator/addCouplingCons = TRUE
1797.03/1797.47 c
1797.03/1797.47 c # should presolving try to simplify knapsacks
1797.03/1797.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.47 c constraints/knapsack/simplifyinequalities = TRUE
1797.03/1797.47 c
1797.03/1797.47 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.03/1797.47 c # [type: int, range: [-1,2147483647], default: -1]
1797.03/1797.47 c separating/rapidlearning/freq = 0
1797.03/1797.47 c
1797.03/1797.47 c -----------------------------------------------------------------------------------------------
1797.03/1797.47 c start solving
1797.12/1797.50 c presolving:
1797.12/1797.50 c presolving (29 rounds):
1797.12/1797.50 c 21561 deleted vars, 84666 deleted constraints, 33 added constraints, 16814 tightened bounds, 0 added holes, 103 changed sides, 435 changed coefficients
1797.12/1797.50 c 105847852 implications, 8295 cliques
1797.12/1797.50 c presolving was interrupted.
1797.12/1797.50 c Presolving Time: 1795.69
1797.12/1797.50 c
1797.12/1797.50 c SCIP Status : solving was interrupted [time limit reached]
1797.12/1797.50 c Solving Time (sec) : 1797.50
1797.12/1797.50 c Solving Nodes : 0
1797.12/1797.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.12/1797.50 s UNKNOWN
1797.12/1797.50 c SCIP Status : solving was interrupted [time limit reached]
1797.12/1797.50 c Total Time : 1797.50
1797.12/1797.50 c solving : 1797.50
1797.12/1797.50 c presolving : 1795.69 (included in solving)
1797.12/1797.50 c reading : 1.44 (included in solving)
1797.12/1797.50 c Original Problem :
1797.12/1797.50 c Problem name : HOME/instance-3740383-1338743852.opb
1797.12/1797.50 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.12/1797.50 c Constraints : 256265 initial, 256265 maximal
1797.12/1797.50 c Presolved Problem :
1797.12/1797.50 c Problem name : t_HOME/instance-3740383-1338743852.opb
1797.12/1797.50 c Variables : 51281 (51281 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.12/1797.50 c Constraints : 171632 initial, 171632 maximal
1797.12/1797.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.12/1797.50 c trivial : 0.08 1030 0 0 0 0 0 0 0 0
1797.12/1797.50 c dualfix : 0.11 121 0 0 0 0 0 0 0 0
1797.12/1797.50 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.12/1797.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.12/1797.50 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.12/1797.50 c implics : 1.33 0 50 0 0 0 0 0 0 0
1797.12/1797.50 c probing : 1773.57 153 40 0 0 0 0 0 0 0
1797.12/1797.50 c knapsack : 2.22 0 0 0 2 0 2 33 46 387
1797.12/1797.50 c setppc : 0.67 36 0 0 4 0 1979 0 0 0
1797.12/1797.50 c linear : 16.96 15784 4347 0 16808 0 82642 0 57 48
1797.12/1797.50 c logicor : 0.28 0 0 0 0 0 43 0 0 0
1797.12/1797.50 c root node : - 0 - - 0 - - - - -
1797.12/1797.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.12/1797.51 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.12/1797.51 c knapsack : 0+ 0 107218 0 0 0 0 49 0 0 0 0
1797.12/1797.51 c setppc : 0+ 0 107169 0 0 0 0 27 0 0 0 0
1797.12/1797.51 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.12/1797.51 c logicor : 0+ 0 97930 0 0 0 0 24 0 0 0 0
1797.12/1797.51 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.12/1797.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.12/1797.51 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.12/1797.51 c knapsack : 7.91 0.00 7.91 0.00 0.00 0.00 0.00
1797.12/1797.51 c setppc : 588.16 0.00 588.16 0.00 0.00 0.00 0.00
1797.12/1797.51 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.12/1797.51 c logicor : 9.75 0.00 9.75 0.00 0.00 0.00 0.00
1797.12/1797.51 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.12/1797.51 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.12/1797.51 c vbounds : 0 0 0 0
1797.12/1797.51 c rootredcost : 0 0 0 0
1797.12/1797.51 c pseudoobj : 0 0 0 0
1797.12/1797.51 c Propagator Timings : TotalTime Propagate Resprop
1797.12/1797.51 c vbounds : 0.04 0.04 0.00
1797.12/1797.51 c rootredcost : 0.03 0.03 0.00
1797.12/1797.51 c pseudoobj : 0.01 0.01 0.00
1797.12/1797.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.12/1797.51 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.12/1797.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.12/1797.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.12/1797.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.12/1797.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.12/1797.51 c applied globally : - - - 0 0.0 - - -
1797.12/1797.51 c applied locally : - - - 0 0.0 - - -
1797.61/1798.08 c Time complete: 1797.7.
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-3740383-1338743852/watcher-3740383-1338743852 -o /tmp/evaluation-result-3740383-1338743852/solver-3740383-1338743852 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3740383-1338743852.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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.14 2.04 2.01 3/174 1615
/proc/meminfo: memFree=25809068/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=9040 CPUtime=0 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 1068 0 0 0 0 0 0 0 20 0 1 0 340510715 9256960 1023 33554432000 4194304 9016284 140734576933968 140734576932936 4447263 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 2260 1033 190 1178 0 1078 0
[startup+0.049517 s]
/proc/loadavg: 2.14 2.04 2.01 3/174 1615
/proc/meminfo: memFree=25809068/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=22180 CPUtime=0.04 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 4514 0 0 0 4 0 0 0 20 0 1 0 340510715 22712320 4469 33554432000 4194304 9016284 140734576933968 140734576932936 7987616 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 5545 4469 360 1178 0 4363 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 22180
[startup+0.100313 s]
/proc/loadavg: 2.14 2.04 2.01 3/174 1615
/proc/meminfo: memFree=25809068/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=31236 CPUtime=0.08 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 6804 0 0 0 8 0 0 0 20 0 1 0 340510715 31985664 6759 33554432000 4194304 9016284 140734576933968 140734576932936 6151440 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 7809 6759 360 1178 0 6627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31236
[startup+0.300268 s]
/proc/loadavg: 2.14 2.04 2.01 3/174 1615
/proc/meminfo: memFree=25809068/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=59012 CPUtime=0.29 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 13745 0 0 0 27 2 0 0 20 0 1 0 340510715 60428288 13700 33554432000 4194304 9016284 140734576933968 140734576932936 7870488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 14753 13700 360 1178 0 13571 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59012
[startup+0.700265 s]
/proc/loadavg: 2.14 2.04 2.01 3/174 1615
/proc/meminfo: memFree=25809068/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=87732 CPUtime=0.68 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 20924 0 0 0 66 2 0 0 20 0 1 0 340510715 89837568 20879 33554432000 4194304 9016284 140734576933968 140734576797864 4447111 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 21933 20879 360 1178 0 20751 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 87732
[startup+1.50027 s]
/proc/loadavg: 2.14 2.04 2.01 3/175 1616
/proc/meminfo: memFree=25696584/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=219832 CPUtime=1.49 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 53840 0 0 0 141 8 0 0 20 0 1 0 340510715 225107968 53776 33554432000 4194304 9016284 140734576933968 140734576797864 6813403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 54958 53776 402 1178 0 53776 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 219832
[startup+3.10027 s]
/proc/loadavg: 2.14 2.04 2.01 3/175 1616
/proc/meminfo: memFree=25415964/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=510384 CPUtime=3.09 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 125268 0 0 0 290 19 0 0 20 0 1 0 340510715 522633216 125204 33554432000 4194304 9016284 140734576933968 140734576929320 4875334 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 127596 125204 485 1178 0 126414 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 510384
[startup+6.30028 s]
/proc/loadavg: 2.13 2.04 2.01 3/175 1616
/proc/meminfo: memFree=25150108/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=720356 CPUtime=6.29 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 177350 0 0 0 603 26 0 0 20 0 1 0 340510715 737644544 177286 33554432000 4194304 9016284 140734576933968 140734576929320 6480197 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 180089 177286 485 1178 0 178907 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 720356
[startup+12.7003 s]
/proc/loadavg: 2.12 2.04 2.01 3/175 1616
/proc/meminfo: memFree=24916796/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=904516 CPUtime=12.69 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 221346 0 0 0 1237 32 0 0 20 0 1 0 340510715 926224384 221025 33554432000 4194304 9016284 140734576933968 140734576929640 6481234 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 226129 221025 496 1178 0 224947 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 904516
[startup+25.5002 s]
/proc/loadavg: 2.09 2.04 2.01 3/175 1617
/proc/meminfo: memFree=24837932/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=979676 CPUtime=25.48 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 250532 0 0 0 2513 35 0 0 20 0 1 0 340510715 1003188224 239313 33554432000 4194304 9016284 140734576933968 140734576929080 4351211 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 244919 239313 538 1178 0 243737 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 979676
[startup+51.1003 s]
/proc/loadavg: 2.14 2.05 2.01 3/175 1617
/proc/meminfo: memFree=24777000/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=1021268 CPUtime=51.08 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 260563 0 0 0 5071 37 0 0 20 0 1 0 340510715 1045778432 249212 33554432000 4194304 9016284 140734576933968 140734576929352 6480197 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 255317 249212 538 1178 0 254135 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1021268
[startup+102.306 s]
/proc/loadavg: 2.06 2.04 2.00 3/175 1617
/proc/meminfo: memFree=24664960/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=1100208 CPUtime=102.27 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 279690 0 0 0 10188 39 0 0 20 0 1 0 340510715 1126612992 268339 33554432000 4194304 9016284 140734576933968 140734576929560 6476131 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 275052 268339 538 1178 0 273870 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1100208
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 1620
/proc/meminfo: memFree=24498076/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=1218376 CPUtime=162.26 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 309109 0 0 0 16183 43 0 0 20 0 1 0 340510715 1247617024 297758 33554432000 4194304 9016284 140734576933968 140734576929352 6480241 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 304594 297758 538 1178 0 303412 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1218376
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 1620
/proc/meminfo: memFree=24333440/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=1334228 CPUtime=222.25 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 339242 0 0 0 22178 47 0 0 20 0 1 0 340510715 1366249472 326606 33554432000 4194304 9016284 140734576933968 140734576929672 6480233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 333557 326606 538 1178 0 332375 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1334228
[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/175 1620
/proc/meminfo: memFree=23983816/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=1384548 CPUtime=282.24 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 351333 0 0 0 28175 49 0 0 20 0 1 0 340510715 1417777152 338697 33554432000 4194304 9016284 140734576933968 140734576929352 6480215 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 346137 338697 538 1178 0 344955 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1384548
[startup+342.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/175 1621
/proc/meminfo: memFree=23903856/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=1447764 CPUtime=342.23 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 366931 0 0 0 34171 52 0 0 20 0 1 0 340510715 1482510336 354295 33554432000 4194304 9016284 140734576933968 140734576929352 6817683 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 361941 354295 538 1178 0 360759 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1447764
[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/175 1621
/proc/meminfo: memFree=23807040/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=1546588 CPUtime=402.23 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 390654 0 0 0 40167 56 0 0 20 0 1 0 340510715 1583706112 378018 33554432000 4194304 9016284 140734576933968 140734576929352 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 386647 378018 538 1178 0 385465 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1546588
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 1621
/proc/meminfo: memFree=23702224/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=1645428 CPUtime=462.22 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 415585 0 0 0 46163 59 0 0 20 0 1 0 340510715 1684918272 402949 33554432000 4194304 9016284 140734576933968 140734576929352 5511150 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 411357 402949 538 1178 0 410175 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1645428
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 1621
/proc/meminfo: memFree=23550104/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=1805824 CPUtime=522.21 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 455346 0 0 0 52156 65 0 0 20 0 1 0 340510715 1849163776 442710 33554432000 4194304 9016284 140734576933968 140734576929352 4887840 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 451456 442710 538 1178 0 450274 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1805824
[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/175 1621
/proc/meminfo: memFree=23365796/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=1976040 CPUtime=582.2 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 495257 0 0 0 58150 70 0 0 20 0 1 0 340510715 2023464960 485176 33554432000 4194304 9016284 140734576933968 140734576930824 4347552 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 494010 485176 538 1178 0 492828 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1976040
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23584100/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=2928132 CPUtime=1122.07 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 729924 0 0 0 112096 111 0 0 20 0 1 0 340510715 2998407168 723526 33554432000 4194304 9016284 140734576933968 140734576929352 6480215 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 732033 723526 543 1178 0 730851 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 2928132
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1671
/proc/meminfo: memFree=23398624/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=3019164 CPUtime=1182.05 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 752921 0 0 0 118091 114 0 0 20 0 1 0 340510715 3091623936 746599 33554432000 4194304 9016284 140734576933968 140734576929560 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 754791 746599 543 1178 0 753609 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 3019164
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1672
/proc/meminfo: memFree=23228896/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=3105220 CPUtime=1242.04 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 774130 0 0 0 124085 119 0 0 20 0 1 0 340510715 3179745280 767890 33554432000 4194304 9016284 140734576933968 140734576929560 6480421 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 776305 767890 543 1178 0 775123 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 3105220
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1672
/proc/meminfo: memFree=23041508/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=3192336 CPUtime=1302.03 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 796385 0 0 0 130080 123 0 0 20 0 1 0 340510715 3268952064 790393 33554432000 4194304 9016284 140734576933968 140734576929560 5510885 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 798084 790393 543 1178 0 796902 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 3192336
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1675
/proc/meminfo: memFree=22862596/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=3295324 CPUtime=1362.02 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 821450 0 0 0 136074 128 0 0 20 0 1 0 340510715 3374411776 816171 33554432000 4194304 9016284 140734576933968 140734576929560 4222927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 823831 816171 543 1178 0 822649 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 3295324
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1675
/proc/meminfo: memFree=22714576/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=3381112 CPUtime=1422.01 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 842426 0 0 0 142069 132 0 0 20 0 1 0 340510715 3462258688 837352 33554432000 4194304 9016284 140734576933968 140734576929560 6480224 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 845278 837352 543 1178 0 844096 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 3381112
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1675
/proc/meminfo: memFree=22511864/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=3474988 CPUtime=1481.99 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 866150 0 0 0 148062 137 0 0 20 0 1 0 340510715 3558387712 861478 33554432000 4194304 9016284 140734576933968 140734576929560 5510757 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 868747 861478 543 1178 0 867565 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 3474988
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1675
/proc/meminfo: memFree=22382072/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=3554528 CPUtime=1541.97 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 885042 0 0 0 154056 141 0 0 20 0 1 0 340510715 3639836672 880672 33554432000 4194304 9016284 140734576933968 140734576929560 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 888632 880672 543 1178 0 887450 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 3554528
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1676
/proc/meminfo: memFree=22230068/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=3635204 CPUtime=1601.96 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 905334 0 0 0 160051 145 0 0 20 0 1 0 340510715 3722448896 901048 33554432000 4194304 9016284 140734576933968 140734576929560 5510757 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 908801 901048 543 1178 0 907619 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 3635204
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1676
/proc/meminfo: memFree=22078072/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=3697708 CPUtime=1661.94 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 922243 0 0 0 166046 148 0 0 20 0 1 0 340510715 3786452992 918044 33554432000 4194304 9016284 140734576933968 140734576929352 5510733 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 924427 918044 543 1178 0 923245 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 3697708
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1676
/proc/meminfo: memFree=21973196/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=3778368 CPUtime=1721.92 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 941286 0 0 0 172042 150 0 0 20 0 1 0 340510715 3869048832 937345 33554432000 4194304 9016284 140734576933968 140734576929560 5154333 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 944592 937345 543 1178 0 943410 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 3778368
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 1676
/proc/meminfo: memFree=21821696/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=3849896 CPUtime=1781.92 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 959145 0 0 0 178038 154 0 0 20 0 1 0 340510715 3942293504 955321 33554432000 4194304 9016284 140734576933968 140734576929560 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 962474 955321 543 1178 0 961292 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 3849896
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 1676
/proc/meminfo: memFree=21813512/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=3853936 CPUtime=1785.12 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 959829 0 0 0 178358 154 0 0 20 0 1 0 340510715 3946430464 956005 33554432000 4194304 9016284 140734576933968 140734576929560 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 963484 956005 543 1178 0 962302 0
Current children cumulated CPU time (s) 1785.12
Current children cumulated vsize (KiB) 3853936
[startup+1791.91 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 1676
/proc/meminfo: memFree=21802708/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=3861044 CPUtime=1791.53 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 961678 0 0 0 178998 155 0 0 20 0 1 0 340510715 3953709056 957854 33554432000 4194304 9016284 140734576933968 140734576929560 5511035 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 965261 957854 543 1178 0 964079 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 3861044
[startup+1795.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 1676
/proc/meminfo: memFree=21792292/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=3869932 CPUtime=1794.72 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 963835 0 0 0 179317 155 0 0 20 0 1 0 340510715 3962810368 960011 33554432000 4194304 9016284 140734576933968 140734576929560 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 967483 960011 543 1178 0 966301 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (KiB) 3869932
[startup+1796.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 1676
/proc/meminfo: memFree=21786092/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=3876012 CPUtime=1796.32 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 965342 0 0 0 179476 156 0 0 20 0 1 0 340510715 3969036288 961518 33554432000 4194304 9016284 140734576933968 140734576929352 6480429 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 969003 961518 543 1178 0 967821 0
Current children cumulated CPU time (s) 1796.32
Current children cumulated vsize (KiB) 3876012
[startup+1797.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 1676
/proc/meminfo: memFree=21783984/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=3878224 CPUtime=1797.12 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 966023 0 0 0 179556 156 0 0 20 0 1 0 340510715 3971301376 962205 33554432000 4194304 9016284 140734576933968 140734576929352 4455491 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 969556 962205 545 1178 0 968374 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 3878224
[startup+1797.9 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 1676
/proc/meminfo: memFree=21783984/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=3514540 CPUtime=1797.51 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 966187 0 0 0 179593 158 0 0 20 0 1 0 340510715 3598888960 871702 33554432000 4194304 9016284 140734576933968 140734576933256 4447111 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 878635 871702 556 1178 0 877453 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 3514540
[startup+1798 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 1676
/proc/meminfo: memFree=21783984/32873852 swapFree=7624/7624
[pid=1615] ppid=1613 vsize=3277188 CPUtime=1797.61 cores=0,2,4,6
/proc/1615/stat : 1615 (scip-2.0.1.4b_2) R 1613 1615 29314 0 -1 4202496 966196 0 0 0 179602 159 0 0 20 0 1 0 340510715 3355840512 812564 33554432000 4194304 9016284 140734576933968 140734576933256 7933303 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1615/statm: 819041 812517 565 1178 0 817859 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 3277188
Child status: 0
Real time (s): 1798.09
CPU time (s): 1797.71
CPU user time (s): 1796.03
CPU system time (s): 1.68874
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 3878224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.03
system time used= 1.68874
maximum resident set size= 3849448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 966201
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= 115
involuntary context switches= 1847
runsolver used 2.6136 second user time and 7.2119 second system time
The end