2.99/3.05 c SCIP version 1.1.0.7
2.99/3.05 c LP-Solver SoPlex 1.4.1
2.99/3.05 c user parameter file <scip.set> not found - using default parameters
2.99/3.05 c read problem <HOME/instance-3744977-1338807734.opb>
2.99/3.05 c original problem has 171378 variables (171378 bin, 0 int, 0 impl, 0 cont) and 483373 constraints
3.78/3.87 c start presolving problem
3.78/3.87 c presolving:
7.70/7.71 c (round 1) 91524 del vars, 300592 del conss, 64049 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 7619136 impls, 0 clqs
8.89/8.99 c (round 2) 136930 del vars, 389718 del conss, 64092 chg bounds, 32 chg sides, 37 chg coeffs, 0 upgd conss, 7623455 impls, 0 clqs
8.99/9.08 c (round 3) 139261 del vars, 394508 del conss, 64123 chg bounds, 47 chg sides, 55 chg coeffs, 0 upgd conss, 7634473 impls, 0 clqs
9.18/9.23 c (round 4) 145048 del vars, 408389 del conss, 64124 chg bounds, 48 chg sides, 56 chg coeffs, 0 upgd conss, 7635311 impls, 0 clqs
9.18/9.26 c (round 5) 145070 del vars, 408391 del conss, 64124 chg bounds, 48 chg sides, 56 chg coeffs, 0 upgd conss, 7635311 impls, 0 clqs
9.59/9.62 c (round 6) 145070 del vars, 408391 del conss, 64124 chg bounds, 48 chg sides, 56 chg coeffs, 74357 upgd conss, 7635311 impls, 0 clqs
9.59/9.68 c (round 7) 145070 del vars, 408391 del conss, 64124 chg bounds, 48 chg sides, 56 chg coeffs, 74982 upgd conss, 7635311 impls, 0 clqs
12.48/12.50 c (8.9s) probing: 1000/26308 (3.8%) - 0 fixings, 0 aggregations, 99724 implications, 0 bound changes
14.79/14.87 c (11.3s) probing: 2000/26308 (7.6%) - 0 fixings, 0 aggregations, 219739 implications, 0 bound changes
14.79/14.87 c (11.3s) probing: 2001/26308 (7.6%) - 0 fixings, 0 aggregations, 219909 implications, 0 bound changes
14.79/14.87 c (11.3s) probing aborted: 2000/2000 successive useless probings
14.79/14.87 c presolving (8 rounds):
14.79/14.87 c 145070 deleted vars, 408391 deleted constraints, 64124 tightened bounds, 0 added holes, 48 changed sides, 56 changed coefficients
14.79/14.87 c 8100559 implications, 0 cliques
14.79/14.87 c presolved problem has 26308 variables (26308 bin, 0 int, 0 impl, 0 cont) and 74982 constraints
14.79/14.87 c 74982 constraints of type <logicor>
14.79/14.87 c transformed objective value is always integral (scale: 1)
14.79/14.87 c Presolving Time: 10.73
14.79/14.88 c strange?!, PURESAT with obj
14.79/14.88 c -----------------------------------------------------------------------------------------------
14.79/14.88 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.79/14.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.79/14.88 c limits/memory = c 13950
14.79/14.88 c # maximal time in seconds to run
14.79/14.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.79/14.88 c limits/time = c 1791
14.79/14.88 c # frequency for displaying node information lines
14.79/14.88 c # [type: int, range: [-1,2147483647], default: 100]
14.79/14.88 c display/freq = c 10000
14.79/14.88 c -----------------------------------------------------------------------------------------------
14.79/14.88 c start solving problem
14.79/14.88 c
48.18/48.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.18/48.27 c 44.6s| 1 | 0 | 28772 | 619M| 0 | 18k| 26k| 74k| 74k| 26k| 74k| 0 | 0 | 0 | 1.000000e+00 | -- | Inf
211.95/212.08 c 208s| 1 | 0 | 65445 | 626M| 0 | 18k| 26k| 74k| 74k| 26k| 75k| 797 | 0 | 0 | 1.978333e+02 | -- | Inf
231.96/232.04 c 228s| 1 | 0 | 69571 | 627M| 0 | 18k| 26k| 74k| 74k| 26k| 75k| 825 | 0 | 0 | 5.860000e+02 | -- | Inf
282.24/282.31 c 278s| 1 | 0 | 85487 | 627M| 0 | 18k| 26k| 74k| 74k| 26k| 75k| 851 | 0 | 0 | 5.860000e+02 | -- | Inf
402.02/402.17 c 398s| 1 | 0 |119164 | 628M| 0 | 13k| 26k| 74k| 74k| 26k| 75k| 876 | 0 | 0 | 5.860000e+02 | -- | Inf
433.72/433.84 c 429s| 1 | 0 |127899 | 629M| 0 | 15k| 26k| 74k| 74k| 26k| 75k| 896 | 0 | 0 | 5.860000e+02 | -- | Inf
487.51/487.67 c 483s| 1 | 0 |144736 | 629M| 0 | 15k| 26k| 74k| 74k| 26k| 75k| 917 | 0 | 0 | 5.860000e+02 | -- | Inf
526.40/526.52 c 522s| 1 | 0 |155830 | 630M| 0 | 14k| 26k| 74k| 74k| 26k| 75k| 934 | 0 | 0 | 5.860000e+02 | -- | Inf
589.19/589.30 c 585s| 1 | 0 |175013 | 631M| 0 | 12k| 26k| 74k| 74k| 26k| 75k| 965 | 0 | 0 | 5.860000e+02 | -- | Inf
629.68/629.84 c 625s| 1 | 0 |187825 | 631M| 0 | 14k| 26k| 74k| 74k| 26k| 75k| 985 | 0 | 0 | 5.860000e+02 | -- | Inf
690.88/691.00 c 686s| 1 | 2 |187825 | 631M| 0 | 14k| 26k| 74k| 74k| 26k| 75k| 985 | 0 | 21 | 5.860000e+02 | -- | Inf
1797.02/1797.40 c
1797.02/1797.40 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.40 c Solving Time (sec) : 1791.02
1797.02/1797.40 c Solving Nodes : 32
1797.02/1797.40 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.02/1797.40 c Dual Bound : +5.86000000000000e+02
1797.02/1797.40 c Gap : infinite
1797.02/1797.40 c NODE 32
1797.02/1797.40 c DUAL BOUND 586
1797.02/1797.40 c PRIMAL BOUND 1e+20
1797.02/1797.40 c GAP 1e+20
1797.02/1797.40 s UNKNOWN
1797.02/1797.40 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.40 c Solving Time : 1791.02
1797.02/1797.40 c Original Problem :
1797.02/1797.40 c Problem name : HOME/instance-3744977-1338807734.opb
1797.02/1797.40 c Variables : 171378 (171378 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.40 c Constraints : 483373 initial, 483373 maximal
1797.02/1797.40 c Presolved Problem :
1797.02/1797.40 c Problem name : t_HOME/instance-3744977-1338807734.opb
1797.02/1797.40 c Variables : 26308 (26308 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.40 c Constraints : 74982 initial, 74982 maximal
1797.02/1797.40 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.02/1797.40 c trivial : 0.04 1 0 0 0 0 0 0 0
1797.02/1797.40 c dualfix : 0.78 61723 0 0 0 0 0 0 0
1797.02/1797.40 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.02/1797.40 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.02/1797.40 c implics : 0.71 0 250 0 0 0 0 0 0
1797.02/1797.40 c probing : 5.12 0 0 0 0 0 0 0 0
1797.02/1797.40 c linear : 3.41 64123 18973 0 64124 0 408391 48 56
1797.02/1797.40 c logicor : 0.13 0 0 0 0 0 0 0 0
1797.02/1797.40 c root node : - 0 - - 0 - - - -
1797.02/1797.40 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.02/1797.40 c integral : 0 0 0 32 0 0 0 0 0 64
1797.02/1797.40 c logicor : 74982 9 4152 0 0 0 4680 0 0 0
1797.02/1797.40 c countsols : 0 0 0 0 0 0 0 0 0 0
1797.02/1797.40 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.02/1797.40 c integral : 907.10 0.00 0.00 907.10 0.00
1797.02/1797.40 c logicor : 0.96 0.02 0.94 0.00 0.00
1797.02/1797.40 c countsols : 0.00 0.00 0.00 0.00 0.00
1797.02/1797.40 c Propagators : Time Calls Cutoffs DomReds
1797.02/1797.40 c rootredcost : 0.00 0 0 0
1797.02/1797.40 c pseudoobj : 0.00 118 0 0
1797.02/1797.40 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.02/1797.40 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.40 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.40 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.40 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.40 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.40 c applied globally : - - - 0 0.0 - - -
1797.02/1797.40 c applied locally : - - - 0 0.0 - - -
1797.02/1797.40 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.02/1797.40 c cut pool : 0.01 8 - - 355 - (maximal pool size: 2872)
1797.02/1797.40 c redcost : 0.06 40 0 0 0 0
1797.02/1797.40 c impliedbounds : 0.36 9 0 0 783 0
1797.02/1797.40 c intobj : 0.00 0 0 0 0 0
1797.02/1797.40 c gomory : 4.14 9 0 0 4500 0
1797.02/1797.40 c strongcg : 3.84 9 0 0 4500 0
1797.02/1797.40 c cmir : 22.54 9 0 0 0 0
1797.02/1797.40 c flowcover : 26.54 9 0 0 10 0
1797.02/1797.40 c clique : 23.92 9 0 0 59 0
1797.02/1797.40 c zerohalf : 0.00 0 0 0 0 0
1797.02/1797.40 c mcf : 0.06 1 0 0 0 0
1797.02/1797.40 c Pricers : Time Calls Vars
1797.02/1797.40 c problem variables: 0.00 0 0
1797.02/1797.40 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.02/1797.40 c relpscost : 907.10 32 0 0 0 0 64
1797.02/1797.40 c pscost : 0.00 0 0 0 0 0 0
1797.02/1797.40 c inference : 0.00 0 0 0 0 0 0
1797.02/1797.40 c mostinf : 0.00 0 0 0 0 0 0
1797.02/1797.40 c leastinf : 0.00 0 0 0 0 0 0
1797.02/1797.40 c fullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.40 c allfullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.40 c random : 0.00 0 0 0 0 0 0
1797.02/1797.40 c Primal Heuristics : Time Calls Found
1797.02/1797.40 c LP solutions : 0.00 - 0
1797.02/1797.40 c pseudo solutions : 0.00 - 0
1797.02/1797.40 c oneopt : 0.00 0 0
1797.02/1797.40 c pscostdiving : 0.00 0 0
1797.02/1797.40 c fracdiving : 0.00 0 0
1797.02/1797.40 c veclendiving : 0.00 0 0
1797.02/1797.40 c objpscostdiving : 0.00 0 0
1797.02/1797.40 c rootsoldiving : 0.00 0 0
1797.02/1797.40 c linesearchdiving : 0.00 0 0
1797.02/1797.40 c guideddiving : 0.00 0 0
1797.02/1797.40 c intshifting : 0.00 0 0
1797.02/1797.40 c crossover : 0.00 0 0
1797.02/1797.40 c feaspump : 146.77 1 0
1797.02/1797.40 c simplerounding : 0.00 2 0
1797.02/1797.40 c rounding : 0.17 41 0
1797.02/1797.40 c shifting : 5.14 13 0
1797.02/1797.40 c fixandinfer : 0.00 0 0
1797.02/1797.40 c coefdiving : 24.94 1 0
1797.02/1797.40 c intdiving : 0.00 0 0
1797.02/1797.40 c actconsdiving : 0.00 0 0
1797.02/1797.40 c octane : 0.00 0 0
1797.02/1797.40 c rens : 0.02 0 0
1797.02/1797.40 c rins : 0.00 0 0
1797.02/1797.40 c localbranching : 0.00 0 0
1797.02/1797.40 c mutation : 0.00 0 0
1797.02/1797.40 c dins : 0.00 0 0
1797.02/1797.40 c LP : Time Calls Iterations Iter/call Iter/sec
1797.02/1797.40 c primal LP : 0.04 0 0 0.00 0.00
1797.02/1797.40 c dual LP : 613.21 41 232707 5675.78 379.49
1797.02/1797.40 c barrier LP : 0.00 0 0 0.00 -
1797.02/1797.40 c diving/probing LP: 170.36 93 42500 456.99 249.47
1797.02/1797.40 c strong branching : 907.05 300 260688 868.96 287.40
1797.02/1797.40 c (at root node) : - 21 21000 1000.00 -
1797.02/1797.40 c conflict analysis: 0.00 0 0 0.00 -
1797.02/1797.40 c B&B Tree :
1797.02/1797.40 c number of runs : 1
1797.02/1797.40 c nodes : 32
1797.02/1797.40 c nodes (total) : 32
1797.02/1797.40 c nodes left : 33
1797.02/1797.40 c max depth : 31
1797.02/1797.40 c max depth (total): 31
1797.02/1797.40 c backtracks : 0 (0.0%)
1797.02/1797.40 c delayed cutoffs : 0
1797.02/1797.40 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.02/1797.40 c avg switch length: 1.00
1797.02/1797.40 c switching time : 0.11
1797.02/1797.40 c Solution :
1797.02/1797.40 c Solutions found : 0 (0 improvements)
1797.02/1797.40 c Primal Bound : -
1797.02/1797.40 c Dual Bound : +5.86000000000000e+02
1797.02/1797.40 c Gap : infinite
1797.02/1797.40 c Root Dual Bound : +5.86000000000000e+02
1797.61/1797.91 c Time complete: 1797.62.
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-3744977-1338807734/watcher-3744977-1338807734 -o /tmp/evaluation-result-3744977-1338807734/solver-3744977-1338807734 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3744977-1338807734.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.89 2.10 2.18 3/176 13336
/proc/meminfo: memFree=27914812/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=8232 CPUtime=0 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 1444 0 0 0 0 0 0 0 20 0 1 0 346899425 8429568 1396 33554432000 4194304 7823515 140735572921456 140733502386008 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 2058 1396 337 887 0 1168 0
[startup+0.0666851 s]
/proc/loadavg: 1.89 2.10 2.18 3/176 13336
/proc/meminfo: memFree=27914812/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=17924 CPUtime=0.05 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 3845 0 0 0 5 0 0 0 20 0 1 0 346899425 18354176 3797 33554432000 4194304 7823515 140735572921456 140733502386008 6908067 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 4481 3797 354 887 0 3591 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17924
[startup+0.100254 s]
/proc/loadavg: 1.89 2.10 2.18 3/176 13336
/proc/meminfo: memFree=27914812/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=21248 CPUtime=0.09 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 4658 0 0 0 9 0 0 0 20 0 1 0 346899425 21757952 4610 33554432000 4194304 7823515 140735572921456 140733502386008 6908057 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 5312 4610 354 887 0 4422 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21248
[startup+0.30022 s]
/proc/loadavg: 1.89 2.10 2.18 3/176 13336
/proc/meminfo: memFree=27914812/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=41344 CPUtime=0.29 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 9699 0 0 0 28 1 0 0 20 0 1 0 346899425 42336256 9651 33554432000 4194304 7823515 140735572921456 140733502386008 6908077 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 10336 9651 354 887 0 9446 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41344
[startup+0.700225 s]
/proc/loadavg: 1.89 2.10 2.18 3/176 13336
/proc/meminfo: memFree=27914812/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=79968 CPUtime=0.69 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 19314 0 0 0 67 2 0 0 20 0 1 0 346899425 81887232 19266 33554432000 4194304 7823515 140735572921456 140735572787560 6830616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 19992 19266 354 887 0 19102 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79968
[startup+1.50023 s]
/proc/loadavg: 1.89 2.10 2.18 3/177 13337
/proc/meminfo: memFree=27698752/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=155436 CPUtime=1.49 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 38151 0 0 0 144 5 0 0 20 0 1 0 346899425 159166464 38103 33554432000 4194304 7823515 140735572921456 140735572787560 6908062 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 38859 38103 354 887 0 37969 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 155436
[startup+3.10024 s]
/proc/loadavg: 1.89 2.10 2.18 3/177 13337
/proc/meminfo: memFree=27449732/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=336252 CPUtime=3.09 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 83341 0 0 0 299 10 0 0 20 0 1 0 346899425 344322048 82940 33554432000 4194304 7823515 140735572921456 140735572787560 5878822 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 84191 82971 367 887 0 83301 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 336252
[startup+6.30018 s]
/proc/loadavg: 1.90 2.10 2.18 3/177 13337
/proc/meminfo: memFree=26459924/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=836400 CPUtime=6.29 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 207672 0 0 0 589 40 0 0 20 0 1 0 346899425 856473600 207270 33554432000 4194304 7823515 140735572921456 140735572918392 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 209100 207270 432 887 0 208210 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 836400
[startup+12.7002 s]
/proc/loadavg: 1.91 2.10 2.18 3/177 13337
/proc/meminfo: memFree=26294692/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=932040 CPUtime=12.68 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 231259 0 0 0 1205 63 0 0 20 0 1 0 346899425 954408960 231201 33554432000 4194304 7823515 140735572921456 140735572918152 5426498 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 233010 231201 452 887 0 232120 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 932040
[startup+25.5003 s]
/proc/loadavg: 1.93 2.09 2.18 3/177 13337
/proc/meminfo: memFree=26285828/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=950460 CPUtime=25.48 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 233630 0 0 0 2482 66 0 0 20 0 1 0 346899425 973271040 234355 33554432000 4194304 7823515 140735572921456 140735572917144 6236677 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 237615 234355 520 887 0 236725 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 950460
[startup+51.1002 s]
/proc/loadavg: 1.95 2.08 2.17 3/177 13337
/proc/meminfo: memFree=26269284/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=957524 CPUtime=51.08 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 234802 0 0 0 5038 70 0 0 20 0 1 0 346899425 980504576 236957 33554432000 4194304 7823515 140735572921456 140735572916424 6208709 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 239381 236957 531 887 0 238491 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 957524
[startup+102.306 s]
/proc/loadavg: 1.98 2.07 2.16 3/177 13337
/proc/meminfo: memFree=26265776/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=959868 CPUtime=102.28 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 234895 0 0 0 10154 74 0 0 20 0 1 0 346899425 982904832 237561 33554432000 4194304 7823515 140735572921456 140735572916264 6234850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 239967 237561 531 887 0 239077 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 959868
[startup+162.3 s]
/proc/loadavg: 1.99 2.05 2.15 3/177 13337
/proc/meminfo: memFree=26265648/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=962208 CPUtime=162.26 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 235005 0 0 0 16148 78 0 0 20 0 1 0 346899425 985300992 237685 33554432000 4194304 7823515 140735572921456 140735572916136 6208539 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 240552 237685 531 887 0 239662 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 962208
[startup+222.3 s]
/proc/loadavg: 2.06 2.06 2.15 3/177 13338
/proc/meminfo: memFree=26231112/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=997680 CPUtime=222.25 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 239604 0 0 0 22119 106 0 0 20 0 1 0 346899425 1021624320 246520 33554432000 4194304 7823515 140735572921456 140735572916792 6212418 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 249420 246520 560 887 0 248530 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 997680
[startup+282.3 s]
/proc/loadavg: 2.09 2.06 2.14 3/177 13338
/proc/meminfo: memFree=26231344/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=995648 CPUtime=282.24 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 242922 0 0 0 28108 116 0 0 20 0 1 0 346899425 1019543552 246682 33554432000 4194304 7823515 140735572921456 140735572916792 6118833 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 248912 246682 560 887 0 248022 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 995648
[startup+342.3 s]
/proc/loadavg: 2.03 2.05 2.13 3/177 13338
/proc/meminfo: memFree=26223368/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1001980 CPUtime=342.23 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 243370 0 0 0 34099 124 0 0 20 0 1 0 346899425 1026027520 248153 33554432000 4194304 7823515 140735572921456 140735572916792 6908032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 250495 248153 560 887 0 249605 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1001980
[startup+402.3 s]
/proc/loadavg: 2.08 2.05 2.12 3/177 13338
/proc/meminfo: memFree=26220916/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1001980 CPUtime=402.22 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 243370 0 0 0 40088 134 0 0 20 0 1 0 346899425 1026027520 248730 33554432000 4194304 7823515 140735572921456 140735572916792 5399588 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 250495 248730 560 887 0 249605 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1001980
[startup+462.3 s]
/proc/loadavg: 2.20 2.09 2.13 3/177 13338
/proc/meminfo: memFree=26202528/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1010228 CPUtime=462.21 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244017 0 0 0 46080 141 0 0 20 0 1 0 346899425 1034473472 251072 33554432000 4194304 7823515 140735572921456 140735572916792 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 252557 251072 560 887 0 251667 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1010228
[startup+522.3 s]
/proc/loadavg: 2.14 2.09 2.12 3/178 13342
/proc/meminfo: memFree=26205616/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1010228 CPUtime=522.2 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244058 0 0 0 52070 150 0 0 20 0 1 0 346899425 1034473472 251251 33554432000 4194304 7823515 140735572921456 140735572916792 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 252557 251251 560 887 0 251667 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1010228
[startup+582.3 s]
/proc/loadavg: 2.05 2.07 2.11 3/177 13342
/proc/meminfo: memFree=26195380/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1010228 CPUtime=582.2 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244058 0 0 0 58062 158 0 0 20 0 1 0 346899425 1034473472 251502 33554432000 4194304 7823515 140735572921456 140735572917144 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 252557 251502 560 887 0 251667 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1010228
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26188720/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1012008 CPUtime=1062.11 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244062 0 0 0 105992 219 0 0 20 0 1 0 346899425 1036296192 251506 33554432000 4194304 7823515 140735572921456 140735572916152 6212430 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 253002 251506 564 887 0 252112 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 1012008
[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 2.08 3/178 13347
/proc/meminfo: memFree=26188964/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1012008 CPUtime=1122.11 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244062 0 0 0 111984 227 0 0 20 0 1 0 346899425 1036296192 251506 33554432000 4194304 7823515 140735572921456 140735572916152 6211568 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 253002 251506 564 887 0 252112 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1012008
[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.08 3/177 13347
/proc/meminfo: memFree=26189596/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1012008 CPUtime=1182.1 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244062 0 0 0 117975 235 0 0 20 0 1 0 346899425 1036296192 251506 33554432000 4194304 7823515 140735572921456 140735572916152 6212430 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 253002 251506 564 887 0 252112 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1012008
[startup+1242.3 s]
/proc/loadavg: 2.06 2.05 2.08 3/177 13347
/proc/meminfo: memFree=26188240/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1012008 CPUtime=1242.1 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244062 0 0 0 123968 242 0 0 20 0 1 0 346899425 1036296192 251506 33554432000 4194304 7823515 140735572921456 140735572916152 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 253002 251506 564 887 0 252112 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1012008
[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.07 3/177 13347
/proc/meminfo: memFree=26187248/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1012008 CPUtime=1302.09 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244063 0 0 0 129959 250 0 0 20 0 1 0 346899425 1036296192 251507 33554432000 4194304 7823515 140735572921456 140735572916504 6211707 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 253002 251507 564 887 0 252112 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1012008
[startup+1362.3 s]
/proc/loadavg: 2.07 2.04 2.07 3/177 13347
/proc/meminfo: memFree=26186256/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1012008 CPUtime=1362.08 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244063 0 0 0 135950 258 0 0 20 0 1 0 346899425 1036296192 251507 33554432000 4194304 7823515 140735572921456 140735572916152 6212418 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 253002 251507 564 887 0 252112 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1012008
[startup+1422.31 s]
/proc/loadavg: 2.02 2.03 2.06 3/177 13348
/proc/meminfo: memFree=26188488/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1012008 CPUtime=1422.07 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244063 0 0 0 141943 264 0 0 20 0 1 0 346899425 1036296192 251507 33554432000 4194304 7823515 140735572921456 140735572916152 6109403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 253002 251507 564 887 0 252112 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1012008
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.06 3/178 13349
/proc/meminfo: memFree=26185260/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1012008 CPUtime=1482.06 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244063 0 0 0 147934 272 0 0 20 0 1 0 346899425 1036296192 251507 33554432000 4194304 7823515 140735572921456 140735572916664 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 253002 251507 564 887 0 252112 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1012008
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/177 13349
/proc/meminfo: memFree=26190104/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1012008 CPUtime=1542.04 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244063 0 0 0 153926 278 0 0 20 0 1 0 346899425 1036296192 251507 33554432000 4194304 7823515 140735572921456 140735572915480 6237295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 253002 251507 564 887 0 252112 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1012008
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/177 13349
/proc/meminfo: memFree=26188740/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1012008 CPUtime=1602.04 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244064 0 0 0 159919 285 0 0 20 0 1 0 346899425 1036296192 251508 33554432000 4194304 7823515 140735572921456 140735572916792 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 253002 251508 565 887 0 252112 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1012008
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/177 13349
/proc/meminfo: memFree=26185392/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1012008 CPUtime=1662.03 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244064 0 0 0 165909 294 0 0 20 0 1 0 346899425 1036296192 251508 33554432000 4194304 7823515 140735572921456 140735572917208 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 253002 251508 565 887 0 252112 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1012008
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.04 3/178 13353
/proc/meminfo: memFree=26190100/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1012008 CPUtime=1722.02 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244064 0 0 0 171899 303 0 0 20 0 1 0 346899425 1036296192 251508 33554432000 4194304 7823515 140735572921456 140735572916792 6206076 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 253002 251508 565 887 0 252112 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1012008
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.03 3/177 13353
/proc/meminfo: memFree=26185520/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1012008 CPUtime=1782.01 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244064 0 0 0 177890 311 0 0 20 0 1 0 346899425 1036296192 251508 33554432000 4194304 7823515 140735572921456 140735572916920 6211327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 253002 251508 565 887 0 252112 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1012008
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.01 2.03 3/177 13353
/proc/meminfo: memFree=26185520/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1012008 CPUtime=1785.21 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244064 0 0 0 178210 311 0 0 20 0 1 0 346899425 1036296192 251508 33554432000 4194304 7823515 140735572921456 140735572916920 6212430 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 253002 251508 565 887 0 252112 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 1012008
[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.03 3/177 13353
/proc/meminfo: memFree=26185520/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1012008 CPUtime=1791.62 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244064 0 0 0 178849 313 0 0 20 0 1 0 346899425 1036296192 251508 33554432000 4194304 7823515 140735572921456 140735572917272 6212404 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 253002 251508 565 887 0 252112 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 1012008
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.03 3/177 13353
/proc/meminfo: memFree=26185520/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1012008 CPUtime=1794.81 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244064 0 0 0 179168 313 0 0 20 0 1 0 346899425 1036296192 251508 33554432000 4194304 7823515 140735572921456 140735572916600 6108659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 253002 251508 565 887 0 252112 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 1012008
[startup+1796.7 s]
/proc/loadavg: 2.02 2.01 2.03 3/177 13353
/proc/meminfo: memFree=26185520/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1012008 CPUtime=1796.4 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244064 0 0 0 179327 313 0 0 20 0 1 0 346899425 1036296192 251508 33554432000 4194304 7823515 140735572921456 140735572916920 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 253002 251508 565 887 0 252112 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 1012008
[startup+1797.5 s]
/proc/loadavg: 2.02 2.01 2.03 3/177 13353
/proc/meminfo: memFree=26186824/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=1012008 CPUtime=1797.21 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244068 0 0 0 179407 314 0 0 20 0 1 0 346899425 1036296192 251512 33554432000 4194304 7823515 140735572921456 140735572916968 4802841 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 253002 251512 569 887 0 252112 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 1012008
[startup+1797.9 s]
/proc/loadavg: 2.02 2.01 2.03 3/177 13353
/proc/meminfo: memFree=26186824/32873648 swapFree=6864/6864
[pid=13336] ppid=13334 vsize=708652 CPUtime=1797.61 cores=1,3,5,7
/proc/13336/stat : 13336 (pbscip.linux.x8) R 13334 13336 13292 0 -1 4202496 244068 0 0 0 179445 316 0 0 20 0 1 0 346899425 725659648 176719 33554432000 4194304 7823515 140735572921456 140735572916968 5875265 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13336/statm: 177163 176719 569 887 0 176273 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 708652
Child status: 0
Real time (s): 1797.91
CPU time (s): 1797.63
CPU user time (s): 1794.47
CPU system time (s): 3.16452
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 1012008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.47
system time used= 3.16452
maximum resident set size= 1006048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244071
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= 24
involuntary context switches= 1850
runsolver used 4.33334 second user time and 9.37957 second system time
The end