0.00/0.09 c SCIP version 1.1.0.7
0.00/0.09 c LP-Solver SoPlex 1.4.1
0.00/0.09 c user parameter file <scip.set> not found - using default parameters
0.00/0.09 c read problem <HOME/instance-1868940-1245151236.opb>
0.00/0.09 c original problem has 2000 variables (2000 bin, 0 int, 0 impl, 0 cont) and 5250 constraints
0.09/0.12 c start presolving problem
0.09/0.12 c presolving:
0.09/0.14 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1998 impls, 0 clqs
0.09/0.20 c (round 2) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5232 upgd conss, 1998 impls, 0 clqs
0.19/0.21 c (round 3) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5249 upgd conss, 1998 impls, 0 clqs
0.19/0.25 c (0.1s) probing: 101/1999 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.25 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.25 c presolving (4 rounds):
0.19/0.25 c 1 deleted vars, 1 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.25 c 1998 implications, 0 cliques
0.19/0.25 c presolved problem has 1999 variables (1999 bin, 0 int, 0 impl, 0 cont) and 5249 constraints
0.19/0.25 c 5249 constraints of type <logicor>
0.19/0.25 c transformed objective value is always integral (scale: 1)
0.19/0.25 c Presolving Time: 0.12
0.19/0.26 c strange?!, PURESAT with obj
0.19/0.26 c -----------------------------------------------------------------------------------------------
0.19/0.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26 c limits/memory = c 1620
0.19/0.26 c # maximal time in seconds to run
0.19/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26 c limits/time = c 1791
0.19/0.26 c # frequency for displaying node information lines
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.26 c display/freq = c 10000
0.19/0.26 c -----------------------------------------------------------------------------------------------
0.19/0.26 c start solving problem
0.19/0.26 c
24.28/24.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.28/24.34 c 24.1s| 1 | 0 | 9449 | 10M| 0 |1986 |1999 |5249 |5249 |1999 |5249 | 0 | 0 | 0 | 6.656667e+02 | -- | Inf
179.61/179.77 c 179s| 1 | 2 | 23700 | 11M| 0 |1986 |1999 |5249 |5249 |1999 |5249 | 0 | 0 | 19 | 6.656667e+02 | -- | Inf
1794.16/1794.84 c
1794.16/1794.84 c SCIP Status : solving was interrupted [time limit reached]
1794.16/1794.84 c Solving Time (sec) : 1791.00
1794.16/1794.84 c Solving Nodes : 27
1794.16/1794.84 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1794.16/1794.84 c Dual Bound : +6.65666666666673e+02
1794.16/1794.84 c Gap : infinite
1794.16/1794.84 c NODE 27
1794.16/1794.84 c DUAL BOUND 665.667
1794.16/1794.84 c PRIMAL BOUND 1e+20
1794.16/1794.84 c GAP 1e+20
1794.16/1794.84 s UNKNOWN
1794.16/1794.84 c SCIP Status : solving was interrupted [time limit reached]
1794.16/1794.84 c Solving Time : 1791.00
1794.16/1794.84 c Original Problem :
1794.16/1794.84 c Problem name : HOME/instance-1868940-1245151236.opb
1794.16/1794.84 c Variables : 2000 (2000 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.16/1794.84 c Constraints : 5250 initial, 5250 maximal
1794.16/1794.84 c Presolved Problem :
1794.16/1794.84 c Problem name : t_HOME/instance-1868940-1245151236.opb
1794.16/1794.84 c Variables : 1999 (1999 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.16/1794.84 c Constraints : 5249 initial, 5256 maximal
1794.16/1794.84 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1794.16/1794.84 c trivial : 0.00 0 0 0 0 0 0 0 0
1794.16/1794.84 c dualfix : 0.00 1 0 0 0 0 0 0 0
1794.16/1794.84 c boundshift : 0.00 0 0 0 0 0 0 0 0
1794.16/1794.84 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1794.16/1794.84 c implics : 0.00 0 0 0 0 0 0 0 0
1794.16/1794.84 c probing : 0.02 0 0 0 0 0 0 0 0
1794.16/1794.84 c linear : 0.04 0 0 0 0 0 1 0 0
1794.16/1794.84 c logicor : 0.05 0 0 0 0 0 0 0 0
1794.16/1794.84 c root node : - 0 - - 0 - - - -
1794.16/1794.84 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1794.16/1794.84 c integral : 0 0 0 27 0 0 0 0 0 54
1794.16/1794.84 c logicor : 5249+ 1 1039 0 0 4 30 0 0 0
1794.16/1794.84 c countsols : 0 0 0 0 0 0 0 0 0 0
1794.16/1794.84 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1794.16/1794.84 c integral : 621.85 0.00 0.00 621.85 0.00
1794.16/1794.84 c logicor : 0.01 0.00 0.01 0.00 0.00
1794.16/1794.84 c countsols : 0.00 0.00 0.00 0.00 0.00
1794.16/1794.84 c Propagators : Time Calls Cutoffs DomReds
1794.16/1794.84 c rootredcost : 0.00 0 0 0
1794.16/1794.84 c pseudoobj : 0.07 986 0 0
1794.16/1794.84 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1794.16/1794.84 c propagation : 0.00 4 4 6 22.0 1 4.0 -
1794.16/1794.84 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1794.16/1794.84 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1794.16/1794.84 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1794.16/1794.84 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1794.16/1794.84 c applied globally : - - - 7 19.4 - - -
1794.16/1794.84 c applied locally : - - - 0 0.0 - - -
1794.16/1794.84 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1794.16/1794.84 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1794.16/1794.84 c redcost : 0.00 27 0 0 0 0
1794.16/1794.84 c impliedbounds : 0.00 1 0 0 0 0
1794.16/1794.84 c intobj : 0.00 0 0 0 0 0
1794.16/1794.84 c gomory : 3.00 1 0 0 0 0
1794.16/1794.84 c strongcg : 2.93 1 0 0 0 0
1794.16/1794.84 c cmir : 0.05 1 0 0 0 0
1794.16/1794.84 c flowcover : 0.05 1 0 0 0 0
1794.16/1794.84 c clique : 0.00 1 0 0 0 0
1794.16/1794.84 c zerohalf : 0.00 0 0 0 0 0
1794.16/1794.84 c mcf : 0.00 1 0 0 0 0
1794.16/1794.84 c Pricers : Time Calls Vars
1794.16/1794.84 c problem variables: 0.00 0 0
1794.16/1794.84 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1794.16/1794.84 c relpscost : 621.85 27 0 0 0 0 54
1794.16/1794.84 c pscost : 0.00 0 0 0 0 0 0
1794.16/1794.84 c inference : 0.00 0 0 0 0 0 0
1794.16/1794.84 c mostinf : 0.00 0 0 0 0 0 0
1794.16/1794.84 c leastinf : 0.00 0 0 0 0 0 0
1794.16/1794.84 c fullstrong : 0.00 0 0 0 0 0 0
1794.16/1794.84 c allfullstrong : 0.00 0 0 0 0 0 0
1794.16/1794.84 c random : 0.00 0 0 0 0 0 0
1794.16/1794.84 c Primal Heuristics : Time Calls Found
1794.16/1794.84 c LP solutions : 0.00 - 0
1794.16/1794.84 c pseudo solutions : 0.00 - 0
1794.16/1794.84 c oneopt : 0.00 0 0
1794.16/1794.84 c veclendiving : 0.00 0 0
1794.16/1794.84 c objpscostdiving : 0.00 0 0
1794.16/1794.84 c rootsoldiving : 0.00 0 0
1794.16/1794.84 c linesearchdiving : 0.00 0 0
1794.16/1794.84 c guideddiving : 0.00 0 0
1794.16/1794.84 c crossover : 0.00 0 0
1794.16/1794.84 c coefdiving : 345.84 1 0
1794.16/1794.84 c pscostdiving : 353.80 1 0
1794.16/1794.84 c feaspump : 81.57 1 0
1794.16/1794.84 c simplerounding : 0.00 0 0
1794.16/1794.84 c rounding : 0.10 27 0
1794.16/1794.84 c shifting : 0.05 4 0
1794.16/1794.84 c intshifting : 0.00 0 0
1794.16/1794.84 c fixandinfer : 0.00 0 0
1794.16/1794.84 c fracdiving : 64.70 1 0
1794.16/1794.84 c intdiving : 0.00 0 0
1794.16/1794.84 c actconsdiving : 0.00 0 0
1794.16/1794.84 c octane : 0.00 0 0
1794.16/1794.84 c rens : 0.00 0 0
1794.16/1794.84 c rins : 0.00 0 0
1794.16/1794.84 c localbranching : 0.00 0 0
1794.16/1794.84 c mutation : 0.00 0 0
1794.16/1794.84 c dins : 0.00 0 0
1794.16/1794.84 c LP : Time Calls Iterations Iter/call Iter/sec
1794.16/1794.84 c primal LP : 0.00 0 0 0.00 -
1794.16/1794.84 c dual LP : 316.78 27 91529 3389.96 288.94
1794.16/1794.84 c barrier LP : 0.00 0 0 0.00 -
1794.16/1794.84 c diving/probing LP: 843.97 620 356179 574.48 422.03
1794.16/1794.84 c strong branching : 621.83 174 173003 994.27 278.22
1794.16/1794.84 c (at root node) : - 19 18501 973.74 -
1794.16/1794.84 c conflict analysis: 0.00 0 0 0.00 -
1794.16/1794.84 c B&B Tree :
1794.16/1794.84 c number of runs : 1
1794.16/1794.84 c nodes : 27
1794.16/1794.84 c nodes (total) : 27
1794.16/1794.84 c nodes left : 28
1794.16/1794.84 c max depth : 20
1794.16/1794.84 c max depth (total): 20
1794.16/1794.84 c backtracks : 2 (7.4%)
1794.16/1794.84 c delayed cutoffs : 0
1794.16/1794.84 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1794.16/1794.84 c avg switch length: 1.56
1794.16/1794.84 c switching time : 0.00
1794.16/1794.84 c Solution :
1794.16/1794.84 c Solutions found : 0 (0 improvements)
1794.16/1794.84 c Primal Bound : -
1794.16/1794.84 c Dual Bound : +6.65666666666673e+02
1794.16/1794.84 c Gap : infinite
1794.16/1794.84 c Root Dual Bound : +6.65666666666673e+02
1794.16/1794.88 c Time complete: 1794.25.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868940-1245151236/watcher-1868940-1245151236 -o /tmp/evaluation-result-1868940-1245151236/solver-1868940-1245151236 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868940-1245151236.opb
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.85 0.97 0.99 3/64 10471
/proc/meminfo: memFree=1898872/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=4648 CPUtime=0
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 499 0 0 0 0 0 0 0 18 0 1 0 182723331 4759552 483 1992294400 4194304 7823515 548682068736 18446744073709551615 5976930 0 0 4096 0 0 0 0 17 1 0 0
/proc/10471/statm: 1082 485 320 886 0 192 0
[startup+0.098765 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 10471
/proc/meminfo: memFree=1898872/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=14728 CPUtime=0.09
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 3317 0 0 0 8 1 0 0 18 0 1 0 182723331 15081472 2945 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 3682 2945 367 886 0 2792 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14728
[startup+0.102766 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 10471
/proc/meminfo: memFree=1898872/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=16472 CPUtime=0.09
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 3740 0 0 0 8 1 0 0 18 0 1 0 182723331 16867328 3368 1992294400 4194304 7823515 548682068736 18446744073709551615 4802987 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 4118 3371 370 886 0 3228 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16472
[startup+0.301798 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 10471
/proc/meminfo: memFree=1898872/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=33640 CPUtime=0.29
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 7960 0 0 0 25 4 0 0 19 0 1 0 182723331 34447360 7562 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 8410 7562 508 886 0 7520 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33640
[startup+0.702861 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 10471
/proc/meminfo: memFree=1898872/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=35952 CPUtime=0.69
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 8504 0 0 0 64 5 0 0 22 0 1 0 182723331 36814848 8011 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 8988 8011 514 886 0 8098 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35952
[startup+1.50199 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1868208/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=36340 CPUtime=1.49
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 8666 0 0 0 144 5 0 0 25 0 1 0 182723331 37212160 8166 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 9085 8166 514 886 0 8195 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36340
[startup+3.10125 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1867568/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=37188 CPUtime=3.09
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 8938 0 0 0 303 6 0 0 25 0 1 0 182723331 38080512 8438 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 9297 8438 514 886 0 8407 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37188
[startup+6.30176 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1865848/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=38284 CPUtime=6.29
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 9197 0 0 0 622 7 0 0 25 0 1 0 182723331 39202816 8697 1992294400 4194304 7823515 548682068736 18446744073709551615 6888849 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 9571 8697 514 886 0 8681 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38284
[startup+12.7018 s]
/proc/loadavg: 0.87 0.97 0.99 3/65 10472
/proc/meminfo: memFree=1862464/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=41728 CPUtime=12.69
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 10373 0 0 0 1261 8 0 0 25 0 1 0 182723331 42729472 9535 1992294400 4194304 7823515 548682068736 18446744073709551615 6211380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 10432 9535 515 886 0 9542 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41728
[startup+25.5018 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1862336/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=45204 CPUtime=25.48
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 10927 0 0 0 2538 10 0 0 25 0 1 0 182723331 46288896 10089 1992294400 4194304 7823515 548682068736 18446744073709551615 6218767 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 11301 10089 525 886 0 10411 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45204
[startup+51.1019 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1859904/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=44244 CPUtime=51.06
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 11560 0 0 0 5094 12 0 0 25 0 1 0 182723331 45305856 10242 1992294400 4194304 7823515 548682068736 18446744073709551615 6218529 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 11061 10242 525 886 0 10171 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 44244
[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1859968/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=44244 CPUtime=102.25
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 11560 0 0 0 10208 17 0 0 25 0 1 0 182723331 45305856 10242 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 11061 10242 525 886 0 10171 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 44244
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1866176/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=39788 CPUtime=162.22
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 16622 0 0 0 16194 28 0 0 25 0 1 0 182723331 40742912 9058 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 9947 9058 553 886 0 9057 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 39788
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1865024/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=39512 CPUtime=222.21
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 23067 0 0 0 22182 39 0 0 25 0 1 0 182723331 40460288 8999 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 9878 8999 554 886 0 8988 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 39512
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1862848/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=41316 CPUtime=282.18
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 28340 0 0 0 28169 49 0 0 25 0 1 0 182723331 42307584 9535 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 10329 9535 554 886 0 9439 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 41316
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1862976/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=41684 CPUtime=342.17
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 32923 0 0 0 34159 58 0 0 25 0 1 0 182723331 42684416 9498 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 10421 9498 554 886 0 9531 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 41684
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1864512/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=38764 CPUtime=402.14
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 59953 0 0 0 40136 78 0 0 25 0 1 0 182723331 39694336 8855 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 9691 8855 554 886 0 8801 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 38764
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1863552/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=40528 CPUtime=462.12
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 71856 0 0 0 46120 92 0 0 25 0 1 0 182723331 41500672 9335 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 10132 9335 554 886 0 9242 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 40528
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1862336/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=41984 CPUtime=522.1
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 80951 0 0 0 52106 104 0 0 25 0 1 0 182723331 42991616 9628 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 10496 9628 554 886 0 9606 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 41984
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1864192/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=40060 CPUtime=582.08
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 96266 0 0 0 58089 119 0 0 25 0 1 0 182723331 41021440 9232 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 10015 9232 554 886 0 9125 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 40060
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1862848/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=41288 CPUtime=642.07
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 108260 0 0 0 64075 132 0 0 25 0 1 0 182723331 42278912 9498 1992294400 4194304 7823515 548682068736 18446744073709551615 6206188 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 10322 9498 554 886 0 9432 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 41288
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1863168/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=40648 CPUtime=1121.89
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 135533 0 0 0 111983 206 0 0 25 0 1 0 182723331 41623552 9352 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 10162 9352 555 886 0 9272 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 40648
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1863168/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=40648 CPUtime=1181.87
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 135533 0 0 0 117971 216 0 0 25 0 1 0 182723331 41623552 9352 1992294400 4194304 7823515 548682068736 18446744073709551615 6206217 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 10162 9352 555 886 0 9272 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 40648
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1863104/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=40648 CPUtime=1241.85
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 135533 0 0 0 123960 225 0 0 25 0 1 0 182723331 41623552 9352 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 10162 9352 555 886 0 9272 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 40648
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1863104/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=40648 CPUtime=1301.84
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 135534 0 0 0 129945 239 0 0 25 0 1 0 182723331 41623552 9353 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 10162 9353 555 886 0 9272 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 40648
[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1859968/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=43656 CPUtime=1361.81
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 136317 0 0 0 135934 247 0 0 25 0 1 0 182723331 44703744 10136 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 10914 10136 559 886 0 10024 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 43656
[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1859904/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=43656 CPUtime=1421.79
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 136317 0 0 0 141925 254 0 0 25 0 1 0 182723331 44703744 10136 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 10914 10136 559 886 0 10024 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 43656
[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1859840/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=43656 CPUtime=1481.78
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 136317 0 0 0 147914 264 0 0 25 0 1 0 182723331 44703744 10136 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 10914 10136 559 886 0 10024 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 43656
[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1859840/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=43656 CPUtime=1541.75
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 136317 0 0 0 153904 271 0 0 25 0 1 0 182723331 44703744 10136 1992294400 4194304 7823515 548682068736 18446744073709551615 6254623 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 10914 10136 559 886 0 10024 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 43656
[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10472
/proc/meminfo: memFree=1859840/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=43656 CPUtime=1601.74
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 136317 0 0 0 159893 281 0 0 25 0 1 0 182723331 44703744 10136 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 10914 10136 559 886 0 10024 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 43656
[startup+1662.3 s]
/proc/loadavg: 1.06 0.99 0.99 2/65 10472
/proc/meminfo: memFree=1859776/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=43656 CPUtime=1661.71
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 136317 0 0 0 165878 293 0 0 25 0 1 0 182723331 44703744 10136 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 10914 10136 559 886 0 10024 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 43656
[startup+1722.3 s]
/proc/loadavg: 1.08 1.00 1.00 2/65 10472
/proc/meminfo: memFree=1859200/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=44388 CPUtime=1721.69
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 137986 0 0 0 171865 304 0 0 25 0 1 0 182723331 45453312 10277 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 11097 10277 559 886 0 10207 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 44388
[startup+1782.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 10472
/proc/meminfo: memFree=1859136/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=44388 CPUtime=1781.67
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 137986 0 0 0 177856 311 0 0 25 0 1 0 182723331 45453312 10277 1992294400 4194304 7823515 548682068736 18446744073709551615 6237446 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 11097 10277 559 886 0 10207 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 44388
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 10472
/proc/meminfo: memFree=1859136/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=44388 CPUtime=1784.87
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 137986 0 0 0 178176 311 0 0 25 0 1 0 182723331 45453312 10277 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 11097 10277 559 886 0 10207 0
Current children cumulated CPU time (s) 1784.87
Current children cumulated vsize (KiB) 44388
[startup+1788.7 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 10472
/proc/meminfo: memFree=1859136/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=44388 CPUtime=1788.07
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 137986 0 0 0 178495 312 0 0 25 0 1 0 182723331 45453312 10277 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 11097 10277 559 886 0 10207 0
Current children cumulated CPU time (s) 1788.07
Current children cumulated vsize (KiB) 44388
[startup+1791.91 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 10472
/proc/meminfo: memFree=1859136/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=44388 CPUtime=1791.27
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 137986 0 0 0 178814 313 0 0 25 0 1 0 182723331 45453312 10277 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 11097 10277 559 886 0 10207 0
Current children cumulated CPU time (s) 1791.27
Current children cumulated vsize (KiB) 44388
[startup+1793.5 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 10472
/proc/meminfo: memFree=1859136/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=44388 CPUtime=1792.87
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 137986 0 0 0 178974 313 0 0 25 0 1 0 182723331 45453312 10277 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 11097 10277 559 886 0 10207 0
Current children cumulated CPU time (s) 1792.87
Current children cumulated vsize (KiB) 44388
[startup+1794.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 10472
/proc/meminfo: memFree=1859136/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=44388 CPUtime=1793.67
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 137986 0 0 0 179054 313 0 0 25 0 1 0 182723331 45453312 10277 1992294400 4194304 7823515 548682068736 18446744073709551615 6211563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 11097 10277 559 886 0 10207 0
Current children cumulated CPU time (s) 1793.67
Current children cumulated vsize (KiB) 44388
[startup+1794.7 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 10472
/proc/meminfo: memFree=1859136/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=44388 CPUtime=1794.06
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 137986 0 0 0 179093 313 0 0 25 0 1 0 182723331 45453312 10277 1992294400 4194304 7823515 548682068736 18446744073709551615 6211618 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 11097 10277 559 886 0 10207 0
Current children cumulated CPU time (s) 1794.06
Current children cumulated vsize (KiB) 44388
[startup+1794.8 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 10472
/proc/meminfo: memFree=1859136/2055920 swapFree=4192812/4192956
[pid=10471] ppid=10469 vsize=44388 CPUtime=1794.16
/proc/10471/stat : 10471 (pbscip.linux.x8) R 10469 10471 10434 0 -1 4194304 137986 0 0 0 179103 313 0 0 25 0 1 0 182723331 45453312 10277 1992294400 4194304 7823515 548682068736 18446744073709551615 6205508 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10471/statm: 11097 10277 559 886 0 10207 0
Current children cumulated CPU time (s) 1794.16
Current children cumulated vsize (KiB) 44388
Child status: 0
Real time (s): 1794.89
CPU time (s): 1794.26
CPU user time (s): 1791.12
CPU system time (s): 3.14352
CPU usage (%): 99.9651
Max. virtual memory (cumulated for all children) (KiB): 45204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.12
system time used= 3.14352
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137993
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= 3144
runsolver used 1.36879 second user time and 3.84341 second system time
The end