| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 1299.98 | 1300.02 |
| Name | SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf |
| MD5SUM | 1d9569aa70fee033c68469753053c259 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.403937 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 300 |
| Number of clauses | 2130 |
| Sum of the clauses size | 4500 |
| Maximum clause length | 10 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 2100 |
| 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 | 30 |
0.00/0.00 static 0.00/0.00 HOME/instance-3292754-1303784974.cnf 0.00/0.01 c Parsing... 0.00/0.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 2130 4500 | 638 0 0 nan | 0.000 % | 0.00/0.01 c | 0 | 2100 7560 | -- 0 -- -- | -- | -30/3060 0.00/0.01 c ============================================================================== 0.00/0.01 c Result : #vars: 270 #clauses: 2100 #literals: 7560 0.00/0.01 c CPU time: 0.001999 s 0.00/0.01 c ============================================================================== 0.00/0.01 c 0.00/0.01 c seed = 0, numatom = 270, numclause = 402, numliterals = 7560 0.00/0.01 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.01 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.00/0.01 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.01 c | 2 | 0.0 | 0 | 502 | 189 | 1 | 13704 | 1223 || 2 | 1111 | 10/ 0 | 262 | 0 | 0.00/0.02 c | 4 | 0.0 | 0 | 1070 | 290 | 2 | 28232 | 2539 || 4 | 2031 | 10/ 0 | 571 | 0 | 0.00/0.03 c | 6 | 0.0 | 0 | 1761 | 184 | 3 | 46346 | 4017 || 6 | 3043 | 10/ 0 | 887 | 0 | 0.00/0.04 c | 7 | 0.0 | 0 | 2530 | 384 | 4 | 65198 | 5682 || 7 | 4251 | 10/ 0 | 1310 | 0 | 0.00/0.06 c | 11 | 0.0 | 0 | 3411 | 272 | 5 | 87282 | 7813 || 11 | 5993 | 10/ 0 | 1832 | 0 | 0.00/0.07 c | 14 | 0.0 | 0 | 4227 | 471 | 6 | 111035 | 10170 || 14 | 7838 | 10/ 0 | 2557 | 0 | 0.00/0.10 c | 15 | 0.0 | 0 | 5234 | 974 | 7 | 136749 | 12681 || 15 | 10221 | 10/ 0 | 3394 | 0 | 0.00/0.11 c | 16 | 0.0 | 0 | 5873 | 72 | 8 | 166112 | 14735 || 16 | 11156 | 10/ 0 | 3507 | 0 | 0.00/0.14 c | 21 | 0.0 | 0 | 6415 | 50 | 9 | 197326 | 17866 || 21 | 13306 | 10/ 0 | 4228 | 0 | 0.00/0.17 c | 25 | 0.0 | 0 | 7080 | 135 | 10 | 231721 | 20800 || 25 | 15671 | 10/ 0 | 5057 | 0 | 0.00/0.20 c | 29 | 0.0 | 0 | 7730 | 522 | 11 | 266986 | 24288 || 29 | 18374 | 10/ 0 | 5902 | 0 | 0.00/0.25 c | 30 | 0.0 | 0 | 8722 | 320 | 12 | 304411 | 27497 || 30 | 20949 | 10/ 0 | 6737 | 0 | 0.00/0.29 c | 31 | 0.0 | 0 | 9654 | 2021 | 13 | 343907 | 31224 || 31 | 25517 | 10/ 0 | 8403 | 0 | 0.00/0.33 c | 31 | 0.0 | 0 | 10435 | 1423 | 14 | 383127 | 33979 || 31 | 26226 | 10/ 0 | 8421 | 0 | 0.00/0.38 c | 38 | 0.0 | 0 | 11239 | 304 | 15 | 428608 | 38254 || 38 | 29720 | 10/ 0 | 9674 | 0 | 0.00/0.43 c | 44 | 0.0 | 0 | 12108 | 195 | 16 | 473893 | 42793 || 44 | 32595 | 10/ 0 | 10512 | 0 | 0.00/0.49 c | 46 | 0.1 | 0 | 12819 | 188 | 17 | 523855 | 47439 || 46 | 36501 | 10/ 0 | 11760 | 0 | 0.00/0.54 c | 52 | 0.1 | 0 | 13366 | 163 | 18 | 576828 | 51966 || 52 | 39308 | 10/ 0 | 12593 | 0 | 0.00/0.60 c | 59 | 0.1 | 0 | 13756 | 47 | 19 | 634379 | 57216 || 59 | 43092 | 10/ 0 | 13858 | 0 | 0.00/0.66 c | 61 | 0.1 | 0 | 14308 | 642 | 20 | 692364 | 62259 || 61 | 46660 | 10/ 0 | 15103 | 0 | 0.00/0.73 c | 62 | 0.1 | 0 | 14720 | 742 | 21 | 746495 | 68037 || 62 | 51289 | 10/ 0 | 16779 | 0 | 0.00/0.80 c | 63 | 0.1 | 0 | 14883 | 3343 | 22 | 804096 | 73511 || 63 | 58348 | 10/ 0 | 20070 | 0 | 0.00/0.88 c | 63 | 0.1 | 0 | 14783 | 1244 | 23 | 862724 | 78708 || 63 | 60392 | 10/ 0 | 20118 | 0 | 0.00/0.96 c | 67 | 0.1 | 0 | 15942 | 254 | 24 | 921849 | 83088 || 67 | 62041 | 10/ 0 | 20636 | 0 | 0.99/1.05 c | 76 | 0.1 | 0 | 17217 | 233 | 25 | 987736 | 89591 || 76 | 67047 | 10/ 0 | 22217 | 0 | 1.09/1.14 c | 80 | 0.1 | 0 | 17756 | 21 | 26 | 1059066 | 96197 || 80 | 71651 | 10/ 0 | 23688 | 0 | 1.19/1.24 c | 89 | 0.1 | 0 | 18661 | 97 | 27 | 1132867 | 103086 || 89 | 76680 | 10/ 0 | 25257 | 0 | 1.29/1.34 c | 94 | 0.1 | 0 | 20104 | 985 | 28 | 1201068 | 109790 || 94 | 83586 | 10/ 0 | 28450 | 0 | 1.39/1.46 c | 96 | 0.1 | 0 | 21229 | 171 | 29 | 1275588 | 116289 || 96 | 86007 | 10/ 0 | 28696 | 0 | 1.49/1.57 c | 107 | 0.1 | 0 | 21972 | 145 | 30 | 1359541 | 123987 || 107 | 91916 | 10/ 0 | 30605 | 0 | 1.69/1.70 c | 112 | 0.1 | 0 | 22119 | 126 | 31 | 1440860 | 131074 || 112 | 97418 | 10/ 0 | 32285 | 0 | 1.79/1.84 c | 123 | 0.1 | 0 | 22810 | 498 | 32 | 1522336 | 139388 || 123 | 103520 | 10/ 0 | 34389 | 0 | 1.99/2.00 c | 125 | 0.2 | 0 | 23391 | 2398 | 33 | 1605164 | 147747 || 125 | 110572 | 10/ 0 | 36898 | 0 | 2.09/2.18 c | 126 | 0.2 | 0 | 24458 | 3800 | 34 | 1688873 | 155404 || 126 | 118120 | 10/ 0 | 40219 | 0 | 2.29/2.36 c | 126 | 0.2 | 0 | 25619 | 2901 | 35 | 1774954 | 161743 || 126 | 119534 | 10/ 0 | 40253 | 0 | 2.58/2.61 c | 127 | 0.2 | 0 | 25739 | 6902 | 36 | 1859480 | 171601 || 127 | 132641 | 10/ 0 | 46835 | 0 | 2.78/2.83 c | 127 | 0.2 | 0 | 26019 | 1406 | 37 | 1946635 | 180721 || 127 | 137097 | 10/ 0 | 46940 | 0 | 2.98/3.07 c | 127 | 0.2 | 0 | 26171 | 5608 | 38 | 2022102 | 186019 || 127 | 137097 | 10/ 0 | 46940 | 0 | 3.19/3.26 c | 139 | 0.2 | 0 | 27662 | 184 | 39 | 2118362 | 195123 || 139 | 143223 | 10/ 0 | 48819 | 0 | 3.38/3.49 c | 148 | 0.2 | 0 | 28011 | 49 | 40 | 2225243 | 204283 || 148 | 150323 | 10/ 0 | 51120 | 0 | 3.58/3.68 c | 157 | 0.2 | 0 | 29125 | 313 | 41 | 2327407 | 213956 || 157 | 157944 | 10/ 0 | 53624 | 0 | 3.88/3.95 c | 162 | 0.3 | 0 | 29996 | 2 | 42 | 2424508 | 223279 || 162 | 164364 | 10/ 0 | 55831 | 0 | 4.18/4.21 c | 173 | 0.3 | 0 | 30521 | 1165 | 43 | 2529623 | 233896 || 173 | 172939 | 10/ 0 | 58645 | 0 | 4.39/4.48 c | 186 | 0.3 | 0 | 31449 | 118 | 44 | 2633910 | 244035 || 186 | 179188 | 10/ 0 | 60746 | 0 | 4.58/4.67 c | 189 | 0.2 | 0 | 30950 | 818 | 45 | 2744515 | 254288 || 189 | 186979 | 10/ 0 | 63655 | 0 | 4.88/4.94 c | 190 | 0.3 | 0 | 31767 | 1018 | 46 | 2851793 | 264599 || 190 | 195978 | 10/ 0 | 66961 | 0 | 5.18/5.22 c | 200 | 0.3 | 0 | 33320 | 195 | 47 | 2965013 | 273839 || 200 | 201135 | 10/ 0 | 68635 | 0 | 5.49/5.51 c | 212 | 0.3 | 0 | 34519 | 261 | 48 | 3083995 | 285215 || 212 | 209953 | 10/ 0 | 71529 | 0 | 5.78/5.86 c | 221 | 0.3 | 0 | 35018 | 1317 | 49 | 3203155 | 296825 || 221 | 220180 | 10/ 0 | 75267 | 0 | 6.08/6.18 c | 230 | 0.3 | 0 | 35707 | 190 | 50 | 3319535 | 307842 || 230 | 226680 | 10/ 0 | 76775 | 0 | 6.49/6.51 c | 243 | 0.3 | 0 | 36847 | 350 | 51 | 3437242 | 320195 || 243 | 235287 | 10/ 0 | 79899 | 0 | 6.78/6.81 c | 252 | 0.3 | 0 | 38494 | 1724 | 52 | 3561596 | 332622 || 252 | 245918 | 10/ 0 | 83663 | 0 | 7.18/7.21 c | 253 | 0.4 | 0 | 38986 | 218 | 53 | 3691953 | 344404 || 253 | 256276 | 10/ 0 | 87009 | 0 | 7.59/7.61 c | 254 | 0.4 | 0 | 39631 | 6019 | 54 | 3809955 | 355029 || 254 | 268774 | 10/ 0 | 93571 | 0 | 7.88/7.97 c | 254 | 0.4 | 0 | 40554 | 2320 | 55 | 3933451 | 367181 || 254 | 274377 | 10/ 0 | 93676 | 0 | 8.28/8.34 c | 255 | 0.4 | 0 | 41092 | 8321 | 56 | 4043704 | 377076 || 255 | 293538 | 10/ 0 | 106698 | 0 | 8.69/8.79 c | 255 | 0.5 | 0 | 41393 | 6103 | 57 | 4174840 | 392143 || 255 | 302754 | 10/ 0 | 106884 | 0 | 9.28/9.30 c | 255 | 0.5 | 0 | 41991 | 1424 | 58 | 4311180 | 405902 || 255 | 310664 | 10/ 0 | 107046 | 0 | 9.58/9.69 c | 255 | 0.4 | 0 | 42556 | 7726 | 59 | 4437573 | 413630 || 255 | 310664 | 10/ 0 | 107046 | 0 | 10.18/10.20 c | 261 | 0.5 | 0 | 42613 | 214 | 60 | 4556518 | 422852 || 261 | 313185 | 10/ 0 | 107887 | 0 | 10.58/10.64 c | 276 | 0.4 | 0 | 42020 | 261 | 61 | 4704875 | 437361 || 276 | 323640 | 10/ 0 | 111256 | 0 | 10.99/11.03 c | 286 | 0.4 | 0 | 42630 | 2341 | 62 | 4843305 | 451916 || 286 | 335814 | 10/ 0 | 115430 | 0 | 11.38/11.44 c | 301 | 0.4 | 0 | 43874 | 608 | 63 | 4991610 | 465555 || 301 | 344883 | 10/ 0 | 118774 | 0 | 11.88/11.93 c | 316 | 0.5 | 0 | 44445 | 954 | 64 | 5135201 | 480747 || 316 | 355065 | 10/ 0 | 122140 | 0 | 12.28/12.39 c | 318 | 0.4 | 0 | 45011 | 4253 | 65 | 5294301 | 494879 || 318 | 368668 | 10/ 0 | 127125 | 0 | 12.78/12.89 c | 329 | 0.5 | 0 | 47538 | 237 | 66 | 5446871 | 507754 || 329 | 375179 | 10/ 0 | 128909 | 0 | 13.28/13.40 c | 346 | 0.5 | 0 | 47265 | 87 | 67 | 5603035 | 523233 || 346 | 386203 | 10/ 0 | 132559 | 0 | 13.88/13.94 c | 355 | 0.5 | 0 | 48793 | 54 | 68 | 5759464 | 538548 || 355 | 397500 | 10/ 0 | 136315 | 0 | 14.48/14.51 c | 371 | 0.6 | 0 | 48743 | 315 | 69 | 5915041 | 554220 || 371 | 409194 | 10/ 0 | 140097 | 0 | 14.98/15.08 c | 381 | 0.6 | 0 | 49819 | 1684 | 70 | 6072438 | 569714 || 381 | 424298 | 10/ 0 | 147091 | 0 | 15.58/15.68 c | 382 | 0.6 | 0 | 48863 | 4383 | 71 | 6239746 | 585003 || 382 | 439592 | 10/ 0 | 153704 | 0 | 16.28/16.35 c | 382 | 0.7 | 0 | 49237 | 2377 | 72 | 6396320 | 601250 || 382 | 447898 | 10/ 0 | 153848 | 0 | 16.98/17.04 c | 395 | 0.7 | 0 | 49550 | 132 | 73 | 6555178 | 614236 || 395 | 454219 | 10/ 0 | 155935 | 0 | 17.68/17.76 c | 412 | 0.7 | 0 | 49977 | 561 | 74 | 6720259 | 631082 || 412 | 467221 | 10/ 0 | 160552 | 0 | 18.38/18.42 c | 424 | 0.7 | 0 | 52045 | 241 | 75 | 6887327 | 647599 || 424 | 478411 | 10/ 0 | 164011 | 0 | 19.08/19.13 c | 442 | 0.7 | 0 | 53554 | 356 | 76 | 7064310 | 665342 || 442 | 490970 | 10/ 0 | 168115 | 0 | 19.69/19.79 c | 445 | 0.7 | 0 | 54726 | 46 | 77 | 7242309 | 683887 || 445 | 508727 | 10/ 0 | 173978 | 0 | 20.38/20.47 c | 460 | 0.7 | 0 | 55438 | 588 | 78 | 7408315 | 699365 || 460 | 517991 | 10/ 0 | 177305 | 0 | 21.19/21.24 c | 476 | 0.8 | 0 | 56147 | 1236 | 79 | 7589116 | 717906 || 476 | 531844 | 10/ 0 | 182337 | 0 | 22.00/22.04 c | 491 | 0.8 | 0 | 57320 | 1192 | 80 | 7762918 | 736336 || 491 | 543927 | 10/ 0 | 185747 | 0 | 22.79/22.80 c | 507 | 0.8 | 0 | 57175 | 2044 | 81 | 7948147 | 754876 || 507 | 558068 | 10/ 0 | 190755 | 0 | 23.59/23.63 c | 509 | 0.8 | 0 | 57226 | 3442 | 82 | 8134018 | 770650 || 509 | 577903 | 10/ 0 | 200613 | 0 | 24.49/24.58 c | 509 | 0.9 | 0 | 57212 | 2534 | 83 | 8290565 | 789326 || 509 | 588012 | 10/ 0 | 200802 | 0 | 25.59/25.62 c | 510 | 1.0 | 0 | 57286 | 11337 | 84 | 8457211 | 807281 || 510 | 610968 | 10/ 0 | 213881 | 0 | 26.59/26.61 c | 510 | 1.0 | 0 | 60086 | 1019 | 85 | 8640671 | 828430 || 510 | 623540 | 10/ 0 | 214143 | 0 | 27.39/27.44 c | 510 | 0.8 | 0 | 62563 | 10023 | 86 | 8816920 | 840343 || 510 | 623540 | 10/ 0 | 214143 | 0 | 28.59/28.64 c | 511 | 1.2 | 0 | 63012 | 19124 | 87 | 9011335 | 860287 || 511 | 665754 | 10/ 0 | 240280 | 0 | 29.99/30.00 c | 511 | 1.4 | 0 | 62598 | 9202 | 88 | 9205753 | 883118 || 511 | 678844 | 10/ 0 | 240524 | 0 | 31.39/31.46 c | 511 | 1.4 | 0 | 64464 | 9301 | 89 | 9394353 | 906284 || 511 | 691582 | 10/ 0 | 240777 | 0 | 32.69/32.72 c | 511 | 1.3 | 0 | 68143 | 8621 | 90 | 9561699 | 918989 || 511 | 692346 | 10/ 0 | 240798 | 0 | 33.99/34.04 c | 511 | 1.3 | 0 | 66939 | 18122 | 91 | 9733739 | 930572 || 511 | 692346 | 10/ 0 | 240798 | 0 | 35.29/35.38 c | 518 | 1.3 | 0 | 62896 | 82 | 92 | 9903165 | 944787 || 518 | 696104 | 10/ 0 | 242058 | 0 | 36.19/36.21 c | 541 | 0.8 | 0 | 62368 | 933 | 93 | 10121274 | 966755 || 541 | 712057 | 10/ 0 | 247515 | 0 | 36.99/37.10 c | 557 | 0.9 | 0 | 63127 | 1098 | 94 | 10327533 | 987778 || 557 | 726476 | 10/ 0 | 252524 | 0 | 37.99/38.03 c | 573 | 0.9 | 0 | 65721 | 931 | 95 | 10539986 | 1008044 || 573 | 741315 | 10/ 0 | 257540 | 0 | 38.69/38.75 c | 584 | 0.7 | 0 | 63546 | 193 | 96 | 10748080 | 1028284 || 584 | 755457 | 10/ 0 | 262541 | 0 | 39.79/39.87 c | 605 | 1.1 | 0 | 64339 | 904 | 97 | 10967861 | 1049601 || 605 | 773030 | 10/ 0 | 269173 | 0 | 40.89/40.92 c | 623 | 1.0 | 0 | 67176 | 22 | 98 | 11181184 | 1070943 || 623 | 787354 | 10/ 0 | 273018 | 0 | 41.89/41.91 c | 637 | 1.0 | 0 | 64199 | 2881 | 99 | 11388995 | 1093042 || 637 | 807017 | 10/ 0 | 280897 | 0 | 42.89/42.99 c | 638 | 1.1 | 0 | 65497 | 8481 | 100 | 11608369 | 1115206 || 638 | 827440 | 10/ 0 | 287592 | 0 | 43.89/43.94 c | 648 | 1.0 | 0 | 66195 | 235 | 101 | 11804700 | 1132836 || 648 | 834276 | 10/ 0 | 289295 | 0 | 44.99/45.04 c | 669 | 1.1 | 0 | 69901 | 1462 | 102 | 12026908 | 1156011 || 669 | 852004 | 10/ 0 | 295992 | 0 | 46.19/46.23 c | 691 | 1.2 | 0 | 72621 | 300 | 103 | 12251358 | 1178893 || 691 | 867103 | 10/ 0 | 300638 | 0 | 47.39/47.41 c | 701 | 1.2 | 0 | 73638 | 4481 | 104 | 12480328 | 1202205 || 701 | 887730 | 10/ 0 | 307726 | 0 | 48.49/48.55 c | 720 | 1.1 | 0 | 76576 | 299 | 105 | 12715321 | 1223804 || 720 | 899976 | 10/ 0 | 311608 | 0 | 49.89/49.98 c | 739 | 1.4 | 0 | 78444 | 231 | 106 | 12942883 | 1246977 || 739 | 916481 | 10/ 0 | 317352 | 0 | 51.39/51.49 c | 763 | 1.5 | 0 | 79663 | 1243 | 107 | 13175082 | 1271365 || 763 | 934718 | 10/ 0 | 324427 | 0 | 53.09/53.13 c | 765 | 1.6 | 0 | 78739 | 5245 | 108 | 13395158 | 1294241 || 765 | 957068 | 10/ 0 | 334376 | 0 | 54.49/54.58 c | 766 | 1.5 | 0 | 78542 | 6945 | 109 | 13605412 | 1315302 || 766 | 979398 | 10/ 0 | 347497 | 0 | 56.29/56.37 c | 766 | 1.8 | 0 | 81680 | 11403 | 110 | 13825069 | 1345834 || 766 | 994773 | 10/ 0 | 347860 | 0 | 57.79/57.86 c | 766 | 1.5 | 0 | 83318 | 10646 | 111 | 14061891 | 1361197 || 766 | 995896 | 10/ 0 | 347879 | 0 | 59.78/59.82 c | 791 | 2.0 | 0 | 83459 | 289 | 112 | 14291444 | 1384995 || 791 | 1010823 | 10/ 0 | 352903 | 0 | 61.68/61.79 c | 812 | 2.0 | 0 | 83850 | 593 | 113 | 14531064 | 1409677 || 812 | 1028392 | 10/ 0 | 359581 | 0 | 63.38/63.45 c | 829 | 1.6 | 0 | 85890 | 2337 | 114 | 14778140 | 1435016 || 829 | 1048827 | 10/ 0 | 367900 | 0 | 65.48/65.56 c | 844 | 2.1 | 0 | 89050 | 581 | 115 | 15017677 | 1459290 || 844 | 1061348 | 10/ 0 | 371330 | 0 | 67.18/67.26 c | 867 | 1.7 | 0 | 89814 | 109 | 116 | 15273294 | 1485089 || 867 | 1079540 | 10/ 0 | 377613 | 0 | 68.88/68.93 c | 891 | 1.7 | 0 | 87701 | 2120 | 117 | 15519396 | 1512533 || 891 | 1099627 | 10/ 0 | 384713 | 0 | 70.98/71.06 c | 893 | 2.1 | 0 | 88925 | 7106 | 118 | 15762073 | 1537923 || 893 | 1123671 | 10/ 0 | 394676 | 0 | 72.48/72.55 c | 904 | 1.5 | 0 | 91940 | 80 | 119 | 15994052 | 1560237 || 904 | 1133165 | 10/ 0 | 396514 | 0 | 74.58/74.65 c | 924 | 2.1 | 0 | 92674 | 1315 | 120 | 16244106 | 1586620 || 924 | 1151557 | 10/ 0 | 403086 | 0 | 76.68/76.78 c | 954 | 2.1 | 0 | 93739 | 96 | 121 | 16509266 | 1614250 || 954 | 1170790 | 10/ 0 | 409777 | 0 | 78.38/78.42 c | 963 | 1.6 | 0 | 94042 | 259 | 122 | 16787244 | 1638846 || 963 | 1188431 | 10/ 0 | 416033 | 0 | 80.38/80.48 c | 987 | 2.1 | 0 | 96209 | 477 | 123 | 17051459 | 1666731 || 987 | 1208675 | 10/ 0 | 423163 | 0 | 82.48/82.57 c | 1017 | 2.1 | 0 | 98744 | 779 | 124 | 17310249 | 1694225 || 1017 | 1228253 | 10/ 0 | 429856 | 0 | 84.78/84.80 c | 1020 | 2.2 | 0 | 97138 | 5270 | 125 | 17574045 | 1720435 || 1020 | 1253511 | 10/ 0 | 441413 | 0 | 86.78/86.87 c | 1021 | 2.1 | 0 | 99231 | 8666 | 126 | 17832797 | 1745095 || 1021 | 1280507 | 10/ 0 | 454575 | 0 | 89.28/89.30 c | 1021 | 2.4 | 0 | 102204 | 2567 | 127 | 18101360 | 1774206 || 1021 | 1298652 | 10/ 0 | 454877 | 0 | 91.58/91.60 c | 1022 | 2.3 | 0 | 101198 | 15768 | 128 | 18365391 | 1794154 || 1022 | 1335432 | 10/ 0 | 480868 | 0 | 94.58/94.67 c | 1022 | 3.1 | 0 | 99256 | 13304 | 129 | 18610519 | 1829510 || 1022 | 1351579 | 10/ 0 | 481277 | 0 | 97.68/97.74 c | 1022 | 3.1 | 0 | 101054 | 4072 | 130 | 18883908 | 1858491 || 1022 | 1367114 | 10/ 0 | 481550 | 0 | 100.28/100.35 c | 1022 | 2.6 | 0 | 98756 | 17573 | 131 | 19121611 | 1874680 || 1022 | 1367114 | 10/ 0 | 481550 | 0 | 103.29/103.35 c | 1023 | 3.0 | 0 | 94542 | 31174 | 132 | 19381965 | 1897913 || 1023 | 1440938 | 10/ 0 | 533551 | 0 | 105.88/105.90 c | 1023 | 2.5 | 0 | 90549 | 13702 | 133 | 19658034 | 1930861 || 1023 | 1464955 | 10/ 0 | 533937 | 0 | 108.68/108.75 c | 1023 | 2.8 | 0 | 92970 | 13804 | 134 | 19933364 | 1964418 || 1023 | 1488025 | 10/ 0 | 534393 | 0 | 111.38/111.49 c | 1023 | 2.7 | 0 | 100339 | 13901 | 135 | 20215233 | 1998187 || 1023 | 1510069 | 10/ 0 | 534793 | 0 | 113.98/114.02 c | 1023 | 2.5 | 0 | 101759 | 9778 | 136 | 20487664 | 2021072 || 1023 | 1517312 | 10/ 0 | 534909 | 0 | 117.18/117.26 c | 1023 | 3.2 | 0 | 101822 | 23881 | 137 | 20768402 | 2038260 || 1023 | 1517312 | 10/ 0 | 534909 | 0 | 120.68/120.77 c | 1023 | 3.5 | 0 | 100277 | 38086 | 138 | 21049155 | 2055090 || 1023 | 1517312 | 10/ 0 | 534909 | 0 | 124.08/124.10 c | 1028 | 3.3 | 0 | 98364 | 81 | 139 | 21313614 | 2073295 || 1028 | 1519480 | 10/ 0 | 535532 | 0 | 125.88/125.96 c | 1054 | 1.9 | 0 | 100094 | 1095 | 140 | 21622259 | 2104649 || 1054 | 1542256 | 10/ 0 | 543276 | 0 | 128.28/128.37 c | 1085 | 2.4 | 0 | 96974 | 1865 | 141 | 21929006 | 2136330 || 1085 | 1566462 | 10/ 0 | 551668 | 0 | 130.18/130.23 c | 1101 | 1.9 | 0 | 92308 | 416 | 142 | 22247675 | 2165249 || 1101 | 1588150 | 10/ 0 | 558367 | 0 | 132.38/132.41 c | 1131 | 2.2 | 0 | 92521 | 214 | 143 | 22559173 | 2196899 || 1131 | 1610853 | 10/ 0 | 565877 | 0 | 134.68/134.72 c | 1149 | 2.3 | 0 | 99087 | 151 | 144 | 22872187 | 2229316 || 1149 | 1637221 | 10/ 0 | 575086 | 0 | 136.18/136.23 c | 1150 | 1.5 | 0 | 102911 | 5448 | 145 | 23169823 | 2257146 || 1150 | 1654199 | 10/ 0 | 581747 | 0 | 138.68/138.70 c | 1181 | 2.5 | 0 | 99719 | 1950 | 146 | 23479087 | 2289638 || 1181 | 1678233 | 10/ 0 | 590126 | 0 | 141.28/141.31 c | 1212 | 2.6 | 0 | 102149 | 925 | 147 | 23787092 | 2321885 || 1212 | 1700460 | 10/ 0 | 598444 | 0 | 143.68/143.71 c | 1228 | 2.4 | 0 | 104512 | 83 | 148 | 24099516 | 2354040 || 1228 | 1721620 | 10/ 0 | 605223 | 0 | 145.98/146.09 c | 1259 | 2.4 | 0 | 108417 | 502 | 149 | 24425896 | 2386282 || 1259 | 1745019 | 10/ 0 | 613573 | 0 | 148.38/148.44 c | 1276 | 2.3 | 0 | 110223 | 1027 | 150 | 24747437 | 2419568 || 1276 | 1771149 | 10/ 0 | 621961 | 0 | 150.69/150.72 c | 1278 | 2.3 | 0 | 111480 | 6918 | 151 | 25053074 | 2448261 || 1278 | 1807611 | 10/ 0 | 641609 | 0 | 153.38/153.49 c | 1278 | 2.8 | 0 | 113232 | 3317 | 152 | 25367783 | 2482892 || 1278 | 1828086 | 10/ 0 | 641989 | 0 | 156.19/156.29 c | 1293 | 2.8 | 0 | 116088 | 565 | 153 | 25660446 | 2507992 || 1293 | 1838434 | 10/ 0 | 645339 | 0 | 158.78/158.81 c | 1324 | 2.5 | 0 | 117555 | 264 | 154 | 25984915 | 2542384 || 1324 | 1863590 | 10/ 0 | 653687 | 0 | 161.59/161.67 c | 1341 | 2.9 | 0 | 118296 | 2491 | 155 | 26307224 | 2574626 || 1341 | 1886343 | 10/ 0 | 662044 | 0 | 164.58/164.60 c | 1372 | 2.9 | 0 | 119164 | 775 | 156 | 26633331 | 2608764 || 1372 | 1911133 | 10/ 0 | 670438 | 0 | 167.48/167.51 c | 1403 | 2.9 | 0 | 119352 | 758 | 157 | 26954532 | 2643325 || 1403 | 1935647 | 10/ 0 | 678827 | 0 | 170.28/170.36 c | 1405 | 2.8 | 0 | 117715 | 2553 | 158 | 27276768 | 2676340 || 1405 | 1961430 | 10/ 0 | 688840 | 0 | 173.28/173.34 c | 1435 | 3.0 | 0 | 117376 | 352 | 159 | 27595994 | 2709045 || 1435 | 1980537 | 10/ 0 | 695527 | 0 | 176.58/176.61 c | 1466 | 3.3 | 0 | 115345 | 649 | 160 | 27925465 | 2743843 || 1466 | 2004781 | 10/ 0 | 703913 | 0 | 179.29/179.34 c | 1485 | 2.7 | 0 | 115654 | 193 | 161 | 28258566 | 2778021 || 1485 | 2028935 | 10/ 0 | 712477 | 0 | 182.59/182.61 c | 1517 | 3.3 | 0 | 119785 | 192 | 162 | 28593560 | 2813428 || 1517 | 2053584 | 10/ 0 | 721106 | 0 | 186.08/186.12 c | 1532 | 3.5 | 0 | 122037 | 4646 | 163 | 28913618 | 2848140 || 1532 | 2085808 | 10/ 0 | 735577 | 0 | 189.78/189.84 c | 1533 | 3.7 | 0 | 124289 | 11846 | 164 | 29240140 | 2882799 || 1533 | 2119427 | 10/ 0 | 748895 | 0 | 192.38/192.44 c | 1533 | 2.6 | 0 | 124857 | 9544 | 165 | 29547581 | 2913618 || 1533 | 2129913 | 10/ 0 | 749114 | 0 | 195.68/195.78 c | 1534 | 3.3 | 0 | 127221 | 26547 | 166 | 29880921 | 2951623 || 1534 | 2182761 | 10/ 0 | 775432 | 0 | 199.48/199.50 c | 1534 | 3.7 | 0 | 131222 | 5245 | 167 | 30210164 | 2987291 || 1534 | 2199905 | 10/ 0 | 775758 | 0 | 202.38/202.48 c | 1534 | 3.0 | 0 | 129627 | 22447 | 168 | 30541574 | 3008375 || 1534 | 2199905 | 10/ 0 | 775758 | 0 | 206.88/206.93 c | 1565 | 4.4 | 0 | 127364 | 2004 | 169 | 30880755 | 3043165 || 1565 | 2222990 | 10/ 0 | 784094 | 0 | 210.98/211.00 c | 1596 | 4.1 | 0 | 125925 | 868 | 170 | 31227729 | 3079769 || 1596 | 2247763 | 10/ 0 | 792474 | 0 | 214.38/214.40 c | 1625 | 3.4 | 0 | 129149 | 90 | 171 | 31598402 | 3116278 || 1625 | 2275064 | 10/ 0 | 801270 | 0 | 218.18/218.29 c | 1658 | 3.9 | 0 | 127018 | 957 | 172 | 31952408 | 3153986 || 1658 | 2303250 | 10/ 0 | 810918 | 0 | 222.18/222.21 c | 1661 | 3.9 | 0 | 126578 | 646 | 173 | 32309209 | 3190815 || 1661 | 2338765 | 10/ 0 | 822610 | 0 | 225.77/225.86 c | 1691 | 3.6 | 0 | 123924 | 1142 | 174 | 32646941 | 3225639 || 1691 | 2358817 | 10/ 0 | 829321 | 0 | 229.68/229.79 c | 1723 | 3.9 | 0 | 127139 | 1718 | 175 | 33003712 | 3263487 || 1723 | 2387512 | 10/ 0 | 839398 | 0 | 233.37/233.40 c | 1749 | 3.6 | 0 | 128050 | 129 | 176 | 33363786 | 3300159 || 1749 | 2412480 | 10/ 0 | 847827 | 0 | 237.48/237.54 c | 1785 | 4.1 | 0 | 132040 | 407 | 177 | 33717045 | 3339678 || 1785 | 2439924 | 10/ 0 | 857853 | 0 | 241.07/241.14 c | 1788 | 3.6 | 0 | 133739 | 595 | 178 | 34071078 | 3380737 || 1788 | 2474622 | 10/ 0 | 869612 | 0 | 244.77/244.87 c | 1789 | 3.7 | 0 | 136304 | 18896 | 179 | 34423985 | 3421301 || 1789 | 2508674 | 10/ 0 | 882943 | 0 | 248.18/248.29 c | 1804 | 3.4 | 0 | 142707 | 851 | 180 | 34748867 | 3449379 || 1804 | 2518278 | 10/ 0 | 886297 | 0 | 253.08/253.11 c | 1841 | 4.8 | 0 | 141466 | 140 | 181 | 35115162 | 3489388 || 1841 | 2545971 | 10/ 0 | 895528 | 0 | 257.48/257.50 c | 1865 | 4.4 | 0 | 143176 | 268 | 182 | 35486064 | 3528700 || 1865 | 2574243 | 10/ 0 | 905193 | 0 | 261.98/262.03 c | 1898 | 4.5 | 0 | 143460 | 744 | 183 | 35865539 | 3567255 || 1898 | 2601912 | 10/ 0 | 914821 | 0 | 266.58/266.64 c | 1916 | 4.6 | 0 | 144141 | 5892 | 184 | 36243770 | 3606792 || 1916 | 2638499 | 10/ 0 | 929696 | 0 | 271.18/271.28 c | 1938 | 4.6 | 0 | 144386 | 345 | 185 | 36616504 | 3643246 || 1938 | 2657872 | 10/ 0 | 934399 | 0 | 276.38/276.47 c | 1977 | 5.2 | 0 | 142927 | 778 | 186 | 36999605 | 3684605 || 1977 | 2688744 | 10/ 0 | 944855 | 0 | 281.08/281.17 c | 2001 | 4.7 | 0 | 144418 | 379 | 187 | 37378247 | 3724333 || 2001 | 2715820 | 10/ 0 | 954524 | 0 | 286.08/286.13 c | 2040 | 4.9 | 0 | 145718 | 429 | 188 | 37758108 | 3766005 || 2040 | 2745984 | 10/ 0 | 964983 | 0 | 290.68/290.70 c | 2043 | 4.6 | 0 | 145248 | 1710 | 189 | 38117378 | 3806538 || 2043 | 2778981 | 10/ 0 | 976687 | 0 | 295.79/295.81 c | 2044 | 5.1 | 0 | 143181 | 1906 | 190 | 38491465 | 3847460 || 2044 | 2817139 | 10/ 0 | 990053 | 0 | 299.98/300.00 c | 2045 | 4.2 | 0 | 146283 | 21407 | 191 | 38843824 | 3882539 || 2045 | 2861787 | 10/ 0 | 1016196 | 0 | 305.18/305.24 c | 2045 | 5.2 | 0 | 147904 | 2608 | 192 | 39221964 | 3929639 || 2045 | 2884817 | 10/ 0 | 1016658 | 0 | 309.78/309.88 c | 2045 | 4.6 | 0 | 153575 | 22309 | 193 | 39574075 | 3953822 || 2045 | 2884817 | 10/ 0 | 1016658 | 0 | 317.78/317.81 c | 2046 | 7.9 | 0 | 152851 | 42113 | 194 | 39955311 | 3998403 || 2046 | 2978322 | 10/ 0 | 1068984 | 0 | 325.78/325.82 c | 2046 | 8.0 | 0 | 151489 | 19911 | 195 | 40356910 | 4046782 || 2046 | 3011885 | 10/ 0 | 1069551 | 0 | 334.29/334.38 c | 2046 | 8.6 | 0 | 152438 | 5225 | 196 | 40746883 | 4089770 || 2046 | 3033930 | 10/ 0 | 1069986 | 0 | 340.58/340.67 c | 2046 | 6.3 | 0 | 150951 | 25326 | 197 | 41088076 | 4113920 || 2046 | 3033930 | 10/ 0 | 1069986 | 0 | 347.98/348.05 c | 2046 | 7.4 | 0 | 147669 | 45527 | 198 | 41427324 | 4138344 || 2046 | 3033930 | 10/ 0 | 1069986 | 0 | 353.68/353.72 c | 2047 | 5.7 | 0 | 141473 | 65829 | 199 | 41835635 | 4181504 || 2047 | 3184952 | 10/ 0 | 1174144 | 0 | 358.18/358.26 c | 2047 | 4.5 | 0 | 146421 | 20403 | 200 | 42252316 | 4231856 || 2047 | 3215367 | 10/ 0 | 1174742 | 0 | 362.48/362.58 c | 2047 | 4.3 | 0 | 153131 | 20502 | 201 | 42684078 | 4282042 || 2047 | 3252214 | 10/ 0 | 1175384 | 0 | 367.98/368.04 c | 2047 | 5.5 | 0 | 147893 | 20603 | 202 | 43112080 | 4331990 || 2047 | 3290383 | 10/ 0 | 1176000 | 0 | 373.48/373.54 c | 2047 | 5.5 | 0 | 132392 | 20701 | 203 | 43535590 | 4383370 || 2047 | 3325450 | 10/ 0 | 1176627 | 0 | 377.08/377.13 c | 2047 | 3.6 | 0 | 132138 | 15238 | 204 | 43919284 | 4415596 || 2047 | 3334902 | 10/ 0 | 1176799 | 0 | 380.78/380.82 c | 2047 | 3.7 | 0 | 139542 | 36140 | 205 | 44302598 | 4440632 || 2047 | 3334902 | 10/ 0 | 1176799 | 0 | 384.88/384.94 c | 2047 | 4.1 | 0 | 137628 | 57143 | 206 | 44667261 | 4465467 || 2047 | 3334902 | 10/ 0 | 1176799 | 0 | 389.07/389.13 c | 2047 | 4.2 | 0 | 132279 | 78244 | 207 | 45021556 | 4490051 || 2047 | 3334902 | 10/ 0 | 1176799 | 0 | 394.27/394.37 c | 2047 | 5.2 | 0 | 137391 | 99448 | 208 | 45383586 | 4514798 || 2047 | 3334902 | 10/ 0 | 1176799 | 0 | 398.97/399.07 c | 2085 | 4.7 | 0 | 146399 | 239 | 209 | 45829770 | 4557262 || 2085 | 3363977 | 10/ 0 | 1186481 | 0 | 404.07/404.12 c | 2115 | 5.1 | 0 | 141890 | 16 | 210 | 46276144 | 4600701 || 2115 | 3395394 | 10/ 0 | 1197556 | 0 | 408.57/408.68 c | 2157 | 4.6 | 0 | 140418 | 866 | 211 | 46724888 | 4646204 || 2157 | 3427995 | 10/ 0 | 1208784 | 0 | 412.97/413.07 c | 2174 | 4.4 | 0 | 144840 | 8810 | 212 | 47150001 | 4692371 || 2174 | 3468126 | 10/ 0 | 1223695 | 0 | 417.47/417.58 c | 2205 | 4.5 | 0 | 147556 | 2404 | 213 | 47606812 | 4734883 || 2205 | 3493928 | 10/ 0 | 1232076 | 0 | 422.48/422.51 c | 2237 | 4.9 | 0 | 148028 | 917 | 214 | 48056792 | 4780069 || 2237 | 3528803 | 10/ 0 | 1243794 | 0 | 427.68/427.79 c | 2280 | 5.3 | 0 | 141475 | 176 | 215 | 48508515 | 4825337 || 2280 | 3559263 | 10/ 0 | 1254027 | 0 | 432.19/432.27 c | 2301 | 4.5 | 0 | 138879 | 6226 | 216 | 48966502 | 4871840 || 2301 | 3600466 | 10/ 0 | 1270463 | 0 | 436.59/436.69 c | 2302 | 4.4 | 0 | 140262 | 18724 | 217 | 49403548 | 4919364 || 2302 | 3641130 | 10/ 0 | 1283880 | 0 | 440.88/440.95 c | 2325 | 4.3 | 0 | 143342 | 458 | 218 | 49835946 | 4956093 || 2325 | 3655799 | 10/ 0 | 1288596 | 0 | 446.68/446.79 c | 2364 | 5.8 | 0 | 148736 | 577 | 219 | 50293657 | 5002821 || 2364 | 3690880 | 10/ 0 | 1300621 | 0 | 451.48/451.53 c | 2396 | 4.8 | 0 | 152720 | 491 | 220 | 50751594 | 5048833 || 2396 | 3725665 | 10/ 0 | 1312346 | 0 | 456.98/457.03 c | 2428 | 5.5 | 0 | 154604 | 2053 | 221 | 51204889 | 5094932 || 2428 | 3760493 | 10/ 0 | 1324083 | 0 | 462.08/462.18 c | 2451 | 5.1 | 0 | 156047 | 193 | 222 | 51685280 | 5138799 || 2451 | 3792567 | 10/ 0 | 1335368 | 0 | 467.08/467.17 c | 2491 | 5.0 | 0 | 159159 | 770 | 223 | 52153995 | 5187177 || 2491 | 3828380 | 10/ 0 | 1347497 | 0 | 472.28/472.31 c | 2523 | 5.2 | 0 | 161090 | 1034 | 224 | 52603746 | 5233706 || 2523 | 3861570 | 10/ 0 | 1359205 | 0 | 477.78/477.85 c | 2555 | 5.5 | 0 | 165091 | 2978 | 225 | 53069552 | 5280481 || 2555 | 3895365 | 10/ 0 | 1370857 | 0 | 483.48/483.52 c | 2557 | 5.7 | 0 | 165179 | 16376 | 226 | 53539104 | 5330632 || 2557 | 3945722 | 10/ 0 | 1390792 | 0 | 488.88/488.94 c | 2558 | 5.4 | 0 | 172138 | 20277 | 227 | 53958628 | 5371897 || 2558 | 3994771 | 10/ 0 | 1417038 | 0 | 496.28/496.39 c | 2558 | 7.5 | 0 | 179712 | 5082 | 228 | 54398337 | 5422565 || 2558 | 4019395 | 10/ 0 | 1417574 | 0 | 502.08/502.17 c | 2567 | 5.8 | 0 | 185533 | 52 | 229 | 54796322 | 5453547 || 2567 | 4023739 | 10/ 0 | 1419047 | 0 | 508.58/508.62 c | 2616 | 6.5 | 0 | 191721 | 73 | 230 | 55261159 | 5502897 || 2616 | 4059615 | 10/ 0 | 1431180 | 0 | 515.88/515.91 c | 2650 | 7.3 | 0 | 191699 | 131 | 231 | 55716070 | 5553236 || 2650 | 4092306 | 10/ 0 | 1443503 | 0 | 522.48/522.57 c | 2684 | 6.7 | 0 | 191568 | 4020 | 232 | 56173485 | 5603759 || 2684 | 4131351 | 10/ 0 | 1457712 | 0 | 527.77/527.87 c | 2703 | 5.3 | 0 | 189371 | 174 | 233 | 56643689 | 5649611 || 2703 | 4162149 | 10/ 0 | 1468158 | 0 | 534.27/534.31 c | 2747 | 6.4 | 0 | 185858 | 129 | 234 | 57123677 | 5701074 || 2747 | 4199009 | 10/ 0 | 1481151 | 0 | 541.98/542.03 c | 2779 | 7.7 | 0 | 181943 | 1494 | 235 | 57592917 | 5749760 || 2779 | 4232132 | 10/ 0 | 1492853 | 0 | 549.78/549.84 c | 2812 | 7.8 | 0 | 178433 | 4601 | 236 | 58048751 | 5800392 || 2812 | 4275130 | 10/ 0 | 1511097 | 0 | 556.98/557.01 c | 2813 | 7.2 | 0 | 179871 | 19097 | 237 | 58519608 | 5852955 || 2813 | 4322125 | 10/ 0 | 1524621 | 0 | 564.29/564.32 c | 2842 | 7.3 | 0 | 184013 | 372 | 238 | 58986431 | 5893867 || 2842 | 4339912 | 10/ 0 | 1530473 | 0 | 572.68/572.77 c | 2876 | 8.4 | 0 | 188673 | 140 | 239 | 59454200 | 5945071 || 2876 | 4380376 | 10/ 0 | 1544680 | 0 | 581.58/581.62 c | 2922 | 8.9 | 0 | 190204 | 780 | 240 | 59927073 | 5995151 || 2922 | 4414038 | 10/ 0 | 1556431 | 0 | 588.98/589.06 c | 2940 | 7.4 | 0 | 189573 | 833 | 241 | 60414836 | 6047325 || 2940 | 4456262 | 10/ 0 | 1571498 | 0 | 597.98/598.09 c | 2981 | 9.0 | 0 | 189713 | 214 | 242 | 60886293 | 6095308 || 2981 | 4484074 | 10/ 0 | 1581524 | 0 | 605.78/605.80 c | 3018 | 7.7 | 0 | 188835 | 707 | 243 | 61368144 | 6146922 || 3018 | 4522898 | 10/ 0 | 1594975 | 0 | 613.98/614.02 c | 3065 | 8.2 | 0 | 186776 | 1727 | 244 | 61856458 | 6200336 || 3065 | 4561725 | 10/ 0 | 1608427 | 0 | 618.98/619.04 c | 3068 | 5.0 | 0 | 187168 | 9829 | 245 | 62346599 | 6250344 || 3068 | 4611695 | 10/ 0 | 1631507 | 0 | 625.18/625.26 c | 3069 | 6.2 | 0 | 193169 | 15635 | 246 | 62819567 | 6297993 || 3069 | 4660826 | 10/ 0 | 1657760 | 0 | 635.08/635.12 c | 3069 | 9.9 | 0 | 196452 | 2335 | 247 | 63326151 | 6356715 || 3069 | 4700719 | 10/ 0 | 1658460 | 0 | 641.68/641.78 c | 3070 | 6.6 | 0 | 194166 | 27538 | 248 | 63752243 | 6389300 || 3070 | 4768095 | 10/ 0 | 1710359 | 0 | 650.68/650.75 c | 3070 | 9.0 | 0 | 193168 | 25306 | 249 | 64247811 | 6454673 || 3070 | 4804543 | 10/ 0 | 1711129 | 0 | 659.28/659.32 c | 3070 | 8.6 | 0 | 201180 | 1439 | 250 | 64767033 | 6515943 || 3070 | 4840949 | 10/ 0 | 1711847 | 0 | 665.88/665.91 c | 3070 | 6.6 | 0 | 202072 | 26940 | 251 | 65310272 | 6548210 || 3070 | 4840949 | 10/ 0 | 1711847 | 0 | 673.18/673.25 c | 3076 | 7.3 | 0 | 193439 | 225 | 252 | 65811997 | 6582223 || 3076 | 4843417 | 10/ 0 | 1712687 | 0 | 681.39/681.44 c | 3130 | 8.2 | 0 | 187693 | 49 | 253 | 66316729 | 6637896 || 3130 | 4882256 | 10/ 0 | 1726063 | 0 | 688.99/689.01 c | 3164 | 7.6 | 0 | 188256 | 2120 | 254 | 66827894 | 6691208 || 3164 | 4922945 | 10/ 0 | 1740223 | 0 | 697.39/697.44 c | 3197 | 8.4 | 0 | 190327 | 4729 | 255 | 67336830 | 6745408 || 3197 | 4964420 | 10/ 0 | 1758444 | 0 | 706.78/706.86 c | 3228 | 9.4 | 0 | 185977 | 219 | 256 | 67853692 | 6798796 || 3228 | 4995468 | 10/ 0 | 1766976 | 0 | 714.68/714.76 c | 3267 | 7.9 | 0 | 179854 | 177 | 257 | 68378004 | 6852244 || 3267 | 5033643 | 10/ 0 | 1779946 | 0 | 722.49/722.50 c | 3321 | 7.7 | 0 | 188741 | 119 | 258 | 68882089 | 6909360 || 3321 | 5072438 | 10/ 0 | 1793756 | 0 | 731.28/731.30 c | 3325 | 8.8 | 0 | 191216 | 9608 | 259 | 69379632 | 6961359 || 3325 | 5123848 | 10/ 0 | 1818483 | 0 | 738.49/738.56 c | 3338 | 7.3 | 0 | 196420 | 169 | 260 | 69883440 | 7010125 || 3338 | 5145046 | 10/ 0 | 1820864 | 0 | 748.09/748.12 c | 3387 | 9.6 | 0 | 195987 | 2288 | 261 | 70397745 | 7067049 || 3387 | 5185794 | 10/ 0 | 1835459 | 0 | 757.48/757.54 c | 3426 | 9.4 | 0 | 198081 | 347 | 262 | 70920282 | 7121079 || 3426 | 5223327 | 10/ 0 | 1848447 | 0 | 766.59/766.60 c | 3452 | 9.1 | 0 | 198578 | 134 | 263 | 71433296 | 7178565 || 3452 | 5271328 | 10/ 0 | 1865615 | 0 | 775.08/775.18 c | 3497 | 8.6 | 0 | 197084 | 561 | 264 | 71929531 | 7231140 || 3497 | 5302738 | 10/ 0 | 1876502 | 0 | 784.48/784.59 c | 3537 | 9.4 | 0 | 198059 | 300 | 265 | 72445134 | 7287552 || 3537 | 5342494 | 10/ 0 | 1890315 | 0 | 794.88/794.99 c | 3578 | 10.4 | 0 | 196500 | 364 | 266 | 72970748 | 7344439 || 3578 | 5386264 | 10/ 0 | 1905808 | 0 | 804.48/804.58 c | 3580 | 9.6 | 0 | 201597 | 17864 | 267 | 73487557 | 7400440 || 3580 | 5439739 | 10/ 0 | 1925848 | 0 | 814.88/814.92 c | 3581 | 10.3 | 0 | 208727 | 25862 | 268 | 73984076 | 7454028 || 3581 | 5494069 | 10/ 0 | 1952264 | 0 | 826.38/826.42 c | 3581 | 11.5 | 0 | 208646 | 14763 | 269 | 74485636 | 7503935 || 3581 | 5514492 | 10/ 0 | 1952628 | 0 | 837.28/837.30 c | 3615 | 10.9 | 0 | 210843 | 167 | 270 | 75000161 | 7552198 || 3615 | 5539834 | 10/ 0 | 1961405 | 0 | 846.99/847.05 c | 3659 | 9.8 | 0 | 212081 | 1032 | 271 | 75530191 | 7610534 || 3659 | 5582364 | 10/ 0 | 1976022 | 0 | 857.18/857.25 c | 3707 | 10.2 | 0 | 214903 | 2392 | 272 | 76073898 | 7669441 || 3707 | 5626161 | 10/ 0 | 1992683 | 0 | 865.88/865.96 c | 3733 | 8.7 | 0 | 214871 | 108 | 273 | 76604194 | 7724992 || 3733 | 5662649 | 10/ 0 | 2004443 | 0 | 875.98/876.00 c | 3771 | 10.0 | 0 | 209145 | 1678 | 274 | 77134180 | 7784979 || 3771 | 5704151 | 10/ 0 | 2019496 | 0 | 886.98/887.02 c | 3830 | 11.0 | 0 | 215887 | 273 | 275 | 77660818 | 7844285 || 3830 | 5743018 | 10/ 0 | 2033318 | 0 | 896.48/896.57 c | 3836 | 9.5 | 0 | 218708 | 9364 | 276 | 78174291 | 7899601 || 3836 | 5797741 | 10/ 0 | 2059267 | 0 | 908.78/908.83 c | 3851 | 12.3 | 0 | 218569 | 1018 | 277 | 78709550 | 7951357 || 3851 | 5823790 | 10/ 0 | 2062895 | 0 | 920.68/920.80 c | 3899 | 12.0 | 0 | 216066 | 3061 | 278 | 79253000 | 8011349 || 3899 | 5867449 | 10/ 0 | 2079552 | 0 | 932.08/932.16 c | 3948 | 11.4 | 0 | 219328 | 152 | 279 | 79790146 | 8070548 || 3948 | 5904818 | 10/ 0 | 2091743 | 0 | 941.58/941.63 c | 3965 | 9.5 | 0 | 222278 | 4 | 280 | 80320207 | 8126533 || 3965 | 5945040 | 10/ 0 | 2106552 | 0 | 953.97/954.00 c | 4024 | 12.4 | 0 | 222836 | 638 | 281 | 80869490 | 8187179 || 4024 | 5986984 | 10/ 0 | 2121428 | 0 | 966.58/966.66 c | 4066 | 12.7 | 0 | 223113 | 193 | 282 | 81421586 | 8246367 || 4066 | 6028247 | 10/ 0 | 2136270 | 0 | 976.79/976.86 c | 4090 | 10.2 | 0 | 226212 | 2486 | 283 | 81953431 | 8307461 || 4090 | 6074606 | 10/ 0 | 2153224 | 0 | 988.08/988.12 c | 4091 | 11.2 | 0 | 234596 | 12088 | 284 | 82469881 | 8359592 || 4091 | 6111882 | 10/ 0 | 2166584 | 0 | 1001.28/1001.37 c | 4092 | 13.3 | 0 | 235831 | 2581 | 285 | 83007029 | 8429206 || 4092 | 6183101 | 10/ 0 | 2193309 | 0 | 1011.48/1011.52 c | 4093 | 10.1 | 0 | 232489 | 31592 | 286 | 83453540 | 8472307 || 4093 | 6256683 | 10/ 0 | 2245353 | 0 | 1024.98/1025.08 c | 4093 | 13.6 | 0 | 233072 | 29101 | 287 | 83984014 | 8546281 || 4093 | 6302242 | 10/ 0 | 2246284 | 0 | 1037.78/1037.87 c | 4093 | 12.8 | 0 | 237255 | 13093 | 288 | 84509792 | 8600912 || 4093 | 6329400 | 10/ 0 | 2246766 | 0 | 1048.08/1048.16 c | 4093 | 10.3 | 0 | 228432 | 42394 | 289 | 85001089 | 8636177 || 4093 | 6329400 | 10/ 0 | 2246766 | 0 | 1061.87/1061.99 c | 4094 | 13.8 | 0 | 225165 | 71801 | 290 | 85552526 | 8699016 || 4094 | 6491124 | 10/ 0 | 2351112 | 0 | 1078.28/1078.39 c | 4094 | 16.4 | 0 | 224800 | 29502 | 291 | 86149076 | 8772483 || 4094 | 6541273 | 10/ 0 | 2352009 | 0 | 1094.88/1094.99 c | 4094 | 16.6 | 0 | 224503 | 29602 | 292 | 86725448 | 8846096 || 4094 | 6587959 | 10/ 0 | 2352892 | 0 | 1106.68/1106.76 c | 4094 | 11.8 | 0 | 229685 | 7002 | 293 | 87291891 | 8909925 || 4094 | 6623160 | 10/ 0 | 2353563 | 0 | 1113.28/1113.39 c | 4094 | 6.6 | 0 | 225565 | 36803 | 294 | 87777538 | 8945690 || 4094 | 6623160 | 10/ 0 | 2353563 | 0 | 1120.48/1120.54 c | 4094 | 7.2 | 0 | 221249 | 66707 | 295 | 88233672 | 8981167 || 4094 | 6623160 | 10/ 0 | 2353563 | 0 | 1128.58/1128.68 c | 4094 | 8.1 | 0 | 216785 | 96710 | 296 | 88731031 | 9016539 || 4094 | 6623160 | 10/ 0 | 2353563 | 0 | 1140.27/1140.35 c | 4095 | 11.7 | 0 | 224342 | 126815 | 297 | 89311361 | 9086586 || 4095 | 6916271 | 10/ 0 | 2561746 | 0 | 1151.88/1151.93 c | 4095 | 11.6 | 0 | 230993 | 30201 | 298 | 89916770 | 9163905 || 4095 | 6960530 | 10/ 0 | 2562626 | 0 | 1165.08/1165.14 c | 4095 | 13.2 | 0 | 220133 | 30302 | 299 | 90488400 | 9240699 || 4095 | 7005878 | 10/ 0 | 2563599 | 0 | 1178.68/1178.73 c | 4095 | 13.6 | 0 | 211493 | 30405 | 300 | 91096885 | 9314605 || 4095 | 7059030 | 10/ 0 | 2564557 | 0 | 1193.28/1193.35 c | 4095 | 14.6 | 0 | 222558 | 30506 | 301 | 91682179 | 9390525 || 4095 | 7104063 | 10/ 0 | 2565440 | 0 | 1209.28/1209.31 c | 4095 | 16.0 | 0 | 228309 | 30601 | 302 | 92269939 | 9467815 || 4095 | 7148787 | 10/ 0 | 2566317 | 0 | 1225.38/1225.47 c | 4095 | 16.2 | 0 | 229522 | 2325 | 303 | 92892697 | 9542495 || 4095 | 7195044 | 10/ 0 | 2567178 | 0 | 1236.29/1236.36 c | 4095 | 10.9 | 0 | 235914 | 33126 | 304 | 93420451 | 9579157 || 4095 | 7195044 | 10/ 0 | 2567178 | 0 | 1246.48/1246.50 c | 4095 | 10.1 | 0 | 240621 | 64027 | 305 | 93923141 | 9615850 || 4095 | 7195044 | 10/ 0 | 2567178 | 0 | 1257.08/1257.14 c | 4095 | 10.6 | 0 | 245344 | 95031 | 306 | 94434385 | 9652763 || 4095 | 7195044 | 10/ 0 | 2567178 | 0 | 1267.48/1267.57 c | 4095 | 10.4 | 0 | 247348 | 126132 | 307 | 94933603 | 9689583 || 4095 | 7195044 | 10/ 0 | 2567178 | 0 | 1281.87/1281.98 c | 4095 | 14.4 | 0 | 248943 | 157336 | 308 | 95456551 | 9726962 || 4095 | 7195044 | 10/ 0 | 2567178 | 0 | 1296.07/1296.12 c | 4095 | 14.1 | 1 | 240613 | 188637 | 309 | 95967210 | 9764663 || 4095 | 7195044 | 10/ 0 | 2567178 | 0 | 1299.98/1300.00 c | 4095 | 3.9 | 1 | 250176 | 198200 | 309 | 96123879 | 9775998 || 4095 | 7195044 | 10/ 0 | 2567178 | 0 | 1299.98/1300.00 c c 1299.98/1300.00 c ----------------------------------- 1299.98/1300.00 c # temps = 1299.980000 1299.98/1300.00 c # cleaningDB = 309 1299.98/1300.00 c # clause binaire = 1706 1299.98/1300.00 c # literal removed by litRedundant = 61060381 1299.98/1300.00 c # literal removed by litRedundantBin = 17044635 1299.98/1300.00 c # init clause removed by simplify = 0 1299.98/1300.00 c # learnt clause removed by simplify = 0 1299.98/1300.00 c # une clause fausse était une apprise = 0 1299.98/1300.00 c # equivalence dectecte = 0 1299.98/1300.00 c # Memory used : 97.54 MB 1299.98/1300.00 c 1299.98/1300.00 c ######################## 1299.98/1300.00 c #### ## ### ## #### 1299.98/1300.00 c #### #### # ## #### #### 1299.98/1300.00 c #### ## ### ## ### 1299.98/1300.00 c ######################## 1299.98/1300.00 c # restart = 4095 1299.98/1300.00 c # conflit = 4923484 1299.98/1300.00 c # decision = 9775998 1299.98/1300.00 c # propagation = 96123879 (73942.582963 (prop/sec)) 1299.98/1300.00 c 1299.98/1300.00 c ######################## 1299.98/1300.00 c ### ### # ## ## ## 1299.98/1300.00 c ### # # # #### # ### ### 1299.98/1300.00 c ### # ### ## # ### ### 1299.98/1300.00 c ######################## 1299.98/1300.00 c # numtry = 4095 1299.98/1300.00 c # numflips = 7195044 1299.98/1300.00 c # maxSat = 10 1299.98/1300.00 c # freeFlip = 3080543 1299.98/1300.00 c # nbBoundary = 0 1299.98/1300.00 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: 935) 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-3292754-1303784974/watcher-3292754-1303784974 -o /tmp/evaluation-result-3292754-1303784974/solver-3292754-1303784974 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3292754-1303784974.cnf rnovelty running on 2 cores: 5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.92 3.97 3.73 4/194 27082 /proc/meminfo: memFree=18294040/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [startup+0.0724531 s] /proc/loadavg: 3.92 3.97 3.73 4/194 27082 /proc/meminfo: memFree=18294040/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100448 s] /proc/loadavg: 3.92 3.97 3.73 4/194 27082 /proc/meminfo: memFree=18294040/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300412 s] /proc/loadavg: 3.92 3.97 3.73 4/194 27082 /proc/meminfo: memFree=18294040/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700344 s] /proc/loadavg: 3.92 3.97 3.73 4/194 27082 /proc/meminfo: memFree=18294040/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.5012 s] /proc/loadavg: 3.92 3.97 3.73 5/197 27086 /proc/meminfo: memFree=18289184/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [pid=27084] ppid=27082 vsize=8704 CPUtime=0 cores=5,7 /proc/27084/stat : 27084 (esg_static.sh) S 27082 27082 25844 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 490100032 8912896 134 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634334341 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27084/statm: 2176 134 90 178 0 69 0 [pid=27085] ppid=27084 vsize=12116 CPUtime=1.49 cores=5,7 /proc/27085/stat : 27085 (sathys) R 27084 27082 25844 0 -1 4202496 1499 0 0 0 149 0 0 0 25 0 1 0 490100032 12406784 1409 33554432000 4194304 4241092 140735682983520 18446744073709551615 4222524 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/27085/statm: 3029 1409 136 12 0 1493 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29524 [startup+3.10092 s] /proc/loadavg: 3.92 3.97 3.73 5/197 27086 /proc/meminfo: memFree=18287008/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [pid=27084] ppid=27082 vsize=8704 CPUtime=0 cores=5,7 /proc/27084/stat : 27084 (esg_static.sh) S 27082 27082 25844 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 490100032 8912896 134 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634334341 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27084/statm: 2176 134 90 178 0 69 0 [pid=27085] ppid=27084 vsize=13984 CPUtime=3.08 cores=5,7 /proc/27085/stat : 27085 (sathys) R 27084 27082 25844 0 -1 4202496 1991 0 0 0 308 0 0 0 25 0 1 0 490100032 14319616 1901 33554432000 4194304 4241092 140735682983520 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/27085/statm: 3496 1901 136 12 0 1960 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 31392 [startup+6.30035 s] /proc/loadavg: 3.93 3.97 3.73 5/197 27086 /proc/meminfo: memFree=18283892/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [pid=27084] ppid=27082 vsize=8704 CPUtime=0 cores=5,7 /proc/27084/stat : 27084 (esg_static.sh) S 27082 27082 25844 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 490100032 8912896 134 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634334341 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27084/statm: 2176 134 90 178 0 69 0 [pid=27085] ppid=27084 vsize=16344 CPUtime=6.28 cores=5,7 /proc/27085/stat : 27085 (sathys) R 27084 27082 25844 0 -1 4202496 2560 0 0 0 628 0 0 0 25 0 1 0 490100032 16736256 2470 33554432000 4194304 4241092 140735682983520 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/27085/statm: 4086 2470 136 12 0 2550 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 33752 [startup+12.7012 s] /proc/loadavg: 3.93 3.97 3.73 5/197 27086 /proc/meminfo: memFree=18279444/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [pid=27084] ppid=27082 vsize=8704 CPUtime=0 cores=5,7 /proc/27084/stat : 27084 (esg_static.sh) S 27082 27082 25844 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 490100032 8912896 134 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634334341 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27084/statm: 2176 134 90 178 0 69 0 [pid=27085] ppid=27084 vsize=19508 CPUtime=12.68 cores=5,7 /proc/27085/stat : 27085 (sathys) R 27084 27082 25844 0 -1 4202496 3367 0 0 0 1268 0 0 0 25 0 1 0 490100032 19976192 3271 33554432000 4194304 4241092 140735682983520 18446744073709551615 4223640 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/27085/statm: 4877 3271 136 12 0 3341 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 36916 [startup+25.501 s] /proc/loadavg: 3.95 3.97 3.73 5/198 27118 /proc/meminfo: memFree=19046200/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [pid=27084] ppid=27082 vsize=8704 CPUtime=0 cores=5,7 /proc/27084/stat : 27084 (esg_static.sh) S 27082 27082 25844 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 490100032 8912896 134 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634334341 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27084/statm: 2176 134 90 178 0 69 0 [pid=27085] ppid=27084 vsize=23752 CPUtime=25.49 cores=5,7 /proc/27085/stat : 27085 (sathys) R 27084 27082 25844 0 -1 4202496 4482 0 0 0 2548 1 0 0 25 0 1 0 490100032 24322048 4333 33554432000 4194304 4241092 140735682983520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/27085/statm: 5938 4333 136 12 0 4402 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41160 [startup+51.1004 s] /proc/loadavg: 3.96 3.97 3.74 5/198 27118 /proc/meminfo: memFree=19029596/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [pid=27084] ppid=27082 vsize=8704 CPUtime=0 cores=5,7 /proc/27084/stat : 27084 (esg_static.sh) S 27082 27082 25844 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 490100032 8912896 134 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634334341 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27084/statm: 2176 134 90 178 0 69 0 [pid=27085] ppid=27084 vsize=29912 CPUtime=51.09 cores=5,7 /proc/27085/stat : 27085 (sathys) R 27084 27082 25844 0 -1 4202496 6135 0 0 0 5108 1 0 0 25 0 1 0 490100032 30629888 5866 33554432000 4194304 4241092 140735682983520 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/27085/statm: 7478 5866 136 12 0 5942 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 47320 [startup+102.307 s] /proc/loadavg: 3.98 3.97 3.75 5/198 27120 /proc/meminfo: memFree=19008364/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [pid=27084] ppid=27082 vsize=8704 CPUtime=0 cores=5,7 /proc/27084/stat : 27084 (esg_static.sh) S 27082 27082 25844 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 490100032 8912896 134 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634334341 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27084/statm: 2176 134 90 178 0 69 0 [pid=27085] ppid=27084 vsize=37132 CPUtime=102.29 cores=5,7 /proc/27085/stat : 27085 (sathys) R 27084 27082 25844 0 -1 4202496 8204 0 0 0 10227 2 0 0 25 0 1 0 490100032 38023168 7676 33554432000 4194304 4241092 140735682983520 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/27085/statm: 9283 7676 136 12 0 7747 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 54540 [startup+162.301 s] /proc/loadavg: 3.99 3.97 3.76 6/198 27121 /proc/meminfo: memFree=18993468/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [pid=27084] ppid=27082 vsize=8704 CPUtime=0 cores=5,7 /proc/27084/stat : 27084 (esg_static.sh) S 27082 27082 25844 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 490100032 8912896 134 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634334341 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27084/statm: 2176 134 90 178 0 69 0 [pid=27085] ppid=27084 vsize=43232 CPUtime=162.28 cores=5,7 /proc/27085/stat : 27085 (sathys) R 27084 27082 25844 0 -1 4202496 10103 0 0 0 16225 3 0 0 25 0 1 0 490100032 44269568 9221 33554432000 4194304 4241092 140735682983520 18446744073709551615 4222364 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/27085/statm: 10808 9221 136 12 0 9272 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 60640 [startup+222.301 s] /proc/loadavg: 3.99 3.97 3.77 5/198 27123 /proc/meminfo: memFree=18981544/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [pid=27084] ppid=27082 vsize=8704 CPUtime=0 cores=5,7 /proc/27084/stat : 27084 (esg_static.sh) S 27082 27082 25844 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 490100032 8912896 134 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634334341 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27084/statm: 2176 134 90 178 0 69 0 [pid=27085] ppid=27084 vsize=48316 CPUtime=222.28 cores=5,7 /proc/27085/stat : 27085 (sathys) R 27084 27082 25844 0 -1 4202496 11704 0 0 0 22225 3 0 0 25 0 1 0 490100032 49475584 10488 33554432000 4194304 4241092 140735682983520 18446744073709551615 4223600 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/27085/statm: 12079 10488 136 12 0 10543 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 65724 [startup+282.301 s] ################ # More data... # ################ /proc/meminfo: memFree=19026872/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [pid=27084] ppid=27082 vsize=8704 CPUtime=0 cores=5,7 /proc/27084/stat : 27084 (esg_static.sh) S 27082 27082 25844 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 490100032 8912896 134 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634334341 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27084/statm: 2176 134 90 178 0 69 0 [pid=27085] ppid=27084 vsize=73584 CPUtime=762.29 cores=5,7 /proc/27085/stat : 27085 (sathys) R 27084 27082 25844 0 -1 4202496 20654 0 0 0 76221 8 0 0 25 0 1 0 490100032 75350016 16803 33554432000 4194304 4241092 140735682983520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/27085/statm: 18396 16803 136 12 0 16860 0 Current children cumulated CPU time (s) 762.29 Current children cumulated vsize (KiB) 90992 [startup+822.3 s] /proc/loadavg: 3.00 3.24 3.51 4/190 27190 /proc/meminfo: memFree=19015444/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [pid=27084] ppid=27082 vsize=8704 CPUtime=0 cores=5,7 /proc/27084/stat : 27084 (esg_static.sh) S 27082 27082 25844 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 490100032 8912896 134 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634334341 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27084/statm: 2176 134 90 178 0 69 0 [pid=27085] ppid=27084 vsize=75524 CPUtime=822.28 cores=5,7 /proc/27085/stat : 27085 (sathys) R 27084 27082 25844 0 -1 4202496 21329 0 0 0 82220 8 0 0 25 0 1 0 490100032 77336576 17257 33554432000 4194304 4241092 140735682983520 18446744073709551615 4225136 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/27085/statm: 18881 17257 136 12 0 17345 0 Current children cumulated CPU time (s) 822.28 Current children cumulated vsize (KiB) 92932 [startup+882.301 s] /proc/loadavg: 3.00 3.20 3.47 4/190 27191 /proc/meminfo: memFree=19007620/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [pid=27084] ppid=27082 vsize=8704 CPUtime=0 cores=5,7 /proc/27084/stat : 27084 (esg_static.sh) S 27082 27082 25844 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 490100032 8912896 134 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634334341 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27084/statm: 2176 134 90 178 0 69 0 [pid=27085] ppid=27084 vsize=77420 CPUtime=882.28 cores=5,7 /proc/27085/stat : 27085 (sathys) R 27084 27082 25844 0 -1 4202496 22053 0 0 0 88220 8 0 0 25 0 1 0 490100032 79278080 17733 33554432000 4194304 4241092 140735682983520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/27085/statm: 19355 17733 136 12 0 17819 0 Current children cumulated CPU time (s) 882.28 Current children cumulated vsize (KiB) 94828 [startup+942.301 s] /proc/loadavg: 3.00 3.16 3.44 4/190 27193 /proc/meminfo: memFree=19004244/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [pid=27084] ppid=27082 vsize=8704 CPUtime=0 cores=5,7 /proc/27084/stat : 27084 (esg_static.sh) S 27082 27082 25844 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 490100032 8912896 134 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634334341 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27084/statm: 2176 134 90 178 0 69 0 [pid=27085] ppid=27084 vsize=79004 CPUtime=942.27 cores=5,7 /proc/27085/stat : 27085 (sathys) R 27084 27082 25844 0 -1 4202496 22646 0 0 0 94219 8 0 0 25 0 1 0 490100032 80900096 18132 33554432000 4194304 4241092 140735682983520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/27085/statm: 19751 18132 136 12 0 18215 0 Current children cumulated CPU time (s) 942.27 Current children cumulated vsize (KiB) 96412 [startup+1002.3 s] /proc/loadavg: 3.00 3.13 3.41 4/190 27195 /proc/meminfo: memFree=18993556/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [pid=27084] ppid=27082 vsize=8704 CPUtime=0 cores=5,7 /proc/27084/stat : 27084 (esg_static.sh) S 27082 27082 25844 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 490100032 8912896 134 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634334341 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27084/statm: 2176 134 90 178 0 69 0 [pid=27085] ppid=27084 vsize=82600 CPUtime=1002.28 cores=5,7 /proc/27085/stat : 27085 (sathys) R 27084 27082 25844 0 -1 4202496 23827 0 0 0 100219 9 0 0 25 0 1 0 490100032 84582400 19065 33554432000 4194304 4241092 140735682983520 18446744073709551615 4223600 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/27085/statm: 20650 19065 136 12 0 19114 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 100008 [startup+1062.3 s] /proc/loadavg: 3.00 3.10 3.38 4/190 27196 /proc/meminfo: memFree=18984612/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [pid=27084] ppid=27082 vsize=8704 CPUtime=0 cores=5,7 /proc/27084/stat : 27084 (esg_static.sh) S 27082 27082 25844 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 490100032 8912896 134 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634334341 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27084/statm: 2176 134 90 178 0 69 0 [pid=27085] ppid=27084 vsize=87424 CPUtime=1062.27 cores=5,7 /proc/27085/stat : 27085 (sathys) R 27084 27082 25844 0 -1 4202496 25308 0 0 0 106218 9 0 0 25 0 1 0 490100032 89522176 20243 33554432000 4194304 4241092 140735682983520 18446744073709551615 4223653 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/27085/statm: 21856 20243 136 12 0 20320 0 Current children cumulated CPU time (s) 1062.27 Current children cumulated vsize (KiB) 104832 [startup+1122.3 s] /proc/loadavg: 3.04 3.09 3.36 4/190 27198 /proc/meminfo: memFree=18973560/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [pid=27084] ppid=27082 vsize=8704 CPUtime=0 cores=5,7 /proc/27084/stat : 27084 (esg_static.sh) S 27082 27082 25844 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 490100032 8912896 134 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634334341 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27084/statm: 2176 134 90 178 0 69 0 [pid=27085] ppid=27084 vsize=89404 CPUtime=1122.28 cores=5,7 /proc/27085/stat : 27085 (sathys) R 27084 27082 25844 0 -1 4202496 26060 0 0 0 112218 10 0 0 25 0 1 0 490100032 91549696 20766 33554432000 4194304 4241092 140735682983520 18446744073709551615 4223294 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/27085/statm: 22351 20766 136 12 0 20815 0 Current children cumulated CPU time (s) 1122.28 Current children cumulated vsize (KiB) 106812 [startup+1182.3 s] /proc/loadavg: 3.01 3.07 3.34 4/190 27199 /proc/meminfo: memFree=18968088/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [pid=27084] ppid=27082 vsize=8704 CPUtime=0 cores=5,7 /proc/27084/stat : 27084 (esg_static.sh) S 27082 27082 25844 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 490100032 8912896 134 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634334341 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27084/statm: 2176 134 90 178 0 69 0 [pid=27085] ppid=27084 vsize=91704 CPUtime=1182.28 cores=5,7 /proc/27085/stat : 27085 (sathys) R 27084 27082 25844 0 -1 4202496 26891 0 0 0 118217 11 0 0 25 0 1 0 490100032 93904896 21337 33554432000 4194304 4241092 140735682983520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/27085/statm: 22926 21337 136 12 0 21390 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 109112 [startup+1242.3 s] /proc/loadavg: 3.00 3.06 3.31 4/190 27201 /proc/meminfo: memFree=18962984/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [pid=27084] ppid=27082 vsize=8704 CPUtime=0 cores=5,7 /proc/27084/stat : 27084 (esg_static.sh) S 27082 27082 25844 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 490100032 8912896 134 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634334341 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27084/statm: 2176 134 90 178 0 69 0 [pid=27085] ppid=27084 vsize=95168 CPUtime=1242.28 cores=5,7 /proc/27085/stat : 27085 (sathys) R 27084 27082 25844 0 -1 4202496 27896 0 0 0 124216 12 0 0 25 0 1 0 490100032 97452032 22203 33554432000 4194304 4241092 140735682983520 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/27085/statm: 23792 22203 136 12 0 22256 0 Current children cumulated CPU time (s) 1242.28 Current children cumulated vsize (KiB) 112576 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 3.00 3.05 3.29 4/190 27203 /proc/meminfo: memFree=18956892/32951124 swapFree=67111528/67111528 [pid=27082] ppid=27080 vsize=8704 CPUtime=0 cores=5,7 /proc/27082/stat : 27082 (esg_static.sh) S 27080 27082 25844 0 -1 4202496 347 205 0 0 0 0 0 0 25 0 1 0 490100031 8912896 255 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634515200 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/27082/statm: 2176 255 211 178 0 69 0 [pid=27084] ppid=27082 vsize=8704 CPUtime=0 cores=5,7 /proc/27084/stat : 27084 (esg_static.sh) S 27082 27082 25844 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 490100032 8912896 134 33554432000 4194304 4922060 140733301816768 18446744073709551615 216634334341 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/27084/statm: 2176 134 90 178 0 69 0 [pid=27085] ppid=27084 vsize=99872 CPUtime=1299.98 cores=5,7 /proc/27085/stat : 27085 (sathys) R 27084 27082 25844 0 -1 4202496 29309 0 0 0 129986 12 0 0 25 0 1 0 490100032 102268928 23375 33554432000 4194304 4241092 140735682983520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/27085/statm: 24968 23375 136 12 0 23432 0 Current children cumulated CPU time (s) 1299.98 Current children cumulated vsize (KiB) 117280 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27082 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=3999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.005998 # while last known CPU time is 1299.98 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.02 CPU time (s): 1299.98 CPU user time (s): 1299.86 CPU system time (s): 0.12 CPU usage (%): 99.9971 Max. virtual memory (cumulated for all children) (KiB): 117464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.003999 system time used= 0.001999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 718 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= 6 runsolver used 2.07268 second user time and 5.04723 second system time The end
Begin job on node103 at 2011-04-26 04:29:34 IDJOB=3292754 IDBENCH=87935 IDSOLVER=1610 FILE ID=node103/3292754-1303784974 RUNJOBID= node103-1303783667-26839 PBS_JOBID= 13157220 Free space on /tmp= 71552 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT02/industrial/aloul/Homer/homer14.shuffled.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3292754-1303784974/watcher-3292754-1303784974 -o /tmp/evaluation-result-3292754-1303784974/solver-3292754-1303784974 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3292754-1303784974.cnf rnovelty TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 1d9569aa70fee033c68469753053c259 RANDOM SEED=937284495 node103.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.858 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.71 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.858 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 : 5332.75 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.858 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.858 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.77 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.858 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.75 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.858 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.858 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.83 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.858 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: 18294072 kB Buffers: 2126972 kB Cached: 11171036 kB SwapCached: 0 kB Active: 5000684 kB Inactive: 9074312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 18294072 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 22984 kB Writeback: 0 kB AnonPages: 776556 kB Mapped: 15220 kB Slab: 514872 kB PageTables: 6940 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 977092 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= 71772 MiB End job on node103 at 2011-04-26 04:51:16