0.29/0.31 c SCIP version 1.1.0.7
0.29/0.31 c LP-Solver Clp 1.8.2
0.29/0.31 c user parameter file <scip.set> not found - using default parameters
0.29/0.31 c read problem <HOME/instance-1869575-1245179318.opb>
0.29/0.31 c original problem has 3296 variables (3296 bin, 0 int, 0 impl, 0 cont) and 6384 constraints
0.39/0.42 c start presolving problem
0.39/0.42 c presolving:
0.49/0.50 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 1 chg sides, 380 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.49/0.56 c (round 2) 1 del vars, 2904 del conss, 1 chg bounds, 1 chg sides, 380 chg coeffs, 295 upgd conss, 0 impls, 0 clqs
0.59/0.64 c (round 3) 1 del vars, 2904 del conss, 1 chg bounds, 19 chg sides, 423 chg coeffs, 577 upgd conss, 258 impls, 6 clqs
0.59/0.69 c (round 4) 1 del vars, 2904 del conss, 1 chg bounds, 49 chg sides, 467 chg coeffs, 577 upgd conss, 258 impls, 6 clqs
2.99/3.01 c (2.6s) probing: 218/3295 (6.6%) - 0 fixings, 0 aggregations, 51 implications, 0 bound changes
2.99/3.01 c (2.6s) probing aborted: 100/100 successive totally useless probings
2.99/3.01 c presolving (5 rounds):
2.99/3.01 c 1 deleted vars, 2904 deleted constraints, 1 tightened bounds, 0 added holes, 49 changed sides, 469 changed coefficients
2.99/3.01 c 360 implications, 6 cliques
2.99/3.01 c presolved problem has 3295 variables (3295 bin, 0 int, 0 impl, 0 cont) and 3489 constraints
2.99/3.01 c 577 constraints of type <knapsack>
2.99/3.01 c 9 constraints of type <setppc>
2.99/3.01 c 2903 constraints of type <linear>
2.99/3.01 c transformed objective value is always integral (scale: 1)
2.99/3.01 c Presolving Time: 2.58
2.99/3.02 c OPT-LIN
2.99/3.02 c -----------------------------------------------------------------------------------------------
2.99/3.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.99/3.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.02 c limits/memory = c 1620
2.99/3.02 c # maximal time in seconds to run
2.99/3.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.02 c limits/time = c 1791
2.99/3.02 c # frequency for displaying node information lines
2.99/3.02 c # [type: int, range: [-1,2147483647], default: 100]
2.99/3.02 c display/freq = c 10000
2.99/3.02 c -----------------------------------------------------------------------------------------------
2.99/3.02 c start solving problem
2.99/3.02 c
3.29/3.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.29/3.39 c 3.0s| 1 | 0 | 2150 | 27M| 0 |2129 |3295 |3489 |3489 |3295 |3489 | 0 | 0 | 0 | 9.100000e+01 | -- | Inf
7.29/7.32 c 6.9s| 1 | 0 | 6500 | 28M| 0 |2194 |3295 |3489 |3489 |3295 |3618 | 129 | 0 | 0 | 9.100000e+01 | -- | Inf
8.59/8.68 c 8.3s| 1 | 0 | 6926 | 28M| 0 |2137 |3295 |3489 |3489 |3295 |3745 | 256 | 0 | 0 | 9.100000e+01 | -- | Inf
10.78/10.90 c 10.5s| 1 | 0 | 7519 | 29M| 0 |2145 |3295 |3489 |3489 |3295 |3877 | 388 | 0 | 0 | 9.100000e+01 | -- | Inf
15.89/15.98 c 15.5s| 1 | 0 | 9567 | 30M| 0 |2162 |3295 |3489 |3489 |3295 |3988 | 499 | 0 | 0 | 9.100000e+01 | -- | Inf
19.99/20.03 c 19.5s| 1 | 0 | 11198 | 30M| 0 |2141 |3295 |3489 |3489 |3295 |4113 | 624 | 0 | 0 | 9.100000e+01 | -- | Inf
26.58/26.69 c 26.1s| 1 | 0 | 13980 | 31M| 0 |2232 |3295 |3489 |3489 |3295 |4225 | 736 | 0 | 0 | 9.100000e+01 | -- | Inf
34.47/34.52 c 33.9s| 1 | 2 | 13980 | 31M| 0 |2232 |3295 |3489 |3489 |3295 |4225 | 736 | 0 | 19 | 9.100000e+01 | -- | Inf
1265.59/1266.04 c 1262s| 10000 | 4865 | 1255k| 49M| 92 |1384 |3295 |5116 |4410 |3295 |3699 | 736 |3038 |5808 | 9.100000e+01 | -- | Inf
1795.73/1796.37 c
1795.73/1796.37 c SCIP Status : solving was interrupted [time limit reached]
1795.73/1796.37 c Solving Time (sec) : 1791.00
1795.73/1796.37 c Solving Nodes : 15047
1795.73/1796.37 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1795.73/1796.37 c Dual Bound : +9.10000000000000e+01
1795.73/1796.37 c Gap : infinite
1795.73/1796.37 c NODE 15047
1795.73/1796.37 c DUAL BOUND 91
1795.73/1796.37 c PRIMAL BOUND 1e+20
1795.73/1796.37 c GAP 1e+20
1795.73/1796.37 s UNKNOWN
1795.73/1796.37 c SCIP Status : solving was interrupted [time limit reached]
1795.73/1796.37 c Solving Time : 1791.00
1795.73/1796.37 c Original Problem :
1795.73/1796.37 c Problem name : HOME/instance-1869575-1245179318.opb
1795.73/1796.37 c Variables : 3296 (3296 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.73/1796.37 c Constraints : 6384 initial, 6384 maximal
1795.73/1796.37 c Presolved Problem :
1795.73/1796.37 c Problem name : t_HOME/instance-1869575-1245179318.opb
1795.73/1796.37 c Variables : 3295 (3295 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.73/1796.37 c Constraints : 3489 initial, 5171 maximal
1795.73/1796.37 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1795.73/1796.37 c trivial : 0.00 0 0 0 0 0 0 0 0
1795.73/1796.37 c dualfix : 0.00 0 0 0 0 0 0 0 0
1795.73/1796.37 c boundshift : 0.00 0 0 0 0 0 0 0 0
1795.73/1796.37 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1795.73/1796.37 c implics : 0.00 0 0 0 0 0 0 0 0
1795.73/1796.37 c probing : 2.30 0 0 0 0 0 0 0 0
1795.73/1796.37 c knapsack : 0.06 0 0 0 0 0 0 48 89
1795.73/1796.37 c setppc : 0.00 0 0 0 0 0 0 0 0
1795.73/1796.37 c linear : 0.18 1 0 0 1 0 2904 1 380
1795.73/1796.37 c logicor : 0.00 0 0 0 0 0 0 0 0
1795.73/1796.37 c root node : - 0 - - 0 - - - -
1795.73/1796.37 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1795.73/1796.37 c integral : 0 0 0 11787 0 25 2392 0 0 22332
1795.73/1796.37 c knapsack : 577 6 62165 0 0 254 120018 880 0 0
1795.73/1796.37 c setppc : 9 6 40364 0 0 0 733 0 0 0
1795.73/1796.37 c linear : 2903 6 61911 0 0 982 901452 0 0 0
1795.73/1796.37 c logicor : 0+ 0 13994 0 0 94 3768 0 0 0
1795.73/1796.37 c countsols : 0 0 0 0 0 0 0 0 0 0
1795.73/1796.37 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1795.73/1796.37 c integral : 331.07 0.00 0.00 331.07 0.00
1795.73/1796.37 c knapsack : 8.95 0.06 8.89 0.00 0.00
1795.73/1796.37 c setppc : 0.08 0.00 0.08 0.00 0.00
1795.73/1796.37 c linear : 133.39 0.00 133.39 0.00 0.00
1795.73/1796.37 c logicor : 2.15 0.00 2.15 0.00 0.00
1795.73/1796.37 c countsols : 0.00 0.00 0.00 0.00 0.00
1795.73/1796.37 c Propagators : Time Calls Cutoffs DomReds
1795.73/1796.37 c rootredcost : 0.05 0 0 0
1795.73/1796.37 c pseudoobj : 0.17 61715 0 0
1795.73/1796.37 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1795.73/1796.37 c propagation : 0.33 1330 1329 10526 37.9 86 22.9 -
1795.73/1796.37 c infeasible LP : 9.26 12376 1 12 61.0 0 0.0 0
1795.73/1796.37 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1795.73/1796.37 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1795.73/1796.37 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1795.73/1796.37 c applied globally : - - - 4891 35.5 - - -
1795.73/1796.37 c applied locally : - - - 0 0.0 - - -
1795.73/1796.37 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1795.73/1796.37 c cut pool : 0.00 5 - - 1128 - (maximal pool size: 5008)
1795.73/1796.37 c redcost : 3.21 11997 0 272 0 0
1795.73/1796.37 c impliedbounds : 0.00 6 0 0 10 0
1795.73/1796.37 c intobj : 0.00 0 0 0 0 0
1795.73/1796.37 c gomory : 1.93 6 0 0 31 0
1795.73/1796.37 c strongcg : 1.88 6 0 0 26 0
1795.73/1796.37 c cmir : 2.62 6 0 0 3000 0
1795.73/1796.37 c flowcover : 2.94 6 0 0 1200 0
1795.73/1796.37 c clique : 0.00 6 0 0 2 0
1795.73/1796.37 c zerohalf : 0.00 0 0 0 0 0
1795.73/1796.37 c mcf : 0.00 2 0 0 0 0
1795.73/1796.37 c Pricers : Time Calls Vars
1795.73/1796.37 c problem variables: 0.00 0 0
1795.73/1796.37 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1795.73/1796.37 c relpscost : 331.04 11787 25 2392 0 0 22332
1795.73/1796.37 c pscost : 0.00 0 0 0 0 0 0
1795.73/1796.37 c inference : 0.00 0 0 0 0 0 0
1795.73/1796.37 c mostinf : 0.00 0 0 0 0 0 0
1795.73/1796.37 c leastinf : 0.00 0 0 0 0 0 0
1795.73/1796.37 c fullstrong : 0.00 0 0 0 0 0 0
1795.73/1796.37 c allfullstrong : 0.00 0 0 0 0 0 0
1795.73/1796.37 c random : 0.00 0 0 0 0 0 0
1795.73/1796.37 c Primal Heuristics : Time Calls Found
1795.73/1796.37 c LP solutions : 0.00 - 0
1795.73/1796.37 c pseudo solutions : 0.00 - 0
1795.73/1796.37 c oneopt : 0.02 0 0
1795.73/1796.37 c crossover : 0.00 0 0
1795.73/1796.37 c guideddiving : 0.00 0 0
1795.73/1796.37 c coefdiving : 164.03 7 0
1795.73/1796.37 c fracdiving : 159.41 9 0
1795.73/1796.37 c objpscostdiving : 21.01 9 0
1795.73/1796.37 c veclendiving : 42.79 28 0
1795.73/1796.37 c feaspump : 42.70 15 0
1795.73/1796.37 c rootsoldiving : 12.94 21 0
1795.73/1796.37 c pscostdiving : 101.00 45 0
1795.73/1796.37 c linesearchdiving : 109.27 162 0
1795.73/1796.37 c simplerounding : 0.01 0 0
1795.73/1796.37 c rounding : 3.13 1457 0
1795.73/1796.37 c shifting : 14.57 438 0
1795.73/1796.37 c intshifting : 0.00 0 0
1795.73/1796.37 c fixandinfer : 0.00 0 0
1795.73/1796.37 c intdiving : 0.00 0 0
1795.73/1796.37 c actconsdiving : 0.00 0 0
1795.73/1796.37 c octane : 0.00 0 0
1795.73/1796.37 c rens : 0.01 0 0
1795.73/1796.37 c rins : 0.00 0 0
1795.73/1796.37 c localbranching : 0.00 0 0
1795.73/1796.37 c mutation : 0.00 0 0
1795.73/1796.37 c dins : 0.00 0 0
1795.73/1796.37 c LP : Time Calls Iterations Iter/call Iter/sec
1795.73/1796.37 c primal LP : 0.13 0 0 0.00 0.00
1795.73/1796.37 c dual LP : 595.38 14329 1305092 91.08 2192.03
1795.73/1796.37 c barrier LP : 0.00 0 0 0.00 -
1795.73/1796.37 c diving/probing LP: 570.22 23430 634586 27.08 1112.88
1795.73/1796.37 c strong branching : 325.08 7153 665894 93.09 2048.40
1795.73/1796.37 c (at root node) : - 19 5210 274.21 -
1795.73/1796.37 c conflict analysis: 0.00 0 0 0.00 -
1795.73/1796.37 c B&B Tree :
1795.73/1796.37 c number of runs : 1
1795.73/1796.37 c nodes : 15047
1795.73/1796.37 c nodes (total) : 15047
1795.73/1796.37 c nodes left : 7104
1795.73/1796.37 c max depth : 93
1795.73/1796.37 c max depth (total): 93
1795.73/1796.37 c backtracks : 2292 (15.2%)
1795.73/1796.37 c delayed cutoffs : 182
1795.73/1796.37 c repropagations : 3504 (133891 domain reductions, 107 cutoffs)
1795.73/1796.37 c avg switch length: 5.39
1795.73/1796.37 c switching time : 29.42
1795.73/1796.37 c Solution :
1795.73/1796.37 c Solutions found : 0 (0 improvements)
1795.73/1796.37 c Primal Bound : -
1795.73/1796.37 c Dual Bound : +9.10000000000000e+01
1795.73/1796.37 c Gap : infinite
1795.73/1796.37 c Root Dual Bound : +9.10000000000000e+01
1795.93/1796.50 c Time complete: 1795.94.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869575-1245179318/watcher-1869575-1245179318 -o /tmp/evaluation-result-1869575-1245179318/solver-1869575-1245179318 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869575-1245179318.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.99 0.97 0.91 3/65 27157
/proc/meminfo: memFree=1841904/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=7616 CPUtime=0
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 584 0 0 0 0 0 0 0 20 0 1 0 97353636 7798784 568 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/27157/statm: 1904 579 353 1256 0 643 0
[startup+0.02188 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 27157
/proc/meminfo: memFree=1841904/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=10328 CPUtime=0.01
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 1577 0 0 0 1 0 0 0 20 0 1 0 97353636 10575872 1561 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/27157/statm: 2582 1561 378 1256 0 1321 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10328
[startup+0.10189 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 27157
/proc/meminfo: memFree=1841904/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=13264 CPUtime=0.09
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 2276 0 0 0 9 0 0 0 20 0 1 0 97353636 13582336 2260 1992294400 4194304 9342243 548682068736 18446744073709551615 8236841 0 0 4096 0 0 0 0 17 1 0 0
/proc/27157/statm: 3316 2260 378 1256 0 2055 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264
[startup+0.301914 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 27157
/proc/meminfo: memFree=1841904/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=19164 CPUtime=0.29
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 3748 0 0 0 28 1 0 0 22 0 1 0 97353636 19623936 3732 1992294400 4194304 9342243 548682068736 18446744073709551615 8236298 0 0 4096 0 0 0 0 17 1 0 0
/proc/27157/statm: 4791 3732 378 1256 0 3530 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19164
[startup+0.701965 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 27157
/proc/meminfo: memFree=1841904/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=68760 CPUtime=0.69
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 15935 0 0 0 63 6 0 0 25 0 1 0 97353636 70410240 15565 1992294400 4194304 9342243 548682068736 18446744073709551615 5016691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 17190 15565 485 1256 0 15929 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68760
[startup+1.50107 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1781352/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=68760 CPUtime=1.49
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 15963 0 0 0 142 7 0 0 25 0 1 0 97353636 70410240 15593 1992294400 4194304 9342243 548682068736 18446744073709551615 5061259 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 17190 15593 494 1256 0 15929 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68760
[startup+3.10127 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1781160/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=80500 CPUtime=3.09
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 18497 0 0 0 301 8 0 0 25 0 1 0 97353636 82432000 18103 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 20125 18103 619 1256 0 18864 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80500
[startup+6.30167 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1768048/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=83688 CPUtime=6.29
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 19410 0 0 0 619 10 0 0 25 0 1 0 97353636 85696512 19015 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 20922 19015 660 1256 0 19661 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83688
[startup+12.7015 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1761408/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=99100 CPUtime=12.68
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 24188 0 0 0 1254 14 0 0 25 0 1 0 97353636 101478400 20701 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 24775 20701 683 1256 0 23514 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 99100
[startup+25.5011 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1756736/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=106356 CPUtime=25.48
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 42303 0 0 0 2522 26 0 0 25 0 1 0 97353636 108908544 22181 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 26589 22181 683 1256 0 25328 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 106356
[startup+51.1013 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1750528/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=104412 CPUtime=51.06
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 50115 0 0 0 5073 33 0 0 25 0 1 0 97353636 106917888 23526 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 26103 23526 697 1256 0 24842 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 104412
[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1749440/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=102156 CPUtime=102.25
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 55750 0 0 0 10181 44 0 0 25 0 1 0 97353636 104607744 23724 1992294400 4194304 9342243 548682068736 18446744073709551615 6059564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 25539 23724 701 1256 0 24278 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 102156
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1751808/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=103548 CPUtime=162.22
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 56354 0 0 0 16166 56 0 0 25 0 1 0 97353636 106033152 23115 1992294400 4194304 9342243 548682068736 18446744073709551615 6038420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 25887 23115 701 1256 0 24626 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 103548
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1751616/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=105560 CPUtime=222.2
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 59801 0 0 0 22154 66 0 0 25 0 1 0 97353636 108093440 23161 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 26390 23161 701 1256 0 25129 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 105560
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1751424/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=102924 CPUtime=282.18
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 62654 0 0 0 28141 77 0 0 25 0 1 0 97353636 105394176 23332 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 25731 23332 701 1256 0 24470 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 102924
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1748736/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=104736 CPUtime=342.17
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 70493 0 0 0 34125 92 0 0 25 0 1 0 97353636 107249664 23847 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 26184 23847 701 1256 0 24923 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 104736
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1749696/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=105624 CPUtime=402.16
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 73799 0 0 0 40113 103 0 0 25 0 1 0 97353636 108158976 23707 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 26406 23707 701 1256 0 25145 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 105624
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1747520/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=108340 CPUtime=462.14
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 79905 0 0 0 46098 116 0 0 25 0 1 0 97353636 110940160 24136 1992294400 4194304 9342243 548682068736 18446744073709551615 6039493 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 27085 24136 702 1256 0 25824 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 108340
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1746688/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=109816 CPUtime=522.12
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 87275 0 0 0 52084 128 0 0 25 0 1 0 97353636 112451584 24661 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 27454 24661 702 1256 0 26193 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 109816
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1746176/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=106412 CPUtime=582.1
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 100524 0 0 0 58065 145 0 0 25 0 1 0 97353636 108965888 24479 1992294400 4194304 9342243 548682068736 18446744073709551615 6889765 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 26603 24479 702 1256 0 25342 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 106412
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1739840/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=114252 CPUtime=642.08
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 102081 0 0 0 64053 155 0 0 25 0 1 0 97353636 116994048 26036 1992294400 4194304 9342243 548682068736 18446744073709551615 6039483 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 28563 26036 702 1256 0 27302 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 114252
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1736128/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=121064 CPUtime=1061.96
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 187352 0 0 0 105922 274 0 0 25 0 1 0 97353636 123969536 27330 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 30266 27330 702 1256 0 29005 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 121064
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1735552/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=119512 CPUtime=1121.93
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 208822 0 0 0 111897 296 0 0 25 0 1 0 97353636 122380288 27204 1992294400 4194304 9342243 548682068736 18446744073709551615 6983505 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 29878 27204 702 1256 0 28617 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 119512
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1729728/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=125708 CPUtime=1181.92
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 229434 0 0 0 117873 319 0 0 25 0 1 0 97353636 128724992 28633 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 31427 28633 702 1256 0 30166 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 125708
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1727808/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=123492 CPUtime=1241.9
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 233250 0 0 0 123857 333 0 0 25 0 1 0 97353636 126455808 29010 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 30873 29010 702 1256 0 29612 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 123492
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1727296/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=125012 CPUtime=1301.88
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 237842 0 0 0 129843 345 0 0 25 0 1 0 97353636 128012288 29106 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 31253 29106 702 1256 0 29992 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 125012
[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1726400/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=126436 CPUtime=1361.87
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 243957 0 0 0 135826 361 0 0 25 0 1 0 97353636 129470464 29411 1992294400 4194304 9342243 548682068736 18446744073709551615 6890339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 31609 29411 702 1256 0 30348 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 126436
[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1722496/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=130024 CPUtime=1421.85
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 254827 0 0 0 141809 376 0 0 25 0 1 0 97353636 133144576 30294 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 32506 30294 702 1256 0 31245 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 130024
[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1717952/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=135208 CPUtime=1481.83
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 263868 0 0 0 147792 391 0 0 25 0 1 0 97353636 138452992 31421 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 33802 31421 702 1256 0 32541 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 135208
[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1719104/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=134700 CPUtime=1541.81
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 265064 0 0 0 153782 399 0 0 25 0 1 0 97353636 137932800 31118 1992294400 4194304 9342243 548682068736 18446744073709551615 6038420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 33675 31118 702 1256 0 32414 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 134700
[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1717056/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=137004 CPUtime=1601.79
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 269571 0 0 0 159766 413 0 0 25 0 1 0 97353636 140292096 31663 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 34251 31663 702 1256 0 32990 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 137004
[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1716736/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=137280 CPUtime=1661.77
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 273855 0 0 0 165752 425 0 0 25 0 1 0 97353636 140574720 31698 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 34320 31698 702 1256 0 33059 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 137280
[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 27158
/proc/meminfo: memFree=1717760/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=136568 CPUtime=1721.76
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 276026 0 0 0 171739 437 0 0 25 0 1 0 97353636 139845632 31487 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 34142 31487 702 1256 0 32881 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 136568
[startup+1782.3 s]
/proc/loadavg: 1.04 0.99 0.91 2/66 27158
/proc/meminfo: memFree=1716352/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=136212 CPUtime=1781.73
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 281753 0 0 0 177725 448 0 0 25 0 1 0 97353636 139481088 31797 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 34053 31797 702 1256 0 32792 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 136212
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.04 0.99 0.91 2/66 27158
/proc/meminfo: memFree=1715968/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=136212 CPUtime=1784.93
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 281841 0 0 0 178044 449 0 0 25 0 1 0 97353636 139481088 31885 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 34053 31885 702 1256 0 32792 0
Current children cumulated CPU time (s) 1784.93
Current children cumulated vsize (KiB) 136212
[startup+1791.91 s]
/proc/loadavg: 1.03 0.99 0.91 2/66 27158
/proc/meminfo: memFree=1715840/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=136212 CPUtime=1791.34
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 281868 0 0 0 178684 450 0 0 25 0 1 0 97353636 139481088 31912 1992294400 4194304 9342243 548682068736 18446744073709551615 5020319 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 34053 31912 702 1256 0 32792 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 136212
[startup+1795.1 s]
/proc/loadavg: 1.03 0.99 0.91 2/66 27158
/proc/meminfo: memFree=1715648/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=136212 CPUtime=1794.54
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 281926 0 0 0 179003 451 0 0 25 0 1 0 97353636 139481088 31969 1992294400 4194304 9342243 548682068736 18446744073709551615 5061427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 34053 31969 702 1256 0 32792 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 136212
[startup+1795.9 s]
/proc/loadavg: 1.03 0.99 0.91 2/66 27158
/proc/meminfo: memFree=1715648/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=136212 CPUtime=1795.33
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 281932 0 0 0 179082 451 0 0 25 0 1 0 97353636 139481088 31975 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 34053 31975 702 1256 0 32792 0
Current children cumulated CPU time (s) 1795.33
Current children cumulated vsize (KiB) 136212
[startup+1796.31 s]
/proc/loadavg: 1.03 0.99 0.91 2/66 27158
/proc/meminfo: memFree=1715584/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=136212 CPUtime=1795.73
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 281932 0 0 0 179122 451 0 0 25 0 1 0 97353636 139481088 31975 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27157/statm: 34053 31975 702 1256 0 32792 0
Current children cumulated CPU time (s) 1795.73
Current children cumulated vsize (KiB) 136212
[startup+1796.5 s]
/proc/loadavg: 1.03 0.99 0.91 2/66 27158
/proc/meminfo: memFree=1715584/2055920 swapFree=4192812/4192956
[pid=27157] ppid=27155 vsize=102980 CPUtime=1795.93
/proc/27157/stat : 27157 (pbscip.linux.x8) R 27155 27157 26968 0 -1 4194304 281936 0 0 0 179141 452 0 0 24 0 1 0 97353636 105451520 12781 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 0 0 0
/proc/27157/statm: 25745 12781 706 1256 0 24484 0
Current children cumulated CPU time (s) 1795.93
Current children cumulated vsize (KiB) 102980
Child status: 0
Real time (s): 1796.51
CPU time (s): 1795.95
CPU user time (s): 1791.41
CPU system time (s): 4.53531
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 141312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.41
system time used= 4.53531
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281939
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= 3
involuntary context switches= 3880
runsolver used 1.9757 second user time and 4.53531 second system time
The end