0.02/0.06 c SCIP version 1.1.0.7
0.02/0.06 c LP-Solver SoPlex 1.4.1
0.02/0.06 c user parameter file <scip.set> not found - using default parameters
0.02/0.06 c read problem <HOME/instance-1869070-1245156864.opb>
0.02/0.06 c original problem has 1200 variables (1200 bin, 0 int, 0 impl, 0 cont) and 3150 constraints
0.02/0.07 c start presolving problem
0.02/0.07 c presolving:
0.02/0.08 c (round 1) 3 del vars, 3 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1194 impls, 0 clqs
0.09/0.13 c (round 2) 3 del vars, 3 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3135 upgd conss, 1194 impls, 0 clqs
0.09/0.14 c (round 3) 3 del vars, 3 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3147 upgd conss, 1194 impls, 0 clqs
0.09/0.17 c (0.1s) probing: 101/1197 (8.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (4 rounds):
0.09/0.17 c 3 deleted vars, 3 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.17 c 1194 implications, 0 cliques
0.09/0.17 c presolved problem has 1197 variables (1197 bin, 0 int, 0 impl, 0 cont) and 3147 constraints
0.09/0.17 c 3147 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.09
0.09/0.17 c strange?!, PURESAT with obj
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = c 1620
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = c 1791
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = c 10000
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving problem
0.09/0.17 c
7.89/7.91 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.89/7.91 c 7.8s| 1 | 0 | 5863 |6634k| 0 |1189 |1197 |3147 |3147 |1197 |3147 | 0 | 0 | 0 | 3.990000e+02 | -- | Inf
41.67/41.74 c 41.5s| 1 | 0 | 22085 | 20M| 0 |1189 |1197 |3147 |3147 |1197 |3148 | 1 | 0 | 0 | 3.991970e+02 | -- | Inf
47.46/47.50 c 47.3s| 1 | 0 | 23868 | 34M| 0 |1190 |1197 |3147 |3147 |1197 |3149 | 2 | 0 | 0 | 3.993053e+02 | -- | Inf
52.67/52.74 c 52.5s| 1 | 0 | 25138 | 48M| 0 |1189 |1197 |3147 |3147 |1197 |3150 | 3 | 0 | 0 | 3.993502e+02 | -- | Inf
106.14/106.26 c 106s| 1 | 2 | 25138 | 48M| 0 |1189 |1197 |3147 |3147 |1197 |3150 | 3 | 0 | 30 | 3.993502e+02 | -- | Inf
1794.80/1795.40 c
1794.80/1795.40 c SCIP Status : solving was interrupted [time limit reached]
1794.80/1795.40 c Solving Time (sec) : 1791.00
1794.80/1795.40 c Solving Nodes : 137
1794.80/1795.40 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1794.80/1795.40 c Dual Bound : +4.05645808470886e+02
1794.80/1795.40 c Gap : infinite
1794.80/1795.40 c NODE 137
1794.80/1795.40 c DUAL BOUND 405.646
1794.80/1795.40 c PRIMAL BOUND 1e+20
1794.80/1795.40 c GAP 1e+20
1794.80/1795.40 s UNKNOWN
1794.80/1795.40 c SCIP Status : solving was interrupted [time limit reached]
1794.80/1795.40 c Solving Time : 1791.00
1794.80/1795.40 c Original Problem :
1794.80/1795.40 c Problem name : HOME/instance-1869070-1245156864.opb
1794.80/1795.40 c Variables : 1200 (1200 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.80/1795.40 c Constraints : 3150 initial, 3150 maximal
1794.80/1795.40 c Presolved Problem :
1794.80/1795.40 c Problem name : t_HOME/instance-1869070-1245156864.opb
1794.80/1795.40 c Variables : 1197 (1197 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.80/1795.40 c Constraints : 3147 initial, 3191 maximal
1794.80/1795.40 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1794.80/1795.40 c trivial : 0.00 0 0 0 0 0 0 0 0
1794.80/1795.40 c dualfix : 0.00 3 0 0 0 0 0 0 0
1794.80/1795.40 c boundshift : 0.00 0 0 0 0 0 0 0 0
1794.80/1795.40 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1794.80/1795.40 c implics : 0.00 0 0 0 0 0 0 0 0
1794.80/1795.40 c probing : 0.01 0 0 0 0 0 0 0 0
1794.80/1795.40 c linear : 0.03 0 0 0 0 0 3 0 0
1794.80/1795.40 c logicor : 0.04 0 0 0 0 0 0 0 0
1794.80/1795.40 c root node : - 0 - - 0 - - - -
1794.80/1795.40 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1794.80/1795.40 c integral : 0 0 0 136 0 0 0 0 0 272
1794.80/1795.40 c logicor : 3147+ 4 2874 0 1 26 152 0 0 0
1794.80/1795.40 c countsols : 0 0 0 0 1 0 0 0 0 0
1794.80/1795.40 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1794.80/1795.40 c integral : 440.32 0.00 0.00 440.32 0.00
1794.80/1795.40 c logicor : 0.02 0.00 0.02 0.00 0.00
1794.80/1795.40 c countsols : 0.00 0.00 0.00 0.00 0.00
1794.80/1795.40 c Propagators : Time Calls Cutoffs DomReds
1794.80/1795.40 c rootredcost : 0.00 0 0 0
1794.80/1795.40 c pseudoobj : 0.21 3454 0 0
1794.80/1795.40 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1794.80/1795.40 c propagation : 0.00 26 26 38 15.6 1 19.0 -
1794.80/1795.40 c infeasible LP : 0.01 5 5 6 24.8 0 0.0 0
1794.80/1795.40 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1794.80/1795.40 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1794.80/1795.40 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1794.80/1795.40 c applied globally : - - - 44 16.8 - - -
1794.80/1795.40 c applied locally : - - - 0 0.0 - - -
1794.80/1795.40 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1794.80/1795.40 c cut pool : 0.04 3 - - 0 - (maximal pool size: 1496)
1794.80/1795.40 c redcost : 0.01 139 0 0 0 0
1794.80/1795.40 c impliedbounds : 0.00 4 0 0 0 0
1794.80/1795.40 c intobj : 0.00 0 0 0 0 0
1794.80/1795.40 c gomory : 5.24 4 0 0 0 0
1794.80/1795.40 c strongcg : 3.04 4 0 0 1500 0
1794.80/1795.40 c cmir : 0.11 4 0 0 0 0
1794.80/1795.40 c flowcover : 0.09 4 0 0 0 0
1794.80/1795.40 c clique : 0.00 1 0 0 0 0
1794.80/1795.40 c zerohalf : 0.00 0 0 0 0 0
1794.80/1795.40 c mcf : 0.01 1 0 0 0 0
1794.80/1795.40 c Pricers : Time Calls Vars
1794.80/1795.40 c problem variables: 0.00 0 0
1794.80/1795.40 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1794.80/1795.40 c relpscost : 440.32 136 0 0 0 0 272
1794.80/1795.40 c pscost : 0.00 0 0 0 0 0 0
1794.80/1795.40 c inference : 0.00 1 0 0 0 0 2
1794.80/1795.40 c mostinf : 0.00 0 0 0 0 0 0
1794.80/1795.40 c leastinf : 0.00 0 0 0 0 0 0
1794.80/1795.40 c fullstrong : 0.00 0 0 0 0 0 0
1794.80/1795.40 c allfullstrong : 0.00 0 0 0 0 0 0
1794.80/1795.40 c random : 0.00 0 0 0 0 0 0
1794.80/1795.40 c Primal Heuristics : Time Calls Found
1794.80/1795.40 c LP solutions : 0.00 - 0
1794.80/1795.40 c pseudo solutions : 0.00 - 0
1794.80/1795.40 c oneopt : 0.00 0 0
1794.80/1795.40 c crossover : 0.00 0 0
1794.80/1795.40 c simplerounding : 0.00 0 0
1794.80/1795.40 c rounding : 0.26 120 0
1794.80/1795.40 c shifting : 0.06 9 0
1794.80/1795.40 c intshifting : 0.00 0 0
1794.80/1795.40 c fixandinfer : 0.00 0 0
1794.80/1795.40 c feaspump : 27.75 1 0
1794.80/1795.40 c coefdiving : 128.28 2 0
1794.80/1795.40 c pscostdiving : 110.30 2 0
1794.80/1795.40 c fracdiving : 116.26 2 0
1794.80/1795.40 c veclendiving : 141.77 2 0
1794.80/1795.40 c intdiving : 0.00 0 0
1794.80/1795.40 c actconsdiving : 0.00 0 0
1794.80/1795.40 c objpscostdiving : 214.47 1 0
1794.80/1795.40 c rootsoldiving : 26.31 2 0
1794.80/1795.40 c linesearchdiving : 140.73 2 0
1794.80/1795.40 c guideddiving : 0.00 0 0
1794.80/1795.40 c octane : 0.00 0 0
1794.80/1795.40 c rens : 0.01 0 0
1794.80/1795.40 c rins : 0.00 0 0
1794.80/1795.40 c localbranching : 0.00 0 0
1794.80/1795.40 c mutation : 0.00 0 0
1794.80/1795.40 c dins : 0.00 0 0
1794.80/1795.40 c LP : Time Calls Iterations Iter/call Iter/sec
1794.80/1795.40 c primal LP : 0.00 0 0 0.00 -
1794.80/1795.40 c dual LP : 435.47 140 264991 1892.79 608.52
1794.80/1795.40 c barrier LP : 0.00 0 0 0.00 -
1794.80/1795.40 c diving/probing LP: 901.88 2322 769721 331.49 853.46
1794.80/1795.40 c strong branching : 440.18 272 271002 996.33 615.66
1794.80/1795.40 c (at root node) : - 30 30000 1000.00 -
1794.80/1795.40 c conflict analysis: 0.00 0 0 0.00 -
1794.80/1795.40 c B&B Tree :
1794.80/1795.40 c number of runs : 1
1794.80/1795.40 c nodes : 137
1794.80/1795.40 c nodes (total) : 137
1794.80/1795.40 c nodes left : 138
1794.80/1795.40 c max depth : 15
1794.80/1795.40 c max depth (total): 15
1794.80/1795.40 c backtracks : 51 (37.2%)
1794.80/1795.40 c delayed cutoffs : 0
1794.80/1795.40 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1794.80/1795.40 c avg switch length: 4.58
1794.80/1795.40 c switching time : 0.04
1794.80/1795.40 c Solution :
1794.80/1795.40 c Solutions found : 0 (0 improvements)
1794.80/1795.40 c Primal Bound : -
1794.80/1795.40 c Dual Bound : +4.05645808470886e+02
1794.80/1795.40 c Gap : infinite
1794.80/1795.40 c Root Dual Bound : +3.99350236554424e+02
1794.80/1795.43 c Time complete: 1794.83.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869070-1245156864/watcher-1869070-1245156864 -o /tmp/evaluation-result-1869070-1245156864/solver-1869070-1245156864 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869070-1245156864.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.92 0.97 0.99 3/64 1298
/proc/meminfo: memFree=1886936/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=4648 CPUtime=0
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 493 0 0 0 0 0 0 0 18 0 1 0 183286815 4759552 477 1992294400 4194304 7823515 548682068736 18446744073709551615 5898624 0 0 4096 0 0 0 0 17 1 0 0
/proc/1298/statm: 1162 485 318 886 0 272 0
[startup+0.0302399 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 1298
/proc/meminfo: memFree=1886936/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=10344 CPUtime=0.02
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 1886 0 0 0 2 0 0 0 18 0 1 0 183286815 10592256 1868 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/1298/statm: 2586 1877 355 886 0 1696 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10344
[startup+0.10125 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 1298
/proc/meminfo: memFree=1886936/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=18672 CPUtime=0.09
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 4112 0 0 0 7 2 0 0 18 0 1 0 183286815 19120128 3740 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 4668 3740 427 886 0 3778 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18672
[startup+0.301284 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 1298
/proc/meminfo: memFree=1886936/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=25756 CPUtime=0.29
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 5981 0 0 0 26 3 0 0 19 0 1 0 183286815 26374144 5564 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 6439 5564 511 886 0 5549 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25756
[startup+0.701351 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 1298
/proc/meminfo: memFree=1886936/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=26344 CPUtime=0.7
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 6181 0 0 0 66 4 0 0 22 0 1 0 183286815 26976256 5751 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 6586 5751 514 886 0 5696 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 26344
[startup+1.50149 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 1299
/proc/meminfo: memFree=1865296/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=26920 CPUtime=1.49
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 6350 0 0 0 145 4 0 0 25 0 1 0 183286815 27566080 5920 1992294400 4194304 7823515 548682068736 18446744073709551615 6234827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 6730 5920 514 886 0 5840 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26920
[startup+3.10176 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 1299
/proc/meminfo: memFree=1864592/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=27460 CPUtime=3.1
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 6499 0 0 0 305 5 0 0 25 0 1 0 183286815 28119040 6065 1992294400 4194304 7823515 548682068736 18446744073709551615 6254623 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 6865 6065 514 886 0 5975 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 27460
[startup+6.3023 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 1299
/proc/meminfo: memFree=1862992/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=29344 CPUtime=6.29
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 6932 0 0 0 624 5 0 0 25 0 1 0 183286815 30048256 6498 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 7336 6498 514 886 0 6446 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29344
[startup+12.7014 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 1299
/proc/meminfo: memFree=1861712/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=30776 CPUtime=12.69
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 7437 0 0 0 1263 6 0 0 25 0 1 0 183286815 31514624 6765 1992294400 4194304 7823515 548682068736 18446744073709551615 6208518 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 7694 6765 525 886 0 6804 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30776
[startup+25.5015 s]
/proc/loadavg: 0.95 0.97 0.99 2/65 1299
/proc/meminfo: memFree=1861648/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=30776 CPUtime=25.48
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 7444 0 0 0 2540 8 0 0 25 0 1 0 183286815 31514624 6772 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 7694 6772 525 886 0 6804 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30776
[startup+51.1019 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 1299
/proc/meminfo: memFree=1819600/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=74140 CPUtime=51.07
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 18911 0 0 0 5087 20 0 0 25 0 1 0 183286815 75919360 17527 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18535 17527 551 886 0 17645 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 74140
[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 1299
/proc/meminfo: memFree=1816848/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75400 CPUtime=102.25
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19401 0 0 0 10195 30 0 0 25 0 1 0 183286815 77209600 18016 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18850 18016 555 886 0 17960 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 75400
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1299
/proc/meminfo: memFree=1816784/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75400 CPUtime=162.22
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19401 0 0 0 16182 40 0 0 25 0 1 0 183286815 77209600 18016 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18850 18016 555 886 0 17960 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 75400
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1299
/proc/meminfo: memFree=1816720/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75400 CPUtime=222.21
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19401 0 0 0 22171 50 0 0 25 0 1 0 183286815 77209600 18016 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18850 18016 555 886 0 17960 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 75400
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1299
/proc/meminfo: memFree=1816656/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75400 CPUtime=282.19
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19401 0 0 0 28159 60 0 0 25 0 1 0 183286815 77209600 18016 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18850 18016 555 886 0 17960 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 75400
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1299
/proc/meminfo: memFree=1816656/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75400 CPUtime=342.17
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19401 0 0 0 34149 68 0 0 25 0 1 0 183286815 77209600 18016 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18850 18016 555 886 0 17960 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 75400
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1816400/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75400 CPUtime=402.14
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19402 0 0 0 40136 78 0 0 25 0 1 0 183286815 77209600 18017 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18850 18017 556 886 0 17960 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 75400
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1818192/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=73468 CPUtime=462.13
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19535 0 0 0 46121 92 0 0 25 0 1 0 183286815 75231232 17570 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18367 17570 560 886 0 17477 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 73468
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1818256/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=73468 CPUtime=522.1
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19535 0 0 0 52105 105 0 0 25 0 1 0 183286815 75231232 17570 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18367 17570 560 886 0 17477 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 73468
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1817744/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=74188 CPUtime=582.09
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19680 0 0 0 58090 119 0 0 25 0 1 0 183286815 75968512 17715 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18547 17715 560 886 0 17657 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 74188
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1817680/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=74480 CPUtime=642.07
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19681 0 0 0 64075 132 0 0 25 0 1 0 183286815 76267520 17716 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18620 17716 560 886 0 17730 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 74480
[startup+702.303 s]
################
# More data... #
################
/proc/meminfo: memFree=1816272/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75248 CPUtime=1121.92
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19980 0 0 0 111957 235 0 0 25 0 1 0 183286815 77053952 18015 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18812 18015 562 886 0 17922 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 75248
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1816208/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75420 CPUtime=1181.9
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19994 0 0 0 117945 245 0 0 25 0 1 0 183286815 77230080 18029 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18855 18029 562 886 0 17965 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 75420
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1816144/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75420 CPUtime=1241.88
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19994 0 0 0 123930 258 0 0 25 0 1 0 183286815 77230080 18029 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18855 18029 562 886 0 17965 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 75420
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1816080/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75420 CPUtime=1301.86
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19994 0 0 0 129916 270 0 0 25 0 1 0 183286815 77230080 18029 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18855 18029 562 886 0 17965 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 75420
[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1816144/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75420 CPUtime=1361.83
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19994 0 0 0 135899 284 0 0 25 0 1 0 183286815 77230080 18029 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18855 18029 562 886 0 17965 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 75420
[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1816144/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75420 CPUtime=1421.82
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19994 0 0 0 141886 296 0 0 25 0 1 0 183286815 77230080 18029 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18855 18029 562 886 0 17965 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 75420
[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1816080/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75420 CPUtime=1481.8
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19994 0 0 0 147869 311 0 0 25 0 1 0 183286815 77230080 18029 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18855 18029 562 886 0 17965 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 75420
[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1816016/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75420 CPUtime=1541.78
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19994 0 0 0 153854 324 0 0 25 0 1 0 183286815 77230080 18029 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18855 18029 562 886 0 17965 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 75420
[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1816016/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75420 CPUtime=1601.76
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19994 0 0 0 159839 337 0 0 25 0 1 0 183286815 77230080 18029 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18855 18029 562 886 0 17965 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 75420
[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1815952/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75420 CPUtime=1661.74
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19994 0 0 0 165825 349 0 0 25 0 1 0 183286815 77230080 18029 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18855 18029 562 886 0 17965 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 75420
[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1815888/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75420 CPUtime=1721.72
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19994 0 0 0 171813 359 0 0 25 0 1 0 183286815 77230080 18029 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18855 18029 562 886 0 17965 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 75420
[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1815888/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75420 CPUtime=1781.7
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19994 0 0 0 177797 373 0 0 25 0 1 0 183286815 77230080 18029 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18855 18029 562 886 0 17965 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 75420
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1815888/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75420 CPUtime=1784.9
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19994 0 0 0 178116 374 0 0 25 0 1 0 183286815 77230080 18029 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18855 18029 562 886 0 17965 0
Current children cumulated CPU time (s) 1784.9
Current children cumulated vsize (KiB) 75420
[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1815888/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75420 CPUtime=1791.3
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19994 0 0 0 178755 375 0 0 25 0 1 0 183286815 77230080 18029 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18855 18029 562 886 0 17965 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 75420
[startup+1793.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1815888/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75420 CPUtime=1792.9
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19994 0 0 0 178914 376 0 0 25 0 1 0 183286815 77230080 18029 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18855 18029 562 886 0 17965 0
Current children cumulated CPU time (s) 1792.9
Current children cumulated vsize (KiB) 75420
[startup+1794.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1815888/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75420 CPUtime=1793.7
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19994 0 0 0 178994 376 0 0 25 0 1 0 183286815 77230080 18029 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18855 18029 562 886 0 17965 0
Current children cumulated CPU time (s) 1793.7
Current children cumulated vsize (KiB) 75420
[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1815888/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75420 CPUtime=1794.5
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19994 0 0 0 179074 376 0 0 25 0 1 0 183286815 77230080 18029 1992294400 4194304 7823515 548682068736 18446744073709551615 6266881 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18855 18029 562 886 0 17965 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 75420
[startup+1795.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1815888/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75420 CPUtime=1794.7
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19994 0 0 0 179094 376 0 0 25 0 1 0 183286815 77230080 18029 1992294400 4194304 7823515 548682068736 18446744073709551615 6206217 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18855 18029 562 886 0 17965 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 75420
[startup+1795.4 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1305
/proc/meminfo: memFree=1815888/2055920 swapFree=4192812/4192956
[pid=1298] ppid=1296 vsize=75420 CPUtime=1794.8
/proc/1298/stat : 1298 (pbscip.linux.x8) R 1296 1298 1126 0 -1 4194304 19994 0 0 0 179104 376 0 0 25 0 1 0 183286815 77230080 18029 1992294400 4194304 7823515 548682068736 18446744073709551615 5104528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1298/statm: 18855 18029 562 886 0 17965 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 75420
Child status: 0
Real time (s): 1795.44
CPU time (s): 1794.84
CPU user time (s): 1791.07
CPU system time (s): 3.77743
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 76380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.07
system time used= 3.77743
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20001
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= 2361
runsolver used 1.42178 second user time and 3.68944 second system time
The end