0.39/0.46 c SCIP version 1.1.0.7
0.39/0.46 c LP-Solver SoPlex 1.4.1
0.39/0.46 c user parameter file <scip.set> not found - using default parameters
0.39/0.46 c read problem <HOME/instance-1869710-1245184630.opb>
0.39/0.46 c original problem has 8901 variables (8901 bin, 0 int, 0 impl, 0 cont) and 32298 constraints
0.50/0.59 c start presolving problem
0.50/0.59 c presolving:
0.89/0.91 c (round 1) 752 del vars, 1465 del conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 0 upgd conss, 276476 impls, 0 clqs
0.89/0.94 c (round 2) 752 del vars, 1516 del conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 0 upgd conss, 276476 impls, 0 clqs
1.19/1.22 c (round 3) 752 del vars, 1516 del conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 30782 upgd conss, 276476 impls, 0 clqs
3.10/3.12 c (2.5s) probing: 487/8149 (6.0%) - 0 fixings, 5 aggregations, 12924 implications, 0 bound changes
3.10/3.12 c (2.5s) probing aborted: 100/100 successive totally useless probings
3.10/3.13 c (round 4) 757 del vars, 1516 del conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 30782 upgd conss, 301898 impls, 0 clqs
3.20/3.21 c (2.6s) probing: 497/8149 (6.1%) - 0 fixings, 5 aggregations, 12924 implications, 0 bound changes
3.20/3.21 c (2.6s) probing aborted: 100/100 successive totally useless probings
3.20/3.21 c presolving (5 rounds):
3.20/3.21 c 757 deleted vars, 1516 deleted constraints, 5 tightened bounds, 0 added holes, 17 changed sides, 17 changed coefficients
3.20/3.21 c 301898 implications, 0 cliques
3.20/3.21 c presolved problem has 8144 variables (8144 bin, 0 int, 0 impl, 0 cont) and 30782 constraints
3.20/3.21 c 1 constraints of type <knapsack>
3.20/3.21 c 30781 constraints of type <logicor>
3.20/3.21 c transformed objective value is always integral (scale: 1)
3.20/3.21 c Presolving Time: 2.51
3.20/3.22 c OPT-LIN
3.20/3.22 c -----------------------------------------------------------------------------------------------
3.20/3.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.20/3.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.20/3.22 c limits/memory = c 1620
3.20/3.22 c # maximal time in seconds to run
3.20/3.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.20/3.22 c limits/time = c 1791
3.20/3.22 c # frequency for displaying node information lines
3.20/3.22 c # [type: int, range: [-1,2147483647], default: 100]
3.20/3.22 c display/freq = c 10000
3.20/3.22 c -----------------------------------------------------------------------------------------------
3.20/3.22 c start solving problem
3.20/3.22 c
14.78/14.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.78/14.86 c 14.2s| 1 | 0 | 5326 | 64M| 0 |1646 |8144 | 30k| 30k|8144 | 30k| 0 | 0 | 0 | 1.059795e+01 | -- | Inf
200.42/200.60 c 200s| 1 | 0 | 18565 | 65M| 0 |1642 |8144 | 30k| 30k|8144 | 30k| 1 | 0 | 0 | 1.139795e+01 | -- | Inf
421.95/422.11 c 420s| 1 | 2 | 18565 | 65M| 0 |1642 |8144 | 30k| 30k|8144 | 30k| 1 | 0 | 37 | 1.139795e+01 | -- | Inf
1796.27/1796.93 c
1796.27/1796.93 c SCIP Status : solving was interrupted [time limit reached]
1796.27/1796.93 c Solving Time (sec) : 1791.01
1796.27/1796.93 c Solving Nodes : 17
1796.27/1796.93 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.27/1796.93 c Dual Bound : +1.13979503834606e+01
1796.27/1796.93 c Gap : infinite
1796.27/1796.93 c NODE 17
1796.27/1796.93 c DUAL BOUND 11.398
1796.27/1796.93 c PRIMAL BOUND 1e+20
1796.27/1796.93 c GAP 1e+20
1796.27/1796.93 s UNKNOWN
1796.27/1796.93 c SCIP Status : solving was interrupted [time limit reached]
1796.27/1796.93 c Solving Time : 1791.01
1796.27/1796.93 c Original Problem :
1796.27/1796.93 c Problem name : HOME/instance-1869710-1245184630.opb
1796.27/1796.93 c Variables : 8901 (8901 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.27/1796.93 c Constraints : 32298 initial, 32298 maximal
1796.27/1796.93 c Presolved Problem :
1796.27/1796.93 c Problem name : t_HOME/instance-1869710-1245184630.opb
1796.27/1796.93 c Variables : 8144 (8144 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.27/1796.93 c Constraints : 30782 initial, 30782 maximal
1796.27/1796.93 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1796.27/1796.93 c trivial : 0.02 0 0 0 0 0 0 0 0
1796.27/1796.93 c dualfix : 0.01 0 0 0 0 0 0 0 0
1796.27/1796.93 c boundshift : 0.00 0 0 0 0 0 0 0 0
1796.27/1796.93 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1796.27/1796.93 c implics : 0.02 0 17 0 0 0 0 0 0
1796.27/1796.93 c probing : 1.82 0 5 0 0 0 0 0 0
1796.27/1796.93 c knapsack : 0.03 0 0 0 0 0 0 0 0
1796.27/1796.93 c linear : 0.41 5 730 0 5 0 1516 17 17
1796.27/1796.93 c logicor : 0.14 0 0 0 0 0 0 0 0
1796.27/1796.93 c root node : - 0 - - 0 - - - -
1796.27/1796.93 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1796.27/1796.93 c integral : 0 0 0 17 0 0 0 0 0 34
1796.27/1796.93 c knapsack : 1 2 1164 0 0 0 0 0 0 0
1796.27/1796.93 c logicor : 30781 2 1137 0 0 0 569 0 0 0
1796.27/1796.93 c countsols : 0 0 0 0 0 0 0 0 0 0
1796.27/1796.93 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1796.27/1796.93 c integral : 950.56 0.00 0.00 950.56 0.00
1796.27/1796.93 c knapsack : 0.00 0.00 0.00 0.00 0.00
1796.27/1796.93 c logicor : 0.48 0.02 0.46 0.00 0.00
1796.27/1796.93 c countsols : 0.00 0.00 0.00 0.00 0.00
1796.27/1796.93 c Propagators : Time Calls Cutoffs DomReds
1796.27/1796.93 c rootredcost : 0.00 0 0 0
1796.27/1796.93 c pseudoobj : 0.01 70 0 0
1796.27/1796.93 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.27/1796.93 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.27/1796.93 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.27/1796.93 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.27/1796.93 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.27/1796.93 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.27/1796.93 c applied globally : - - - 0 0.0 - - -
1796.27/1796.93 c applied locally : - - - 0 0.0 - - -
1796.27/1796.93 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.27/1796.93 c cut pool : 0.00 1 - - 0 - (maximal pool size: 2)
1796.27/1796.93 c redcost : 0.00 18 0 0 0 0
1796.27/1796.93 c impliedbounds : 0.02 2 0 0 0 0
1796.27/1796.93 c intobj : 0.00 0 0 0 0 0
1796.27/1796.93 c gomory : 34.93 2 0 0 14 0
1796.27/1796.93 c strongcg : 34.73 2 0 0 14 0
1796.27/1796.93 c cmir : 2.28 2 0 0 0 0
1796.27/1796.93 c flowcover : 2.29 2 0 0 0 0
1796.27/1796.93 c clique : 0.36 1 0 0 0 0
1796.27/1796.93 c zerohalf : 0.00 0 0 0 0 0
1796.27/1796.93 c mcf : 0.06 1 0 0 0 0
1796.27/1796.93 c Pricers : Time Calls Vars
1796.27/1796.93 c problem variables: 0.00 0 0
1796.27/1796.93 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.27/1796.93 c relpscost : 950.56 17 0 0 0 0 34
1796.27/1796.93 c pscost : 0.00 0 0 0 0 0 0
1796.27/1796.93 c inference : 0.00 0 0 0 0 0 0
1796.27/1796.93 c mostinf : 0.00 0 0 0 0 0 0
1796.27/1796.93 c leastinf : 0.00 0 0 0 0 0 0
1796.27/1796.93 c fullstrong : 0.00 0 0 0 0 0 0
1796.27/1796.93 c allfullstrong : 0.00 0 0 0 0 0 0
1796.27/1796.93 c random : 0.00 0 0 0 0 0 0
1796.27/1796.93 c Primal Heuristics : Time Calls Found
1796.27/1796.93 c LP solutions : 0.00 - 0
1796.27/1796.93 c pseudo solutions : 0.00 - 0
1796.27/1796.93 c oneopt : 0.00 0 0
1796.27/1796.93 c pscostdiving : 0.00 0 0
1796.27/1796.93 c fracdiving : 0.00 0 0
1796.27/1796.93 c veclendiving : 0.00 0 0
1796.27/1796.93 c objpscostdiving : 0.00 0 0
1796.27/1796.93 c rootsoldiving : 0.00 0 0
1796.27/1796.93 c linesearchdiving : 0.00 0 0
1796.27/1796.93 c guideddiving : 0.00 0 0
1796.27/1796.93 c intshifting : 0.00 0 0
1796.27/1796.93 c crossover : 0.00 0 0
1796.27/1796.93 c simplerounding : 0.00 0 0
1796.27/1796.93 c rounding : 0.16 18 0
1796.27/1796.93 c shifting : 0.10 3 0
1796.27/1796.93 c fixandinfer : 0.00 0 0
1796.27/1796.93 c feaspump : 147.45 1 0
1796.27/1796.93 c coefdiving : 288.59 1 0
1796.27/1796.93 c intdiving : 0.00 0 0
1796.27/1796.93 c actconsdiving : 0.00 0 0
1796.27/1796.93 c octane : 0.00 0 0
1796.27/1796.93 c rens : 15.59 1 0
1796.27/1796.93 c rins : 0.00 0 0
1796.27/1796.93 c localbranching : 0.00 0 0
1796.27/1796.93 c mutation : 0.00 0 0
1796.27/1796.93 c dins : 0.00 0 0
1796.27/1796.93 c LP : Time Calls Iterations Iter/call Iter/sec
1796.27/1796.93 c primal LP : 0.00 0 0 0.00 -
1796.27/1796.93 c dual LP : 310.88 18 67112 3728.44 215.88
1796.27/1796.93 c barrier LP : 0.00 0 0 0.00 -
1796.27/1796.93 c diving/probing LP: 435.71 28 67202 2400.07 154.24
1796.27/1796.93 c strong branching : 950.56 191 185887 973.23 195.56
1796.27/1796.93 c (at root node) : - 37 34035 919.86 -
1796.27/1796.93 c conflict analysis: 0.00 0 0 0.00 -
1796.27/1796.93 c B&B Tree :
1796.27/1796.93 c number of runs : 1
1796.27/1796.93 c nodes : 17
1796.27/1796.93 c nodes (total) : 17
1796.27/1796.93 c nodes left : 18
1796.27/1796.93 c max depth : 16
1796.27/1796.93 c max depth (total): 16
1796.27/1796.93 c backtracks : 0 (0.0%)
1796.27/1796.93 c delayed cutoffs : 0
1796.27/1796.93 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.27/1796.93 c avg switch length: 1.00
1796.27/1796.93 c switching time : 0.00
1796.27/1796.93 c Solution :
1796.27/1796.93 c Solutions found : 0 (0 improvements)
1796.27/1796.93 c Primal Bound : -
1796.27/1796.93 c Dual Bound : +1.13979503834606e+01
1796.27/1796.93 c Gap : infinite
1796.27/1796.93 c Root Dual Bound : +1.13979503834606e+01
1796.47/1797.11 c Time complete: 1796.48.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869710-1245184630/watcher-1869710-1245184630 -o /tmp/evaluation-result-1869710-1245184630/solver-1869710-1245184630 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869710-1245184630.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 1.00 1.00 3/65 14138
/proc/meminfo: memFree=927680/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=6100 CPUtime=0
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 549 0 0 0 0 0 0 0 18 0 1 0 186060869 6246400 531 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/14138/statm: 1525 541 325 886 0 635 0
[startup+0.063277 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 14138
/proc/meminfo: memFree=927680/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=12700 CPUtime=0.05
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 2506 0 0 0 5 0 0 0 18 0 1 0 186060869 13004800 2488 1992294400 4194304 7823515 548682068736 18446744073709551615 6908072 0 0 4096 0 0 0 0 17 1 0 0
/proc/14138/statm: 3175 2488 354 886 0 2285 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12700
[startup+0.102292 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 14138
/proc/meminfo: memFree=927680/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=14496 CPUtime=0.09
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 2964 0 0 0 9 0 0 0 18 0 1 0 186060869 14843904 2946 1992294400 4194304 7823515 548682068736 18446744073709551615 4403196 0 0 4096 0 0 0 0 17 1 0 0
/proc/14138/statm: 3624 2946 354 886 0 2734 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14496
[startup+0.301322 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 14138
/proc/meminfo: memFree=927680/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=21308 CPUtime=0.29
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 4668 0 0 0 28 1 0 0 19 0 1 0 186060869 21819392 4650 1992294400 4194304 7823515 548682068736 18446744073709551615 6908072 0 0 4096 0 0 0 0 17 1 0 0
/proc/14138/statm: 5327 4650 354 886 0 4437 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21308
[startup+0.7014 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 14138
/proc/meminfo: memFree=927680/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=61992 CPUtime=0.7
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 14883 0 0 0 62 8 0 0 23 0 1 0 186060869 63479808 14511 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 15498 14511 432 886 0 14608 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 61992
[startup+1.50155 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14139
/proc/meminfo: memFree=863352/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=86160 CPUtime=1.49
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 21781 0 0 0 131 18 0 0 25 0 1 0 186060869 88227840 20655 1992294400 4194304 7823515 548682068736 18446744073709551615 4551280 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 21540 20655 456 886 0 20650 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86160
[startup+3.10186 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14139
/proc/meminfo: memFree=846520/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=86160 CPUtime=3.1
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 21786 0 0 0 291 19 0 0 25 0 1 0 186060869 88227840 20660 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 21540 20660 457 886 0 20650 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 86160
[startup+6.30147 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14139
/proc/meminfo: memFree=806904/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=133012 CPUtime=6.28
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 33148 0 0 0 604 24 0 0 25 0 1 0 186060869 136204288 31317 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 33253 31317 527 886 0 32363 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 133012
[startup+12.7017 s]
/proc/loadavg: 1.16 1.03 1.01 2/66 14139
/proc/meminfo: memFree=800128/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=135572 CPUtime=12.68
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 34143 0 0 0 1242 26 0 0 25 0 1 0 186060869 138825728 32247 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 33893 32247 527 886 0 33003 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 135572
[startup+25.5011 s]
/proc/loadavg: 1.12 1.03 1.01 2/66 14139
/proc/meminfo: memFree=796352/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=139032 CPUtime=25.48
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 35165 0 0 0 2521 27 0 0 25 0 1 0 186060869 142368768 33241 1992294400 4194304 7823515 548682068736 18446744073709551615 6908032 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 34758 33241 538 886 0 33868 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 139032
[startup+51.102 s]
/proc/loadavg: 1.08 1.03 1.01 2/66 14139
/proc/meminfo: memFree=795968/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=139032 CPUtime=51.06
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 35283 0 0 0 5078 28 0 0 25 0 1 0 186060869 142368768 33359 1992294400 4194304 7823515 548682068736 18446744073709551615 6211707 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 34758 33359 538 886 0 33868 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 139032
[startup+102.306 s]
/proc/loadavg: 1.03 1.02 1.00 2/66 14139
/proc/meminfo: memFree=796096/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=139032 CPUtime=102.26
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 35289 0 0 0 10194 32 0 0 25 0 1 0 186060869 142368768 33363 1992294400 4194304 7823515 548682068736 18446744073709551615 6019508 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 34758 33363 538 886 0 33868 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 139032
[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 14139
/proc/meminfo: memFree=796032/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=139032 CPUtime=162.23
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 35291 0 0 0 16187 36 0 0 25 0 1 0 186060869 142368768 33365 1992294400 4194304 7823515 548682068736 18446744073709551615 6212412 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 34758 33365 538 886 0 33868 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 139032
[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 14139
/proc/meminfo: memFree=795904/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=139524 CPUtime=222.21
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 35433 0 0 0 22160 61 0 0 25 0 1 0 186060869 142872576 33428 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 34881 33428 565 886 0 33991 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 139524
[startup+282.301 s]
/proc/loadavg: 1.05 1.02 1.00 2/66 14139
/proc/meminfo: memFree=796416/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=143104 CPUtime=282.18
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 59872 0 0 0 28131 87 0 0 25 0 1 0 186060869 146538496 33842 1992294400 4194304 7823515 548682068736 18446744073709551615 6213458 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35776 33842 570 886 0 34886 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 143104
[startup+342.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 14139
/proc/meminfo: memFree=796544/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=139888 CPUtime=342.17
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 87376 0 0 0 34109 108 0 0 25 0 1 0 186060869 143245312 33224 1992294400 4194304 7823515 548682068736 18446744073709551615 6177507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 34972 33224 570 886 0 34082 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 139888
[startup+402.302 s]
/proc/loadavg: 1.05 1.03 1.00 2/66 14139
/proc/meminfo: memFree=795904/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=139912 CPUtime=402.15
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 100754 0 0 0 40094 121 0 0 25 0 1 0 186060869 143269888 33407 1992294400 4194304 7823515 548682068736 18446744073709551615 6109387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 34978 33407 570 886 0 34088 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 139912
[startup+462.302 s]
/proc/loadavg: 1.06 1.03 1.00 2/66 14139
/proc/meminfo: memFree=792320/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=142000 CPUtime=462.12
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 101632 0 0 0 46084 128 0 0 25 0 1 0 186060869 145408000 34285 1992294400 4194304 7823515 548682068736 18446744073709551615 6205311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35500 34285 570 886 0 34610 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 142000
[startup+522.302 s]
/proc/loadavg: 1.06 1.04 1.00 2/66 14139
/proc/meminfo: memFree=793984/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=139560 CPUtime=522.11
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 126218 0 0 0 52064 147 0 0 25 0 1 0 186060869 142909440 32695 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 34890 32695 570 886 0 34000 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 139560
[startup+582.301 s]
/proc/loadavg: 1.05 1.04 1.00 2/66 14139
/proc/meminfo: memFree=796096/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=143428 CPUtime=582.09
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 150326 0 0 0 58043 166 0 0 25 0 1 0 186060869 146870272 33912 1992294400 4194304 7823515 548682068736 18446744073709551615 6212699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35857 33912 570 886 0 34967 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 143428
[startup+642.302 s]
/proc/loadavg: 1.13 1.06 1.01 2/66 14139
/proc/meminfo: memFree=793216/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=143432 CPUtime=642.07
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 177333 0 0 0 64020 187 0 0 25 0 1 0 186060869 146874368 34060 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35858 34060 570 886 0 34968 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 143432
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=795904/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=143676 CPUtime=1061.92
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 369525 0 0 0 105866 326 0 0 25 0 1 0 186060869 147124224 33976 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35919 33976 570 886 0 35029 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 143676
[startup+1122.3 s]
/proc/loadavg: 1.01 1.05 1.00 2/66 14139
/proc/meminfo: memFree=793472/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=139672 CPUtime=1121.9
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 405256 0 0 0 111841 349 0 0 25 0 1 0 186060869 143024128 32712 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 34918 32712 570 886 0 34028 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 139672
[startup+1182.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/66 14139
/proc/meminfo: memFree=793152/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=143648 CPUtime=1181.88
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 424951 0 0 0 117824 364 0 0 25 0 1 0 186060869 147095552 34054 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35912 34054 570 886 0 35022 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 143648
[startup+1242.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 14140
/proc/meminfo: memFree=793088/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=139664 CPUtime=1241.86
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 465874 0 0 0 123795 391 0 0 25 0 1 0 186060869 143015936 32740 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 34916 32740 570 886 0 34026 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 139664
[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 14140
/proc/meminfo: memFree=792768/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=143608 CPUtime=1301.84
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 475087 0 0 0 129782 402 0 0 25 0 1 0 186060869 147054592 34072 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35902 34072 571 886 0 35012 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 143608
[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 14141
/proc/meminfo: memFree=792320/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=143608 CPUtime=1361.82
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 475262 0 0 0 135772 410 0 0 25 0 1 0 186060869 147054592 34236 1992294400 4194304 7823515 548682068736 18446744073709551615 6212418 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35902 34236 571 886 0 35012 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 143608
[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 14141
/proc/meminfo: memFree=795456/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=141604 CPUtime=1421.81
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 492891 0 0 0 141755 426 0 0 25 0 1 0 186060869 145002496 33448 1992294400 4194304 7823515 548682068736 18446744073709551615 6110670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35401 33448 571 886 0 34511 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 141604
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14147
/proc/meminfo: memFree=792832/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=143988 CPUtime=1481.78
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 521854 0 0 0 147730 448 0 0 25 0 1 0 186060869 147443712 34103 1992294400 4194304 7823515 548682068736 18446744073709551615 6109344 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35997 34103 571 886 0 35107 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 143988
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14147
/proc/meminfo: memFree=792640/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=143988 CPUtime=1541.76
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 521897 0 0 0 153722 454 0 0 25 0 1 0 186060869 147443712 34146 1992294400 4194304 7823515 548682068736 18446744073709551615 6247194 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35997 34146 571 886 0 35107 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 143988
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14147
/proc/meminfo: memFree=792640/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=143988 CPUtime=1601.73
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 521897 0 0 0 159711 462 0 0 25 0 1 0 186060869 147443712 34146 1992294400 4194304 7823515 548682068736 18446744073709551615 6263180 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35997 34146 571 886 0 35107 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 143988
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14147
/proc/meminfo: memFree=792576/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=143988 CPUtime=1661.72
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 521914 0 0 0 165702 470 0 0 25 0 1 0 186060869 147443712 34163 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35997 34163 571 886 0 35107 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 143988
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14147
/proc/meminfo: memFree=792576/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=143988 CPUtime=1721.7
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 521914 0 0 0 171693 477 0 0 25 0 1 0 186060869 147443712 34163 1992294400 4194304 7823515 548682068736 18446744073709551615 6151321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35997 34163 571 886 0 35107 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 143988
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14147
/proc/meminfo: memFree=792512/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=143988 CPUtime=1781.67
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 521914 0 0 0 177683 484 0 0 25 0 1 0 186060869 147443712 34163 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35997 34163 571 886 0 35107 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 143988
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14147
/proc/meminfo: memFree=792512/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=143988 CPUtime=1784.87
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 521914 0 0 0 178003 484 0 0 25 0 1 0 186060869 147443712 34163 1992294400 4194304 7823515 548682068736 18446744073709551615 6213650 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35997 34163 571 886 0 35107 0
Current children cumulated CPU time (s) 1784.87
Current children cumulated vsize (KiB) 143988
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14147
/proc/meminfo: memFree=792512/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=143988 CPUtime=1791.28
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 521914 0 0 0 178643 485 0 0 25 0 1 0 186060869 147443712 34163 1992294400 4194304 7823515 548682068736 18446744073709551615 6212785 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35997 34163 571 886 0 35107 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 143988
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14147
/proc/meminfo: memFree=792512/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=143988 CPUtime=1794.48
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 521914 0 0 0 178963 485 0 0 25 0 1 0 186060869 147443712 34163 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35997 34163 571 886 0 35107 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (KiB) 143988
[startup+1795.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14147
/proc/meminfo: memFree=792512/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=143988 CPUtime=1795.27
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 521914 0 0 0 179042 485 0 0 25 0 1 0 186060869 147443712 34163 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35997 34163 571 886 0 35107 0
Current children cumulated CPU time (s) 1795.27
Current children cumulated vsize (KiB) 143988
[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14147
/proc/meminfo: memFree=792512/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=143988 CPUtime=1796.07
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 521914 0 0 0 179122 485 0 0 25 0 1 0 186060869 147443712 34163 1992294400 4194304 7823515 548682068736 18446744073709551615 6177700 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14138/statm: 35997 34163 571 886 0 35107 0
Current children cumulated CPU time (s) 1796.07
Current children cumulated vsize (KiB) 143988
[startup+1797.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14147
/proc/meminfo: memFree=792512/2055920 swapFree=4178232/4192956
[pid=14138] ppid=14136 vsize=109220 CPUtime=1796.47
/proc/14138/stat : 14138 (pbscip.linux.x8) R 14136 14138 13814 0 -1 4194304 521942 0 0 0 179161 486 0 0 25 0 1 0 186060869 111841280 26162 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/14138/statm: 27305 26162 2091 886 0 26415 0
Current children cumulated CPU time (s) 1796.47
Current children cumulated vsize (KiB) 109220
Child status: 0
Real time (s): 1797.12
CPU time (s): 1796.5
CPU user time (s): 1791.62
CPU system time (s): 4.87726
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 197516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.62
system time used= 4.87726
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 521945
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= 983
runsolver used 1.92971 second user time and 4.6003 second system time
The end