Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.49 | 1801.43 |
Name | /PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-66-100-0.wbo |
MD5SUM | 114c0408840a95cae960ebc399875ecb |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 17.4483 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 4960 |
Total number of constraints | 16157 |
Number of soft constraints | 5468 |
Number of constraints which are clauses | 15841 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 316 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 30 |
Top cost | 278200 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 278199 |
Biggest number in a constraint | 19 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 201 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2693758-1277916147.wbo> 0.09/0.15 c original problem has 15896 variables (10428 bin, 0 int, 0 impl, 5468 cont) and 21626 constraints 0.09/0.15 c problem read 0.09/0.15 c presolving settings loaded 0.09/0.15 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs 0.28/0.31 c presolving: 0.39/0.42 c (round 1) 500 del vars, 1354 del conss, 299 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 205546 impls, 0 clqs 0.39/0.47 c (round 2) 1404 del vars, 4168 del conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 211240 impls, 0 clqs 0.49/0.53 c (round 3) 2856 del vars, 6547 del conss, 951 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 212732 impls, 0 clqs 0.49/0.57 c (round 4) 4429 del vars, 8074 del conss, 1099 chg bounds, 1 chg sides, 1 chg coeffs, 0 upgd conss, 213969 impls, 0 clqs 0.49/0.59 c (round 5) 5423 del vars, 8959 del conss, 1159 chg bounds, 12 chg sides, 11 chg coeffs, 0 upgd conss, 214249 impls, 0 clqs 0.59/0.61 c (round 6) 6009 del vars, 9393 del conss, 1186 chg bounds, 12 chg sides, 13 chg coeffs, 0 upgd conss, 214405 impls, 0 clqs 0.59/0.62 c (round 7) 6327 del vars, 9542 del conss, 1192 chg bounds, 13 chg sides, 14 chg coeffs, 0 upgd conss, 214417 impls, 0 clqs 0.59/0.63 c (round 8) 6456 del vars, 9602 del conss, 1196 chg bounds, 13 chg sides, 14 chg coeffs, 0 upgd conss, 214423 impls, 0 clqs 0.59/0.64 c (round 9) 6505 del vars, 9628 del conss, 1197 chg bounds, 13 chg sides, 14 chg coeffs, 0 upgd conss, 214423 impls, 0 clqs 0.59/0.64 c (round 10) 6529 del vars, 9639 del conss, 1197 chg bounds, 13 chg sides, 14 chg coeffs, 0 upgd conss, 214423 impls, 0 clqs 0.59/0.65 c (round 11) 6541 del vars, 9648 del conss, 1197 chg bounds, 13 chg sides, 14 chg coeffs, 0 upgd conss, 214423 impls, 0 clqs 0.59/0.67 c (round 12) 6547 del vars, 9649 del conss, 4395 chg bounds, 13 chg sides, 14 chg coeffs, 0 upgd conss, 214423 impls, 0 clqs 0.69/0.74 c (round 13) 6548 del vars, 9649 del conss, 4395 chg bounds, 13 chg sides, 14 chg coeffs, 5769 upgd conss, 214423 impls, 0 clqs 0.69/0.76 c (round 14) 6551 del vars, 9656 del conss, 4397 chg bounds, 13 chg sides, 38 chg coeffs, 5769 upgd conss, 215557 impls, 229 clqs 0.69/0.79 c (round 15) 6554 del vars, 9659 del conss, 4399 chg bounds, 13 chg sides, 38 chg coeffs, 5769 upgd conss, 215557 impls, 229 clqs 0.78/0.82 c (round 16) 6557 del vars, 9659 del conss, 4399 chg bounds, 13 chg sides, 38 chg coeffs, 5769 upgd conss, 215557 impls, 229 clqs 2.69/2.72 c (2.5s) probing: 1000/6144 (16.3%) - 38 fixings, 6 aggregations, 36255 implications, 2 bound changes 3.69/3.76 c (3.5s) probing: 2000/6144 (32.6%) - 39 fixings, 9 aggregations, 40236 implications, 3 bound changes 4.50/4.52 c (4.2s) probing: 3000/6144 (48.8%) - 39 fixings, 10 aggregations, 40996 implications, 3 bound changes 4.50/4.54 c (4.3s) probing: 3044/6144 (49.5%) - 39 fixings, 10 aggregations, 40996 implications, 3 bound changes 4.50/4.54 c (4.3s) probing aborted: 100/100 successive totally useless probings 4.50/4.54 c (round 17) 6606 del vars, 9659 del conss, 4402 chg bounds, 13 chg sides, 38 chg coeffs, 5769 upgd conss, 352141 impls, 229 clqs 4.50/4.57 c (round 18) 6607 del vars, 9937 del conss, 4402 chg bounds, 13 chg sides, 100 chg coeffs, 5769 upgd conss, 352143 impls, 229 clqs 4.50/4.59 c (round 19) 6695 del vars, 10040 del conss, 4402 chg bounds, 13 chg sides, 123 chg coeffs, 5769 upgd conss, 352145 impls, 232 clqs 4.59/4.61 c (round 20) 6791 del vars, 10060 del conss, 4402 chg bounds, 13 chg sides, 141 chg coeffs, 5769 upgd conss, 352145 impls, 241 clqs 4.59/4.62 c (round 21) 6809 del vars, 10067 del conss, 4402 chg bounds, 13 chg sides, 141 chg coeffs, 5769 upgd conss, 352145 impls, 246 clqs 4.59/4.64 c (round 22) 6814 del vars, 10070 del conss, 4414 chg bounds, 13 chg sides, 141 chg coeffs, 5769 upgd conss, 352145 impls, 246 clqs 4.59/4.67 c (round 23) 6817 del vars, 10070 del conss, 4414 chg bounds, 13 chg sides, 141 chg coeffs, 5777 upgd conss, 352145 impls, 246 clqs 4.69/4.70 c (4.4s) probing: 3054/6144 (49.7%) - 39 fixings, 10 aggregations, 40996 implications, 3 bound changes 4.69/4.70 c (4.4s) probing aborted: 100/100 successive totally useless probings 4.69/4.70 c presolving (24 rounds): 4.69/4.70 c 6817 deleted vars, 10070 deleted constraints, 4414 tightened bounds, 0 added holes, 13 changed sides, 141 changed coefficients 4.69/4.70 c 352145 implications, 246 cliques 4.69/4.70 c presolved problem has 9079 variables (5984 bin, 0 int, 0 impl, 3095 cont) and 11556 constraints 4.69/4.70 c 3095 constraints of type <indicator> 4.69/4.70 c 184 constraints of type <varbound> 4.69/4.70 c 218 constraints of type <knapsack> 4.69/4.70 c 2911 constraints of type <linear> 4.69/4.70 c 5148 constraints of type <logicor> 4.69/4.70 c transformed objective value is always integral (scale: 1) 4.69/4.70 c Presolving Time: 4.37 4.69/4.70 c - non default parameters ---------------------------------------------------------------------- 4.69/4.70 c # SCIP version 1.2.1.2 4.69/4.70 c 4.69/4.70 c # frequency for displaying node information lines 4.69/4.70 c # [type: int, range: [-1,2147483647], default: 100] 4.69/4.70 c display/freq = 10000 4.69/4.70 c 4.69/4.70 c # maximal time in seconds to run 4.69/4.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 4.69/4.70 c limits/time = 1799.86 4.69/4.70 c 4.69/4.70 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 4.69/4.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 4.69/4.70 c limits/memory = 3420 4.69/4.70 c 4.69/4.70 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 4.69/4.70 c # [type: int, range: [-1,2147483647], default: 1] 4.69/4.70 c lp/solvefreq = -1 4.69/4.70 c 4.69/4.70 c # should presolving try to simplify inequalities 4.69/4.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 4.69/4.70 c constraints/linear/simplifyinequalities = TRUE 4.69/4.70 c 4.69/4.70 c # should presolving try to simplify knapsacks 4.69/4.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 4.69/4.70 c constraints/knapsack/simplifyinequalities = TRUE 4.69/4.70 c 4.69/4.70 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 4.69/4.70 c # [type: int, range: [-1,2147483647], default: -1] 4.69/4.70 c separating/rapidlearning/freq = 0 4.69/4.70 c 4.69/4.70 c ----------------------------------------------------------------------------------------------- 4.69/4.70 c start solving 4.69/4.70 c 4.69/4.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 4.69/4.72 c 4.4s| 1 | 2 | 0 | - | 56M| 0 | - |9079 | 11k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 30.59/30.64 c 30.1s| 10000 | 9969 | 0 | 0.0 | 73M| 89 | - |9079 | 11k| 0 | 0 | 0 | 29 | 0 | 0.000000e+00 | -- | Inf 55.09/55.15 c 54.3s| 20000 | 19935 | 0 | 0.0 | 88M| 93 | - |9079 | 11k| 0 | 0 | 0 | 68 | 0 | 0.000000e+00 | -- | Inf 78.59/78.68 c 77.6s| 30000 | 29911 | 0 | 0.0 | 102M| 115 | - |9079 | 11k| 0 | 0 | 0 | 92 | 0 | 0.000000e+00 | -- | Inf 101.20/101.28 c 100s| 40000 | 39901 | 0 | 0.0 | 116M| 115 | - |9079 | 11k| 0 | 0 | 0 | 101 | 0 | 0.000000e+00 | -- | Inf 123.70/123.76 c 122s| 50000 | 49897 | 0 | 0.0 | 131M| 115 | - |9079 | 11k| 0 | 0 | 0 | 109 | 0 | 0.000000e+00 | -- | Inf 145.90/145.92 c 144s| 60000 | 59891 | 0 | 0.0 | 144M| 115 | - |9079 | 11k| 0 | 0 | 0 | 115 | 0 | 0.000000e+00 | -- | Inf 167.79/167.82 c 166s| 70000 | 69887 | 0 | 0.0 | 158M| 115 | - |9079 | 11k| 0 | 0 | 0 | 121 | 0 | 0.000000e+00 | -- | Inf 190.00/190.05 c 188s| 80000 | 79861 | 0 | 0.0 | 174M| 139 | - |9079 | 11k| 0 | 0 | 0 | 139 | 0 | 0.000000e+00 | -- | Inf 212.40/212.45 c 210s| 90000 | 89851 | 0 | 0.0 | 188M| 139 | - |9079 | 11k| 0 | 0 | 0 | 147 | 0 | 0.000000e+00 | -- | Inf 234.70/234.70 c 232s|100000 | 99843 | 0 | 0.0 | 202M| 139 | - |9079 | 11k| 0 | 0 | 0 | 153 | 0 | 0.000000e+00 | -- | Inf 256.70/256.75 c 254s|110000 |109841 | 0 | 0.0 | 215M| 139 | - |9079 | 11k| 0 | 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf 278.90/278.96 c 276s|120000 |119837 | 0 | 0.0 | 228M| 139 | - |9079 | 11k| 0 | 0 | 0 | 157 | 0 | 0.000000e+00 | -- | Inf 301.00/301.01 c 298s|130000 |129833 | 0 | 0.0 | 241M| 139 | - |9079 | 11k| 0 | 0 | 0 | 163 | 0 | 0.000000e+00 | -- | Inf 322.80/322.86 c 319s|140000 |139829 | 0 | 0.0 | 254M| 139 | - |9079 | 11k| 0 | 0 | 0 | 165 | 0 | 0.000000e+00 | -- | Inf 344.31/344.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 344.31/344.30 c 340s|150000 |149829 | 0 | 0.0 | 267M| 139 | - |9079 | 11k| 0 | 0 | 0 | 165 | 0 | 0.000000e+00 | -- | Inf 365.70/365.72 c 362s|160000 |159827 | 0 | 0.0 | 280M| 139 | - |9079 | 11k| 0 | 0 | 0 | 167 | 0 | 0.000000e+00 | -- | Inf 387.01/387.06 c 383s|170000 |169821 | 0 | 0.0 | 293M| 139 | - |9079 | 11k| 0 | 0 | 0 | 175 | 0 | 0.000000e+00 | -- | Inf 408.30/408.34 c 404s|180000 |179819 | 0 | 0.0 | 306M| 139 | - |9079 | 11k| 0 | 0 | 0 | 176 | 0 | 0.000000e+00 | -- | Inf 429.51/429.54 c 425s|190000 |189807 | 0 | 0.0 | 318M| 139 | - |9079 | 11k| 0 | 0 | 0 | 185 | 0 | 0.000000e+00 | -- | Inf 450.81/450.80 c 446s|200000 |199805 | 0 | 0.0 | 331M| 139 | - |9079 | 11k| 0 | 0 | 0 | 187 | 0 | 0.000000e+00 | -- | Inf 472.01/472.09 c 467s|210000 |209803 | 0 | 0.0 | 344M| 139 | - |9079 | 11k| 0 | 0 | 0 | 190 | 0 | 0.000000e+00 | -- | Inf 493.31/493.34 c 488s|220000 |219797 | 0 | 0.0 | 357M| 139 | - |9079 | 11k| 0 | 0 | 0 | 194 | 0 | 0.000000e+00 | -- | Inf 514.71/514.79 c 509s|230000 |229795 | 0 | 0.0 | 370M| 139 | - |9079 | 11k| 0 | 0 | 0 | 195 | 0 | 0.000000e+00 | -- | Inf 536.20/536.20 c 530s|240000 |239791 | 0 | 0.0 | 383M| 139 | - |9079 | 11k| 0 | 0 | 0 | 197 | 0 | 0.000000e+00 | -- | Inf 557.41/557.46 c 551s|250000 |249787 | 0 | 0.0 | 396M| 139 | - |9079 | 11k| 0 | 0 | 0 | 199 | 0 | 0.000000e+00 | -- | Inf 578.51/578.54 c 572s|260000 |259785 | 0 | 0.0 | 408M| 139 | - |9079 | 11k| 0 | 0 | 0 | 200 | 0 | 0.000000e+00 | -- | Inf 600.11/600.11 c 594s|270000 |269783 | 0 | 0.0 | 421M| 139 | - |9079 | 11k| 0 | 0 | 0 | 201 | 0 | 0.000000e+00 | -- | Inf 621.42/621.41 c 615s|280000 |279779 | 0 | 0.0 | 433M| 139 | - |9079 | 11k| 0 | 0 | 0 | 203 | 0 | 0.000000e+00 | -- | Inf 642.52/642.56 c 635s|290000 |289779 | 0 | 0.0 | 446M| 139 | - |9079 | 11k| 0 | 0 | 0 | 203 | 0 | 0.000000e+00 | -- | Inf 663.91/663.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 663.91/663.90 c 657s|300000 |299779 | 0 | 0.0 | 458M| 139 | - |9079 | 11k| 0 | 0 | 0 | 203 | 0 | 0.000000e+00 | -- | Inf 685.12/685.16 c 678s|310000 |309777 | 0 | 0.0 | 470M| 139 | - |9079 | 11k| 0 | 0 | 0 | 204 | 0 | 0.000000e+00 | -- | Inf 706.11/706.17 c 698s|320000 |319777 | 0 | 0.0 | 483M| 139 | - |9079 | 11k| 0 | 0 | 0 | 204 | 0 | 0.000000e+00 | -- | Inf 726.82/726.85 c 719s|330000 |329770 | 0 | 0.0 | 497M| 139 | - |9079 | 11k| 0 | 0 | 0 | 207 | 0 | 0.000000e+00 | -- | Inf 747.52/747.57 c 739s|340000 |339751 | 0 | 0.0 | 512M| 139 | - |9079 | 11k| 0 | 0 | 0 | 234 | 0 | 0.000000e+00 | -- | Inf 769.52/769.51 c 761s|350000 |349747 | 0 | 0.0 | 527M| 139 | - |9079 | 11k| 0 | 0 | 0 | 237 | 0 | 0.000000e+00 | -- | Inf 791.42/791.45 c 783s|360000 |359735 | 0 | 0.0 | 541M| 139 | - |9079 | 11k| 0 | 0 | 0 | 249 | 0 | 0.000000e+00 | -- | Inf 813.62/813.60 c 805s|370000 |369727 | 0 | 0.0 | 555M| 139 | - |9079 | 11k| 0 | 0 | 0 | 254 | 0 | 0.000000e+00 | -- | Inf 835.62/835.64 c 826s|380000 |379725 | 0 | 0.0 | 569M| 139 | - |9079 | 11k| 0 | 0 | 0 | 256 | 0 | 0.000000e+00 | -- | Inf 857.72/857.74 c 848s|390000 |389719 | 0 | 0.0 | 582M| 139 | - |9079 | 11k| 0 | 0 | 0 | 260 | 0 | 0.000000e+00 | -- | Inf 879.72/879.79 c 870s|400000 |399713 | 0 | 0.0 | 596M| 139 | - |9079 | 11k| 0 | 0 | 0 | 264 | 0 | 0.000000e+00 | -- | Inf 901.52/901.57 c 892s|410000 |409711 | 0 | 0.0 | 609M| 139 | - |9079 | 11k| 0 | 0 | 0 | 265 | 0 | 0.000000e+00 | -- | Inf 923.72/923.70 c 914s|420000 |419709 | 0 | 0.0 | 622M| 139 | - |9079 | 11k| 0 | 0 | 0 | 266 | 0 | 0.000000e+00 | -- | Inf 945.23/945.25 c 935s|430000 |429703 | 0 | 0.0 | 635M| 139 | - |9079 | 11k| 0 | 0 | 0 | 271 | 0 | 0.000000e+00 | -- | Inf 966.93/966.91 c 956s|440000 |439695 | 0 | 0.0 | 648M| 139 | - |9079 | 11k| 0 | 0 | 0 | 278 | 0 | 0.000000e+00 | -- | Inf 988.53/988.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 988.53/988.51 c 978s|450000 |449695 | 0 | 0.0 | 661M| 139 | - |9079 | 11k| 0 | 0 | 0 | 278 | 0 | 0.000000e+00 | -- | Inf 1009.94/1009.92 c 999s|460000 |459689 | 0 | 0.0 | 674M| 139 | - |9079 | 11k| 0 | 0 | 0 | 282 | 0 | 0.000000e+00 | -- | Inf 1031.53/1031.57 c 1020s|470000 |469689 | 0 | 0.0 | 687M| 139 | - |9079 | 11k| 0 | 0 | 0 | 282 | 0 | 0.000000e+00 | -- | Inf 1053.13/1053.11 c 1042s|480000 |479689 | 0 | 0.0 | 700M| 139 | - |9079 | 11k| 0 | 0 | 0 | 282 | 0 | 0.000000e+00 | -- | Inf 1074.33/1074.30 c 1063s|490000 |489687 | 0 | 0.0 | 713M| 139 | - |9079 | 11k| 0 | 0 | 0 | 287 | 0 | 0.000000e+00 | -- | Inf 1095.63/1095.68 c 1084s|500000 |499687 | 0 | 0.0 | 725M| 139 | - |9079 | 11k| 0 | 0 | 0 | 287 | 0 | 0.000000e+00 | -- | Inf 1117.23/1117.22 c 1105s|510000 |509685 | 0 | 0.0 | 738M| 139 | - |9079 | 11k| 0 | 0 | 0 | 291 | 0 | 0.000000e+00 | -- | Inf 1138.54/1138.53 c 1126s|520000 |519683 | 0 | 0.0 | 751M| 139 | - |9079 | 11k| 0 | 0 | 0 | 292 | 0 | 0.000000e+00 | -- | Inf 1159.44/1159.48 c 1147s|530000 |529683 | 0 | 0.0 | 763M| 139 | - |9079 | 11k| 0 | 0 | 0 | 292 | 0 | 0.000000e+00 | -- | Inf 1180.73/1180.76 c 1168s|540000 |539683 | 0 | 0.0 | 775M| 139 | - |9079 | 11k| 0 | 0 | 0 | 292 | 0 | 0.000000e+00 | -- | Inf 1202.24/1202.20 c 1189s|550000 |549681 | 0 | 0.0 | 788M| 139 | - |9079 | 11k| 0 | 0 | 0 | 294 | 0 | 0.000000e+00 | -- | Inf 1223.63/1223.62 c 1209s|560000 |559679 | 0 | 0.0 | 800M| 139 | - |9079 | 11k| 0 | 0 | 0 | 296 | 0 | 0.000000e+00 | -- | Inf 1245.14/1245.14 c 1230s|570000 |569679 | 0 | 0.0 | 813M| 139 | - |9079 | 11k| 0 | 0 | 0 | 296 | 0 | 0.000000e+00 | -- | Inf 1266.24/1266.28 c 1251s|580000 |579669 | 0 | 0.0 | 825M| 139 | - |9079 | 11k| 0 | 0 | 0 | 308 | 0 | 0.000000e+00 | -- | Inf 1287.64/1287.66 c 1271s|590000 |589669 | 0 | 0.0 | 838M| 139 | - |9079 | 11k| 0 | 0 | 0 | 308 | 0 | 0.000000e+00 | -- | Inf 1309.14/1309.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1309.14/1309.15 c 1292s|600000 |599665 | 0 | 0.0 | 850M| 139 | - |9079 | 11k| 0 | 0 | 0 | 311 | 0 | 0.000000e+00 | -- | Inf 1330.64/1330.63 c 1313s|610000 |609665 | 0 | 0.0 | 863M| 139 | - |9079 | 11k| 0 | 0 | 0 | 311 | 0 | 0.000000e+00 | -- | Inf 1351.95/1351.91 c 1334s|620000 |619659 | 0 | 0.0 | 876M| 139 | - |9079 | 11k| 0 | 0 | 0 | 318 | 0 | 0.000000e+00 | -- | Inf 1373.04/1373.06 c 1354s|630000 |629659 | 0 | 0.0 | 888M| 139 | - |9079 | 11k| 0 | 0 | 0 | 318 | 0 | 0.000000e+00 | -- | Inf 1394.24/1394.22 c 1375s|640000 |639659 | 0 | 0.0 | 900M| 139 | - |9079 | 11k| 0 | 0 | 0 | 318 | 0 | 0.000000e+00 | -- | Inf 1415.34/1415.36 c 1395s|650000 |649651 | 0 | 0.0 | 913M| 139 | - |9079 | 11k| 0 | 0 | 0 | 324 | 0 | 0.000000e+00 | -- | Inf 1436.34/1436.35 c 1415s|660000 |659647 | 0 | 0.0 | 925M| 139 | - |9079 | 11k| 0 | 0 | 0 | 328 | 0 | 0.000000e+00 | -- | Inf 1457.14/1457.17 c 1436s|670000 |669641 | 0 | 0.0 | 938M| 139 | - |9079 | 11k| 0 | 0 | 0 | 331 | 0 | 0.000000e+00 | -- | Inf 1478.25/1478.27 c 1456s|680000 |679637 | 0 | 0.0 | 950M| 139 | - |9079 | 11k| 0 | 0 | 0 | 333 | 0 | 0.000000e+00 | -- | Inf 1499.35/1499.36 c 1477s|690000 |689629 | 0 | 0.0 | 963M| 139 | - |9079 | 11k| 0 | 0 | 0 | 345 | 0 | 0.000000e+00 | -- | Inf 1520.25/1520.23 c 1497s|700000 |699629 | 0 | 0.0 | 976M| 139 | - |9079 | 11k| 0 | 0 | 0 | 345 | 0 | 0.000000e+00 | -- | Inf 1541.15/1541.20 c 1517s|710000 |709629 | 0 | 0.0 | 988M| 139 | - |9079 | 11k| 0 | 0 | 0 | 345 | 0 | 0.000000e+00 | -- | Inf 1562.16/1562.16 c 1537s|720000 |719625 | 0 | 0.0 |1000M| 139 | - |9079 | 11k| 0 | 0 | 0 | 347 | 0 | 0.000000e+00 | -- | Inf 1583.15/1583.18 c 1558s|730000 |729621 | 0 | 0.0 |1013M| 139 | - |9079 | 11k| 0 | 0 | 0 | 355 | 0 | 0.000000e+00 | -- | Inf 1604.25/1604.25 c 1578s|740000 |739615 | 0 | 0.0 |1025M| 139 | - |9079 | 11k| 0 | 0 | 0 | 360 | 0 | 0.000000e+00 | -- | Inf 1625.45/1625.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1625.45/1625.49 c 1599s|750000 |749613 | 0 | 0.0 |1038M| 139 | - |9079 | 11k| 0 | 0 | 0 | 361 | 0 | 0.000000e+00 | -- | Inf 1646.35/1646.32 c 1619s|760000 |759611 | 0 | 0.0 |1050M| 139 | - |9079 | 11k| 0 | 0 | 0 | 363 | 0 | 0.000000e+00 | -- | Inf 1667.15/1667.12 c 1639s|770000 |769611 | 0 | 0.0 |1062M| 139 | - |9079 | 11k| 0 | 0 | 0 | 363 | 0 | 0.000000e+00 | -- | Inf 1688.06/1688.07 c 1659s|780000 |779611 | 0 | 0.0 |1074M| 139 | - |9079 | 11k| 0 | 0 | 0 | 363 | 0 | 0.000000e+00 | -- | Inf 1708.96/1708.95 c 1679s|790000 |789603 | 0 | 0.0 |1087M| 139 | - |9079 | 11k| 0 | 0 | 0 | 371 | 0 | 0.000000e+00 | -- | Inf 1729.76/1729.70 c 1700s|800000 |799595 | 0 | 0.0 |1099M| 139 | - |9079 | 11k| 0 | 0 | 0 | 380 | 0 | 0.000000e+00 | -- | Inf 1750.66/1750.68 c 1720s|810000 |809593 | 0 | 0.0 |1111M| 139 | - |9079 | 11k| 0 | 0 | 0 | 382 | 0 | 0.000000e+00 | -- | Inf 1771.36/1771.35 c 1740s|820000 |819585 | 0 | 0.0 |1124M| 139 | - |9079 | 11k| 0 | 0 | 0 | 388 | 0 | 0.000000e+00 | -- | Inf 1791.86/1791.86 c 1760s|830000 |829581 | 0 | 0.0 |1136M| 139 | - |9079 | 11k| 0 | 0 | 0 | 392 | 0 | 0.000000e+00 | -- | Inf 1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.06/1800.00 c 1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.06/1800.00 c Solving Time (sec) : 1767.57 1800.06/1800.00 c Solving Nodes : 833911 1800.06/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.06/1800.00 c Dual Bound : +0.00000000000000e+00 1800.06/1800.00 c Gap : infinite 1800.06/1800.00 s UNKNOWN 1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.06/1800.00 c Solving Time : 1767.57 1800.06/1800.00 c Original Problem : 1800.06/1800.00 c Problem name : HOME/instance-2693758-1277916147.wbo 1800.06/1800.00 c Variables : 15896 (10428 binary, 0 integer, 0 implicit integer, 5468 continuous) 1800.06/1800.00 c Constraints : 21626 initial, 21626 maximal 1800.06/1800.00 c Presolved Problem : 1800.06/1800.00 c Problem name : t_HOME/instance-2693758-1277916147.wbo 1800.06/1800.00 c Variables : 9079 (5984 binary, 0 integer, 0 implicit integer, 3095 continuous) 1800.06/1800.00 c Constraints : 11556 initial, 11634 maximal 1800.06/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.06/1800.00 c trivial : 0.00 66 0 0 0 0 0 0 0 1800.06/1800.00 c dualfix : 0.03 5034 0 0 0 0 0 0 0 1800.06/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.00 c implics : 0.04 0 2 0 0 0 0 0 0 1800.06/1800.00 c probing : 3.66 39 10 0 3 0 0 0 0 1800.06/1800.00 c indicator : 0.07 0 0 0 0 0 2373 0 0 1800.06/1800.00 c varbound : 0.00 0 0 0 0 0 12 0 0 1800.06/1800.00 c knapsack : 0.05 0 0 0 2 0 0 0 127 1800.06/1800.00 c linear : 0.31 1155 511 0 4409 0 7470 13 14 1800.06/1800.00 c logicor : 0.09 0 0 0 0 0 215 0 0 1800.06/1800.00 c root node : - 0 - - 0 - - - - 1800.06/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.06/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0 1800.06/1800.00 c indicator : 3095 0 4090290 0 833708 0 646829 0 0 0 1800.06/1800.00 c varbound : 184 0 4090290 0 833708 0 84619 0 0 0 1800.06/1800.00 c knapsack : 218 0 4090290 0 833708 43 3057019 0 0 0 1800.06/1800.00 c linear : 2911 0 4090247 0 833708 0 553242 0 0 0 1800.06/1800.00 c logicor : 5148+ 0 3703066 0 833708 178 10484778 0 0 0 1800.06/1800.00 c countsols : 0 0 0 0 833707 0 0 0 0 0 1800.06/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.06/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00 1800.06/1800.00 c indicator : 388.68 0.00 162.28 0.00 226.40 1800.06/1800.00 c varbound : 11.25 0.00 10.88 0.00 0.37 1800.06/1800.00 c knapsack : 43.39 0.00 30.21 0.00 13.18 1800.06/1800.00 c linear : 104.60 0.00 103.50 0.00 1.10 1800.06/1800.00 c logicor : 340.05 0.00 35.72 0.00 304.33 1800.06/1800.00 c countsols : 0.08 0.00 0.00 0.00 0.08 1800.06/1800.00 c Propagators : Time Calls Cutoffs DomReds 1800.06/1800.00 c vbounds : 39.90 929255 0 15283 1800.06/1800.00 c rootredcost : 0.79 0 0 0 1800.06/1800.00 c pseudoobj : 303.07 4078905 0 0 1800.06/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.06/1800.00 c propagation : 0.00 208 208 456 7.1 10 4.4 - 1800.06/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.06/1800.00 c applied globally : - - - 393 6.8 - - - 1800.06/1800.00 c applied locally : - - - 0 0.0 - - - 1800.06/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.06/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.06/1800.00 c redcost : 0.00 0 0 0 0 0 1800.06/1800.00 c impliedbounds : 0.00 0 0 0 0 0 1800.06/1800.00 c intobj : 0.00 0 0 0 0 0 1800.06/1800.00 c cgmip : 0.00 0 0 0 0 0 1800.06/1800.00 c gomory : 0.00 0 0 0 0 0 1800.06/1800.00 c strongcg : 0.00 0 0 0 0 0 1800.06/1800.00 c cmir : 0.00 0 0 0 0 0 1800.06/1800.00 c flowcover : 0.00 0 0 0 0 0 1800.06/1800.00 c clique : 0.00 0 0 0 0 0 1800.06/1800.00 c zerohalf : 0.00 0 0 0 0 0 1800.06/1800.00 c mcf : 0.00 0 0 0 0 0 1800.06/1800.00 c rapidlearning : 0.00 0 0 0 0 0 1800.06/1800.00 c Pricers : Time Calls Vars 1800.06/1800.00 c problem variables: 0.00 0 0 1800.06/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.06/1800.00 c relpscost : 0.00 0 0 0 0 0 0 1800.06/1800.00 c pscost : 0.00 0 0 0 0 0 0 1800.06/1800.00 c inference : 457.42 833707 0 0 0 0 1667414 1800.06/1800.00 c mostinf : 0.00 0 0 0 0 0 0 1800.06/1800.00 c leastinf : 0.00 0 0 0 0 0 0 1800.06/1800.00 c fullstrong : 0.00 0 0 0 0 0 0 1800.06/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0 1800.06/1800.00 c random : 0.00 0 0 0 0 0 0 1800.06/1800.00 c Primal Heuristics : Time Calls Found 1800.06/1800.00 c LP solutions : 0.00 - 0 1800.06/1800.00 c pseudo solutions : 0.00 - 0 1800.06/1800.00 c oneopt : 0.19 0 0 1800.06/1800.00 c trivial : 0.09 2 0 1800.06/1800.00 c simplerounding : 0.00 0 0 1800.06/1800.00 c zirounding : 0.00 0 0 1800.06/1800.00 c rounding : 0.00 0 0 1800.06/1800.00 c shifting : 0.00 0 0 1800.06/1800.00 c intshifting : 0.00 0 0 1800.06/1800.00 c twoopt : 0.00 0 0 1800.06/1800.00 c fixandinfer : 0.00 0 0 1800.06/1800.00 c feaspump : 0.00 0 0 1800.06/1800.00 c coefdiving : 0.00 0 0 1800.06/1800.00 c pscostdiving : 0.00 0 0 1800.06/1800.00 c fracdiving : 0.00 0 0 1800.06/1800.00 c veclendiving : 0.00 0 0 1800.06/1800.00 c intdiving : 0.00 0 0 1800.06/1800.00 c actconsdiving : 0.00 0 0 1800.06/1800.00 c objpscostdiving : 0.00 0 0 1800.06/1800.00 c rootsoldiving : 0.00 0 0 1800.06/1800.00 c linesearchdiving : 0.00 0 0 1800.06/1800.00 c guideddiving : 0.00 0 0 1800.06/1800.00 c octane : 0.00 0 0 1800.06/1800.00 c rens : 0.00 0 0 1800.06/1800.00 c rins : 0.00 0 0 1800.06/1800.00 c localbranching : 0.00 0 0 1800.06/1800.00 c mutation : 0.00 0 0 1800.06/1800.00 c crossover : 0.00 0 0 1800.06/1800.00 c dins : 0.00 0 0 1800.06/1800.00 c undercover : 0.00 0 0 1800.06/1800.00 c nlp : 0.21 0 0 1800.06/1800.00 c trysol : 0.13 1 0 1800.06/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec 1800.06/1800.00 c primal LP : 0.00 0 0 0.00 - 1800.06/1800.00 c dual LP : 0.00 0 0 0.00 - 1800.06/1800.00 c lex dual LP : 0.00 0 0 0.00 - 1800.06/1800.00 c barrier LP : 0.00 0 0 0.00 - 1800.06/1800.00 c diving/probing LP: 0.00 0 0 0.00 - 1800.06/1800.00 c strong branching : 0.00 0 0 0.00 - 1800.06/1800.00 c (at root node) : - 0 0 0.00 - 1800.06/1800.00 c conflict analysis: 0.00 0 0 0.00 - 1800.06/1800.00 c B&B Tree : 1800.06/1800.00 c number of runs : 1 1800.06/1800.00 c nodes : 833911 1800.06/1800.00 c nodes (total) : 833911 1800.06/1800.00 c nodes left : 833490 1800.06/1800.00 c max depth : 139 1800.06/1800.00 c max depth (total): 139 1800.06/1800.00 c backtracks : 11657 (1.4%) 1800.06/1800.00 c delayed cutoffs : 14 1800.06/1800.00 c repropagations : 1664 (5734 domain reductions, 4 cutoffs) 1800.06/1800.00 c avg switch length: 2.42 1800.06/1800.00 c switching time : 49.01 1800.06/1800.00 c Solution : 1800.06/1800.00 c Solutions found : 0 (0 improvements) 1800.06/1800.00 c Primal Bound : - 1800.06/1800.00 c Dual Bound : +0.00000000000000e+00 1800.06/1800.00 c Gap : infinite 1800.06/1800.00 c Root Dual Bound : +0.00000000000000e+00 1800.06/1800.00 c Root Iterations : 0 1801.46/1801.42 c Time complete: 1801.49.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693758-1277916147/watcher-2693758-1277916147 -o /tmp/evaluation-result-2693758-1277916147/solver-2693758-1277916147 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693758-1277916147.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.99 1.99 5/178 26007 /proc/meminfo: memFree=30700612/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=8156 CPUtime=0 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 1543 0 0 0 0 0 0 0 25 0 1 0 167217755 8351744 1465 4089446400 4194304 7136930 140734202159344 18446744073709551615 5649227 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/26007/statm: 2039 1465 275 719 0 1318 0 [startup+0.104138 s] /proc/loadavg: 2.00 1.99 1.99 5/178 26007 /proc/meminfo: memFree=30700612/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=25628 CPUtime=0.09 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 5885 0 0 0 9 0 0 0 25 0 1 0 167217755 26243072 5807 4089446400 4194304 7136930 140734202159344 18446744073709551615 6178256 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/26007/statm: 6407 5807 275 719 0 5686 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25628 [startup+0.20111 s] /proc/loadavg: 2.00 1.99 1.99 5/178 26007 /proc/meminfo: memFree=30700612/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=59008 CPUtime=0.19 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 14645 0 0 0 18 1 0 0 25 0 1 0 167217755 60424192 14185 4089446400 4194304 7136930 140734202159344 18446744073709551615 5953067 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 14752 14185 297 719 0 14031 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 59008 [startup+0.301092 s] /proc/loadavg: 2.00 1.99 1.99 5/178 26007 /proc/meminfo: memFree=30700612/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=71560 CPUtime=0.28 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 17209 0 0 0 27 1 0 0 25 0 1 0 167217755 73277440 16722 4089446400 4194304 7136930 140734202159344 18446744073709551615 4241142 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 17890 16722 331 719 0 17169 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 71560 [startup+0.701018 s] /proc/loadavg: 2.00 1.99 1.99 5/178 26007 /proc/meminfo: memFree=30700612/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=81716 CPUtime=0.69 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 23670 0 0 0 64 5 0 0 25 0 1 0 167217755 83677184 19393 4089446400 4194304 7136930 140734202159344 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 20429 19393 370 719 0 19708 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 81716 [startup+1.50086 s] /proc/loadavg: 2.00 1.99 1.99 4/179 26008 /proc/meminfo: memFree=30618408/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=86604 CPUtime=1.49 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 28755 0 0 0 141 8 0 0 25 0 1 0 167217755 88682496 20612 4089446400 4194304 7136930 140734202159344 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 21651 20612 396 719 0 20930 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 86604 [startup+3.10056 s] /proc/loadavg: 2.00 1.99 1.99 4/179 26008 /proc/meminfo: memFree=30616176/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=88864 CPUtime=3.09 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 29332 0 0 0 299 10 0 0 25 0 1 0 167217755 90996736 21189 4089446400 4194304 7136930 140734202159344 18446744073709551615 4925429 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 22216 21189 402 719 0 21495 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 88864 [startup+6.30095 s] /proc/loadavg: 2.00 1.99 1.99 4/179 26008 /proc/meminfo: memFree=30607324/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=91760 CPUtime=6.29 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 35177 0 0 0 613 16 0 0 25 0 1 0 167217755 93962240 21824 4089446400 4194304 7136930 140734202159344 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 22940 21824 418 719 0 22219 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 91760 [startup+12.7007 s] /proc/loadavg: 2.00 1.99 1.99 4/179 26008 /proc/meminfo: memFree=30591456/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=97404 CPUtime=12.69 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 36567 0 0 0 1246 23 0 0 25 0 1 0 167217755 99741696 23214 4089446400 4194304 7136930 140734202159344 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 24351 23214 418 719 0 23630 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 97404 [startup+25.5003 s] /proc/loadavg: 2.00 1.99 1.99 4/179 26009 /proc/meminfo: memFree=30561940/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=107388 CPUtime=25.49 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 39048 0 0 0 2512 37 0 0 25 0 1 0 167217755 109965312 25695 4089446400 4194304 7136930 140734202159344 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 26847 25695 418 719 0 26126 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 107388 [startup+51.1004 s] /proc/loadavg: 2.00 1.99 1.99 4/179 26009 /proc/meminfo: memFree=30505552/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=127796 CPUtime=51.09 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 44093 0 0 0 5044 65 0 0 25 0 1 0 167217755 130863104 30740 4089446400 4194304 7136930 140734202159344 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 31949 30740 418 719 0 31228 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 127796 [startup+102.301 s] /proc/loadavg: 2.00 1.99 1.99 4/179 26011 /proc/meminfo: memFree=30387580/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=169276 CPUtime=102.3 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 54317 0 0 0 10112 118 0 0 25 0 1 0 167217755 173338624 40964 4089446400 4194304 7136930 140734202159344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 42319 40964 418 719 0 41598 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 169276 [startup+162.3 s] /proc/loadavg: 2.00 1.99 1.99 4/179 26012 /proc/meminfo: memFree=30254736/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=218928 CPUtime=162.29 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 66053 0 0 0 16053 176 0 0 25 0 1 0 167217755 224182272 52700 4089446400 4194304 7136930 140734202159344 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 54732 52700 418 719 0 54011 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 218928 [startup+222.306 s] /proc/loadavg: 2.00 1.99 1.99 4/179 26014 /proc/meminfo: memFree=30115672/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=269980 CPUtime=222.3 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 78620 0 0 0 21985 245 0 0 25 0 1 0 167217755 276459520 65267 4089446400 4194304 7136930 140734202159344 18446744073709551615 4827005 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 67495 65267 418 719 0 66774 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 269980 [startup+282.3 s] /proc/loadavg: 2.00 1.99 1.99 4/179 26015 /proc/meminfo: memFree=29990996/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=307860 CPUtime=282.3 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 88051 0 0 0 27916 314 0 0 25 0 1 0 167217755 315248640 74698 4089446400 4194304 7136930 140734202159344 18446744073709551615 5507410 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 76965 74698 418 719 0 76244 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 307860 [startup+342.301 s] /proc/loadavg: 2.00 1.99 1.99 4/179 26017 /proc/meminfo: memFree=29858152/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=351588 CPUtime=342.3 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 98790 0 0 0 33856 374 0 0 25 0 1 0 167217755 360026112 85437 4089446400 4194304 7136930 140734202159344 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 87897 85437 418 719 0 87176 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 351588 [startup+402.301 s] /proc/loadavg: 2.06 2.00 2.00 4/179 26019 /proc/meminfo: memFree=29730016/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=392980 CPUtime=402.3 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 108933 0 0 0 39791 439 0 0 25 0 1 0 167217755 402411520 95580 4089446400 4194304 7136930 140734202159344 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 98245 95580 418 719 0 97524 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 392980 [startup+462.3 s] /proc/loadavg: 2.02 2.00 2.00 4/179 26020 /proc/meminfo: memFree=29606956/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=433068 CPUtime=462.3 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 117967 0 0 0 45728 502 0 0 25 0 1 0 167217755 443461632 104614 4089446400 4194304 7136930 140734202159344 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 108267 104614 418 719 0 107546 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 433068 [startup+522.301 s] /proc/loadavg: 2.01 2.00 2.00 4/179 26022 /proc/meminfo: memFree=29485884/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=467752 CPUtime=522.31 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 126613 0 0 0 51664 567 0 0 25 0 1 0 167217755 478978048 113260 4089446400 4194304 7136930 140734202159344 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 116938 113260 418 719 0 116217 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 467752 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 4/179 26023 /proc/meminfo: memFree=29361700/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=505052 CPUtime=582.31 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 135903 0 0 0 57602 629 0 0 25 0 1 0 167217755 517173248 122550 4089446400 4194304 7136930 140734202159344 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 126263 122550 418 719 0 125542 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 505052 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 4/179 26025 /proc/meminfo: memFree=29228492/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=551916 CPUtime=642.32 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 147575 0 0 0 63534 698 0 0 25 0 1 0 167217755 565161984 134222 4089446400 4194304 7136930 140734202159344 18446744073709551615 6212696 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 137979 134222 418 719 0 137258 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 551916 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 2.01 2.01 2.00 4/179 26036 /proc/meminfo: memFree=28346380/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=828476 CPUtime=1062.33 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 213984 0 0 0 105085 1148 0 0 25 0 1 0 167217755 848359424 200631 4089446400 4194304 7136930 140734202159344 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 207119 200631 418 719 0 206398 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 828476 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 4/179 26047 /proc/meminfo: memFree=28221392/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=864608 CPUtime=1122.34 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 222868 0 0 0 111023 1211 0 0 25 0 1 0 167217755 885358592 209515 4089446400 4194304 7136930 140734202159344 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/26007/statm: 216152 209515 418 719 0 215431 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 864608 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 26094 /proc/meminfo: memFree=30526336/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=895356 CPUtime=1182.34 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 230750 0 0 0 116936 1298 0 0 25 0 1 0 167217755 916844544 217397 4089446400 4194304 7136930 140734202159344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/26007/statm: 223839 217397 418 719 0 223118 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 895356 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 26096 /proc/meminfo: memFree=30458060/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=926728 CPUtime=1242.34 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 238700 0 0 0 122744 1490 0 0 25 0 1 0 167217755 948969472 225347 4089446400 4194304 7136930 140734202159344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/26007/statm: 231682 225347 418 719 0 230961 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 926728 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 26098 /proc/meminfo: memFree=30399996/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=965028 CPUtime=1302.34 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 248495 0 0 0 128550 1684 0 0 25 0 1 0 167217755 988188672 235142 4089446400 4194304 7136930 140734202159344 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/26007/statm: 241257 235142 418 719 0 240536 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 965028 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 26099 /proc/meminfo: memFree=30357292/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=995980 CPUtime=1362.35 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 256343 0 0 0 134383 1852 0 0 25 0 1 0 167217755 1019883520 242990 4089446400 4194304 7136930 140734202159344 18446744073709551615 4407949 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/26007/statm: 248995 242990 418 719 0 248274 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 995980 [startup+1422.3 s] /proc/loadavg: 2.05 2.01 2.00 3/197 26101 /proc/meminfo: memFree=30310520/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=1028608 CPUtime=1422.35 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 264492 0 0 0 140204 2031 0 0 25 0 1 0 167217755 1053294592 251139 4089446400 4194304 7136930 140734202159344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/26007/statm: 257152 251139 418 719 0 256431 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 1028608 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/197 26102 /proc/meminfo: memFree=30255676/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=1070636 CPUtime=1482.34 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 274777 0 0 0 146017 2217 0 0 25 0 1 0 167217755 1096331264 261424 4089446400 4194304 7136930 140734202159344 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/26007/statm: 267659 261424 418 719 0 266938 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 1070636 [startup+1542.31 s] /proc/loadavg: 2.05 2.02 2.00 3/197 26104 /proc/meminfo: memFree=30209392/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=1106684 CPUtime=1542.35 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 283703 0 0 0 151818 2417 0 0 25 0 1 0 167217755 1133244416 270350 4089446400 4194304 7136930 140734202159344 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/26007/statm: 276671 270350 418 719 0 275950 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 1106684 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 2.00 3/197 26106 /proc/meminfo: memFree=30174640/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=1130116 CPUtime=1602.36 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 289937 0 0 0 157631 2605 0 0 25 0 1 0 167217755 1157238784 276584 4089446400 4194304 7136930 140734202159344 18446744073709551615 4696940 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/26007/statm: 282529 276584 418 719 0 281808 0 Current children cumulated CPU time (s) 1602.36 Current children cumulated vsize (KiB) 1130116 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 26107 /proc/meminfo: memFree=30112248/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=1179448 CPUtime=1662.35 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 302559 0 0 0 163436 2799 0 0 25 0 1 0 167217755 1207754752 289206 4089446400 4194304 7136930 140734202159344 18446744073709551615 4436399 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/26007/statm: 294862 289206 418 719 0 294141 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 1179448 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 26109 /proc/meminfo: memFree=30072520/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=1210080 CPUtime=1722.36 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 310069 0 0 0 169255 2981 0 0 25 0 1 0 167217755 1239121920 296716 4089446400 4194304 7136930 140734202159344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/26007/statm: 302520 296716 418 719 0 301799 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 1210080 [startup+1782.3 s] /proc/loadavg: 2.58 2.19 2.07 3/197 26110 /proc/meminfo: memFree=30016920/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=1255148 CPUtime=1782.36 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 320712 0 0 0 175060 3176 0 0 25 0 1 0 167217755 1285271552 307359 4089446400 4194304 7136930 140734202159344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/26007/statm: 313787 307359 418 719 0 313066 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 1255148 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.45 2.18 2.06 3/197 26111 /proc/meminfo: memFree=30005368/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=1264120 CPUtime=1800.06 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 322776 0 0 0 176770 3236 0 0 25 0 1 0 167217755 1294458880 309423 4089446400 4194304 7136930 140734202159344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/26007/statm: 316030 309423 418 719 0 315309 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1264120 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 2.45 2.18 2.06 3/198 26112 /proc/meminfo: memFree=30022720/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=1244588 CPUtime=1800.76 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 322782 0 0 0 176840 3236 0 0 18 0 1 0 167217755 1274458112 304546 4089446400 4194304 7136930 140734202159344 18446744073709551615 4670176 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26007/statm: 311147 304546 424 719 0 310426 0 Current children cumulated CPU time (s) 1800.76 Current children cumulated vsize (KiB) 1244588 [startup+1801.1 s] /proc/loadavg: 2.45 2.18 2.06 3/198 26112 /proc/meminfo: memFree=30022720/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=1215064 CPUtime=1801.16 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 322782 0 0 0 176879 3237 0 0 19 0 1 0 167217755 1244225536 297165 4089446400 4194304 7136930 140734202159344 18446744073709551615 6166339 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26007/statm: 303766 297165 424 719 0 303045 0 Current children cumulated CPU time (s) 1801.16 Current children cumulated vsize (KiB) 1215064 [startup+1801.3 s] /proc/loadavg: 2.45 2.18 2.06 3/198 26112 /proc/meminfo: memFree=30022720/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=977076 CPUtime=1801.36 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 322782 0 0 0 176898 3238 0 0 19 0 1 0 167217755 1000525824 237677 4089446400 4194304 7136930 140734202159344 18446744073709551615 6166339 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26007/statm: 244269 237677 424 719 0 243548 0 Current children cumulated CPU time (s) 1801.36 Current children cumulated vsize (KiB) 977076 [startup+1801.4 s] /proc/loadavg: 2.45 2.18 2.06 3/198 26112 /proc/meminfo: memFree=30022720/32950928 swapFree=67111528/67111528 [pid=26007] ppid=26005 vsize=225340 CPUtime=1801.46 /proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 322782 0 0 0 176906 3240 0 0 19 0 1 0 167217755 230748160 54167 4089446400 4194304 7136930 140734202159344 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26007/statm: 56156 53916 424 719 0 55435 0 Current children cumulated CPU time (s) 1801.46 Current children cumulated vsize (KiB) 225340 Child status: 0 Real time (s): 1801.43 CPU time (s): 1801.49 CPU user time (s): 1769.08 CPU system time (s): 32.4141 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 1264120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1769.08 system time used= 32.4141 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 322789 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= 5 involuntary context switches= 9349 runsolver used 2.82857 second user time and 5.95309 second system time The end
Begin job on node115 at 2010-06-30 18:42:27 IDJOB=2693758 IDBENCH=79065 IDSOLVER=1206 FILE ID=node115/2693758-1277916147 PBS_JOBID= 11197259 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j3029_8-unsat--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693758-1277916147/watcher-2693758-1277916147 -o /tmp/evaluation-result-2693758-1277916147/solver-2693758-1277916147 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693758-1277916147.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 114c0408840a95cae960ebc399875ecb RANDOM SEED=330501194 node115.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30701140 kB Buffers: 202900 kB Cached: 937920 kB SwapCached: 0 kB Active: 1432992 kB Inactive: 674364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30701140 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3564 kB Writeback: 0 kB AnonPages: 966224 kB Mapped: 17032 kB Slab: 78496 kB PageTables: 6884 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1112352 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node115 at 2010-06-30 19:12:29