| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 5000.06 | 4999.93 |
| Name | crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf |
| MD5SUM | b23c52475e3d098cb9d5a92c025d6982 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.465928 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3420 |
| Number of clauses | 1120760 |
| Sum of the clauses size | 2244820 |
| Maximum clause length | 62 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 1120700 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 60 |
0.00/0.00 static 0.00/0.00 HOME/instance-3439750-1306938863.cnf 0.00/0.00 c Parsing... 0.00/0.27 c ============================================================================== 0.00/0.27 c | | ORIGINAL | LEARNT | | 0.00/0.27 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.27 c ============================================================================== 0.00/0.27 c | 0 | 1120760 2244820 | 336227 0 0 nan | 0.000 % | 8.39/8.48 c | 0 | 1117340 3543943 | -- 0 -- -- | -- | -3420/1299123 8.39/8.48 c ============================================================================== 8.39/8.48 c Result : #vars: 3360 #clauses: 1117340 #literals: 3543943 8.39/8.48 c CPU time: 8.44172 s 8.39/8.48 c ============================================================================== 9.78/9.84 c 9.78/9.84 c seed = 0, numatom = 3360, numclause = 22537, numliterals = 3543943 9.78/9.84 c --------------------------------------------------------------------------------------------------------------------------------------------- 9.78/9.84 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 9.78/9.84 c --------------------------------------------------------------------------------------------------------------------------------------------- 10.26/10.34 c | 2 | 0.5 | 0 | 501 | 197 | 1 | 94247 | 4248 || 2 | 9552 | 86/ 0 | 283 | 0 | 10.76/10.86 c | 4 | 0.5 | 0 | 886 | 299 | 2 | 238830 | 9240 || 4 | 18110 | 85/ 0 | 660 | 0 | 11.36/11.40 c | 6 | 0.6 | 0 | 1123 | 193 | 3 | 402347 | 14256 || 6 | 26550 | 84/ 0 | 1033 | 0 | 11.98/12.08 c | 7 | 0.7 | 0 | 1495 | 393 | 4 | 526935 | 18445 || 7 | 35239 | 82/ 0 | 1515 | 0 | 12.66/12.77 c | 11 | 0.7 | 0 | 1860 | 290 | 5 | 772431 | 26959 || 11 | 51139 | 82/ 0 | 2166 | 0 | 13.56/13.60 c | 14 | 0.8 | 0 | 2277 | 489 | 6 | 984108 | 35321 || 14 | 68162 | 82/ 0 | 3010 | 0 | 14.66/14.71 c | 15 | 1.1 | 0 | 2607 | 991 | 7 | 1223015 | 40626 || 15 | 80665 | 79/ 0 | 3917 | 0 | 15.76/15.89 c | 16 | 1.2 | 0 | 2836 | 87 | 8 | 1657415 | 46191 || 16 | 87122 | 79/ 0 | 4076 | 0 | 16.86/16.94 c | 21 | 1.0 | 0 | 2741 | 76 | 9 | 1952843 | 60478 || 21 | 108717 | 79/ 0 | 4991 | 0 | 17.96/18.09 c | 25 | 1.1 | 0 | 2793 | 171 | 10 | 2287236 | 70547 || 25 | 126549 | 79/ 0 | 5953 | 0 | 19.46/19.58 c | 29 | 1.5 | 0 | 2819 | 565 | 11 | 2685943 | 83627 || 29 | 150701 | 79/ 0 | 7000 | 0 | 20.96/21.01 c | 30 | 1.4 | 0 | 2902 | 365 | 12 | 3098385 | 90859 || 30 | 165272 | 78/ 0 | 7940 | 0 | 22.16/22.26 c | 31 | 1.2 | 0 | 3104 | 2066 | 13 | 3457834 | 100751 || 31 | 191097 | 75/ 0 | 9795 | 0 | 22.86/22.98 c | 31 | 0.7 | 0 | 3335 | 1467 | 14 | 3922555 | 105509 || 31 | 196045 | 75/ 0 | 9838 | 0 | 24.36/24.44 c | 38 | 1.5 | 0 | 4276 | 353 | 15 | 4335200 | 121718 || 38 | 225231 | 75/ 0 | 11321 | 0 | 25.96/26.03 c | 44 | 1.6 | 0 | 4700 | 241 | 16 | 4842878 | 138673 || 44 | 254766 | 75/ 0 | 12385 | 0 | 27.86/27.95 c | 46 | 1.9 | 0 | 5137 | 236 | 17 | 5277665 | 149460 || 46 | 275187 | 75/ 0 | 13764 | 0 | 29.58/29.64 c | 53 | 1.7 | 0 | 5333 | 226 | 18 | 5859055 | 166019 || 53 | 302404 | 75/ 0 | 15212 | 0 | 31.66/31.71 c | 59 | 2.1 | 0 | 5503 | 113 | 19 | 6402019 | 183669 || 59 | 329256 | 75/ 0 | 16221 | 0 | 33.76/33.81 c | 61 | 2.1 | 0 | 5570 | 708 | 20 | 6827503 | 195207 || 61 | 351936 | 75/ 0 | 17609 | 0 | 36.46/36.58 c | 62 | 2.8 | 0 | 5716 | 808 | 21 | 7431533 | 206700 || 62 | 378418 | 75/ 0 | 19443 | 0 | 38.56/38.63 c | 63 | 2.1 | 0 | 5695 | 3410 | 22 | 7974028 | 220781 || 63 | 414759 | 75/ 0 | 22987 | 0 | 40.86/40.95 c | 63 | 2.3 | 0 | 5974 | 1310 | 23 | 8580804 | 230776 || 63 | 433545 | 75/ 0 | 23156 | 0 | 42.56/42.69 c | 67 | 1.7 | 0 | 5828 | 0 | 24 | 9304151 | 241575 || 67 | 449125 | 75/ 0 | 23805 | 0 | 44.86/44.97 c | 76 | 2.3 | 0 | 5935 | 280 | 25 | 10041411 | 267166 || 76 | 496580 | 75/ 0 | 25777 | 0 | 47.46/47.55 c | 80 | 2.6 | 0 | 6514 | 75 | 26 | 10804878 | 284665 || 80 | 527292 | 75/ 0 | 27478 | 0 | 50.06/50.17 c | 90 | 2.6 | 0 | 6331 | 171 | 27 | 11567940 | 310384 || 90 | 570890 | 75/ 0 | 29487 | 0 | 53.16/53.29 c | 94 | 3.1 | 0 | 6674 | 1057 | 28 | 12239531 | 328557 || 94 | 606763 | 75/ 0 | 32794 | 0 | 57.66/57.74 c | 96 | 4.5 | 0 | 6883 | 55 | 29 | 12926539 | 344976 || 96 | 634605 | 75/ 0 | 33228 | 0 | 60.56/60.65 c | 107 | 2.9 | 0 | 6961 | 237 | 30 | 13746562 | 371849 || 107 | 684807 | 75/ 0 | 35490 | 0 | 63.96/64.00 c | 113 | 3.3 | 0 | 7531 | 219 | 31 | 14496500 | 395118 || 113 | 726608 | 74/ 0 | 37561 | 0 | 67.46/67.51 c | 123 | 3.5 | 0 | 8214 | 7 | 32 | 15264353 | 423980 || 123 | 779116 | 74/ 0 | 39983 | 0 | 71.26/71.33 c | 125 | 3.8 | 0 | 7976 | 103 | 33 | 15984055 | 442763 || 125 | 821178 | 74/ 0 | 42768 | 0 | 76.46/76.50 c | 126 | 5.2 | 0 | 7664 | 3906 | 34 | 16666912 | 460900 || 126 | 862630 | 74/ 0 | 46388 | 0 | 81.46/81.51 c | 126 | 5.0 | 0 | 8405 | 3008 | 35 | 17822016 | 472120 || 126 | 874662 | 74/ 0 | 46500 | 0 | 88.06/88.19 c | 127 | 6.7 | 0 | 8220 | 7017 | 36 | 18549322 | 492923 || 127 | 937473 | 73/ 0 | 53493 | 0 | 94.16/94.24 c | 127 | 6.0 | 0 | 8554 | 1518 | 37 | 19633326 | 508671 || 127 | 967585 | 73/ 0 | 53746 | 0 | 96.16/96.27 c | 127 | 2.0 | 0 | 6978 | 5719 | 38 | 21231328 | 515560 || 127 | 967585 | 73/ 0 | 53746 | 0 | 99.66/99.72 c | 139 | 3.5 | 0 | 7654 | 95 | 39 | 22343219 | 545521 || 139 | 1018404 | 73/ 0 | 56045 | 0 | 103.96/104.09 c | 148 | 4.4 | 0 | 8324 | 183 | 40 | 23252637 | 573112 || 148 | 1069313 | 73/ 0 | 58727 | 0 | 107.96/108.06 c | 157 | 4.0 | 0 | 8953 | 467 | 41 | 24241785 | 602869 || 157 | 1125439 | 73/ 0 | 61625 | 0 | 111.47/111.59 c | 163 | 3.5 | 0 | 9961 | 159 | 42 | 25197852 | 623827 || 163 | 1167233 | 73/ 0 | 64200 | 0 | 115.76/115.89 c | 173 | 4.3 | 0 | 10992 | 142 | 43 | 26183700 | 657037 || 173 | 1230758 | 73/ 0 | 67364 | 0 | 119.88/119.94 c | 187 | 4.0 | 0 | 11564 | 319 | 44 | 27278718 | 691676 || 187 | 1291836 | 73/ 0 | 70339 | 0 | 124.77/124.82 c | 189 | 4.9 | 0 | 11905 | 1017 | 45 | 28609228 | 718725 || 189 | 1339938 | 73/ 0 | 73172 | 0 | 131.17/131.21 c | 190 | 6.4 | 0 | 11336 | 1216 | 46 | 29596225 | 741399 || 190 | 1389506 | 73/ 0 | 76866 | 0 | 135.97/136.08 c | 200 | 4.9 | 0 | 11702 | 100 | 47 | 31022579 | 769652 || 200 | 1431833 | 73/ 0 | 78853 | 0 | 141.47/141.51 c | 212 | 5.4 | 0 | 11030 | 482 | 48 | 32223622 | 804549 || 212 | 1493216 | 73/ 0 | 82209 | 0 | 146.87/146.92 c | 221 | 5.4 | 0 | 10610 | 1559 | 49 | 33432915 | 839016 || 221 | 1561893 | 73/ 0 | 86467 | 0 | 151.79/151.88 c | 231 | 5.0 | 0 | 11395 | 239 | 50 | 34735996 | 870691 || 231 | 1614806 | 73/ 0 | 88590 | 0 | 156.57/156.62 c | 243 | 4.7 | 0 | 10782 | 13 | 51 | 36007575 | 908121 || 243 | 1684925 | 73/ 0 | 92044 | 0 | 161.87/161.93 c | 252 | 5.3 | 0 | 11584 | 1999 | 52 | 37302641 | 945729 || 252 | 1759471 | 73/ 0 | 96350 | 0 | 168.37/168.47 c | 253 | 6.5 | 0 | 12479 | 497 | 53 | 38565722 | 975414 || 253 | 1822498 | 73/ 0 | 100134 | 0 | 174.67/174.72 c | 254 | 6.2 | 0 | 12052 | 6299 | 54 | 39873302 | 998319 || 254 | 1879214 | 71/ 0 | 107019 | 0 | 180.47/180.52 c | 254 | 5.8 | 0 | 12896 | 2601 | 55 | 40996945 | 1020907 || 254 | 1922549 | 71/ 0 | 107383 | 0 | 184.97/185.06 c | 255 | 4.5 | 0 | 11863 | 8605 | 56 | 42261738 | 1040758 || 255 | 1983292 | 71/ 0 | 120749 | 0 | 194.37/194.44 c | 255 | 9.4 | 0 | 12650 | 6101 | 57 | 43043625 | 1073323 || 255 | 2065578 | 71/ 0 | 121488 | 0 | 202.96/203.00 c | 255 | 8.6 | 0 | 11624 | 1706 | 58 | 44111800 | 1099789 || 255 | 2122819 | 71/ 0 | 121997 | 0 | 209.06/209.12 c | 255 | 6.1 | 0 | 11200 | 8007 | 59 | 45817740 | 1109631 || 255 | 2122819 | 71/ 0 | 121997 | 0 | 215.26/215.33 c | 261 | 6.2 | 0 | 12360 | 199 | 60 | 47340193 | 1130178 || 261 | 2146330 | 71/ 0 | 123017 | 0 | 221.56/221.61 c | 277 | 6.3 | 0 | 11702 | 268 | 61 | 48842347 | 1174997 || 277 | 2224195 | 71/ 0 | 127342 | 0 | 227.97/228.07 c | 286 | 6.5 | 0 | 12367 | 253 | 62 | 50213822 | 1216503 || 286 | 2302830 | 71/ 0 | 131667 | 0 | 234.87/234.93 c | 301 | 6.9 | 0 | 12991 | 920 | 63 | 51885843 | 1261176 || 301 | 2376167 | 71/ 0 | 135530 | 0 | 241.27/241.38 c | 316 | 6.5 | 0 | 13774 | 84 | 64 | 53404143 | 1306334 || 316 | 2456910 | 71/ 0 | 139510 | 0 | 250.27/250.34 c | 318 | 9.0 | 0 | 13513 | 4584 | 65 | 54538850 | 1339419 || 318 | 2533017 | 71/ 0 | 144984 | 0 | 257.07/257.13 c | 330 | 6.8 | 0 | 14304 | 54 | 66 | 56873216 | 1373026 || 330 | 2581965 | 71/ 0 | 147250 | 0 | 263.77/263.89 c | 347 | 6.8 | 0 | 14027 | 431 | 67 | 58409498 | 1422196 || 347 | 2677562 | 71/ 0 | 151938 | 0 | 270.77/270.84 c | 356 | 7.0 | 0 | 14945 | 419 | 68 | 60105308 | 1461632 || 356 | 2752791 | 71/ 0 | 156213 | 0 | 277.87/277.95 c | 373 | 7.1 | 0 | 15535 | 180 | 69 | 61868563 | 1509653 || 373 | 2840000 | 71/ 0 | 160472 | 0 | 285.98/286.05 c | 381 | 8.1 | 0 | 15713 | 2062 | 70 | 63627414 | 1551523 || 381 | 2918301 | 71/ 0 | 167765 | 0 | 294.37/294.43 c | 382 | 8.4 | 0 | 15786 | 4765 | 71 | 65405562 | 1585380 || 382 | 2993934 | 71/ 0 | 174870 | 0 | 303.97/304.09 c | 382 | 9.7 | 0 | 16210 | 2766 | 72 | 67025177 | 1617228 || 382 | 3054386 | 71/ 0 | 175392 | 0 | 310.47/310.52 c | 396 | 6.4 | 0 | 16421 | 249 | 73 | 69134872 | 1659306 || 396 | 3116924 | 71/ 0 | 178397 | 0 | 318.57/318.63 c | 412 | 8.1 | 0 | 15397 | 1022 | 74 | 70904126 | 1710158 || 412 | 3215938 | 71/ 0 | 183335 | 0 | 327.17/327.25 c | 426 | 8.6 | 0 | 15918 | 199 | 75 | 72885096 | 1756557 || 426 | 3297156 | 71/ 0 | 187687 | 0 | 335.39/335.49 c | 443 | 8.2 | 0 | 16281 | 869 | 76 | 74791422 | 1809511 || 443 | 3393725 | 71/ 0 | 193041 | 0 | 344.67/344.74 c | 445 | 9.2 | 0 | 16488 | 563 | 77 | 76400005 | 1850087 || 445 | 3483637 | 71/ 0 | 198700 | 0 | 353.09/353.17 c | 460 | 8.4 | 0 | 17867 | 1136 | 78 | 78843077 | 1897366 || 460 | 3565480 | 71/ 0 | 202684 | 0 | 361.37/361.47 c | 476 | 8.3 | 0 | 18716 | 1808 | 79 | 80654082 | 1951981 || 476 | 3666819 | 71/ 0 | 208392 | 0 | 369.27/369.35 c | 491 | 7.9 | 0 | 19857 | 575 | 80 | 82415592 | 2002107 || 491 | 3754011 | 71/ 0 | 212425 | 0 | 378.57/378.65 c | 507 | 9.3 | 0 | 20309 | 247 | 81 | 84382910 | 2056289 || 507 | 3860988 | 71/ 0 | 218232 | 0 | 388.29/388.37 c | 509 | 9.7 | 0 | 20151 | 4047 | 82 | 86748028 | 2090127 || 509 | 3936437 | 71/ 0 | 228596 | 0 | 398.37/398.45 c | 509 | 10.1 | 0 | 19849 | 3147 | 83 | 88484087 | 2124691 || 509 | 4004164 | 71/ 0 | 229217 | 0 | 411.29/411.33 c | 510 | 12.9 | 0 | 18887 | 11951 | 84 | 90337026 | 2164932 || 510 | 4113345 | 71/ 0 | 243036 | 0 | 429.99/430.09 c | 510 | 18.8 | 0 | 20376 | 1651 | 85 | 91751992 | 2206324 || 510 | 4204765 | 71/ 0 | 243891 | 0 | 437.57/437.71 c | 510 | 7.6 | 0 | 17321 | 10652 | 86 | 95021190 | 2221894 || 510 | 4204765 | 71/ 0 | 243891 | 0 | 447.77/447.83 c | 511 | 10.1 | 0 | 17126 | 19754 | 87 | 96478578 | 2264135 || 511 | 4349167 | 71/ 0 | 270784 | 0 | 461.99/462.02 c | 511 | 14.2 | 0 | 16317 | 9201 | 88 | 97410409 | 2308105 || 511 | 4455083 | 71/ 0 | 271787 | 0 | 480.08/480.19 c | 511 | 18.2 | 0 | 17173 | 9301 | 89 | 98389203 | 2353360 || 511 | 4561488 | 71/ 0 | 272766 | 0 | 489.67/489.74 c | 511 | 9.6 | 0 | 13772 | 9257 | 90 | 101430760 | 2370763 || 511 | 4562949 | 71/ 0 | 272780 | 0 | 498.88/498.97 c | 511 | 9.2 | 0 | 16722 | 18760 | 91 | 104870981 | 2388828 || 511 | 4562949 | 71/ 0 | 272780 | 0 | 507.88/507.95 c | 520 | 9.0 | 0 | 16661 | 37 | 92 | 108018179 | 2422918 || 520 | 4599427 | 71/ 0 | 274521 | 0 | 517.99/518.05 c | 541 | 10.1 | 0 | 15179 | 395 | 93 | 110164071 | 2487903 || 541 | 4718008 | 71/ 0 | 280553 | 0 | 528.38/528.43 c | 557 | 10.4 | 0 | 16751 | 566 | 94 | 112552883 | 2546662 || 557 | 4825497 | 71/ 0 | 286352 | 0 | 539.18/539.28 c | 574 | 10.9 | 0 | 17580 | 1642 | 95 | 114830614 | 2605024 || 574 | 4938660 | 71/ 0 | 295389 | 0 | 549.18/549.24 c | 587 | 10.0 | 0 | 18236 | 123 | 96 | 116931358 | 2659972 || 587 | 5041674 | 71/ 0 | 298356 | 0 | 559.38/559.46 c | 605 | 10.2 | 0 | 19038 | 1687 | 97 | 119102537 | 2723099 || 605 | 5161207 | 71/ 0 | 305492 | 0 | 570.90/570.92 c | 626 | 11.5 | 0 | 20335 | 26 | 98 | 121871082 | 2787423 || 626 | 5272083 | 71/ 0 | 310553 | 0 | 581.80/581.85 c | 637 | 10.9 | 0 | 21150 | 3710 | 99 | 124150216 | 2842644 || 637 | 5391451 | 71/ 0 | 318846 | 0 | 592.98/593.00 c | 638 | 11.1 | 0 | 20202 | 9308 | 100 | 126093901 | 2890846 || 638 | 5504211 | 71/ 0 | 326323 | 0 | 601.78/601.88 c | 651 | 8.9 | 0 | 20348 | 295 | 101 | 128947991 | 2934767 || 651 | 5563977 | 71/ 0 | 328918 | 0 | 612.98/613.03 c | 669 | 11.1 | 0 | 20759 | 2362 | 102 | 131485379 | 3001232 || 669 | 5695408 | 71/ 0 | 336134 | 0 | 624.58/624.68 c | 693 | 11.6 | 0 | 21809 | 129 | 103 | 134299574 | 3071516 || 693 | 5814884 | 71/ 0 | 341845 | 0 | 638.00/638.02 c | 701 | 13.4 | 0 | 22233 | 618 | 104 | 136153714 | 3129871 || 701 | 5939148 | 71/ 0 | 349595 | 0 | 650.48/650.59 c | 723 | 12.6 | 0 | 22166 | 484 | 105 | 138769133 | 3193517 || 723 | 6047076 | 71/ 0 | 355003 | 0 | 662.28/662.39 c | 743 | 11.8 | 0 | 23622 | 231 | 106 | 141252707 | 3259545 || 743 | 6168142 | 71/ 0 | 361476 | 0 | 675.08/675.17 c | 763 | 12.8 | 0 | 24704 | 2291 | 107 | 143694390 | 3332343 || 763 | 6308665 | 71/ 0 | 369025 | 0 | 689.98/690.03 c | 765 | 14.9 | 0 | 24217 | 6285 | 108 | 145892231 | 3380003 || 765 | 6415136 | 71/ 0 | 379584 | 0 | 705.58/705.60 c | 766 | 15.6 | 0 | 24013 | 7986 | 109 | 148500156 | 3419831 || 766 | 6506001 | 71/ 0 | 393252 | 0 | 727.99/728.02 c | 766 | 22.4 | 0 | 22571 | 186 | 110 | 149980288 | 3479145 || 766 | 6645188 | 71/ 0 | 394523 | 0 | 738.69/738.76 c | 766 | 10.7 | 0 | 21314 | 11687 | 111 | 153821835 | 3499998 || 766 | 6645188 | 71/ 0 | 394523 | 0 | 749.19/749.27 c | 795 | 10.5 | 0 | 20912 | 242 | 112 | 156579633 | 3577157 || 795 | 6783681 | 71/ 0 | 401383 | 0 | 762.59/762.65 c | 812 | 13.4 | 0 | 22337 | 503 | 113 | 159372266 | 3646709 || 812 | 6909933 | 71/ 0 | 408189 | 0 | 776.51/776.55 c | 829 | 13.9 | 0 | 22796 | 3466 | 114 | 161774968 | 3720841 || 829 | 7059322 | 70/ 0 | 417572 | 0 | 789.49/789.56 c | 848 | 13.0 | 0 | 24523 | 27 | 115 | 164797684 | 3788269 || 848 | 7175235 | 70/ 0 | 422400 | 0 | 801.69/801.80 c | 871 | 12.2 | 0 | 25027 | 284 | 116 | 167518599 | 3859900 || 871 | 7313254 | 70/ 0 | 429716 | 0 | 815.01/815.02 c | 891 | 13.2 | 0 | 26488 | 946 | 117 | 170285241 | 3933993 || 891 | 7455343 | 70/ 0 | 437422 | 0 | 828.21/828.31 c | 893 | 13.3 | 0 | 25749 | 8347 | 118 | 172606244 | 3993924 || 893 | 7604041 | 70/ 0 | 448346 | 0 | 840.59/840.61 c | 907 | 12.3 | 0 | 25411 | 217 | 119 | 175996474 | 4051468 || 907 | 7687616 | 70/ 0 | 451528 | 0 | 855.71/855.81 c | 928 | 15.2 | 0 | 25568 | 73 | 120 | 178802525 | 4123114 || 928 | 7817906 | 70/ 0 | 458829 | 0 | 870.29/870.36 c | 955 | 14.6 | 0 | 26184 | 1437 | 121 | 181622842 | 4205656 || 955 | 7973821 | 70/ 0 | 467775 | 0 | 885.51/885.52 c | 969 | 15.1 | 0 | 26875 | 117 | 122 | 184287233 | 4268435 || 969 | 8091550 | 70/ 0 | 474007 | 0 | 900.39/900.47 c | 989 | 15.0 | 0 | 26198 | 183 | 123 | 187563999 | 4347834 || 989 | 8234769 | 70/ 0 | 481549 | 0 | 915.49/915.59 c | 1018 | 15.1 | 0 | 26950 | 1053 | 124 | 190262200 | 4426327 || 1018 | 8383799 | 70/ 0 | 490726 | 0 | 930.09/930.13 c | 1020 | 14.5 | 0 | 26416 | 6745 | 125 | 192938876 | 4493328 || 1020 | 8540842 | 70/ 0 | 501763 | 0 | 944.29/944.38 c | 1021 | 14.3 | 0 | 26154 | 10144 | 126 | 195320521 | 4544477 || 1021 | 8665430 | 70/ 0 | 515767 | 0 | 958.79/958.86 c | 1021 | 14.5 | 0 | 27368 | 4043 | 127 | 197879356 | 4601282 || 1021 | 8783598 | 70/ 0 | 516860 | 0 | 971.99/972.03 c | 1022 | 13.2 | 0 | 26183 | 17246 | 128 | 201076386 | 4636855 || 1022 | 8890769 | 70/ 0 | 543544 | 0 | 994.31/994.38 c | 1022 | 22.4 | 0 | 26044 | 13301 | 129 | 202408356 | 4701075 || 1022 | 9046154 | 70/ 0 | 544957 | 0 | 1012.79/1012.85 c | 1022 | 18.5 | 0 | 28315 | 5548 | 130 | 204993852 | 4747266 || 1022 | 9131038 | 70/ 0 | 545695 | 0 | 1021.91/1021.95 c | 1022 | 9.1 | 0 | 23496 | 19050 | 131 | 208699292 | 4770730 || 1022 | 9131038 | 70/ 0 | 545695 | 0 | 1035.69/1035.73 c | 1023 | 13.8 | 0 | 25739 | 32652 | 132 | 211317515 | 4819008 || 1023 | 9327512 | 70/ 0 | 598718 | 0 | 1056.40/1056.41 c | 1023 | 20.7 | 0 | 24095 | 13701 | 133 | 212863142 | 4878427 || 1023 | 9477625 | 70/ 0 | 600017 | 0 | 1079.70/1079.79 c | 1023 | 23.4 | 0 | 27253 | 13801 | 134 | 214623731 | 4942026 || 1023 | 9638786 | 70/ 0 | 601421 | 0 | 1103.40/1103.44 c | 1023 | 23.7 | 0 | 28912 | 13901 | 135 | 216285462 | 5003889 || 1023 | 9794309 | 70/ 0 | 602793 | 0 | 1117.90/1117.90 c | 1023 | 14.5 | 0 | 27411 | 11254 | 136 | 220255693 | 5031321 || 1023 | 9822736 | 70/ 0 | 603043 | 0 | 1129.40/1129.41 c | 1023 | 11.5 | 0 | 24950 | 25356 | 137 | 224593638 | 5050528 || 1023 | 9822736 | 70/ 0 | 603043 | 0 | 1143.10/1143.14 c | 1023 | 13.7 | 0 | 22911 | 39558 | 138 | 229620958 | 5069726 || 1023 | 9822736 | 70/ 0 | 603043 | 0 | 1157.90/1157.91 c | 1032 | 14.8 | 0 | 25154 | 150 | 139 | 234334808 | 5106278 || 1032 | 9859435 | 70/ 0 | 604776 | 0 | 1173.80/1173.89 c | 1059 | 16.0 | 0 | 21978 | 106 | 140 | 237894353 | 5196665 || 1059 | 10029735 | 70/ 0 | 613609 | 0 | 1190.30/1190.38 c | 1085 | 16.5 | 0 | 23881 | 1054 | 141 | 241232128 | 5286947 || 1085 | 10196864 | 70/ 0 | 622606 | 0 | 1207.41/1207.41 c | 1107 | 17.0 | 0 | 25703 | 110 | 142 | 244482515 | 5364395 || 1107 | 10345181 | 70/ 0 | 631199 | 0 | 1225.21/1225.31 c | 1132 | 17.9 | 0 | 27239 | 673 | 143 | 247991970 | 5452498 || 1132 | 10506997 | 70/ 0 | 639964 | 0 | 1244.81/1244.80 c | 1149 | 19.5 | 0 | 27674 | 1834 | 144 | 251095949 | 5527097 || 1149 | 10656570 | 70/ 0 | 649341 | 0 | 1262.82/1262.89 c | 1153 | 18.1 | 0 | 26985 | 118 | 145 | 254396362 | 5580689 || 1153 | 10761699 | 70/ 0 | 657091 | 0 | 1279.61/1279.63 c | 1181 | 16.7 | 0 | 26646 | 1271 | 146 | 257859640 | 5681068 || 1181 | 10947622 | 70/ 0 | 666504 | 0 | 1297.51/1297.54 c | 1212 | 17.9 | 0 | 28372 | 292 | 147 | 261214676 | 5780237 || 1212 | 11137034 | 70/ 0 | 676288 | 0 | 1316.51/1316.57 c | 1233 | 19.0 | 0 | 29813 | 163 | 148 | 265009984 | 5863558 || 1233 | 11287076 | 70/ 0 | 684680 | 0 | 1335.21/1335.31 c | 1261 | 18.7 | 0 | 30533 | 0 | 149 | 268486511 | 5955945 || 1261 | 11454079 | 70/ 0 | 693907 | 0 | 1355.51/1355.56 c | 1276 | 20.2 | 0 | 30624 | 2855 | 150 | 271994487 | 6041188 || 1276 | 11616362 | 70/ 0 | 703208 | 0 | 1373.61/1373.67 c | 1278 | 18.1 | 0 | 28535 | 8754 | 151 | 275079960 | 6103350 || 1278 | 11776439 | 70/ 0 | 723865 | 0 | 1393.31/1393.34 c | 1278 | 19.7 | 0 | 28562 | 5153 | 152 | 277862567 | 6170252 || 1278 | 11916410 | 70/ 0 | 725153 | 0 | 1409.81/1409.81 c | 1299 | 16.5 | 0 | 29722 | 198 | 153 | 281753396 | 6241931 || 1299 | 12019787 | 70/ 0 | 730156 | 0 | 1428.21/1428.21 c | 1330 | 18.4 | 0 | 29026 | 234 | 154 | 285428263 | 6345625 || 1330 | 12209973 | 70/ 0 | 739925 | 0 | 1447.31/1447.35 c | 1346 | 19.1 | 0 | 28989 | 91 | 155 | 288973542 | 6422771 || 1346 | 12360646 | 70/ 0 | 749088 | 0 | 1465.91/1465.93 c | 1377 | 18.6 | 0 | 30538 | 37 | 156 | 292721624 | 6525024 || 1377 | 12548700 | 70/ 0 | 758870 | 0 | 1486.03/1486.03 c | 1404 | 20.1 | 0 | 32306 | 2778 | 157 | 296398035 | 6624981 || 1404 | 12738874 | 70/ 0 | 771395 | 0 | 1505.41/1505.42 c | 1405 | 19.4 | 0 | 31578 | 4578 | 158 | 299923356 | 6687539 || 1405 | 12866328 | 70/ 0 | 778997 | 0 | 1525.81/1525.90 c | 1436 | 20.5 | 0 | 32942 | 10 | 159 | 304008536 | 6794125 || 1436 | 13062957 | 70/ 0 | 788799 | 0 | 1545.43/1545.44 c | 1467 | 19.5 | 0 | 33831 | 330 | 160 | 308103460 | 6894534 || 1467 | 13248990 | 70/ 0 | 798584 | 0 | 1565.33/1565.38 c | 1490 | 19.9 | 0 | 35106 | 381 | 161 | 311863653 | 6978987 || 1490 | 13405222 | 70/ 0 | 807668 | 0 | 1586.13/1586.16 c | 1524 | 20.8 | 0 | 35735 | 216 | 162 | 315811580 | 7082121 || 1524 | 13595677 | 70/ 0 | 817876 | 0 | 1606.51/1606.55 c | 1532 | 20.4 | 0 | 34643 | 6801 | 163 | 319240511 | 7164295 || 1532 | 13775019 | 70/ 0 | 832371 | 0 | 1626.31/1626.37 c | 1533 | 19.8 | 0 | 32796 | 14002 | 164 | 322493016 | 7236078 || 1533 | 13950041 | 70/ 0 | 846778 | 0 | 1642.23/1642.23 c | 1533 | 15.9 | 0 | 34880 | 11697 | 165 | 326691286 | 7283840 || 1533 | 14019186 | 70/ 0 | 847382 | 0 | 1669.61/1669.69 c | 1534 | 27.5 | 0 | 32840 | 28698 | 166 | 329102295 | 7373930 || 1534 | 14281650 | 70/ 0 | 875457 | 0 | 1697.72/1697.70 c | 1534 | 28.0 | 0 | 36160 | 7399 | 167 | 332805157 | 7440929 || 1534 | 14414020 | 70/ 0 | 876701 | 0 | 1715.22/1715.21 c | 1534 | 17.5 | 0 | 33028 | 24601 | 168 | 339077177 | 7464626 || 1534 | 14414020 | 70/ 0 | 876701 | 0 | 1734.64/1734.69 c | 1567 | 19.5 | 0 | 31790 | 137 | 169 | 343393608 | 7575140 || 1567 | 14613964 | 70/ 0 | 886765 | 0 | 1756.22/1756.22 c | 1597 | 21.5 | 0 | 33741 | 3181 | 170 | 347172525 | 7680229 || 1597 | 14820722 | 70/ 0 | 899671 | 0 | 1779.53/1779.52 c | 1627 | 23.3 | 0 | 35647 | 631 | 171 | 351310099 | 7778505 || 1627 | 14996092 | 70/ 0 | 907697 | 0 | 1801.13/1801.17 c | 1659 | 21.7 | 0 | 35612 | 2163 | 172 | 355082471 | 7885048 || 1659 | 15203242 | 70/ 0 | 919224 | 0 | 1825.43/1825.47 c | 1661 | 24.3 | 0 | 34366 | 3052 | 173 | 358858909 | 7961720 || 1661 | 15370766 | 70/ 0 | 930361 | 0 | 1846.23/1846.24 c | 1692 | 20.8 | 0 | 36855 | 0 | 174 | 363305306 | 8063605 || 1692 | 15558397 | 70/ 0 | 940139 | 0 | 1867.75/1867.75 c | 1724 | 21.5 | 0 | 37394 | 1828 | 175 | 367547210 | 8162886 || 1724 | 15741503 | 70/ 0 | 953100 | 0 | 1889.93/1889.92 c | 1754 | 22.2 | 0 | 38012 | 960 | 176 | 371114742 | 8259715 || 1754 | 15923417 | 70/ 0 | 961251 | 0 | 1912.85/1912.91 c | 1786 | 23.0 | 0 | 38963 | 1791 | 177 | 375091291 | 8366283 || 1786 | 16127310 | 70/ 0 | 972722 | 0 | 1939.83/1939.84 c | 1788 | 26.9 | 0 | 37615 | 3190 | 178 | 378660338 | 8436374 || 1788 | 16278740 | 70/ 0 | 983695 | 0 | 1980.23/1980.20 c | 1789 | 40.4 | 0 | 36580 | 2289 | 179 | 382581450 | 8509767 || 1789 | 16457285 | 70/ 0 | 998180 | 0 | 1998.93/1998.95 c | 1810 | 18.8 | 0 | 36612 | 48 | 180 | 388002870 | 8582445 || 1810 | 16550827 | 70/ 0 | 1003069 | 0 | 2019.33/2019.31 c | 1848 | 20.4 | 0 | 38337 | 60 | 181 | 392271452 | 8700356 || 1848 | 16769598 | 70/ 0 | 1014436 | 0 | 2041.65/2041.62 c | 1868 | 22.3 | 0 | 39986 | 826 | 182 | 396401123 | 8793352 || 1868 | 16952967 | 70/ 0 | 1025432 | 0 | 2063.73/2063.73 c | 1907 | 22.1 | 0 | 40785 | 133 | 183 | 400397378 | 8909456 || 1907 | 17165552 | 70/ 0 | 1036701 | 0 | 2090.63/2090.69 c | 1916 | 27.0 | 0 | 40159 | 8614 | 184 | 404282693 | 9004792 || 1916 | 17385003 | 70/ 0 | 1051726 | 0 | 2110.73/2110.80 c | 1946 | 20.1 | 0 | 42313 | 658 | 185 | 408899578 | 9102089 || 1946 | 17544365 | 70/ 0 | 1059614 | 0 | 2135.33/2135.32 c | 1978 | 24.5 | 0 | 43404 | 2371 | 186 | 413188911 | 9218814 || 1978 | 17764140 | 70/ 0 | 1071263 | 0 | 2159.73/2159.73 c | 2008 | 24.4 | 0 | 42773 | 204 | 187 | 417408852 | 9322789 || 2008 | 17957084 | 70/ 0 | 1081847 | 0 | 2184.55/2184.53 c | 2041 | 24.8 | 0 | 43263 | 2134 | 188 | 421679198 | 9438680 || 2041 | 18181384 | 70/ 0 | 1094250 | 0 | 2213.83/2213.89 c | 2043 | 29.4 | 0 | 42646 | 4629 | 189 | 426153669 | 9513795 || 2043 | 18329310 | 70/ 0 | 1105214 | 0 | 2237.24/2237.28 c | 2044 | 23.4 | 0 | 40333 | 4826 | 190 | 429994230 | 9596183 || 2044 | 18524933 | 70/ 0 | 1119851 | 0 | 2263.94/2263.96 c | 2045 | 26.7 | 0 | 39963 | 24328 | 191 | 433975066 | 9670718 || 2045 | 18731279 | 70/ 0 | 1147335 | 0 | 2300.54/2300.53 c | 2045 | 36.6 | 0 | 40276 | 5529 | 192 | 437531573 | 9747111 || 2045 | 18898329 | 70/ 0 | 1148850 | 0 | 2318.94/2318.91 c | 2045 | 18.4 | 0 | 38224 | 25230 | 193 | 443322280 | 9777308 || 2045 | 18898329 | 70/ 0 | 1148850 | 0 | 2348.94/2349.00 c | 2046 | 30.1 | 0 | 36078 | 45037 | 194 | 445961357 | 9885453 || 2046 | 19256067 | 70/ 0 | 1203337 | 0 | 2387.94/2387.95 c | 2046 | 39.0 | 0 | 39131 | 19901 | 195 | 448418080 | 9990887 || 2046 | 19506167 | 70/ 0 | 1205626 | 0 | 2423.85/2423.87 c | 2046 | 35.9 | 0 | 41953 | 8137 | 196 | 451744041 | 10063944 || 2046 | 19649946 | 70/ 0 | 1206974 | 0 | 2451.75/2451.70 c | 2046 | 27.8 | 0 | 37620 | 28239 | 197 | 456090930 | 10091613 || 2046 | 19649946 | 70/ 0 | 1206974 | 0 | 2477.65/2477.69 c | 2046 | 26.0 | 0 | 38938 | 48442 | 198 | 460500780 | 10119256 || 2046 | 19649946 | 70/ 0 | 1206974 | 0 | 2503.85/2503.83 c | 2047 | 26.2 | 0 | 35578 | 68748 | 199 | 463237749 | 10227400 || 2047 | 20101657 | 69/ 0 | 1313695 | 0 | 2537.55/2537.59 c | 2047 | 33.8 | 0 | 32289 | 20402 | 200 | 465640681 | 10338033 || 2047 | 20362350 | 69/ 0 | 1316160 | 0 | 2577.27/2577.26 c | 2047 | 39.7 | 0 | 37756 | 20501 | 201 | 467867715 | 10438773 || 2047 | 20601784 | 69/ 0 | 1318377 | 0 | 2619.35/2619.30 c | 2047 | 42.1 | 0 | 42350 | 20605 | 202 | 470297281 | 10532557 || 2047 | 20829600 | 69/ 0 | 1320517 | 0 | 2653.27/2653.25 c | 2047 | 33.9 | 0 | 43038 | 20704 | 203 | 472638457 | 10631301 || 2047 | 21067921 | 69/ 0 | 1322652 | 0 | 2674.85/2674.85 c | 2047 | 21.6 | 0 | 36167 | 18162 | 204 | 478731384 | 10679915 || 2047 | 21098986 | 69/ 0 | 1322946 | 0 | 2696.07/2696.11 c | 2047 | 21.3 | 0 | 32744 | 39064 | 205 | 484750738 | 10713498 || 2047 | 21098986 | 69/ 0 | 1322946 | 0 | 2715.88/2715.82 c | 2047 | 19.7 | 0 | 33275 | 60067 | 206 | 490989194 | 10749718 || 2047 | 21098986 | 69/ 0 | 1322946 | 0 | 2738.98/2738.96 c | 2047 | 23.1 | 0 | 33841 | 81170 | 207 | 498412340 | 10785317 || 2047 | 21098986 | 69/ 0 | 1322946 | 0 | 2761.96/2761.98 c | 2047 | 23.0 | 0 | 37427 | 102372 | 208 | 505317945 | 10820499 || 2047 | 21098986 | 69/ 0 | 1322946 | 0 | 2788.66/2788.63 c | 2093 | 26.6 | 0 | 30440 | 783 | 209 | 510332738 | 10962150 || 2093 | 21359113 | 69/ 0 | 1336583 | 0 | 2819.76/2819.79 c | 2124 | 31.2 | 0 | 34271 | 304 | 210 | 515240690 | 11082964 || 2124 | 21584539 | 69/ 0 | 1349032 | 0 | 2849.46/2849.41 c | 2166 | 29.6 | 0 | 36588 | 127 | 211 | 520196803 | 11217485 || 2166 | 21826143 | 69/ 0 | 1361742 | 0 | 2883.56/2883.54 c | 2174 | 34.1 | 0 | 37901 | 2316 | 212 | 525156876 | 11305977 || 2174 | 22020139 | 69/ 0 | 1376342 | 0 | 2911.36/2911.34 c | 2211 | 27.8 | 0 | 39949 | 145 | 213 | 530683092 | 11425456 || 2211 | 22224168 | 69/ 0 | 1387063 | 0 | 2939.56/2939.56 c | 2241 | 28.2 | 0 | 41543 | 273 | 214 | 535537733 | 11544150 || 2241 | 22454449 | 69/ 0 | 1400123 | 0 | 2970.67/2970.69 c | 2285 | 31.1 | 0 | 45177 | 190 | 215 | 540821429 | 11683708 || 2285 | 22711257 | 69/ 0 | 1413438 | 0 | 2999.17/2999.15 c | 2301 | 28.5 | 0 | 43763 | 9472 | 216 | 545191776 | 11795046 || 2301 | 22959712 | 69/ 0 | 1429879 | 0 | 3036.17/3036.16 c | 2302 | 37.0 | 0 | 40669 | 2771 | 217 | 549609006 | 11872995 || 2302 | 23142522 | 69/ 0 | 1444371 | 0 | 3060.67/3060.63 c | 2332 | 24.5 | 0 | 40178 | 84 | 218 | 555749331 | 11974210 || 2332 | 23300169 | 69/ 0 | 1452283 | 0 | 3090.57/3090.57 c | 2365 | 29.9 | 0 | 42266 | 3912 | 219 | 560952862 | 12110636 || 2365 | 23568865 | 69/ 0 | 1467603 | 0 | 3120.57/3120.59 c | 2403 | 30.0 | 0 | 44105 | 222 | 220 | 566293570 | 12238277 || 2403 | 23792353 | 69/ 0 | 1478847 | 0 | 3151.38/3151.37 c | 2429 | 30.8 | 0 | 42825 | 5470 | 221 | 570894705 | 12348931 || 2429 | 24026632 | 69/ 0 | 1497478 | 0 | 3182.78/3182.75 c | 2459 | 31.4 | 0 | 43940 | 3 | 222 | 575446612 | 12459046 || 2459 | 24218733 | 69/ 0 | 1505701 | 0 | 3218.18/3218.10 c | 2492 | 35.3 | 0 | 44120 | 4240 | 223 | 580736966 | 12592380 || 2492 | 24481814 | 69/ 0 | 1520938 | 0 | 3250.38/3250.36 c | 2533 | 32.3 | 0 | 46603 | 244 | 224 | 586308373 | 12719720 || 2533 | 24706487 | 69/ 0 | 1532669 | 0 | 3282.28/3282.29 c | 2556 | 31.9 | 0 | 45840 | 6596 | 225 | 591103513 | 12837447 || 2556 | 24957726 | 69/ 0 | 1550910 | 0 | 3314.58/3314.58 c | 2557 | 32.3 | 0 | 42950 | 795 | 226 | 595147905 | 12933267 || 2557 | 25181752 | 69/ 0 | 1565848 | 0 | 3348.68/3348.62 c | 2558 | 34.0 | 0 | 39461 | 23896 | 227 | 600192500 | 13008076 || 2558 | 25370618 | 67/ 0 | 1593165 | 0 | 3383.18/3383.10 c | 2558 | 34.5 | 0 | 41259 | 8695 | 228 | 603859713 | 13106637 || 2558 | 25570951 | 67/ 0 | 1595041 | 0 | 3403.40/3403.32 c | 2573 | 20.2 | 0 | 40223 | 766 | 229 | 608592945 | 13172742 || 2573 | 25651017 | 67/ 0 | 1599011 | 0 | 3430.28/3430.25 c | 2620 | 26.9 | 0 | 39545 | 1680 | 230 | 613927197 | 13320266 || 2620 | 25925942 | 67/ 0 | 1614382 | 0 | 3460.60/3460.59 c | 2652 | 30.3 | 0 | 42921 | 316 | 231 | 619451840 | 13452387 || 2652 | 26174273 | 67/ 0 | 1627903 | 0 | 3491.29/3491.30 c | 2684 | 30.7 | 0 | 44509 | 3056 | 232 | 625172941 | 13578133 || 2684 | 26409193 | 67/ 0 | 1641332 | 0 | 3524.51/3524.45 c | 2714 | 33.2 | 0 | 46516 | 493 | 233 | 629681381 | 13697229 || 2714 | 26645763 | 67/ 0 | 1655593 | 0 | 3557.19/3557.16 c | 2748 | 32.7 | 0 | 48403 | 4039 | 234 | 634534177 | 13827507 || 2748 | 26899945 | 67/ 0 | 1671623 | 0 | 3591.89/3591.85 c | 2792 | 34.7 | 0 | 51347 | 44 | 235 | 639987316 | 13966097 || 2792 | 27142467 | 67/ 0 | 1683833 | 0 | 3625.71/3625.62 c | 2812 | 33.8 | 0 | 50774 | 8609 | 236 | 645136611 | 14088631 || 2812 | 27406980 | 67/ 0 | 1702025 | 0 | 3658.19/3658.10 c | 2813 | 32.5 | 0 | 47627 | 3908 | 237 | 650129304 | 14172802 || 2813 | 27598170 | 67/ 0 | 1716525 | 0 | 3688.09/3688.05 c | 2844 | 29.9 | 0 | 48058 | 849 | 238 | 656147940 | 14287359 || 2844 | 27786595 | 67/ 0 | 1726231 | 0 | 3726.09/3726.04 c | 2881 | 38.0 | 0 | 48326 | 174 | 239 | 662245968 | 14418423 || 2881 | 28034448 | 67/ 0 | 1740341 | 0 | 3763.11/3763.11 c | 2932 | 37.1 | 0 | 50004 | 274 | 240 | 667956449 | 14572842 || 2932 | 28322693 | 67/ 0 | 1755224 | 0 | 3799.29/3799.22 c | 2940 | 36.1 | 0 | 48867 | 5058 | 241 | 672931535 | 14668928 || 2940 | 28527122 | 67/ 0 | 1769914 | 0 | 3836.00/3835.92 c | 2989 | 36.7 | 0 | 50401 | 165 | 242 | 678420527 | 14816893 || 2989 | 28793864 | 67/ 0 | 1784050 | 0 | 3874.50/3874.46 c | 3028 | 38.5 | 0 | 51713 | 266 | 243 | 683833665 | 14955385 || 3028 | 29053993 | 67/ 0 | 1798954 | 0 | 3915.10/3915.07 c | 3066 | 40.6 | 0 | 53720 | 3700 | 244 | 689366474 | 15098792 || 3066 | 29338123 | 67/ 0 | 1815979 | 0 | 3956.72/3956.66 c | 3068 | 41.6 | 0 | 50108 | 14196 | 245 | 694274798 | 15199798 || 3068 | 29575610 | 67/ 0 | 1837437 | 0 | 3991.51/3991.44 c | 3069 | 34.8 | 0 | 49089 | 19994 | 246 | 699929782 | 15290569 || 3069 | 29785468 | 67/ 0 | 1865007 | 0 | 4033.41/4033.36 c | 3069 | 41.9 | 0 | 45930 | 6694 | 247 | 705080029 | 15408714 || 3069 | 30032240 | 67/ 0 | 1867326 | 0 | 4062.91/4062.80 c | 3070 | 29.4 | 0 | 44939 | 31895 | 248 | 713269035 | 15468753 || 3070 | 30213169 | 67/ 0 | 1920230 | 0 | 4116.33/4116.24 c | 3070 | 53.5 | 0 | 44774 | 25301 | 249 | 716951821 | 15575772 || 3070 | 30486332 | 67/ 0 | 1922664 | 0 | 4171.61/4171.54 c | 3070 | 55.3 | 0 | 49978 | 5798 | 250 | 721896648 | 15664685 || 3070 | 30687317 | 67/ 0 | 1924444 | 0 | 4200.93/4200.82 c | 3070 | 29.3 | 0 | 41871 | 31300 | 251 | 731095510 | 15703591 || 3070 | 30687317 | 67/ 0 | 1924444 | 0 | 4224.72/4224.65 c | 3085 | 23.8 | 0 | 46844 | 78 | 252 | 738831255 | 15775600 || 3085 | 30766028 | 67/ 0 | 1928385 | 0 | 4258.82/4258.73 c | 3132 | 34.1 | 0 | 43416 | 885 | 253 | 744740092 | 15935853 || 3132 | 31056216 | 67/ 0 | 1943883 | 0 | 4297.52/4297.48 c | 3172 | 38.8 | 0 | 46976 | 76 | 254 | 751301213 | 16078571 || 3172 | 31324458 | 67/ 0 | 1958931 | 0 | 4333.52/4333.41 c | 3197 | 35.9 | 0 | 48061 | 9231 | 255 | 756691204 | 16210703 || 3197 | 31606073 | 67/ 0 | 1977917 | 0 | 4371.72/4371.66 c | 3238 | 38.3 | 0 | 50319 | 156 | 256 | 763442581 | 16343083 || 3238 | 31827927 | 67/ 0 | 1989660 | 0 | 4408.52/4408.45 c | 3277 | 36.8 | 0 | 52059 | 75 | 257 | 769495861 | 16493570 || 3277 | 32117182 | 67/ 0 | 2005313 | 0 | 4446.42/4446.37 c | 3323 | 37.9 | 0 | 54372 | 2467 | 258 | 775238160 | 16644859 || 3323 | 32407912 | 67/ 0 | 2023833 | 0 | 4480.23/4480.18 c | 3325 | 33.8 | 0 | 48588 | 14366 | 259 | 779486755 | 16751977 || 3325 | 32668978 | 67/ 0 | 2045390 | 0 | 4513.13/4513.05 c | 3347 | 32.9 | 0 | 50068 | 325 | 260 | 785248819 | 16849910 || 3347 | 32829409 | 67/ 0 | 2051258 | 0 | 4553.73/4553.64 c | 3388 | 40.6 | 0 | 49143 | 4751 | 261 | 791342568 | 17003483 || 3388 | 33136629 | 67/ 0 | 2068945 | 0 | 4593.33/4593.20 c | 3438 | 39.6 | 0 | 52044 | 249 | 262 | 797555191 | 17156381 || 3438 | 33412448 | 67/ 0 | 2083189 | 0 | 4633.63/4633.58 c | 3452 | 40.4 | 0 | 53041 | 5113 | 263 | 803363916 | 17278323 || 3452 | 33655405 | 67/ 0 | 2099347 | 0 | 4673.95/4673.90 c | 3508 | 40.3 | 0 | 54221 | 0 | 264 | 809670994 | 17444981 || 3508 | 33957164 | 67/ 0 | 2114938 | 0 | 4714.83/4714.76 c | 3546 | 40.9 | 0 | 55360 | 1814 | 265 | 815654124 | 17589731 || 3546 | 34241678 | 67/ 0 | 2131916 | 0 | 4758.93/4758.89 c | 3579 | 44.1 | 0 | 57761 | 5556 | 266 | 821945561 | 17725423 || 3579 | 34521292 | 67/ 0 | 2152106 | 0 | 4810.63/4810.50 c | 3580 | 51.6 | 0 | 54088 | 3853 | 267 | 826989205 | 17835851 || 3580 | 34776673 | 67/ 0 | 2167184 | 0 | 4857.04/4856.98 c | 3581 | 46.5 | 0 | 51274 | 31055 | 268 | 832546155 | 17939832 || 3581 | 35046258 | 67/ 0 | 2195267 | 0 | 4899.34/4899.24 c | 3581 | 42.3 | 0 | 51755 | 19958 | 269 | 839568476 | 18006430 || 3581 | 35127694 | 67/ 0 | 2196010 | 0 | 4937.64/4937.55 c | 3627 | 38.3 | 0 | 49684 | 39 | 270 | 846457940 | 18150233 || 3627 | 35374393 | 67/ 0 | 2209487 | 0 | 4978.84/4978.74 c | 3673 | 41.2 | 0 | 51446 | 423 | 271 | 852983664 | 18309922 || 3673 | 35662200 | 67/ 0 | 2225803 | 0 | 5000.06/4999.91 c | 3700 | 21.2 | 0 | 66118 | 143 | 271 | 856427108 | 18392813 || 3700 | 35817116 | 67/ 0 | 2234541 | 0 | 5000.06/4999.91 c c 5000.06/4999.91 c ----------------------------------- 5000.06/4999.91 c # temps = 4991.040000 5000.06/4999.91 c # cleaningDB = 271 5000.06/4999.91 c # clause binaire = 1094803 5000.06/4999.91 c # literal removed by litRedundant = 210704729 5000.06/4999.91 c # literal removed by litRedundantBin = 275477121 5000.06/4999.91 c # init clause removed by simplify = 0 5000.06/4999.91 c # learnt clause removed by simplify = 0 5000.06/4999.91 c # une clause fausse était une apprise = 0 5000.06/4999.91 c # equivalence dectecte = 0 5000.06/4999.91 c # Memory used : 156.88 MB 5000.06/4999.91 c 5000.06/4999.91 c ######################## 5000.06/4999.91 c #### ## ### ## #### 5000.06/4999.91 c #### #### # ## #### #### 5000.06/4999.91 c #### ## ### ## ### 5000.06/4999.91 c ######################## 5000.06/4999.91 c # restart = 3700 5000.06/4999.91 c # conflit = 3809211 5000.06/4999.91 c # decision = 18392813 5000.06/4999.91 c # propagation = 856427108 (171592.916106 (prop/sec)) 5000.06/4999.91 c 5000.06/4999.91 c ######################## 5000.06/4999.91 c ### ### # ## ## ## 5000.06/4999.91 c ### # # # #### # ### ### 5000.06/4999.91 c ### # ### ## # ### ### 5000.06/4999.91 c ######################## 5000.06/4999.91 c # numtry = 3700 5000.06/4999.91 c # numflips = 35817116 5000.06/4999.91 c # maxSat = 67 5000.06/4999.91 c # freeFlip = 3869896 5000.06/4999.91 c # nbBoundary = 0 5000.06/4999.91 c
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3439750-1306938863/watcher-3439750-1306938863 -o /tmp/evaluation-result-3439750-1306938863/solver-3439750-1306938863 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439750-1306938863.cnf rnovelty running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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.04 2.05 2.00 3/516 26222 /proc/meminfo: memFree=22401080/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 786302004 8912896 253 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/26222/statm: 2176 253 211 178 0 69 0 [startup+0.069197 s] /proc/loadavg: 2.04 2.05 2.00 3/516 26222 /proc/meminfo: memFree=22401080/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 786302004 8912896 253 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/26222/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.10118 s] /proc/loadavg: 2.04 2.05 2.00 3/516 26222 /proc/meminfo: memFree=22401080/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 786302004 8912896 253 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/26222/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.301142 s] /proc/loadavg: 2.04 2.05 2.00 3/516 26222 /proc/meminfo: memFree=22401080/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 786302004 8912896 253 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/26222/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.701068 s] /proc/loadavg: 2.04 2.05 2.00 3/516 26222 /proc/meminfo: memFree=22401080/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 786302004 8912896 253 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/26222/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50094 s] /proc/loadavg: 2.04 2.05 2.00 3/518 26224 /proc/meminfo: memFree=22315380/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 786302004 8912896 253 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/26222/statm: 2176 253 211 178 0 69 0 [pid=26223] ppid=26222 vsize=100648 CPUtime=1.49 cores=0,2,4,6 /proc/26223/stat : 26223 (SatELite_releas) R 26222 26222 25594 0 -1 4202496 20998 0 0 0 146 3 0 0 25 0 1 0 786302004 103063552 20952 33554432000 134512640 135144242 4293587552 18446744073709551615 134588448 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26223/statm: 25162 20952 77 155 0 25005 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 109352 [startup+3.10064 s] /proc/loadavg: 2.04 2.05 2.00 3/518 26224 /proc/meminfo: memFree=22313872/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 786302004 8912896 253 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/26222/statm: 2176 253 211 178 0 69 0 [pid=26223] ppid=26222 vsize=100648 CPUtime=3.09 cores=0,2,4,6 /proc/26223/stat : 26223 (SatELite_releas) R 26222 26222 25594 0 -1 4202496 20998 0 0 0 306 3 0 0 25 0 1 0 786302004 103063552 20952 33554432000 134512640 135144242 4293587552 18446744073709551615 134588216 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26223/statm: 25162 20952 77 155 0 25005 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 109352 [startup+6.30103 s] /proc/loadavg: 2.04 2.05 2.00 3/518 26224 /proc/meminfo: memFree=22313624/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 786302004 8912896 253 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/26222/statm: 2176 253 211 178 0 69 0 [pid=26223] ppid=26222 vsize=100784 CPUtime=6.29 cores=0,2,4,6 /proc/26223/stat : 26223 (SatELite_releas) R 26222 26222 25594 0 -1 4202496 21002 0 0 0 626 3 0 0 25 0 1 0 786302004 103202816 20956 33554432000 134512640 135144242 4293587552 18446744073709551615 134588147 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26223/statm: 25196 20956 77 155 0 25039 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 109488 [startup+12.7008 s] /proc/loadavg: 2.04 2.05 2.00 3/519 26226 /proc/meminfo: memFree=22346100/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=9.02 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 350 21007 0 0 0 0 896 6 18 0 1 0 786302004 8912896 256 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/26222/statm: 2176 256 211 178 0 69 0 [pid=26225] ppid=26222 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26225/stat : 26225 (esg_static.sh) S 26222 26222 25594 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 786302906 8912896 135 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/26225/statm: 2176 135 90 178 0 69 0 [pid=26226] ppid=26225 vsize=35536 CPUtime=3.64 cores=0,2,4,6 /proc/26226/stat : 26226 (sathys) R 26225 26222 25594 0 -1 4202496 7350 0 0 0 362 2 0 0 24 0 1 0 786302906 36388864 7261 33554432000 4194304 4241092 140733611872576 18446744073709551615 4222357 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/26226/statm: 8884 7261 136 12 0 7348 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 52944 [startup+25.5004 s] /proc/loadavg: 2.03 2.04 2.00 3/519 26226 /proc/meminfo: memFree=22341700/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=9.02 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 350 21007 0 0 0 0 896 6 18 0 1 0 786302004 8912896 256 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/26222/statm: 2176 256 211 178 0 69 0 [pid=26225] ppid=26222 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26225/stat : 26225 (esg_static.sh) S 26222 26222 25594 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 786302906 8912896 135 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/26225/statm: 2176 135 90 178 0 69 0 [pid=26226] ppid=26225 vsize=38452 CPUtime=16.44 cores=0,2,4,6 /proc/26226/stat : 26226 (sathys) R 26225 26222 25594 0 -1 4202496 8061 0 0 0 1642 2 0 0 25 0 1 0 786302906 39374848 7972 33554432000 4194304 4241092 140733611872576 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/26226/statm: 9613 7972 136 12 0 8077 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 55860 [startup+51.1006 s] /proc/loadavg: 2.02 2.04 2.00 3/519 26227 /proc/meminfo: memFree=22336820/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=9.02 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 350 21007 0 0 0 0 896 6 18 0 1 0 786302004 8912896 256 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/26222/statm: 2176 256 211 178 0 69 0 [pid=26225] ppid=26222 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26225/stat : 26225 (esg_static.sh) S 26222 26222 25594 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 786302906 8912896 135 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/26225/statm: 2176 135 90 178 0 69 0 [pid=26226] ppid=26225 vsize=42996 CPUtime=42.04 cores=0,2,4,6 /proc/26226/stat : 26226 (sathys) R 26225 26222 25594 0 -1 4202496 9219 0 0 0 4202 2 0 0 25 0 1 0 786302906 44027904 9130 33554432000 4194304 4241092 140733611872576 18446744073709551615 4222359 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/26226/statm: 10749 9130 136 12 0 9213 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 60404 [startup+102.32 s] /proc/loadavg: 2.01 2.03 2.00 3/519 26229 /proc/meminfo: memFree=22326112/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=9.02 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 350 21007 0 0 0 0 896 6 18 0 1 0 786302004 8912896 256 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/26222/statm: 2176 256 211 178 0 69 0 [pid=26225] ppid=26222 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26225/stat : 26225 (esg_static.sh) S 26222 26222 25594 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 786302906 8912896 135 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/26225/statm: 2176 135 90 178 0 69 0 [pid=26226] ppid=26225 vsize=50776 CPUtime=93.26 cores=0,2,4,6 /proc/26226/stat : 26226 (sathys) R 26225 26222 25594 0 -1 4202496 11143 0 0 0 9323 3 0 0 25 0 1 0 786302906 51994624 11054 33554432000 4194304 4241092 140733611872576 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/26226/statm: 12694 11054 136 12 0 11158 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 68184 [startup+162.301 s] /proc/loadavg: 2.00 2.02 2.00 3/519 26230 /proc/meminfo: memFree=22321792/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=9.02 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 350 21007 0 0 0 0 896 6 18 0 1 0 786302004 8912896 256 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/26222/statm: 2176 256 211 178 0 69 0 [pid=26225] ppid=26222 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26225/stat : 26225 (esg_static.sh) S 26222 26222 25594 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 786302906 8912896 135 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/26225/statm: 2176 135 90 178 0 69 0 [pid=26226] ppid=26225 vsize=52792 CPUtime=153.25 cores=0,2,4,6 /proc/26226/stat : 26226 (sathys) R 26225 26222 25594 0 -1 4202496 11666 0 0 0 15322 3 0 0 25 0 1 0 786302906 54059008 11574 33554432000 4194304 4241092 140733611872576 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/26226/statm: 13198 11574 136 12 0 11662 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 70200 [startup+222.301 s] /proc/loadavg: 2.00 2.02 2.00 3/519 26232 /proc/meminfo: memFree=22314276/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=9.02 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 350 21007 0 0 0 0 896 6 18 0 1 0 786302004 8912896 256 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/26222/statm: 2176 256 211 178 0 69 0 [pid=26225] ppid=26222 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26225/stat : 26225 (esg_static.sh) S 26222 26222 25594 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 786302906 8912896 135 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/26225/statm: 2176 135 90 178 0 69 0 [pid=26226] ppid=26225 vsize=59672 CPUtime=213.25 cores=0,2,4,6 /proc/26226/stat : 26226 (sathys) R 26225 26222 25594 0 -1 4202496 13413 0 0 0 21322 3 0 0 25 0 1 0 786302906 61104128 13303 33554432000 4194304 4241092 140733611872576 18446744073709551615 4222357 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/26226/statm: 14918 13303 136 12 0 13382 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 77080 [startup+282.301 s] /proc/loadavg: 2.00 2.01 2.00 3/519 26233 /proc/meminfo: memFree=22311252/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=9.02 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 350 21007 0 0 0 0 896 6 18 0 1 0 786302004 8912896 256 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/26222/statm: 2176 256 211 178 0 69 0 [pid=26225] ppid=26222 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26225/stat : 26225 (esg_static.sh) S 26222 26222 25594 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 786302906 8912896 135 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/26225/statm: 2176 135 90 178 0 69 0 [pid=26226] ppid=26225 vsize=59836 CPUtime=273.25 cores=0,2,4,6 ################ # More data... # ################ /proc/meminfo: memFree=22140848/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=9.02 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 350 21007 0 0 0 0 896 6 18 0 1 0 786302004 8912896 256 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/26222/statm: 2176 256 211 178 0 69 0 [pid=26225] ppid=26222 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26225/stat : 26225 (esg_static.sh) S 26222 26222 25594 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 786302906 8912896 135 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/26225/statm: 2176 135 90 178 0 69 0 [pid=26226] ppid=26225 vsize=160668 CPUtime=4533.41 cores=0,2,4,6 /proc/26226/stat : 26226 (sathys) R 26225 26222 25594 0 -1 4202496 42545 0 0 0 453328 13 0 0 25 0 1 0 786302906 164524032 38532 33554432000 4194304 4241092 140733611872576 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/26226/statm: 40167 38532 136 12 0 38631 0 Current children cumulated CPU time (s) 4542.43 Current children cumulated vsize (KiB) 178076 [startup+4602.3 s] /proc/loadavg: 2.07 2.05 2.01 3/519 26398 /proc/meminfo: memFree=22139292/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=9.02 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 350 21007 0 0 0 0 896 6 18 0 1 0 786302004 8912896 256 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/26222/statm: 2176 256 211 178 0 69 0 [pid=26225] ppid=26222 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26225/stat : 26225 (esg_static.sh) S 26222 26222 25594 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 786302906 8912896 135 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/26225/statm: 2176 135 90 178 0 69 0 [pid=26226] ppid=26225 vsize=160572 CPUtime=4593.43 cores=0,2,4,6 /proc/26226/stat : 26226 (sathys) R 26225 26222 25594 0 -1 4202496 42603 0 0 0 459330 13 0 0 25 0 1 0 786302906 164425728 38510 33554432000 4194304 4241092 140733611872576 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/26226/statm: 40143 38510 136 12 0 38607 0 Current children cumulated CPU time (s) 4602.45 Current children cumulated vsize (KiB) 177980 [startup+4662.3 s] /proc/loadavg: 2.02 2.04 2.00 3/519 26399 /proc/meminfo: memFree=22138616/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=9.02 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 350 21007 0 0 0 0 896 6 18 0 1 0 786302004 8912896 256 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/26222/statm: 2176 256 211 178 0 69 0 [pid=26225] ppid=26222 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26225/stat : 26225 (esg_static.sh) S 26222 26222 25594 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 786302906 8912896 135 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/26225/statm: 2176 135 90 178 0 69 0 [pid=26226] ppid=26225 vsize=160668 CPUtime=4653.41 cores=0,2,4,6 /proc/26226/stat : 26226 (sathys) R 26225 26222 25594 0 -1 4202496 42673 0 0 0 465328 13 0 0 25 0 1 0 786302906 164524032 38539 33554432000 4194304 4241092 140733611872576 18446744073709551615 4223703 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/26226/statm: 40167 38539 136 12 0 38631 0 Current children cumulated CPU time (s) 4662.43 Current children cumulated vsize (KiB) 178076 [startup+4722.32 s] /proc/loadavg: 2.06 2.04 2.00 3/519 26401 /proc/meminfo: memFree=22137340/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=9.02 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 350 21007 0 0 0 0 896 6 18 0 1 0 786302004 8912896 256 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/26222/statm: 2176 256 211 178 0 69 0 [pid=26225] ppid=26222 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26225/stat : 26225 (esg_static.sh) S 26222 26222 25594 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 786302906 8912896 135 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/26225/statm: 2176 135 90 178 0 69 0 [pid=26226] ppid=26225 vsize=160572 CPUtime=4713.43 cores=0,2,4,6 /proc/26226/stat : 26226 (sathys) R 26225 26222 25594 0 -1 4202496 42723 0 0 0 471330 13 0 0 25 0 1 0 786302906 164425728 38516 33554432000 4194304 4241092 140733611872576 18446744073709551615 4223760 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/26226/statm: 40143 38516 136 12 0 38607 0 Current children cumulated CPU time (s) 4722.45 Current children cumulated vsize (KiB) 177980 [startup+4782.3 s] /proc/loadavg: 2.02 2.03 2.00 3/519 26402 /proc/meminfo: memFree=22137528/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=9.02 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 350 21007 0 0 0 0 896 6 18 0 1 0 786302004 8912896 256 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/26222/statm: 2176 256 211 178 0 69 0 [pid=26225] ppid=26222 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26225/stat : 26225 (esg_static.sh) S 26222 26222 25594 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 786302906 8912896 135 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/26225/statm: 2176 135 90 178 0 69 0 [pid=26226] ppid=26225 vsize=160668 CPUtime=4773.41 cores=0,2,4,6 /proc/26226/stat : 26226 (sathys) R 26225 26222 25594 0 -1 4202496 42775 0 0 0 477328 13 0 0 25 0 1 0 786302906 164524032 38536 33554432000 4194304 4241092 140733611872576 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/26226/statm: 40167 38536 136 12 0 38631 0 Current children cumulated CPU time (s) 4782.43 Current children cumulated vsize (KiB) 178076 [startup+4842.3 s] /proc/loadavg: 2.01 2.02 2.00 3/519 26404 /proc/meminfo: memFree=22136360/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=9.02 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 350 21007 0 0 0 0 896 6 18 0 1 0 786302004 8912896 256 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/26222/statm: 2176 256 211 178 0 69 0 [pid=26225] ppid=26222 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26225/stat : 26225 (esg_static.sh) S 26222 26222 25594 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 786302906 8912896 135 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/26225/statm: 2176 135 90 178 0 69 0 [pid=26226] ppid=26225 vsize=160700 CPUtime=4833.42 cores=0,2,4,6 /proc/26226/stat : 26226 (sathys) R 26225 26222 25594 0 -1 4202496 42825 0 0 0 483329 13 0 0 25 0 1 0 786302906 164556800 38541 33554432000 4194304 4241092 140733611872576 18446744073709551615 4222349 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/26226/statm: 40175 38541 136 12 0 38639 0 Current children cumulated CPU time (s) 4842.44 Current children cumulated vsize (KiB) 178108 [startup+4902.3 s] /proc/loadavg: 2.00 2.02 2.00 3/519 26405 /proc/meminfo: memFree=22136052/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=9.02 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 350 21007 0 0 0 0 896 6 18 0 1 0 786302004 8912896 256 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/26222/statm: 2176 256 211 178 0 69 0 [pid=26225] ppid=26222 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26225/stat : 26225 (esg_static.sh) S 26222 26222 25594 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 786302906 8912896 135 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/26225/statm: 2176 135 90 178 0 69 0 [pid=26226] ppid=26225 vsize=160540 CPUtime=4893.42 cores=0,2,4,6 /proc/26226/stat : 26226 (sathys) R 26225 26222 25594 0 -1 4202496 42879 0 0 0 489329 13 0 0 25 0 1 0 786302906 164392960 38508 33554432000 4194304 4241092 140733611872576 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/26226/statm: 40135 38508 136 12 0 38599 0 Current children cumulated CPU time (s) 4902.44 Current children cumulated vsize (KiB) 177948 [startup+4962.3 s] /proc/loadavg: 2.00 2.01 2.00 3/519 26407 /proc/meminfo: memFree=22135376/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=9.02 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 350 21007 0 0 0 0 896 6 18 0 1 0 786302004 8912896 256 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/26222/statm: 2176 256 211 178 0 69 0 [pid=26225] ppid=26222 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26225/stat : 26225 (esg_static.sh) S 26222 26222 25594 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 786302906 8912896 135 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/26225/statm: 2176 135 90 178 0 69 0 [pid=26226] ppid=26225 vsize=160636 CPUtime=4953.42 cores=0,2,4,6 /proc/26226/stat : 26226 (sathys) R 26225 26222 25594 0 -1 4202496 42939 0 0 0 495329 13 0 0 25 0 1 0 786302906 164491264 38526 33554432000 4194304 4241092 140733611872576 18446744073709551615 4222349 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/26226/statm: 40159 38526 136 12 0 38623 0 Current children cumulated CPU time (s) 4962.44 Current children cumulated vsize (KiB) 178044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.00 2.01 2.00 3/519 26408 /proc/meminfo: memFree=22134344/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=9.02 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 350 21007 0 0 0 0 896 6 18 0 1 0 786302004 8912896 256 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/26222/statm: 2176 256 211 178 0 69 0 [pid=26225] ppid=26222 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26225/stat : 26225 (esg_static.sh) S 26222 26222 25594 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 786302906 8912896 135 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/26225/statm: 2176 135 90 178 0 69 0 [pid=26226] ppid=26225 vsize=160636 CPUtime=4991.04 cores=0,2,4,6 /proc/26226/stat : 26226 (sathys) R 26225 26222 25594 0 -1 4202496 42976 0 0 0 499091 13 0 0 25 0 1 0 786302906 164491264 38525 33554432000 4194304 4241092 140733611872576 18446744073709551615 4223344 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/26226/statm: 40159 38525 136 12 0 38623 0 Current children cumulated CPU time (s) 5000.06 Current children cumulated vsize (KiB) 178044 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+4999.9 s] /proc/loadavg: 2.00 2.01 2.00 3/519 26408 /proc/meminfo: memFree=22134344/32951124 swapFree=62999000/67111528 [pid=26222] ppid=26220 vsize=8704 CPUtime=9.02 cores=0,2,4,6 /proc/26222/stat : 26222 (esg_static.sh) S 26220 26222 25594 0 -1 4202496 350 21007 0 0 0 0 896 6 18 0 1 0 786302004 8912896 256 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/26222/statm: 2176 256 211 178 0 69 0 [pid=26225] ppid=26222 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/26225/stat : 26225 (esg_static.sh) S 26222 26222 25594 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 786302906 8912896 135 33554432000 4194304 4922060 140737162327392 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/26225/statm: 2176 135 90 178 0 69 0 [pid=26226] ppid=26225 vsize=160636 CPUtime=4991.04 cores=0,2,4,6 /proc/26226/stat : 26226 (sathys) R 26225 26222 25594 0 -1 4202496 42976 0 0 0 499091 13 0 0 25 0 1 0 786302906 164491264 38525 33554432000 4194304 4241092 140733611872576 18446744073709551615 4223344 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/26226/statm: 40159 38525 136 12 0 38623 0 Current children cumulated CPU time (s) 5000.06 Current children cumulated vsize (KiB) 178044 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 26222 and gives # childrusage.ru_utime.tv_sec=8 # childrusage.ru_utime.tv_usec=963637 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=66989 # CPU time returned by wait4() is 9.03063 # while last known CPU time is 5000.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 4999.93 CPU time (s): 5000.06 CPU user time (s): 4999.87 CPU system time (s): 0.19 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 178172 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.96364 system time used= 0.066989 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21524 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= 33 involuntary context switches= 23 runsolver used 28.5157 second user time and 56.8724 second system time The end
Begin job on node141 at 2011-06-01 16:34:24 IDJOB=3439750 IDBENCH=88217 IDSOLVER=1935 FILE ID=node141/3439750-1306938863 RUNJOBID= node141-1306928228-25612 PBS_JOBID= 13488575 Free space on /tmp= 73840 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439750-1306938863/watcher-3439750-1306938863 -o /tmp/evaluation-result-3439750-1306938863/solver-3439750-1306938863 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439750-1306938863.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b23c52475e3d098cb9d5a92c025d6982 RANDOM SEED=1407845318 node141.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.806 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.61 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.806 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 : 5362.96 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.806 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.82 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.806 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.75 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.806 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.84 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.806 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.806 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.806 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: 32951124 kB MemFree: 22401228 kB Buffers: 133568 kB Cached: 142496 kB SwapCached: 8848 kB Active: 10131684 kB Inactive: 169600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 22401228 kB SwapTotal: 67111528 kB SwapFree: 62999000 kB Dirty: 15540 kB Writeback: 0 kB AnonPages: 10023388 kB Mapped: 25612 kB Slab: 109576 kB PageTables: 70068 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 150711588 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= 73812 MiB End job on node141 at 2011-06-01 17:57:46