0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver SoPlex 1.4.1
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-3737576-1338749472.opb>
0.00/0.01 c original problem has 1566 variables (1566 bin, 0 int, 0 impl, 0 cont) and 1617 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.07 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 11828 impls, 100 clqs
0.09/0.13 c (0.1s) probing: 101/1566 (6.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.13 c presolving (2 rounds):
0.09/0.13 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.13 c 11828 implications, 100 cliques
0.09/0.13 c presolved problem has 1566 variables (1566 bin, 0 int, 0 impl, 0 cont) and 1617 constraints
0.09/0.13 c 100 constraints of type <setppc>
0.09/0.13 c 1466 constraints of type <and>
0.09/0.13 c 1 constraints of type <linear>
0.09/0.13 c 50 constraints of type <logicor>
0.09/0.13 c transformed objective value is always integral (scale: 1)
0.09/0.13 c Presolving Time: 0.05
0.09/0.13 c OPT-NLC
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/memory = c 13950
0.09/0.13 c # maximal time in seconds to run
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/time = c 1791
0.09/0.13 c # frequency for displaying node information lines
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.13 c display/freq = c 10000
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c start solving problem
0.09/0.13 c
1.19/1.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.25 c 1.2s| 1 | 0 | 3234 |7474k| 0 | 316 |1566 |1617 |1617 |1566 |3083 | 0 | 0 | 0 |-2.500000e+01 | -- | Inf
1.19/1.25 o -1
1.19/1.25 c s 1.2s| 1 | 0 | 3234 |7532k| 0 | 316 |1566 |1617 |1617 |1566 |3083 | 0 | 0 | 0 |-2.500000e+01 |-1.000000e+00 | 96.00%
1.99/2.08 c 2.0s| 1 | 0 | 4853 |7947k| 0 | 475 |1566 |1617 |1617 |1566 |3153 | 70 | 0 | 0 |-2.500000e+01 |-1.000000e+00 | 96.00%
1.99/2.08 o -2
1.99/2.08 c R 2.0s| 1 | 0 | 4853 |7965k| 0 | 475 |1566 |1617 |1617 |1566 |3153 | 70 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
3.08/3.17 c 3.1s| 1 | 0 | 6631 |9006k| 0 | 361 |1566 |1617 |1617 |1566 |3212 | 129 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
3.08/3.17 o -2
3.08/3.17 c s 3.1s| 1 | 0 | 6631 |9027k| 0 | 361 |1566 |1617 |1617 |1566 |3212 | 129 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
4.19/4.20 c 4.1s| 1 | 0 | 8187 | 10M| 0 | 339 |1566 |1617 |1617 |1566 |3242 | 159 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
5.19/5.25 c 5.2s| 1 | 0 | 9681 | 12M| 0 | 297 |1566 |1617 |1617 |1566 |3270 | 187 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
6.18/6.29 c 6.2s| 1 | 0 | 11398 | 14M| 0 | 394 |1566 |1617 |1617 |1566 |3307 | 224 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
7.59/7.63 c 7.5s| 1 | 0 | 13283 | 16M| 0 | 454 |1566 |1617 |1617 |1566 |3329 | 246 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
9.28/9.32 c 9.2s| 1 | 0 | 15656 | 16M| 0 | 305 |1566 |1617 |1617 |1566 |3351 | 268 | 0 | 0 |-2.500000e+01 |-2.000000e+00 | 92.00%
13.59/13.69 o -5
13.59/13.69 c E13.5s| 1 | 0 | 15656 | 16M| 0 | 305 |1566 |1617 |1617 |1566 |3351 | 268 | 0 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
13.68/13.70 c 13.5s| 1 | 0 | 15656 | 16M| 0 | 305 |1566 |1617 |1617 |1566 |3351 | 268 | 0 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
14.98/15.06 c 14.9s| 1 | 0 | 17503 | 18M| 0 | 277 |1566 |1617 |1617 |1566 |3367 | 284 | 0 | 0 |-2.500000e+01 |-5.000000e+00 | 80.00%
28.88/28.95 c 28.7s| 1 | 2 | 17503 | 18M| 0 | 277 |1566 |1617 |1617 |1566 |3367 | 284 | 0 | 28 |-2.500000e+01 |-5.000000e+00 | 80.00%
47.87/47.99 o -6
47.87/47.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.87/47.99 c R47.6s| 7 | 5 | 26947 | 18M| 6 | - |1566 |1617 | 334 |1566 |1493 |1154 | 0 | 312 |-2.500000e+01 |-6.000000e+00 | 76.00%
241.53/241.68 o -7
241.53/241.68 c * 240s| 4580 | 670 |647826 | 23M| 71 | - |1566 |1741 | 127 |1566 |1739 | 27k| 163 |3062 |-1.424513e+01 |-7.000000e+00 | 50.86%
327.42/327.58 c 325s| 10000 | 972 |975333 | 31M| 71 | 146 |1566 |1669 | 391 |1566 |1670 | 36k| 195 |4512 |-1.173816e+01 |-7.000000e+00 | 40.37%
431.01/431.13 c 428s| 20000 | 646 | 1355k| 31M| 72 | 119 |1566 |1672 | 489 |1566 |1782 | 46k| 265 |7297 |-9.641920e+00 |-7.000000e+00 | 27.40%
455.80/455.96 c
455.80/455.96 c SCIP Status : problem is solved [optimal solution found]
455.80/455.96 c Solving Time (sec) : 452.55
455.80/455.96 c Solving Nodes : 22995
455.80/455.96 c Primal Bound : -7.00000000000000e+00 (11 solutions)
455.80/455.96 c Dual Bound : -7.00000000000000e+00
455.80/455.96 c Gap : 0.00 %
455.80/455.96 c NODE 22995
455.80/455.96 c DUAL BOUND -7
455.80/455.96 c PRIMAL BOUND -7
455.80/455.96 c GAP 0
455.80/455.96 s OPTIMUM FOUND
455.80/455.96 v -x59 -x66 -x97 -x60 -x58 -x56 -x96 -x87 -x72 x90 x98 -x94 -x93 -x82 -x62 -x70 -x51 x99 -x91 x89 -x85 -x78 -x67 -x63 -x61 -x57 -x81
455.80/455.96 v -x71 -x83 -x73 -x74 -x80 -x69 -x68 -x100 -x92 -x53 -x54 -x65 -x55 -x95 x86 -x79 x76 -x88 -x64 -x77 -x75 x84 -x52 x50 -x49
455.80/455.96 v -x48 -x47 -x46 -x45 -x44 -x43 x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 x29 -x28 -x27 -x26 x25 -x24 -x23
455.80/455.96 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
455.80/455.96 c SCIP Status : problem is solved [optimal solution found]
455.80/455.96 c Solving Time : 452.55
455.80/455.96 c Original Problem :
455.80/455.96 c Problem name : HOME/instance-3737576-1338749472.opb
455.80/455.96 c Variables : 1566 (1566 binary, 0 integer, 0 implicit integer, 0 continuous)
455.80/455.96 c Constraints : 1617 initial, 1617 maximal
455.80/455.96 c Presolved Problem :
455.80/455.96 c Problem name : t_HOME/instance-3737576-1338749472.opb
455.80/455.96 c Variables : 1566 (1566 binary, 0 integer, 0 implicit integer, 0 continuous)
455.80/455.96 c Constraints : 1617 initial, 1744 maximal
455.80/455.96 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
455.80/455.96 c trivial : 0.00 0 0 0 0 0 0 0 0
455.80/455.96 c dualfix : 0.00 0 0 0 0 0 0 0 0
455.80/455.96 c boundshift : 0.00 0 0 0 0 0 0 0 0
455.80/455.96 c inttobinary : 0.00 0 0 0 0 0 0 0 0
455.80/455.96 c implics : 0.00 0 0 0 0 0 0 0 0
455.80/455.96 c probing : 0.01 0 0 0 0 0 0 0 0
455.80/455.96 c setppc : 0.00 0 0 0 0 0 0 0 0
455.80/455.96 c and : 0.04 0 0 0 0 0 0 0 0
455.80/455.96 c linear : 0.00 0 0 0 0 0 0 0 0
455.80/455.96 c logicor : 0.00 0 0 0 0 0 0 0 0
455.80/455.96 c root node : - 35 - - 35 - - - -
455.80/455.96 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
455.80/455.96 c integral : 0 0 0 13172 0 46 3738 0 0 23730
455.80/455.96 c setppc : 100 8 70341 3 0 87 82520 0 0 0
455.80/455.96 c and : 1466 20773 70254 3 0 23 1855619 49800 0 0
455.80/455.96 c linear : 1 8 70231 1 0 10 82 0 0 0
455.80/455.96 c logicor : 50+ 8 20722 1 0 3 8730 0 0 0
455.80/455.96 c countsols : 0 0 0 1 0 0 0 0 0 0
455.80/455.96 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
455.80/455.96 c integral : 144.18 0.00 0.00 144.18 0.00
455.80/455.96 c setppc : 0.10 0.00 0.10 0.00 0.00
455.80/455.96 c and : 3.17 1.40 1.77 0.00 0.00
455.80/455.96 c linear : 0.22 0.00 0.22 0.00 0.00
455.80/455.96 c logicor : 0.04 0.00 0.04 0.00 0.00
455.80/455.96 c countsols : 0.00 0.00 0.00 0.00 0.00
455.80/455.96 c Propagators : Time Calls Cutoffs DomReds
455.80/455.96 c rootredcost : 0.03 2 0 0
455.80/455.96 c pseudoobj : 0.05 70544 67 205
455.80/455.96 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
455.80/455.96 c propagation : 0.00 190 182 400 28.6 1 41.0 -
455.80/455.96 c infeasible LP : 0.00 4 4 5 28.2 0 0.0 0
455.80/455.96 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
455.80/455.96 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
455.80/455.96 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
455.80/455.96 c applied globally : - - - 309 26.6 - - -
455.80/455.96 c applied locally : - - - 0 0.0 - - -
455.80/455.96 c Separators : Time Calls Cutoffs DomReds Cuts Conss
455.80/455.96 c cut pool : 0.01 7 - - 44 - (maximal pool size: 842)
455.80/455.96 c redcost : 0.69 21833 0 81176 0 0
455.80/455.96 c impliedbounds : 0.00 8 0 0 0 0
455.80/455.96 c intobj : 0.00 0 0 0 0 0
455.80/455.96 c gomory : 1.30 8 0 0 227 0
455.80/455.96 c strongcg : 1.18 8 0 0 1184 0
455.80/455.96 c cmir : 0.11 8 0 0 0 0
455.80/455.96 c flowcover : 0.11 8 0 0 0 0
455.80/455.96 c clique : 0.02 8 0 0 60 0
455.80/455.96 c zerohalf : 0.00 0 0 0 0 0
455.80/455.96 c mcf : 0.05 3 0 0 0 0
455.80/455.96 c Pricers : Time Calls Vars
455.80/455.96 c problem variables: 0.00 0 0
455.80/455.96 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
455.80/455.96 c relpscost : 144.16 13169 46 3738 0 0 23730
455.80/455.96 c pscost : 0.00 0 0 0 0 0 0
455.80/455.96 c inference : 0.00 0 0 0 0 0 0
455.80/455.96 c mostinf : 0.00 0 0 0 0 0 0
455.80/455.96 c leastinf : 0.00 0 0 0 0 0 0
455.80/455.96 c fullstrong : 0.00 0 0 0 0 0 0
455.80/455.96 c allfullstrong : 0.00 0 0 0 0 0 0
455.80/455.96 c random : 0.00 0 0 0 0 0 0
455.80/455.96 c Primal Heuristics : Time Calls Found
455.80/455.96 c LP solutions : 0.00 - 1
455.80/455.96 c pseudo solutions : 0.00 - 0
455.80/455.96 c feaspump : 0.00 0 0
455.80/455.96 c oneopt : 0.02 3 0
455.80/455.96 c rootsoldiving : 0.52 11 0
455.80/455.96 c objpscostdiving : 4.17 11 0
455.80/455.96 c coefdiving : 1.93 22 0
455.80/455.96 c pscostdiving : 1.21 22 0
455.80/455.96 c fracdiving : 1.48 22 0
455.80/455.96 c veclendiving : 1.39 22 0
455.80/455.96 c linesearchdiving : 1.25 22 0
455.80/455.96 c guideddiving : 1.40 22 0
455.80/455.96 c crossover : 0.18 10 0
455.80/455.96 c simplerounding : 0.00 0 0
455.80/455.96 c rounding : 1.45 8745 2
455.80/455.96 c shifting : 0.83 2147 7
455.80/455.96 c intshifting : 0.00 0 0
455.80/455.96 c fixandinfer : 0.00 0 0
455.80/455.96 c intdiving : 0.00 0 0
455.80/455.96 c actconsdiving : 0.00 0 0
455.80/455.96 c octane : 0.00 0 0
455.80/455.96 c rens : 4.31 1 1
455.80/455.96 c rins : 0.00 0 0
455.80/455.96 c localbranching : 0.00 0 0
455.80/455.96 c mutation : 0.00 0 0
455.80/455.96 c dins : 0.00 0 0
455.80/455.96 c LP : Time Calls Iterations Iter/call Iter/sec
455.80/455.96 c primal LP : 2.08 0 0 0.00 0.00
455.80/455.96 c dual LP : 267.85 31845 1385340 43.50 5172.07
455.80/455.96 c barrier LP : 0.00 0 0 0.00 -
455.80/455.96 c diving/probing LP: 11.86 5288 59765 11.30 5039.21
455.80/455.96 c strong branching : 143.65 8258 713454 86.40 4966.61
455.80/455.96 c (at root node) : - 28 28000 1000.00 -
455.80/455.96 c conflict analysis: 0.00 0 0 0.00 -
455.80/455.96 c B&B Tree :
455.80/455.96 c number of runs : 1
455.80/455.96 c nodes : 22995
455.80/455.96 c nodes (total) : 22995
455.80/455.96 c nodes left : 0
455.80/455.96 c max depth : 72
455.80/455.96 c max depth (total): 72
455.80/455.96 c backtracks : 2798 (12.2%)
455.80/455.96 c delayed cutoffs : 1
455.80/455.96 c repropagations : 937 (2275 domain reductions, 0 cutoffs)
455.80/455.96 c avg switch length: 5.58
455.80/455.96 c switching time : 4.97
455.80/455.96 c Solution :
455.80/455.96 c Solutions found : 11 (6 improvements)
455.80/455.96 c Primal Bound : -7.00000000000000e+00 (in run 1, after 4580 nodes, 240.00 seconds, depth 17, found by <relaxation>)
455.80/455.96 c Dual Bound : -7.00000000000000e+00
455.80/455.96 c Gap : 0.00 %
455.80/455.96 c Root Dual Bound : -2.50000000000000e+01
455.80/455.97 c Time complete: 455.87.
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-3737576-1338749472/watcher-3737576-1338749472 -o /tmp/evaluation-result-3737576-1338749472/solver-3737576-1338749472 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3737576-1338749472.opb
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: 0.92 0.98 1.16 3/173 2625
/proc/meminfo: memFree=31545596/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 1502 0 0 0 0 0 0 0 20 0 1 0 341075798 8908800 1466 33554432000 4194304 7823515 140737260496928 140737260428840 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 2175 1466 354 887 0 1285 0
[startup+0.091293 s]
/proc/loadavg: 0.92 0.98 1.16 3/173 2625
/proc/meminfo: memFree=31545596/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=19036 CPUtime=0.08 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 4195 0 0 0 4 4 0 0 20 0 1 0 341075798 19492864 3805 33554432000 4194304 7823515 140737260496928 140737260428840 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 4759 3805 436 887 0 3869 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19036
[startup+0.100323 s]
/proc/loadavg: 0.92 0.98 1.16 3/173 2625
/proc/meminfo: memFree=31545596/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=19036 CPUtime=0.09 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 4195 0 0 0 4 5 0 0 20 0 1 0 341075798 19492864 3805 33554432000 4194304 7823515 140737260496928 140737260428840 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 4759 3805 436 887 0 3869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19036
[startup+0.30031 s]
/proc/loadavg: 0.92 0.98 1.16 3/173 2625
/proc/meminfo: memFree=31545596/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=25060 CPUtime=0.28 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 5912 0 0 0 22 6 0 0 20 0 1 0 341075798 25661440 5435 33554432000 4194304 7823515 140737260496928 140737260428840 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 6265 5435 523 887 0 5375 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 25060
[startup+0.700255 s]
/proc/loadavg: 0.92 0.98 1.16 3/173 2625
/proc/meminfo: memFree=31545596/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=26428 CPUtime=0.68 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 6203 0 0 0 62 6 0 0 20 0 1 0 341075798 27062272 5725 33554432000 4194304 7823515 140737260496928 140737260428840 6252299 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 6607 5725 523 887 0 5717 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 26428
[startup+1.5003 s]
/proc/loadavg: 0.92 0.98 1.16 3/177 2629
/proc/meminfo: memFree=31490236/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=28020 CPUtime=1.49 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 6810 0 0 0 142 7 0 0 20 0 1 0 341075798 28692480 6275 33554432000 4194304 7823515 140737260496928 140737260492264 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 7005 6275 568 887 0 6115 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28020
[startup+3.10028 s]
/proc/loadavg: 0.92 0.98 1.16 3/177 2629
/proc/meminfo: memFree=31485376/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=30680 CPUtime=3.08 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 7457 0 0 0 301 7 0 0 20 0 1 0 341075798 31416320 6922 33554432000 4194304 7823515 140737260496928 140737260492264 6232652 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 7670 6922 568 887 0 6780 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 30680
[startup+6.30025 s]
/proc/loadavg: 1.01 1.00 1.17 3/177 2629
/proc/meminfo: memFree=31473596/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=41628 CPUtime=6.28 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 10038 0 0 0 619 9 0 0 20 0 1 0 341075798 42627072 9503 33554432000 4194304 7823515 140737260496928 140737260492264 5965368 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 10407 9503 568 887 0 9517 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 41628
[startup+12.7002 s]
/proc/loadavg: 1.09 1.02 1.17 3/177 2629
/proc/meminfo: memFree=31441652/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=66828 CPUtime=12.69 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 16229 0 0 0 1254 15 0 0 20 0 1 0 341075798 68431872 15892 33554432000 4194304 7823515 140737260496928 140737260490696 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 16707 15892 573 887 0 15817 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66828
[startup+25.5002 s]
/proc/loadavg: 1.29 1.06 1.18 3/177 2629
/proc/meminfo: memFree=31457392/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=48976 CPUtime=25.47 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 17246 0 0 0 2526 21 0 0 20 0 1 0 341075798 50151424 11687 33554432000 4194304 7823515 140737260496928 140737260491624 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 12244 11687 578 887 0 11354 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 48976
[startup+51.1002 s]
/proc/loadavg: 1.53 1.14 1.20 3/177 2629
/proc/meminfo: memFree=31457176/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=48976 CPUtime=51.07 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 17248 0 0 0 5072 35 0 0 20 0 1 0 341075798 50151424 11765 33554432000 4194304 7823515 140737260496928 140737260491976 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 12244 11765 578 887 0 11354 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 48976
[startup+102.307 s]
/proc/loadavg: 1.79 1.27 1.24 3/177 2629
/proc/meminfo: memFree=31454372/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=50624 CPUtime=102.27 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 19356 0 0 0 10163 64 0 0 20 0 1 0 341075798 51838976 12191 33554432000 4194304 7823515 140737260496928 140737260491896 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 12656 12191 587 887 0 11766 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 50624
[startup+162.3 s]
/proc/loadavg: 1.92 1.40 1.29 3/177 2629
/proc/meminfo: memFree=31451516/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=54208 CPUtime=162.25 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 25292 0 0 0 16122 103 0 0 20 0 1 0 341075798 55508992 13098 33554432000 4194304 7823515 140737260496928 140737260492728 6211346 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 13552 13098 589 887 0 12662 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 54208
[startup+222.3 s]
/proc/loadavg: 1.97 1.51 1.33 3/177 2630
/proc/meminfo: memFree=31441832/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=62252 CPUtime=222.24 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 30035 0 0 0 22078 146 0 0 20 0 1 0 341075798 63746048 15179 33554432000 4194304 7823515 140737260496928 140737260493960 6205839 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 15563 15179 589 887 0 14673 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 62252
[startup+282.3 s]
/proc/loadavg: 1.99 1.59 1.37 3/177 2630
/proc/meminfo: memFree=31435252/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=68800 CPUtime=282.23 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 39469 0 0 0 28032 191 0 0 20 0 1 0 341075798 70451200 16747 33554432000 4194304 7823515 140737260496928 140737260492264 5978388 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 17200 16747 590 887 0 16310 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 68800
[startup+342.3 s]
/proc/loadavg: 1.99 1.66 1.40 3/177 2630
/proc/meminfo: memFree=31424772/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=76240 CPUtime=342.22 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 46369 0 0 0 33982 240 0 0 20 0 1 0 341075798 78069760 18631 33554432000 4194304 7823515 140737260496928 140737260491624 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 19060 18631 590 887 0 18170 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 76240
[startup+402.3 s]
/proc/loadavg: 1.99 1.72 1.44 3/177 2630
/proc/meminfo: memFree=31417072/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=83492 CPUtime=402.21 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 48097 0 0 0 39933 288 0 0 20 0 1 0 341075798 85495808 20356 33554432000 4194304 7823515 140737260496928 140737260491256 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 20873 20356 590 887 0 19983 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 83492
Solver just ended. Dumping a history of the last processes samples
[startup+409.5 s]
/proc/loadavg: 1.99 1.73 1.44 3/177 2630
/proc/meminfo: memFree=31416328/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=83924 CPUtime=409.41 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 50872 0 0 0 40648 293 0 0 20 0 1 0 341075798 85938176 20528 33554432000 4194304 7823515 140737260496928 140737260492264 6211563 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 20981 20528 590 887 0 20091 0
Current children cumulated CPU time (s) 409.41
Current children cumulated vsize (KiB) 83924
[startup+435.1 s]
/proc/loadavg: 1.99 1.75 1.46 3/177 2630
/proc/meminfo: memFree=31414840/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=85804 CPUtime=435 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 51307 0 0 0 43186 314 0 0 20 0 1 0 341075798 87863296 20963 33554432000 4194304 7823515 140737260496928 140737260492616 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 21451 20963 590 887 0 20561 0
Current children cumulated CPU time (s) 435
Current children cumulated vsize (KiB) 85804
[startup+447.9 s]
/proc/loadavg: 1.99 1.76 1.46 3/177 2630
/proc/meminfo: memFree=31413968/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=86316 CPUtime=447.8 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 51524 0 0 0 44457 323 0 0 20 0 1 0 341075798 88387584 21179 33554432000 4194304 7823515 140737260496928 140737260492088 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 21579 21179 590 887 0 20689 0
Current children cumulated CPU time (s) 447.8
Current children cumulated vsize (KiB) 86316
[startup+451.1 s]
/proc/loadavg: 1.99 1.76 1.47 3/177 2630
/proc/meminfo: memFree=31413840/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=86316 CPUtime=451 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 51526 0 0 0 44774 326 0 0 20 0 1 0 341075798 88387584 21179 33554432000 4194304 7823515 140737260496928 140737260492680 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 21579 21179 590 887 0 20689 0
Current children cumulated CPU time (s) 451
Current children cumulated vsize (KiB) 86316
[startup+454.307 s]
/proc/loadavg: 1.99 1.77 1.47 3/177 2630
/proc/meminfo: memFree=31413592/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=86808 CPUtime=454.2 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 51590 0 0 0 45092 328 0 0 20 0 1 0 341075798 88891392 21243 33554432000 4194304 7823515 140737260496928 140737260492728 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 21702 21243 590 887 0 20812 0
Current children cumulated CPU time (s) 454.2
Current children cumulated vsize (KiB) 86808
[startup+455.1 s]
/proc/loadavg: 1.99 1.77 1.47 3/177 2630
/proc/meminfo: memFree=31413592/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=86808 CPUtime=455 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 51649 0 0 0 45170 330 0 0 20 0 1 0 341075798 88891392 21302 33554432000 4194304 7823515 140737260496928 140737260491896 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 21702 21302 590 887 0 20812 0
Current children cumulated CPU time (s) 455
Current children cumulated vsize (KiB) 86808
[startup+455.5 s]
/proc/loadavg: 1.99 1.77 1.47 3/177 2630
/proc/meminfo: memFree=31413344/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=86808 CPUtime=455.39 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 51649 0 0 0 45209 330 0 0 20 0 1 0 341075798 88891392 21302 33554432000 4194304 7823515 140737260496928 140737260491896 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 21702 21302 590 887 0 20812 0
Current children cumulated CPU time (s) 455.39
Current children cumulated vsize (KiB) 86808
[startup+455.9 s]
/proc/loadavg: 1.99 1.77 1.47 3/177 2630
/proc/meminfo: memFree=31413344/32873844 swapFree=7116/7116
[pid=2625] ppid=2622 vsize=86808 CPUtime=455.8 cores=0,2,4,6
/proc/2625/stat : 2625 (pbscip.linux.x8) R 2622 2625 2584 0 -1 4202496 51649 0 0 0 45249 331 0 0 20 0 1 0 341075798 88891392 21302 33554432000 4194304 7823515 140737260496928 140737260494760 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2625/statm: 21702 21302 590 887 0 20812 0
Current children cumulated CPU time (s) 455.8
Current children cumulated vsize (KiB) 86808
Child status: 0
Real time (s): 455.973
CPU time (s): 455.878
CPU user time (s): 452.56
CPU system time (s): 3.3175
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 86808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 452.56
system time used= 3.3175
maximum resident set size= 91588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51654
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= 27
involuntary context switches= 469
runsolver used 1.51377 second user time and 4.55831 second system time
The end