0.00/0.03 c SCIP version 1.1.0.7
0.00/0.03 c LP-Solver SoPlex 1.4.1
0.00/0.03 c user parameter file <scip.set> not found - using default parameters
0.00/0.03 c read problem <HOME/instance-1868670-1245132092.opb>
0.00/0.03 c original problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 1059 constraints
0.00/0.03 c start presolving problem
0.00/0.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 81 chg sides, 81 chg coeffs, 0 upgd conss, 336 impls, 0 clqs
0.00/0.06 c (round 2) 0 del vars, 168 del conss, 0 chg bounds, 81 chg sides, 81 chg coeffs, 881 upgd conss, 336 impls, 0 clqs
0.00/0.07 c (round 3) 0 del vars, 168 del conss, 0 chg bounds, 84 chg sides, 87 chg coeffs, 881 upgd conss, 342 impls, 0 clqs
0.00/0.07 c (round 4) 0 del vars, 168 del conss, 0 chg bounds, 85 chg sides, 88 chg coeffs, 881 upgd conss, 342 impls, 0 clqs
0.00/0.09 c (0.1s) probing: 101/464 (21.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.09 c presolving (5 rounds):
0.00/0.09 c 0 deleted vars, 168 deleted constraints, 0 tightened bounds, 0 added holes, 85 changed sides, 88 changed coefficients
0.00/0.09 c 342 implications, 0 cliques
0.00/0.09 c presolved problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 894 constraints
0.00/0.09 c 673 constraints of type <knapsack>
0.00/0.09 c 3 constraints of type <setppc>
0.00/0.09 c 10 constraints of type <linear>
0.00/0.09 c 208 constraints of type <logicor>
0.00/0.09 c transformed objective value is always integral (scale: 1)
0.00/0.09 c Presolving Time: 0.04
0.00/0.09 c OPT-LIN
0.00/0.09 c -----------------------------------------------------------------------------------------------
0.00/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09 c limits/memory = c 1620
0.00/0.09 c # maximal time in seconds to run
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09 c limits/time = c 1791
0.00/0.09 c # frequency for displaying node information lines
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.09 c display/freq = c 10000
0.00/0.09 c -----------------------------------------------------------------------------------------------
0.00/0.09 c start solving problem
0.00/0.09 c
0.09/0.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.11 c 0.1s| 1 | 0 | 304 |3010k| 0 | 196 | 464 | 894 | 894 | 464 | 894 | 0 | 0 | 0 | 9.700000e+01 | -- | Inf
0.39/0.41 c 0.4s| 1 | 0 | 1363 |3613k| 0 | 289 | 464 | 894 | 894 | 464 |1128 | 234 | 0 | 0 | 9.800000e+01 | -- | Inf
0.69/0.79 c 0.7s| 1 | 0 | 1802 |4606k| 0 | 276 | 464 | 894 | 894 | 464 |1348 | 454 | 0 | 0 | 9.900000e+01 | -- | Inf
1.09/1.19 c 1.1s| 1 | 0 | 2291 |5712k| 0 | 273 | 464 | 894 | 894 | 464 |1508 | 614 | 0 | 0 | 9.900000e+01 | -- | Inf
1.79/1.87 c 1.8s| 1 | 0 | 2979 |5871k| 0 | 267 | 464 | 894 | 894 | 464 |1620 | 726 | 0 | 0 | 9.900000e+01 | -- | Inf
2.39/2.46 c 2.4s| 1 | 0 | 3462 |6078k| 0 | 268 | 464 | 894 | 894 | 464 |1710 | 816 | 0 | 0 | 9.900000e+01 | -- | Inf
3.09/3.17 c 3.1s| 1 | 0 | 4123 |6185k| 0 | 265 | 464 | 894 | 894 | 464 |1765 | 871 | 0 | 0 | 9.900000e+01 | -- | Inf
3.79/3.85 c 3.8s| 1 | 0 | 4588 |7089k| 0 | 281 | 464 | 894 | 894 | 464 |1824 | 930 | 0 | 0 | 9.900000e+01 | -- | Inf
22.19/22.23 c 22.0s| 1 | 2 | 4588 |7090k| 0 | 281 | 464 | 894 | 894 | 464 |1824 | 930 | 0 | 56 | 9.900000e+01 | -- | Inf
736.41/736.66 c 730s| 10000 | 8032 | 2000k| 15M| 52 | 154 | 464 |1846 |1351 | 464 |1362 | 930 |5171 |3117 | 9.912500e+01 | -- | Inf
1239.58/1239.92 c 1228s| 20000 | 15241 | 3680k| 24M| 57 | 219 | 464 |2131 |1714 | 464 |1362 | 930 | 12k|4048 | 9.921429e+01 | -- | Inf
1654.68/1655.11 c 1639s| 30000 | 20855 | 5050k| 31M| 64 | 209 | 464 |2465 |2053 | 464 |1362 | 930 | 22k|4951 | 9.939256e+01 | -- | Inf
1800.05/1800.51 c
1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time (sec) : 1783.42
1800.05/1800.51 c Solving Nodes : 33665
1800.05/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.51 c Dual Bound : +9.94250000000000e+01
1800.05/1800.51 c Gap : infinite
1800.05/1800.51 c NODE 33665
1800.05/1800.51 c DUAL BOUND 99.425
1800.05/1800.51 c PRIMAL BOUND 1e+20
1800.05/1800.51 c GAP 1e+20
1800.05/1800.51 s UNKNOWN
1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time : 1783.42
1800.05/1800.51 c Original Problem :
1800.05/1800.51 c Problem name : HOME/instance-1868670-1245132092.opb
1800.05/1800.51 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 1059 initial, 1059 maximal
1800.05/1800.51 c Presolved Problem :
1800.05/1800.51 c Problem name : t_HOME/instance-1868670-1245132092.opb
1800.05/1800.51 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 894 initial, 2857 maximal
1800.05/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.51 c knapsack : 0.01 0 0 0 0 0 0 4 7
1800.05/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c linear : 0.02 0 0 0 0 0 168 81 81
1800.05/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c root node : - 0 - - 0 - - - -
1800.05/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c integral : 0 0 0 29567 0 6 877 0 0 57960
1800.05/1800.51 c knapsack : 673 7 191032 0 0 2690 140931 802 0 0
1800.05/1800.51 c setppc : 3 7 59712 0 0 0 532 0 0 0
1800.05/1800.51 c linear : 10 7 188342 0 0 426 9031 5 0 0
1800.05/1800.51 c logicor : 208+ 7 144259 0 0 1923 118777 0 0 0
1800.05/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.51 c integral : 210.52 0.00 0.00 210.52 0.00
1800.05/1800.51 c knapsack : 9.29 0.02 9.27 0.00 0.00
1800.05/1800.51 c setppc : 0.08 0.00 0.08 0.00 0.00
1800.05/1800.51 c linear : 2.79 0.00 2.79 0.00 0.00
1800.05/1800.51 c logicor : 5.75 0.00 5.75 0.00 0.00
1800.05/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.51 c rootredcost : 0.09 0 0 0
1800.05/1800.51 c pseudoobj : 0.33 190989 0 0
1800.05/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.51 c propagation : 0.24 5039 5014 21090 16.4 1071 8.8 -
1800.05/1800.51 c infeasible LP : 1.80 5823 5823 21262 17.1 727 7.4 0
1800.05/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.51 c applied globally : - - - 26975 13.4 - - -
1800.05/1800.51 c applied locally : - - - 0 0.0 - - -
1800.05/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.51 c cut pool : 0.01 6 - - 742 - (maximal pool size: 4105)
1800.05/1800.51 c redcost : 0.72 29576 0 4 0 0
1800.05/1800.51 c impliedbounds : 0.00 7 0 0 0 0
1800.05/1800.51 c intobj : 0.00 0 0 0 0 0
1800.05/1800.51 c gomory : 0.90 7 0 0 1768 0
1800.05/1800.51 c strongcg : 0.64 7 0 0 2223 0
1800.05/1800.51 c cmir : 0.25 7 0 0 759 0
1800.05/1800.51 c flowcover : 0.32 7 0 0 1204 0
1800.05/1800.51 c clique : 0.00 1 0 0 0 0
1800.05/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.51 c mcf : 0.00 1 0 0 0 0
1800.05/1800.51 c Pricers : Time Calls Vars
1800.05/1800.51 c problem variables: 0.00 0 0
1800.05/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c relpscost : 210.45 29567 6 877 0 0 57960
1800.05/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c random : 0.00 0 0 0 0 0 0
1800.05/1800.51 c Primal Heuristics : Time Calls Found
1800.05/1800.51 c LP solutions : 0.00 - 0
1800.05/1800.51 c pseudo solutions : 0.00 - 0
1800.05/1800.51 c oneopt : 0.00 0 0
1800.05/1800.51 c crossover : 0.01 0 0
1800.05/1800.51 c guideddiving : 0.01 0 0
1800.05/1800.51 c objpscostdiving : 17.43 39 0
1800.05/1800.51 c feaspump : 17.50 61 0
1800.05/1800.51 c rootsoldiving : 15.11 69 0
1800.05/1800.51 c veclendiving : 56.61 290 0
1800.05/1800.51 c pscostdiving : 66.34 310 0
1800.05/1800.51 c coefdiving : 68.89 364 0
1800.05/1800.51 c linesearchdiving : 69.64 426 0
1800.05/1800.51 c fracdiving : 71.45 470 0
1800.05/1800.51 c simplerounding : 0.06 0 0
1800.05/1800.51 c rounding : 0.63 2397 0
1800.05/1800.51 c shifting : 2.20 724 0
1800.05/1800.51 c intshifting : 0.00 0 0
1800.05/1800.51 c fixandinfer : 0.00 0 0
1800.05/1800.51 c intdiving : 0.00 0 0
1800.05/1800.51 c actconsdiving : 0.00 0 0
1800.05/1800.51 c octane : 0.00 0 0
1800.05/1800.51 c rens : 0.01 0 0
1800.05/1800.51 c rins : 0.00 0 0
1800.05/1800.51 c localbranching : 0.00 0 0
1800.05/1800.51 c mutation : 0.00 0 0
1800.05/1800.51 c dins : 0.00 0 0
1800.05/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.51 c dual LP : 1144.25 32126 4261896 132.66 3724.62
1800.05/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.51 c diving/probing LP: 350.94 46818 1271521 27.16 3623.19
1800.05/1800.51 c strong branching : 206.76 5171 712026 137.70 3443.73
1800.05/1800.51 c (at root node) : - 56 41878 747.82 -
1800.05/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.51 c B&B Tree :
1800.05/1800.51 c number of runs : 1
1800.05/1800.51 c nodes : 33665
1800.05/1800.51 c nodes (total) : 33665
1800.05/1800.51 c nodes left : 22508
1800.05/1800.51 c max depth : 64
1800.05/1800.51 c max depth (total): 64
1800.05/1800.51 c backtracks : 6079 (18.1%)
1800.05/1800.51 c delayed cutoffs : 1788
1800.05/1800.51 c repropagations : 16595 (54154 domain reductions, 507 cutoffs)
1800.05/1800.51 c avg switch length: 8.83
1800.05/1800.51 c switching time : 6.51
1800.05/1800.51 c Solution :
1800.05/1800.51 c Solutions found : 0 (0 improvements)
1800.05/1800.51 c Primal Bound : -
1800.05/1800.51 c Dual Bound : +9.94250000000000e+01
1800.05/1800.51 c Gap : infinite
1800.05/1800.51 c Root Dual Bound : +9.90000000000000e+01
1800.15/1800.61 c Time complete: 1800.16.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868670-1245132092/watcher-1868670-1245132092 -o /tmp/evaluation-result-1868670-1245132092/solver-1868670-1245132092 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868670-1245132092.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 1789
/proc/meminfo: memFree=1954664/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=4324 CPUtime=0
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 464 0 0 0 0 0 0 0 18 0 1 0 180809370 4427776 448 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/1789/statm: 1081 451 288 886 0 191 0
[startup+0.093181 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1789
/proc/meminfo: memFree=1954664/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=16208 CPUtime=0.08
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 3532 0 0 0 7 1 0 0 18 0 1 0 180809370 16596992 3160 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 4087 3161 487 886 0 3197 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16208
[startup+0.102182 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1789
/proc/meminfo: memFree=1954664/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=17400 CPUtime=0.09
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 3935 0 0 0 8 1 0 0 18 0 1 0 180809370 17817600 3532 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 4350 3532 516 886 0 3460 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17400
[startup+0.302201 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1789
/proc/meminfo: memFree=1954664/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=18520 CPUtime=0.29
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 4289 0 0 0 27 2 0 0 19 0 1 0 180809370 18964480 3883 1992294400 4194304 7823515 548682068736 18446744073709551615 5573058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 4630 3883 547 886 0 3740 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18520
[startup+0.701239 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1789
/proc/meminfo: memFree=1954664/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=21800 CPUtime=0.69
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 5130 0 0 0 67 2 0 0 23 0 1 0 180809370 22323200 4691 1992294400 4194304 7823515 548682068736 18446744073709551615 6211603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 5450 4691 559 886 0 4560 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21800
[startup+1.50132 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1935392/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=25344 CPUtime=1.49
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 6024 0 0 0 146 3 0 0 25 0 1 0 180809370 25952256 5568 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 6336 5568 559 886 0 5446 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25344
[startup+3.10147 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1931552/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=28016 CPUtime=3.09
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 6745 0 0 0 304 5 0 0 25 0 1 0 180809370 28688384 6252 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 7004 6252 559 886 0 6114 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28016
[startup+6.30178 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1925992/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=34160 CPUtime=6.29
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 8131 0 0 0 621 8 0 0 25 0 1 0 180809370 34979840 7638 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 8540 7638 562 886 0 7650 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34160
[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1926120/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=34160 CPUtime=12.68
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 8131 0 0 0 1257 11 0 0 25 0 1 0 180809370 34979840 7638 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 8540 7638 562 886 0 7650 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34160
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1926120/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=34160 CPUtime=25.49
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 8132 0 0 0 2530 19 0 0 25 0 1 0 180809370 34979840 7639 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 8540 7639 563 886 0 7650 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 34160
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1926120/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=34160 CPUtime=51.07
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 8135 0 0 0 5068 39 0 0 25 0 1 0 180809370 34979840 7642 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 8540 7642 564 886 0 7650 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34160
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1926120/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=34160 CPUtime=102.27
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 8144 0 0 0 10144 83 0 0 25 0 1 0 180809370 34979840 7651 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 8540 7651 570 886 0 7650 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34160
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1926056/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=34160 CPUtime=162.25
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 8145 0 0 0 16094 131 0 0 25 0 1 0 180809370 34979840 7652 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 8540 7652 570 886 0 7650 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 34160
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1925992/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=34160 CPUtime=222.23
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 8149 0 0 0 22041 182 0 0 25 0 1 0 180809370 34979840 7656 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 8540 7656 570 886 0 7650 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 34160
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1926120/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=34160 CPUtime=282.22
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 8152 0 0 0 27988 234 0 0 25 0 1 0 180809370 34979840 7659 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 8540 7659 570 886 0 7650 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 34160
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1925160/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=35020 CPUtime=342.2
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 8375 0 0 0 33936 284 0 0 25 0 1 0 180809370 35860480 7882 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 8755 7882 570 886 0 7865 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 35020
[startup+402.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1924456/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=35656 CPUtime=402.18
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 8536 0 0 0 39884 334 0 0 25 0 1 0 180809370 36511744 8043 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 8914 8043 570 886 0 8024 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 35656
[startup+462.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1924072/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=36120 CPUtime=462.17
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 8627 0 0 0 45831 386 0 0 25 0 1 0 180809370 36986880 8134 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 9030 8134 570 886 0 8140 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 36120
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1922216/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=37992 CPUtime=522.15
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 9122 0 0 0 51774 441 0 0 25 0 1 0 180809370 38903808 8629 1992294400 4194304 7823515 548682068736 18446744073709551615 6211376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 9498 8629 570 886 0 8608 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 37992
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1920552/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=39428 CPUtime=582.15
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 9497 0 0 0 57719 496 0 0 25 0 1 0 180809370 40374272 9004 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 9857 9004 570 886 0 8967 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 39428
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1920488/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=39428 CPUtime=642.13
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 9501 0 0 0 63664 549 0 0 25 0 1 0 180809370 40374272 9008 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 9857 9008 570 886 0 8967 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 39428
[startup+702.302 s]
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1915688/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=44008 CPUtime=882.07
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 10676 0 0 0 87433 774 0 0 25 0 1 0 180809370 45064192 10183 1992294400 4194304 7823515 548682068736 18446744073709551615 6131114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 11002 10183 570 886 0 10112 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 44008
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1914280/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=45660 CPUtime=942.05
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 11061 0 0 0 93378 827 0 0 25 0 1 0 180809370 46755840 10568 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 11415 10568 570 886 0 10525 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 45660
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1912680/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=47164 CPUtime=1002.04
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 11416 0 0 0 99322 882 0 0 25 0 1 0 180809370 48295936 10923 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 11791 10923 570 886 0 10901 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 47164
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1911272/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=48360 CPUtime=1062.03
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 11746 0 0 0 105265 938 0 0 25 0 1 0 180809370 49520640 11253 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 12090 11253 570 886 0 11200 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 48360
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1910440/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=49180 CPUtime=1122.01
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 11944 0 0 0 111207 994 0 0 25 0 1 0 180809370 50360320 11451 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 12295 11451 570 886 0 11405 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 49180
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1909608/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=49840 CPUtime=1182
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 12165 0 0 0 117150 1050 0 0 25 0 1 0 180809370 51036160 11657 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 12460 11657 570 886 0 11570 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 49840
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1908776/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=50772 CPUtime=1241.97
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 12369 0 0 0 123083 1114 0 0 25 0 1 0 180809370 51990528 11861 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 12693 11861 570 886 0 11803 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 50772
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1790
/proc/meminfo: memFree=1907368/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=52088 CPUtime=1301.97
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 12702 0 0 0 129020 1177 0 0 25 0 1 0 180809370 53338112 12194 1992294400 4194304 7823515 548682068736 18446744073709551615 5734747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 13022 12194 570 886 0 12132 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 52088
[startup+1362.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 1790
/proc/meminfo: memFree=1906280/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=53368 CPUtime=1361.95
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 13026 0 0 0 134960 1235 0 0 25 0 1 0 180809370 54648832 12517 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 13342 12517 570 886 0 12452 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 53368
[startup+1422.31 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 1790
/proc/meminfo: memFree=1904424/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=54924 CPUtime=1421.94
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 13419 0 0 0 140900 1294 0 0 25 0 1 0 180809370 56242176 12910 1992294400 4194304 7823515 548682068736 18446744073709551615 6099727 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 13731 12910 570 886 0 12841 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 54924
[startup+1482.3 s]
/proc/loadavg: 1.15 1.05 1.01 2/65 1790
/proc/meminfo: memFree=1901608/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=57836 CPUtime=1481.91
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 14115 0 0 0 146839 1352 0 0 25 0 1 0 180809370 59224064 13606 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 14459 13606 570 886 0 13569 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 57836
[startup+1542.3 s]
/proc/loadavg: 1.11 1.06 1.01 2/65 1790
/proc/meminfo: memFree=1901160/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=58096 CPUtime=1541.9
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 14228 0 0 0 152777 1413 0 0 25 0 1 0 180809370 59490304 13719 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 14524 13719 570 886 0 13634 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 58096
[startup+1602.3 s]
/proc/loadavg: 1.04 1.04 1.00 2/65 1790
/proc/meminfo: memFree=1900136/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=59448 CPUtime=1601.89
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 14462 0 0 0 158718 1471 0 0 25 0 1 0 180809370 60874752 13953 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 14862 13953 570 886 0 13972 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 59448
[startup+1662.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 1790
/proc/meminfo: memFree=1898920/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=60216 CPUtime=1661.87
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 14754 0 0 0 164661 1526 0 0 25 0 1 0 180809370 61661184 14245 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 15054 14245 570 886 0 14164 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 60216
[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 1790
/proc/meminfo: memFree=1898408/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=60760 CPUtime=1721.86
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 14874 0 0 0 170599 1587 0 0 25 0 1 0 180809370 62218240 14365 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 15190 14365 570 886 0 14300 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 60760
[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 1790
/proc/meminfo: memFree=1896936/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=62176 CPUtime=1781.84
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 15250 0 0 0 176543 1641 0 0 25 0 1 0 180809370 63668224 14741 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 15544 14741 570 886 0 14654 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 62176
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 1790
/proc/meminfo: memFree=1896104/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=62964 CPUtime=1800.05
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 15482 0 0 0 178344 1661 0 0 25 0 1 0 180809370 64475136 14942 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1789/statm: 15741 14942 570 886 0 14851 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 62964
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.61 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 1791
/proc/meminfo: memFree=1897952/2055920 swapFree=4181652/4192956
[pid=1789] ppid=1787 vsize=53668 CPUtime=1800.15
/proc/1789/stat : 1789 (pbscip.linux.x8) R 1787 1789 1289 0 -1 4194304 15486 0 0 0 178354 1661 0 0 24 0 1 0 180809370 54956032 12796 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/1789/statm: 13417 12796 1080 886 0 12527 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 53668
Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.17
CPU user time (s): 1783.54
CPU system time (s): 16.6215
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 62964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.54
system time used= 16.6215
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15489
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2262
runsolver used 1.36679 second user time and 3.80442 second system time
The end