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-2665213-1276657698.opb>
0.00/0.03 c original problem has 3174 variables (3174 bin, 0 int, 0 impl, 0 cont) and 3174 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.07 c presolving:
0.29/0.38 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 201906 impls, 0 clqs
0.59/0.65 c (0.4s) probing: 101/3174 (3.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.65 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.59/0.65 c presolving (2 rounds):
0.59/0.65 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.65 c 201906 implications, 0 cliques
0.59/0.65 c presolved problem has 3174 variables (3174 bin, 0 int, 0 impl, 0 cont) and 3174 constraints
0.59/0.65 c 3074 constraints of type <and>
0.59/0.65 c 100 constraints of type <logicor>
0.59/0.65 c transformed objective value is always integral (scale: 1)
0.59/0.65 c Presolving Time: 0.39
0.59/0.65 c - non default parameters ----------------------------------------------------------------------
0.59/0.65 c # SCIP version 1.2.1.2
0.59/0.65 c
0.59/0.65 c # frequency for displaying node information lines
0.59/0.65 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.65 c display/freq = 10000
0.59/0.65 c
0.59/0.65 c # maximal time in seconds to run
0.59/0.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65 c limits/time = 1799.98
0.59/0.65 c
0.59/0.65 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65 c limits/memory = 1620
0.59/0.65 c
0.59/0.65 c # should presolving try to simplify inequalities
0.59/0.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65 c constraints/linear/simplifyinequalities = TRUE
0.59/0.65 c
0.59/0.65 c # should presolving try to simplify knapsacks
0.59/0.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.65 c
0.59/0.65 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.59/0.65 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.65 c heuristics/undercover/freq = 0
0.59/0.65 c
0.59/0.65 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.65 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.65 c separating/rapidlearning/freq = 0
0.59/0.65 c
0.59/0.65 c -----------------------------------------------------------------------------------------------
0.59/0.65 c start solving
0.59/0.65 c
0.69/0.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.71 c 0.5s| 1 | 0 | 200 | - | 19M| 0 | 200 |3174 |3174 |3174 |6248 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.72 o 12
0.69/0.72 c s 0.5s| 1 | 0 | 200 | - | 19M| 0 | 200 |3174 |3174 |3174 |6248 | 0 | 0 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
1.90/1.99 c 1.5s| 1 | 0 | 500 | - | 19M| 0 | 200 |3174 |3174 |3174 |6449 | 201 | 0 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
1.99/2.00 o 9
1.99/2.00 c s 1.5s| 1 | 0 | 500 | - | 19M| 0 | 200 |3174 |3174 |3174 |6449 | 201 | 0 | 0 | 0.000000e+00 | 9.000000e+00 | Inf
2.39/2.40 c 1.9s| 1 | 0 | 800 | - | 19M| 0 | 200 |3174 |3174 |3174 |6655 | 407 | 0 | 0 | 0.000000e+00 | 9.000000e+00 | Inf
2.39/2.41 o 8
2.39/2.41 c s 1.9s| 1 | 0 | 800 | - | 19M| 0 | 200 |3174 |3174 |3174 |6655 | 407 | 0 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
2.80/2.82 c 2.3s| 1 | 0 | 1100 | - | 19M| 0 | 200 |3174 |3174 |3174 |6859 | 611 | 0 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
3.19/3.26 c 2.7s| 1 | 0 | 1400 | - | 19M| 0 | 200 |3174 |3174 |3174 |7059 | 811 | 0 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
3.69/3.72 c 3.1s| 1 | 0 | 1703 | - | 19M| 0 | 200 |3174 |3174 |3174 |7263 |1015 | 0 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
4.09/4.19 c 3.6s| 1 | 0 | 2003 | - | 20M| 0 | 200 |3174 |3174 |3174 |7464 |1216 | 0 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
4.49/4.57 c 3.9s| 1 | 2 | 2003 | - | 20M| 0 | 200 |3174 |3174 |3174 |7464 |1216 | 0 | 11 | 0.000000e+00 | 8.000000e+00 | Inf
31.79/31.86 o 6
31.79/31.86 c *30.9s| 14 | 10 | 12681 | 821.4 | 19M| 10 | - |3174 |3174 |3174 |3844 |6034 | 0 | 185 | 2.500000e+00 | 6.000000e+00 | 140.00%
91.28/91.34 o 5
91.28/91.34 c *89.5s| 126 | 6 | 61036 | 472.3 | 19M| 17 | - |3174 |3174 |3174 |3732 | 14k| 0 | 401 | 3.302231e+00 | 5.000000e+00 | 51.41%
113.38/113.47 c
113.38/113.47 c SCIP Status : problem is solved [optimal solution found]
113.38/113.47 c Solving Time (sec) : 111.32
113.38/113.47 c Solving Nodes : 170
113.38/113.47 c Primal Bound : +5.00000000000000e+00 (5 solutions)
113.38/113.47 c Dual Bound : +5.00000000000000e+00
113.38/113.47 c Gap : 0.00 %
113.38/113.47 s OPTIMUM FOUND
113.38/113.47 v -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
113.38/113.47 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
113.38/113.47 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25
113.38/113.47 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 x2 -x1
113.38/113.47 c SCIP Status : problem is solved [optimal solution found]
113.38/113.47 c Solving Time : 111.32
113.38/113.47 c Original Problem :
113.38/113.47 c Problem name : HOME/instance-2665213-1276657698.opb
113.38/113.47 c Variables : 3174 (3174 binary, 0 integer, 0 implicit integer, 0 continuous)
113.38/113.47 c Constraints : 3174 initial, 3174 maximal
113.38/113.47 c Presolved Problem :
113.38/113.47 c Problem name : t_HOME/instance-2665213-1276657698.opb
113.38/113.47 c Variables : 3174 (3174 binary, 0 integer, 0 implicit integer, 0 continuous)
113.38/113.47 c Constraints : 3174 initial, 3174 maximal
113.38/113.47 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
113.38/113.47 c trivial : 0.00 0 0 0 0 0 0 0 0
113.38/113.47 c dualfix : 0.00 0 0 0 0 0 0 0 0
113.38/113.47 c boundshift : 0.00 0 0 0 0 0 0 0 0
113.38/113.47 c inttobinary : 0.00 0 0 0 0 0 0 0 0
113.38/113.47 c implics : 0.00 0 0 0 0 0 0 0 0
113.38/113.47 c probing : 0.07 0 0 0 0 0 0 0 0
113.38/113.47 c and : 0.29 0 0 0 0 0 0 0 0
113.38/113.47 c logicor : 0.00 0 0 0 0 0 0 0 0
113.38/113.47 c root node : - 47 - - 47 - - - -
113.38/113.47 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
113.38/113.47 c integral : 0 0 0 142 0 4 106 0 0 200
113.38/113.47 c and : 3074 480 942 16 0 0 30242 18891 0 0
113.38/113.47 c logicor : 100 6 537 2 0 0 0 0 0 0
113.38/113.47 c countsols : 0 0 0 2 0 0 0 0 0 0
113.38/113.47 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
113.38/113.47 c integral : 58.19 0.00 0.00 58.19 0.00
113.38/113.47 c and : 1.38 1.16 0.21 0.01 0.00
113.38/113.47 c logicor : 0.04 0.00 0.04 0.00 0.00
113.38/113.47 c countsols : 0.00 0.00 0.00 0.00 0.00
113.38/113.47 c Propagators : Time Calls Cutoffs DomReds
113.38/113.47 c vbounds : 0.00 2 0 0
113.38/113.47 c rootredcost : 0.00 3 0 0
113.38/113.47 c pseudoobj : 0.01 759 1 0
113.38/113.47 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
113.38/113.47 c propagation : 0.00 0 0 0 0.0 0 0.0 -
113.38/113.47 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
113.38/113.47 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
113.38/113.47 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
113.38/113.47 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
113.38/113.47 c applied globally : - - - 0 0.0 - - -
113.38/113.47 c applied locally : - - - 0 0.0 - - -
113.38/113.47 c Separators : Time Calls Cutoffs DomReds Cuts Conss
113.38/113.47 c cut pool : 0.00 5 - - 0 - (maximal pool size: 1216)
113.38/113.47 c redcost : 0.11 480 0 869 0 0
113.38/113.47 c impliedbounds : 0.02 6 0 0 1200 0
113.38/113.47 c intobj : 0.00 0 0 0 0 0
113.38/113.47 c cgmip : 0.00 0 0 0 0 0
113.38/113.47 c gomory : 0.18 6 0 0 2400 0
113.38/113.47 c strongcg : 0.20 6 0 0 2400 0
113.38/113.47 c cmir : 1.02 6 0 0 1200 0
113.38/113.47 c flowcover : 0.80 6 0 0 1200 0
113.38/113.47 c clique : 0.18 6 0 0 16 0
113.38/113.47 c zerohalf : 0.00 0 0 0 0 0
113.38/113.47 c mcf : 0.01 1 0 0 0 0
113.38/113.47 c rapidlearning : 0.42 1 0 0 0 0
113.38/113.47 c Pricers : Time Calls Vars
113.38/113.47 c problem variables: 0.00 0 0
113.38/113.47 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
113.38/113.47 c relpscost : 58.19 126 4 106 0 0 200
113.38/113.47 c pscost : 0.00 0 0 0 0 0 0
113.38/113.47 c inference : 0.00 0 0 0 0 0 0
113.38/113.47 c mostinf : 0.00 0 0 0 0 0 0
113.38/113.47 c leastinf : 0.00 0 0 0 0 0 0
113.38/113.47 c fullstrong : 0.00 0 0 0 0 0 0
113.38/113.47 c allfullstrong : 0.00 0 0 0 0 0 0
113.38/113.47 c random : 0.00 0 0 0 0 0 0
113.38/113.47 c Primal Heuristics : Time Calls Found
113.38/113.47 c LP solutions : 0.01 - 2
113.38/113.47 c pseudo solutions : 0.00 - 0
113.38/113.47 c crossover : 0.00 0 0
113.38/113.47 c fracdiving : 0.00 0 0
113.38/113.47 c veclendiving : 0.00 0 0
113.38/113.47 c objpscostdiving : 0.00 0 0
113.38/113.47 c rootsoldiving : 0.00 0 0
113.38/113.47 c linesearchdiving : 0.00 0 0
113.38/113.47 c guideddiving : 0.00 0 0
113.38/113.47 c feaspump : 0.00 0 0
113.38/113.47 c oneopt : 0.03 4 0
113.38/113.47 c trivial : 0.02 2 0
113.38/113.47 c simplerounding : 0.00 0 0
113.38/113.47 c zirounding : 0.10 104 0
113.38/113.47 c rounding : 0.47 313 0
113.38/113.47 c shifting : 0.15 46 3
113.38/113.47 c intshifting : 0.00 0 0
113.38/113.47 c twoopt : 0.00 0 0
113.38/113.47 c fixandinfer : 0.00 0 0
113.38/113.47 c coefdiving : 0.31 1 0
113.38/113.47 c pscostdiving : 0.24 1 0
113.38/113.47 c intdiving : 0.00 0 0
113.38/113.47 c actconsdiving : 0.00 0 0
113.38/113.47 c octane : 0.00 0 0
113.38/113.47 c rens : 0.18 1 0
113.38/113.47 c rins : 0.00 0 0
113.38/113.47 c localbranching : 0.00 0 0
113.38/113.47 c mutation : 0.00 0 0
113.38/113.47 c dins : 0.00 0 0
113.38/113.47 c undercover : 0.01 1 0
113.38/113.47 c nlp : 0.00 0 0
113.38/113.47 c trysol : 0.00 0 0
113.38/113.47 c LP : Time Calls Iterations Iter/call Iter/sec
113.38/113.47 c primal LP : 9.39 0 0 0.00 0.00
113.38/113.47 c dual LP : 34.98 654 82430 126.04 2356.49
113.38/113.47 c lex dual LP : 0.00 0 0 0.00 -
113.38/113.47 c barrier LP : 0.00 0 0 0.00 -
113.38/113.47 c diving/probing LP: 0.52 16 962 60.12 1850.00
113.38/113.47 c strong branching : 58.12 428 142000 331.78 2443.22
113.38/113.47 c (at root node) : - 11 551 50.09 -
113.38/113.47 c conflict analysis: 0.00 0 0 0.00 -
113.38/113.47 c B&B Tree :
113.38/113.47 c number of runs : 1
113.38/113.47 c nodes : 170
113.38/113.47 c nodes (total) : 170
113.38/113.47 c nodes left : 0
113.38/113.47 c max depth : 26
113.38/113.47 c max depth (total): 26
113.38/113.47 c backtracks : 19 (11.2%)
113.38/113.47 c delayed cutoffs : 0
113.38/113.47 c repropagations : 0 (0 domain reductions, 0 cutoffs)
113.38/113.47 c avg switch length: 2.92
113.38/113.47 c switching time : 9.51
113.38/113.47 c Solution :
113.38/113.47 c Solutions found : 5 (5 improvements)
113.38/113.47 c First Solution : +1.20000000000000e+01 (in run 1, after 1 nodes, 0.46 seconds, depth 0, found by <shifting>)
113.38/113.47 c Primal Bound : +5.00000000000000e+00 (in run 1, after 126 nodes, 89.51 seconds, depth 13, found by <relaxation>)
113.38/113.47 c Dual Bound : +5.00000000000000e+00
113.38/113.47 c Gap : 0.00 %
113.38/113.47 c Root Dual Bound : +0.00000000000000e+00
113.38/113.47 c Root Iterations : 2003
113.47/113.52 c Time complete: 113.49.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665213-1276657698/watcher-2665213-1276657698 -o /tmp/evaluation-result-2665213-1276657698/solver-2665213-1276657698 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665213-1276657698.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: 0.92 0.98 1.07 3/106 13390
/proc/meminfo: memFree=1765268/2059040 swapFree=4192956/4192956
[pid=13390] ppid=13388 vsize=9288 CPUtime=0
/proc/13390/stat : 13390 (pbscip.linux.x8) R 13388 13390 13365 0 -1 4202496 1076 0 0 0 0 0 0 0 18 0 1 0 7064908 9510912 996 1992294400 4194304 9819077 140735571856352 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13390/statm: 2322 1007 371 1374 0 943 0
[startup+0.102639 s]
/proc/loadavg: 0.92 0.98 1.07 3/106 13390
/proc/meminfo: memFree=1765268/2059040 swapFree=4192956/4192956
[pid=13390] ppid=13388 vsize=24484 CPUtime=0.09
/proc/13390/stat : 13390 (pbscip.linux.x8) R 13388 13390 13365 0 -1 4202496 5202 0 0 0 7 2 0 0 21 0 1 0 7064908 25071616 4768 1992294400 4194304 9819077 140735571856352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13390/statm: 6121 4768 473 1374 0 4742 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24484
[startup+0.201646 s]
/proc/loadavg: 0.92 0.98 1.07 3/106 13390
/proc/meminfo: memFree=1765268/2059040 swapFree=4192956/4192956
[pid=13390] ppid=13388 vsize=33120 CPUtime=0.19
/proc/13390/stat : 13390 (pbscip.linux.x8) R 13388 13390 13365 0 -1 4202496 7346 0 0 0 16 3 0 0 21 0 1 0 7064908 33914880 6912 1992294400 4194304 9819077 140735571856352 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13390/statm: 8280 6912 473 1374 0 6901 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33120
[startup+0.301654 s]
/proc/loadavg: 0.92 0.98 1.07 3/106 13390
/proc/meminfo: memFree=1765268/2059040 swapFree=4192956/4192956
[pid=13390] ppid=13388 vsize=33120 CPUtime=0.29
/proc/13390/stat : 13390 (pbscip.linux.x8) R 13388 13390 13365 0 -1 4202496 7635 0 0 0 22 7 0 0 21 0 1 0 7064908 33914880 6944 1992294400 4194304 9819077 140735571856352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13390/statm: 8280 6944 473 1374 0 6901 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33120
[startup+0.700681 s]
/proc/loadavg: 0.92 0.98 1.07 3/106 13390
/proc/meminfo: memFree=1765268/2059040 swapFree=4192956/4192956
[pid=13390] ppid=13388 vsize=43304 CPUtime=0.69
/proc/13390/stat : 13390 (pbscip.linux.x8) R 13388 13390 13365 0 -1 4202496 11109 0 0 0 46 23 0 0 22 0 1 0 7064908 44343296 9620 1992294400 4194304 9819077 140735571856352 18446744073709551615 8408710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13390/statm: 10826 9620 567 1374 0 9447 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43304
[startup+1.50174 s]
/proc/loadavg: 0.92 0.98 1.07 2/107 13391
/proc/meminfo: memFree=1724712/2059040 swapFree=4192956/4192956
[pid=13390] ppid=13388 vsize=68396 CPUtime=1.49
/proc/13390/stat : 13390 (pbscip.linux.x8) R 13388 13390 13365 0 -1 4202496 18621 0 0 0 113 36 0 0 25 0 1 0 7064908 70037504 14862 1992294400 4194304 9819077 140735571856352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13390/statm: 17099 14862 681 1374 0 15720 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68396
[startup+3.10185 s]
/proc/loadavg: 0.92 0.98 1.07 2/107 13391
/proc/meminfo: memFree=1722728/2059040 swapFree=4192956/4192956
[pid=13390] ppid=13388 vsize=53180 CPUtime=3.09
/proc/13390/stat : 13390 (pbscip.linux.x8) R 13388 13390 13365 0 -1 4202496 21426 0 0 0 255 54 0 0 25 0 1 0 7064908 54456320 11392 1992294400 4194304 9819077 140735571856352 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13390/statm: 13295 11392 696 1374 0 11916 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53180
[startup+6.30107 s]
/proc/loadavg: 0.93 0.98 1.07 2/107 13391
/proc/meminfo: memFree=1721364/2059040 swapFree=4192956/4192956
[pid=13390] ppid=13388 vsize=55168 CPUtime=6.29
/proc/13390/stat : 13390 (pbscip.linux.x8) R 13388 13390 13365 0 -1 4202496 36931 0 0 0 564 65 0 0 25 0 1 0 7064908 56492032 11464 1992294400 4194304 9819077 140735571856352 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13390/statm: 13792 11464 716 1374 0 12413 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55168
[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 1.07 2/107 13391
/proc/meminfo: memFree=1721240/2059040 swapFree=4192956/4192956
[pid=13390] ppid=13388 vsize=56308 CPUtime=12.69
/proc/13390/stat : 13390 (pbscip.linux.x8) R 13388 13390 13365 0 -1 4202496 49470 0 0 0 1195 74 0 0 25 0 1 0 7064908 57659392 11513 1992294400 4194304 9819077 140735571856352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13390/statm: 14077 11513 716 1374 0 12698 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56308
[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 1.07 2/107 13393
/proc/meminfo: memFree=1721364/2059040 swapFree=4192956/4192956
[pid=13390] ppid=13388 vsize=57100 CPUtime=25.48
/proc/13390/stat : 13390 (pbscip.linux.x8) R 13388 13390 13365 0 -1 4202496 76122 0 0 0 2460 88 0 0 25 0 1 0 7064908 58470400 11503 1992294400 4194304 9819077 140735571856352 18446744073709551615 7290981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13390/statm: 14275 11503 716 1374 0 12896 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 57100
[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 1.07 2/107 13393
/proc/meminfo: memFree=1721116/2059040 swapFree=4192956/4192956
[pid=13390] ppid=13388 vsize=53140 CPUtime=51.08
/proc/13390/stat : 13390 (pbscip.linux.x8) R 13388 13390 13365 0 -1 4202496 139367 0 0 0 4985 123 0 0 25 0 1 0 7064908 54415360 11518 1992294400 4194304 9819077 140735571856352 18446744073709551615 7292323 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13390/statm: 13285 11518 716 1374 0 11906 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 53140
[startup+102.301 s]
/proc/loadavg: 0.98 0.98 1.06 2/107 13395
/proc/meminfo: memFree=1720124/2059040 swapFree=4192956/4192956
[pid=13390] ppid=13388 vsize=55476 CPUtime=102.28
/proc/13390/stat : 13390 (pbscip.linux.x8) R 13388 13390 13365 0 -1 4202496 274512 0 0 0 10035 193 0 0 25 0 1 0 7064908 56807424 11863 1992294400 4194304 9819077 140735571856352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13390/statm: 13869 11863 716 1374 0 12490 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 55476
Solver just ended. Dumping a history of the last processes samples
[startup+102.409 s]
/proc/loadavg: 0.98 0.98 1.06 2/107 13395
/proc/meminfo: memFree=1720124/2059040 swapFree=4192956/4192956
[pid=13390] ppid=13388 vsize=55444 CPUtime=102.38
/proc/13390/stat : 13390 (pbscip.linux.x8) R 13388 13390 13365 0 -1 4202496 274708 0 0 0 10045 193 0 0 25 0 1 0 7064908 56774656 11837 1992294400 4194304 9819077 140735571856352 18446744073709551615 7480871 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13390/statm: 13861 11837 716 1374 0 12482 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 55444
[startup+108.801 s]
/proc/loadavg: 0.98 0.98 1.06 2/107 13395
/proc/meminfo: memFree=1720372/2059040 swapFree=4192956/4192956
[pid=13390] ppid=13388 vsize=54252 CPUtime=108.77
/proc/13390/stat : 13390 (pbscip.linux.x8) R 13388 13390 13365 0 -1 4202496 293173 0 0 0 10674 203 0 0 25 0 1 0 7064908 55554048 11795 1992294400 4194304 9819077 140735571856352 18446744073709551615 7234120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13390/statm: 13563 11795 716 1374 0 12184 0
Current children cumulated CPU time (s) 108.77
Current children cumulated vsize (KiB) 54252
[startup+112.001 s]
/proc/loadavg: 0.98 0.98 1.06 2/107 13395
/proc/meminfo: memFree=1720124/2059040 swapFree=4192956/4192956
[pid=13390] ppid=13388 vsize=55520 CPUtime=111.97
/proc/13390/stat : 13390 (pbscip.linux.x8) R 13388 13390 13365 0 -1 4202496 302617 0 0 0 10989 208 0 0 25 0 1 0 7064908 56852480 11839 1992294400 4194304 9819077 140735571856352 18446744073709551615 7311727 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13390/statm: 13880 11839 716 1374 0 12501 0
Current children cumulated CPU time (s) 111.97
Current children cumulated vsize (KiB) 55520
[startup+112.802 s]
/proc/loadavg: 0.98 0.98 1.06 2/107 13395
/proc/meminfo: memFree=1719628/2059040 swapFree=4192956/4192956
[pid=13390] ppid=13388 vsize=55520 CPUtime=112.77
/proc/13390/stat : 13390 (pbscip.linux.x8) R 13388 13390 13365 0 -1 4202496 304721 0 0 0 11068 209 0 0 25 0 1 0 7064908 56852480 11842 1992294400 4194304 9819077 140735571856352 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13390/statm: 13880 11842 716 1374 0 12501 0
Current children cumulated CPU time (s) 112.77
Current children cumulated vsize (KiB) 55520
[startup+113.202 s]
/proc/loadavg: 0.98 0.98 1.06 2/107 13395
/proc/meminfo: memFree=1719628/2059040 swapFree=4192956/4192956
[pid=13390] ppid=13388 vsize=55168 CPUtime=113.17
/proc/13390/stat : 13390 (pbscip.linux.x8) R 13388 13390 13365 0 -1 4202496 305663 0 0 0 11107 210 0 0 25 0 1 0 7064908 56492032 11875 1992294400 4194304 9819077 140735571856352 18446744073709551615 7290944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13390/statm: 13792 11875 716 1374 0 12413 0
Current children cumulated CPU time (s) 113.17
Current children cumulated vsize (KiB) 55168
[startup+113.409 s]
/proc/loadavg: 0.99 0.98 1.06 2/107 13395
/proc/meminfo: memFree=1719876/2059040 swapFree=4192956/4192956
[pid=13390] ppid=13388 vsize=55136 CPUtime=113.38
/proc/13390/stat : 13390 (pbscip.linux.x8) R 13388 13390 13365 0 -1 4202496 306042 0 0 0 11128 210 0 0 25 0 1 0 7064908 56459264 11862 1992294400 4194304 9819077 140735571856352 18446744073709551615 7295939 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13390/statm: 13784 11862 716 1374 0 12405 0
Current children cumulated CPU time (s) 113.38
Current children cumulated vsize (KiB) 55136
[startup+113.502 s]
/proc/loadavg: 0.99 0.98 1.06 2/107 13395
/proc/meminfo: memFree=1719876/2059040 swapFree=4192956/4192956
[pid=13390] ppid=13388 vsize=50480 CPUtime=113.47
/proc/13390/stat : 13390 (pbscip.linux.x8) R 13388 13390 13365 0 -1 4202496 306189 0 0 0 11137 210 0 0 25 0 1 0 7064908 51691520 10671 1992294400 4194304 9819077 140735571856352 18446744073709551615 4222554 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13390/statm: 12620 10671 719 1374 0 11241 0
Current children cumulated CPU time (s) 113.47
Current children cumulated vsize (KiB) 50480
Child status: 0
Real time (s): 113.527
CPU time (s): 113.502
CPU user time (s): 111.392
CPU system time (s): 2.10968
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 75732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 111.392
system time used= 2.10968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 306193
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= 322
runsolver used 0.189971 second user time and 0.544917 second system time
The end