0.19/0.24 c SCIP version 1.1.0.7
0.19/0.24 c LP-Solver SoPlex 1.4.1
0.19/0.24 c user parameter file <scip.set> not found - using default parameters
0.19/0.24 c read problem <HOME/instance-1870826-1245221098.opb>
0.19/0.24 c original problem has 8424 variables (8424 bin, 0 int, 0 impl, 0 cont) and 9089 constraints
0.29/0.35 c start presolving problem
0.29/0.35 c presolving:
0.39/0.43 c (round 1) 9 del vars, 1 del conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16830 impls, 97 clqs
0.39/0.46 c (round 2) 9 del vars, 8416 del conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16830 impls, 97 clqs
0.49/0.54 c (round 3) 9 del vars, 8416 del conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 16830 impls, 97 clqs
2.29/2.34 c (2.0s) probing: 101/8415 (1.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.29/2.34 c (2.0s) probing aborted: 100/100 successive totally useless probings
2.29/2.34 c presolving (4 rounds):
2.29/2.34 c 9 deleted vars, 8416 deleted constraints, 9 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.29/2.34 c 16830 implications, 2293 cliques
2.29/2.34 c presolved problem has 8415 variables (8415 bin, 0 int, 0 impl, 0 cont) and 673 constraints
2.29/2.34 c 576 constraints of type <knapsack>
2.29/2.34 c 97 constraints of type <setppc>
2.29/2.34 c transformed objective value is always integral (scale: 1)
2.29/2.34 c Presolving Time: 1.99
2.29/2.35 c OPT-LIN
2.29/2.35 c -----------------------------------------------------------------------------------------------
2.29/2.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.29/2.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.35 c limits/memory = c 1620
2.29/2.35 c # maximal time in seconds to run
2.29/2.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.35 c limits/time = c 1791
2.29/2.35 c # frequency for displaying node information lines
2.29/2.35 c # [type: int, range: [-1,2147483647], default: 100]
2.29/2.35 c display/freq = c 10000
2.29/2.35 c -----------------------------------------------------------------------------------------------
2.29/2.35 c start solving problem
2.29/2.35 c
2.49/2.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.49/2.57 c 2.3s| 1 | 0 | 1179 | 30M| 0 | 77 |8415 | 673 | 673 |8415 | 673 | 0 | 0 | 0 | 9.000000e+00 | -- | Inf
5.50/5.59 c 5.3s| 1 | 0 | 4516 | 33M| 0 | 146 |8415 | 673 | 673 |8415 | 712 | 39 | 0 | 0 | 9.000000e+00 | -- | Inf
7.49/7.51 c 7.2s| 1 | 0 | 5711 | 34M| 0 | 164 |8415 | 673 | 673 |8415 | 750 | 77 | 0 | 0 | 9.000000e+00 | -- | Inf
10.48/10.58 c 10.2s| 1 | 0 | 7773 | 35M| 0 | 164 |8415 | 673 | 673 |8415 | 793 | 120 | 0 | 0 | 9.000000e+00 | -- | Inf
12.79/12.80 c 12.4s| 1 | 0 | 8593 | 36M| 0 | 228 |8415 | 673 | 673 |8415 | 824 | 151 | 0 | 0 | 9.000000e+00 | -- | Inf
14.78/14.83 c 14.4s| 1 | 0 | 9189 | 37M| 0 | 251 |8415 | 673 | 673 |8415 | 858 | 185 | 0 | 0 | 9.000000e+00 | -- | Inf
18.59/18.61 c 18.2s| 1 | 0 | 10990 | 37M| 0 | 262 |8415 | 673 | 673 |8415 | 894 | 221 | 0 | 0 | 9.000000e+00 | -- | Inf
59.08/59.17 c 58.6s| 1 | 2 | 10990 | 37M| 0 | 262 |8415 | 673 | 673 |8415 | 894 | 221 | 0 | 35 | 9.000000e+00 | -- | Inf
1797.61/1798.19 c
1797.61/1798.19 c SCIP Status : solving was interrupted [time limit reached]
1797.61/1798.19 c Solving Time (sec) : 1791.18
1797.61/1798.19 c Solving Nodes : 6076
1797.61/1798.19 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.61/1798.19 c Dual Bound : +9.00000000000000e+00
1797.61/1798.19 c Gap : infinite
1797.61/1798.19 c NODE 6076
1797.61/1798.19 c DUAL BOUND 9
1797.61/1798.19 c PRIMAL BOUND 1e+20
1797.61/1798.19 c GAP 1e+20
1797.61/1798.19 s UNKNOWN
1797.61/1798.19 c SCIP Status : solving was interrupted [time limit reached]
1797.61/1798.19 c Solving Time : 1791.18
1797.61/1798.19 c Original Problem :
1797.61/1798.19 c Problem name : HOME/instance-1870826-1245221098.opb
1797.61/1798.19 c Variables : 8424 (8424 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.61/1798.19 c Constraints : 9089 initial, 9089 maximal
1797.61/1798.19 c Presolved Problem :
1797.61/1798.19 c Problem name : t_HOME/instance-1870826-1245221098.opb
1797.61/1798.19 c Variables : 8415 (8415 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.61/1798.19 c Constraints : 673 initial, 4799 maximal
1797.61/1798.19 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.61/1798.19 c trivial : 0.01 0 0 0 0 0 0 0 0
1797.61/1798.19 c dualfix : 0.00 0 0 0 0 0 0 0 0
1797.61/1798.19 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.61/1798.19 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.61/1798.19 c implics : 0.00 0 0 0 0 0 0 0 0
1797.61/1798.19 c probing : 0.19 0 0 0 0 0 0 0 0
1797.61/1798.19 c knapsack : 1.58 0 0 0 0 0 0 0 0
1797.61/1798.19 c setppc : 0.01 0 0 0 0 0 0 0 0
1797.61/1798.19 c linear : 0.13 9 0 0 9 0 8416 0 0
1797.61/1798.19 c logicor : 0.00 0 0 0 0 0 0 0 0
1797.61/1798.19 c root node : - 0 - - 0 - - - -
1797.61/1798.19 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.61/1798.19 c integral : 0 0 0 3821 0 17 1113 0 0 6930
1797.61/1798.19 c knapsack : 576 6 59957 0 1 3 167770 1200 0 0
1797.61/1798.19 c setppc : 97 6 59954 0 1 0 405495 0 0 0
1797.61/1798.19 c logicor : 0+ 0 10718 0 0 670 3738 0 0 0
1797.61/1798.19 c countsols : 0 0 0 0 1 0 0 0 0 0
1797.61/1798.19 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.61/1798.19 c integral : 656.84 0.00 0.00 656.84 0.00
1797.61/1798.19 c knapsack : 2.78 0.07 2.70 0.00 0.01
1797.61/1798.19 c setppc : 0.70 0.00 0.70 0.00 0.00
1797.61/1798.19 c logicor : 1.32 0.00 1.32 0.00 0.00
1797.61/1798.19 c countsols : 0.00 0.00 0.00 0.00 0.00
1797.61/1798.19 c Propagators : Time Calls Cutoffs DomReds
1797.61/1798.19 c rootredcost : 0.05 0 0 0
1797.61/1798.19 c pseudoobj : 0.02 0 0 0
1797.61/1798.19 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.61/1798.19 c propagation : 0.46 673 672 6649 129.7 0 0.0 -
1797.61/1798.19 c infeasible LP : 36.89 2101 1823 44253 458.8 4 26.0 0
1797.61/1798.19 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.61/1798.19 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.61/1798.19 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.61/1798.19 c applied globally : - - - 13659 199.9 - - -
1797.61/1798.19 c applied locally : - - - 0 0.0 - - -
1797.61/1798.19 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.61/1798.19 c cut pool : 0.02 5 - - 1153 - (maximal pool size: 2702)
1797.61/1798.19 c redcost : 3.68 3826 0 0 0 0
1797.61/1798.19 c impliedbounds : 0.00 6 0 0 0 0
1797.61/1798.19 c intobj : 0.00 0 0 0 0 0
1797.61/1798.19 c gomory : 0.21 6 0 0 79 0
1797.61/1798.19 c strongcg : 0.18 6 0 0 33 0
1797.61/1798.19 c cmir : 4.46 6 0 0 2702 0
1797.61/1798.19 c flowcover : 2.15 6 0 0 1203 0
1797.61/1798.19 c clique : 0.03 6 0 0 13 0
1797.61/1798.19 c zerohalf : 0.00 0 0 0 0 0
1797.61/1798.19 c mcf : 0.00 1 0 0 0 0
1797.61/1798.19 c Pricers : Time Calls Vars
1797.61/1798.19 c problem variables: 0.00 0 0
1797.61/1798.19 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.61/1798.19 c relpscost : 656.82 3821 17 1113 0 0 6930
1797.61/1798.19 c pscost : 0.00 0 0 0 0 0 0
1797.61/1798.19 c inference : 0.00 1 0 0 0 0 2
1797.61/1798.19 c mostinf : 0.00 0 0 0 0 0 0
1797.61/1798.19 c leastinf : 0.00 0 0 0 0 0 0
1797.61/1798.19 c fullstrong : 0.00 0 0 0 0 0 0
1797.61/1798.19 c allfullstrong : 0.00 0 0 0 0 0 0
1797.61/1798.19 c random : 0.00 0 0 0 0 0 0
1797.61/1798.19 c Primal Heuristics : Time Calls Found
1797.61/1798.19 c LP solutions : 0.00 - 0
1797.61/1798.19 c pseudo solutions : 0.00 - 0
1797.61/1798.19 c oneopt : 0.00 0 0
1797.61/1798.19 c crossover : 0.00 0 0
1797.61/1798.19 c guideddiving : 0.00 0 0
1797.61/1798.19 c veclendiving : 21.60 4 0
1797.61/1798.19 c linesearchdiving : 12.42 4 0
1797.61/1798.19 c coefdiving : 18.07 5 0
1797.61/1798.19 c pscostdiving : 34.53 5 0
1797.61/1798.19 c fracdiving : 44.28 5 0
1797.61/1798.19 c feaspump : 6.43 3 0
1797.61/1798.19 c objpscostdiving : 0.55 3 0
1797.61/1798.19 c rootsoldiving : 8.39 3 0
1797.61/1798.19 c simplerounding : 0.00 0 0
1797.61/1798.19 c rounding : 0.64 843 0
1797.61/1798.19 c shifting : 4.36 225 0
1797.61/1798.19 c intshifting : 0.00 0 0
1797.61/1798.19 c fixandinfer : 0.00 0 0
1797.61/1798.19 c intdiving : 0.00 0 0
1797.61/1798.19 c actconsdiving : 0.00 0 0
1797.61/1798.19 c octane : 0.00 0 0
1797.61/1798.19 c rens : 0.20 1 0
1797.61/1798.19 c rins : 0.00 0 0
1797.61/1798.19 c localbranching : 0.00 0 0
1797.61/1798.19 c mutation : 0.00 0 0
1797.61/1798.19 c dins : 0.00 0 0
1797.61/1798.19 c LP : Time Calls Iterations Iter/call Iter/sec
1797.61/1798.19 c primal LP : 0.00 0 0 0.00 -
1797.61/1798.19 c dual LP : 910.05 5757 983096 170.77 1080.27
1797.61/1798.19 c barrier LP : 0.00 0 0 0.00 -
1797.61/1798.19 c diving/probing LP: 120.70 6408 110381 17.23 914.51
1797.61/1798.19 c strong branching : 656.23 4228 623665 147.51 950.38
1797.61/1798.19 c (at root node) : - 35 30065 859.00 -
1797.61/1798.19 c conflict analysis: 0.00 0 0 0.00 -
1797.61/1798.19 c B&B Tree :
1797.61/1798.19 c number of runs : 1
1797.61/1798.19 c nodes : 6076
1797.61/1798.19 c nodes (total) : 6076
1797.61/1798.19 c nodes left : 514
1797.61/1798.19 c max depth : 174
1797.61/1798.19 c max depth (total): 174
1797.61/1798.19 c backtracks : 299 (4.9%)
1797.61/1798.19 c delayed cutoffs : 343
1797.61/1798.19 c repropagations : 41756 (17129 domain reductions, 13 cutoffs)
1797.61/1798.19 c avg switch length: 15.07
1797.61/1798.19 c switching time : 5.45
1797.61/1798.19 c Solution :
1797.61/1798.19 c Solutions found : 0 (0 improvements)
1797.61/1798.19 c Primal Bound : -
1797.61/1798.19 c Dual Bound : +9.00000000000000e+00
1797.61/1798.19 c Gap : infinite
1797.61/1798.19 c Root Dual Bound : +9.00000000000000e+00
1797.80/1798.33 c Time complete: 1797.84.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870826-1245221098/watcher-1870826-1245221098 -o /tmp/evaluation-result-1870826-1245221098/solver-1870826-1245221098 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870826-1245221098.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 10818
/proc/meminfo: memFree=1838304/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=4648 CPUtime=0
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 501 0 0 0 0 0 0 0 18 0 1 0 189709237 4759552 485 1992294400 4194304 7823515 548682068736 18446744073709551615 6109072 0 0 4096 0 0 0 0 17 1 0 0
/proc/10818/statm: 1082 485 320 886 0 192 0
[startup+0.00971909 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 10818
/proc/meminfo: memFree=1838304/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=8408 CPUtime=0
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 1446 0 0 0 0 0 0 0 18 0 1 0 189709237 8609792 1428 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/10818/statm: 2135 1429 354 886 0 1245 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8408
[startup+0.101729 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 10818
/proc/meminfo: memFree=1838304/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=16464 CPUtime=0.09
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 3441 0 0 0 8 1 0 0 18 0 1 0 189709237 16859136 3423 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/10818/statm: 4116 3423 354 886 0 3226 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16464
[startup+0.301751 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 10818
/proc/meminfo: memFree=1838304/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=37860 CPUtime=0.29
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 9073 0 0 0 25 4 0 0 19 0 1 0 189709237 38768640 8701 1992294400 4194304 7823515 548682068736 18446744073709551615 6911387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 9499 8707 375 886 0 8609 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37860
[startup+0.701797 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 10818
/proc/meminfo: memFree=1838304/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=51920 CPUtime=0.69
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 12355 0 0 0 61 8 0 0 22 0 1 0 189709237 53166080 11983 1992294400 4194304 7823515 548682068736 18446744073709551615 4992332 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 12980 11983 440 886 0 12090 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51920
[startup+1.50189 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 10819
/proc/meminfo: memFree=1791704/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=52848 CPUtime=1.49
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 12587 0 0 0 141 8 0 0 25 0 1 0 189709237 54116352 12215 1992294400 4194304 7823515 548682068736 18446744073709551615 6908052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 13212 12215 440 886 0 12322 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52848
[startup+3.10107 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 10819
/proc/meminfo: memFree=1790168/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=70732 CPUtime=3.09
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 16667 0 0 0 299 10 0 0 25 0 1 0 189709237 72429568 16261 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 17683 16261 534 886 0 16793 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 70732
[startup+6.30143 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 10819
/proc/meminfo: memFree=1768224/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=76300 CPUtime=6.29
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 18690 0 0 0 617 12 0 0 25 0 1 0 189709237 78131200 18025 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 19075 18025 562 886 0 18185 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 76300
[startup+12.7012 s]
/proc/loadavg: 0.94 0.98 0.99 2/66 10819
/proc/meminfo: memFree=1760056/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=84620 CPUtime=12.69
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 20663 0 0 0 1254 15 0 0 25 0 1 0 189709237 86650880 19998 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 21155 19998 562 886 0 20265 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84620
[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 10819
/proc/meminfo: memFree=1757312/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=88320 CPUtime=25.49
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 29115 0 0 0 2527 22 0 0 25 0 1 0 189709237 90439680 20704 1992294400 4194304 7823515 548682068736 18446744073709551615 6180646 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 22080 20704 574 886 0 21190 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 88320
[startup+51.1015 s]
/proc/loadavg: 0.97 0.98 0.99 2/66 10819
/proc/meminfo: memFree=1757312/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=88320 CPUtime=51.08
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 29125 0 0 0 5080 28 0 0 25 0 1 0 189709237 90439680 20714 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 22080 20714 574 886 0 21190 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 88320
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 10819
/proc/meminfo: memFree=1757056/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=88320 CPUtime=102.27
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 29194 0 0 0 10184 43 0 0 25 0 1 0 189709237 90439680 20783 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 22080 20783 574 886 0 21190 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 88320
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10819
/proc/meminfo: memFree=1756992/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=88320 CPUtime=162.25
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 29194 0 0 0 16168 57 0 0 25 0 1 0 189709237 90439680 20783 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 22080 20783 574 886 0 21190 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 88320
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10819
/proc/meminfo: memFree=1756800/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=89076 CPUtime=222.23
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 29246 0 0 0 22149 74 0 0 25 0 1 0 189709237 91213824 20835 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 22269 20835 575 886 0 21379 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 89076
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10819
/proc/meminfo: memFree=1749120/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=96168 CPUtime=282.21
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 31177 0 0 0 28126 95 0 0 25 0 1 0 189709237 98476032 22760 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 24042 22760 580 886 0 23152 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 96168
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10819
/proc/meminfo: memFree=1746816/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=98396 CPUtime=342.2
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 31743 0 0 0 34106 114 0 0 25 0 1 0 189709237 100757504 23326 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 24599 23326 580 886 0 23709 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 98396
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10819
/proc/meminfo: memFree=1742848/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=102392 CPUtime=402.18
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 32738 0 0 0 40083 135 0 0 25 0 1 0 189709237 104849408 24321 1992294400 4194304 7823515 548682068736 18446744073709551615 6236677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 25598 24321 580 886 0 24708 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 102392
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10821
/proc/meminfo: memFree=1738360/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=106968 CPUtime=462.17
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 34633 0 0 0 46061 156 0 0 25 0 1 0 189709237 109535232 25390 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 26742 25390 580 886 0 25852 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 106968
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10821
/proc/meminfo: memFree=1733888/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=111552 CPUtime=522.15
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 37421 0 0 0 52038 177 0 0 25 0 1 0 189709237 114229248 26539 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 27888 26539 580 886 0 26998 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 111552
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10821
/proc/meminfo: memFree=1732416/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=112980 CPUtime=582.13
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 39696 0 0 0 58016 197 0 0 25 0 1 0 189709237 115691520 26909 1992294400 4194304 7823515 548682068736 18446744073709551615 4265889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 28245 26909 580 886 0 27355 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 112980
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10821
/proc/meminfo: memFree=1729728/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=116000 CPUtime=642.12
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 40807 0 0 0 63994 218 0 0 25 0 1 0 189709237 118784000 27576 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 29000 27576 580 886 0 28110 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 116000
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1721848/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=122868 CPUtime=1062
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 60345 0 0 0 105830 370 0 0 25 0 1 0 189709237 125816832 29458 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 30717 29458 580 886 0 29827 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 122868
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10827
/proc/meminfo: memFree=1721208/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=123476 CPUtime=1121.99
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 61058 0 0 0 111808 391 0 0 25 0 1 0 189709237 126439424 29624 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 30869 29624 580 886 0 29979 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 123476
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10827
/proc/meminfo: memFree=1720632/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=124828 CPUtime=1181.97
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 65855 0 0 0 117783 414 0 0 25 0 1 0 189709237 127823872 29924 1992294400 4194304 7823515 548682068736 18446744073709551615 6912101 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 31207 29930 580 886 0 30317 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 124828
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10827
/proc/meminfo: memFree=1721976/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=122712 CPUtime=1241.95
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 70723 0 0 0 123761 434 0 0 25 0 1 0 189709237 125657088 29426 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 30678 29426 580 886 0 29788 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 122712
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10827
/proc/meminfo: memFree=1720640/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=124096 CPUtime=1301.94
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 73345 0 0 0 129736 458 0 0 25 0 1 0 189709237 127074304 29754 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 31024 29754 580 886 0 30134 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 124096
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10827
/proc/meminfo: memFree=1719808/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=124888 CPUtime=1361.92
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 74891 0 0 0 135711 481 0 0 25 0 1 0 189709237 127885312 29962 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 31222 29962 580 886 0 30332 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 124888
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10827
/proc/meminfo: memFree=1720000/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=124972 CPUtime=1421.91
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 76654 0 0 0 141691 500 0 0 25 0 1 0 189709237 127971328 29909 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 31243 29909 580 886 0 30353 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 124972
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10827
/proc/meminfo: memFree=1718400/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=126896 CPUtime=1481.89
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 77754 0 0 0 147669 520 0 0 25 0 1 0 189709237 129941504 30309 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 31724 30309 580 886 0 30834 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 126896
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10827
/proc/meminfo: memFree=1717504/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=127068 CPUtime=1541.88
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 78473 0 0 0 153648 540 0 0 25 0 1 0 189709237 130117632 30519 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 31767 30519 580 886 0 30877 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 127068
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10827
/proc/meminfo: memFree=1716032/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=128496 CPUtime=1601.86
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 79275 0 0 0 159627 559 0 0 25 0 1 0 189709237 131579904 30885 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 32124 30885 580 886 0 31234 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 128496
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10827
/proc/meminfo: memFree=1717376/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=127232 CPUtime=1661.84
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 82280 0 0 0 165606 578 0 0 25 0 1 0 189709237 130285568 30547 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 31808 30547 580 886 0 30918 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 127232
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10827
/proc/meminfo: memFree=1715968/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=128748 CPUtime=1721.82
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 87238 0 0 0 171582 600 0 0 25 0 1 0 189709237 131837952 30898 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 32187 30898 580 886 0 31297 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 128748
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10827
/proc/meminfo: memFree=1714688/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=130628 CPUtime=1781.81
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 89373 0 0 0 177556 625 0 0 25 0 1 0 189709237 133763072 31209 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 32657 31209 580 886 0 31767 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 130628
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10827
/proc/meminfo: memFree=1714560/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=130036 CPUtime=1791.41
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 90779 0 0 0 178512 629 0 0 25 0 1 0 189709237 133156864 31242 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 32509 31242 580 886 0 31619 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 130036
[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10827
/proc/meminfo: memFree=1714560/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=130204 CPUtime=1794.61
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 90780 0 0 0 178831 630 0 0 25 0 1 0 189709237 133328896 31243 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 32551 31243 580 886 0 31661 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 130204
[startup+1796.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10827
/proc/meminfo: memFree=1714560/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=130204 CPUtime=1796.21
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 90780 0 0 0 178990 631 0 0 25 0 1 0 189709237 133328896 31243 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 32551 31243 580 886 0 31661 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (KiB) 130204
[startup+1797.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10827
/proc/meminfo: memFree=1714048/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=130684 CPUtime=1797.01
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 90905 0 0 0 179070 631 0 0 25 0 1 0 189709237 133820416 31368 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 32671 31368 580 886 0 31781 0
Current children cumulated CPU time (s) 1797.01
Current children cumulated vsize (KiB) 130684
[startup+1797.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10827
/proc/meminfo: memFree=1714048/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=130684 CPUtime=1797.41
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 90905 0 0 0 179110 631 0 0 25 0 1 0 189709237 133820416 31368 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10818/statm: 32671 31368 580 886 0 31781 0
Current children cumulated CPU time (s) 1797.41
Current children cumulated vsize (KiB) 130684
[startup+1798.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10827
/proc/meminfo: memFree=1714048/2055920 swapFree=4181084/4192956
[pid=10818] ppid=10816 vsize=119924 CPUtime=1797.8
/proc/10818/stat : 10818 (pbscip.linux.x8) R 10816 10818 10781 0 -1 4194304 90907 0 0 0 179149 631 0 0 25 0 1 0 189709237 122802176 29164 1992294400 4194304 7823515 548682068736 18446744073709551615 6962503 0 0 4096 0 0 0 0 17 1 0 0
/proc/10818/statm: 29981 29164 582 886 0 29091 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 119924
Child status: 0
Real time (s): 1798.34
CPU time (s): 1797.85
CPU user time (s): 1791.51
CPU system time (s): 6.33704
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 130956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.51
system time used= 6.33704
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90910
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= 4
involuntary context switches= 2266
runsolver used 2.09568 second user time and 3.66844 second system time
The end