0.69/0.72 c SCIP version 1.1.0.7
0.69/0.72 c LP-Solver Clp 1.8.2
0.69/0.72 c user parameter file <scip.set> not found - using default parameters
0.69/0.72 c read problem <HOME/instance-1869703-1245183931.opb>
0.69/0.72 c original problem has 12935 variables (12935 bin, 0 int, 0 impl, 0 cont) and 47889 constraints
0.89/0.91 c start presolving problem
0.89/0.91 c presolving:
1.39/1.42 c (round 1) 902 del vars, 1765 del conss, 5 chg bounds, 17 chg sides, 18 chg coeffs, 0 upgd conss, 390962 impls, 0 clqs
1.39/1.46 c (round 2) 902 del vars, 1816 del conss, 5 chg bounds, 17 chg sides, 18 chg coeffs, 0 upgd conss, 390962 impls, 0 clqs
1.78/1.89 c (round 3) 902 del vars, 1817 del conss, 5 chg bounds, 17 chg sides, 18 chg coeffs, 46072 upgd conss, 390962 impls, 0 clqs
5.69/5.79 c (4.8s) probing: 748/12033 (6.2%) - 0 fixings, 2 aggregations, 17273 implications, 0 bound changes
5.69/5.79 c (4.8s) probing aborted: 100/100 successive totally useless probings
5.69/5.79 c (round 4) 904 del vars, 1817 del conss, 5 chg bounds, 17 chg sides, 18 chg coeffs, 46072 upgd conss, 424612 impls, 0 clqs
5.89/5.93 c (4.9s) probing: 758/12033 (6.3%) - 0 fixings, 2 aggregations, 17273 implications, 0 bound changes
5.89/5.93 c (4.9s) probing aborted: 100/100 successive totally useless probings
5.89/5.94 c presolving (5 rounds):
5.89/5.94 c 904 deleted vars, 1817 deleted constraints, 5 tightened bounds, 0 added holes, 17 changed sides, 18 changed coefficients
5.89/5.94 c 424612 implications, 0 cliques
5.89/5.94 c presolved problem has 12031 variables (12031 bin, 0 int, 0 impl, 0 cont) and 46072 constraints
5.89/5.94 c 1 constraints of type <knapsack>
5.89/5.94 c 46071 constraints of type <logicor>
5.89/5.94 c transformed objective value is always integral (scale: 1)
5.89/5.94 c Presolving Time: 4.81
5.89/5.95 c OPT-LIN
5.89/5.95 c -----------------------------------------------------------------------------------------------
5.89/5.95 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.89/5.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.89/5.95 c limits/memory = c 1620
5.89/5.95 c # maximal time in seconds to run
5.89/5.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.89/5.95 c limits/time = c 1791
5.89/5.95 c # frequency for displaying node information lines
5.89/5.95 c # [type: int, range: [-1,2147483647], default: 100]
5.89/5.95 c display/freq = c 10000
5.89/5.95 c -----------------------------------------------------------------------------------------------
5.89/5.95 c start solving problem
5.89/5.95 c
21.39/21.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.39/21.43 c 20.3s| 1 | 0 | 7292 | 95M| 0 |1682 | 12k| 46k| 46k| 12k| 46k| 0 | 0 | 0 | 1.063836e+01 | -- | Inf
424.12/424.34 c 422s| 1 | 2 | 38883 | 95M| 0 |1682 | 12k| 46k| 46k| 12k| 46k| 0 | 0 | 20 | 1.063836e+01 | -- | Inf
1794.73/1795.47 c
1794.73/1795.47 c SCIP Status : solving was interrupted [time limit reached]
1794.73/1795.47 c Solving Time (sec) : 1791.05
1794.73/1795.47 c Solving Nodes : 8
1794.73/1795.47 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1794.73/1795.47 c Dual Bound : +1.14514958756518e+01
1794.73/1795.47 c Gap : infinite
1794.73/1795.47 c NODE 8
1794.73/1795.47 c DUAL BOUND 11.4515
1794.73/1795.47 c PRIMAL BOUND 1e+20
1794.73/1795.47 c GAP 1e+20
1794.73/1795.47 s UNKNOWN
1794.73/1795.47 c SCIP Status : solving was interrupted [time limit reached]
1794.73/1795.47 c Solving Time : 1791.05
1794.73/1795.47 c Original Problem :
1794.73/1795.47 c Problem name : HOME/instance-1869703-1245183931.opb
1794.73/1795.47 c Variables : 12935 (12935 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.73/1795.47 c Constraints : 47889 initial, 47889 maximal
1794.73/1795.47 c Presolved Problem :
1794.73/1795.47 c Problem name : t_HOME/instance-1869703-1245183931.opb
1794.73/1795.47 c Variables : 12031 (12031 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.73/1795.47 c Constraints : 46072 initial, 46072 maximal
1794.73/1795.47 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1794.73/1795.47 c trivial : 0.00 0 0 0 0 0 0 0 0
1794.73/1795.47 c dualfix : 0.01 0 0 0 0 0 0 0 0
1794.73/1795.47 c boundshift : 0.00 0 0 0 0 0 0 0 0
1794.73/1795.47 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1794.73/1795.47 c implics : 0.01 0 17 0 0 0 0 0 0
1794.73/1795.47 c probing : 3.77 0 2 0 0 0 0 0 0
1794.73/1795.47 c knapsack : 0.06 0 0 0 0 0 0 0 0
1794.73/1795.47 c linear : 0.63 5 880 0 5 0 1817 17 18
1794.73/1795.47 c logicor : 0.23 0 0 0 0 0 0 0 0
1794.73/1795.47 c root node : - 0 - - 0 - - - -
1794.73/1795.47 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1794.73/1795.47 c integral : 0 0 0 7 0 0 0 0 0 14
1794.73/1795.47 c knapsack : 1 1 1628 0 1 0 0 0 0 0
1794.73/1795.47 c logicor : 46071 1 1627 0 1 0 261 0 0 0
1794.73/1795.47 c countsols : 0 0 0 0 1 0 0 0 0 0
1794.73/1795.47 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1794.73/1795.47 c integral : 965.40 0.00 0.00 965.40 0.00
1794.73/1795.47 c knapsack : 0.02 0.00 0.02 0.00 0.00
1794.73/1795.47 c logicor : 0.87 0.02 0.82 0.00 0.03
1794.73/1795.47 c countsols : 0.00 0.00 0.00 0.00 0.00
1794.73/1795.47 c Propagators : Time Calls Cutoffs DomReds
1794.73/1795.47 c rootredcost : 0.00 0 0 0
1794.73/1795.47 c pseudoobj : 0.00 25 0 0
1794.73/1795.47 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1794.73/1795.47 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1794.73/1795.47 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1794.73/1795.47 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1794.73/1795.47 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1794.73/1795.47 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1794.73/1795.47 c applied globally : - - - 0 0.0 - - -
1794.73/1795.47 c applied locally : - - - 0 0.0 - - -
1794.73/1795.47 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1794.73/1795.47 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1794.73/1795.47 c redcost : 0.01 7 0 0 0 0
1794.73/1795.47 c impliedbounds : 0.01 1 0 0 0 0
1794.73/1795.47 c intobj : 0.00 0 0 0 0 0
1794.73/1795.47 c gomory : 20.73 1 0 0 0 0
1794.73/1795.47 c strongcg : 20.64 1 0 0 0 0
1794.73/1795.47 c cmir : 2.49 1 0 0 0 0
1794.73/1795.47 c flowcover : 2.56 1 0 0 0 0
1794.73/1795.47 c clique : 0.70 1 0 0 0 0
1794.73/1795.47 c zerohalf : 0.00 0 0 0 0 0
1794.73/1795.47 c mcf : 0.08 1 0 0 0 0
1794.73/1795.47 c Pricers : Time Calls Vars
1794.73/1795.47 c problem variables: 0.00 0 0
1794.73/1795.47 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1794.73/1795.47 c relpscost : 965.40 7 0 0 0 0 14
1794.73/1795.47 c pscost : 0.00 0 0 0 0 0 0
1794.73/1795.47 c inference : 0.01 1 0 0 0 0 2
1794.73/1795.47 c mostinf : 0.00 0 0 0 0 0 0
1794.73/1795.47 c leastinf : 0.00 0 0 0 0 0 0
1794.73/1795.47 c fullstrong : 0.00 0 0 0 0 0 0
1794.73/1795.47 c allfullstrong : 0.00 0 0 0 0 0 0
1794.73/1795.47 c random : 0.00 0 0 0 0 0 0
1794.73/1795.47 c Primal Heuristics : Time Calls Found
1794.73/1795.47 c LP solutions : 0.00 - 0
1794.73/1795.47 c pseudo solutions : 0.00 - 0
1794.73/1795.47 c oneopt : 0.00 0 0
1794.73/1795.47 c coefdiving : 0.00 0 0
1794.73/1795.47 c pscostdiving : 0.00 0 0
1794.73/1795.47 c fracdiving : 0.00 0 0
1794.73/1795.47 c veclendiving : 0.00 0 0
1794.73/1795.47 c objpscostdiving : 0.00 0 0
1794.73/1795.47 c rootsoldiving : 0.00 0 0
1794.73/1795.47 c linesearchdiving : 0.00 0 0
1794.73/1795.47 c simplerounding : 0.00 0 0
1794.73/1795.47 c rounding : 0.10 7 0
1794.73/1795.47 c shifting : 0.04 1 0
1794.73/1795.47 c intshifting : 0.00 0 0
1794.73/1795.47 c fixandinfer : 0.00 0 0
1794.73/1795.47 c feaspump : 266.38 1 0
1794.73/1795.47 c intdiving : 0.00 0 0
1794.73/1795.47 c actconsdiving : 0.00 0 0
1794.73/1795.47 c guideddiving : 0.00 0 0
1794.73/1795.47 c octane : 0.00 0 0
1794.73/1795.47 c rens : 13.19 1 0
1794.73/1795.47 c rins : 0.00 0 0
1794.73/1795.47 c localbranching : 0.00 0 0
1794.73/1795.47 c mutation : 0.00 0 0
1794.73/1795.47 c crossover : 0.00 0 0
1794.73/1795.47 c dins : 0.00 0 0
1794.73/1795.47 c LP : Time Calls Iterations Iter/call Iter/sec
1794.73/1795.47 c primal LP : 0.00 0 0 0.00 -
1794.73/1795.47 c dual LP : 493.40 8 102882 12860.25 208.52
1794.73/1795.47 c barrier LP : 0.00 0 0 0.00 -
1794.73/1795.47 c diving/probing LP: 266.31 3 31591 10530.33 118.62
1794.73/1795.47 c strong branching : 965.39 204 140722 689.81 145.77
1794.73/1795.47 c (at root node) : - 20 14778 738.90 -
1794.73/1795.47 c conflict analysis: 0.00 0 0 0.00 -
1794.73/1795.47 c B&B Tree :
1794.73/1795.47 c number of runs : 1
1794.73/1795.47 c nodes : 8
1794.73/1795.47 c nodes (total) : 8
1794.73/1795.47 c nodes left : 9
1794.73/1795.47 c max depth : 7
1794.73/1795.47 c max depth (total): 7
1794.73/1795.47 c backtracks : 0 (0.0%)
1794.73/1795.47 c delayed cutoffs : 0
1794.73/1795.47 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1794.73/1795.47 c avg switch length: 1.00
1794.73/1795.47 c switching time : 0.01
1794.73/1795.47 c Solution :
1794.73/1795.47 c Solutions found : 0 (0 improvements)
1794.73/1795.47 c Primal Bound : -
1794.73/1795.47 c Dual Bound : +1.14514958756518e+01
1794.73/1795.47 c Gap : infinite
1794.73/1795.47 c Root Dual Bound : +1.06383569940513e+01
1795.02/1795.75 c Time complete: 1795.08.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869703-1245183931/watcher-1869703-1245183931 -o /tmp/evaluation-result-1869703-1245183931/solver-1869703-1245183931 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869703-1245183931.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/64 4142
/proc/meminfo: memFree=1838184/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=5812 CPUtime=0
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 525 0 0 0 0 0 0 0 18 0 1 0 185993623 5951488 509 1992294400 4194304 9342243 548682068736 18446744073709551615 8160080 0 0 4096 0 0 0 0 17 1 0 0
/proc/4142/statm: 1454 516 345 1256 0 193 0
[startup+0.021073 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4142
/proc/meminfo: memFree=1838184/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=11520 CPUtime=0.01
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 1853 0 0 0 1 0 0 0 18 0 1 0 185993623 11796480 1837 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/4142/statm: 2880 1837 378 1256 0 1619 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11520
[startup+0.1021 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4142
/proc/meminfo: memFree=1838184/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=15940 CPUtime=0.09
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 2976 0 0 0 8 1 0 0 18 0 1 0 185993623 16322560 2960 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/4142/statm: 3985 2960 378 1256 0 2724 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15940
[startup+0.301133 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4142
/proc/meminfo: memFree=1838184/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=22656 CPUtime=0.29
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 4656 0 0 0 27 2 0 0 19 0 1 0 185993623 23199744 4640 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/4142/statm: 5664 4640 378 1256 0 4403 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22656
[startup+0.701217 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4142
/proc/meminfo: memFree=1838184/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=36416 CPUtime=0.69
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 8051 0 0 0 65 4 0 0 22 0 1 0 185993623 37289984 8035 1992294400 4194304 9342243 548682068736 18446744073709551615 5858552 0 0 4096 0 0 0 0 17 1 0 0
/proc/4142/statm: 9104 8035 378 1256 0 7843 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36416
[startup+1.50139 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1766176/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=101460 CPUtime=1.49
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 23880 0 0 0 131 18 0 0 25 0 1 0 185993623 103895040 23511 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 25365 23519 474 1256 0 24104 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101460
[startup+3.10172 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1720224/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=124296 CPUtime=3.09
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 31937 0 0 0 280 29 0 0 25 0 1 0 185993623 127279104 29882 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 31074 29882 499 1256 0 29813 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 124296
[startup+6.3014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1719840/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=184428 CPUtime=6.29
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 42706 0 0 0 592 37 0 0 25 0 1 0 185993623 188854272 40484 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 46107 40484 622 1256 0 44846 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 184428
[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1665824/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=192904 CPUtime=12.69
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 45874 0 0 0 1229 40 0 0 25 0 1 0 185993623 197533696 43651 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 48226 43651 624 1256 0 46965 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 192904
[startup+25.5025 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1658016/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=197292 CPUtime=25.49
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 50196 0 0 0 2507 42 0 0 25 0 1 0 185993623 202027008 45558 1992294400 4194304 9342243 548682068736 18446744073709551615 6959555 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 49323 45558 644 1256 0 48062 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 197292
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1654176/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=202356 CPUtime=51.06
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 51124 0 0 0 5062 44 0 0 25 0 1 0 185993623 207212544 46486 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 50589 46486 651 1256 0 49328 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 202356
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1654112/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=202356 CPUtime=102.25
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 51167 0 0 0 10180 45 0 0 25 0 1 0 185993623 207212544 46529 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 50589 46529 651 1256 0 49328 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 202356
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1653984/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=202356 CPUtime=162.22
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 51187 0 0 0 16174 48 0 0 25 0 1 0 185993623 207212544 46549 1992294400 4194304 9342243 548682068736 18446744073709551615 6952941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 50589 46549 651 1256 0 49328 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 202356
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1653856/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=204488 CPUtime=222.2
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 51211 0 0 0 22170 50 0 0 25 0 1 0 185993623 209395712 46573 1992294400 4194304 9342243 548682068736 18446744073709551615 6952405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 51122 46573 651 1256 0 49861 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 204488
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1653600/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=204488 CPUtime=282.18
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 51260 0 0 0 28166 52 0 0 25 0 1 0 185993623 209395712 46622 1992294400 4194304 9342243 548682068736 18446744073709551615 6952410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 51122 46622 651 1256 0 49861 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 204488
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1571488/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=283556 CPUtime=342.15
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 71812 0 0 0 34120 95 0 0 25 0 1 0 185993623 290361344 67157 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 70889 67157 681 1256 0 69628 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 283556
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1647648/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=235244 CPUtime=402.13
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 93388 0 0 0 40101 112 0 0 25 0 1 0 185993623 240889856 48100 1992294400 4194304 9342243 548682068736 18446744073709551615 6941379 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 58811 48100 691 1256 0 57550 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 235244
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1651744/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=205452 CPUtime=462.11
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 100793 0 0 0 46091 120 0 0 25 0 1 0 185993623 210382848 47074 1992294400 4194304 9342243 548682068736 18446744073709551615 5868780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 51363 47074 691 1256 0 50102 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 205452
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1646048/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=236316 CPUtime=522.09
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 120482 0 0 0 52077 132 0 0 25 0 1 0 185993623 241987584 48465 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 59079 48465 691 1256 0 57818 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 236316
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1651040/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=205912 CPUtime=582.07
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 126785 0 0 0 58068 139 0 0 25 0 1 0 185993623 210853888 47232 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 51478 47232 691 1256 0 50217 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 205912
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1650464/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=206240 CPUtime=642.05
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 126924 0 0 0 64062 143 0 0 25 0 1 0 185993623 211189760 47371 1992294400 4194304 9342243 548682068736 18446744073709551615 5868835 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 51560 47371 691 1256 0 50299 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 206240
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1644000/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=237496 CPUtime=1061.89
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 173330 0 0 0 106005 184 0 0 25 0 1 0 185993623 243195904 49006 1992294400 4194304 9342243 548682068736 18446744073709551615 6960240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 59374 49006 691 1256 0 58113 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 237496
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1649696/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=206436 CPUtime=1121.87
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 185754 0 0 0 111993 194 0 0 25 0 1 0 185993623 211390464 47571 1992294400 4194304 9342243 548682068736 18446744073709551615 5868518 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 51609 47571 691 1256 0 50348 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 206436
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1644000/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=237468 CPUtime=1181.85
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 190747 0 0 0 117986 199 0 0 25 0 1 0 185993623 243167232 49003 1992294400 4194304 9342243 548682068736 18446744073709551615 6960228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 59367 49003 691 1256 0 58106 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 237468
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1643872/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=237468 CPUtime=1241.83
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 210822 0 0 0 123972 211 0 0 25 0 1 0 185993623 243167232 49002 1992294400 4194304 9342243 548682068736 18446744073709551615 6959593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 59367 49002 691 1256 0 58106 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 237468
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1643872/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=237468 CPUtime=1301.8
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 229225 0 0 0 129960 220 0 0 25 0 1 0 185993623 243167232 49003 1992294400 4194304 9342243 548682068736 18446744073709551615 5869983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 59367 49003 691 1256 0 58106 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 237468
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1643808/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=237468 CPUtime=1361.79
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 250975 0 0 0 135947 232 0 0 25 0 1 0 185993623 243167232 49004 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 59367 49004 691 1256 0 58106 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 237468
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1643744/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=237468 CPUtime=1421.76
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 271050 0 0 0 141933 243 0 0 25 0 1 0 185993623 243167232 49004 1992294400 4194304 9342243 548682068736 18446744073709551615 6960775 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 59367 49004 691 1256 0 58106 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 237468
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1643744/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=237468 CPUtime=1481.73
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 291119 0 0 0 147918 255 0 0 25 0 1 0 185993623 243167232 49001 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 59367 49001 691 1256 0 58106 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 237468
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1643680/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=237468 CPUtime=1541.72
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 306178 0 0 0 153908 264 0 0 25 0 1 0 185993623 243167232 49004 1992294400 4194304 9342243 548682068736 18446744073709551615 5868784 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 59367 49004 691 1256 0 58106 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 237468
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4143
/proc/meminfo: memFree=1649312/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=206692 CPUtime=1601.7
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 319810 0 0 0 159896 274 0 0 25 0 1 0 185993623 211652608 47581 1992294400 4194304 9342243 548682068736 18446744073709551615 6040629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 51673 47581 691 1256 0 50412 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 206692
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4145
/proc/meminfo: memFree=1643232/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=237464 CPUtime=1661.67
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 339327 0 0 0 165882 285 0 0 25 0 1 0 185993623 243163136 49082 1992294400 4194304 9342243 548682068736 18446744073709551615 6960780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 59366 49082 691 1256 0 58105 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 237464
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4145
/proc/meminfo: memFree=1643296/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=237464 CPUtime=1721.65
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 357166 0 0 0 171870 295 0 0 25 0 1 0 185993623 243163136 49083 1992294400 4194304 9342243 548682068736 18446744073709551615 6040633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 59366 49083 691 1256 0 58105 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 237464
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4145
/proc/meminfo: memFree=1643360/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=237464 CPUtime=1781.62
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 375005 0 0 0 177856 306 0 0 25 0 1 0 185993623 243163136 49083 1992294400 4194304 9342243 548682068736 18446744073709551615 6959764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 59366 49083 691 1256 0 58105 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 237464
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4145
/proc/meminfo: memFree=1643360/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=237464 CPUtime=1784.83
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 375006 0 0 0 178176 307 0 0 25 0 1 0 185993623 243163136 49084 1992294400 4194304 9342243 548682068736 18446744073709551615 6960579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 59366 49084 691 1256 0 58105 0
Current children cumulated CPU time (s) 1784.83
Current children cumulated vsize (KiB) 237464
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4145
/proc/meminfo: memFree=1643360/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=237464 CPUtime=1791.23
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 376628 0 0 0 178815 308 0 0 25 0 1 0 185993623 243163136 49084 1992294400 4194304 9342243 548682068736 18446744073709551615 6959593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 59366 49084 691 1256 0 58105 0
Current children cumulated CPU time (s) 1791.23
Current children cumulated vsize (KiB) 237464
[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4145
/proc/meminfo: memFree=1643360/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=199324 CPUtime=1792.83
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 376629 0 0 0 178975 308 0 0 25 0 1 0 185993623 204107776 47463 1992294400 4194304 9342243 548682068736 18446744073709551615 5869968 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 49831 47463 691 1256 0 48570 0
Current children cumulated CPU time (s) 1792.83
Current children cumulated vsize (KiB) 199324
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4145
/proc/meminfo: memFree=1649504/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=206252 CPUtime=1794.43
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 376714 0 0 0 179135 308 0 0 25 0 1 0 185993623 211202048 47548 1992294400 4194304 9342243 548682068736 18446744073709551615 6964499 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4142/statm: 51563 47548 691 1256 0 50302 0
Current children cumulated CPU time (s) 1794.43
Current children cumulated vsize (KiB) 206252
[startup+1795.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4145
/proc/meminfo: memFree=1649504/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=206252 CPUtime=1794.83
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 376718 0 0 0 179175 308 0 0 25 0 1 0 185993623 211202048 47552 1992294400 4194304 9342243 548682068736 18446744073709551615 4313428 0 0 4096 0 0 0 0 17 1 0 0
/proc/4142/statm: 51563 47552 692 1256 0 50302 0
Current children cumulated CPU time (s) 1794.83
Current children cumulated vsize (KiB) 206252
[startup+1795.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4145
/proc/meminfo: memFree=1649504/2055920 swapFree=4192812/4192956
[pid=4142] ppid=4140 vsize=198796 CPUtime=1795.02
/proc/4142/stat : 4142 (pbscip.linux.x8) R 4140 4142 3910 0 -1 4194304 376718 0 0 0 179194 308 0 0 25 0 1 0 185993623 203567104 45690 1992294400 4194304 9342243 548682068736 18446744073709551615 8312599 0 0 4096 0 0 0 0 17 1 0 0
/proc/4142/statm: 49699 45690 692 1256 0 48438 0
Current children cumulated CPU time (s) 1795.02
Current children cumulated vsize (KiB) 198796
Child status: 0
Real time (s): 1795.75
CPU time (s): 1795.09
CPU user time (s): 1791.97
CPU system time (s): 3.11353
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (KiB): 283556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.97
system time used= 3.11353
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376721
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= 2277
runsolver used 1.42978 second user time and 4.03239 second system time
The end