0.48/0.58 c SCIP version 1.1.0.7
0.48/0.58 c LP-Solver SoPlex 1.4.1
0.48/0.58 c user parameter file <scip.set> not found - using default parameters
0.48/0.58 c read problem <HOME/instance-3735027-1338707419.opb>
0.48/0.58 c original problem has 10998 variables (10998 bin, 0 int, 0 impl, 0 cont) and 21679 constraints
0.68/0.73 c start presolving problem
0.68/0.73 c presolving:
0.79/0.89 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 1 chg sides, 1172 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.89/0.96 c (round 2) 1 del vars, 9946 del conss, 1 chg bounds, 1 chg sides, 1172 chg coeffs, 903 upgd conss, 0 impls, 0 clqs
1.10/1.15 c (round 3) 1 del vars, 9946 del conss, 1 chg bounds, 25 chg sides, 1233 chg coeffs, 1788 upgd conss, 748 impls, 12 clqs
1.29/1.36 c (round 4) 1 del vars, 9946 del conss, 1 chg bounds, 61 chg sides, 1315 chg coeffs, 1788 upgd conss, 748 impls, 12 clqs
2.89/2.99 c (2.4s) probing: 121/10997 (1.1%) - 0 fixings, 0 aggregations, 133 implications, 0 bound changes
2.89/2.99 c (2.4s) probing aborted: 100/100 successive totally useless probings
2.89/3.00 c presolving (5 rounds):
2.89/3.00 c 1 deleted vars, 9946 deleted constraints, 1 tightened bounds, 0 added holes, 61 changed sides, 1323 changed coefficients
2.89/3.00 c 1014 implications, 12 cliques
2.89/3.00 c presolved problem has 10997 variables (10997 bin, 0 int, 0 impl, 0 cont) and 11745 constraints
2.89/3.00 c 1788 constraints of type <knapsack>
2.89/3.00 c 12 constraints of type <setppc>
2.89/3.00 c 9945 constraints of type <linear>
2.89/3.00 c transformed objective value is always integral (scale: 1)
2.89/3.00 c Presolving Time: 2.24
2.99/3.00 c OPT-LIN
2.99/3.00 c -----------------------------------------------------------------------------------------------
2.99/3.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.99/3.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.00 c limits/memory = c 13950
2.99/3.00 c # maximal time in seconds to run
2.99/3.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.00 c limits/time = c 1791
2.99/3.00 c # frequency for displaying node information lines
2.99/3.00 c # [type: int, range: [-1,2147483647], default: 100]
2.99/3.00 c display/freq = c 10000
2.99/3.00 c -----------------------------------------------------------------------------------------------
2.99/3.00 c start solving problem
2.99/3.00 c
4.58/4.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.58/4.69 c 4.0s| 1 | 0 | 4884 | 102M| 0 |3905 | 10k| 11k| 11k| 10k| 11k| 0 | 0 | 0 | 1.710000e+02 | -- | Inf
18.69/18.72 c 18.0s| 1 | 0 | 15751 | 103M| 0 |4801 | 10k| 11k| 11k| 10k| 11k| 125 | 0 | 0 | 1.710000e+02 | -- | Inf
25.38/25.47 c 24.7s| 1 | 0 | 18719 | 104M| 0 |5071 | 10k| 11k| 11k| 10k| 11k| 239 | 0 | 0 | 1.710000e+02 | -- | Inf
53.18/53.20 c 52.4s| 1 | 0 | 33576 | 104M| 0 |7212 | 10k| 11k| 11k| 10k| 12k| 338 | 0 | 0 | 1.710000e+02 | -- | Inf
71.17/71.23 c 70.4s| 1 | 0 | 42326 | 105M| 0 |7428 | 10k| 11k| 11k| 10k| 12k| 493 | 0 | 0 | 1.710000e+02 | -- | Inf
88.57/88.62 c 87.8s| 1 | 0 | 49936 | 106M| 0 |7208 | 10k| 11k| 11k| 10k| 12k| 634 | 0 | 0 | 1.710000e+02 | -- | Inf
113.56/113.66 c 113s| 1 | 0 | 60716 | 106M| 0 |6570 | 10k| 11k| 11k| 10k| 12k| 785 | 0 | 0 | 1.710000e+02 | -- | Inf
165.65/165.73 c 165s| 1 | 2 | 60716 | 106M| 0 |6570 | 10k| 11k| 11k| 10k| 12k| 785 | 0 | 24 | 1.710000e+02 | -- | Inf
1793.71/1794.05 c
1793.71/1794.05 c SCIP Status : solving was interrupted [time limit reached]
1793.71/1794.05 c Solving Time (sec) : 1791.00
1793.71/1794.05 c Solving Nodes : 298
1793.71/1794.05 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1793.71/1794.05 c Dual Bound : +1.71000000000000e+02
1793.71/1794.05 c Gap : infinite
1793.71/1794.05 c NODE 298
1793.71/1794.05 c DUAL BOUND 171
1793.71/1794.05 c PRIMAL BOUND 1e+20
1793.71/1794.05 c GAP 1e+20
1793.71/1794.05 s UNKNOWN
1793.71/1794.05 c SCIP Status : solving was interrupted [time limit reached]
1793.71/1794.05 c Solving Time : 1791.00
1793.71/1794.05 c Original Problem :
1793.71/1794.05 c Problem name : HOME/instance-3735027-1338707419.opb
1793.71/1794.05 c Variables : 10998 (10998 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.71/1794.05 c Constraints : 21679 initial, 21679 maximal
1793.71/1794.05 c Presolved Problem :
1793.71/1794.05 c Problem name : t_HOME/instance-3735027-1338707419.opb
1793.71/1794.05 c Variables : 10997 (10997 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.71/1794.05 c Constraints : 11745 initial, 12062 maximal
1793.71/1794.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1793.71/1794.05 c trivial : 0.00 0 0 0 0 0 0 0 0
1793.71/1794.05 c dualfix : 0.00 0 0 0 0 0 0 0 0
1793.71/1794.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1793.71/1794.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1793.71/1794.05 c implics : 0.01 0 0 0 0 0 0 0 0
1793.71/1794.05 c probing : 1.61 0 0 0 0 0 0 0 0
1793.71/1794.05 c knapsack : 0.32 0 0 0 0 0 0 60 151
1793.71/1794.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1793.71/1794.05 c linear : 0.27 1 0 0 1 0 9946 1 1172
1793.71/1794.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1793.71/1794.05 c root node : - 0 - - 0 - - - -
1793.71/1794.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1793.71/1794.05 c integral : 0 0 0 243 0 0 66 0 0 454
1793.71/1794.05 c knapsack : 1788 6 2598 0 0 13 2805 1092 0 0
1793.71/1794.05 c setppc : 12 6 2389 0 0 0 22 0 0 0
1793.71/1794.05 c linear : 9945 6 2585 0 0 9 3739 0 0 0
1793.71/1794.05 c logicor : 0+ 0 453 0 0 2 116 0 0 0
1793.71/1794.05 c countsols : 0 0 0 0 0 0 0 0 0 0
1793.71/1794.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1793.71/1794.05 c integral : 413.27 0.00 0.00 413.27 0.00
1793.71/1794.05 c knapsack : 0.30 0.04 0.26 0.00 0.00
1793.71/1794.05 c setppc : 0.00 0.00 0.00 0.00 0.00
1793.71/1794.05 c linear : 6.24 0.01 6.23 0.00 0.00
1793.71/1794.05 c logicor : 0.02 0.00 0.02 0.00 0.00
1793.71/1794.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1793.71/1794.05 c Propagators : Time Calls Cutoffs DomReds
1793.71/1794.05 c rootredcost : 0.00 0 0 0
1793.71/1794.05 c pseudoobj : 0.00 2345 0 0
1793.71/1794.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1793.71/1794.05 c propagation : 0.00 24 24 94 22.1 0 0.0 -
1793.71/1794.05 c infeasible LP : 0.29 219 219 272 8.2 7 11.6 0
1793.71/1794.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1793.71/1794.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1793.71/1794.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1793.71/1794.05 c applied globally : - - - 317 10.0 - - -
1793.71/1794.05 c applied locally : - - - 0 0.0 - - -
1793.71/1794.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1793.71/1794.05 c cut pool : 0.00 5 - - 1130 - (maximal pool size: 5240)
1793.71/1794.05 c redcost : 0.06 249 0 1 0 0
1793.71/1794.05 c impliedbounds : 0.00 6 0 0 32 0
1793.71/1794.05 c intobj : 0.00 0 0 0 0 0
1793.71/1794.05 c gomory : 6.03 6 0 0 20 0
1793.71/1794.05 c strongcg : 5.96 6 0 0 2 0
1793.71/1794.05 c cmir : 3.68 6 0 0 3000 0
1793.71/1794.05 c flowcover : 4.67 6 0 0 1200 0
1793.71/1794.05 c clique : 0.01 6 0 0 3 0
1793.71/1794.05 c zerohalf : 0.00 0 0 0 0 0
1793.71/1794.05 c mcf : 0.00 1 0 0 0 0
1793.71/1794.05 c Pricers : Time Calls Vars
1793.71/1794.05 c problem variables: 0.00 0 0
1793.71/1794.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1793.71/1794.05 c relpscost : 413.27 243 0 66 0 0 454
1793.71/1794.05 c pscost : 0.00 0 0 0 0 0 0
1793.71/1794.05 c inference : 0.00 0 0 0 0 0 0
1793.71/1794.05 c mostinf : 0.00 0 0 0 0 0 0
1793.71/1794.05 c leastinf : 0.00 0 0 0 0 0 0
1793.71/1794.05 c fullstrong : 0.00 0 0 0 0 0 0
1793.71/1794.05 c allfullstrong : 0.00 0 0 0 0 0 0
1793.71/1794.06 c random : 0.00 0 0 0 0 0 0
1793.71/1794.06 c Primal Heuristics : Time Calls Found
1793.71/1794.06 c LP solutions : 0.00 - 0
1793.71/1794.06 c pseudo solutions : 0.00 - 0
1793.71/1794.06 c oneopt : 0.00 0 0
1793.71/1794.06 c crossover : 0.00 0 0
1793.71/1794.06 c pscostdiving : 78.72 4 0
1793.71/1794.06 c linesearchdiving : 38.39 9 0
1793.71/1794.06 c feaspump : 35.25 5 0
1793.71/1794.06 c simplerounding : 0.00 0 0
1793.71/1794.06 c rounding : 0.54 167 0
1793.71/1794.06 c shifting : 1.99 30 0
1793.71/1794.06 c intshifting : 0.00 0 0
1793.71/1794.06 c fixandinfer : 0.00 0 0
1793.71/1794.06 c coefdiving : 167.87 3 0
1793.71/1794.06 c fracdiving : 506.41 1 0
1793.71/1794.06 c veclendiving : 36.65 5 0
1793.71/1794.06 c intdiving : 0.00 0 0
1793.71/1794.06 c actconsdiving : 0.00 0 0
1793.71/1794.06 c objpscostdiving : 72.74 1 0
1793.71/1794.06 c rootsoldiving : 23.05 2 0
1793.71/1794.06 c guideddiving : 0.00 0 0
1793.71/1794.06 c octane : 0.00 0 0
1793.71/1794.06 c rens : 0.01 0 0
1793.71/1794.06 c rins : 0.00 0 0
1793.71/1794.06 c localbranching : 0.00 0 0
1793.71/1794.06 c mutation : 0.00 0 0
1793.71/1794.06 c dins : 0.00 0 0
1793.71/1794.06 c LP : Time Calls Iterations Iter/call Iter/sec
1793.71/1794.06 c primal LP : 0.10 0 0 0.00 0.00
1793.71/1794.06 c dual LP : 389.10 307 390062 1270.56 1002.47
1793.71/1794.06 c barrier LP : 0.00 0 0 0.00 -
1793.71/1794.06 c diving/probing LP: 953.25 1369 991849 724.51 1040.49
1793.71/1794.06 c strong branching : 413.14 424 332432 784.04 804.65
1793.71/1794.06 c (at root node) : - 24 22677 944.88 -
1793.71/1794.06 c conflict analysis: 0.00 0 0 0.00 -
1793.71/1794.06 c B&B Tree :
1793.71/1794.06 c number of runs : 1
1793.71/1794.06 c nodes : 298
1793.71/1794.06 c nodes (total) : 298
1793.71/1794.06 c nodes left : 154
1793.71/1794.06 c max depth : 78
1793.71/1794.06 c max depth (total): 78
1793.71/1794.06 c backtracks : 75 (25.2%)
1793.71/1794.06 c delayed cutoffs : 3
1793.71/1794.06 c repropagations : 610 (1021 domain reductions, 0 cutoffs)
1793.71/1794.06 c avg switch length: 6.17
1793.71/1794.06 c switching time : 0.52
1793.71/1794.06 c Solution :
1793.71/1794.06 c Solutions found : 0 (0 improvements)
1793.71/1794.06 c Primal Bound : -
1793.71/1794.06 c Dual Bound : +1.71000000000000e+02
1793.71/1794.06 c Gap : infinite
1793.71/1794.06 c Root Dual Bound : +1.71000000000000e+02
1793.81/1794.17 c Time complete: 1793.88.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735027-1338707419/watcher-3735027-1338707419 -o /tmp/evaluation-result-3735027-1338707419/solver-3735027-1338707419 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3735027-1338707419.opb
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17534
/proc/meminfo: memFree=30463420/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=8556 CPUtime=0 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 1504 0 0 0 0 0 0 0 20 0 1 0 336867794 8761344 1456 33554432000 4194304 7823515 140735636492384 140736066428776 5878822 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 2139 1456 354 887 0 1249 0
[startup+0.0905389 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17534
/proc/meminfo: memFree=30463420/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=13984 CPUtime=0.08 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 2848 0 0 0 8 0 0 0 20 0 1 0 336867794 14319616 2801 33554432000 4194304 7823515 140735636492384 140736066428776 5878822 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 3496 2803 354 887 0 2606 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13984
[startup+0.100251 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17534
/proc/meminfo: memFree=30463420/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=14492 CPUtime=0.09 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 2978 0 0 0 9 0 0 0 20 0 1 0 336867794 14839808 2930 33554432000 4194304 7823515 140735636492384 140736066428776 5542157 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 3623 2930 354 887 0 2733 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14492
[startup+0.300217 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17534
/proc/meminfo: memFree=30463420/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=25812 CPUtime=0.29 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 5808 0 0 0 29 0 0 0 20 0 1 0 336867794 26431488 5760 33554432000 4194304 7823515 140735636492384 140736066428776 6957168 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 6453 5760 354 887 0 5563 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25812
[startup+0.700243 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17534
/proc/meminfo: memFree=30463420/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=154088 CPUtime=0.68 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 37259 0 0 0 64 4 0 0 20 0 1 0 336867794 157786112 36857 33554432000 4194304 7823515 140735636492384 140736066428776 5012015 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 38522 36857 375 887 0 37632 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 154088
[startup+1.50025 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 17535
/proc/meminfo: memFree=30290316/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=184088 CPUtime=1.48 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 44680 0 0 0 141 7 0 0 20 0 1 0 336867794 188506112 44191 33554432000 4194304 7823515 140735636492384 140735636489320 5067111 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 46022 44191 452 887 0 45132 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 184088
[startup+3.10025 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 17535
/proc/meminfo: memFree=30287704/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=245964 CPUtime=3.09 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 54593 0 0 0 300 9 0 0 20 0 1 0 336867794 251867136 55365 33554432000 4194304 7823515 140735636492384 140735636489064 6912101 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 61491 55387 497 887 0 60601 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 245964
[startup+6.30023 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 17535
/proc/meminfo: memFree=30232568/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=248648 CPUtime=6.29 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 59438 0 0 0 618 11 0 0 20 0 1 0 336867794 254615552 57998 33554432000 4194304 7823515 140735636492384 140735636487144 6208315 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 62162 57998 535 887 0 61272 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 248648
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 17535
/proc/meminfo: memFree=30230060/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=250320 CPUtime=12.69 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 60160 0 0 0 1257 12 0 0 20 0 1 0 336867794 256327680 58701 33554432000 4194304 7823515 140735636492384 140735636487192 6237288 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 62580 58701 535 887 0 61690 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 250320
[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 17535
/proc/meminfo: memFree=30184712/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=298984 CPUtime=25.49 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 68714 0 0 0 2531 18 0 0 20 0 1 0 336867794 306159616 70128 33554432000 4194304 7823515 140735636492384 140735636487720 5396637 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 74746 70128 563 887 0 73856 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 298984
[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17535
/proc/meminfo: memFree=30149352/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=332768 CPUtime=51.08 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 71319 0 0 0 5087 21 0 0 20 0 1 0 336867794 340754432 78746 33554432000 4194304 7823515 140735636492384 140735636487048 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 83192 78746 563 887 0 82302 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 332768
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17535
/proc/meminfo: memFree=30129732/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=352416 CPUtime=102.28 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 77249 0 0 0 10196 32 0 0 20 0 1 0 336867794 360873984 83438 33554432000 4194304 7823515 140735636492384 140735636487048 6234848 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 88104 83438 563 887 0 87214 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 352416
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17536
/proc/meminfo: memFree=30152788/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=326364 CPUtime=162.25 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 80836 0 0 0 16189 36 0 0 20 0 1 0 336867794 334196736 77780 33554432000 4194304 7823515 140735636492384 140735636487080 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 81591 77780 567 887 0 80701 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 326364
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17536
/proc/meminfo: memFree=30139016/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=222.24 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81886 0 0 0 22184 40 0 0 20 0 1 0 336867794 345706496 80341 33554432000 4194304 7823515 140735636492384 140735636487080 6234848 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 80341 567 887 0 83511 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 337604
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17536
/proc/meminfo: memFree=30137984/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=282.24 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81886 0 0 0 28178 46 0 0 20 0 1 0 336867794 345706496 81139 33554432000 4194304 7823515 140735636492384 140735636486408 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81139 567 887 0 83511 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 337604
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17536
/proc/meminfo: memFree=30137244/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=342.23 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81886 0 0 0 34170 53 0 0 20 0 1 0 336867794 345706496 81139 33554432000 4194304 7823515 140735636492384 140735636487080 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81139 567 887 0 83511 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 337604
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17536
/proc/meminfo: memFree=30135776/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=402.21 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81886 0 0 0 40163 58 0 0 20 0 1 0 336867794 345706496 81139 33554432000 4194304 7823515 140735636492384 140735636486712 6234848 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81139 567 887 0 83511 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 337604
[startup+462.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 17536
/proc/meminfo: memFree=30119664/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=462.21 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81886 0 0 0 46157 64 0 0 20 0 1 0 336867794 345706496 81139 33554432000 4194304 7823515 140735636492384 140735636487176 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81139 567 887 0 83511 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 337604
[startup+522.301 s]
/proc/loadavg: 2.15 2.04 2.01 3/177 17537
/proc/meminfo: memFree=30107192/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=522.2 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81891 0 0 0 52150 70 0 0 20 0 1 0 336867794 345706496 81144 33554432000 4194304 7823515 140735636492384 140735636487528 6234848 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81144 572 887 0 83511 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 337604
[startup+582.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/177 17537
/proc/meminfo: memFree=30100620/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=582.19 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81891 0 0 0 58143 76 0 0 20 0 1 0 336867794 345706496 81144 33554432000 4194304 7823515 140735636492384 140735636487192 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81144 572 887 0 83511 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 337604
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30159308/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=1062.12 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81892 0 0 0 106083 129 0 0 20 0 1 0 336867794 345706496 81145 33554432000 4194304 7823515 140735636492384 140735636487160 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81145 573 887 0 83511 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 337604
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 17582
/proc/meminfo: memFree=30150320/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=1122.11 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81892 0 0 0 112077 134 0 0 20 0 1 0 336867794 345706496 81145 33554432000 4194304 7823515 140735636492384 140735636488296 6208304 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81145 573 887 0 83511 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 337604
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 17582
/proc/meminfo: memFree=30143532/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=1182.1 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81892 0 0 0 118068 142 0 0 20 0 1 0 336867794 345706496 81145 33554432000 4194304 7823515 140735636492384 140735636488248 6216932 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81145 573 887 0 83511 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 337604
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 17585
/proc/meminfo: memFree=30133612/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=1242.09 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81892 0 0 0 124061 148 0 0 20 0 1 0 336867794 345706496 81145 33554432000 4194304 7823515 140735636492384 140735636487080 6234850 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81145 573 887 0 83511 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 337604
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17585
/proc/meminfo: memFree=30125312/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=1302.08 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81893 0 0 0 130054 154 0 0 20 0 1 0 336867794 345706496 81146 33554432000 4194304 7823515 140735636492384 140735636487144 6234848 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81146 574 887 0 83511 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 337604
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17585
/proc/meminfo: memFree=30116632/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=1362.07 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81893 0 0 0 136042 165 0 0 20 0 1 0 336867794 345706496 81146 33554432000 4194304 7823515 140735636492384 140735636487048 6212400 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81146 574 887 0 83511 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 337604
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17586
/proc/meminfo: memFree=30109108/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=1422.06 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81893 0 0 0 142034 172 0 0 20 0 1 0 336867794 345706496 81146 33554432000 4194304 7823515 140735636492384 140735636486712 6234850 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81146 574 887 0 83511 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 337604
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17586
/proc/meminfo: memFree=30106836/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=1482.05 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81893 0 0 0 148025 180 0 0 20 0 1 0 336867794 345706496 81146 33554432000 4194304 7823515 140735636492384 140735636487048 6234850 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81146 574 887 0 83511 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 337604
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 17586
/proc/meminfo: memFree=30104856/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=1542.04 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81893 0 0 0 154016 188 0 0 20 0 1 0 336867794 345706496 81146 33554432000 4194304 7823515 140735636492384 140735636487720 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81146 574 887 0 83511 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 337604
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17586
/proc/meminfo: memFree=30102872/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=1602.03 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81893 0 0 0 160008 195 0 0 20 0 1 0 336867794 345706496 81146 33554432000 4194304 7823515 140735636492384 140735636487848 6212400 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81146 574 887 0 83511 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 337604
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17586
/proc/meminfo: memFree=30099524/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=1662.02 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81893 0 0 0 166000 202 0 0 20 0 1 0 336867794 345706496 81146 33554432000 4194304 7823515 140735636492384 140735636488040 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81146 574 887 0 83511 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 337604
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17587
/proc/meminfo: memFree=30092812/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=1722.01 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81893 0 0 0 171992 209 0 0 20 0 1 0 336867794 345706496 81146 33554432000 4194304 7823515 140735636492384 140735636488200 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81146 574 887 0 83511 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 337604
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17590
/proc/meminfo: memFree=30084224/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=1782.01 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81893 0 0 0 177982 219 0 0 20 0 1 0 336867794 345706496 81146 33554432000 4194304 7823515 140735636492384 140735636487176 6234848 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81146 574 887 0 83511 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 337604
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17590
/proc/meminfo: memFree=30082944/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=1785.2 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81893 0 0 0 178301 219 0 0 20 0 1 0 336867794 345706496 81146 33554432000 4194304 7823515 140735636492384 140735636487176 6234850 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81146 574 887 0 83511 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 337604
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17590
/proc/meminfo: memFree=30083068/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=1788.41 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81893 0 0 0 178621 220 0 0 20 0 1 0 336867794 345706496 81146 33554432000 4194304 7823515 140735636492384 140735636487176 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81146 574 887 0 83511 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (KiB) 337604
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17590
/proc/meminfo: memFree=30082960/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=1791.61 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81893 0 0 0 178941 220 0 0 20 0 1 0 336867794 345706496 81146 33554432000 4194304 7823515 140735636492384 140735636487176 6234850 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81146 574 887 0 83511 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 337604
[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17590
/proc/meminfo: memFree=30082932/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=1793.2 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81893 0 0 0 179100 220 0 0 20 0 1 0 336867794 345706496 81146 33554432000 4194304 7823515 140735636492384 140735636487176 6234850 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81146 574 887 0 83511 0
Current children cumulated CPU time (s) 1793.2
Current children cumulated vsize (KiB) 337604
[startup+1793.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17590
/proc/meminfo: memFree=30082932/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=1793.61 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81893 0 0 0 179140 221 0 0 20 0 1 0 336867794 345706496 81146 33554432000 4194304 7823515 140735636492384 140735636487848 6234850 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81146 574 887 0 83511 0
Current children cumulated CPU time (s) 1793.61
Current children cumulated vsize (KiB) 337604
[startup+1794.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17590
/proc/meminfo: memFree=30082808/32873648 swapFree=6860/6860
[pid=17534] ppid=17532 vsize=337604 CPUtime=1793.81 cores=1,3,5,7
/proc/17534/stat : 17534 (pbscip.linux.x8) R 17532 17534 4790 0 -1 4202496 81897 0 0 0 179160 221 0 0 20 0 1 0 336867794 345706496 81150 33554432000 4194304 7823515 140735636492384 140735636487848 5022072 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17534/statm: 84401 81150 578 887 0 83511 0
Current children cumulated CPU time (s) 1793.81
Current children cumulated vsize (KiB) 337604
Child status: 0
Real time (s): 1794.17
CPU time (s): 1793.89
CPU user time (s): 1791.67
CPU system time (s): 2.21666
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 352732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.67
system time used= 2.21666
maximum resident set size= 335696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81900
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= 25
involuntary context switches= 1964
runsolver used 3.10553 second user time and 9.67853 second system time
The end