1.19/1.24 c SCIP version 1.1.0.7
1.19/1.24 c LP-Solver SoPlex 1.4.1
1.19/1.24 c user parameter file <scip.set> not found - using default parameters
1.19/1.24 c read problem <HOME/instance-1869558-1245178452.opb>
1.19/1.24 c original problem has 10998 variables (10998 bin, 0 int, 0 impl, 0 cont) and 21679 constraints
1.59/1.68 c start presolving problem
1.59/1.68 c presolving:
1.99/2.02 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 1 chg sides, 1172 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
2.10/2.19 c (round 2) 1 del vars, 9946 del conss, 1 chg bounds, 1 chg sides, 1172 chg coeffs, 903 upgd conss, 0 impls, 0 clqs
2.59/2.63 c (round 3) 1 del vars, 9946 del conss, 1 chg bounds, 25 chg sides, 1233 chg coeffs, 1788 upgd conss, 748 impls, 12 clqs
3.09/3.16 c (round 4) 1 del vars, 9946 del conss, 1 chg bounds, 61 chg sides, 1315 chg coeffs, 1788 upgd conss, 748 impls, 12 clqs
7.99/8.01 c (6.5s) probing: 121/10997 (1.1%) - 0 fixings, 0 aggregations, 133 implications, 0 bound changes
7.99/8.01 c (6.5s) probing aborted: 100/100 successive totally useless probings
7.99/8.01 c presolving (5 rounds):
7.99/8.01 c 1 deleted vars, 9946 deleted constraints, 1 tightened bounds, 0 added holes, 61 changed sides, 1323 changed coefficients
7.99/8.01 c 1014 implications, 12 cliques
7.99/8.01 c presolved problem has 10997 variables (10997 bin, 0 int, 0 impl, 0 cont) and 11745 constraints
7.99/8.01 c 1788 constraints of type <knapsack>
7.99/8.01 c 12 constraints of type <setppc>
7.99/8.01 c 9945 constraints of type <linear>
7.99/8.01 c transformed objective value is always integral (scale: 1)
7.99/8.01 c Presolving Time: 6.29
7.99/8.02 c OPT-LIN
7.99/8.02 c -----------------------------------------------------------------------------------------------
7.99/8.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.99/8.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.99/8.02 c limits/memory = c 1620
7.99/8.02 c # maximal time in seconds to run
7.99/8.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.99/8.02 c limits/time = c 1791
7.99/8.02 c # frequency for displaying node information lines
7.99/8.02 c # [type: int, range: [-1,2147483647], default: 100]
7.99/8.02 c display/freq = c 10000
7.99/8.02 c -----------------------------------------------------------------------------------------------
7.99/8.02 c start solving problem
7.99/8.02 c
11.79/11.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.79/11.86 c 10.3s| 1 | 0 | 4884 | 102M| 0 |3905 | 10k| 11k| 11k| 10k| 11k| 0 | 0 | 0 | 1.710000e+02 | -- | Inf
46.46/46.60 c 44.9s| 1 | 0 | 15751 | 103M| 0 |4801 | 10k| 11k| 11k| 10k| 11k| 125 | 0 | 0 | 1.710000e+02 | -- | Inf
62.56/62.69 c 61.0s| 1 | 0 | 18719 | 104M| 0 |5071 | 10k| 11k| 11k| 10k| 11k| 239 | 0 | 0 | 1.710000e+02 | -- | Inf
129.04/129.13 c 127s| 1 | 0 | 33576 | 104M| 0 |7212 | 10k| 11k| 11k| 10k| 12k| 338 | 0 | 0 | 1.710000e+02 | -- | Inf
169.73/169.81 c 168s| 1 | 0 | 42326 | 105M| 0 |7428 | 10k| 11k| 11k| 10k| 12k| 493 | 0 | 0 | 1.710000e+02 | -- | Inf
209.02/209.10 c 207s| 1 | 0 | 49936 | 106M| 0 |7208 | 10k| 11k| 11k| 10k| 12k| 634 | 0 | 0 | 1.710000e+02 | -- | Inf
264.50/264.67 c 262s| 1 | 0 | 60716 | 106M| 0 |6570 | 10k| 11k| 11k| 10k| 12k| 785 | 0 | 0 | 1.710000e+02 | -- | Inf
379.57/379.79 c 377s| 1 | 2 | 60716 | 106M| 0 |6570 | 10k| 11k| 11k| 10k| 12k| 785 | 0 | 24 | 1.710000e+02 | -- | Inf
1795.38/1795.98 c
1795.38/1795.98 c SCIP Status : solving was interrupted [time limit reached]
1795.38/1795.98 c Solving Time (sec) : 1791.01
1795.38/1795.98 c Solving Nodes : 8
1795.38/1795.98 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1795.38/1795.98 c Dual Bound : +1.71000000000000e+02
1795.38/1795.98 c Gap : infinite
1795.38/1795.98 c NODE 8
1795.38/1795.98 c DUAL BOUND 171
1795.38/1795.98 c PRIMAL BOUND 1e+20
1795.38/1795.98 c GAP 1e+20
1795.38/1795.98 s UNKNOWN
1795.38/1795.98 c SCIP Status : solving was interrupted [time limit reached]
1795.38/1795.98 c Solving Time : 1791.01
1795.38/1795.98 c Original Problem :
1795.38/1795.98 c Problem name : HOME/instance-1869558-1245178452.opb
1795.38/1795.98 c Variables : 10998 (10998 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.38/1795.98 c Constraints : 21679 initial, 21679 maximal
1795.38/1795.98 c Presolved Problem :
1795.38/1795.98 c Problem name : t_HOME/instance-1869558-1245178452.opb
1795.38/1795.98 c Variables : 10997 (10997 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.38/1795.98 c Constraints : 11745 initial, 11770 maximal
1795.38/1795.98 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1795.38/1795.98 c trivial : 0.01 0 0 0 0 0 0 0 0
1795.38/1795.98 c dualfix : 0.00 0 0 0 0 0 0 0 0
1795.38/1795.98 c boundshift : 0.00 0 0 0 0 0 0 0 0
1795.38/1795.98 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1795.38/1795.98 c implics : 0.01 0 0 0 0 0 0 0 0
1795.38/1795.98 c probing : 4.79 0 0 0 0 0 0 0 0
1795.38/1795.98 c knapsack : 0.77 0 0 0 0 0 0 60 151
1795.38/1795.98 c setppc : 0.00 0 0 0 0 0 0 0 0
1795.38/1795.98 c linear : 0.60 1 0 0 1 0 9946 1 1172
1795.38/1795.98 c logicor : 0.00 0 0 0 0 0 0 0 0
1795.38/1795.98 c root node : - 0 - - 0 - - - -
1795.38/1795.98 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1795.38/1795.98 c integral : 0 0 0 9 0 0 1 0 0 16
1795.38/1795.98 c knapsack : 1788 6 517 0 0 0 1 1092 0 0
1795.38/1795.98 c setppc : 12 6 517 0 0 0 0 0 0 0
1795.38/1795.98 c linear : 9945 6 517 0 0 0 0 0 0 0
1795.38/1795.98 c logicor : 0+ 0 26 0 0 0 0 0 0 0
1795.38/1795.98 c countsols : 0 0 0 0 0 0 0 0 0 0
1795.38/1795.98 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1795.38/1795.98 c integral : 578.50 0.00 0.00 578.50 0.00
1795.38/1795.98 c knapsack : 0.21 0.09 0.12 0.00 0.00
1795.38/1795.98 c setppc : 0.00 0.00 0.00 0.00 0.00
1795.38/1795.98 c linear : 4.40 0.03 4.37 0.00 0.00
1795.38/1795.98 c logicor : 0.00 0.00 0.00 0.00 0.00
1795.38/1795.98 c countsols : 0.00 0.00 0.00 0.00 0.00
1795.38/1795.98 c Propagators : Time Calls Cutoffs DomReds
1795.38/1795.98 c rootredcost : 0.00 0 0 0
1795.38/1795.98 c pseudoobj : 0.00 264 0 0
1795.38/1795.98 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1795.38/1795.98 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1795.38/1795.98 c infeasible LP : 0.11 25 25 25 8.0 0 0.0 0
1795.38/1795.98 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1795.38/1795.98 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1795.38/1795.98 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1795.38/1795.98 c applied globally : - - - 25 8.0 - - -
1795.38/1795.98 c applied locally : - - - 0 0.0 - - -
1795.38/1795.98 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1795.38/1795.98 c cut pool : 0.00 5 - - 1130 - (maximal pool size: 5240)
1795.38/1795.98 c redcost : 0.01 14 0 0 0 0
1795.38/1795.98 c impliedbounds : 0.01 6 0 0 32 0
1795.38/1795.98 c intobj : 0.00 0 0 0 0 0
1795.38/1795.98 c gomory : 15.66 6 0 0 20 0
1795.38/1795.98 c strongcg : 15.31 6 0 0 2 0
1795.38/1795.98 c cmir : 10.39 6 0 0 3000 0
1795.38/1795.98 c flowcover : 9.85 6 0 0 1200 0
1795.38/1795.98 c clique : 0.01 6 0 0 3 0
1795.38/1795.98 c zerohalf : 0.00 0 0 0 0 0
1795.38/1795.98 c mcf : 0.00 1 0 0 0 0
1795.38/1795.98 c Pricers : Time Calls Vars
1795.38/1795.98 c problem variables: 0.00 0 0
1795.38/1795.98 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1795.38/1795.98 c relpscost : 578.50 9 0 1 0 0 16
1795.38/1795.98 c pscost : 0.00 0 0 0 0 0 0
1795.38/1795.98 c inference : 0.00 0 0 0 0 0 0
1795.38/1795.98 c mostinf : 0.00 0 0 0 0 0 0
1795.38/1795.98 c leastinf : 0.00 0 0 0 0 0 0
1795.38/1795.98 c fullstrong : 0.00 0 0 0 0 0 0
1795.38/1795.98 c allfullstrong : 0.00 0 0 0 0 0 0
1795.38/1795.98 c random : 0.00 0 0 0 0 0 0
1795.38/1795.98 c Primal Heuristics : Time Calls Found
1795.38/1795.98 c LP solutions : 0.00 - 0
1795.38/1795.98 c pseudo solutions : 0.00 - 0
1795.38/1795.98 c oneopt : 0.00 0 0
1795.38/1795.98 c veclendiving : 0.00 0 0
1795.38/1795.98 c objpscostdiving : 0.00 0 0
1795.38/1795.98 c simplerounding : 0.01 0 0
1795.38/1795.98 c rounding : 0.28 15 0
1795.38/1795.98 c shifting : 2.32 7 0
1795.38/1795.98 c intshifting : 0.00 0 0
1795.38/1795.98 c fixandinfer : 0.00 0 0
1795.38/1795.98 c feaspump : 25.99 1 0
1795.38/1795.98 c coefdiving : 145.60 1 0
1795.38/1795.98 c pscostdiving : 77.09 1 0
1795.38/1795.98 c fracdiving : 588.31 1 0
1795.38/1795.98 c intdiving : 0.00 0 0
1795.38/1795.98 c actconsdiving : 0.00 0 0
1795.38/1795.98 c rootsoldiving : 0.00 0 0
1795.38/1795.98 c linesearchdiving : 0.00 0 0
1795.38/1795.98 c guideddiving : 0.00 0 0
1795.38/1795.98 c octane : 0.00 0 0
1795.38/1795.98 c rens : 0.02 0 0
1795.38/1795.98 c rins : 0.00 0 0
1795.38/1795.98 c localbranching : 0.00 0 0
1795.38/1795.98 c mutation : 0.00 0 0
1795.38/1795.98 c crossover : 0.00 0 0
1795.38/1795.98 c dins : 0.00 0 0
1795.38/1795.98 c LP : Time Calls Iterations Iter/call Iter/sec
1795.38/1795.98 c primal LP : 0.13 0 0 0.00 0.00
1795.38/1795.98 c dual LP : 314.22 15 103668 6911.20 329.92
1795.38/1795.98 c barrier LP : 0.00 0 0 0.00 -
1795.38/1795.98 c diving/probing LP: 834.68 249 330035 1325.44 395.40
1795.38/1795.98 c strong branching : 578.43 195 186206 954.90 321.92
1795.38/1795.98 c (at root node) : - 24 22677 944.88 -
1795.38/1795.98 c conflict analysis: 0.00 0 0 0.00 -
1795.38/1795.98 c B&B Tree :
1795.38/1795.98 c number of runs : 1
1795.38/1795.98 c nodes : 8
1795.38/1795.98 c nodes (total) : 8
1795.38/1795.98 c nodes left : 9
1795.38/1795.98 c max depth : 4
1795.38/1795.98 c max depth (total): 4
1795.38/1795.98 c backtracks : 2 (25.0%)
1795.38/1795.98 c delayed cutoffs : 0
1795.38/1795.98 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1795.38/1795.98 c avg switch length: 1.75
1795.38/1795.98 c switching time : 0.14
1795.38/1795.98 c Solution :
1795.38/1795.98 c Solutions found : 0 (0 improvements)
1795.38/1795.98 c Primal Bound : -
1795.38/1795.98 c Dual Bound : +1.71000000000000e+02
1795.38/1795.98 c Gap : infinite
1795.38/1795.98 c Root Dual Bound : +1.71000000000000e+02
1795.79/1796.33 c Time complete: 1795.82.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869558-1245178452/watcher-1869558-1245178452 -o /tmp/evaluation-result-1869558-1245178452/solver-1869558-1245178452 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869558-1245178452.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: 1.00 0.99 0.98 3/64 4281
/proc/meminfo: memFree=1837224/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=4324 CPUtime=0
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 479 0 0 0 0 0 0 0 18 0 1 0 185445825 4427776 463 1992294400 4194304 7823515 548682068736 18446744073709551615 7113616 0 0 4096 0 0 0 0 17 1 0 0
/proc/4281/statm: 1082 470 305 886 0 192 0
[startup+0.013842 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 4281
/proc/meminfo: memFree=1837224/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=8672 CPUtime=0
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 1480 0 0 0 0 0 0 0 18 0 1 0 185445825 8880128 1462 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/4281/statm: 2168 1462 354 886 0 1278 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8672
[startup+0.101852 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 4281
/proc/meminfo: memFree=1837224/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=11196 CPUtime=0.09
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 2108 0 0 0 9 0 0 0 18 0 1 0 185445825 11464704 2090 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/4281/statm: 2799 2090 354 886 0 1909 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11196
[startup+0.301875 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 4281
/proc/meminfo: memFree=1837224/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=17120 CPUtime=0.29
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 3608 0 0 0 28 1 0 0 19 0 1 0 185445825 17530880 3590 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/4281/statm: 4280 3590 354 886 0 3390 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17120
[startup+0.701921 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 4281
/proc/meminfo: memFree=1837224/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=26820 CPUtime=0.69
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 6034 0 0 0 66 3 0 0 23 0 1 0 185445825 27463680 6016 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/4281/statm: 6705 6016 354 886 0 5815 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26820
[startup+1.50201 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4282
/proc/meminfo: memFree=1807968/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=133692 CPUtime=1.49
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 32134 0 0 0 135 14 0 0 25 0 1 0 185445825 136900608 31762 1992294400 4194304 7823515 548682068736 18446744073709551615 6911743 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 33423 31767 375 886 0 32533 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 133692
[startup+3.1022 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4282
/proc/meminfo: memFree=1663840/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=183880 CPUtime=3.09
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 44517 0 0 0 284 25 0 0 25 0 1 0 185445825 188293120 44108 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 45970 44108 443 886 0 45080 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 183880
[startup+6.30158 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4282
/proc/meminfo: memFree=1661536/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=184072 CPUtime=6.29
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 44664 0 0 0 603 26 0 0 25 0 1 0 185445825 188489728 44205 1992294400 4194304 7823515 548682068736 18446744073709551615 5062909 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 46018 44205 452 886 0 45128 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 184072
[startup+12.7013 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4282
/proc/meminfo: memFree=1608288/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=246072 CPUtime=12.68
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 60571 0 0 0 1234 34 0 0 25 0 1 0 185445825 251977728 57630 1992294400 4194304 7823515 548682068736 18446744073709551615 6209747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 61518 57630 535 886 0 60628 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 246072
[startup+25.5018 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4282
/proc/meminfo: memFree=1606752/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=248632 CPUtime=25.48
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 60956 0 0 0 2512 36 0 0 25 0 1 0 185445825 254599168 58014 1992294400 4194304 7823515 548682068736 18446744073709551615 6208315 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 62158 58014 535 886 0 61268 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 248632
[startup+51.1018 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4282
/proc/meminfo: memFree=1587680/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=272072 CPUtime=51.06
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 66398 0 0 0 5062 44 0 0 25 0 1 0 185445825 278601728 62809 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 68018 62809 563 886 0 67128 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 272072
[startup+102.306 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4282
/proc/meminfo: memFree=1529312/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=332752 CPUtime=102.25
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 81987 0 0 0 10169 56 0 0 25 0 1 0 185445825 340738048 77400 1992294400 4194304 7823515 548682068736 18446744073709551615 6212437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 83188 77400 563 886 0 82298 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 332752
[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4282
/proc/meminfo: memFree=1525664/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=335512 CPUtime=162.23
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 87993 0 0 0 16158 65 0 0 25 0 1 0 185445825 343564288 78286 1992294400 4194304 7823515 548682068736 18446744073709551615 6234860 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 83878 78286 563 886 0 82988 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 335512
[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4282
/proc/meminfo: memFree=1533472/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=335196 CPUtime=222.21
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 97027 0 0 0 22138 83 0 0 25 0 1 0 185445825 343240704 76321 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 83799 76321 563 886 0 82909 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 335196
[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4282
/proc/meminfo: memFree=1518624/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=341696 CPUtime=282.2
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 106718 0 0 0 28127 93 0 0 25 0 1 0 185445825 349896704 80033 1992294400 4194304 7823515 548682068736 18446744073709551615 6211726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 85424 80033 567 886 0 84534 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 341696
[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4282
/proc/meminfo: memFree=1514656/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=343968 CPUtime=342.18
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 114789 0 0 0 34116 102 0 0 25 0 1 0 185445825 352223232 81006 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 85992 81006 567 886 0 85102 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 343968
[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4282
/proc/meminfo: memFree=1522976/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=335960 CPUtime=402.17
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119643 0 0 0 40107 110 0 0 25 0 1 0 185445825 344023040 78918 1992294400 4194304 7823515 548682068736 18446744073709551615 6211331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 83990 78918 567 886 0 83100 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 335960
[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522904/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=462.14
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119645 0 0 0 46096 118 0 0 25 0 1 0 185445825 345690112 78920 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78920 567 886 0 83507 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 337588
[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522904/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=522.13
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119645 0 0 0 52086 127 0 0 25 0 1 0 185445825 345690112 78920 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78920 567 886 0 83507 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 337588
[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522904/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=582.11
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119645 0 0 0 58073 138 0 0 25 0 1 0 185445825 345690112 78920 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78920 567 886 0 83507 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 337588
[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522968/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=642.1
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119645 0 0 0 64063 147 0 0 25 0 1 0 185445825 345690112 78920 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78920 567 886 0 83507 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 337588
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1522912/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=1061.98
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119650 0 0 0 105986 212 0 0 25 0 1 0 185445825 345690112 78925 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78925 572 886 0 83507 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 337588
[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522912/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=1121.97
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119650 0 0 0 111976 221 0 0 25 0 1 0 185445825 345690112 78925 1992294400 4194304 7823515 548682068736 18446744073709551615 6234848 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78925 572 886 0 83507 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 337588
[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522912/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=1181.95
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119650 0 0 0 117963 232 0 0 25 0 1 0 185445825 345690112 78925 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78925 572 886 0 83507 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 337588
[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522848/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=1241.93
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119650 0 0 0 123952 241 0 0 25 0 1 0 185445825 345690112 78925 1992294400 4194304 7823515 548682068736 18446744073709551615 6212760 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78925 572 886 0 83507 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 337588
[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522848/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=1301.92
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119650 0 0 0 129941 251 0 0 25 0 1 0 185445825 345690112 78925 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78925 572 886 0 83507 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 337588
[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522784/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=1361.9
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119650 0 0 0 135930 260 0 0 25 0 1 0 185445825 345690112 78925 1992294400 4194304 7823515 548682068736 18446744073709551615 6234848 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78925 572 886 0 83507 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 337588
[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522784/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=1421.89
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119650 0 0 0 141920 269 0 0 25 0 1 0 185445825 345690112 78925 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78925 572 886 0 83507 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 337588
[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522784/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=1481.87
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119650 0 0 0 147907 280 0 0 25 0 1 0 185445825 345690112 78925 1992294400 4194304 7823515 548682068736 18446744073709551615 6234860 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78925 572 886 0 83507 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 337588
[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522720/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=1541.85
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119650 0 0 0 153897 288 0 0 25 0 1 0 185445825 345690112 78925 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78925 572 886 0 83507 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 337588
[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522656/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=1601.83
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119650 0 0 0 159886 297 0 0 25 0 1 0 185445825 345690112 78925 1992294400 4194304 7823515 548682068736 18446744073709551615 6212418 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78925 572 886 0 83507 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 337588
[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522720/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=1661.82
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119650 0 0 0 165876 306 0 0 25 0 1 0 185445825 345690112 78925 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78925 572 886 0 83507 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 337588
[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522656/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=1721.8
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119650 0 0 0 171864 316 0 0 25 0 1 0 185445825 345690112 78925 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78925 572 886 0 83507 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 337588
[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522720/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=1781.79
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119650 0 0 0 177854 325 0 0 25 0 1 0 185445825 345690112 78925 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78925 572 886 0 83507 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 337588
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522720/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=1784.99
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119650 0 0 0 178173 326 0 0 25 0 1 0 185445825 345690112 78925 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78925 572 886 0 83507 0
Current children cumulated CPU time (s) 1784.99
Current children cumulated vsize (KiB) 337588
[startup+1791.9 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522720/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=1791.39
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119650 0 0 0 178813 326 0 0 25 0 1 0 185445825 345690112 78925 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78925 572 886 0 83507 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 337588
[startup+1793.5 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522720/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=1792.99
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119650 0 0 0 178972 327 0 0 25 0 1 0 185445825 345690112 78925 1992294400 4194304 7823515 548682068736 18446744073709551615 6212430 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78925 572 886 0 83507 0
Current children cumulated CPU time (s) 1792.99
Current children cumulated vsize (KiB) 337588
[startup+1795.1 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522720/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=1794.59
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119650 0 0 0 179132 327 0 0 25 0 1 0 185445825 345690112 78925 1992294400 4194304 7823515 548682068736 18446744073709551615 6212426 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78925 572 886 0 83507 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 337588
[startup+1795.9 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522720/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=337588 CPUtime=1795.38
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119650 0 0 0 179211 327 0 0 25 0 1 0 185445825 345690112 78925 1992294400 4194304 7823515 548682068736 18446744073709551615 6211692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4281/statm: 84397 78925 572 886 0 83507 0
Current children cumulated CPU time (s) 1795.38
Current children cumulated vsize (KiB) 337588
[startup+1796.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4288
/proc/meminfo: memFree=1522720/2055920 swapFree=4192812/4192956
[pid=4281] ppid=4279 vsize=199208 CPUtime=1795.79
/proc/4281/stat : 4281 (pbscip.linux.x8) R 4279 4281 4010 0 -1 4194304 119654 0 0 0 179249 330 0 0 25 0 1 0 185445825 203988992 48140 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/4281/statm: 49802 48140 4624 886 0 48912 0
Current children cumulated CPU time (s) 1795.79
Current children cumulated vsize (KiB) 199208
Child status: 0
Real time (s): 1796.34
CPU time (s): 1795.83
CPU user time (s): 1792.5
CPU system time (s): 3.33349
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 352716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.5
system time used= 3.33349
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119657
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= 2870
runsolver used 1.49077 second user time and 3.61545 second system time
The end