| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K108.opb |
| MD5SUM | a293d07a49a0e06ee574b1553fbf5b2b |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 251.47 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7344 |
| Total number of constraints | 7562 |
| Number of constraints which are clauses | 7454 |
| Number of constraints which are cardinality constraints (but not clauses) | 108 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 108 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 109 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-07T09:10:35+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078929-1465283435.opb"] 0.00/0.01 c use --random-gen="495586963 2666396479 446131625 4270570726 491968442 3412860825 2221393447 2145717449 3367787889 1049323617 3642549182 2659021180 194652107 1059157566 1954561869 3399384961 3604400361 2370262504 2134230512 323664854 3775091812 2005677258 38769336 775032445 4052985321 1503194150 59661383 3859431800 64885133 598763439 2348846220 1650606738 3417144433 3233187864 887963707 1312454332 1541154645 3054047795 1621167138 4066360330 4129080478 1373901553 2685778500 937936306 2703785403 2344590509 170781465 4215463414 66488005 1548760765 4105985934 2589144646 2485030678 497043317 4196465922 2135592389 1801535845 1533801203 1471202634 3354054215 1925106537 276536681 838732988 4210668850 56711233 3562528744 3423220427 97909574 2338359069 1668391481 75898975 2613270744 2647366131 4254190825 2747420080 4266139103 4178726806 1230429602 846922732 1736051060 3846000951 1546077434 1592241149 3063920650 1570706418 3117083275 3546945663 3892215314 119271068 697317952 3313665263 4227366216 1144033360 1461857485 3923167284 475140372 1566621331 652184262 4138049840 4205842490 2827355041 2129112744 3645296575 1435468878 185066914 2949392608 1996469272 2849822046 256654895 3327502907 2399760321 837293217 3956932208 3340730885 3580584401 3158331311 1223680330 3428197917 433092848 2000968550 2107605458 2154302941 3105860364 1575806970 4293626502 3524655329 1052584460 1495765959 1756119702 757246083 1383191622 344574271 3057364941 2005315272 2922743556 2643110631 4028078890 4047924913 2546481963 1854564935 658483188 1978735087 2542879230 1862229190 241256207 573358275 1451845178 2667060039 253674563 1462681842 1665225028 1965207502 1868724858 1454422533 3424501151 525811546 1893814317 1280153832 159450662 1438405165 2196966969 1033325894 2615424583 1460166838 3432466161 1656509634 686417097 4178270937 4100677776 2327360106 187634130 3933322532 1025388285 4239145555 3137479997 3062787968 851343622 1772809263 1169652739 3274506863 1148303386 533133330 918284942 4067458071 451584323 4239940675 3202663287 1880684910 1901359064 4158792404 2816030316 4084056417 3296262133 1153825384 1394097256 1937812114 1561467827 101475700 3193995771 3895064789 3190125788 49461467 2490138328 3410054147 3734845706 1396722324 2905493445 3277316695 2181665645 36422251 1476286178 1156649169 2588075825 756741322 897951393 4062969787 2156710195 1970230861 3037196572 3541653695 2634791018 1261902022 789920810 140558558 4257301977 242518745 600553669 2434014433 1422711205 3845520365 3755977183 4053042365 1035767526 1704016837 1730834754 1486102967 3659953499 782625770 505040138 131184413 1944860565 4273224843 1239558402 3079102936 1542817481 2661584263 2727621374 1769398700 3306410093 1072922296 3103040387 1168112242 1096237981 1863346349 224320484 3598511040 255 362436" option to reproduce the execution 0.09/0.12 c #vars 7344 0.09/0.12 c #constraints 7562 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 4968 0 | 362 | 0 0.39/0.44 c 0.2s | 1 | 9857 | 100 | 4968 0 | 363 | 304 0.68/0.72 c 0.5s | 2 | 10794 | 250 | 5465 0 | 363 | 304 0.88/0.95 c 0.7s | 3 | 13828 | 475 | 6012 0 | 363 | 304 1.29/1.38 c 1.1s | 4 | 21230 | 813 | 6614 0 | 364 | 305 1.98/2.04 c 1.8s | 5 | 32668 | 1320 | 7276 0 | 364 | 305 2.88/2.98 c 2.7s | 6 | 54545 | 2081 | 8805 0 | 368 | 309 4.59/4.63 c 4.4s | 7 | 80480 | 3223 | 9686 0 | 371 | 312 6.58/6.62 c 6.4s | 8 | 119328 | 4936 | 10655 0 | 373 | 314 8.58/8.65 c 8.4s | 8 | 124336 | 6036 | 10655 0 | 373 | 314 10.79/10.84 c 10.6s | 8 | 127017 | 6936 | 10655 0 | 373 | 314 12.69/12.72 c 12.5s | 9 | 128573 | 7506 | 11721 0 | 373 | 314 14.69/14.74 c 14.5s | 9 | 154245 | 8906 | 11721 0 | 373 | 314 16.79/16.82 c 16.6s | 9 | 160132 | 9806 | 11721 0 | 373 | 314 18.90/18.94 c 18.7s | 9 | 166317 | 10806 | 11721 0 | 373 | 314 19.79/19.88 c 19.6s | 10 | 169278 | 11361 | 12894 0 | 373 | 314 21.89/21.92 c 21.7s | 10 | 177065 | 12361 | 12894 0 | 373 | 314 23.89/23.94 c 23.7s | 10 | 200872 | 13561 | 12894 0 | 373 | 314 25.89/25.96 c 25.7s | 10 | 211182 | 14561 | 12894 1 | 374 | 315 27.99/28.07 c 27.8s | 10 | 235335 | 15861 | 12894 1 | 375 | 316 30.09/30.12 c 29.8s | 11 | 254610 | 17144 | 14184 1 | 375 | 316 32.29/32.30 c 32.0s | 11 | 270788 | 18344 | 14184 1 | 376 | 317 34.49/34.51 c 34.2s | 11 | 296559 | 19644 | 14184 1 | 376 | 317 36.59/36.65 c 36.4s | 11 | 320776 | 20744 | 14184 1 | 377 | 318 38.69/38.71 c 38.4s | 11 | 337653 | 21944 | 14184 1 | 377 | 318 40.68/40.73 c 40.5s | 11 | 354317 | 22944 | 14184 2 | 378 | 319 42.78/42.80 c 42.5s | 11 | 376425 | 24244 | 14184 2 | 379 | 320 44.78/44.83 c 44.6s | 11 | 385014 | 25144 | 14184 2 | 379 | 320 46.08/46.12 c 45.9s | 12 | 394348 | 25819 | 15603 2 | 380 | 321 48.28/48.34 c 48.1s | 12 | 419608 | 27219 | 15603 2 | 380 | 321 50.38/50.49 c 50.2s | 12 | 423407 | 28119 | 15603 2 | 380 | 321 52.48/52.50 c 52.2s | 12 | 426074 | 28819 | 15603 2 | 380 | 321 54.88/54.90 c 54.6s | 12 | 427783 | 29519 | 15603 2 | 380 | 321 56.88/56.92 c 56.6s | 12 | 429096 | 30019 | 15603 2 | 380 | 321 59.28/59.37 c 59.1s | 12 | 430201 | 30519 | 15603 2 | 380 | 321 61.88/61.99 c 61.7s | 12 | 432980 | 30919 | 15603 3 | 381 | 322 63.88/64.00 c 63.7s | 12 | 457540 | 32119 | 15603 3 | 381 | 322 65.98/66.08 c 65.8s | 12 | 484581 | 33319 | 15603 3 | 382 | 323 68.07/68.17 c 67.9s | 12 | 505795 | 34419 | 15603 3 | 382 | 323 70.17/70.22 c 70.0s | 12 | 534320 | 35519 | 15603 3 | 383 | 324 72.17/72.24 c 72.0s | 12 | 559743 | 36719 | 15603 3 | 383 | 324 74.27/74.38 c 74.1s | 12 | 574950 | 37719 | 15603 3 | 384 | 325 76.08/76.13 c 75.9s | 13 | 588875 | 38832 | 17164 3 | 384 | 325 78.07/78.20 c 77.9s | 13 | 606608 | 39832 | 17164 3 | 384 | 325 80.38/80.43 c 80.2s | 13 | 616032 | 40932 | 17164 3 | 384 | 325 82.47/82.55 c 82.3s | 13 | 623862 | 41732 | 17164 3 | 384 | 325 84.57/84.60 c 84.3s | 13 | 637504 | 42832 | 17164 4 | 384 | 325 86.58/86.63 c 86.4s | 13 | 652416 | 43732 | 17164 4 | 385 | 326 88.58/88.69 c 88.4s | 13 | 677756 | 44832 | 17164 4 | 386 | 327 90.78/90.86 c 90.6s | 13 | 691266 | 46032 | 17164 4 | 386 | 327 92.78/92.87 c 92.6s | 13 | 709329 | 47332 | 17164 4 | 386 | 327 94.88/94.96 c 94.7s | 13 | 723333 | 48632 | 17164 4 | 386 | 327 96.98/97.03 c 96.8s | 13 | 745374 | 49832 | 17164 4 | 386 | 327 99.08/99.12 c 98.9s | 13 | 763300 | 50932 | 17164 5 | 386 | 327 101.08/101.14 c 100s | 13 | 792194 | 52332 | 17164 5 | 386 | 327 103.18/103.26 c 102s | 13 | 807166 | 53532 | 17164 5 | 386 | 327 105.28/105.30 c 105s | 13 | 828102 | 54732 | 17164 5 | 387 | 328 107.27/107.33 c 107s | 13 | 847699 | 55932 | 17164 5 | 387 | 328 109.37/109.47 c 109s | 13 | 873600 | 57132 | 17164 5 | 387 | 328 111.38/111.49 c 111s | 13 | 888736 | 58332 | 18881 5 | 387 | 328 111.47/111.55 c 111s | 14 | 888779 | 58352 | 18881 5 | 387 | 328 113.48/113.56 c 113s | 14 | 899756 | 59352 | 18881 5 | 387 | 328 115.47/115.60 c 115s | 14 | 917639 | 60452 | 18881 5 | 388 | 329 117.78/117.84 c 117s | 14 | 936689 | 61552 | 18881 6 | 388 | 329 119.87/119.92 c 119s | 14 | 955933 | 62952 | 18881 6 | 388 | 329 121.97/122.09 c 121s | 14 | 978099 | 64052 | 18881 6 | 388 | 329 123.97/124.09 c 123s | 14 | 986166 | 65352 | 18881 6 | 388 | 329 126.07/126.14 c 125s | 14 | 1006783 | 66752 | 18881 6 | 388 | 329 128.17/128.26 c 127s | 14 | 1028383 | 67952 | 18881 6 | 388 | 329 130.27/130.30 c 130s | 14 | 1048313 | 69052 | 18881 6 | 388 | 329 132.27/132.33 c 132s | 14 | 1064737 | 70152 | 18881 6 | 388 | 329 134.38/134.41 c 134s | 14 | 1083193 | 71352 | 18881 6 | 388 | 329 136.37/136.50 c 136s | 14 | 1101632 | 72552 | 18881 7 | 388 | 329 138.47/138.53 c 138s | 14 | 1115950 | 73952 | 18881 7 | 388 | 329 140.47/140.58 c 140s | 14 | 1130719 | 74952 | 18881 7 | 389 | 330 142.67/142.74 c 142s | 14 | 1143253 | 75952 | 18881 7 | 389 | 330 144.77/144.82 c 144s | 14 | 1144718 | 76552 | 18881 7 | 389 | 330 147.17/147.26 c 146s | 14 | 1145671 | 76952 | 18881 7 | 389 | 330 149.17/149.29 c 149s | 14 | 1157943 | 77852 | 18881 7 | 389 | 330 151.47/151.54 c 151s | 14 | 1169984 | 78852 | 18881 7 | 389 | 330 153.77/153.80 c 153s | 14 | 1182189 | 79852 | 18881 7 | 389 | 330 155.87/155.91 c 155s | 14 | 1196194 | 80952 | 18881 7 | 389 | 330 157.97/158.02 c 157s | 14 | 1216469 | 82152 | 18881 8 | 389 | 330 160.06/160.12 c 159s | 14 | 1231690 | 83652 | 18881 8 | 389 | 330 162.26/162.37 c 162s | 14 | 1249384 | 85052 | 18881 8 | 389 | 330 164.46/164.54 c 164s | 14 | 1253512 | 85752 | 18881 8 | 389 | 330 166.56/166.68 c 166s | 14 | 1276931 | 86952 | 18881 8 | 389 | 330 167.86/167.96 c 167s | 15 | 1282133 | 87632 | 20770 8 | 389 | 330 170.06/170.19 c 169s | 15 | 1295862 | 88732 | 20770 8 | 389 | 330 172.46/172.55 c 172s | 15 | 1297594 | 89332 | 20770 8 | 389 | 330 174.56/174.64 c 174s | 15 | 1302210 | 90132 | 20770 8 | 389 | 330 176.66/176.70 c 176s | 15 | 1306481 | 91132 | 20770 8 | 389 | 330 179.06/179.12 c 178s | 15 | 1308872 | 91832 | 20770 8 | 389 | 330 181.06/181.13 c 180s | 15 | 1310869 | 92532 | 20770 8 | 389 | 330 183.06/183.16 c 182s | 15 | 1312731 | 93032 | 20770 8 | 389 | 330 185.16/185.20 c 184s | 15 | 1314395 | 93632 | 20770 8 | 389 | 330 187.46/187.52 c 187s | 15 | 1316027 | 94132 | 20770 8 | 389 | 330 189.76/189.87 c 189s | 15 | 1317547 | 94632 | 20770 8 | 389 | 330 191.86/191.93 c 191s | 15 | 1328543 | 95732 | 20770 9 | 389 | 330 194.06/194.16 c 193s | 15 | 1343101 | 96932 | 20770 9 | 389 | 330 196.16/196.20 c 195s | 15 | 1345026 | 97632 | 20770 9 | 389 | 330 198.17/198.26 c 197s | 15 | 1350815 | 98332 | 20770 9 | 390 | 331 200.37/200.48 c 200s | 15 | 1357447 | 99732 | 20770 9 | 390 | 331 202.46/202.54 c 202s | 15 | 1362438 | 100632 | 20770 9 | 390 | 331 204.55/204.61 c 204s | 15 | 1365934 | 101432 | 20770 9 | 390 | 331 206.86/206.95 c 206s | 15 | 1368087 | 102132 | 20770 9 | 390 | 331 209.06/209.13 c 208s | 15 | 1375834 | 103132 | 20770 9 | 390 | 331 211.05/211.15 c 210s | 15 | 1390901 | 104232 | 20770 9 | 390 | 331 213.35/213.41 c 213s | 15 | 1411386 | 105332 | 20770 10 | 390 | 331 215.46/215.60 c 215s | 15 | 1419695 | 106532 | 20770 10 | 390 | 331 217.56/217.63 c 217s | 15 | 1429681 | 107432 | 20770 10 | 390 | 331 219.56/219.64 c 219s | 15 | 1455422 | 108532 | 20770 10 | 392 | 333 221.66/221.72 c 221s | 15 | 1481165 | 109632 | 20770 10 | 392 | 333 223.86/223.96 c 223s | 15 | 1490797 | 110832 | 20770 10 | 392 | 333 226.05/226.14 c 225s | 15 | 1492780 | 111432 | 20770 10 | 392 | 333 228.15/228.23 c 227s | 15 | 1502169 | 112432 | 20770 10 | 392 | 333 230.15/230.25 c 229s | 15 | 1512382 | 113532 | 20770 10 | 392 | 333 232.16/232.29 c 232s | 15 | 1533105 | 114732 | 20770 10 | 392 | 333 234.25/234.37 c 234s | 15 | 1555834 | 115932 | 20770 10 | 392 | 333 236.35/236.47 c 236s | 15 | 1579844 | 116932 | 20770 11 | 392 | 333 238.65/238.77 c 238s | 15 | 1591316 | 118232 | 20770 11 | 392 | 333 240.96/241.04 c 240s | 15 | 1594190 | 118832 | 20770 11 | 392 | 333 242.95/243.07 c 242s | 15 | 1602468 | 119632 | 20770 11 | 392 | 333 245.05/245.12 c 244s | 15 | 1627995 | 121032 | 20770 11 | 392 | 333 247.35/247.40 c 247s | 15 | 1633012 | 121832 | 20770 11 | 392 | 333 249.45/249.50 c 249s | 15 | 1636608 | 122732 | 20770 11 | 392 | 333 251.45/251.51 c 251s | 15 | 1638653 | 123432 | 20770 11 | 392 | 333 254.15/254.22 c 253s | 15 | 1640545 | 123932 | 20770 11 | 392 | 333 256.65/256.78 c 256s | 15 | 1641760 | 124332 | 20770 11 | 392 | 333 258.95/259.07 c 258s | 15 | 1642815 | 124732 | 20770 11 | 392 | 333 261.45/261.55 c 261s | 15 | 1644151 | 125232 | 20770 11 | 392 | 333 263.55/263.64 c 263s | 15 | 1649255 | 125732 | 20770 11 | 392 | 333 265.75/265.81 c 265s | 15 | 1651883 | 126332 | 20770 11 | 392 | 333 267.95/268.08 c 267s | 15 | 1656141 | 126932 | 20770 11 | 392 | 333 270.05/270.11 c 269s | 15 | 1661588 | 127732 | 20770 11 | 392 | 333 272.15/272.26 c 271s | 15 | 1666469 | 128432 | 20770 11 | 392 | 333 274.44/274.59 c 274s | 15 | 1675739 | 129232 | 20770 12 | 392 | 333 276.65/276.74 c 276s | 15 | 1680426 | 130032 | 20770 12 | 392 | 333 278.65/278.76 c 278s | 15 | 1682096 | 130632 | 20770 12 | 392 | 333 281.15/281.20 c 280s | 15 | 1683420 | 131132 | 22848 12 | 392 | 333 283.14/283.22 c 282s | 15 | 1686125 | 131532 | 22848 12 | 392 | 333 283.14/283.29 c 283s | 16 | 1686139 | 131552 | 22848 12 | 392 | 333 285.24/285.39 c 285s | 16 | 1711882 | 132852 | 22848 12 | 392 | 333 287.34/287.45 c 287s | 16 | 1722878 | 133952 | 22848 12 | 392 | 333 289.35/289.49 c 289s | 16 | 1740671 | 135152 | 22848 12 | 392 | 333 291.44/291.52 c 291s | 16 | 1760074 | 136452 | 22848 12 | 392 | 333 293.44/293.54 c 293s | 16 | 1772667 | 137452 | 22848 12 | 392 | 333 295.64/295.79 c 295s | 16 | 1786950 | 138752 | 22848 12 | 392 | 333 297.74/297.82 c 297s | 16 | 1808761 | 139852 | 22848 12 | 392 | 333 300.25/300.40 c 300s | 16 | 1830172 | 140952 | 22848 13 | 393 | 334 302.35/302.42 c 302s | 16 | 1847917 | 142152 | 22848 13 | 394 | 335 304.45/304.55 c 304s | 16 | 1881226 | 143352 | 22848 13 | 395 | 336 306.75/306.82 c 306s | 16 | 1890137 | 144352 | 22848 13 | 395 | 336 308.74/308.88 c 308s | 16 | 1916972 | 145452 | 22848 13 | 395 | 336 310.84/310.93 c 310s | 16 | 1935444 | 146452 | 22848 13 | 395 | 336 312.94/313.06 c 312s | 16 | 1952418 | 147552 | 22848 13 | 395 | 336 315.14/315.25 c 314s | 16 | 1978219 | 148652 | 22848 13 | 395 | 336 317.24/317.39 c 317s | 16 | 1992830 | 149852 | 22848 13 | 395 | 336 319.64/319.75 c 319s | 16 | 1995094 | 150652 | 22848 13 | 395 | 336 321.74/321.80 c 321s | 16 | 2000505 | 151452 | 22848 13 | 395 | 336 323.84/323.93 c 323s | 16 | 2009635 | 152352 | 22848 13 | 395 | 336 325.94/326.04 c 325s | 16 | 2025906 | 153552 | 22848 13 | 395 | 336 327.95/328.08 c 327s | 16 | 2049501 | 154452 | 22848 14 | 395 | 336 330.04/330.12 c 329s | 16 | 2069622 | 155752 | 22848 14 | 395 | 336 332.04/332.17 c 331s | 16 | 2076734 | 156552 | 22848 14 | 395 | 336 334.04/334.17 c 333s | 16 | 2098280 | 158052 | 22848 14 | 395 | 336 336.03/336.19 c 335s | 16 | 2123634 | 159252 | 22848 14 | 395 | 336 338.13/338.27 c 338s | 16 | 2150292 | 160652 | 22848 14 | 395 | 336 340.33/340.43 c 340s | 16 | 2172700 | 161852 | 22848 14 | 395 | 336 342.34/342.49 c 342s | 16 | 2188061 | 163052 | 22848 14 | 395 | 336 344.44/344.59 c 344s | 16 | 2201108 | 164052 | 22848 14 | 395 | 336 346.64/346.72 c 346s | 16 | 2212886 | 165152 | 22848 14 | 395 | 336 348.63/348.73 c 348s | 16 | 2221507 | 165952 | 22848 15 | 395 | 336 350.73/350.85 c 350s | 16 | 2244475 | 167452 | 22848 15 | 395 | 336 352.93/353.00 c 352s | 16 | 2253670 | 168752 | 22848 15 | 395 | 336 354.93/355.05 c 354s | 16 | 2255651 | 169352 | 22848 15 | 395 | 336 356.93/357.09 c 356s | 16 | 2256699 | 169752 | 22848 15 | 395 | 336 359.13/359.28 c 359s | 16 | 2258755 | 170452 | 22848 15 | 395 | 336 361.23/361.38 c 361s | 16 | 2261179 | 171152 | 22848 15 | 395 | 336 363.54/363.61 c 363s | 16 | 2263686 | 171852 | 22848 15 | 395 | 336 365.54/365.63 c 365s | 16 | 2279089 | 172752 | 22848 15 | 395 | 336 367.64/367.79 c 367s | 16 | 2288783 | 173652 | 22848 15 | 395 | 336 369.74/369.82 c 369s | 16 | 2300244 | 174652 | 22848 15 | 395 | 336 371.73/371.84 c 371s | 16 | 2309295 | 175752 | 22848 15 | 395 | 336 373.83/373.94 c 373s | 16 | 2315978 | 176752 | 22848 15 | 395 | 336 376.03/376.16 c 375s | 16 | 2327941 | 177952 | 22848 16 | 395 | 336 378.13/378.27 c 378s | 16 | 2353603 | 179352 | 22848 16 | 395 | 336 380.23/380.39 c 380s | 16 | 2381072 | 180852 | 22848 16 | 395 | 336 382.33/382.44 c 382s | 16 | 2396127 | 182052 | 22848 16 | 395 | 336 384.43/384.53 c 384s | 16 | 2418782 | 183452 | 22848 16 | 395 | 336 386.43/386.58 c 386s | 16 | 2431243 | 184552 | 22848 16 | 395 | 336 388.44/388.60 c 388s | 16 | 2444686 | 185752 | 22848 16 | 395 | 336 390.54/390.69 c 390s | 16 | 2447268 | 186552 | 22848 16 | 395 | 336 392.74/392.84 c 392s | 16 | 2449011 | 187152 | 22848 16 | 395 | 336 395.23/395.37 c 395s | 16 | 2451609 | 187852 | 22848 16 | 395 | 336 398.03/398.19 c 397s | 16 | 2452691 | 188152 | 22848 16 | 395 | 336 401.23/401.30 c 401s | 16 | 2453114 | 188352 | 22848 16 | 395 | 336 404.03/404.19 c 403s | 16 | 2453671 | 188552 | 22848 16 | 395 | 336 406.13/406.24 c 405s | 16 | 2453835 | 188652 | 22848 16 | 395 | 336 410.53/410.67 c 410s | 16 | 2454384 | 188852 | 22848 16 | 395 | 336 412.93/413.04 c 412s | 16 | 2454657 | 188952 | 22848 16 | 395 | 336 415.13/415.25 c 414s | 16 | 2454847 | 189052 | 22848 16 | 395 | 336 417.63/417.78 c 417s | 16 | 2454997 | 189152 | 22848 16 | 395 | 336 420.42/420.53 c 420s | 16 | 2455141 | 189252 | 22848 16 | 395 | 336 422.62/422.70 c 422s | 16 | 2456953 | 189552 | 22848 16 | 395 | 336 424.73/424.86 c 424s | 16 | 2463157 | 190652 | 22848 16 | 395 | 336 426.93/427.06 c 426s | 16 | 2465317 | 191352 | 22848 16 | 395 | 336 429.03/429.13 c 428s | 16 | 2479622 | 192352 | 22848 17 | 395 | 336 431.02/431.18 c 430s | 16 | 2499343 | 194152 | 22848 17 | 395 | 336 433.12/433.29 c 433s | 16 | 2514818 | 195752 | 22848 17 | 395 | 336 435.22/435.32 c 435s | 16 | 2521600 | 196652 | 25133 17 | 395 | 336 437.32/437.49 c 437s | 16 | 2523448 | 197252 | 25133 17 | 395 | 336 438.22/438.35 c 438s | 17 | 2523711 | 197432 | 25133 17 | 395 | 336 440.22/440.37 c 440s | 17 | 2542891 | 198732 | 25133 17 | 395 | 336 442.32/442.46 c 442s | 17 | 2559143 | 199732 | 25133 17 | 395 | 336 444.43/444.54 c 444s | 17 | 2560693 | 200332 | 25133 17 | 395 | 336 446.52/446.69 c 446s | 17 | 2562532 | 200832 | 25133 17 | 395 | 336 448.83/448.91 c 448s | 17 | 2569050 | 201732 | 25133 17 | 395 | 336 450.82/450.98 c 450s | 17 | 2577405 | 202732 | 25133 17 | 395 | 336 452.92/453.09 c 452s | 17 | 2581489 | 203432 | 25133 17 | 395 | 336 455.22/455.30 c 455s | 17 | 2600732 | 204632 | 25133 17 | 395 | 336 457.22/457.39 c 457s | 17 | 2627887 | 205732 | 25133 18 | 395 | 336 459.32/459.44 c 459s | 17 | 2642089 | 207132 | 25133 18 | 395 | 336 461.32/461.45 c 461s | 17 | 2662733 | 208432 | 25133 18 | 395 | 336 463.42/463.52 c 463s | 17 | 2682717 | 209832 | 25133 18 | 395 | 336 465.43/465.59 c 465s | 17 | 2706147 | 211132 | 25133 18 | 395 | 336 467.53/467.63 c 467s | 17 | 2729336 | 212332 | 25133 18 | 395 | 336 469.52/469.69 c 469s | 17 | 2752712 | 213532 | 25133 18 | 396 | 337 471.62/471.74 c 471s | 17 | 2763787 | 214532 | 25133 18 | 396 | 337 473.72/473.81 c 473s | 17 | 2769424 | 215232 | 25133 18 | 396 | 337 475.82/475.95 c 475s | 17 | 2787344 | 216332 | 25133 18 | 396 | 337 478.01/478.18 c 477s | 17 | 2803413 | 217332 | 25133 18 | 396 | 337 480.01/480.19 c 479s | 17 | 2812664 | 218032 | 25133 18 | 396 | 337 482.21/482.30 c 482s | 17 | 2827909 | 218732 | 25133 18 | 396 | 337 484.21/484.30 c 484s | 17 | 2837012 | 219532 | 25133 19 | 396 | 337 486.41/486.57 c 486s | 17 | 2862166 | 221032 | 25133 19 | 396 | 337 488.52/488.69 c 488s | 17 | 2874410 | 222132 | 25133 19 | 396 | 337 490.72/490.82 c 490s | 17 | 2895564 | 223532 | 25133 19 | 396 | 337 493.11/493.26 c 492s | 17 | 2907069 | 224632 | 25133 19 | 396 | 337 495.61/495.70 c 495s | 17 | 2910376 | 225432 | 25133 19 | 396 | 337 497.61/497.73 c 497s | 17 | 2911237 | 225832 | 25133 19 | 396 | 337 499.62/499.75 c 499s | 17 | 2912852 | 226432 | 25133 19 | 396 | 337 501.72/501.86 c 501s | 17 | 2914589 | 227032 | 25133 19 | 396 | 337 503.92/504.09 c 503s | 17 | 2916404 | 227632 | 25133 19 | 396 | 337 506.31/506.46 c 506s | 17 | 2918244 | 228132 | 25133 19 | 396 | 337 508.51/508.64 c 508s | 17 | 2919779 | 228532 | 25133 19 | 396 | 337 510.81/510.97 c 510s | 17 | 2920854 | 228932 | 25133 19 | 396 | 337 513.02/513.11 c 512s | 17 | 2921594 | 229232 | 25133 19 | 396 | 337 515.01/515.12 c 514s | 17 | 2923651 | 229532 | 25133 19 | 396 | 337 517.02/517.13 c 516s | 17 | 2937359 | 230632 | 25133 19 | 396 | 337 519.11/519.26 c 518s | 17 | 2940017 | 231332 | 25133 19 | 396 | 337 521.21/521.36 c 521s | 17 | 2942983 | 231932 | 25133 19 | 396 | 337 523.31/523.42 c 523s | 17 | 2944168 | 232332 | 25133 19 | 396 | 337 525.61/525.72 c 525s | 17 | 2945378 | 232732 | 25133 19 | 396 | 337 527.80/527.97 c 527s | 17 | 2950358 | 233332 | 25133 19 | 396 | 337 529.80/529.97 c 529s | 17 | 2955258 | 233832 | 25133 19 | 396 | 337 532.81/532.90 c 532s | 17 | 2961181 | 234432 | 25133 20 | 396 | 337 535.01/535.16 c 534s | 17 | 2967450 | 235232 | 25133 20 | 396 | 337 537.31/537.44 c 537s | 17 | 2969612 | 235732 | 25133 20 | 396 | 337 540.61/540.74 c 540s | 17 | 2970094 | 236032 | 25133 20 | 396 | 337 543.10/543.22 c 542s | 17 | 2970397 | 236232 | 25133 20 | 396 | 337 545.61/545.73 c 545s | 17 | 2970971 | 236432 | 25133 20 | 396 | 337 548.30/548.46 c 548s | 17 | 2972385 | 236632 | 25133 20 | 396 | 337 550.80/550.95 c 550s | 17 | 2973805 | 236932 | 25133 20 | 396 | 337 554.00/554.11 c 553s | 17 | 2974371 | 237132 | 25133 20 | 396 | 337 556.90/557.02 c 556s | 17 | 2974807 | 237332 | 25133 20 | 396 | 337 559.30/559.45 c 559s | 17 | 2975527 | 237532 | 25133 20 | 396 | 337 563.41/563.57 c 563s | 17 | 2975944 | 237732 | 25133 20 | 396 | 337 567.21/567.35 c 567s | 17 | 2976394 | 237932 | 25133 20 | 396 | 337 569.51/569.62 c 569s | 17 | 2976875 | 238132 | 25133 20 | 396 | 337 572.50/572.62 c 572s | 17 | 2977230 | 238332 | 25133 20 | 396 | 337 575.50/575.67 c 575s | 17 | 2977645 | 238532 | 25133 20 | 396 | 337 578.00/578.14 c 577s | 17 | 2977790 | 238632 | 25133 20 | 396 | 337 580.70/580.83 c 580s | 17 | 2978466 | 238832 | 25133 20 | 396 | 337 582.90/583.04 c 582s | 17 | 2978957 | 239032 | 25133 20 | 396 | 337 586.31/586.48 c 586s | 17 | 2979772 | 239332 | 25133 20 | 396 | 337 590.00/590.15 c 589s | 17 | 2980135 | 239532 | 25133 20 | 396 | 337 593.60/593.75 c 593s | 17 | 2980653 | 239732 | 25133 20 | 396 | 337 595.90/596.04 c 595s | 17 | 2980841 | 239832 | 25133 20 | 396 | 337 598.10/598.29 c 598s | 17 | 2982706 | 240332 | 25133 20 | 396 | 337 600.20/600.33 c 600s | 17 | 2985846 | 240732 | 25133 20 | 396 | 337 602.49/602.62 c 602s | 17 | 2990561 | 241332 | 25133 20 | 396 | 337 604.89/605.09 c 604s | 17 | 2995302 | 241832 | 25133 20 | 396 | 337 607.99/608.14 c 607s | 17 | 2998341 | 242232 | 25133 20 | 396 | 337 610.39/610.52 c 610s | 17 | 3000795 | 242632 | 25133 20 | 396 | 337 612.39/612.52 c 612s | 17 | 3006598 | 243232 | 25133 20 | 396 | 337 614.50/614.62 c 614s | 17 | 3014721 | 244032 | 25133 20 | 396 | 337 616.50/616.62 c 616s | 17 | 3015798 | 244432 | 25133 20 | 396 | 337 618.60/618.70 c 618s | 17 | 3016179 | 244632 | 25133 20 | 396 | 337 620.60/620.79 c 620s | 17 | 3017546 | 245032 | 25133 20 | 396 | 337 623.10/623.23 c 622s | 17 | 3018330 | 245332 | 25133 20 | 396 | 337 627.39/627.59 c 627s | 17 | 3018939 | 245532 | 25133 20 | 396 | 337 629.59/629.70 c 629s | 17 | 3021871 | 245932 | 25133 20 | 396 | 337 631.69/631.87 c 631s | 17 | 3023924 | 246332 | 25133 20 | 396 | 337 633.89/634.03 c 633s | 17 | 3029452 | 246832 | 25133 20 | 396 | 337 636.29/636.44 c 636s | 17 | 3035190 | 247432 | 25133 20 | 396 | 337 638.79/638.94 c 638s | 17 | 3037957 | 247932 | 25133 20 | 396 | 337 641.09/641.20 c 640s | 17 | 3039823 | 248432 | 25133 20 | 396 | 337 643.59/643.72 c 643s | 17 | 3041558 | 248832 | 25133 20 | 396 | 337 645.79/645.93 c 645s | 17 | 3043596 | 249132 | 25133 21 | 396 | 337 647.79/647.98 c 647s | 17 | 3052073 | 249932 | 25133 21 | 396 | 337 650.29/650.43 c 650s | 17 | 3055906 | 250532 | 25133 21 | 396 | 337 652.40/652.54 c 652s | 17 | 3057658 | 250932 | 25133 21 | 396 | 337 654.60/654.72 c 654s | 17 | 3060321 | 251532 | 25133 21 | 396 | 337 656.80/656.99 c 656s | 17 | 3061516 | 251932 | 25133 21 | 396 | 337 659.39/659.53 c 659s | 17 | 3065305 | 252532 | 25133 21 | 396 | 337 661.69/661.85 c 661s | 17 | 3068165 | 253032 | 25133 21 | 396 | 337 663.88/664.06 c 663s | 17 | 3071602 | 253632 | 25133 21 | 396 | 337 666.09/666.29 c 666s | 17 | 3073765 | 254032 | 25133 21 | 396 | 337 668.39/668.55 c 668s | 17 | 3076669 | 254532 | 25133 21 | 396 | 337 670.49/670.63 c 670s | 17 | 3077762 | 254832 | 25133 21 | 396 | 337 672.79/672.94 c 672s | 17 | 3081692 | 255432 | 25133 21 | 396 | 337 674.89/675.06 c 674s | 17 | 3083740 | 255932 | 25133 21 | 396 | 337 677.49/677.63 c 677s | 17 | 3086234 | 256432 | 25133 21 | 396 | 337 679.89/680.06 c 679s | 17 | 3087849 | 256732 | 25133 21 | 396 | 337 682.59/682.80 c 682s | 17 | 3088961 | 257032 | 25133 21 | 396 | 337 684.68/684.89 c 684s | 17 | 3089935 | 257332 | 25133 21 | 396 | 337 687.88/688.01 c 687s | 17 | 3090800 | 257632 | 25133 21 | 396 | 337 690.58/690.71 c 690s | 17 | 3091492 | 257832 | 25133 21 | 396 | 337 693.39/693.58 c 693s | 17 | 3092752 | 258132 | 25133 21 | 396 | 337 695.49/695.63 c 695s | 17 | 3093319 | 258332 | 25133 21 | 396 | 337 697.58/697.78 c 697s | 17 | 3094222 | 258532 | 25133 21 | 396 | 337 700.08/700.25 c 699s | 17 | 3094777 | 258732 | 25133 21 | 396 | 337 702.28/702.48 c 702s | 17 | 3096413 | 259032 | 25133 21 | 396 | 337 704.98/705.18 c 704s | 17 | 3097694 | 259332 | 25133 21 | 396 | 337 707.29/707.42 c 707s | 17 | 3098559 | 259532 | 25133 21 | 396 | 337 709.98/710.19 c 709s | 17 | 3098990 | 259732 | 25133 21 | 396 | 337 713.18/713.30 c 713s | 17 | 3099365 | 259932 | 25133 21 | 396 | 337 716.98/717.12 c 716s | 17 | 3099752 | 260132 | 25133 21 | 396 | 337 721.08/721.26 c 720s | 17 | 3100216 | 260332 | 25133 21 | 396 | 337 723.18/723.35 c 723s | 17 | 3100344 | 260432 | 25133 21 | 396 | 337 725.57/725.75 c 725s | 17 | 3100615 | 260532 | 25133 21 | 396 | 337 727.57/727.75 c 727s | 17 | 3101220 | 260732 | 25133 21 | 396 | 337 730.67/730.82 c 730s | 17 | 3102354 | 261032 | 25133 21 | 396 | 337 733.47/733.60 c 733s | 17 | 3103256 | 261332 | 25133 21 | 396 | 337 735.56/735.72 c 735s | 17 | 3104479 | 261632 | 25133 21 | 396 | 337 738.17/738.33 c 738s | 17 | 3105755 | 261932 | 25133 21 | 396 | 337 740.46/740.63 c 740s | 17 | 3106392 | 262132 | 25133 21 | 396 | 337 743.17/743.39 c 743s | 17 | 3107491 | 262432 | 25133 21 | 396 | 337 745.27/745.46 c 745s | 17 | 3110735 | 262832 | 25133 21 | 396 | 337 747.37/747.56 c 747s | 17 | 3112116 | 263132 | 25133 21 | 396 | 337 750.27/750.49 c 750s | 17 | 3112715 | 263332 | 25133 21 | 396 | 337 752.66/752.82 c 752s | 17 | 3113852 | 263532 | 25133 21 | 396 | 337 755.06/755.21 c 754s | 17 | 3114728 | 263832 | 25133 21 | 396 | 337 758.06/758.27 c 757s | 17 | 3116892 | 264032 | 25133 22 | 396 | 337 760.56/760.71 c 760s | 17 | 3120762 | 264832 | 25133 22 | 396 | 337 762.76/762.94 c 762s | 17 | 3121852 | 265232 | 25133 22 | 396 | 337 765.45/765.61 c 765s | 17 | 3124031 | 265732 | 25133 22 | 396 | 337 767.65/767.89 c 767s | 17 | 3130154 | 266632 | 25133 22 | 396 | 337 770.06/770.28 c 770s | 17 | 3131989 | 267232 | 25133 22 | 396 | 337 772.16/772.36 c 772s | 17 | 3133336 | 267732 | 25133 22 | 396 | 337 774.26/774.47 c 774s | 17 | 3135355 | 268132 | 25133 22 | 396 | 337 776.35/776.57 c 776s | 17 | 3136913 | 268532 | 25133 22 | 396 | 337 778.86/779.05 c 778s | 17 | 3137870 | 268932 | 25133 22 | 396 | 337 781.45/781.60 c 781s | 17 | 3138816 | 269332 | 25133 22 | 396 | 337 783.74/783.93 c 783s | 17 | 3139498 | 269632 | 25133 22 | 396 | 337 786.35/786.59 c 786s | 17 | 3140065 | 269932 | 25133 22 | 396 | 337 788.85/789.03 c 788s | 17 | 3140984 | 270232 | 25133 22 | 396 | 337 791.05/791.20 c 790s | 17 | 3141411 | 270432 | 25133 22 | 396 | 337 793.05/793.25 c 792s | 17 | 3144200 | 270832 | 25133 22 | 396 | 337 795.54/795.72 c 795s | 17 | 3146929 | 271332 | 25133 22 | 396 | 337 797.84/798.06 c 797s | 17 | 3149238 | 271832 | 25133 22 | 396 | 337 800.14/800.34 c 800s | 17 | 3151121 | 272232 | 25133 22 | 396 | 337 802.34/802.59 c 802s | 17 | 3151898 | 272532 | 25133 22 | 396 | 337 804.44/804.62 c 804s | 17 | 3154509 | 273032 | 25133 22 | 396 | 337 806.54/806.76 c 806s | 17 | 3157665 | 273632 | 25133 22 | 396 | 337 808.74/808.98 c 808s | 17 | 3159097 | 274132 | 25133 22 | 396 | 337 811.84/812.09 c 811s | 17 | 3160305 | 274432 | 25133 22 | 396 | 337 815.23/815.49 c 815s | 17 | 3160931 | 274632 | 25133 22 | 396 | 337 817.73/817.94 c 817s | 17 | 3161671 | 274832 | 25133 22 | 396 | 337 820.55/820.71 c 820s | 17 | 3162090 | 275032 | 25133 22 | 396 | 337 824.44/824.64 c 824s | 17 | 3162636 | 275232 | 25133 22 | 396 | 337 828.44/828.60 c 828s | 17 | 3163056 | 275432 | 25133 22 | 396 | 337 830.74/830.92 c 830s | 17 | 3163437 | 275632 | 25133 22 | 396 | 337 833.74/833.92 c 833s | 17 | 3164064 | 275932 | 25133 22 | 396 | 337 836.83/837.07 c 836s | 17 | 3164590 | 276132 | 25133 22 | 396 | 337 839.03/839.25 c 838s | 17 | 3165090 | 276332 | 25133 22 | 396 | 337 842.63/842.83 c 842s | 17 | 3165617 | 276532 | 25133 22 | 396 | 337 845.42/845.65 c 845s | 17 | 3166167 | 276732 | 25133 22 | 396 | 337 848.52/848.71 c 848s | 17 | 3166731 | 276932 | 25133 22 | 396 | 337 850.73/850.98 c 850s | 17 | 3166986 | 277032 | 25133 22 | 396 | 337 854.63/854.88 c 854s | 17 | 3167923 | 277332 | 25133 22 | 396 | 337 857.32/857.53 c 857s | 17 | 3168522 | 277532 | 25133 22 | 396 | 337 860.52/860.77 c 860s | 17 | 3169065 | 277732 | 25133 22 | 396 | 337 862.82/863.01 c 862s | 17 | 3169592 | 277832 | 25133 22 | 396 | 337 865.12/865.32 c 865s | 17 | 3169716 | 277932 | 25133 22 | 396 | 337 868.51/868.76 c 868s | 17 | 3170127 | 278132 | 25133 22 | 396 | 337 870.71/870.97 c 870s | 17 | 3170277 | 278232 | 25133 22 | 396 | 337 873.11/873.30 c 873s | 17 | 3170416 | 278332 | 25133 22 | 396 | 337 875.21/875.43 c 875s | 17 | 3170608 | 278432 | 25133 22 | 396 | 337 878.31/878.58 c 878s | 17 | 3171751 | 278732 | 25133 22 | 396 | 337 881.21/881.41 c 881s | 17 | 3171886 | 278832 | 25133 22 | 396 | 337 884.91/885.12 c 884s | 17 | 3172059 | 278932 | 25133 22 | 396 | 337 887.00/887.29 c 887s | 17 | 3172912 | 279132 | 25133 22 | 396 | 337 891.40/891.62 c 891s | 17 | 3173254 | 279232 | 25133 23 | 396 | 337 893.70/893.91 c 893s | 17 | 3177589 | 279932 | 25133 23 | 396 | 337 895.69/895.92 c 895s | 17 | 3180651 | 280432 | 25133 23 | 396 | 337 898.49/898.72 c 898s | 17 | 3181935 | 280832 | 25133 23 | 396 | 337 901.60/901.83 c 901s | 17 | 3183402 | 281132 | 25133 23 | 396 | 337 903.80/904.09 c 903s | 17 | 3184127 | 281332 | 25133 23 | 396 | 337 906.10/906.36 c 906s | 17 | 3186330 | 281732 | 25133 23 | 396 | 337 908.39/908.61 c 908s | 17 | 3187540 | 282132 | 25133 23 | 396 | 337 911.29/911.58 c 911s | 17 | 3189146 | 282532 | 25133 23 | 396 | 337 913.59/913.88 c 913s | 17 | 3197650 | 283332 | 25133 23 | 396 | 337 916.08/916.34 c 916s | 17 | 3204538 | 284032 | 25133 23 | 396 | 337 918.58/918.85 c 918s | 17 | 3207069 | 284532 | 25133 23 | 396 | 337 920.69/921.00 c 920s | 17 | 3208164 | 284832 | 25133 23 | 396 | 337 923.18/923.42 c 923s | 17 | 3208750 | 285132 | 25133 23 | 396 | 337 925.18/925.45 c 925s | 17 | 3209241 | 285332 | 25133 23 | 396 | 337 927.68/927.96 c 927s | 17 | 3209940 | 285632 | 25133 23 | 396 | 337 929.68/929.96 c 929s | 17 | 3210458 | 285832 | 25133 23 | 396 | 337 932.49/932.73 c 932s | 17 | 3211169 | 286132 | 25133 23 | 396 | 337 934.78/935.02 c 934s | 17 | 3213134 | 286532 | 25133 23 | 396 | 337 936.98/937.23 c 936s | 17 | 3214025 | 286832 | 25133 23 | 396 | 337 940.28/940.51 c 940s | 17 | 3214788 | 287132 | 25133 23 | 396 | 337 942.59/942.89 c 942s | 17 | 3215205 | 287332 | 25133 23 | 396 | 337 945.67/945.94 c 945s | 17 | 3216253 | 287532 | 25133 23 | 396 | 337 947.77/948.04 c 947s | 17 | 3219040 | 288232 | 25133 23 | 396 | 337 949.87/950.13 c 949s | 17 | 3220248 | 288532 | 25133 23 | 396 | 337 952.17/952.42 c 952s | 17 | 3222535 | 288932 | 25133 23 | 396 | 337 954.27/954.54 c 954s | 17 | 3224603 | 289332 | 25133 23 | 396 | 337 956.37/956.66 c 956s | 17 | 3225088 | 289532 | 25133 23 | 396 | 337 958.96/959.26 c 958s | 17 | 3225465 | 289732 | 25133 23 | 396 | 337 961.67/961.99 c 961s | 17 | 3226053 | 289932 | 25133 23 | 396 | 337 964.37/964.61 c 964s | 17 | 3226449 | 290132 | 25133 23 | 396 | 337 966.57/966.85 c 966s | 17 | 3226698 | 290232 | 25133 23 | 396 | 337 968.97/969.30 c 969s | 17 | 3226991 | 290432 | 25133 23 | 396 | 337 971.46/971.79 c 971s | 17 | 3227351 | 290632 | 25133 23 | 396 | 337 974.66/974.93 c 974s | 17 | 3227755 | 290832 | 25133 23 | 396 | 337 977.26/977.59 c 977s | 17 | 3228226 | 291032 | 25133 23 | 396 | 337 979.56/979.81 c 979s | 17 | 3228959 | 291332 | 25133 23 | 396 | 337 981.96/982.28 c 982s | 17 | 3230192 | 291632 | 25133 23 | 396 | 337 984.76/985.08 c 984s | 17 | 3231301 | 291932 | 25133 23 | 396 | 337 987.25/987.51 c 987s | 17 | 3231719 | 292132 | 25133 23 | 396 | 337 990.25/990.58 c 990s | 17 | 3232148 | 292332 | 25133 23 | 396 | 337 993.65/993.92 c 993s | 17 | 3232562 | 292532 | 25133 23 | 396 | 337 997.16/997.43 c 997s | 17 | 3232906 | 292732 | 25133 23 | 396 | 337 999.16/999.48 c 999s | 17 | 3233668 | 292932 | 25133 23 | 396 | 337 1001.75/1002.06 c 1001s | 17 | 3234329 | 293132 | 25133 23 | 396 | 337 1005.75/1006.00 c 1005s | 17 | 3234759 | 293332 | 25133 23 | 396 | 337 1007.85/1008.11 c 1007s | 17 | 3235144 | 293432 | 25133 23 | 396 | 337 1010.65/1010.90 c 1010s | 17 | 3235543 | 293632 | 25133 23 | 396 | 337 1012.85/1013.14 c 1012s | 17 | 3236574 | 293732 | 25133 24 | 396 | 337 1014.95/1015.26 c 1014s | 17 | 3246969 | 294932 | 27647 24 | 396 | 337 1017.14/1017.46 c 1017s | 17 | 3249124 | 295532 | 27647 24 | 396 | 337 1019.65/1019.95 c 1019s | 17 | 3250416 | 296032 | 27647 24 | 396 | 337 1021.24/1021.58 c 1021s | 18 | 3250765 | 296252 | 27647 24 | 396 | 337 1023.44/1023.72 c 1023s | 18 | 3265748 | 297552 | 27647 24 | 396 | 337 1025.43/1025.78 c 1025s | 18 | 3272810 | 298452 | 27647 24 | 396 | 337 1027.63/1027.96 c 1027s | 18 | 3285713 | 299552 | 27647 24 | 396 | 337 1029.73/1030.05 c 1029s | 18 | 3289472 | 300252 | 27647 24 | 396 | 337 1031.93/1032.22 c 1031s | 18 | 3304455 | 301552 | 27647 24 | 396 | 337 1034.03/1034.37 c 1034s | 18 | 3316394 | 302852 | 27647 24 | 396 | 337 1036.14/1036.44 c 1036s | 18 | 3336400 | 303952 | 27647 24 | 397 | 338 1038.23/1038.51 c 1038s | 18 | 3356933 | 305152 | 27647 24 | 397 | 338 1040.23/1040.55 c 1040s | 18 | 3373806 | 306052 | 27647 24 | 397 | 338 1042.23/1042.58 c 1042s | 18 | 3391815 | 307052 | 27647 25 | 398 | 339 1044.33/1044.64 c 1044s | 18 | 3413597 | 308652 | 27647 25 | 398 | 339 1046.32/1046.69 c 1046s | 18 | 3436582 | 310252 | 27647 25 | 398 | 339 1048.42/1048.72 c 1048s | 18 | 3440347 | 311352 | 27647 25 | 398 | 339 1050.52/1050.82 c 1050s | 18 | 3462234 | 312952 | 27647 25 | 398 | 339 1052.53/1052.84 c 1052s | 18 | 3485799 | 314352 | 27647 25 | 398 | 339 1054.62/1054.96 c 1054s | 18 | 3510975 | 315652 | 27647 25 | 398 | 339 1056.71/1057.08 c 1056s | 18 | 3539051 | 316852 | 27647 25 | 398 | 339 1058.91/1059.28 c 1059s | 18 | 3561777 | 318152 | 27647 25 | 398 | 339 1061.01/1061.31 c 1061s | 18 | 3582357 | 319552 | 27647 25 | 398 | 339 1063.01/1063.38 c 1063s | 18 | 3592654 | 320452 | 27647 25 | 398 | 339 1065.11/1065.44 c 1065s | 18 | 3606978 | 321852 | 27647 26 | 398 | 339 1067.20/1067.52 c 1067s | 18 | 3623655 | 323452 | 27647 26 | 398 | 339 1069.20/1069.56 c 1069s | 18 | 3636068 | 324852 | 27647 26 | 398 | 339 1071.21/1071.57 c 1071s | 18 | 3639257 | 325552 | 27647 26 | 398 | 339 1073.71/1074.04 c 1073s | 18 | 3640836 | 325952 | 27647 26 | 398 | 339 1075.81/1076.12 c 1075s | 18 | 3666502 | 327252 | 27647 26 | 398 | 339 1077.81/1078.17 c 1077s | 18 | 3696121 | 328552 | 27647 26 | 398 | 339 1079.80/1080.19 c 1079s | 18 | 3720054 | 329852 | 27647 26 | 398 | 339 1081.90/1082.27 c 1081s | 18 | 3745185 | 331152 | 27647 26 | 398 | 339 1084.10/1084.41 c 1084s | 18 | 3760171 | 332552 | 27647 26 | 398 | 339 1086.10/1086.43 c 1086s | 18 | 3790591 | 333852 | 27647 27 | 399 | 340 1088.10/1088.48 c 1088s | 18 | 3813089 | 335552 | 27647 27 | 399 | 340 1090.10/1090.48 c 1090s | 18 | 3828768 | 336952 | 27647 27 | 399 | 340 1092.21/1092.55 c 1092s | 18 | 3852482 | 338552 | 27647 27 | 399 | 340 1094.31/1094.64 c 1094s | 18 | 3858559 | 339552 | 27647 27 | 399 | 340 1096.51/1096.87 c 1096s | 18 | 3862259 | 340452 | 27647 27 | 399 | 340 1098.60/1098.99 c 1098s | 18 | 3863543 | 340852 | 27647 27 | 399 | 340 1100.70/1101.06 c 1100s | 18 | 3873533 | 341752 | 27647 27 | 399 | 340 1102.90/1103.20 c 1102s | 18 | 3885723 | 343052 | 27647 27 | 399 | 340 1105.69/1106.02 c 1105s | 18 | 3892750 | 344152 | 27647 27 | 399 | 340 1107.69/1108.04 c 1107s | 18 | 3899331 | 344852 | 27647 27 | 399 | 340 1109.80/1110.13 c 1109s | 18 | 3912630 | 345852 | 27647 28 | 399 | 340 1111.90/1112.24 c 1111s | 18 | 3945359 | 347552 | 27647 28 | 399 | 340 1113.99/1114.33 c 1114s | 18 | 3967636 | 349152 | 27647 28 | 399 | 340 1115.99/1116.36 c 1116s | 18 | 3994984 | 350452 | 27647 28 | 399 | 340 1118.19/1118.52 c 1118s | 18 | 4013708 | 351652 | 27647 28 | 399 | 340 1120.18/1120.58 c 1120s | 18 | 4016412 | 352252 | 27647 28 | 399 | 340 1122.58/1122.91 c 1122s | 18 | 4018378 | 352852 | 27647 28 | 399 | 340 1124.98/1125.38 c 1125s | 18 | 4019997 | 353352 | 27647 28 | 399 | 340 1126.98/1127.39 c 1127s | 18 | 4022021 | 354052 | 27647 28 | 399 | 340 1129.49/1129.84 c 1129s | 18 | 4024052 | 354652 | 27647 28 | 399 | 340 1131.49/1131.87 c 1131s | 18 | 4037840 | 355652 | 27647 28 | 399 | 340 1133.58/1133.98 c 1133s | 18 | 4048842 | 356752 | 27647 29 | 399 | 340 1135.68/1136.02 c 1135s | 18 | 4064509 | 358352 | 27647 29 | 399 | 340 1137.78/1138.11 c 1137s | 18 | 4096311 | 359952 | 27647 29 | 399 | 340 1139.78/1140.18 c 1139s | 18 | 4116632 | 361352 | 27647 29 | 399 | 340 1141.88/1142.26 c 1141s | 18 | 4132845 | 362752 | 27647 29 | 399 | 340 1144.18/1144.56 c 1144s | 18 | 4139303 | 363652 | 27647 29 | 399 | 340 1146.27/1146.62 c 1146s | 18 | 4156353 | 364952 | 27647 29 | 399 | 340 1148.77/1149.17 c 1148s | 18 | 4161903 | 365552 | 27647 29 | 399 | 340 1150.97/1151.39 c 1151s | 18 | 4162678 | 365852 | 27647 29 | 399 | 340 1153.07/1153.46 c 1153s | 18 | 4164298 | 366252 | 27647 29 | 399 | 340 1155.47/1155.86 c 1155s | 18 | 4166114 | 366852 | 27647 29 | 399 | 340 1157.47/1157.88 c 1157s | 18 | 4175073 | 367852 | 27647 30 | 399 | 340 1159.57/1159.97 c 1159s | 18 | 4199632 | 369452 | 27647 30 | 399 | 340 1161.57/1161.98 c 1161s | 18 | 4215676 | 370952 | 27647 30 | 399 | 340 1163.68/1164.02 c 1163s | 18 | 4235469 | 372152 | 27647 30 | 399 | 340 1165.67/1166.05 c 1165s | 18 | 4246362 | 373352 | 27647 30 | 399 | 340 1167.87/1168.24 c 1167s | 18 | 4249331 | 374152 | 27647 30 | 399 | 340 1170.06/1170.48 c 1170s | 18 | 4250823 | 374752 | 27647 30 | 399 | 340 1172.17/1172.59 c 1172s | 18 | 4258842 | 375452 | 27647 30 | 399 | 340 1174.27/1174.69 c 1174s | 18 | 4269525 | 376952 | 27647 30 | 399 | 340 1176.37/1176.72 c 1176s | 18 | 4285408 | 378052 | 27647 31 | 399 | 340 1178.37/1178.79 c 1178s | 18 | 4312502 | 379752 | 27647 31 | 399 | 340 1180.67/1181.06 c 1180s | 18 | 4332576 | 381152 | 27647 31 | 399 | 340 1182.67/1183.09 c 1182s | 18 | 4346215 | 382452 | 27647 31 | 399 | 340 1184.86/1185.28 c 1185s | 18 | 4348641 | 383452 | 27647 31 | 399 | 340 1186.96/1187.30 c 1187s | 18 | 4367253 | 384752 | 27647 31 | 399 | 340 1188.96/1189.34 c 1189s | 18 | 4385986 | 386052 | 27647 31 | 399 | 340 1191.16/1191.56 c 1191s | 18 | 4396965 | 387452 | 27647 31 | 399 | 340 1193.26/1193.69 c 1193s | 18 | 4405225 | 388352 | 27647 32 | 399 | 340 1195.35/1195.74 c 1195s | 18 | 4424090 | 389752 | 27647 32 | 399 | 340 1197.66/1198.03 c 1197s | 18 | 4437938 | 390952 | 27647 32 | 399 | 340 1199.85/1200.29 c 1200s | 18 | 4440344 | 391652 | 27647 32 | 399 | 340 1202.16/1202.54 c 1202s | 18 | 4443494 | 392352 | 27647 32 | 399 | 340 1204.15/1204.55 c 1204s | 18 | 4444858 | 392852 | 27647 32 | 399 | 340 1206.14/1206.57 c 1206s | 18 | 4449561 | 393552 | 27647 32 | 399 | 340 1208.34/1208.71 c 1208s | 18 | 4458372 | 394652 | 27647 32 | 399 | 340 1210.34/1210.74 c 1210s | 18 | 4460617 | 395352 | 27647 32 | 399 | 340 1212.45/1212.89 c 1212s | 18 | 4461405 | 395752 | 27647 32 | 399 | 340 1214.74/1215.16 c 1214s | 18 | 4477849 | 396952 | 27647 33 | 399 | 340 1216.84/1217.27 c 1217s | 18 | 4511989 | 398552 | 27647 33 | 400 | 341 1218.84/1219.28 c 1219s | 18 | 4537426 | 400252 | 27647 33 | 400 | 341 1221.14/1221.55 c 1221s | 18 | 4550244 | 401652 | 27647 33 | 400 | 341 1223.34/1223.74 c 1223s | 18 | 4557299 | 402652 | 27647 33 | 400 | 341 1225.43/1225.88 c 1225s | 18 | 4568876 | 403952 | 27647 33 | 400 | 341 1227.63/1228.03 c 1227s | 18 | 4578969 | 405252 | 27647 33 | 400 | 341 1229.73/1230.18 c 1229s | 18 | 4584501 | 406452 | 27647 33 | 400 | 341 1231.73/1232.20 c 1231s | 18 | 4588729 | 407552 | 27647 33 | 400 | 341 1233.83/1234.25 c 1233s | 18 | 4592997 | 408552 | 27647 34 | 400 | 341 1236.13/1236.51 c 1236s | 18 | 4595716 | 409452 | 27647 34 | 400 | 341 1238.22/1238.70 c 1238s | 18 | 4601091 | 410452 | 27647 34 | 400 | 341 1240.42/1240.84 c 1240s | 18 | 4604893 | 411452 | 27647 34 | 400 | 341 1242.52/1242.98 c 1242s | 18 | 4608338 | 412352 | 27647 34 | 400 | 341 1244.62/1245.08 c 1244s | 18 | 4610964 | 413052 | 27647 34 | 400 | 341 1247.02/1247.49 c 1247s | 18 | 4613369 | 413752 | 27647 34 | 400 | 341 1249.22/1249.61 c 1249s | 18 | 4615777 | 414452 | 27647 34 | 400 | 341 1251.42/1251.86 c 1251s | 18 | 4618143 | 415152 | 27647 34 | 400 | 341 1253.62/1254.03 c 1253s | 18 | 4623058 | 415752 | 27647 35 | 400 | 341 1255.72/1256.10 c 1255s | 18 | 4660996 | 417452 | 27647 35 | 400 | 341 1257.72/1258.11 c 1257s | 18 | 4668845 | 418852 | 27647 35 | 400 | 341 1259.72/1260.15 c 1259s | 18 | 4695419 | 420552 | 27647 35 | 400 | 341 1261.82/1262.21 c 1261s | 18 | 4719613 | 422052 | 27647 35 | 400 | 341 1263.81/1264.25 c 1263s | 18 | 4735388 | 423352 | 27647 36 | 400 | 341 1265.82/1266.27 c 1266s | 18 | 4762664 | 425152 | 27647 36 | 400 | 341 1267.81/1268.28 c 1268s | 18 | 4786009 | 426752 | 27647 36 | 400 | 341 1269.91/1270.36 c 1270s | 18 | 4788394 | 427752 | 27647 36 | 400 | 341 1272.21/1272.63 c 1272s | 18 | 4813350 | 429252 | 27647 37 | 400 | 341 1274.31/1274.70 c 1274s | 18 | 4835728 | 430852 | 27647 37 | 400 | 341 1276.40/1276.83 c 1276s | 18 | 4874244 | 432352 | 27647 37 | 401 | 342 1278.50/1278.95 c 1278s | 18 | 4893544 | 433852 | 27647 37 | 401 | 342 1280.60/1281.07 c 1280s | 18 | 4899801 | 435052 | 27647 37 | 401 | 342 1282.70/1283.19 c 1282s | 18 | 4904322 | 436052 | 27647 37 | 401 | 342 1284.81/1285.26 c 1284s | 18 | 4906314 | 436652 | 27647 37 | 401 | 342 1287.10/1287.56 c 1287s | 18 | 4908181 | 437252 | 27647 37 | 401 | 342 1289.30/1289.72 c 1289s | 18 | 4910582 | 437952 | 27647 37 | 401 | 342 1291.49/1291.95 c 1291s | 18 | 4914143 | 438752 | 27647 37 | 401 | 342 1293.79/1294.24 c 1293s | 18 | 4915291 | 439152 | 27647 37 | 401 | 342 1295.89/1296.35 c 1296s | 18 | 4925808 | 440352 | 27647 38 | 402 | 343 1297.99/1298.47 c 1298s | 18 | 4949059 | 442152 | 30412 38 | 402 | 343 1300.09/1300.55 c 1300s | 18 | 4973443 | 443752 | 30412 38 | 402 | 343 1301.09/1301.53 c 1301s | 19 | 4982953 | 444482 | 30412 38 | 402 | 343 1303.09/1303.54 c 1303s | 19 | 5008148 | 445882 | 30412 38 | 402 | 343 1305.19/1305.60 c 1305s | 19 | 5032189 | 447282 | 30412 39 | 402 | 343 1307.28/1307.79 c 1307s | 19 | 5039796 | 448782 | 30412 39 | 402 | 343 1309.38/1309.87 c 1309s | 19 | 5042601 | 449582 | 30412 39 | 402 | 343 1311.48/1311.98 c 1311s | 19 | 5047900 | 450582 | 30412 39 | 402 | 343 1313.68/1314.13 c 1313s | 19 | 5050187 | 451182 | 30412 39 | 402 | 343 1315.68/1316.16 c 1315s | 19 | 5052956 | 451882 | 30412 39 | 402 | 343 1317.78/1318.23 c 1317s | 19 | 5079287 | 453282 | 30412 39 | 402 | 343 1319.88/1320.34 c 1320s | 19 | 5094133 | 454582 | 30412 40 | 402 | 343 1322.08/1322.54 c 1322s | 19 | 5115432 | 456182 | 30412 40 | 402 | 343 1324.18/1324.67 c 1324s | 19 | 5124046 | 457482 | 30412 40 | 402 | 343 1326.28/1326.76 c 1326s | 19 | 5133514 | 458982 | 30412 40 | 402 | 343 1328.37/1328.89 c 1328s | 19 | 5140492 | 460282 | 30412 40 | 402 | 343 1330.47/1330.94 c 1330s | 19 | 5146031 | 461282 | 30412 40 | 402 | 343 1332.47/1332.94 c 1332s | 19 | 5173133 | 462782 | 30412 41 | 402 | 343 1334.57/1335.02 c 1334s | 19 | 5196795 | 464482 | 30412 41 | 402 | 343 1336.56/1337.02 c 1336s | 19 | 5210123 | 465982 | 30412 41 | 402 | 343 1338.66/1339.14 c 1338s | 19 | 5232584 | 467382 | 30412 41 | 402 | 343 1340.76/1341.23 c 1340s | 19 | 5247621 | 468282 | 30412 41 | 402 | 343 1342.88/1343.38 c 1343s | 19 | 5265840 | 469782 | 30412 42 | 402 | 343 1344.98/1345.44 c 1345s | 19 | 5276411 | 471182 | 30412 42 | 402 | 343 1346.96/1347.44 c 1347s | 19 | 5306222 | 472582 | 30412 42 | 402 | 343 1349.06/1349.53 c 1349s | 19 | 5308942 | 473282 | 30412 42 | 402 | 343 1351.16/1351.65 c 1351s | 19 | 5332390 | 474682 | 30412 42 | 402 | 343 1353.26/1353.70 c 1353s | 19 | 5353693 | 476082 | 30412 43 | 402 | 343 1355.26/1355.79 c 1355s | 19 | 5379126 | 477682 | 30412 43 | 402 | 343 1357.36/1357.86 c 1357s | 19 | 5416997 | 479282 | 30412 43 | 402 | 343 1359.46/1359.98 c 1359s | 19 | 5440609 | 480882 | 30412 43 | 402 | 343 1361.46/1361.98 c 1361s | 19 | 5462069 | 482382 | 30412 44 | 402 | 343 1363.66/1364.12 c 1363s | 19 | 5478123 | 483882 | 30412 44 | 402 | 343 1365.66/1366.12 c 1365s | 19 | 5484228 | 484782 | 30412 44 | 402 | 343 1367.66/1368.15 c 1367s | 19 | 5494491 | 485982 | 30412 44 | 402 | 343 1369.75/1370.26 c 1369s | 19 | 5517212 | 487682 | 30412 45 | 402 | 343 1371.85/1372.30 c 1372s | 19 | 5529173 | 489082 | 30412 45 | 402 | 343 1373.85/1374.38 c 1374s | 19 | 5545957 | 490582 | 30412 45 | 402 | 343 1375.95/1376.48 c 1376s | 19 | 5549356 | 491382 | 30412 45 | 402 | 343 1378.06/1378.51 c 1378s | 19 | 5561172 | 492582 | 30412 45 | 402 | 343 1380.05/1380.55 c 1380s | 19 | 5582261 | 494082 | 30412 46 | 402 | 343 1382.05/1382.57 c 1382s | 19 | 5606630 | 495482 | 30412 46 | 402 | 343 1384.15/1384.62 c 1384s | 19 | 5629585 | 497082 | 30412 46 | 402 | 343 1386.15/1386.67 c 1386s | 19 | 5647837 | 498582 | 30412 46 | 402 | 343 1388.45/1388.91 c 1388s | 19 | 5651482 | 499482 | 30412 46 | 402 | 343 1390.65/1391.13 c 1390s | 19 | 5653787 | 500182 | 30412 46 | 402 | 343 1392.95/1393.42 c 1393s | 19 | 5655674 | 500782 | 30412 46 | 402 | 343 1394.95/1395.44 c 1395s | 19 | 5658062 | 501382 | 30412 46 | 402 | 343 1397.15/1397.63 c 1397s | 19 | 5660154 | 501982 | 30412 46 | 402 | 343 1399.25/1399.71 c 1399s | 19 | 5661916 | 502382 | 30412 47 | 402 | 343 1401.35/1401.80 c 1401s | 19 | 5665550 | 503382 | 30412 47 | 402 | 343 1403.54/1404.07 c 1403s | 19 | 5668425 | 504082 | 30412 47 | 402 | 343 1405.64/1406.16 c 1405s | 19 | 5679510 | 505582 | 30412 47 | 402 | 343 1407.75/1408.24 c 1407s | 19 | 5703325 | 506982 | 30412 47 | 402 | 343 1409.74/1410.30 c 1410s | 19 | 5723478 | 508082 | 30412 48 | 402 | 343 1411.84/1412.39 c 1412s | 19 | 5753147 | 509682 | 30412 48 | 402 | 343 1413.94/1414.43 c 1414s | 19 | 5779604 | 511182 | 30412 48 | 402 | 343 1416.14/1416.67 c 1416s | 19 | 5783952 | 511982 | 30412 48 | 402 | 343 1418.34/1418.81 c 1418s | 19 | 5786160 | 512582 | 30412 48 | 402 | 343 1420.54/1421.01 c 1420s | 19 | 5789186 | 513182 | 30412 49 | 402 | 343 1422.64/1423.11 c 1422s | 19 | 5810528 | 514982 | 30412 49 | 402 | 343 1424.64/1425.19 c 1424s | 19 | 5820997 | 516082 | 30412 49 | 402 | 343 1426.74/1427.26 c 1426s | 19 | 5843934 | 517582 | 30412 50 | 402 | 343 1428.74/1429.28 c 1429s | 19 | 5864079 | 518982 | 30412 50 | 402 | 343 1430.85/1431.38 c 1431s | 19 | 5887085 | 520482 | 30412 50 | 402 | 343 1433.05/1433.56 c 1433s | 19 | 5909506 | 522082 | 30412 51 | 402 | 343 1435.14/1435.60 c 1435s | 19 | 5916576 | 522882 | 30412 51 | 402 | 343 1437.14/1437.65 c 1437s | 19 | 5947970 | 524582 | 30412 51 | 402 | 343 1439.24/1439.79 c 1439s | 19 | 5971040 | 525982 | 30412 52 | 402 | 343 1441.54/1442.01 c 1441s | 19 | 5975439 | 527082 | 30412 52 | 402 | 343 1443.64/1444.19 c 1443s | 19 | 5979189 | 527782 | 30412 52 | 402 | 343 1445.74/1446.25 c 1445s | 19 | 5990822 | 529382 | 30412 52 | 402 | 343 1447.84/1448.33 c 1448s | 19 | 6013292 | 530882 | 30412 53 | 402 | 343 1450.13/1450.62 c 1450s | 19 | 6029989 | 531982 | 30412 53 | 403 | 344 1452.24/1452.72 c 1452s | 19 | 6031202 | 532482 | 30412 53 | 403 | 344 1454.34/1454.80 c 1454s | 19 | 6048551 | 533582 | 30412 54 | 403 | 344 1456.34/1456.88 c 1456s | 19 | 6058951 | 534882 | 30412 54 | 403 | 344 1458.44/1458.93 c 1458s | 19 | 6068636 | 536082 | 30412 54 | 403 | 344 1460.55/1461.07 c 1460s | 19 | 6074861 | 537382 | 30412 54 | 403 | 344 1462.65/1463.15 c 1462s | 19 | 6078811 | 538482 | 30412 54 | 403 | 344 1464.85/1465.33 c 1465s | 19 | 6081852 | 539582 | 30412 54 | 403 | 344 1466.94/1467.43 c 1467s | 19 | 6084980 | 540482 | 30412 55 | 403 | 344 1469.04/1469.56 c 1469s | 19 | 6090077 | 541682 | 30412 55 | 403 | 344 1471.14/1471.60 c 1471s | 19 | 6118184 | 543182 | 30412 56 | 403 | 344 1473.14/1473.60 c 1473s | 19 | 6134306 | 544782 | 30412 56 | 403 | 344 1475.14/1475.67 c 1475s | 19 | 6150953 | 546282 | 30412 56 | 403 | 344 1477.24/1477.72 c 1477s | 19 | 6157786 | 547382 | 30412 56 | 403 | 344 1479.24/1479.73 c 1479s | 19 | 6168286 | 548582 | 30412 56 | 403 | 344 1481.23/1481.76 c 1481s | 19 | 6171922 | 549482 | 30412 57 | 403 | 344 1483.43/1484.00 c 1483s | 19 | 6175189 | 550382 | 30412 57 | 403 | 344 1485.53/1486.08 c 1485s | 19 | 6178067 | 551182 | 30412 57 | 403 | 344 1487.83/1488.33 c 1488s | 19 | 6182565 | 552182 | 30412 57 | 403 | 344 1489.94/1490.47 c 1490s | 19 | 6187016 | 553082 | 30412 57 | 403 | 344 1492.24/1492.76 c 1492s | 19 | 6188355 | 553682 | 30412 57 | 403 | 344 1494.34/1494.86 c 1494s | 19 | 6191921 | 554382 | 30412 57 | 403 | 344 1496.54/1497.08 c 1496s | 19 | 6210148 | 555682 | 30412 58 | 405 | 346 1498.63/1499.18 c 1498s | 19 | 6236775 | 557282 | 30412 59 | 405 | 346 1500.73/1501.22 c 1500s | 19 | 6259496 | 558782 | 30412 60 | 405 | 346 1502.73/1503.28 c 1503s | 19 | 6294943 | 560382 | 30412 61 | 405 | 346 1504.83/1505.31 c 1505s | 19 | 6298734 | 561182 | 30412 61 | 405 | 346 1506.93/1507.42 c 1507s | 19 | 6311162 | 562382 | 30412 62 | 405 | 346 1508.94/1509.49 c 1509s | 19 | 6318781 | 563482 | 30412 62 | 405 | 346 1511.14/1511.60 c 1511s | 19 | 6320916 | 563882 | 30412 62 | 405 | 346 1513.63/1514.16 c 1513s | 19 | 6323453 | 564282 | 30412 63 | 405 | 346 1515.73/1516.21 c 1515s | 19 | 6348031 | 565982 | 30412 63 | 405 | 346 1517.93/1518.49 c 1518s | 19 | 6352290 | 566882 | 30412 63 | 405 | 346 1520.03/1520.59 c 1520s | 19 | 6354839 | 567582 | 30412 63 | 405 | 346 1522.22/1522.70 c 1522s | 19 | 6373964 | 568882 | 30412 64 | 405 | 346 1524.23/1524.71 c 1524s | 19 | 6400634 | 570482 | 30412 66 | 405 | 346 1526.32/1526.81 c 1526s | 19 | 6420463 | 572082 | 30412 66 | 405 | 346 1528.32/1528.83 c 1528s | 19 | 6452390 | 573782 | 30412 67 | 405 | 346 1530.32/1530.89 c 1530s | 19 | 6465816 | 575182 | 30412 68 | 405 | 346 1532.42/1532.95 c 1532s | 19 | 6496790 | 576882 | 30412 70 | 405 | 346 1534.42/1534.99 c 1534s | 19 | 6506715 | 578082 | 30412 70 | 405 | 346 1536.52/1537.05 c 1536s | 19 | 6516654 | 579582 | 30412 71 | 405 | 346 1538.63/1539.12 c 1538s | 19 | 6548393 | 581282 | 30412 73 | 405 | 346 1540.73/1541.21 c 1540s | 19 | 6581178 | 583082 | 30412 76 | 405 | 346 1542.82/1543.30 c 1543s | 19 | 6601526 | 584582 | 30412 77 | 405 | 346 1544.82/1545.39 c 1545s | 19 | 6630446 | 586382 | 30412 81 | 405 | 346 1547.02/1547.51 c 1547s | 19 | 6639775 | 587682 | 30412 82 | 405 | 346 1549.12/1549.62 c 1549s | 19 | 6659604 | 589382 | 30412 85 | 405 | 346 1551.22/1551.75 c 1551s | 19 | 6672170 | 590882 | 30412 87 | 405 | 346 1553.33/1553.83 c 1553s | 19 | 6674298 | 591582 | 30412 87 | 405 | 346 1555.43/1555.90 c 1555s | 19 | 6701195 | 593182 | 30412 93 | 405 | 346 1557.93/1558.41 c 1558s | 19 | 6721948 | 594482 | 30412 138 | 405 | 346 1561.12/1561.62 c 1561s | 19 | 6729574 | 594782 | 30412 275 | 405 | 346 1564.32/1564.86 c 1564s | 19 | 6733909 | 594982 | 30412 418 | 405 | 346 1567.42/1567.99 c 1567s | 19 | 6743153 | 595482 | 30412 541 | 405 | 346 1571.82/1572.31 c 1572s | 19 | 6752094 | 595982 | 30412 729 | 405 | 346 1573.83/1574.37 c 1574s | 19 | 6761732 | 596582 | 30412 795 | 405 | 346 1576.32/1576.86 c 1576s | 19 | 6771268 | 597182 | 30412 885 | 405 | 346 1578.32/1578.89 c 1578s | 19 | 6787817 | 597982 | 30412 940 | 405 | 346 1580.52/1581.07 c 1580s | 19 | 6789873 | 598082 | 30412 1057 | 405 | 346 1585.82/1586.35 c 1586s | 19 | 6793479 | 598282 | 30412 1339 | 405 | 346 1592.53/1593.06 c 1592s | 19 | 6796184 | 598482 | 30412 1705 | 405 | 346 1606.51/1607.09 c 1606s | 19 | 6805386 | 599482 | 30412 2377 | 405 | 346 1608.81/1609.34 c 1609s | 19 | 6820063 | 600582 | 30412 2409 | 405 | 346 1610.81/1611.35 c 1611s | 19 | 6822943 | 600782 | 30412 2497 | 405 | 346 1613.01/1613.51 c 1613s | 19 | 6829839 | 601082 | 30412 2583 | 405 | 346 1615.11/1615.62 c 1615s | 19 | 6845542 | 602282 | 30412 2613 | 405 | 346 1619.51/1620.07 c 1619s | 19 | 6859827 | 602982 | 30412 2785 | 405 | 346 1622.62/1623.19 c 1622s | 19 | 6863801 | 603082 | 30412 2932 | 405 | 346 1624.72/1625.22 c 1624s | 19 | 6871431 | 603582 | 30412 3007 | 405 | 346 1626.72/1627.28 c 1627s | 19 | 6880380 | 604982 | 30412 3007 | 405 | 346 1628.82/1629.30 c 1629s | 19 | 6888573 | 606182 | 30412 3008 | 405 | 346 1631.02/1631.55 c 1631s | 19 | 6890464 | 606982 | 30412 3008 | 405 | 346 1633.22/1633.77 c 1633s | 19 | 6893360 | 607682 | 30412 3008 | 405 | 346 1637.91/1638.43 c 1638s | 19 | 6897727 | 607982 | 30412 3198 | 405 | 346 1641.01/1641.59 c 1641s | 19 | 6899655 | 608082 | 30412 3352 | 405 | 346 1646.51/1647.04 c 1646s | 19 | 6901939 | 608182 | 30412 3634 | 405 | 346 1648.80/1649.34 c 1649s | 19 | 6903644 | 609082 | 30412 3634 | 405 | 346 1650.82/1651.39 c 1651s | 19 | 6906140 | 609882 | 30412 3634 | 405 | 346 1653.31/1653.85 c 1653s | 19 | 6908198 | 610582 | 30412 3634 | 405 | 346 1655.61/1656.14 c 1655s | 19 | 6909603 | 611082 | 30412 3635 | 405 | 346 1657.61/1658.15 c 1657s | 19 | 6911969 | 611982 | 30412 3635 | 405 | 346 1659.71/1660.24 c 1659s | 19 | 6913422 | 612682 | 30412 3635 | 405 | 346 1661.90/1662.42 c 1662s | 19 | 6915120 | 613182 | 30412 3635 | 405 | 346 1664.20/1664.73 c 1664s | 19 | 6917245 | 613782 | 30412 3636 | 405 | 346 1666.21/1666.73 c 1666s | 19 | 6919440 | 614582 | 30412 3636 | 405 | 346 1668.32/1668.90 c 1668s | 19 | 6920791 | 615182 | 30412 3636 | 405 | 346 1670.71/1671.21 c 1670s | 19 | 6922381 | 615682 | 30412 3636 | 405 | 346 1673.00/1673.52 c 1673s | 19 | 6923422 | 616082 | 30412 3636 | 405 | 346 1675.70/1676.25 c 1675s | 19 | 6925046 | 616582 | 30412 3637 | 405 | 346 1677.80/1678.36 c 1678s | 19 | 6928716 | 617582 | 30412 3637 | 405 | 346 1679.90/1680.46 c 1680s | 19 | 6930133 | 618082 | 30412 3637 | 405 | 346 1682.00/1682.52 c 1682s | 19 | 6931398 | 618582 | 30412 3637 | 405 | 346 1684.40/1684.93 c 1684s | 19 | 6931931 | 618882 | 30412 3637 | 405 | 346 1686.41/1686.99 c 1686s | 19 | 6933318 | 619382 | 30412 3638 | 405 | 346 1688.50/1689.08 c 1688s | 19 | 6937277 | 620382 | 30412 3638 | 405 | 346 1690.70/1691.24 c 1690s | 19 | 6939373 | 620982 | 30412 3638 | 405 | 346 1693.50/1694.05 c 1693s | 19 | 6940523 | 621482 | 30412 3638 | 405 | 346 1695.60/1696.16 c 1695s | 19 | 6942521 | 622182 | 30412 3639 | 405 | 346 1697.70/1698.25 c 1697s | 19 | 6944607 | 622882 | 30412 3639 | 405 | 346 1699.90/1700.46 c 1700s | 19 | 6946758 | 623582 | 30412 3639 | 405 | 346 1702.20/1702.73 c 1702s | 19 | 6948489 | 624282 | 30412 3639 | 405 | 346 1704.30/1704.80 c 1704s | 19 | 6950828 | 624982 | 30412 3640 | 405 | 346 1706.30/1706.83 c 1706s | 19 | 6953340 | 625882 | 30412 3640 | 405 | 346 1708.40/1708.98 c 1708s | 19 | 6954736 | 626482 | 30412 3640 | 405 | 346 1710.50/1711.05 c 1710s | 19 | 6957526 | 627382 | 30412 3641 | 405 | 346 1712.70/1713.28 c 1713s | 19 | 6959881 | 628182 | 30412 3641 | 405 | 346 1714.79/1715.34 c 1715s | 19 | 6960609 | 628582 | 30412 3641 | 405 | 346 1717.10/1717.62 c 1717s | 19 | 6962238 | 629182 | 30412 3641 | 405 | 346 1719.10/1719.67 c 1719s | 19 | 6963619 | 629782 | 30412 3642 | 405 | 346 1721.30/1721.85 c 1721s | 19 | 6965934 | 630482 | 30412 3642 | 405 | 346 1727.00/1727.58 c 1727s | 19 | 6972350 | 630982 | 30412 3831 | 405 | 346 1730.10/1730.61 c 1730s | 19 | 6977376 | 631182 | 30412 3972 | 405 | 346 1735.10/1735.63 c 1735s | 19 | 6980293 | 631282 | 30412 4219 | 405 | 346 1737.10/1737.68 c 1737s | 19 | 6983887 | 631482 | 30412 4313 | 405 | 346 1742.20/1742.75 c 1742s | 19 | 6987371 | 631582 | 30412 4564 | 405 | 346 1744.99/1745.50 c 1745s | 19 | 6993224 | 631782 | 30412 4686 | 405 | 346 1757.10/1757.60 c 1757s | 19 | 6995761 | 631882 | 30412 5283 | 405 | 346 1769.79/1770.30 c 1770s | 19 | 7000530 | 631982 | 30412 5915 | 405 | 346 1775.89/1776.48 c 1776s | 19 | 7002601 | 632082 | 30412 6221 | 405 | 346 1780.09/1780.64 c 1780s | 19 | 7007234 | 632382 | 30412 6415 | 405 | 346 1785.00/1785.52 c 1785s | 19 | 7010703 | 632482 | 30412 6653 | 405 | 346 1792.88/1793.44 c 1793s | 19 | 7012436 | 632582 | 30412 7057 | 405 | 346 1799.39/1799.90 c 1799s | 19 | 7014973 | 632682 | 30412 7385 | 405 | 346
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4078929-1465283435/watcher-4078929-1465283435 -o /tmp/evaluation-result-4078929-1465283435/solver-4078929-1465283435 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13562 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078929-1465283435.opb pid=18652 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.20 2.16 2.16 3/180 18655 /proc/meminfo: memFree=29259168/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=667068 CPUtime=0 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 2475 0 0 0 0 0 0 0 20 0 4 0 110275423 683077632 2836 33554432000 4194304 16246674 140734455128272 140734455127696 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 167279 2845 441 2943 0 164173 0 [pid=18655/tid=18656] ppid=18652 vsize=684476 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 700903424 2907 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=689596 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 706146304 2925 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=693692 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110275423 710340608 2942 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100183 s] /proc/loadavg: 2.20 2.16 2.16 3/180 18655 /proc/meminfo: memFree=29259168/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 27105 0 0 0 6 3 0 0 20 0 4 0 110275423 1333334016 27403 33554432000 4194304 16246674 140734455128272 140734455127584 7371468 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 325521 27418 800 2943 0 322415 0 [pid=18655/tid=18656] ppid=18652 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1333334016 27429 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1333334016 27441 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1333334016 27452 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200523 s] /proc/loadavg: 2.20 2.16 2.16 3/180 18655 /proc/meminfo: memFree=29259168/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1302084 CPUtime=0.19 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 43093 0 0 0 13 6 0 0 20 0 4 0 110275423 1333334016 43391 33554432000 4194304 16246674 140734455128272 140734455127584 13956064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 325521 43403 832 2943 0 322415 0 [pid=18655/tid=18656] ppid=18652 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1333334016 43409 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1333334016 43415 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1333334016 43421 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1302084 [startup+0.300495 s] /proc/loadavg: 2.20 2.16 2.16 3/180 18655 /proc/meminfo: memFree=29259168/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1302084 CPUtime=0.29 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 64453 0 0 0 20 9 0 0 20 0 4 0 110275423 1333334016 64751 33554432000 4194304 16246674 140734455128272 140734455127584 5531437 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 325521 64760 875 2943 0 322415 0 [pid=18655/tid=18656] ppid=18652 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1333334016 64767 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1333334016 64773 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1333334016 64779 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1302084 [startup+0.700406 s] /proc/loadavg: 2.20 2.16 2.16 3/180 18655 /proc/meminfo: memFree=29259168/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1312324 CPUtime=0.68 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 145035 0 0 0 50 18 0 0 20 0 4 0 110275423 1343819776 145333 33554432000 4194304 16246674 140734455128272 140734455127584 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 328081 145333 881 2943 0 324975 0 [pid=18655/tid=18656] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 145333 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 145333 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 145333 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1312324 [startup+1.50039 s] /proc/loadavg: 2.20 2.16 2.16 3/184 18659 /proc/meminfo: memFree=28678744/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1312324 CPUtime=1.49 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 221729 0 0 0 122 27 0 0 20 0 4 0 110275423 1343819776 222028 33554432000 4194304 16246674 140734455128272 140734455110144 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 328081 222037 881 2943 0 324975 0 [pid=18655/tid=18656] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 222043 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 222047 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 222052 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1312324 [startup+3.10037 s] /proc/loadavg: 2.18 2.15 2.16 3/184 18659 /proc/meminfo: memFree=28182372/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1312324 CPUtime=3.08 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 269261 0 0 0 275 33 0 0 20 0 4 0 110275423 1343819776 269559 33554432000 4194304 16246674 140734455128272 140734455110144 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 328081 269559 882 2943 0 324975 0 [pid=18655/tid=18656] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 269559 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 269559 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 269559 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1312324 [startup+6.3004 s] /proc/loadavg: 2.18 2.15 2.16 3/184 18659 /proc/meminfo: memFree=28182496/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1312324 CPUtime=6.28 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 269263 0 0 0 595 33 0 0 20 0 4 0 110275423 1343819776 269561 33554432000 4194304 16246674 140734455128272 140734455110144 5822224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 328081 269561 884 2943 0 324975 0 [pid=18655/tid=18656] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 269561 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 269561 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 269561 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1312324 [startup+12.7004 s] /proc/loadavg: 2.15 2.15 2.16 4/184 18659 /proc/meminfo: memFree=28182568/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1312324 CPUtime=12.69 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 269263 0 0 0 1235 34 0 0 20 0 4 0 110275423 1343819776 269561 33554432000 4194304 16246674 140734455128272 140734455110144 12483307 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 328081 269561 884 2943 0 324975 0 [pid=18655/tid=18656] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 269561 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 269561 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 269561 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1312324 [startup+25.5075 s] /proc/loadavg: 2.13 2.14 2.16 3/184 18659 /proc/meminfo: memFree=28182184/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1312324 CPUtime=25.5 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 269263 0 0 0 2516 34 0 0 20 0 4 0 110275423 1343819776 269561 33554432000 4194304 16246674 140734455128272 140734455110144 5721677 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 328081 269561 884 2943 0 324975 0 [pid=18655/tid=18656] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 269561 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 269561 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 269561 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 1312324 [startup+51.1004 s] /proc/loadavg: 2.15 2.15 2.16 3/183 18659 /proc/meminfo: memFree=28182492/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1312324 CPUtime=51.08 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 269264 0 0 0 5074 34 0 0 20 0 4 0 110275423 1343819776 269562 33554432000 4194304 16246674 140734455128272 140734455110144 12478207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 328081 269562 885 2943 0 324975 0 [pid=18655/tid=18656] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 269562 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 269562 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 269562 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1312324 [startup+102.3 s] /proc/loadavg: 2.19 2.15 2.16 3/183 18660 /proc/meminfo: memFree=28183964/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1312324 CPUtime=102.28 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 269264 0 0 0 10193 35 0 0 20 0 4 0 110275423 1343819776 269562 33554432000 4194304 16246674 140734455128272 140734455110144 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 328081 269562 885 2943 0 324975 0 [pid=18655/tid=18656] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 269562 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 269562 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1343819776 269562 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1312324 ################ # More data... # ################ /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1315396 [startup+1362.3 s] /proc/loadavg: 2.30 2.32 2.25 3/182 18691 /proc/meminfo: memFree=28175484/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1315396 CPUtime=1361.86 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 270436 0 0 0 136113 73 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140734455110144 13927423 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 328849 270334 885 2943 0 325743 0 [pid=18655/tid=18656] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1315396 [startup+1422.3 s] /proc/loadavg: 2.32 2.32 2.25 3/183 18694 /proc/meminfo: memFree=28174932/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1315396 CPUtime=1421.84 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 270438 0 0 0 142111 73 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140734455110144 12477780 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 328849 270334 885 2943 0 325743 0 [pid=18655/tid=18656] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1315396 [startup+1482.3 s] /proc/loadavg: 2.24 2.30 2.25 3/183 18695 /proc/meminfo: memFree=28175060/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1315396 CPUtime=1481.83 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 270438 0 0 0 148109 74 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140734455110144 5667484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 328849 270334 885 2943 0 325743 0 [pid=18655/tid=18656] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1315396 [startup+1542.3 s] /proc/loadavg: 2.27 2.30 2.25 3/183 18696 /proc/meminfo: memFree=28175284/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1315396 CPUtime=1541.83 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 270438 0 0 0 154108 75 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140734455110144 5717462 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 328849 270334 885 2943 0 325743 0 [pid=18655/tid=18656] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1315396 [startup+1602.3 s] /proc/loadavg: 2.20 2.28 2.25 3/183 18697 /proc/meminfo: memFree=28174672/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1315396 CPUtime=1601.81 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 270438 0 0 0 160103 78 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140734455127448 13818354 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 328849 270334 885 2943 0 325743 0 [pid=18655/tid=18656] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1315396 [startup+1662.31 s] /proc/loadavg: 2.21 2.27 2.24 3/183 18746 /proc/meminfo: memFree=28163732/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1315396 CPUtime=1661.81 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 270438 0 0 0 166100 81 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140734455127448 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 328849 270334 885 2943 0 325743 0 [pid=18655/tid=18656] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1315396 [startup+1722.3 s] /proc/loadavg: 2.26 2.27 2.24 3/183 18748 /proc/meminfo: memFree=28163328/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1315396 CPUtime=1721.8 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 270438 0 0 0 172096 84 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140734455110144 12483671 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 328849 270334 885 2943 0 325743 0 [pid=18655/tid=18656] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1315396 [startup+1782.3 s] /proc/loadavg: 2.23 2.26 2.24 3/184 18752 /proc/meminfo: memFree=28163164/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1315396 CPUtime=1781.79 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 270438 0 0 0 178092 87 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140734455110144 4225222 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 328849 270334 885 2943 0 325743 0 [pid=18655/tid=18656] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1315396 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.32 2.28 2.25 4/184 18753 /proc/meminfo: memFree=28163496/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1315396 CPUtime=1800.09 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 270438 0 0 0 179921 88 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140734455110144 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 328849 270334 885 2943 0 325743 0 [pid=18655/tid=18656] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1315396 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 18655 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.32 2.28 2.25 4/184 18753 /proc/meminfo: memFree=28163496/32872528 swapFree=17452/1581112 [pid=18655] ppid=18652 vsize=1315396 CPUtime=1800.09 cores=0,2,4,6 /proc/18655/stat : 18655 (toysat) R 18652 18655 13546 0 -1 4202496 270438 0 0 0 179921 88 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140734455110144 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18655/statm: 328849 270334 885 2943 0 325743 0 [pid=18655/tid=18656] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18656/stat : 18656 (toysat) S 18652 18655 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465303170288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18655/tid=18657] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18657/stat : 18657 (toysat) S 18652 18655 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465292680432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18655/tid=18658] ppid=18652 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/18655/task/18658/stat : 18658 (toysat) S 18652 18655 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110275423 1346965504 270334 33554432000 4194304 16246674 140734455128272 140465282206896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1315396 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.22 CPU system time (s): 0.885865 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 1315396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.22 system time used= 0.885865 maximum resident set size= 1081336 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270438 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= 420 involuntary context switches= 2123 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.998 second user time and 15.1237 second system time The end
Begin job on node139 at 2016-06-07 09:10:35 IDJOB=4078929 IDBENCH=90130 IDSOLVER=2542 FILE ID=node139/4078929-1465283435 RUNJOBID= node139-1465254943-13562 PBS_JOBID= 19843273 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K108.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078929-1465283435/watcher-4078929-1465283435 -o /tmp/evaluation-result-4078929-1465283435/solver-4078929-1465283435 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13562 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078929-1465283435.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a293d07a49a0e06ee574b1553fbf5b2b RANDOM SEED=490802592 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29259696 kB Buffers: 73524 kB Cached: 141612 kB SwapCached: 1412 kB Active: 1157176 kB Inactive: 135920 kB Active(anon): 1076120 kB Inactive(anon): 3552 kB Active(file): 81056 kB Inactive(file): 132368 kB Unevictable: 1581112 kB Mlocked: 17452 kB SwapTotal: 67108856 kB SwapFree: 67099812 kB Dirty: 16768 kB Writeback: 0 kB AnonPages: 2657120 kB Mapped: 10800 kB Shmem: 0 kB Slab: 599328 kB SReclaimable: 43376 kB SUnreclaim: 555952 kB KernelStack: 1504 kB PageTables: 9192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2800464 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1568768 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71700 MiB End job on node139 at 2016-06-07 09:40:35