| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 5000.1 | 5000.03 |
| Name | SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf |
| MD5SUM | f38a91a0947f21d9ceeb8762ba4c5f93 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 862.725 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2969 |
| Number of clauses | 18473 |
| Sum of the clauses size | 132415 |
| Maximum clause length | 13 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 42 |
| Number of clauses of size 2 | 442 |
| Number of clauses of size 3 | 2342 |
| Number of clauses of size 4 | 463 |
| Number of clauses of size 5 | 642 |
| Number of clauses of size over 5 | 14542 |
0.00/0.00 static 0.00/0.00 HOME/instance-3439570-1306934677.cnf 0.00/0.00 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 | 18226 130794 | 5467 0 0 nan | 0.000 % | 0.00/0.04 c | 0 | 16559 121007 | -- 0 -- -- | -- | -368/-4371 0.00/0.04 c ============================================================================== 0.00/0.04 c Result : #vars: 2875 #clauses: 16559 #literals: 121007 0.00/0.04 c CPU time: 0.041993 s 0.00/0.04 c ============================================================================== 0.00/0.09 c 0.00/0.09 c seed = 0, numatom = 2875, numclause = 15355, numliterals = 121007 0.00/0.09 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.09 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.00/0.09 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.05/0.11 c | 2 | 0.0 | 0 | 493 | 0 | 1 | 16126 | 4929 || 2 | 5059 | 46/ 28 | 271 | 0 | 0.05/0.13 c | 4 | 0.0 | 0 | 1093 | 298 | 2 | 35910 | 9961 || 4 | 9691 | 46/ 28 | 650 | 0 | 0.05/0.15 c | 6 | 0.0 | 0 | 1741 | 194 | 3 | 59975 | 16865 || 6 | 14729 | 46/ 28 | 1021 | 0 | 0.05/0.18 c | 7 | 0.0 | 0 | 2503 | 395 | 4 | 86228 | 22147 || 7 | 19901 | 32/ 14 | 1513 | 0 | 0.05/0.21 c | 11 | 0.0 | 0 | 3360 | 289 | 5 | 119018 | 30490 || 11 | 28014 | 32/ 14 | 2129 | 0 | 0.05/0.26 c | 14 | 0.0 | 1 | 4311 | 487 | 6 | 158838 | 39865 || 14 | 37068 | 32/ 17 | 2977 | 0 | 0.05/0.30 c | 15 | 0.0 | 1 | 5343 | 984 | 7 | 195170 | 48087 || 15 | 46170 | 22/ 7 | 3894 | 0 | 0.05/0.34 c | 16 | 0.0 | 1 | 6252 | 83 | 8 | 240852 | 53324 || 16 | 49910 | 22/ 7 | 4041 | 0 | 0.05/0.41 c | 21 | 0.1 | 1 | 7138 | 74 | 9 | 290501 | 64161 || 21 | 60511 | 22/ 7 | 4891 | 0 | 0.05/0.48 c | 25 | 0.1 | 1 | 8185 | 166 | 10 | 346635 | 73401 || 25 | 69990 | 22/ 7 | 5816 | 0 | 0.05/0.56 c | 29 | 0.1 | 1 | 9118 | 561 | 11 | 406843 | 84989 || 29 | 81918 | 22/ 7 | 6763 | 0 | 0.05/0.64 c | 30 | 0.1 | 1 | 10213 | 361 | 12 | 471390 | 94233 || 30 | 91737 | 22/ 7 | 7682 | 0 | 0.05/0.75 c | 31 | 0.1 | 1 | 11332 | 2062 | 13 | 546116 | 103308 || 31 | 105909 | 14/ 2 | 9454 | 0 | 0.05/0.85 c | 31 | 0.1 | 1 | 12198 | 1460 | 14 | 653849 | 107317 || 31 | 108594 | 14/ 2 | 9476 | 0 | 0.05/0.98 c | 38 | 0.1 | 1 | 12707 | 352 | 15 | 738859 | 118934 || 38 | 122494 | 14/ 2 | 10863 | 0 | 1.10/1.13 c | 44 | 0.2 | 1 | 13767 | 244 | 16 | 836375 | 131741 || 44 | 136663 | 14/ 2 | 11812 | 0 | 1.18/1.28 c | 46 | 0.1 | 1 | 14931 | 238 | 17 | 943639 | 142477 || 46 | 151812 | 14/ 2 | 13187 | 0 | 1.38/1.44 c | 53 | 0.2 | 1 | 16039 | 230 | 18 | 1063851 | 152127 || 53 | 163407 | 14/ 2 | 14513 | 0 | 1.58/1.62 c | 59 | 0.2 | 1 | 17004 | 121 | 19 | 1174275 | 163335 || 59 | 178364 | 14/ 2 | 15497 | 0 | 1.78/1.84 c | 61 | 0.2 | 1 | 18329 | 716 | 20 | 1324069 | 172466 || 61 | 192960 | 14/ 2 | 16836 | 0 | 1.98/2.11 c | 62 | 0.3 | 1 | 19451 | 818 | 21 | 1496038 | 182381 || 62 | 210622 | 13/ 1 | 18600 | 0 | 2.28/2.38 c | 63 | 0.3 | 1 | 20328 | 3422 | 22 | 1669375 | 191803 || 63 | 231028 | 12/ 1 | 21979 | 0 | 2.58/2.64 c | 63 | 0.3 | 1 | 21039 | 1322 | 23 | 1846786 | 199511 || 63 | 241467 | 12/ 1 | 22073 | 0 | 2.88/2.95 c | 67 | 0.3 | 1 | 21805 | 19 | 24 | 2070107 | 212268 || 67 | 248588 | 12/ 1 | 22631 | 0 | 3.20/3.26 c | 76 | 0.3 | 1 | 22350 | 300 | 25 | 2259853 | 223232 || 76 | 265951 | 12/ 1 | 24305 | 0 | 3.48/3.59 c | 80 | 0.3 | 1 | 23438 | 93 | 26 | 2466109 | 233922 || 80 | 282950 | 12/ 1 | 25874 | 0 | 3.88/3.93 c | 90 | 0.3 | 1 | 24416 | 180 | 27 | 2665068 | 245522 || 90 | 301641 | 12/ 1 | 27644 | 0 | 4.30/4.32 c | 94 | 0.4 | 1 | 25668 | 1077 | 28 | 2875190 | 257042 || 94 | 323068 | 12/ 0 | 30838 | 0 | 4.68/4.76 c | 96 | 0.5 | 1 | 27060 | 74 | 29 | 3159793 | 266747 || 96 | 338067 | 12/ 0 | 31177 | 0 | 5.18/5.21 c | 107 | 0.4 | 1 | 28676 | 258 | 30 | 3392211 | 279491 || 107 | 360019 | 12/ 0 | 33173 | 0 | 5.68/5.70 c | 113 | 0.5 | 1 | 29983 | 256 | 31 | 3647725 | 291400 || 113 | 380935 | 12/ 0 | 35036 | 0 | 6.18/6.25 c | 123 | 0.5 | 1 | 31143 | 43 | 32 | 3908451 | 302878 || 123 | 403748 | 12/ 0 | 37137 | 0 | 6.78/6.85 c | 125 | 0.6 | 1 | 32415 | 141 | 33 | 4202507 | 313888 || 125 | 428708 | 11/ 0 | 39722 | 0 | 7.38/7.49 c | 126 | 0.6 | 1 | 33269 | 3942 | 34 | 4521169 | 329802 || 126 | 452290 | 9/ 0 | 43121 | 0 | 8.08/8.18 c | 126 | 0.7 | 1 | 33891 | 3042 | 35 | 4873063 | 336246 || 126 | 458500 | 9/ 0 | 43173 | 0 | 8.88/8.93 c | 127 | 0.8 | 1 | 33432 | 7043 | 36 | 5174745 | 348858 || 127 | 500152 | 7/ 0 | 49906 | 0 | 9.58/9.63 c | 127 | 0.7 | 1 | 33980 | 1545 | 37 | 5494670 | 359070 || 127 | 520579 | 7/ 0 | 50062 | 0 | 10.28/10.39 c | 127 | 0.8 | 1 | 34217 | 5746 | 38 | 5900878 | 364348 || 127 | 520579 | 7/ 0 | 50062 | 0 | 11.08/11.18 c | 140 | 0.8 | 1 | 34227 | 123 | 39 | 6276746 | 382316 || 140 | 542635 | 7/ 0 | 52271 | 0 | 11.88/11.98 c | 149 | 0.8 | 1 | 35276 | 201 | 40 | 6648302 | 394527 || 149 | 567153 | 7/ 0 | 54459 | 0 | 12.68/12.79 c | 157 | 0.8 | 1 | 36946 | 481 | 41 | 7017094 | 413068 || 157 | 591752 | 7/ 0 | 57047 | 0 | 13.58/13.64 c | 163 | 0.8 | 1 | 38353 | 172 | 42 | 7430379 | 430929 || 163 | 612742 | 7/ 0 | 59408 | 0 | 14.48/14.59 c | 173 | 1.0 | 1 | 39743 | 159 | 43 | 7844729 | 443524 || 173 | 641622 | 7/ 0 | 62239 | 0 | 15.48/15.55 c | 187 | 1.0 | 1 | 41171 | 328 | 44 | 8250609 | 455494 || 187 | 664411 | 7/ 0 | 64828 | 0 | 16.58/16.61 c | 189 | 1.0 | 1 | 42606 | 1024 | 45 | 8677305 | 471581 || 189 | 690424 | 7/ 0 | 67460 | 0 | 17.60/17.63 c | 190 | 1.0 | 1 | 43169 | 1224 | 46 | 9096282 | 484320 || 190 | 720362 | 7/ 0 | 70878 | 0 | 18.70/18.77 c | 200 | 1.1 | 1 | 43686 | 111 | 47 | 9586890 | 510403 || 200 | 737155 | 7/ 0 | 72606 | 0 | 19.98/20.01 c | 212 | 1.2 | 1 | 44851 | 493 | 48 | 10054325 | 525443 || 212 | 766506 | 7/ 0 | 75627 | 0 | 21.18/21.26 c | 221 | 1.2 | 1 | 45596 | 1574 | 49 | 10516054 | 541338 || 221 | 797143 | 7/ 0 | 79486 | 0 | 22.48/22.55 c | 231 | 1.3 | 1 | 46757 | 249 | 50 | 10994176 | 553401 || 231 | 820042 | 7/ 0 | 81261 | 0 | 23.78/23.86 c | 243 | 1.3 | 1 | 47462 | 22 | 51 | 11457280 | 567898 || 243 | 848366 | 7/ 0 | 84272 | 0 | 25.08/25.17 c | 252 | 1.3 | 1 | 48731 | 2013 | 52 | 11931279 | 580125 || 252 | 879862 | 7/ 0 | 88101 | 0 | 26.48/26.54 c | 253 | 1.4 | 1 | 50430 | 512 | 53 | 12445453 | 597572 || 253 | 910862 | 7/ 0 | 91544 | 0 | 27.98/28.02 c | 254 | 1.5 | 1 | 50844 | 6313 | 54 | 12941963 | 620284 || 254 | 943681 | 7/ 0 | 98230 | 0 | 29.59/29.62 c | 254 | 1.6 | 1 | 51389 | 2615 | 55 | 13432720 | 631202 || 254 | 964928 | 7/ 0 | 98384 | 0 | 31.28/31.30 c | 255 | 1.7 | 1 | 50619 | 8619 | 56 | 13981812 | 641729 || 255 | 1000463 | 7/ 0 | 111484 | 0 | 32.78/32.88 c | 255 | 1.6 | 1 | 50157 | 6102 | 57 | 14421221 | 656104 || 255 | 1042503 | 7/ 0 | 111772 | 0 | 34.48/34.55 c | 255 | 1.7 | 1 | 49545 | 1722 | 58 | 14917850 | 668475 || 255 | 1073451 | 7/ 0 | 111994 | 0 | 36.08/36.21 c | 255 | 1.7 | 1 | 48326 | 8023 | 59 | 15560377 | 676511 || 255 | 1073451 | 7/ 0 | 111994 | 0 | 37.68/37.71 c | 262 | 1.5 | 1 | 49172 | 214 | 60 | 16148180 | 687301 || 262 | 1082591 | 7/ 0 | 113271 | 0 | 39.28/39.35 c | 277 | 1.6 | 1 | 51824 | 289 | 61 | 16707307 | 709821 || 277 | 1113115 | 4/ 0 | 116709 | 0 | 40.97/41.00 c | 286 | 1.6 | 1 | 54042 | 269 | 62 | 17257025 | 723883 || 286 | 1150779 | 4/ 0 | 120565 | 0 | 42.67/42.78 c | 301 | 1.8 | 1 | 55527 | 933 | 63 | 17835899 | 740208 || 301 | 1180712 | 4/ 0 | 124003 | 0 | 44.58/44.66 c | 316 | 1.9 | 1 | 58418 | 109 | 64 | 18417762 | 760007 || 316 | 1215612 | 4/ 0 | 127466 | 0 | 46.47/46.56 c | 318 | 1.9 | 1 | 60793 | 4611 | 65 | 18959692 | 774628 || 318 | 1256097 | 4/ 0 | 132573 | 0 | 48.48/48.59 c | 330 | 2.0 | 1 | 61018 | 93 | 66 | 19599044 | 789820 || 330 | 1276663 | 4/ 0 | 134533 | 0 | 50.60/50.67 c | 347 | 2.1 | 1 | 60607 | 464 | 67 | 20179674 | 811424 || 347 | 1312508 | 4/ 0 | 138606 | 0 | 52.69/52.79 c | 356 | 2.1 | 1 | 62482 | 428 | 68 | 20786140 | 827174 || 356 | 1347102 | 4/ 0 | 142467 | 0 | 54.99/55.09 c | 373 | 2.3 | 1 | 64539 | 194 | 69 | 21412353 | 842729 || 373 | 1381604 | 4/ 0 | 146121 | 0 | 57.37/57.44 c | 381 | 2.3 | 1 | 65237 | 2076 | 70 | 22077892 | 858270 || 381 | 1420041 | 4/ 0 | 153003 | 0 | 59.67/59.73 c | 382 | 2.3 | 1 | 65557 | 4770 | 71 | 22709024 | 872168 || 382 | 1460023 | 4/ 0 | 159669 | 0 | 61.87/61.97 c | 382 | 2.2 | 1 | 66587 | 2771 | 72 | 23358352 | 885720 || 382 | 1494566 | 4/ 0 | 159913 | 0 | 64.57/64.61 c | 396 | 2.6 | 1 | 67552 | 247 | 73 | 24125376 | 900834 || 396 | 1517314 | 4/ 0 | 162473 | 0 | 67.09/67.13 c | 412 | 2.5 | 1 | 68546 | 1024 | 74 | 24769777 | 926365 || 412 | 1556696 | 4/ 0 | 166752 | 0 | 69.47/69.55 c | 426 | 2.4 | 1 | 69206 | 201 | 75 | 25422479 | 943574 || 426 | 1592195 | 2/ 0 | 170652 | 0 | 72.17/72.24 c | 443 | 2.7 | 1 | 70895 | 871 | 76 | 26081487 | 961038 || 443 | 1633621 | 2/ 0 | 175385 | 0 | 74.79/74.88 c | 445 | 2.6 | 1 | 72574 | 563 | 77 | 26726870 | 976741 || 445 | 1674287 | 2/ 0 | 180461 | 0 | 77.67/77.76 c | 460 | 2.9 | 1 | 73882 | 1133 | 78 | 27447595 | 1000454 || 460 | 1704372 | 2/ 0 | 183858 | 0 | 80.57/80.66 c | 476 | 2.9 | 1 | 74734 | 1802 | 79 | 28131304 | 1018651 || 476 | 1745726 | 2/ 0 | 188985 | 0 | 83.59/83.66 c | 491 | 3.0 | 1 | 75297 | 571 | 80 | 28830463 | 1035528 || 491 | 1781601 | 2/ 0 | 192469 | 0 | 86.67/86.75 c | 507 | 3.1 | 1 | 76569 | 223 | 81 | 29521013 | 1057266 || 507 | 1826808 | 2/ 0 | 197625 | 0 | 89.97/90.00 c | 509 | 3.3 | 1 | 77358 | 4024 | 82 | 30269772 | 1072181 || 509 | 1872412 | 2/ 0 | 207567 | 0 | 92.87/92.98 c | 509 | 3.0 | 1 | 77869 | 3125 | 83 | 31004684 | 1097291 || 509 | 1913503 | 2/ 0 | 207805 | 0 | 96.17/96.29 c | 510 | 3.3 | 1 | 79603 | 11926 | 84 | 31735141 | 1123114 || 510 | 1971906 | 2/ 0 | 221065 | 0 | 99.77/99.82 c | 510 | 3.5 | 1 | 81021 | 1626 | 85 | 32422266 | 1142200 || 510 | 2021864 | 2/ 0 | 221415 | 0 | 103.67/103.74 c | 510 | 3.9 | 1 | 81641 | 10627 | 86 | 33370280 | 1152986 || 510 | 2021864 | 2/ 0 | 221415 | 0 | 107.17/107.24 c | 511 | 3.5 | 1 | 81834 | 19729 | 87 | 34105943 | 1177022 || 511 | 2103155 | 2/ 0 | 247568 | 0 | 110.57/110.66 c | 511 | 3.4 | 1 | 81747 | 9204 | 88 | 34737625 | 1196479 || 511 | 2160604 | 2/ 0 | 247919 | 0 | 113.98/114.06 c | 511 | 3.4 | 1 | 80900 | 9302 | 89 | 35372613 | 1216183 || 511 | 2215732 | 2/ 0 | 248299 | 0 | 117.88/117.97 c | 511 | 3.9 | 1 | 80173 | 9236 | 90 | 36302568 | 1235305 || 511 | 2216715 | 2/ 0 | 248303 | 0 | 122.10/122.15 c | 511 | 4.2 | 1 | 80125 | 18739 | 91 | 37348545 | 1253966 || 511 | 2216715 | 2/ 0 | 248303 | 0 | 126.18/126.25 c | 520 | 4.1 | 1 | 81907 | 28 | 92 | 38342755 | 1269097 || 520 | 2230719 | 2/ 0 | 249808 | 0 | 130.08/130.15 c | 541 | 3.9 | 1 | 83424 | 391 | 93 | 39159221 | 1290243 || 541 | 2276241 | 2/ 0 | 255174 | 0 | 133.98/134.01 c | 557 | 3.9 | 1 | 85062 | 547 | 94 | 39996193 | 1309045 || 557 | 2322164 | 2/ 0 | 260327 | 0 | 137.98/138.00 c | 574 | 4.0 | 1 | 87242 | 1606 | 95 | 40836337 | 1327603 || 574 | 2370105 | 2/ 0 | 268706 | 0 | 142.08/142.13 c | 586 | 4.1 | 1 | 90197 | 78 | 96 | 41684649 | 1357946 || 586 | 2410822 | 2/ 0 | 270805 | 0 | 146.48/146.51 c | 605 | 4.4 | 1 | 91199 | 1646 | 97 | 42513449 | 1379598 || 605 | 2460342 | 2/ 0 | 277372 | 0 | 150.98/151.08 c | 626 | 4.6 | 1 | 90208 | 7 | 98 | 43361704 | 1399604 || 626 | 2502459 | 2/ 0 | 281708 | 0 | 155.28/155.34 c | 637 | 4.3 | 1 | 88825 | 3680 | 99 | 44197587 | 1419347 || 637 | 2554575 | 2/ 0 | 289272 | 0 | 159.68/159.75 c | 638 | 4.4 | 1 | 90434 | 9287 | 100 | 45048869 | 1439277 || 638 | 2610449 | 2/ 0 | 296116 | 0 | 164.77/164.91 c | 651 | 5.2 | 1 | 91432 | 262 | 101 | 46076506 | 1455667 || 651 | 2631379 | 2/ 0 | 298257 | 0 | 169.58/169.61 c | 669 | 4.7 | 1 | 92700 | 2332 | 102 | 46960256 | 1476361 || 669 | 2684262 | 2/ 0 | 304623 | 0 | 174.48/174.58 c | 692 | 5.0 | 1 | 93980 | 88 | 103 | 47886096 | 1496637 || 692 | 2725991 | 2/ 0 | 309431 | 0 | 178.98/179.09 c | 701 | 4.5 | 1 | 94978 | 563 | 104 | 48738487 | 1517521 || 701 | 2781021 | 2/ 0 | 316527 | 0 | 184.28/184.34 c | 723 | 5.2 | 1 | 95554 | 424 | 105 | 49717538 | 1542288 || 723 | 2822554 | 2/ 0 | 321253 | 0 | 189.58/189.61 c | 742 | 5.3 | 1 | 97866 | 185 | 106 | 50638293 | 1564841 || 742 | 2871241 | 2/ 0 | 326828 | 0 | 195.08/195.14 c | 763 | 5.5 | 1 | 100517 | 2242 | 107 | 51560057 | 1588922 || 763 | 2927774 | 2/ 0 | 333614 | 0 | 200.19/200.28 c | 765 | 5.1 | 1 | 101196 | 6235 | 108 | 52491435 | 1614813 || 765 | 2978657 | 2/ 0 | 343596 | 0 | 205.59/205.62 c | 766 | 5.3 | 1 | 102710 | 7936 | 109 | 53452722 | 1632735 || 766 | 3025519 | 2/ 0 | 356752 | 0 | 210.57/210.68 c | 766 | 5.1 | 1 | 102969 | 133 | 110 | 54229946 | 1656536 || 766 | 3091171 | 2/ 0 | 357203 | 0 | 215.49/215.54 c | 766 | 4.9 | 1 | 101663 | 11634 | 111 | 55323918 | 1673116 || 766 | 3091171 | 2/ 0 | 357203 | 0 | 221.48/221.54 c | 794 | 6.0 | 1 | 106265 | 188 | 112 | 56289838 | 1698655 || 794 | 3141097 | 2/ 0 | 362827 | 0 | 227.60/227.62 c | 812 | 6.1 | 1 | 106928 | 441 | 113 | 57242500 | 1722858 || 812 | 3195343 | 2/ 0 | 369205 | 0 | 233.49/233.52 c | 829 | 5.9 | 1 | 108040 | 3412 | 114 | 58202964 | 1750638 || 829 | 3253107 | 2/ 0 | 377642 | 0 | 239.39/239.49 c | 848 | 6.0 | 1 | 109306 | 270 | 115 | 59174325 | 1772410 || 848 | 3296287 | 2/ 0 | 381663 | 0 | 245.89/245.90 c | 871 | 6.4 | 1 | 111493 | 206 | 116 | 60170214 | 1794717 || 871 | 3350850 | 2/ 0 | 388057 | 0 | 252.69/252.75 c | 891 | 6.8 | 1 | 114700 | 873 | 117 | 61152737 | 1818033 || 891 | 3406806 | 2/ 0 | 394773 | 0 | 258.78/258.89 c | 893 | 6.1 | 1 | 111021 | 8274 | 118 | 62068407 | 1839553 || 893 | 3473286 | 2/ 0 | 404900 | 0 | 265.38/265.44 c | 907 | 6.6 | 1 | 111221 | 148 | 119 | 63149484 | 1860907 || 907 | 3504429 | 2/ 0 | 407541 | 0 | 272.18/272.23 c | 928 | 6.8 | 1 | 114842 | 3 | 120 | 64186655 | 1884085 || 928 | 3558484 | 2/ 0 | 414054 | 0 | 279.48/279.52 c | 955 | 7.3 | 1 | 116329 | 1345 | 121 | 65194909 | 1908975 || 955 | 3620432 | 2/ 0 | 422027 | 0 | 286.00/286.09 c | 968 | 6.6 | 1 | 117178 | 17 | 122 | 66180587 | 1931141 || 968 | 3669443 | 2/ 0 | 427381 | 0 | 293.98/294.01 c | 988 | 7.9 | 1 | 119609 | 65 | 123 | 67270608 | 1954449 || 988 | 3725730 | 2/ 0 | 434091 | 0 | 301.69/301.77 c | 1018 | 7.8 | 1 | 120851 | 907 | 124 | 68294581 | 1985159 || 1018 | 3786714 | 2/ 0 | 442432 | 0 | 309.48/309.53 c | 1020 | 7.8 | 1 | 123114 | 6603 | 125 | 69319208 | 2012324 || 1020 | 3854208 | 2/ 0 | 452558 | 0 | 316.58/316.65 c | 1021 | 7.1 | 1 | 121303 | 10004 | 126 | 70374249 | 2034406 || 1021 | 3914555 | 2/ 0 | 465794 | 0 | 324.99/325.00 c | 1021 | 8.4 | 1 | 122296 | 3905 | 127 | 71384269 | 2057961 || 1021 | 3971605 | 2/ 0 | 466175 | 0 | 333.49/333.51 c | 1022 | 8.5 | 1 | 123068 | 17107 | 128 | 72536420 | 2080729 || 1022 | 4039342 | 2/ 0 | 492232 | 0 | 341.49/341.57 c | 1022 | 8.1 | 1 | 124211 | 13302 | 129 | 73476289 | 2109455 || 1022 | 4123125 | 2/ 0 | 492846 | 0 | 349.88/349.95 c | 1022 | 8.4 | 1 | 123503 | 5410 | 130 | 74630907 | 2130890 || 1022 | 4173486 | 2/ 0 | 493188 | 0 | 358.08/358.13 c | 1022 | 8.2 | 1 | 123221 | 18912 | 131 | 76086247 | 2146657 || 1022 | 4173486 | 2/ 0 | 493188 | 0 | 365.10/365.20 c | 1023 | 7.1 | 1 | 128468 | 32513 | 132 | 77157724 | 2179098 || 1023 | 4289111 | 2/ 0 | 545195 | 0 | 373.18/373.27 c | 1023 | 8.1 | 1 | 127750 | 13704 | 133 | 78027531 | 2205586 || 1023 | 4361974 | 2/ 0 | 545702 | 0 | 382.08/382.14 c | 1023 | 8.9 | 1 | 123918 | 13806 | 134 | 78917183 | 2231315 || 1023 | 4437763 | 2/ 0 | 546240 | 0 | 391.18/391.21 c | 1023 | 9.1 | 1 | 116364 | 13903 | 135 | 79815300 | 2257620 || 1023 | 4515868 | 2/ 0 | 546746 | 0 | 398.38/398.48 c | 1023 | 7.3 | 1 | 116904 | 11131 | 136 | 80945692 | 2277083 || 1023 | 4533091 | 2/ 0 | 546864 | 0 | 405.58/405.67 c | 1023 | 7.2 | 1 | 119698 | 25232 | 137 | 82234739 | 2293908 || 1023 | 4533091 | 2/ 0 | 546864 | 0 | 412.68/412.76 c | 1023 | 7.1 | 1 | 117616 | 39436 | 138 | 83542634 | 2311155 || 1023 | 4533091 | 2/ 0 | 546864 | 0 | 420.88/420.94 c | 1031 | 8.2 | 1 | 120957 | 26 | 139 | 84875319 | 2334235 || 1031 | 4545729 | 2/ 0 | 548250 | 0 | 429.78/429.85 c | 1058 | 8.9 | 1 | 128315 | 281 | 140 | 86131139 | 2369116 || 1058 | 4611003 | 2/ 0 | 555931 | 0 | 438.80/438.85 c | 1085 | 9.0 | 1 | 130584 | 918 | 141 | 87329541 | 2400728 || 1085 | 4678401 | 2/ 0 | 563907 | 0 | 448.28/448.33 c | 1106 | 9.5 | 1 | 130502 | 172 | 142 | 88601690 | 2435225 || 1106 | 4740234 | 2/ 0 | 571358 | 0 | 457.78/457.87 c | 1132 | 9.5 | 1 | 130261 | 510 | 143 | 89821547 | 2464217 || 1132 | 4805865 | 2/ 0 | 579209 | 0 | 467.08/467.13 c | 1149 | 9.3 | 1 | 126319 | 1673 | 144 | 91025452 | 2490845 || 1149 | 4873251 | 2/ 0 | 587736 | 0 | 476.38/476.40 c | 1153 | 9.3 | 1 | 121846 | 271 | 145 | 92253789 | 2519537 || 1153 | 4923484 | 2/ 0 | 594921 | 0 | 486.39/486.45 c | 1181 | 10.1 | 1 | 117087 | 1101 | 146 | 93504288 | 2554367 || 1181 | 4989895 | 2/ 0 | 603016 | 0 | 495.89/495.90 c | 1212 | 9.5 | 1 | 119035 | 150 | 147 | 94758653 | 2585527 || 1212 | 5062241 | 2/ 0 | 611555 | 0 | 505.19/505.29 c | 1232 | 9.4 | 1 | 121389 | 297 | 148 | 96051765 | 2612252 || 1232 | 5122548 | 2/ 0 | 618891 | 0 | 515.59/515.69 c | 1260 | 10.4 | 1 | 122730 | 18 | 149 | 97352268 | 2642053 || 1260 | 5190723 | 2/ 0 | 626993 | 0 | 525.81/525.83 c | 1276 | 10.1 | 1 | 124583 | 2687 | 150 | 98663876 | 2676954 || 1276 | 5255361 | 2/ 0 | 635382 | 0 | 534.89/534.90 c | 1278 | 9.1 | 1 | 126972 | 8588 | 151 | 99829412 | 2703306 || 1278 | 5333625 | 2/ 0 | 655172 | 0 | 543.69/543.79 c | 1278 | 8.9 | 1 | 129485 | 4989 | 152 | 100993862 | 2731669 || 1278 | 5394572 | 2/ 0 | 655637 | 0 | 554.09/554.16 c | 1299 | 10.4 | 1 | 133001 | 41 | 153 | 102401590 | 2760180 || 1299 | 5431040 | 2/ 0 | 659882 | 0 | 565.89/565.99 c | 1329 | 11.8 | 1 | 136467 | 84 | 154 | 103710779 | 2789729 || 1329 | 5500418 | 2/ 0 | 668157 | 0 | 576.89/576.99 c | 1346 | 11.0 | 1 | 137083 | 145 | 155 | 104993333 | 2817663 || 1346 | 5567484 | 2/ 0 | 676670 | 0 | 588.69/588.71 c | 1376 | 11.7 | 1 | 139376 | 76 | 156 | 106276520 | 2847648 || 1376 | 5637686 | 2/ 0 | 685103 | 0 | 600.89/600.93 c | 1404 | 12.2 | 1 | 141207 | 2600 | 157 | 107541013 | 2879015 || 1404 | 5712790 | 2/ 0 | 696382 | 0 | 613.19/613.24 c | 1405 | 12.3 | 1 | 143025 | 4397 | 158 | 108894393 | 2906784 || 1405 | 5774836 | 2/ 0 | 703245 | 0 | 626.09/626.16 c | 1436 | 12.9 | 1 | 142292 | 2238 | 159 | 110232116 | 2939780 || 1436 | 5842206 | 2/ 0 | 711764 | 0 | 639.01/639.09 c | 1467 | 12.9 | 1 | 141793 | 137 | 160 | 111592860 | 2969376 || 1467 | 5913825 | 2/ 0 | 720319 | 0 | 650.89/650.98 c | 1490 | 11.9 | 1 | 143831 | 172 | 161 | 112920945 | 3001565 || 1490 | 5976258 | 2/ 0 | 728352 | 0 | 664.31/664.36 c | 1523 | 13.4 | 1 | 146245 | 199 | 162 | 114251934 | 3032676 || 1523 | 6046215 | 2/ 0 | 737089 | 0 | 676.89/676.98 c | 1532 | 12.6 | 1 | 147554 | 6581 | 163 | 115554285 | 3062578 || 1532 | 6130615 | 2/ 0 | 750716 | 0 | 689.99/690.09 c | 1533 | 13.1 | 1 | 148722 | 13785 | 164 | 116833245 | 3092919 || 1533 | 6210821 | 2/ 0 | 764127 | 0 | 703.69/703.77 c | 1533 | 13.7 | 1 | 150823 | 11486 | 165 | 118266343 | 3118085 || 1533 | 6242766 | 2/ 0 | 764366 | 0 | 718.40/718.41 c | 1534 | 14.6 | 1 | 150705 | 28487 | 166 | 119506355 | 3149990 || 1534 | 6374699 | 2/ 0 | 790932 | 0 | 735.10/735.11 c | 1534 | 16.7 | 1 | 149049 | 7185 | 167 | 120921238 | 3177827 || 1534 | 6433757 | 2/ 0 | 791352 | 0 | 750.11/750.13 c | 1534 | 15.0 | 1 | 145377 | 24386 | 168 | 122571060 | 3199915 || 1534 | 6433757 | 2/ 0 | 791352 | 0 | 764.29/764.41 c | 1566 | 14.3 | 1 | 145221 | 1628 | 169 | 123980269 | 3238123 || 1566 | 6505571 | 2/ 0 | 799997 | 0 | 778.60/778.68 c | 1597 | 14.3 | 1 | 146813 | 2958 | 170 | 125400016 | 3270759 || 1597 | 6588468 | 2/ 0 | 811760 | 0 | 793.50/793.55 c | 1627 | 14.9 | 1 | 148604 | 377 | 171 | 126812503 | 3306126 || 1627 | 6656677 | 2/ 0 | 818623 | 0 | 808.10/808.18 c | 1659 | 14.6 | 1 | 149863 | 1894 | 172 | 128280129 | 3346173 || 1659 | 6738850 | 2/ 0 | 828825 | 0 | 821.00/821.02 c | 1661 | 12.8 | 1 | 154419 | 2788 | 173 | 129651649 | 3381117 || 1661 | 6817413 | 2/ 0 | 838993 | 0 | 835.91/836.00 c | 1692 | 15.0 | 1 | 159022 | 2108 | 174 | 131036994 | 3413017 || 1692 | 6883962 | 2/ 0 | 847456 | 0 | 851.60/851.67 c | 1723 | 15.7 | 1 | 160923 | 1540 | 175 | 132460843 | 3449015 || 1723 | 6953346 | 2/ 0 | 855949 | 0 | 868.00/868.08 c | 1754 | 16.4 | 1 | 162970 | 674 | 176 | 133910942 | 3481276 || 1754 | 7031035 | 2/ 0 | 866077 | 0 | 884.20/884.20 c | 1786 | 16.1 | 1 | 165667 | 1520 | 177 | 135325576 | 3514630 || 1786 | 7109134 | 2/ 0 | 876275 | 0 | 898.10/898.18 c | 1788 | 14.0 | 1 | 167031 | 2913 | 178 | 136698108 | 3550558 || 1788 | 7183027 | 2/ 0 | 886361 | 0 | 914.02/914.10 c | 1789 | 15.9 | 1 | 168982 | 2012 | 179 | 138084677 | 3582425 || 1789 | 7276810 | 2/ 0 | 899851 | 0 | 929.80/929.88 c | 1809 | 15.8 | 1 | 172212 | 49 | 180 | 139555644 | 3610597 || 1809 | 7311910 | 2/ 0 | 903919 | 0 | 946.70/946.71 c | 1847 | 16.8 | 1 | 177855 | 63 | 181 | 141007602 | 3645129 || 1847 | 7391974 | 2/ 0 | 913753 | 0 | 965.00/965.05 c | 1867 | 18.3 | 1 | 178913 | 519 | 182 | 142492053 | 3677118 || 1867 | 7468970 | 2/ 0 | 923710 | 0 | 983.50/983.55 c | 1905 | 18.5 | 1 | 179073 | 312 | 183 | 143991476 | 3713272 || 1905 | 7548907 | 2/ 0 | 933512 | 0 | 1002.30/1002.31 c | 1916 | 18.8 | 1 | 181486 | 8286 | 184 | 145436944 | 3746253 || 1916 | 7645339 | 2/ 0 | 947402 | 0 | 1021.50/1021.55 c | 1945 | 19.2 | 1 | 182558 | 318 | 185 | 147001540 | 3780366 || 1945 | 7703099 | 2/ 0 | 953433 | 0 | 1039.20/1039.27 c | 1978 | 17.7 | 1 | 182682 | 2036 | 186 | 148472772 | 3814444 || 1978 | 7787367 | 2/ 0 | 964503 | 0 | 1059.50/1059.51 c | 2008 | 20.2 | 1 | 180979 | 463 | 187 | 150073338 | 3848241 || 2008 | 7866277 | 2/ 0 | 973855 | 0 | 1079.40/1079.44 c | 2041 | 19.9 | 1 | 182900 | 1791 | 188 | 151619745 | 3883430 || 2041 | 7952481 | 2/ 0 | 984901 | 0 | 1099.80/1099.84 c | 2043 | 20.4 | 1 | 185045 | 4286 | 189 | 153224773 | 3917823 || 2043 | 8035239 | 2/ 0 | 995049 | 0 | 1119.90/1119.96 c | 2044 | 20.1 | 1 | 186605 | 4488 | 190 | 154800982 | 3953082 || 2044 | 8138670 | 2/ 0 | 1008548 | 0 | 1137.50/1137.51 c | 2045 | 17.5 | 1 | 187865 | 23993 | 191 | 156374221 | 3985408 || 2045 | 8250819 | 2/ 0 | 1034941 | 0 | 1155.90/1155.95 c | 2045 | 18.4 | 1 | 189587 | 5195 | 192 | 157861708 | 4018368 || 2045 | 8340245 | 2/ 0 | 1035456 | 0 | 1177.60/1177.68 c | 2045 | 21.7 | 1 | 187347 | 24898 | 193 | 159756283 | 4041189 || 2045 | 8340245 | 2/ 0 | 1035456 | 0 | 1195.20/1195.22 c | 2046 | 17.5 | 1 | 187732 | 44699 | 194 | 161102580 | 4078378 || 2046 | 8535767 | 2/ 0 | 1087724 | 0 | 1215.00/1215.05 c | 2046 | 19.8 | 1 | 182004 | 19902 | 195 | 162473682 | 4115262 || 2046 | 8643715 | 2/ 0 | 1088430 | 0 | 1235.40/1235.45 c | 2046 | 20.4 | 1 | 171431 | 7802 | 196 | 164022416 | 4148191 || 2046 | 8709444 | 2/ 0 | 1088942 | 0 | 1254.30/1254.37 c | 2046 | 18.9 | 1 | 168225 | 27904 | 197 | 165934995 | 4174435 || 2046 | 8709444 | 2/ 0 | 1088942 | 0 | 1273.40/1273.40 c | 2046 | 19.0 | 1 | 167549 | 48107 | 198 | 167913098 | 4201850 || 2046 | 8709444 | 2/ 0 | 1088942 | 0 | 1293.30/1293.30 c | 2047 | 19.9 | 1 | 171885 | 68410 | 199 | 169373162 | 4240168 || 2047 | 8973387 | 2/ 0 | 1192330 | 0 | 1313.00/1313.01 c | 2047 | 19.7 | 1 | 162064 | 20402 | 200 | 170704220 | 4280543 || 2047 | 9088720 | 2/ 0 | 1193163 | 0 | 1332.50/1332.56 c | 2047 | 19.5 | 1 | 164429 | 20501 | 201 | 172087504 | 4320528 || 2047 | 9209374 | 2/ 0 | 1194008 | 0 | 1353.20/1353.26 c | 2047 | 20.7 | 1 | 168270 | 20601 | 202 | 173485743 | 4360056 || 2047 | 9332904 | 2/ 0 | 1194836 | 0 | 1376.40/1376.49 c | 2047 | 23.2 | 1 | 166921 | 20701 | 203 | 174884879 | 4398211 || 2047 | 9452568 | 2/ 0 | 1195695 | 0 | 1399.40/1399.45 c | 2047 | 23.0 | 1 | 160896 | 17816 | 204 | 176697274 | 4424867 || 2047 | 9469750 | 2/ 0 | 1195818 | 0 | 1422.10/1422.11 c | 2047 | 22.7 | 1 | 148353 | 38717 | 205 | 178624220 | 4449535 || 2047 | 9469750 | 2/ 0 | 1195818 | 0 | 1440.60/1440.62 c | 2047 | 18.5 | 1 | 150166 | 59718 | 206 | 180424488 | 4474899 || 2047 | 9469750 | 2/ 0 | 1195818 | 0 | 1460.20/1460.23 c | 2047 | 19.6 | 1 | 161813 | 80820 | 207 | 182239439 | 4509562 || 2047 | 9469750 | 2/ 0 | 1195818 | 0 | 1481.63/1481.64 c | 2047 | 21.4 | 1 | 173985 | 102021 | 208 | 184168298 | 4534462 || 2047 | 9469750 | 2/ 0 | 1195818 | 0 | 1501.01/1501.04 c | 2093 | 19.4 | 1 | 186407 | 409 | 209 | 185908575 | 4576097 || 2093 | 9563324 | 2/ 0 | 1207680 | 0 | 1521.81/1521.89 c | 2123 | 20.8 | 1 | 190530 | 239 | 210 | 187685221 | 4615900 || 2123 | 9654372 | 2/ 0 | 1218370 | 0 | 1543.51/1543.58 c | 2165 | 21.7 | 1 | 192400 | 26 | 211 | 189436123 | 4659402 || 2165 | 9746348 | 2/ 0 | 1229684 | 0 | 1564.91/1564.92 c | 2174 | 21.3 | 1 | 190983 | 1903 | 212 | 191085343 | 4697502 || 2174 | 9848210 | 2/ 0 | 1243423 | 0 | 1588.43/1588.44 c | 2210 | 23.5 | 1 | 185496 | 30 | 213 | 193003180 | 4741027 || 2210 | 9924834 | 2/ 0 | 1252572 | 0 | 1610.33/1610.32 c | 2240 | 21.9 | 1 | 177503 | 174 | 214 | 194803727 | 4785093 || 2240 | 10018203 | 2/ 0 | 1264232 | 0 | 1632.91/1632.93 c | 2283 | 22.6 | 1 | 165422 | 682 | 215 | 196600123 | 4828100 || 2283 | 10114087 | 2/ 0 | 1275742 | 0 | 1655.91/1655.99 c | 2301 | 23.0 | 1 | 167214 | 9060 | 216 | 198350840 | 4868200 || 2301 | 10223560 | 2/ 0 | 1290987 | 0 | 1679.63/1679.67 c | 2302 | 23.7 | 1 | 168549 | 2356 | 217 | 200084508 | 4905781 || 2302 | 10326285 | 2/ 0 | 1304525 | 0 | 1702.31/1702.37 c | 2332 | 22.7 | 1 | 169397 | 910 | 218 | 202014610 | 4946340 || 2332 | 10380449 | 2/ 0 | 1311340 | 0 | 1724.41/1724.49 c | 2365 | 22.1 | 1 | 177233 | 3531 | 219 | 203825411 | 4987267 || 2365 | 10482189 | 2/ 0 | 1324927 | 0 | 1747.42/1747.47 c | 2403 | 23.0 | 1 | 180030 | 450 | 220 | 205634942 | 5030216 || 2403 | 10568283 | 2/ 0 | 1334803 | 0 | 1770.32/1770.36 c | 2429 | 22.9 | 1 | 183383 | 5086 | 221 | 207391109 | 5071212 || 2429 | 10671646 | 2/ 0 | 1352006 | 0 | 1794.82/1794.85 c | 2459 | 24.5 | 1 | 186535 | 809 | 222 | 209197651 | 5110013 || 2459 | 10752464 | 2/ 0 | 1358976 | 0 | 1818.82/1818.83 c | 2492 | 24.0 | 1 | 190198 | 3839 | 223 | 211011282 | 5152293 || 2492 | 10853421 | 2/ 0 | 1372511 | 0 | 1844.12/1844.15 c | 2531 | 25.3 | 1 | 194929 | 48 | 224 | 212891141 | 5192347 || 2531 | 10938813 | 2/ 0 | 1382469 | 0 | 1869.32/1869.37 c | 2556 | 25.2 | 1 | 193313 | 6206 | 225 | 214672101 | 5236003 || 2556 | 11047010 | 2/ 0 | 1399616 | 0 | 1893.92/1893.94 c | 2557 | 24.6 | 1 | 197400 | 401 | 226 | 216378659 | 5275317 || 2557 | 11165828 | 2/ 0 | 1413197 | 0 | 1919.32/1919.34 c | 2558 | 25.4 | 1 | 194595 | 23506 | 227 | 218288539 | 5310211 || 2558 | 11280784 | 2/ 0 | 1439674 | 0 | 1944.74/1944.81 c | 2558 | 25.5 | 1 | 197994 | 8305 | 228 | 220123105 | 5346590 || 2558 | 11381826 | 2/ 0 | 1440286 | 0 | 1972.52/1972.55 c | 2573 | 27.7 | 1 | 202103 | 370 | 229 | 222327070 | 5388766 || 2573 | 11408927 | 2/ 0 | 1443699 | 0 | 2000.62/2000.69 c | 2620 | 28.2 | 1 | 211227 | 1260 | 230 | 224190427 | 5431903 || 2620 | 11508313 | 2/ 0 | 1457234 | 0 | 2030.54/2030.57 c | 2652 | 29.9 | 1 | 211797 | 2296 | 231 | 226067817 | 5476262 || 2652 | 11606983 | 2/ 0 | 1469184 | 0 | 2060.92/2060.92 c | 2684 | 30.4 | 1 | 210639 | 2636 | 232 | 227967867 | 5517422 || 2684 | 11698403 | 2/ 0 | 1481079 | 0 | 2087.43/2087.47 c | 2713 | 26.5 | 1 | 215111 | 68 | 233 | 229865400 | 5562656 || 2713 | 11792642 | 2/ 0 | 1493312 | 0 | 2117.23/2117.25 c | 2748 | 29.8 | 1 | 216228 | 3572 | 234 | 231738452 | 5605464 || 2748 | 11899883 | 2/ 0 | 1508106 | 0 | 2148.35/2148.35 c | 2790 | 31.1 | 1 | 214047 | 72 | 235 | 233685361 | 5650789 || 2790 | 11992067 | 2/ 0 | 1518505 | 0 | 2178.04/2178.04 c | 2812 | 29.7 | 1 | 207172 | 8111 | 236 | 235574805 | 5693186 || 2812 | 12109417 | 2/ 0 | 1535263 | 0 | 2202.43/2202.45 c | 2813 | 24.4 | 1 | 209264 | 3410 | 237 | 237390118 | 5732493 || 2813 | 12212380 | 2/ 0 | 1548808 | 0 | 2230.22/2230.26 c | 2844 | 27.8 | 1 | 212032 | 327 | 238 | 239334260 | 5775257 || 2844 | 12279766 | 2/ 0 | 1557306 | 0 | 2260.62/2260.65 c | 2879 | 30.4 | 1 | 217138 | 274 | 239 | 241247667 | 5816598 || 2879 | 12376518 | 2/ 0 | 1569606 | 0 | 2292.52/2292.57 c | 2930 | 31.9 | 1 | 219317 | 446 | 240 | 243200237 | 5860692 || 2930 | 12481355 | 2/ 0 | 1582514 | 0 | 2323.52/2323.58 c | 2940 | 31.0 | 1 | 221954 | 4518 | 241 | 245091391 | 5901133 || 2940 | 12581352 | 2/ 0 | 1596328 | 0 | 2356.32/2356.35 c | 2988 | 32.8 | 1 | 224425 | 125 | 242 | 247083369 | 5948546 || 2988 | 12677277 | 2/ 0 | 1608449 | 0 | 2390.35/2390.39 c | 3026 | 34.1 | 1 | 226652 | 423 | 243 | 249042442 | 5998543 || 3026 | 12777535 | 2/ 0 | 1621537 | 0 | 2424.45/2424.48 c | 3066 | 34.1 | 1 | 228977 | 3127 | 244 | 250963999 | 6042608 || 3066 | 12886523 | 2/ 0 | 1637051 | 0 | 2456.53/2456.59 c | 3068 | 32.1 | 1 | 228164 | 13624 | 245 | 252801475 | 6083214 || 3068 | 13010493 | 2/ 0 | 1657105 | 0 | 2490.84/2490.84 c | 3069 | 34.2 | 1 | 229096 | 19425 | 246 | 254935627 | 6120737 || 3069 | 13128124 | 2/ 0 | 1683501 | 0 | 2521.83/2521.87 c | 3069 | 31.0 | 1 | 232423 | 6123 | 247 | 256873780 | 6162826 || 3069 | 13241456 | 2/ 0 | 1684224 | 0 | 2554.63/2554.65 c | 3070 | 32.8 | 1 | 234396 | 31324 | 248 | 259084432 | 6196830 || 3070 | 13363069 | 2/ 0 | 1736312 | 0 | 2589.03/2589.08 c | 3070 | 34.4 | 1 | 237681 | 25301 | 249 | 260843434 | 6245637 || 3070 | 13514182 | 2/ 0 | 1737336 | 0 | 2630.33/2630.36 c | 3070 | 41.3 | 1 | 236345 | 5226 | 250 | 262860985 | 6288291 || 3070 | 13642497 | 2/ 0 | 1738157 | 0 | 2669.84/2669.89 c | 3070 | 39.5 | 1 | 231111 | 30729 | 251 | 265558043 | 6323981 || 3070 | 13642497 | 2/ 0 | 1738157 | 0 | 2705.24/2705.25 c | 3085 | 35.4 | 1 | 240472 | 696 | 252 | 268062732 | 6360642 || 3085 | 13666451 | 2/ 0 | 1741534 | 0 | 2741.94/2741.94 c | 3132 | 36.7 | 1 | 244682 | 306 | 253 | 270075283 | 6407825 || 3132 | 13777934 | 2/ 0 | 1755197 | 0 | 2779.34/2779.30 c | 3171 | 37.4 | 1 | 243830 | 33 | 254 | 272146665 | 6452924 || 3171 | 13878491 | 2/ 0 | 1768345 | 0 | 2816.14/2816.17 c | 3197 | 36.9 | 1 | 239713 | 8663 | 255 | 274114390 | 6498122 || 3197 | 14001763 | 2/ 0 | 1785694 | 0 | 2853.14/2853.15 c | 3236 | 37.0 | 1 | 242456 | 72 | 256 | 276215950 | 6541656 || 3236 | 14085121 | 2/ 0 | 1795645 | 0 | 2889.94/2889.90 c | 3275 | 36.8 | 1 | 250405 | 585 | 257 | 278303135 | 6587087 || 3275 | 14192623 | 2/ 0 | 1809548 | 0 | 2930.46/2930.46 c | 3323 | 40.6 | 1 | 243167 | 1892 | 258 | 280352711 | 6633571 || 3323 | 14308475 | 2/ 0 | 1826373 | 0 | 2967.04/2967.05 c | 3325 | 36.6 | 1 | 238060 | 13785 | 259 | 282309874 | 6677238 || 3325 | 14439713 | 2/ 0 | 1846478 | 0 | 3006.04/3006.09 c | 3347 | 39.0 | 1 | 239416 | 332 | 260 | 284447419 | 6722458 || 3347 | 14503028 | 2/ 0 | 1851368 | 0 | 3045.14/3045.11 c | 3388 | 39.0 | 1 | 242079 | 4114 | 261 | 286550586 | 6769530 || 3388 | 14621257 | 2/ 0 | 1866973 | 0 | 3086.04/3086.03 c | 3436 | 40.9 | 1 | 243767 | 137 | 262 | 288684576 | 6815728 || 3436 | 14722301 | 2/ 0 | 1879133 | 0 | 3125.75/3125.71 c | 3452 | 39.7 | 1 | 244144 | 4497 | 263 | 290756899 | 6860685 || 3452 | 14837962 | 2/ 0 | 1894221 | 0 | 3167.25/3167.21 c | 3505 | 41.5 | 1 | 244728 | 384 | 264 | 292861007 | 6907469 || 3505 | 14941453 | 2/ 0 | 1907452 | 0 | 3209.35/3209.36 c | 3546 | 42.2 | 1 | 246437 | 1178 | 265 | 294965936 | 6958439 || 3546 | 15055649 | 2/ 0 | 1923128 | 0 | 3248.55/3248.54 c | 3579 | 39.2 | 1 | 249556 | 4912 | 266 | 297026915 | 7004678 || 3579 | 15174398 | 2/ 0 | 1941593 | 0 | 3284.15/3284.19 c | 3580 | 35.7 | 1 | 253015 | 3208 | 267 | 299093122 | 7051453 || 3580 | 15301591 | 2/ 0 | 1955231 | 0 | 3321.25/3321.27 c | 3581 | 37.1 | 1 | 261615 | 30409 | 268 | 301141067 | 7094857 || 3581 | 15459192 | 2/ 0 | 1981627 | 0 | 3362.77/3362.72 c | 3581 | 41.4 | 1 | 267486 | 19307 | 269 | 303466630 | 7133600 || 3581 | 15508315 | 2/ 0 | 1981943 | 0 | 3407.45/3407.43 c | 3627 | 44.7 | 1 | 275810 | 590 | 270 | 305657006 | 7178452 || 3627 | 15596380 | 2/ 0 | 1993788 | 0 | 3453.85/3453.84 c | 3671 | 46.4 | 1 | 278831 | 94 | 271 | 307799787 | 7225626 || 3671 | 15707131 | 2/ 0 | 2007584 | 0 | 3501.05/3501.02 c | 3707 | 47.2 | 1 | 280337 | 2299 | 272 | 309924939 | 7272371 || 3707 | 15819091 | 2/ 0 | 2022635 | 0 | 3544.75/3544.70 c | 3739 | 43.7 | 1 | 279831 | 1930 | 273 | 312051577 | 7323275 || 3739 | 15931532 | 2/ 0 | 2037951 | 0 | 3589.15/3589.12 c | 3782 | 44.4 | 1 | 279927 | 224 | 274 | 314169098 | 7370802 || 3782 | 16039438 | 2/ 0 | 2051638 | 0 | 3637.77/3637.74 c | 3833 | 48.6 | 1 | 277474 | 598 | 275 | 316295492 | 7420029 || 3833 | 16157377 | 2/ 0 | 2066868 | 0 | 3687.35/3687.32 c | 3836 | 49.6 | 1 | 274187 | 14189 | 276 | 318453933 | 7467511 || 3836 | 16292497 | 2/ 0 | 2090238 | 0 | 3738.56/3738.57 c | 3864 | 51.3 | 1 | 272102 | 18 | 277 | 320778894 | 7512089 || 3864 | 16367343 | 2/ 0 | 2095967 | 0 | 3786.76/3786.77 c | 3899 | 48.2 | 1 | 275493 | 3125 | 278 | 322996506 | 7558953 || 3899 | 16479712 | 2/ 0 | 2110782 | 0 | 3835.86/3835.84 c | 3960 | 49.1 | 1 | 277954 | 95 | 279 | 325142923 | 7609889 || 3960 | 16597319 | 2/ 0 | 2126109 | 0 | 3881.06/3881.05 c | 3978 | 45.2 | 1 | 276760 | 856 | 280 | 327343059 | 7654485 || 3978 | 16710502 | 2/ 0 | 2141334 | 0 | 3929.86/3929.81 c | 4026 | 48.8 | 1 | 277433 | 3251 | 281 | 329546077 | 7705432 || 4026 | 16833234 | 2/ 0 | 2158181 | 0 | 3977.36/3977.39 c | 4078 | 47.6 | 1 | 279138 | 215 | 282 | 331738445 | 7755529 || 4078 | 16941743 | 2/ 0 | 2171012 | 0 | 4025.86/4025.81 c | 4091 | 48.4 | 1 | 283231 | 7585 | 283 | 333945569 | 7808692 || 4091 | 17072004 | 2/ 0 | 2198475 | 0 | 4070.87/4070.87 c | 4092 | 45.1 | 1 | 283835 | 17190 | 284 | 336181607 | 7854362 || 4092 | 17200134 | 2/ 0 | 2224998 | 0 | 4114.09/4114.06 c | 4092 | 43.2 | 1 | 284167 | 7691 | 285 | 338160285 | 7902776 || 4092 | 17310571 | 2/ 0 | 2225862 | 0 | 4162.48/4162.42 c | 4093 | 48.4 | 1 | 285687 | 36694 | 286 | 340566023 | 7944014 || 4093 | 17469413 | 2/ 0 | 2276974 | 0 | 4215.46/4215.48 c | 4093 | 53.1 | 1 | 292661 | 29104 | 287 | 342576914 | 7997013 || 4093 | 17640413 | 2/ 0 | 2278109 | 0 | 4276.16/4276.10 c | 4093 | 60.6 | 1 | 287372 | 18194 | 288 | 345008146 | 8039195 || 4093 | 17705863 | 2/ 0 | 2278571 | 0 | 4332.77/4332.73 c | 4093 | 56.6 | 1 | 281292 | 47498 | 289 | 347763643 | 8080071 || 4093 | 17705863 | 2/ 0 | 2278571 | 0 | 4378.37/4378.34 c | 4094 | 45.6 | 1 | 281731 | 76900 | 290 | 349764998 | 8132232 || 4094 | 18021677 | 2/ 0 | 2383153 | 0 | 4428.69/4428.62 c | 4094 | 50.3 | 1 | 277469 | 29503 | 291 | 351727303 | 8185277 || 4094 | 18187698 | 2/ 0 | 2384236 | 0 | 4481.39/4481.34 c | 4094 | 52.7 | 1 | 270897 | 29602 | 292 | 353693587 | 8239789 || 4094 | 18356544 | 2/ 0 | 2385346 | 0 | 4530.27/4530.25 c | 4094 | 48.9 | 1 | 255959 | 12105 | 293 | 355923214 | 8286162 || 4094 | 18456973 | 2/ 0 | 2386004 | 0 | 4577.87/4577.87 c | 4094 | 47.6 | 1 | 256585 | 41910 | 294 | 358738354 | 8320166 || 4094 | 18456973 | 2/ 0 | 2386004 | 0 | 4623.07/4623.03 c | 4094 | 45.2 | 1 | 258191 | 71811 | 295 | 361473379 | 8354063 || 4094 | 18456973 | 2/ 0 | 2386004 | 0 | 4667.39/4667.37 c | 4094 | 44.3 | 1 | 239134 | 101815 | 296 | 364226133 | 8388211 || 4094 | 18456973 | 2/ 0 | 2386004 | 0 | 4714.98/4714.93 c | 4095 | 47.6 | 1 | 247279 | 131917 | 297 | 366359663 | 8443072 || 4095 | 18979888 | 2/ 0 | 2594176 | 0 | 4764.27/4764.22 c | 4095 | 49.3 | 1 | 254066 | 30201 | 298 | 368476375 | 8497407 || 4095 | 19160322 | 2/ 0 | 2595393 | 0 | 4820.78/4820.78 c | 4095 | 56.6 | 1 | 257054 | 30301 | 299 | 370636005 | 8551959 || 4095 | 19336257 | 2/ 0 | 2596499 | 0 | 4883.78/4883.72 c | 4095 | 62.9 | 1 | 249603 | 30401 | 300 | 372736161 | 8604294 || 4095 | 19516286 | 2/ 0 | 2597629 | 0 | 4948.28/4948.21 c | 4095 | 64.5 | 1 | 242441 | 30503 | 301 | 374822968 | 8656925 || 4095 | 19701651 | 2/ 0 | 2598792 | 0 | 4996.48/4996.40 c | 4095 | 48.2 | 1 | 227595 | 30603 | 302 | 376788163 | 8710245 || 4095 | 19878796 | 2/ 0 | 2599934 | 0 | 5000.10/5000.02 c | 4095 | 3.6 | 1 | 230149 | 2554 | 302 | 376941825 | 8714500 || 4095 | 19892414 | 2/ 0 | 2600025 | 0 | 5000.10/5000.02 c c 5000.10/5000.02 c ----------------------------------- 5000.10/5000.02 c # temps = 5000.050000 5000.10/5000.02 c # cleaningDB = 302 5000.10/5000.02 c # clause binaire = 2710 5000.10/5000.02 c # literal removed by litRedundant = 88536940 5000.10/5000.02 c # literal removed by litRedundantBin = 20236423 5000.10/5000.02 c # init clause removed by simplify = 21 5000.10/5000.02 c # learnt clause removed by simplify = 0 5000.10/5000.02 c # une clause fausse était une apprise = 0 5000.10/5000.02 c # equivalence dectecte = 0 5000.10/5000.02 c # Memory used : 84.00 MB 5000.10/5000.02 c 5000.10/5000.02 c ######################## 5000.10/5000.02 c #### ## ### ## #### 5000.10/5000.02 c #### #### # ## #### #### 5000.10/5000.02 c #### ## ### ## ### 5000.10/5000.02 c ######################## 5000.10/5000.02 c # restart = 4095 5000.10/5000.02 c # conflit = 4699253 5000.10/5000.02 c # decision = 8714500 5000.10/5000.02 c # propagation = 376941825 (75387.611124 (prop/sec)) 5000.10/5000.02 c 5000.10/5000.02 c ######################## 5000.10/5000.02 c ### ### # ## ## ## 5000.10/5000.02 c ### # # # #### # ### ### 5000.10/5000.02 c ### # ### ## # ### ### 5000.10/5000.02 c ######################## 5000.10/5000.02 c # numtry = 4095 5000.10/5000.02 c # numflips = 19892414 5000.10/5000.02 c # maxSat = 2 5000.10/5000.02 c # freeFlip = 4167576 5000.10/5000.02 c # nbBoundary = 0 5000.10/5000.02 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-3439570-1306934677/watcher-3439570-1306934677 -o /tmp/evaluation-result-3439570-1306934677/solver-3439570-1306934677 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439570-1306934677.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: 1.00 1.27 1.64 2/532 31941 /proc/meminfo: memFree=21855916/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 785883964 8912896 253 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/31941/statm: 2176 253 211 178 0 69 0 [startup+0.0589009 s] /proc/loadavg: 1.00 1.27 1.64 2/532 31941 /proc/meminfo: memFree=21855916/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 785883964 8912896 253 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/31941/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.107914 s] /proc/loadavg: 1.00 1.27 1.64 2/532 31941 /proc/meminfo: memFree=21855916/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+0.300911 s] /proc/loadavg: 1.00 1.27 1.64 2/532 31941 /proc/meminfo: memFree=21855916/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+0.700829 s] /proc/loadavg: 1.00 1.27 1.64 2/532 31941 /proc/meminfo: memFree=21855916/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+1.50068 s] /proc/loadavg: 1.00 1.27 1.64 3/540 31954 /proc/meminfo: memFree=21839112/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 [pid=31951] ppid=31941 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31951/stat : 31951 (esg_static.sh) S 31941 31941 30616 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 785883971 8912896 135 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/31951/statm: 2176 135 90 178 0 69 0 [pid=31952] ppid=31951 vsize=14516 CPUtime=1.43 cores=0,2,4,6 /proc/31952/stat : 31952 (sathys) R 31951 31941 30616 0 -1 4202496 2078 0 0 0 143 0 0 0 19 0 1 0 785883971 14864384 1989 33554432000 4194304 4241092 140735064057936 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/31952/statm: 3629 1989 136 12 0 2093 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 31924 [startup+3.10036 s] /proc/loadavg: 1.00 1.27 1.64 3/540 31954 /proc/meminfo: memFree=21834840/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 [pid=31951] ppid=31941 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31951/stat : 31951 (esg_static.sh) S 31941 31941 30616 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 785883971 8912896 135 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/31951/statm: 2176 135 90 178 0 69 0 [pid=31952] ppid=31951 vsize=15604 CPUtime=3.03 cores=0,2,4,6 /proc/31952/stat : 31952 (sathys) R 31951 31941 30616 0 -1 4202496 2375 0 0 0 303 0 0 0 25 0 1 0 785883971 15978496 2286 33554432000 4194304 4241092 140735064057936 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/31952/statm: 3901 2286 136 12 0 2365 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 33012 [startup+6.30083 s] /proc/loadavg: 1.24 1.31 1.66 3/540 31954 /proc/meminfo: memFree=21831480/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 [pid=31951] ppid=31941 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31951/stat : 31951 (esg_static.sh) S 31941 31941 30616 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 785883971 8912896 135 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/31951/statm: 2176 135 90 178 0 69 0 [pid=31952] ppid=31951 vsize=17024 CPUtime=6.23 cores=0,2,4,6 /proc/31952/stat : 31952 (sathys) R 31951 31941 30616 0 -1 4202496 2720 0 0 0 623 0 0 0 25 0 1 0 785883971 17432576 2631 33554432000 4194304 4241092 140735064057936 18446744073709551615 4206174 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/31952/statm: 4256 2631 136 12 0 2720 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 34432 [startup+12.7007 s] /proc/loadavg: 1.46 1.36 1.67 3/540 31954 /proc/meminfo: memFree=21826004/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 [pid=31951] ppid=31941 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31951/stat : 31951 (esg_static.sh) S 31941 31941 30616 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 785883971 8912896 135 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/31951/statm: 2176 135 90 178 0 69 0 [pid=31952] ppid=31951 vsize=18648 CPUtime=12.63 cores=0,2,4,6 /proc/31952/stat : 31952 (sathys) R 31951 31941 30616 0 -1 4202496 3136 0 0 0 1263 0 0 0 25 0 1 0 785883971 19095552 3047 33554432000 4194304 4241092 140735064057936 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/31952/statm: 4662 3047 136 12 0 3126 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 36056 [startup+25.5004 s] /proc/loadavg: 1.58 1.39 1.67 3/540 31957 /proc/meminfo: memFree=21821812/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 [pid=31951] ppid=31941 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31951/stat : 31951 (esg_static.sh) S 31941 31941 30616 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 785883971 8912896 135 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/31951/statm: 2176 135 90 178 0 69 0 [pid=31952] ppid=31951 vsize=20904 CPUtime=25.43 cores=0,2,4,6 /proc/31952/stat : 31952 (sathys) R 31951 31941 30616 0 -1 4202496 3688 0 0 0 2543 0 0 0 25 0 1 0 785883971 21405696 3599 33554432000 4194304 4241092 140735064057936 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/31952/statm: 5226 3599 136 12 0 3690 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38312 [startup+51.1008 s] /proc/loadavg: 1.72 1.44 1.68 3/540 31958 /proc/meminfo: memFree=21814576/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 [pid=31951] ppid=31941 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31951/stat : 31951 (esg_static.sh) S 31941 31941 30616 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 785883971 8912896 135 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/31951/statm: 2176 135 90 178 0 69 0 [pid=31952] ppid=31951 vsize=24268 CPUtime=51.03 cores=0,2,4,6 /proc/31952/stat : 31952 (sathys) R 31951 31941 30616 0 -1 4202496 4544 0 0 0 5103 0 0 0 25 0 1 0 785883971 24850432 4438 33554432000 4194304 4241092 140735064057936 18446744073709551615 4223656 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/31952/statm: 6067 4438 136 12 0 4531 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 41676 [startup+102.321 s] /proc/loadavg: 1.88 1.52 1.69 3/540 31960 /proc/meminfo: memFree=21804692/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 [pid=31951] ppid=31941 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31951/stat : 31951 (esg_static.sh) S 31941 31941 30616 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 785883971 8912896 135 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/31951/statm: 2176 135 90 178 0 69 0 [pid=31952] ppid=31951 vsize=28116 CPUtime=102.24 cores=0,2,4,6 /proc/31952/stat : 31952 (sathys) R 31951 31941 30616 0 -1 4202496 5526 0 0 0 10224 0 0 0 25 0 1 0 785883971 28790784 5389 33554432000 4194304 4241092 140735064057936 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/31952/statm: 7029 5389 136 12 0 5493 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 45524 [startup+162.301 s] /proc/loadavg: 1.95 1.60 1.71 3/540 31961 /proc/meminfo: memFree=21796804/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 [pid=31951] ppid=31941 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31951/stat : 31951 (esg_static.sh) S 31941 31941 30616 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 785883971 8912896 135 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/31951/statm: 2176 135 90 178 0 69 0 [pid=31952] ppid=31951 vsize=31492 CPUtime=162.23 cores=0,2,4,6 /proc/31952/stat : 31952 (sathys) R 31951 31941 30616 0 -1 4202496 6473 0 0 0 16222 1 0 0 25 0 1 0 785883971 32247808 6249 33554432000 4194304 4241092 140735064057936 18446744073709551615 4223700 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/31952/statm: 7873 6249 136 12 0 6337 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 48900 [startup+222.301 s] /proc/loadavg: 1.98 1.67 1.73 3/540 31963 /proc/meminfo: memFree=21792644/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 [pid=31951] ppid=31941 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31951/stat : 31951 (esg_static.sh) S 31941 31941 30616 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 785883971 8912896 135 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/31951/statm: 2176 135 90 178 0 69 0 [pid=31952] ppid=31951 vsize=34000 CPUtime=222.23 cores=0,2,4,6 /proc/31952/stat : 31952 (sathys) R 31951 31941 30616 0 -1 4202496 7190 0 0 0 22222 1 0 0 25 0 1 0 785883971 34816000 6884 33554432000 4194304 4241092 140735064057936 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/31952/statm: 8500 6884 136 12 0 6964 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 51408 [startup+282.3 s] ################ # More data... # ################ /proc/meminfo: memFree=21690300/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 [pid=31951] ppid=31941 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31951/stat : 31951 (esg_static.sh) S 31941 31941 30616 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 785883971 8912896 135 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/31951/statm: 2176 135 90 178 0 69 0 [pid=31952] ppid=31951 vsize=83788 CPUtime=4482.32 cores=0,2,4,6 /proc/31952/stat : 31952 (sathys) R 31951 31941 30616 0 -1 4202496 24263 0 0 0 448220 12 0 0 25 0 1 0 785883971 85798912 19343 33554432000 4194304 4241092 140735064057936 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/31952/statm: 20947 19343 136 12 0 19411 0 Current children cumulated CPU time (s) 4482.37 Current children cumulated vsize (KiB) 101196 [startup+4542.3 s] /proc/loadavg: 2.08 2.07 2.02 3/540 32104 /proc/meminfo: memFree=21689624/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 [pid=31951] ppid=31941 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31951/stat : 31951 (esg_static.sh) S 31941 31941 30616 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 785883971 8912896 135 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/31951/statm: 2176 135 90 178 0 69 0 [pid=31952] ppid=31951 vsize=83956 CPUtime=4542.32 cores=0,2,4,6 /proc/31952/stat : 31952 (sathys) R 31951 31941 30616 0 -1 4202496 24408 0 0 0 454220 12 0 0 25 0 1 0 785883971 85970944 19358 33554432000 4194304 4241092 140735064057936 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/31952/statm: 20989 19358 136 12 0 19453 0 Current children cumulated CPU time (s) 4542.37 Current children cumulated vsize (KiB) 101364 [startup+4602.3 s] /proc/loadavg: 2.03 2.06 2.01 3/540 32107 /proc/meminfo: memFree=21688692/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 [pid=31951] ppid=31941 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31951/stat : 31951 (esg_static.sh) S 31941 31941 30616 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 785883971 8912896 135 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/31951/statm: 2176 135 90 178 0 69 0 [pid=31952] ppid=31951 vsize=84376 CPUtime=4602.34 cores=0,2,4,6 /proc/31952/stat : 31952 (sathys) R 31951 31941 30616 0 -1 4202496 24576 0 0 0 460222 12 0 0 25 0 1 0 785883971 86401024 19480 33554432000 4194304 4241092 140735064057936 18446744073709551615 4223728 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/31952/statm: 21094 19480 136 12 0 19558 0 Current children cumulated CPU time (s) 4602.39 Current children cumulated vsize (KiB) 101784 [startup+4662.3 s] /proc/loadavg: 2.01 2.04 2.00 3/540 32108 /proc/meminfo: memFree=21685032/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 [pid=31951] ppid=31941 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31951/stat : 31951 (esg_static.sh) S 31941 31941 30616 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 785883971 8912896 135 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/31951/statm: 2176 135 90 178 0 69 0 [pid=31952] ppid=31951 vsize=85036 CPUtime=4662.32 cores=0,2,4,6 /proc/31952/stat : 31952 (sathys) R 31951 31941 30616 0 -1 4202496 24782 0 0 0 466220 12 0 0 25 0 1 0 785883971 87076864 19647 33554432000 4194304 4241092 140735064057936 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/31952/statm: 21259 19647 136 12 0 19723 0 Current children cumulated CPU time (s) 4662.37 Current children cumulated vsize (KiB) 102444 [startup+4722.32 s] /proc/loadavg: 2.00 2.03 2.00 3/540 32110 /proc/meminfo: memFree=21684128/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 [pid=31951] ppid=31941 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31951/stat : 31951 (esg_static.sh) S 31941 31941 30616 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 785883971 8912896 135 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/31951/statm: 2176 135 90 178 0 69 0 [pid=31952] ppid=31951 vsize=84928 CPUtime=4722.35 cores=0,2,4,6 /proc/31952/stat : 31952 (sathys) R 31951 31941 30616 0 -1 4202496 24870 0 0 0 472223 12 0 0 25 0 1 0 785883971 86966272 19624 33554432000 4194304 4241092 140735064057936 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/31952/statm: 21232 19624 136 12 0 19696 0 Current children cumulated CPU time (s) 4722.4 Current children cumulated vsize (KiB) 102336 [startup+4782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/540 32111 /proc/meminfo: memFree=21684088/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 [pid=31951] ppid=31941 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31951/stat : 31951 (esg_static.sh) S 31941 31941 30616 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 785883971 8912896 135 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/31951/statm: 2176 135 90 178 0 69 0 [pid=31952] ppid=31951 vsize=85024 CPUtime=4782.32 cores=0,2,4,6 /proc/31952/stat : 31952 (sathys) R 31951 31941 30616 0 -1 4202496 24919 0 0 0 478220 12 0 0 25 0 1 0 785883971 87064576 19644 33554432000 4194304 4241092 140735064057936 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/31952/statm: 21256 19644 136 12 0 19720 0 Current children cumulated CPU time (s) 4782.37 Current children cumulated vsize (KiB) 102432 [startup+4842.3 s] /proc/loadavg: 2.00 2.02 2.00 3/540 32113 /proc/meminfo: memFree=21683412/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 [pid=31951] ppid=31941 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31951/stat : 31951 (esg_static.sh) S 31941 31941 30616 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 785883971 8912896 135 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/31951/statm: 2176 135 90 178 0 69 0 [pid=31952] ppid=31951 vsize=85348 CPUtime=4842.32 cores=0,2,4,6 /proc/31952/stat : 31952 (sathys) R 31951 31941 30616 0 -1 4202496 25033 0 0 0 484220 12 0 0 25 0 1 0 785883971 87396352 19715 33554432000 4194304 4241092 140735064057936 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/31952/statm: 21337 19715 136 12 0 19801 0 Current children cumulated CPU time (s) 4842.37 Current children cumulated vsize (KiB) 102756 [startup+4902.3 s] /proc/loadavg: 2.00 2.01 2.00 3/540 32115 /proc/meminfo: memFree=21683364/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 [pid=31951] ppid=31941 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31951/stat : 31951 (esg_static.sh) S 31941 31941 30616 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 785883971 8912896 135 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/31951/statm: 2176 135 90 178 0 69 0 [pid=31952] ppid=31951 vsize=85636 CPUtime=4902.33 cores=0,2,4,6 /proc/31952/stat : 31952 (sathys) R 31951 31941 30616 0 -1 4202496 25182 0 0 0 490221 12 0 0 25 0 1 0 785883971 87691264 19799 33554432000 4194304 4241092 140735064057936 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/31952/statm: 21409 19799 136 12 0 19873 0 Current children cumulated CPU time (s) 4902.38 Current children cumulated vsize (KiB) 103044 [startup+4962.3 s] /proc/loadavg: 2.06 2.02 2.00 3/540 32116 /proc/meminfo: memFree=21683560/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 [pid=31951] ppid=31941 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31951/stat : 31951 (esg_static.sh) S 31941 31941 30616 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 785883971 8912896 135 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/31951/statm: 2176 135 90 178 0 69 0 [pid=31952] ppid=31951 vsize=86172 CPUtime=4962.33 cores=0,2,4,6 /proc/31952/stat : 31952 (sathys) R 31951 31941 30616 0 -1 4202496 25356 0 0 0 496220 13 0 0 25 0 1 0 785883971 88240128 19914 33554432000 4194304 4241092 140735064057936 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/31952/statm: 21543 19914 136 12 0 20007 0 Current children cumulated CPU time (s) 4962.38 Current children cumulated vsize (KiB) 103580 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 2.25 2.07 2.02 3/540 32117 /proc/meminfo: memFree=21683132/32951124 swapFree=50328308/67111528 [pid=31941] ppid=31939 vsize=8704 CPUtime=0.05 cores=0,2,4,6 /proc/31941/stat : 31941 (esg_static.sh) S 31939 31941 30616 0 -1 4202496 349 766 0 0 0 0 5 0 23 0 1 0 785883964 8912896 256 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039655168 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/31941/statm: 2176 256 211 178 0 69 0 [pid=31951] ppid=31941 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/31951/stat : 31951 (esg_static.sh) S 31941 31941 30616 0 -1 4202560 131 0 0 0 0 0 0 0 23 0 1 0 785883971 8912896 135 33554432000 4194304 4922060 140733885750992 18446744073709551615 212039474309 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/31951/statm: 2176 135 90 178 0 69 0 [pid=31952] ppid=31951 vsize=86012 CPUtime=5000.05 cores=0,2,4,6 /proc/31952/stat : 31952 (sathys) R 31951 31941 30616 0 -1 4202496 25413 0 0 0 499992 13 0 0 25 0 1 0 785883971 88076288 19894 33554432000 4194304 4241092 140735064057936 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/31952/statm: 21503 19894 136 12 0 19967 0 Current children cumulated CPU time (s) 5000.1 Current children cumulated vsize (KiB) 103420 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 31941 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=61990 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=3999 # CPU time returned by wait4() is 0.065989 # while last known CPU time is 5000.1 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 5000.03 CPU time (s): 5000.1 CPU user time (s): 4999.97 CPU system time (s): 0.13 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 103740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.06199 system time used= 0.003999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1281 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= 37 involuntary context switches= 8 runsolver used 28.7646 second user time and 62.1086 second system time The end
Begin job on node146 at 2011-06-01 15:24:37 IDJOB=3439570 IDBENCH=85802 IDSOLVER=1935 FILE ID=node146/3439570-1306934677 RUNJOBID= node146-1306934677-31927 PBS_JOBID= 13488479 Free space on /tmp= 73680 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn006.shuffled-as.sat05-3846.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439570-1306934677/watcher-3439570-1306934677 -o /tmp/evaluation-result-3439570-1306934677/solver-3439570-1306934677 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439570-1306934677.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f38a91a0947f21d9ceeb8762ba4c5f93 RANDOM SEED=119842447 node146.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.830 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.66 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.830 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.830 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.830 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.86 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.830 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.830 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.830 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.830 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: 21856204 kB Buffers: 143824 kB Cached: 214192 kB SwapCached: 9256 kB Active: 10570224 kB Inactive: 229628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21856204 kB SwapTotal: 67111528 kB SwapFree: 50328308 kB Dirty: 1948 kB Writeback: 0 kB AnonPages: 10439288 kB Mapped: 27616 kB Slab: 126144 kB PageTables: 97860 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 160672564 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= 73676 MiB End job on node146 at 2011-06-01 16:47:59