0.69/0.79 c SCIP version 1.1.0.7
0.69/0.79 c LP-Solver SoPlex 1.4.1
0.69/0.79 c user parameter file <scip.set> not found - using default parameters
0.69/0.79 c read problem <HOME/instance-3740212-1338758403.opb>
0.69/0.79 c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 123313 constraints
0.99/1.05 c start presolving problem
0.99/1.05 c presolving:
4.59/4.65 c (round 1) 2588 del vars, 7291 del conss, 1789 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8494710 impls, 0 clqs
5.78/5.88 c (round 2) 6027 del vars, 19586 del conss, 5029 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8511944 impls, 0 clqs
6.09/6.19 c (round 3) 7185 del vars, 25034 del conss, 5612 chg bounds, 33 chg sides, 32 chg coeffs, 0 upgd conss, 8518096 impls, 0 clqs
6.29/6.31 c (round 4) 7564 del vars, 26732 del conss, 5777 chg bounds, 41 chg sides, 44 chg coeffs, 0 upgd conss, 8520867 impls, 0 clqs
6.39/6.40 c (round 5) 7667 del vars, 27255 del conss, 5827 chg bounds, 41 chg sides, 44 chg coeffs, 0 upgd conss, 8521916 impls, 0 clqs
6.39/6.46 c (round 6) 7699 del vars, 27445 del conss, 5842 chg bounds, 41 chg sides, 44 chg coeffs, 0 upgd conss, 8522022 impls, 0 clqs
6.49/6.51 c (round 7) 7699 del vars, 27475 del conss, 5842 chg bounds, 41 chg sides, 44 chg coeffs, 0 upgd conss, 8522022 impls, 0 clqs
6.99/7.08 c (round 8) 7699 del vars, 27476 del conss, 5842 chg bounds, 41 chg sides, 44 chg coeffs, 95837 upgd conss, 8522022 impls, 0 clqs
7.99/8.00 c (round 9) 7699 del vars, 27483 del conss, 5842 chg bounds, 94 chg sides, 268 chg coeffs, 95837 upgd conss, 8522022 impls, 0 clqs
8.18/8.20 c (round 10) 7699 del vars, 27507 del conss, 5842 chg bounds, 94 chg sides, 284 chg coeffs, 95837 upgd conss, 8522022 impls, 0 clqs
245.33/245.49 c (243.6s) probing: 1000/29023 (3.4%) - 0 fixings, 0 aggregations, 7020543 implications, 0 bound changes
344.01/344.18 c (341.9s) probing: 2000/29023 (6.9%) - 0 fixings, 0 aggregations, 11547310 implications, 0 bound changes
344.11/344.28 c (341.9s) probing: 2001/29023 (6.9%) - 0 fixings, 0 aggregations, 11552072 implications, 0 bound changes
344.11/344.28 c (341.9s) probing aborted: 2000/2000 successive useless probings
344.11/344.29 c presolving (11 rounds):
344.11/344.29 c 7699 deleted vars, 27507 deleted constraints, 5842 tightened bounds, 0 added holes, 94 changed sides, 289 changed coefficients
344.11/344.29 c 45965780 implications, 0 cliques
344.11/344.29 c presolved problem has 29023 variables (29023 bin, 0 int, 0 impl, 0 cont) and 95859 constraints
344.11/344.29 c 1121 constraints of type <knapsack>
344.11/344.29 c 31 constraints of type <setppc>
344.11/344.29 c 94707 constraints of type <logicor>
344.11/344.29 c transformed objective value is always integral (scale: 1)
344.11/344.29 c Presolving Time: 341.78
344.21/344.31 c OPT-LIN
344.21/344.31 c -----------------------------------------------------------------------------------------------
344.21/344.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
344.21/344.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
344.21/344.31 c limits/memory = c 13950
344.21/344.31 c # maximal time in seconds to run
344.21/344.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
344.21/344.31 c limits/time = c 1791
344.21/344.31 c # frequency for displaying node information lines
344.21/344.31 c # [type: int, range: [-1,2147483647], default: 100]
344.21/344.31 c display/freq = c 10000
344.21/344.31 c -----------------------------------------------------------------------------------------------
344.21/344.31 c start solving problem
344.21/344.31 c
471.98/472.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.98/472.10 c 470s| 1 | 0 | 37020 |1371M| 0 | 277 | 29k| 95k| 95k| 29k| 95k| 0 | 0 | 0 | 7.200000e+01 | -- | Inf
1250.45/1250.79 c 1242s| 1 | 0 |122511 |1376M| 0 | 988 | 29k| 95k| 95k| 29k| 95k| 25 | 0 | 0 | 7.200000e+01 | -- | Inf
1693.69/1694.05 c 1685s| 1 | 0 |178181 |1376M| 0 |1080 | 29k| 95k| 95k| 29k| 95k| 47 | 0 | 0 | 7.200000e+01 | -- | Inf
1799.96/1800.35 c 1791s| 1 | 0 |187337 |1376M| 0 | - | 29k| 95k| 95k| 29k| 95k| 57 | 0 | 0 | 7.200000e+01 | -- | Inf
1800.07/1800.40 c 1791s| 1 | 2 |187337 |1376M| 0 | - | 29k| 95k| 95k| 29k| 95k| 57 | 0 | 0 | 7.200000e+01 | -- | Inf
1800.07/1800.40 c
1800.07/1800.40 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.40 c Solving Time (sec) : 1791.05
1800.07/1800.40 c Solving Nodes : 1
1800.07/1800.40 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.40 c Dual Bound : +7.20000000000000e+01
1800.07/1800.40 c Gap : infinite
1800.07/1800.40 c NODE 1
1800.07/1800.40 c DUAL BOUND 72
1800.07/1800.40 c PRIMAL BOUND 1e+20
1800.07/1800.40 c GAP 1e+20
1800.07/1800.40 s UNKNOWN
1800.07/1800.40 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.40 c Solving Time : 1791.05
1800.07/1800.40 c Original Problem :
1800.07/1800.40 c Problem name : HOME/instance-3740212-1338758403.opb
1800.07/1800.40 c Variables : 36722 (36722 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.40 c Constraints : 123313 initial, 123313 maximal
1800.07/1800.40 c Presolved Problem :
1800.07/1800.40 c Problem name : t_HOME/instance-3740212-1338758403.opb
1800.07/1800.40 c Variables : 29023 (29023 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.40 c Constraints : 95859 initial, 95859 maximal
1800.07/1800.40 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.40 c trivial : 0.08 544 0 0 0 0 0 0 0
1800.07/1800.40 c dualfix : 0.02 60 0 0 0 0 0 0 0
1800.07/1800.40 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.40 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.40 c implics : 0.24 0 0 0 0 0 0 0 0
1800.07/1800.40 c probing : 334.84 0 0 0 0 0 0 0 0
1800.07/1800.40 c knapsack : 0.89 0 0 0 0 0 9 53 245
1800.07/1800.40 c setppc : 0.00 0 0 0 0 0 22 0 0
1800.07/1800.40 c linear : 5.20 5298 1797 0 5842 0 27476 41 44
1800.07/1800.40 c logicor : 0.32 0 0 0 0 0 0 0 0
1800.07/1800.40 c root node : - 0 - - 0 - - - -
1800.07/1800.40 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.40 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.40 c knapsack : 1121 3 222158 0 1 0 0 43 0 0
1800.07/1800.40 c setppc : 31 3 222158 0 1 0 0 0 0 0
1800.07/1800.40 c logicor : 94707 3 221404 0 1 0 0 0 0 0
1800.07/1800.40 c countsols : 0 0 0 0 1 0 0 0 0 0
1800.07/1800.40 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.40 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.40 c knapsack : 3.71 0.02 3.69 0.00 0.00
1800.07/1800.40 c setppc : 0.14 0.00 0.14 0.00 0.00
1800.07/1800.40 c logicor : 49.31 0.03 49.24 0.00 0.04
1800.07/1800.40 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.40 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.40 c rootredcost : 0.03 0 0 0
1800.07/1800.40 c pseudoobj : 0.01 2 0 0
1800.07/1800.40 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.40 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.40 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.40 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.40 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.40 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.40 c applied globally : - - - 0 0.0 - - -
1800.07/1800.40 c applied locally : - - - 0 0.0 - - -
1800.07/1800.40 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.40 c cut pool : 0.01 2 - - 24 - (maximal pool size: 341)
1800.07/1800.40 c redcost : 0.00 3 0 0 0 0
1800.07/1800.40 c impliedbounds : 0.02 3 0 0 0 0
1800.07/1800.40 c intobj : 0.00 0 0 0 0 0
1800.07/1800.40 c gomory : 9.36 3 0 0 712 0
1800.07/1800.40 c strongcg : 8.39 3 0 0 739 0
1800.07/1800.40 c cmir : 7.60 3 0 0 0 0
1800.07/1800.40 c flowcover : 11.69 3 0 0 59 0
1800.07/1800.40 c clique : 417.29 3 0 0 12 0
1800.07/1800.40 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.40 c mcf : 10.24 3 0 0 21 0
1800.07/1800.40 c Pricers : Time Calls Vars
1800.07/1800.40 c problem variables: 0.00 0 0
1800.07/1800.40 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.40 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.40 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.40 c inference : 0.01 1 0 0 0 0 2
1800.07/1800.40 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.40 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.40 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.40 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.40 c random : 0.00 0 0 0 0 0 0
1800.07/1800.40 c Primal Heuristics : Time Calls Found
1800.07/1800.40 c LP solutions : 0.00 - 0
1800.07/1800.40 c pseudo solutions : 0.00 - 0
1800.07/1800.40 c oneopt : 0.00 0 0
1800.07/1800.40 c simplerounding : 0.00 0 0
1800.07/1800.40 c rounding : 0.01 3 0
1800.07/1800.40 c shifting : 0.02 3 0
1800.07/1800.40 c intshifting : 0.00 0 0
1800.07/1800.40 c fixandinfer : 0.00 0 0
1800.07/1800.40 c feaspump : 47.08 1 0
1800.07/1800.40 c coefdiving : 0.00 0 0
1800.07/1800.40 c pscostdiving : 0.00 0 0
1800.07/1800.40 c fracdiving : 0.00 0 0
1800.07/1800.40 c veclendiving : 0.00 0 0
1800.07/1800.40 c intdiving : 0.00 0 0
1800.07/1800.40 c actconsdiving : 0.00 0 0
1800.07/1800.40 c objpscostdiving : 0.00 0 0
1800.07/1800.40 c rootsoldiving : 0.00 0 0
1800.07/1800.40 c linesearchdiving : 0.00 0 0
1800.07/1800.40 c guideddiving : 0.00 0 0
1800.07/1800.40 c octane : 0.00 0 0
1800.07/1800.40 c rens : 0.00 0 0
1800.07/1800.40 c rins : 0.00 0 0
1800.07/1800.40 c localbranching : 0.00 0 0
1800.07/1800.40 c mutation : 0.00 0 0
1800.07/1800.40 c crossover : 0.00 0 0
1800.07/1800.40 c dins : 0.00 0 0
1800.07/1800.40 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.40 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.40 c dual LP : 936.95 4 143429 35857.25 153.08
1800.07/1800.40 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.40 c diving/probing LP: 46.61 19 43908 2310.95 942.03
1800.07/1800.40 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.40 c (at root node) : - 0 0 0.00 -
1800.07/1800.40 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.40 c B&B Tree :
1800.07/1800.40 c number of runs : 1
1800.07/1800.40 c nodes : 1
1800.07/1800.40 c nodes (total) : 1
1800.07/1800.40 c nodes left : 2
1800.07/1800.40 c max depth : 0
1800.07/1800.40 c max depth (total): 0
1800.07/1800.40 c backtracks : 0 (0.0%)
1800.07/1800.40 c delayed cutoffs : 0
1800.07/1800.40 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.07/1800.40 c avg switch length: 1.00
1800.07/1800.40 c switching time : 0.00
1800.07/1800.40 c Solution :
1800.07/1800.40 c Solutions found : 0 (0 improvements)
1800.07/1800.40 c Primal Bound : -
1800.07/1800.40 c Dual Bound : +7.20000000000000e+01
1800.07/1800.40 c Gap : infinite
1800.07/1800.40 c Root Dual Bound : +7.20000000000000e+01
1800.46/1800.80 c Time complete: 1800.46.
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-3740212-1338758403/watcher-3740212-1338758403 -o /tmp/evaluation-result-3740212-1338758403/solver-3740212-1338758403 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740212-1338758403.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.00 2.00 2.00 3/177 566
/proc/meminfo: memFree=28089476/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=4140 CPUtime=0 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 443 0 0 0 0 0 0 0 20 0 1 0 341968898 4239360 398 33554432000 4194304 7823515 140735700550144 140736998675352 6883856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 1068 399 286 887 0 178 0
[startup+0.0477011 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 566
/proc/meminfo: memFree=28089476/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=16564 CPUtime=0.03 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 3505 0 0 0 3 0 0 0 20 0 1 0 341968898 16961536 3458 33554432000 4194304 7823515 140735700550144 140736998675352 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 4141 3458 354 887 0 3251 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16564
[startup+0.100359 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 566
/proc/meminfo: memFree=28089476/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=25684 CPUtime=0.08 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 5753 0 0 0 8 0 0 0 20 0 1 0 341968898 26300416 5706 33554432000 4194304 7823515 140735700550144 140736998675352 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 6421 5706 354 887 0 5531 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25684
[startup+0.300309 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 566
/proc/meminfo: memFree=28089476/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=40744 CPUtime=0.29 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 9509 0 0 0 28 1 0 0 20 0 1 0 341968898 41721856 9462 33554432000 4194304 7823515 140735700550144 140736998675352 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 10186 9462 354 887 0 9296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40744
[startup+0.700296 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 566
/proc/meminfo: memFree=28089476/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=73972 CPUtime=0.69 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 17825 0 0 0 67 2 0 0 20 0 1 0 341968898 75747328 17778 33554432000 4194304 7823515 140735700550144 140736998675352 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 18493 17778 354 887 0 17603 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73972
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 567
/proc/meminfo: memFree=27916216/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=236852 CPUtime=1.49 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 58558 0 0 0 139 10 0 0 20 0 1 0 341968898 242536448 58157 33554432000 4194304 7823515 140735700550144 140735700416248 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 59213 58157 427 887 0 58323 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 236852
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 567
/proc/meminfo: memFree=27800276/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=371728 CPUtime=3.09 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 91896 0 0 0 293 16 0 0 20 0 1 0 341968898 380649472 91495 33554432000 4194304 7823515 140735700550144 140735700547080 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 92932 91495 427 887 0 92042 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 371728
[startup+6.30034 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 567
/proc/meminfo: memFree=27646648/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=454492 CPUtime=6.29 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 111296 0 0 0 601 28 0 0 20 0 1 0 341968898 465399808 110895 33554432000 4194304 7823515 140735700550144 140735700547080 5417569 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 113623 110895 432 887 0 112733 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 454492
[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 567
/proc/meminfo: memFree=27553568/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=553792 CPUtime=12.69 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 133157 0 0 0 1223 46 0 0 20 0 1 0 341968898 567083008 135374 33554432000 4194304 7823515 140735700550144 140735700546008 5803135 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 138448 135374 460 887 0 137558 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 553792
[startup+25.5003 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 567
/proc/meminfo: memFree=27523328/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=585140 CPUtime=25.48 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 140418 0 0 0 2501 47 0 0 20 0 1 0 341968898 599183360 142635 33554432000 4194304 7823515 140735700550144 140735700546008 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 146285 142635 460 887 0 145395 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 585140
[startup+51.1004 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 567
/proc/meminfo: memFree=27447448/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=661020 CPUtime=51.08 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 159171 0 0 0 5056 52 0 0 20 0 1 0 341968898 676884480 161388 33554432000 4194304 7823515 140735700550144 140735700546840 5803131 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 165255 161388 460 887 0 164365 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 661020
[startup+102.307 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 569
/proc/meminfo: memFree=27260092/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=852484 CPUtime=102.28 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 205535 0 0 0 10166 62 0 0 20 0 1 0 341968898 872943616 207752 33554432000 4194304 7823515 140735700550144 140735700546008 5803150 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 213121 207752 461 887 0 212231 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 852484
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 607
/proc/meminfo: memFree=26897420/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=1095480 CPUtime=162.25 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 266062 0 0 0 16150 75 0 0 20 0 1 0 341968898 1121771520 268341 33554432000 4194304 7823515 140735700550144 140735700546840 5803627 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 273870 268341 461 887 0 272980 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1095480
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 607
/proc/meminfo: memFree=26345152/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=1320672 CPUtime=222.23 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 321556 0 0 0 22128 95 0 0 20 0 1 0 341968898 1352368128 324146 33554432000 4194304 7823515 140735700550144 140735700546840 5803115 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 330168 324146 461 887 0 329278 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1320672
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 607
/proc/meminfo: memFree=25850172/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=1524308 CPUtime=282.23 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 371885 0 0 0 28101 122 0 0 20 0 1 0 341968898 1560891392 374471 33554432000 4194304 7823515 140735700550144 140735700546840 5803104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 381077 374471 466 887 0 380187 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1524308
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 607
/proc/meminfo: memFree=25391152/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=1724612 CPUtime=342.21 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 420729 0 0 0 34073 148 0 0 20 0 1 0 341968898 1766002688 423312 33554432000 4194304 7823515 140735700550144 140735700547384 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 431153 423312 466 887 0 430263 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1724612
[startup+402.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 608
/proc/meminfo: memFree=25030808/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=1891348 CPUtime=402.2 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 451215 0 0 0 40057 163 0 0 20 0 1 0 341968898 1936740352 463086 33554432000 4194304 7823515 140735700550144 140735700545944 6212418 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 472837 463086 531 887 0 471947 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1891348
[startup+462.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 608
/proc/meminfo: memFree=24769292/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=1909704 CPUtime=462.19 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 452669 0 0 0 46050 169 0 0 20 0 1 0 341968898 1955536896 467122 33554432000 4194304 7823515 140735700550144 140735700545480 6908057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 477426 467122 531 887 0 476536 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1909704
[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 608
/proc/meminfo: memFree=24766480/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=1895400 CPUtime=522.18 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 454502 0 0 0 52035 183 0 0 20 0 1 0 341968898 1940889600 463326 33554432000 4194304 7823515 140735700550144 140735700545896 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 473850 463326 555 887 0 472960 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1895400
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 608
/proc/meminfo: memFree=24762912/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=1895400 CPUtime=582.17 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 454660 0 0 0 57947 270 0 0 20 0 1 0 341968898 1940889600 464053 33554432000 4194304 7823515 140735700550144 140735700546152 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 473850 464053 561 887 0 472960 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1895400
[startup+642.3 s]
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 612
/proc/meminfo: memFree=24625400/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=2030408 CPUtime=942.1 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 461578 0 0 0 93461 749 0 0 20 0 1 0 341968898 2079137792 499473 33554432000 4194304 7823515 140735700550144 140735700546136 5562311 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 507602 499473 561 887 0 506712 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 2030408
[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 613
/proc/meminfo: memFree=24470992/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=2108752 CPUtime=1002.09 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 465247 0 0 0 99453 756 0 0 20 0 1 0 341968898 2159362048 516206 33554432000 4194304 7823515 140735700550144 140735700545480 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 527188 516206 575 887 0 526298 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 2108752
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 613
/proc/meminfo: memFree=24349836/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=2108752 CPUtime=1062.08 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 465267 0 0 0 105448 760 0 0 20 0 1 0 341968898 2159362048 516804 33554432000 4194304 7823515 140735700550144 140735700545480 6206217 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 527188 516804 575 887 0 526298 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 2108752
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 613
/proc/meminfo: memFree=24346764/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=2108752 CPUtime=1122.07 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 465267 0 0 0 111443 764 0 0 20 0 1 0 341968898 2159362048 517446 33554432000 4194304 7823515 140735700550144 140735700545480 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 527188 517446 575 887 0 526298 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 2108752
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 613
/proc/meminfo: memFree=24325340/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=2108752 CPUtime=1182.06 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 465270 0 0 0 117437 769 0 0 20 0 1 0 341968898 2159362048 520907 33554432000 4194304 7823515 140735700550144 140735700545096 6908077 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 527188 520907 575 887 0 526298 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 2108752
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 616
/proc/meminfo: memFree=24305116/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=2117784 CPUtime=1242.05 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 466832 0 0 0 123431 774 0 0 20 0 1 0 341968898 2168610816 525934 33554432000 4194304 7823515 140735700550144 140735700545480 6212088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 529446 525934 575 887 0 528556 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 2117784
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 617
/proc/meminfo: memFree=24304752/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=2117784 CPUtime=1302.04 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 466835 0 0 0 129421 783 0 0 20 0 1 0 341968898 2168610816 525936 33554432000 4194304 7823515 140735700550144 140735700545896 6211142 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 529446 525936 575 887 0 528556 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 2117784
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 617
/proc/meminfo: memFree=24305084/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=2117784 CPUtime=1362.03 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 466835 0 0 0 135415 788 0 0 20 0 1 0 341968898 2168610816 525936 33554432000 4194304 7823515 140735700550144 140735700545896 6211346 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 529446 525936 575 887 0 528556 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 2117784
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 617
/proc/meminfo: memFree=24305016/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=2117784 CPUtime=1422.03 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 466835 0 0 0 141410 793 0 0 20 0 1 0 341968898 2168610816 525938 33554432000 4194304 7823515 140735700550144 140735700545480 5924519 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 529446 525938 575 887 0 528556 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 2117784
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 617
/proc/meminfo: memFree=24303804/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=2117784 CPUtime=1482 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 466835 0 0 0 147402 798 0 0 20 0 1 0 341968898 2168610816 525938 33554432000 4194304 7823515 140735700550144 140735700545480 6212418 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 529446 525938 575 887 0 528556 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 2117784
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 617
/proc/meminfo: memFree=24303832/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=2117784 CPUtime=1542 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 466835 0 0 0 153397 803 0 0 20 0 1 0 341968898 2168610816 525938 33554432000 4194304 7823515 140735700550144 140735700545944 6205301 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 529446 525938 575 887 0 528556 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 2117784
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 618
/proc/meminfo: memFree=24299580/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=2117784 CPUtime=1601.99 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 466835 0 0 0 159392 807 0 0 20 0 1 0 341968898 2168610816 525938 33554432000 4194304 7823515 140735700550144 140735700545480 6908057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 529446 525938 575 887 0 528556 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 2117784
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 618
/proc/meminfo: memFree=24298620/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=2117784 CPUtime=1661.98 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 466835 0 0 0 165387 811 0 0 20 0 1 0 341968898 2168610816 525938 33554432000 4194304 7823515 140735700550144 140735700545480 6212418 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 529446 525938 575 887 0 528556 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 2117784
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 618
/proc/meminfo: memFree=24314792/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=2102824 CPUtime=1721.97 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 468348 0 0 0 171377 820 0 0 20 0 1 0 341968898 2153291776 521387 33554432000 4194304 7823515 140735700550144 140735700545944 6180642 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 525706 521387 575 887 0 524816 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 2102824
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 618
/proc/meminfo: memFree=24311720/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=2102824 CPUtime=1781.96 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 468348 0 0 0 177372 824 0 0 20 0 1 0 341968898 2153291776 521387 33554432000 4194304 7823515 140735700550144 140735700545480 6212176 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 525706 521387 575 887 0 524816 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 2102824
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 621
/proc/meminfo: memFree=24311408/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=2102824 CPUtime=1800.07 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 468348 0 0 0 179181 826 0 0 20 0 1 0 341968898 2153291776 521387 33554432000 4194304 7823515 140735700550144 140735700545480 4769564 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 525706 521387 575 887 0 524816 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2102824
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 622
/proc/meminfo: memFree=24480708/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=1922380 CPUtime=1800.26 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 468351 0 0 0 179200 826 0 0 20 0 1 0 341968898 1968517120 478993 33554432000 4194304 7823515 140735700550144 140735700545480 5100702 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 480595 478993 578 887 0 479705 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 1922380
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 622
/proc/meminfo: memFree=24480708/32873844 swapFree=7372/7372
[pid=566] ppid=564 vsize=1700988 CPUtime=1800.46 cores=1,3,5,7
/proc/566/stat : 566 (pbscip.linux.x8) R 564 566 32091 0 -1 4202496 468351 0 0 0 179219 827 0 0 20 0 1 0 341968898 1741811712 111772 33554432000 4194304 7823515 140735700550144 140735700549320 7132266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 425247 111772 578 887 0 424357 0
Current children cumulated CPU time (s) 1800.46
Current children cumulated vsize (KiB) 1700988
Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.48
CPU user time (s): 1792.2
CPU system time (s): 8.27974
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 2121792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.2
system time used= 8.27974
maximum resident set size= 2107816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 468356
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= 104
involuntary context switches= 1858
runsolver used 3.61045 second user time and 10.6244 second system time
The end