| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.41 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-blp-ar98.opb |
| MD5SUM | 24f5fdc248e1411d713d304748099da5 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 20024 |
| Total number of constraints | 1258 |
| Number of constraints which are clauses | 1 |
| Number of constraints which are cardinality constraints (but not clauses) | 912 |
| Number of constraints which are nor clauses,nor cardinality constraints | 345 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 15837 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 262145 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524318 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 532272 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-18T03:36:37+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-4100449-1466213797.opb"] 0.00/0.01 c use --random-gen="699297571 1452590797 3560450454 4220831990 2161204602 2124361926 1265538984 3206647115 2309083949 3482647029 3375785707 4092956153 1221594907 4177151124 3671959365 2535701526 3979692798 3699399953 3800321455 3986499025 4173822548 941762469 2760439008 723127188 2059872312 2841332651 1709752228 829584609 2192194719 1244562353 1051457050 489635687 625170635 2952153526 745197967 3943095417 423319732 540336723 3329401949 3256842254 440588375 3250650997 657031173 97243626 2294729488 1121284674 1582856510 4111120698 4208172051 1445501734 2967800696 3995619622 1593850844 3845880316 2792352289 3344555691 3408453841 3057080269 1551384323 2187381412 381090956 1216094229 1119868177 675386680 317896660 2754934853 1050241696 3976742351 114650307 2496095774 1995599169 3197261411 1715672580 4147586019 1988899153 3168911824 1298907046 1016763014 2247236983 2307850923 2941363613 2451375023 4001215209 4266169045 1223001767 4154911903 3592168899 12675611 550020323 3223241802 675572647 2024738348 83717282 3325703001 1629536961 4104056415 2505618876 1198082851 712089044 2825167289 314745239 3022761205 434966289 1447696188 3302078202 2341571295 2314714435 1539931249 2685007880 1540181973 102379945 3261405598 1588776351 31961664 473661772 2945625672 3521363572 3886758821 3345598546 3730577256 76958766 4234772644 2712917814 311327945 2563883502 2444198416 2031433575 3784074421 3276525038 91221245 385744401 3319531046 2060669381 3005266501 3303328712 3934987135 3753111085 1444026838 1411789453 632491267 3986009375 2765873152 2372781153 152297911 850517735 1649636286 3921014638 283563191 377985752 869648754 1289516378 2651441615 1572257169 3985551738 628302316 985483640 2429526404 1556538530 4199076553 3368666483 1563746603 3115670001 52332447 3193846585 2027255186 2172100660 2498983647 3912326146 430010667 1868185546 1762162027 1232418631 2085378186 1136650263 2328205482 502272517 3271837069 3205062323 819336731 183715915 2604800553 699103072 515769388 3968837854 2260157178 3762934939 4087811802 3266877399 859641943 2374005934 2819435999 624474512 3158720095 2442817264 3507350209 3487568238 1784406090 1172898597 2981105557 1074456572 2000152811 3318065047 3862859977 3587965649 3696089012 2683180679 1568141990 642194035 1261856692 1123438061 36248396 2398701507 1093294438 1675709561 2410102367 3403825980 2780043889 4068476191 764986008 2318527214 1359910557 2292922978 2173673271 2827259408 948803984 45726880 3845848624 1841475627 973265526 2260505901 555434728 1327536867 2527273595 3311084098 2916499283 1328421442 127620997 1782531952 1254629733 1704446832 2375089512 1286714828 738270235 43141365 1839436442 2435973029 3517249949 1693478063 4101788268 631439762 5107484 1427690321 1338052739 1386221439 3921034393 2145933500 255 362436" option to reproduce the execution 0.29/0.38 c #vars 20024 0.29/0.38 c #constraints 1258 2.89/2.94 c BCD2: Hardening is enabled. 2.89/2.94 c BCD2: BiasedSearch is enabled. 2.89/2.94 c Solving starts ... 2.89/2.94 c ============================[ Search Statistics ]============================ 2.89/2.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.89/2.94 c | | | | Limit GC | Var | Constra 2.89/2.94 c ============================================================================= 2.89/2.94 c 0.0s | 0 | 0 | 0 | 7165 0 | 576 | 0 5.39/5.42 c 2.5s | 0 | 8133 | 100 | 7165 0 | 576 | 0 5.39/5.45 c 2.5s | 1 | 8133 | 100 | 7165 0 | 576 | 0 10.69/10.78 c 7.8s | 1 | 9026 | 200 | 7882 0 | 576 | 0 12.69/12.71 c 9.8s | 2 | 9063 | 250 | 7882 0 | 576 | 0 18.69/18.71 c 15.8s | 2 | 26042 | 350 | 8671 0 | 576 | 0 23.68/23.72 c 20.8s | 2 | 28253 | 450 | 8671 0 | 576 | 0 24.38/24.49 c 21.6s | 3 | 28859 | 475 | 8671 0 | 576 | 0 28.39/28.40 c 25.5s | 3 | 43049 | 575 | 9539 0 | 576 | 0 31.89/31.93 c 29.0s | 3 | 43697 | 775 | 9539 0 | 576 | 0 33.28/33.32 c 30.4s | 4 | 43904 | 813 | 9539 0 | 576 | 0 37.58/37.69 c 34.8s | 4 | 45514 | 1013 | 10493 0 | 576 | 0 43.88/43.96 c 41.0s | 4 | 48316 | 1113 | 10493 0 | 576 | 0 47.18/47.21 c 44.3s | 4 | 51028 | 1213 | 10493 0 | 576 | 0 48.18/48.29 c 45.4s | 5 | 51254 | 1320 | 10493 0 | 576 | 0 54.28/54.35 c 51.4s | 5 | 57569 | 1420 | 11543 0 | 576 | 0 61.78/61.88 c 58.9s | 5 | 62459 | 1520 | 11543 0 | 576 | 0 64.58/64.62 c 61.7s | 5 | 64784 | 1620 | 11543 0 | 576 | 0 67.48/67.53 c 64.6s | 5 | 66289 | 1820 | 11543 0 | 576 | 0 69.48/69.58 c 66.6s | 5 | 69608 | 2020 | 11543 0 | 576 | 0 70.18/70.20 c 67.3s | 6 | 71232 | 2081 | 12698 0 | 576 | 0 73.79/73.86 c 70.9s | 6 | 77317 | 2381 | 12698 0 | 576 | 0 76.18/76.24 c 73.3s | 6 | 77744 | 2581 | 12698 0 | 576 | 0 78.28/78.39 c 75.5s | 6 | 77911 | 2681 | 12698 0 | 576 | 0 85.08/85.11 c 82.2s | 6 | 79169 | 2881 | 12698 0 | 576 | 0 88.18/88.24 c 85.3s | 6 | 79918 | 2981 | 12698 0 | 576 | 0 91.98/92.07 c 89.1s | 6 | 80947 | 3181 | 12698 0 | 576 | 0 92.38/92.49 c 89.6s | 7 | 81019 | 3223 | 13968 0 | 576 | 0 100.68/100.76 c 97.8s | 7 | 86366 | 3523 | 13968 0 | 576 | 0 107.78/107.86 c 104s | 7 | 92498 | 3623 | 13968 0 | 576 | 0 112.18/112.26 c 109s | 7 | 96463 | 3723 | 13968 0 | 576 | 0 114.88/114.98 c 112s | 7 | 96810 | 4023 | 13968 0 | 576 | 0 120.17/120.27 c 117s | 7 | 104856 | 4123 | 13968 0 | 576 | 0 126.87/126.97 c 124s | 7 | 116970 | 4223 | 13968 0 | 576 | 0 133.77/133.87 c 130s | 7 | 121713 | 4323 | 13968 0 | 576 | 0 141.07/141.14 c 138s | 7 | 125337 | 4423 | 13968 0 | 576 | 0 143.77/143.82 c 140s | 7 | 125668 | 4623 | 13968 0 | 576 | 0 146.57/146.68 c 143s | 7 | 130009 | 4723 | 13968 0 | 576 | 0 150.37/150.42 c 147s | 7 | 134243 | 4923 | 15365 0 | 576 | 0 150.57/150.63 c 147s | 8 | 134441 | 4936 | 15365 0 | 576 | 0 153.07/153.17 c 150s | 8 | 144806 | 5036 | 15365 0 | 576 | 0 158.37/158.46 c 155s | 8 | 145511 | 5136 | 15365 0 | 576 | 0 161.57/161.68 c 158s | 8 | 157080 | 5336 | 15365 0 | 576 | 0 163.97/164.06 c 161s | 8 | 161122 | 5536 | 15365 0 | 576 | 0 166.37/166.41 c 163s | 8 | 161705 | 5736 | 15365 0 | 576 | 0 168.67/168.73 c 165s | 8 | 162408 | 5936 | 15365 0 | 576 | 0 173.47/173.59 c 170s | 8 | 173283 | 6136 | 15365 0 | 576 | 0 176.47/176.58 c 173s | 8 | 190393 | 6236 | 15365 0 | 576 | 0 180.06/180.18 c 177s | 8 | 197808 | 6336 | 15365 0 | 576 | 0 182.16/182.25 c 179s | 8 | 198308 | 6436 | 15365 0 | 576 | 0 185.36/185.40 c 182s | 8 | 200754 | 6636 | 15365 0 | 576 | 0 191.96/192.09 c 189s | 8 | 205429 | 6736 | 15365 0 | 576 | 0 196.66/196.73 c 193s | 8 | 210257 | 6836 | 15365 0 | 576 | 0 203.66/203.73 c 200s | 8 | 219177 | 6936 | 15365 0 | 576 | 0 208.56/208.68 c 205s | 8 | 220002 | 7036 | 15365 0 | 576 | 0 211.16/211.26 c 208s | 8 | 222377 | 7236 | 15365 0 | 576 | 0 214.26/214.31 c 211s | 8 | 222872 | 7436 | 15365 0 | 576 | 0 216.56/216.69 c 213s | 9 | 223368 | 7506 | 16902 0 | 576 | 0 223.26/223.38 c 220s | 9 | 226026 | 7606 | 16902 0 | 576 | 0 227.56/227.67 c 224s | 9 | 234459 | 7706 | 16902 0 | 576 | 0 232.16/232.26 c 229s | 9 | 235003 | 7806 | 16902 0 | 576 | 0 234.96/235.04 c 232s | 9 | 242006 | 7906 | 16902 0 | 576 | 0 238.66/238.72 c 235s | 9 | 250595 | 8006 | 16902 0 | 576 | 0 243.95/244.03 c 241s | 9 | 254166 | 8106 | 16902 0 | 576 | 0 247.56/247.68 c 244s | 9 | 254769 | 8306 | 16902 0 | 576 | 0 250.55/250.67 c 247s | 9 | 260429 | 8406 | 16902 0 | 576 | 0 255.16/255.30 c 252s | 9 | 270715 | 8506 | 16902 0 | 576 | 0 257.75/257.81 c 254s | 9 | 285149 | 8606 | 16902 0 | 576 | 0 262.15/262.22 c 259s | 9 | 293543 | 8706 | 16902 0 | 576 | 0 266.26/266.36 c 263s | 9 | 294947 | 9006 | 16902 0 | 576 | 0 274.45/274.54 c 271s | 9 | 299641 | 9206 | 16902 0 | 576 | 0 281.15/281.29 c 278s | 9 | 306262 | 9306 | 16902 0 | 576 | 0 288.25/288.30 c 285s | 9 | 316541 | 9406 | 16902 0 | 576 | 0 292.95/293.04 c 290s | 9 | 321810 | 9506 | 16902 0 | 576 | 0 295.35/295.44 c 292s | 9 | 322153 | 9606 | 16902 0 | 576 | 0 297.65/297.72 c 294s | 9 | 322628 | 9806 | 16902 0 | 576 | 0 300.15/300.28 c 297s | 9 | 325536 | 9906 | 16902 0 | 576 | 0 302.25/302.31 c 299s | 9 | 326475 | 10006 | 16902 0 | 576 | 0 308.64/308.70 c 305s | 9 | 327488 | 10106 | 16902 0 | 576 | 0 315.94/316.00 c 313s | 9 | 329055 | 10206 | 16902 0 | 576 | 0 320.84/320.97 c 318s | 9 | 344173 | 10306 | 16902 0 | 577 | 0 324.14/324.21 c 321s | 9 | 353204 | 10406 | 16902 0 | 577 | 0 333.54/333.60 c 330s | 9 | 357225 | 10506 | 16902 0 | 577 | 0 336.84/336.94 c 334s | 9 | 362516 | 10706 | 16902 0 | 577 | 0 339.04/339.13 c 336s | 9 | 363247 | 10906 | 16902 0 | 577 | 0 341.44/341.56 c 338s | 9 | 363287 | 11006 | 16902 0 | 577 | 0 344.84/344.94 c 342s | 9 | 364735 | 11206 | 16902 0 | 577 | 0 350.44/350.52 c 347s | 9 | 365158 | 11306 | 18593 0 | 577 | 0 354.04/354.10 c 351s | 10 | 367519 | 11361 | 18593 0 | 577 | 0 360.14/360.26 c 357s | 10 | 378405 | 11461 | 18593 0 | 577 | 0 365.03/365.18 c 362s | 10 | 385074 | 11561 | 18593 0 | 577 | 0 372.13/372.20 c 369s | 10 | 385614 | 11661 | 18593 0 | 577 | 0 374.13/374.26 c 371s | 10 | 385934 | 11761 | 18593 0 | 577 | 0 378.23/378.31 c 375s | 10 | 386453 | 11961 | 18593 0 | 577 | 0 380.83/380.95 c 378s | 10 | 387221 | 12161 | 18593 0 | 577 | 0 383.13/383.21 c 380s | 10 | 387591 | 12361 | 18593 0 | 577 | 0 387.43/387.60 c 384s | 10 | 388451 | 12461 | 18593 0 | 577 | 0 392.43/392.52 c 389s | 10 | 403600 | 12561 | 18593 0 | 577 | 0 400.33/400.43 c 397s | 10 | 405758 | 12661 | 18593 0 | 577 | 0 406.53/406.65 c 403s | 10 | 406604 | 12761 | 18593 0 | 577 | 0 409.53/409.67 c 406s | 10 | 406816 | 12861 | 18593 0 | 577 | 0 412.43/412.58 c 409s | 10 | 407014 | 12961 | 18593 0 | 577 | 0 415.03/415.19 c 412s | 10 | 407776 | 13061 | 18593 0 | 577 | 0 417.63/417.72 c 414s | 10 | 410641 | 13161 | 18593 0 | 577 | 0 421.53/421.69 c 418s | 10 | 415598 | 13261 | 18593 0 | 577 | 0 428.42/428.57 c 425s | 10 | 416692 | 13461 | 18593 0 | 577 | 0 435.32/435.48 c 432s | 10 | 417368 | 13561 | 18593 0 | 577 | 0 439.02/439.12 c 436s | 10 | 417944 | 13861 | 18593 0 | 577 | 0 441.32/441.45 c 438s | 10 | 419917 | 13961 | 18593 0 | 577 | 0 443.82/443.96 c 441s | 10 | 420679 | 14161 | 18593 0 | 577 | 0 447.22/447.33 c 444s | 10 | 424339 | 14261 | 18593 0 | 577 | 0 451.12/451.27 c 448s | 10 | 425851 | 14561 | 18593 0 | 577 | 0 457.32/457.46 c 454s | 10 | 426817 | 14661 | 18593 0 | 577 | 0 461.02/461.15 c 458s | 10 | 426983 | 14761 | 18593 0 | 577 | 0 464.23/464.31 c 461s | 10 | 435243 | 14861 | 18593 0 | 577 | 0 467.62/467.75 c 464s | 10 | 442173 | 14961 | 18593 0 | 577 | 0 470.52/470.60 c 467s | 10 | 444908 | 15061 | 18593 0 | 577 | 0 473.32/473.47 c 470s | 10 | 447221 | 15161 | 18593 0 | 577 | 0 475.62/475.76 c 472s | 10 | 450595 | 15461 | 18593 0 | 577 | 0 477.82/478.00 c 475s | 10 | 450963 | 15561 | 18593 0 | 577 | 0 480.82/480.99 c 478s | 10 | 452220 | 15661 | 18593 0 | 577 | 0 484.02/484.14 c 481s | 10 | 452801 | 15761 | 18593 0 | 577 | 0 486.82/486.91 c 483s | 10 | 455887 | 15961 | 18593 0 | 577 | 0 488.92/489.01 c 486s | 10 | 456208 | 16061 | 18593 0 | 577 | 0 493.52/493.62 c 490s | 10 | 459499 | 16261 | 18593 0 | 577 | 0 496.51/496.64 c 493s | 10 | 464146 | 16461 | 18593 0 | 577 | 0 498.91/499.04 c 496s | 10 | 467315 | 16561 | 18593 0 | 577 | 0 501.71/501.87 c 498s | 10 | 475677 | 16761 | 18593 0 | 577 | 0 504.82/504.95 c 502s | 10 | 487899 | 16961 | 18593 0 | 577 | 0 507.31/507.40 c 504s | 11 | 488337 | 17144 | 20453 0 | 577 | 0 510.71/510.87 c 507s | 11 | 489126 | 17244 | 20453 0 | 577 | 0 514.01/514.11 c 511s | 11 | 489145 | 17344 | 20453 0 | 577 | 0 517.11/517.27 c 514s | 11 | 490035 | 17544 | 20453 0 | 577 | 0 520.11/520.23 c 517s | 11 | 500691 | 17944 | 20453 0 | 577 | 0 523.11/523.26 c 520s | 11 | 504712 | 18244 | 20453 0 | 577 | 0 528.21/528.35 c 525s | 11 | 506957 | 18444 | 20453 0 | 577 | 0 530.31/530.45 c 527s | 11 | 509846 | 18544 | 20453 0 | 577 | 0 532.91/533.02 c 530s | 11 | 518673 | 18744 | 20453 0 | 577 | 0 536.21/536.31 c 533s | 11 | 520515 | 18944 | 20453 0 | 577 | 0 539.02/539.19 c 536s | 11 | 531460 | 19144 | 20453 0 | 577 | 0 541.31/541.47 c 538s | 11 | 532322 | 19344 | 20453 0 | 577 | 0 546.91/547.01 c 544s | 11 | 535538 | 19544 | 20453 0 | 577 | 0 553.21/553.38 c 550s | 11 | 546164 | 19644 | 20453 0 | 577 | 0 559.70/559.82 c 556s | 11 | 552602 | 19744 | 20453 0 | 577 | 0 566.41/566.52 c 563s | 11 | 555966 | 19844 | 20453 0 | 577 | 0 568.40/568.58 c 565s | 11 | 557270 | 19944 | 20453 0 | 577 | 0 570.70/570.84 c 567s | 11 | 557537 | 20144 | 20453 0 | 577 | 0 573.01/573.19 c 570s | 11 | 558027 | 20244 | 20453 0 | 577 | 0 576.90/577.09 c 574s | 11 | 559315 | 20544 | 20453 0 | 577 | 0 583.40/583.51 c 580s | 11 | 559754 | 20644 | 20453 0 | 577 | 0 589.00/589.13 c 586s | 11 | 559952 | 20744 | 20453 0 | 577 | 0 591.20/591.36 c 588s | 11 | 560652 | 20844 | 20453 0 | 577 | 0 594.10/594.23 c 591s | 11 | 566897 | 20944 | 20453 0 | 577 | 0 598.30/598.49 c 595s | 11 | 575690 | 21044 | 20453 0 | 577 | 0 605.10/605.27 c 602s | 11 | 579462 | 21144 | 20453 0 | 577 | 0 608.20/608.36 c 605s | 11 | 579838 | 21244 | 20453 0 | 577 | 0 613.00/613.10 c 610s | 11 | 580605 | 21344 | 20453 0 | 577 | 0 619.99/620.12 c 617s | 11 | 580896 | 21444 | 20453 0 | 577 | 0 623.79/623.91 c 620s | 11 | 587921 | 21644 | 20453 0 | 577 | 0 627.79/627.99 c 625s | 11 | 599636 | 21744 | 20453 0 | 577 | 0 633.29/633.49 c 630s | 11 | 606321 | 21844 | 20453 0 | 577 | 0 638.49/638.61 c 635s | 11 | 608053 | 21944 | 20453 0 | 577 | 0 640.79/640.96 c 638s | 11 | 610118 | 22044 | 20453 1 | 577 | 0 645.29/645.47 c 642s | 11 | 611511 | 22244 | 20453 1 | 577 | 0 648.59/648.76 c 645s | 11 | 612161 | 22444 | 20453 1 | 577 | 0 651.20/651.38 c 648s | 11 | 615398 | 22644 | 20453 1 | 577 | 0 654.29/654.48 c 651s | 11 | 621296 | 22844 | 20453 1 | 577 | 0 657.39/657.55 c 654s | 11 | 626888 | 23144 | 20453 1 | 577 | 0 660.49/660.69 c 657s | 11 | 629109 | 23344 | 20453 1 | 577 | 0 662.89/663.05 c 660s | 11 | 630882 | 23644 | 20453 1 | 577 | 0 668.79/668.97 c 666s | 11 | 631729 | 23844 | 20453 1 | 577 | 0 675.99/676.13 c 673s | 11 | 631970 | 23944 | 20453 1 | 577 | 0 682.69/682.89 c 679s | 11 | 641088 | 24044 | 20453 1 | 577 | 0 688.38/688.50 c 685s | 11 | 643942 | 24144 | 20453 1 | 577 | 0 691.89/692.04 c 689s | 11 | 645607 | 24244 | 20453 1 | 577 | 0 694.58/694.72 c 691s | 11 | 650520 | 24344 | 20453 1 | 577 | 0 697.78/697.93 c 694s | 11 | 651409 | 24544 | 20453 1 | 577 | 0 701.79/701.90 c 698s | 11 | 652217 | 24644 | 20453 1 | 577 | 0 704.18/704.37 c 701s | 11 | 652800 | 24744 | 20453 1 | 577 | 0 707.38/707.52 c 704s | 11 | 660644 | 25044 | 20453 1 | 577 | 0 709.78/709.92 c 706s | 11 | 661753 | 25244 | 20453 1 | 577 | 0 713.89/714.03 c 711s | 11 | 668376 | 25444 | 20453 1 | 577 | 0 716.48/716.62 c 713s | 11 | 674962 | 25544 | 20453 1 | 577 | 0 723.88/724.09 c 721s | 11 | 675100 | 25644 | 20453 1 | 577 | 0 726.18/726.32 c 723s | 11 | 675262 | 25744 | 22499 1 | 577 | 0 727.68/727.83 c 724s | 12 | 677051 | 25819 | 22499 1 | 577 | 0 730.58/730.72 c 727s | 12 | 688919 | 26019 | 22499 1 | 577 | 0 732.88/733.02 c 730s | 12 | 691288 | 26219 | 22499 1 | 577 | 0 735.28/735.42 c 732s | 12 | 692043 | 26419 | 22499 1 | 577 | 0 737.38/737.53 c 734s | 12 | 693023 | 26519 | 22499 1 | 577 | 0 743.87/744.07 c 741s | 12 | 695835 | 26719 | 22499 1 | 577 | 0 746.47/746.62 c 743s | 12 | 697928 | 26919 | 22499 1 | 577 | 0 749.47/749.62 c 746s | 12 | 700197 | 27119 | 22499 1 | 577 | 0 756.87/757.02 c 754s | 12 | 704106 | 27219 | 22499 1 | 577 | 0 759.47/759.68 c 756s | 12 | 705002 | 27419 | 22499 1 | 577 | 0 761.87/762.02 c 759s | 12 | 707633 | 27519 | 22499 1 | 577 | 0 765.07/765.21 c 762s | 12 | 709575 | 27819 | 22499 1 | 577 | 0 768.67/768.90 c 765s | 12 | 710091 | 28019 | 22499 1 | 577 | 0 771.57/771.71 c 768s | 12 | 717757 | 28119 | 22499 1 | 577 | 0 777.77/777.92 c 774s | 12 | 721497 | 28219 | 22499 1 | 577 | 0 783.27/783.46 c 780s | 12 | 725903 | 28319 | 22499 1 | 577 | 0 786.17/786.36 c 783s | 12 | 731920 | 28519 | 22499 1 | 577 | 0 789.17/789.36 c 786s | 12 | 733634 | 28819 | 22499 1 | 577 | 0 791.67/791.86 c 788s | 12 | 736749 | 28919 | 22499 1 | 577 | 0 795.37/795.59 c 792s | 12 | 738689 | 29219 | 22499 1 | 577 | 0 798.17/798.38 c 795s | 12 | 739623 | 29319 | 22499 1 | 577 | 0 805.17/805.36 c 802s | 12 | 739890 | 29419 | 22499 1 | 577 | 0 811.26/811.42 c 808s | 12 | 750492 | 29519 | 22499 1 | 577 | 0 818.37/818.52 c 815s | 12 | 755201 | 29619 | 22499 1 | 577 | 0 824.36/824.56 c 821s | 12 | 757184 | 29719 | 22499 1 | 577 | 0 828.27/828.43 c 825s | 12 | 758028 | 29819 | 22499 1 | 577 | 0 830.47/830.63 c 827s | 12 | 758221 | 29919 | 22499 1 | 577 | 0 833.46/833.64 c 830s | 12 | 759344 | 30019 | 22499 1 | 577 | 0 836.96/837.14 c 834s | 12 | 760251 | 30119 | 22499 1 | 577 | 0 843.86/844.06 c 841s | 12 | 761148 | 30219 | 22499 1 | 577 | 0 850.76/850.96 c 848s | 12 | 771441 | 30319 | 22499 1 | 577 | 0 855.66/855.89 c 852s | 12 | 776243 | 30419 | 22499 1 | 577 | 0 857.96/858.18 c 855s | 12 | 776609 | 30519 | 22499 1 | 577 | 0 861.16/861.30 c 858s | 12 | 777643 | 30619 | 22499 1 | 577 | 0 863.36/863.57 c 860s | 12 | 778484 | 30819 | 22499 1 | 577 | 0 866.15/866.33 c 863s | 12 | 781558 | 31019 | 22499 1 | 577 | 0 872.35/872.60 c 869s | 12 | 782474 | 31219 | 22499 1 | 577 | 0 879.55/879.71 c 876s | 12 | 786578 | 31319 | 22499 1 | 577 | 0 885.65/885.89 c 882s | 12 | 795704 | 31419 | 22499 1 | 577 | 0 893.55/893.76 c 890s | 12 | 800280 | 31519 | 22499 1 | 577 | 0 897.25/897.43 c 894s | 12 | 800534 | 31619 | 22499 1 | 577 | 0 900.85/901.03 c 898s | 12 | 800845 | 31719 | 22499 1 | 577 | 0 906.45/906.63 c 903s | 12 | 802085 | 31819 | 22499 1 | 577 | 0 913.95/914.14 c 911s | 12 | 803204 | 31919 | 22499 1 | 577 | 0 920.55/920.80 c 917s | 12 | 813876 | 32019 | 22499 1 | 577 | 0 927.25/927.41 c 924s | 12 | 820730 | 32119 | 22499 1 | 577 | 0 932.84/933.02 c 930s | 12 | 821594 | 32219 | 22499 1 | 577 | 0 936.05/936.21 c 933s | 12 | 821931 | 32319 | 22499 1 | 577 | 0 938.74/938.96 c 936s | 12 | 824843 | 32419 | 22499 1 | 577 | 0 941.74/941.92 c 938s | 12 | 829427 | 32519 | 22499 1 | 577 | 0 945.64/945.84 c 942s | 12 | 830038 | 32619 | 22499 1 | 577 | 0 952.94/953.13 c 950s | 12 | 830110 | 32719 | 22499 1 | 577 | 0 955.04/955.24 c 952s | 12 | 830328 | 32819 | 22499 1 | 577 | 0 958.24/958.49 c 955s | 12 | 835470 | 32919 | 22499 1 | 577 | 0 961.43/961.67 c 958s | 12 | 839048 | 33019 | 22499 1 | 577 | 0 964.73/964.98 c 962s | 12 | 844262 | 33119 | 22499 1 | 577 | 0 968.13/968.37 c 965s | 12 | 845744 | 33219 | 22499 1 | 577 | 0 971.03/971.28 c 968s | 12 | 846443 | 33419 | 22499 1 | 577 | 0 977.93/978.12 c 975s | 12 | 846974 | 33519 | 22499 1 | 577 | 0 985.33/985.60 c 982s | 12 | 853168 | 33619 | 22499 1 | 577 | 0 990.33/990.51 c 987s | 12 | 855792 | 33719 | 22499 1 | 577 | 0 993.13/993.37 c 990s | 12 | 863009 | 33819 | 22499 1 | 577 | 0 996.33/996.55 c 993s | 12 | 870734 | 34019 | 22499 1 | 577 | 0 998.83/999.07 c 996s | 12 | 871332 | 34219 | 22499 1 | 577 | 0 1001.53/1001.73 c 998s | 12 | 871731 | 34419 | 22499 1 | 577 | 0 1004.43/1004.63 c 1001s | 12 | 875011 | 34519 | 22499 1 | 577 | 0 1007.93/1008.16 c 1005s | 12 | 877287 | 34619 | 22499 1 | 577 | 0 1010.94/1011.19 c 1008s | 12 | 878202 | 34819 | 22499 1 | 577 | 0 1014.33/1014.51 c 1011s | 12 | 882083 | 35019 | 22499 1 | 577 | 0 1018.63/1018.87 c 1015s | 12 | 892271 | 35219 | 22499 1 | 577 | 0 1021.13/1021.35 c 1018s | 12 | 893683 | 35419 | 22499 1 | 577 | 0 1024.53/1024.79 c 1021s | 12 | 894080 | 35619 | 22499 1 | 577 | 0 1026.93/1027.14 c 1024s | 12 | 894332 | 35719 | 22499 1 | 577 | 0 1033.83/1034.02 c 1031s | 12 | 894738 | 35819 | 22499 2 | 577 | 0 1040.82/1041.05 c 1038s | 12 | 901745 | 35919 | 22499 2 | 577 | 0 1047.92/1048.15 c 1045s | 12 | 912050 | 36019 | 22499 2 | 577 | 0 1052.53/1052.80 c 1049s | 12 | 913182 | 36119 | 22499 2 | 577 | 0 1056.12/1056.30 c 1053s | 12 | 913811 | 36419 | 22499 2 | 577 | 0 1060.12/1060.33 c 1057s | 12 | 914566 | 36519 | 22499 2 | 577 | 0 1066.02/1066.20 c 1063s | 12 | 914604 | 36619 | 22499 2 | 577 | 0 1072.62/1072.85 c 1069s | 12 | 916045 | 36719 | 22499 2 | 577 | 0 1078.62/1078.80 c 1075s | 12 | 923703 | 36819 | 22499 2 | 577 | 0 1081.52/1081.78 c 1078s | 12 | 928892 | 36919 | 22499 2 | 577 | 0 1084.32/1084.60 c 1081s | 12 | 929930 | 37019 | 22499 2 | 577 | 0 1087.52/1087.76 c 1084s | 12 | 931404 | 37219 | 22499 2 | 577 | 0 1091.62/1091.81 c 1088s | 12 | 932914 | 37419 | 22499 2 | 577 | 0 1094.61/1094.89 c 1091s | 12 | 933348 | 37519 | 22499 2 | 577 | 0 1098.21/1098.46 c 1095s | 12 | 934664 | 37819 | 22499 2 | 577 | 0 1100.71/1100.97 c 1098s | 12 | 939632 | 37919 | 22499 2 | 577 | 0 1105.21/1105.45 c 1102s | 12 | 941677 | 38019 | 22499 2 | 577 | 0 1109.51/1109.73 c 1106s | 12 | 945102 | 38119 | 22499 2 | 577 | 0 1112.81/1113.06 c 1110s | 12 | 952608 | 38219 | 22499 2 | 577 | 0 1115.21/1115.49 c 1112s | 12 | 953865 | 38319 | 22499 2 | 577 | 0 1117.61/1117.85 c 1114s | 12 | 955414 | 38519 | 22499 2 | 577 | 0 1119.81/1120.00 c 1117s | 12 | 955989 | 38719 | 24749 2 | 577 | 0 1123.31/1123.55 c 1120s | 12 | 956714 | 38819 | 24749 2 | 577 | 0 1124.21/1124.40 c 1121s | 13 | 956714 | 38832 | 24749 2 | 577 | 0 1131.21/1131.40 c 1128s | 13 | 957788 | 38932 | 24749 2 | 577 | 0 1137.81/1138.06 c 1135s | 13 | 964967 | 39032 | 24749 2 | 577 | 0 1145.01/1145.22 c 1142s | 13 | 971001 | 39132 | 24749 2 | 577 | 0 1148.00/1148.28 c 1145s | 13 | 973016 | 39332 | 24749 2 | 577 | 0 1151.40/1151.66 c 1148s | 13 | 976966 | 39432 | 24749 2 | 577 | 0 1154.80/1155.03 c 1152s | 13 | 978554 | 39732 | 24749 2 | 577 | 0 1159.10/1159.38 c 1156s | 13 | 979987 | 39932 | 24749 2 | 577 | 0 1161.50/1161.75 c 1158s | 13 | 980757 | 40032 | 24749 2 | 577 | 0 1163.70/1163.94 c 1161s | 13 | 981978 | 40332 | 24749 2 | 577 | 0 1166.29/1166.57 c 1163s | 13 | 983041 | 40532 | 24749 2 | 577 | 0 1170.59/1170.84 c 1167s | 13 | 985139 | 40732 | 24749 2 | 577 | 0 1173.49/1173.74 c 1170s | 13 | 987742 | 40932 | 24749 2 | 577 | 0 1178.00/1178.23 c 1175s | 13 | 989791 | 41232 | 24749 2 | 577 | 0 1180.09/1180.38 c 1177s | 13 | 991134 | 41332 | 24749 2 | 577 | 0 1182.68/1182.96 c 1180s | 13 | 994385 | 41632 | 24749 2 | 577 | 0 1185.38/1185.69 c 1182s | 13 | 997842 | 41832 | 24749 2 | 577 | 0 1187.48/1187.71 c 1184s | 13 | 998198 | 42032 | 24749 2 | 577 | 0 1191.08/1191.31 c 1188s | 13 | 998712 | 42232 | 24749 2 | 577 | 0 1194.18/1194.49 c 1191s | 13 | 999501 | 42332 | 24749 2 | 577 | 0 1200.87/1201.13 c 1198s | 13 | 1001973 | 42432 | 24749 2 | 577 | 0 1206.07/1206.38 c 1203s | 13 | 1003089 | 42532 | 24749 2 | 577 | 0 1209.78/1210.08 c 1207s | 13 | 1003948 | 42732 | 24749 2 | 577 | 0 1215.87/1216.10 c 1213s | 13 | 1006698 | 42832 | 24749 2 | 577 | 0 1218.27/1218.50 c 1215s | 13 | 1008750 | 43132 | 24749 2 | 577 | 0 1222.26/1222.51 c 1219s | 13 | 1010058 | 43332 | 24749 2 | 577 | 0 1228.26/1228.55 c 1225s | 13 | 1011668 | 43532 | 24749 2 | 577 | 0 1235.07/1235.32 c 1232s | 13 | 1012191 | 43632 | 24749 2 | 577 | 0 1241.66/1241.98 c 1239s | 13 | 1021384 | 43732 | 24749 2 | 577 | 0 1248.86/1249.14 c 1246s | 13 | 1025413 | 43832 | 24749 2 | 577 | 0 1252.06/1252.34 c 1249s | 13 | 1025815 | 44032 | 24749 2 | 577 | 0 1254.76/1255.08 c 1252s | 13 | 1026634 | 44132 | 24749 2 | 577 | 0 1258.86/1259.10 c 1256s | 13 | 1027475 | 44232 | 24749 2 | 577 | 0 1261.75/1262.09 c 1259s | 13 | 1028247 | 44432 | 24749 2 | 577 | 0 1264.45/1264.76 c 1261s | 13 | 1031676 | 44732 | 24749 2 | 577 | 0 1267.15/1267.48 c 1264s | 13 | 1034893 | 44832 | 24749 2 | 577 | 0 1269.55/1269.83 c 1266s | 13 | 1036835 | 44932 | 24749 2 | 577 | 0 1273.25/1273.52 c 1270s | 13 | 1038064 | 45132 | 24749 2 | 577 | 0 1275.95/1276.26 c 1273s | 13 | 1044056 | 45232 | 24749 2 | 577 | 0 1278.25/1278.52 c 1275s | 13 | 1047970 | 45432 | 24749 2 | 577 | 0 1281.14/1281.43 c 1278s | 13 | 1048770 | 45632 | 24749 2 | 577 | 0 1283.55/1283.83 c 1280s | 13 | 1049527 | 45732 | 24749 2 | 577 | 0 1286.04/1286.34 c 1283s | 13 | 1049581 | 45832 | 24749 2 | 577 | 0 1288.54/1288.84 c 1285s | 13 | 1050401 | 46032 | 24749 2 | 577 | 0 1291.83/1292.17 c 1289s | 13 | 1056829 | 46132 | 24749 2 | 577 | 0 1295.73/1296.00 c 1293s | 13 | 1066300 | 46232 | 24749 2 | 577 | 0 1299.73/1300.03 c 1297s | 13 | 1067338 | 46432 | 24749 2 | 577 | 0 1304.93/1305.20 c 1302s | 13 | 1067766 | 46532 | 24749 2 | 577 | 0 1309.53/1309.82 c 1306s | 13 | 1068292 | 46632 | 24749 2 | 577 | 0 1312.92/1313.22 c 1310s | 13 | 1069532 | 46732 | 24749 2 | 577 | 0 1316.62/1316.90 c 1313s | 13 | 1079436 | 46832 | 24749 2 | 577 | 0 1320.61/1320.93 c 1317s | 13 | 1084758 | 46932 | 24749 2 | 577 | 0 1322.71/1323.09 c 1320s | 13 | 1085234 | 47032 | 24749 2 | 577 | 0 1328.41/1328.74 c 1325s | 13 | 1085865 | 47232 | 24749 2 | 577 | 0 1332.21/1332.57 c 1329s | 13 | 1086651 | 47332 | 24749 2 | 577 | 0 1338.91/1339.29 c 1336s | 13 | 1089248 | 47432 | 24749 2 | 577 | 0 1344.90/1345.30 c 1342s | 13 | 1100566 | 47532 | 24749 2 | 577 | 0 1352.00/1352.31 c 1349s | 13 | 1103149 | 47632 | 24749 2 | 577 | 0 1356.40/1356.73 c 1353s | 13 | 1104581 | 47832 | 24749 2 | 577 | 0 1358.70/1359.08 c 1356s | 13 | 1105904 | 47932 | 24749 2 | 577 | 0 1361.79/1362.12 c 1359s | 13 | 1108712 | 48332 | 24749 2 | 577 | 0 1363.80/1364.18 c 1361s | 13 | 1109306 | 48432 | 24749 2 | 577 | 0 1370.29/1370.66 c 1367s | 13 | 1109306 | 48532 | 24749 2 | 577 | 0 1376.89/1377.27 c 1374s | 13 | 1112598 | 48632 | 24749 2 | 577 | 0 1379.78/1380.11 c 1377s | 13 | 1115264 | 48732 | 24749 2 | 577 | 0 1383.78/1384.16 c 1381s | 13 | 1119728 | 48932 | 24749 2 | 577 | 0 1386.18/1386.58 c 1383s | 13 | 1121200 | 49032 | 24749 2 | 577 | 0 1389.48/1389.84 c 1386s | 13 | 1122184 | 49232 | 24749 2 | 577 | 0 1396.17/1396.53 c 1393s | 13 | 1122184 | 49332 | 24749 2 | 577 | 0 1401.27/1401.65 c 1398s | 13 | 1123801 | 49432 | 24749 2 | 577 | 0 1403.97/1404.30 c 1401s | 13 | 1126440 | 49632 | 24749 2 | 577 | 0 1406.37/1406.75 c 1403s | 13 | 1128983 | 49732 | 24749 2 | 577 | 0 1408.47/1408.84 c 1405s | 13 | 1131587 | 49932 | 24749 2 | 577 | 0 1414.27/1414.65 c 1411s | 13 | 1132272 | 50132 | 24749 3 | 577 | 0 1420.67/1421.07 c 1418s | 13 | 1132695 | 50232 | 24749 3 | 577 | 0 1426.87/1427.27 c 1424s | 13 | 1133145 | 50332 | 24749 3 | 577 | 0 1431.66/1432.06 c 1429s | 13 | 1138981 | 50632 | 24749 3 | 577 | 0 1435.86/1436.25 c 1433s | 13 | 1140961 | 50832 | 24749 3 | 577 | 0 1439.16/1439.52 c 1436s | 13 | 1141281 | 51032 | 24749 3 | 577 | 0 1448.86/1449.27 c 1446s | 13 | 1141584 | 51132 | 24749 3 | 577 | 0 1457.27/1457.60 c 1454s | 13 | 1142048 | 51232 | 24749 3 | 577 | 0 1466.16/1466.50 c 1463s | 13 | 1142048 | 51332 | 24749 3 | 577 | 0 1474.36/1474.70 c 1471s | 13 | 1148042 | 51432 | 24749 3 | 577 | 0 1479.66/1480.09 c 1477s | 13 | 1150020 | 51532 | 24749 3 | 577 | 0 1481.86/1482.20 c 1479s | 13 | 1150331 | 51632 | 24749 3 | 577 | 0 1489.46/1489.84 c 1486s | 13 | 1150913 | 51732 | 24749 3 | 577 | 0 1499.35/1499.79 c 1496s | 13 | 1151008 | 51832 | 24749 3 | 577 | 0 1503.46/1503.89 c 1500s | 13 | 1151143 | 51932 | 24749 3 | 577 | 0 1521.06/1521.46 c 1518s | 13 | 1155006 | 52032 | 24749 3 | 577 | 0 1544.55/1544.96 c 1542s | 13 | 1160319 | 52132 | 24749 3 | 577 | 0 1566.64/1567.03 c 1564s | 13 | 1160740 | 52232 | 24749 3 | 577 | 0 1589.74/1590.10 c 1587s | 13 | 1161341 | 52332 | 24749 3 | 577 | 0 1598.74/1599.11 c 1596s | 13 | 1161616 | 52432 | 24749 3 | 577 | 0 1607.14/1607.52 c 1604s | 13 | 1162240 | 52532 | 24749 3 | 577 | 0 1610.94/1611.31 c 1608s | 13 | 1162721 | 52632 | 24749 3 | 577 | 0 1620.14/1620.53 c 1617s | 13 | 1163557 | 52732 | 24749 3 | 577 | 0 1627.83/1628.21 c 1625s | 13 | 1163557 | 52832 | 24749 3 | 577 | 0 1636.83/1637.20 c 1634s | 13 | 1163740 | 52932 | 24749 3 | 577 | 0 1649.64/1650.10 c 1647s | 13 | 1165019 | 53032 | 24749 3 | 577 | 0 1659.93/1660.37 c 1657s | 13 | 1165842 | 53132 | 24749 3 | 577 | 0 1670.33/1670.75 c 1667s | 13 | 1168087 | 53232 | 24749 3 | 577 | 0 1693.12/1693.52 c 1690s | 13 | 1168446 | 53332 | 24749 3 | 577 | 0 1700.82/1701.27 c 1698s | 13 | 1168446 | 53432 | 24749 3 | 577 | 0 1708.03/1708.49 c 1705s | 13 | 1169247 | 53532 | 24749 3 | 577 | 0 1713.82/1714.27 c 1711s | 13 | 1172160 | 53632 | 24749 3 | 577 | 0 1717.82/1718.20 c 1715s | 13 | 1173167 | 53732 | 24749 3 | 577 | 0 1720.02/1720.48 c 1717s | 13 | 1176214 | 53832 | 24749 3 | 577 | 0 1722.62/1723.00 c 1720s | 13 | 1186812 | 53932 | 24749 3 | 577 | 0 1724.92/1725.33 c 1722s | 13 | 1188290 | 54032 | 24749 3 | 577 | 0 1727.02/1727.48 c 1724s | 13 | 1189947 | 54132 | 24749 3 | 577 | 0 1729.62/1730.04 c 1727s | 13 | 1191903 | 54432 | 24749 3 | 577 | 0 1732.92/1733.31 c 1730s | 13 | 1192908 | 54632 | 24749 3 | 577 | 0 1737.82/1738.23 c 1735s | 13 | 1203769 | 54832 | 24749 3 | 577 | 0 1741.32/1741.78 c 1738s | 13 | 1205422 | 54932 | 24749 3 | 577 | 0 1743.42/1743.85 c 1740s | 13 | 1210487 | 55132 | 24749 3 | 577 | 0 1746.02/1746.43 c 1743s | 13 | 1213421 | 55332 | 24749 3 | 577 | 0 1750.92/1751.36 c 1748s | 13 | 1214413 | 55432 | 24749 3 | 577 | 0 1755.32/1755.74 c 1752s | 13 | 1215126 | 55632 | 24749 3 | 577 | 0 1759.41/1759.87 c 1756s | 13 | 1216986 | 55732 | 24749 3 | 577 | 0 1762.92/1763.38 c 1760s | 13 | 1218150 | 55832 | 24749 3 | 577 | 0 1769.62/1770.06 c 1767s | 13 | 1219860 | 56032 | 24749 3 | 577 | 0 1774.21/1774.63 c 1771s | 13 | 1229825 | 56132 | 24749 3 | 577 | 0 1779.71/1780.13 c 1777s | 13 | 1236157 | 56232 | 24749 3 | 577 | 0 1783.81/1784.25 c 1781s | 13 | 1240166 | 56332 | 24749 3 | 577 | 0 1786.01/1786.45 c 1783s | 13 | 1243063 | 56432 | 24749 3 | 577 | 0 1789.11/1789.52 c 1786s | 13 | 1248125 | 56632 | 24749 3 | 577 | 0 1791.91/1792.32 c 1789s | 13 | 1248437 | 56732 | 24749 3 | 577 | 0 1795.81/1796.21 c 1793s | 13 | 1249257 | 56832 | 24749 3 | 577 | 0 1798.61/1799.01 c 1796s | 13 | 1249463 | 56932 | 24749 3 | 577 | 0
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-4100449-1466213797/watcher-4100449-1466213797 -o /tmp/evaluation-result-4100449-1466213797/solver-4100449-1466213797 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100449-1466213797.opb pid=668 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.15 2.17 2.17 3/179 671 /proc/meminfo: memFree=29493192/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=412092 CPUtime=0 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 1482 0 0 0 0 0 0 0 20 0 4 0 23426231 421982208 1842 33554432000 4194304 16246674 140737249378704 140737249378128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 103791 1853 441 2943 0 100685 0 [pid=671/tid=672] ppid=668 vsize=719292 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 736555008 3043 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=724412 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 741797888 3062 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=728508 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23426231 745992192 3079 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.10017 s] /proc/loadavg: 2.15 2.17 2.17 3/179 671 /proc/meminfo: memFree=29493192/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1303108 CPUtime=0.09 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 30444 0 0 0 6 3 0 0 20 0 4 0 23426231 1334382592 30743 33554432000 4194304 16246674 140737249378704 140737249378016 8058197 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 325777 30758 801 2943 0 322671 0 [pid=671/tid=672] ppid=668 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1334382592 30768 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1334382592 30780 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1334382592 30791 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1303108 [startup+0.200457 s] /proc/loadavg: 2.15 2.17 2.17 3/179 671 /proc/meminfo: memFree=29493192/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1312324 CPUtime=0.19 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 44880 0 0 0 14 5 0 0 20 0 4 0 23426231 1343819776 45690 33554432000 4194304 16246674 140737249378704 140737249378016 7371468 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 328081 45705 801 2943 0 324975 0 [pid=671/tid=672] ppid=668 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1343819776 45720 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1343819776 45731 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1343819776 45743 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1312324 [startup+0.300444 s] /proc/loadavg: 2.15 2.17 2.17 3/179 671 /proc/meminfo: memFree=29493192/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1312324 CPUtime=0.29 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 50085 0 0 0 23 6 0 0 20 0 4 0 23426231 1343819776 50894 33554432000 4194304 16246674 140737249378704 140737249378016 7374511 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 328081 50894 801 2943 0 324975 0 [pid=671/tid=672] ppid=668 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1343819776 50894 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1343819776 50894 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1343819776 50894 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1312324 [startup+0.700416 s] /proc/loadavg: 2.15 2.17 2.17 3/179 671 /proc/meminfo: memFree=29493192/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1316420 CPUtime=0.69 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 58782 0 0 0 61 8 0 0 20 0 4 0 23426231 1348014080 59591 33554432000 4194304 16246674 140737249378704 140737249378016 12654032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 329105 59591 836 2943 0 325999 0 [pid=671/tid=672] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 59591 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 59591 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 59591 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1316420 [startup+1.50044 s] /proc/loadavg: 2.15 2.17 2.17 3/183 675 /proc/meminfo: memFree=29255704/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1316420 CPUtime=1.49 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 79235 0 0 0 138 11 0 0 20 0 4 0 23426231 1348014080 80044 33554432000 4194304 16246674 140737249378704 140737249360576 12655060 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 329105 80044 836 2943 0 325999 0 [pid=671/tid=672] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 80044 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 80044 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 80044 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1316420 [startup+3.1004 s] /proc/loadavg: 2.15 2.17 2.17 3/183 675 /proc/meminfo: memFree=29173368/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1316420 CPUtime=3.09 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 79293 0 0 0 298 11 0 0 20 0 4 0 23426231 1348014080 80102 33554432000 4194304 16246674 140737249378704 140737249377880 13780568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 329105 80102 894 2943 0 325999 0 [pid=671/tid=672] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 80102 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 80102 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 80102 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1316420 [startup+6.30041 s] /proc/loadavg: 2.14 2.17 2.17 3/183 675 /proc/meminfo: memFree=28970160/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1316420 CPUtime=6.29 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 130154 0 0 0 610 19 0 0 20 0 4 0 23426231 1348014080 130963 33554432000 4194304 16246674 140737249378704 140737249360576 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 329105 130963 897 2943 0 325999 0 [pid=671/tid=672] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 130963 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 130963 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 130963 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1316420 [startup+12.7004 s] /proc/loadavg: 2.12 2.16 2.17 3/183 675 /proc/meminfo: memFree=28970072/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1316420 CPUtime=12.69 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 130154 0 0 0 1250 19 0 0 20 0 4 0 23426231 1348014080 130963 33554432000 4194304 16246674 140737249378704 140737249360576 5827682 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 329105 130963 897 2943 0 325999 0 [pid=671/tid=672] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 130963 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 130963 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 130963 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1316420 [startup+25.5005 s] /proc/loadavg: 2.10 2.15 2.16 3/183 675 /proc/meminfo: memFree=28970128/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1316420 CPUtime=25.49 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 130154 0 0 0 2530 19 0 0 20 0 4 0 23426231 1348014080 130963 33554432000 4194304 16246674 140737249378704 140737249360576 13781168 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 329105 130963 897 2943 0 325999 0 [pid=671/tid=672] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 130963 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 130963 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 130963 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1316420 [startup+51.1005 s] /proc/loadavg: 2.19 2.17 2.17 3/183 675 /proc/meminfo: memFree=28573904/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1316420 CPUtime=51.08 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 229140 0 0 0 5076 32 0 0 20 0 4 0 23426231 1348014080 229949 33554432000 4194304 16246674 140737249378704 140737249360576 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 329105 229949 897 2943 0 325999 0 [pid=671/tid=672] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 229949 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 229949 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 229949 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1316420 [startup+102.3 s] /proc/loadavg: 2.22 2.18 2.17 4/183 676 /proc/meminfo: memFree=28411188/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1316420 CPUtime=102.28 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 269790 0 0 0 10189 39 0 0 20 0 4 0 23426231 1348014080 270599 33554432000 4194304 16246674 140737249378704 140737249360576 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 329105 270599 897 2943 0 325999 0 [pid=671/tid=672] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270599 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270599 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270599 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1316420 ################ # More data... # ################ /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1242.06 Current children cumulated vsize (KiB) 1316420 [startup+1302.3 s] /proc/loadavg: 2.23 2.18 2.18 3/183 707 /proc/meminfo: memFree=28368360/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1316420 CPUtime=1302.03 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 269902 0 0 0 130163 40 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140737249360576 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 329105 270607 905 2943 0 325999 0 [pid=671/tid=672] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1302.03 Current children cumulated vsize (KiB) 1316420 [startup+1362.3 s] /proc/loadavg: 2.24 2.19 2.18 3/183 709 /proc/meminfo: memFree=28368448/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1316420 CPUtime=1361.99 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 269943 0 0 0 136159 40 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140737249360576 13780568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 329105 270607 905 2943 0 325999 0 [pid=671/tid=672] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 1316420 [startup+1422.3 s] /proc/loadavg: 2.14 2.17 2.17 3/184 713 /proc/meminfo: memFree=28368864/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1316420 CPUtime=1421.97 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 269961 0 0 0 142157 40 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140737249360576 5711338 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 329105 270607 905 2943 0 325999 0 [pid=671/tid=672] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 1316420 [startup+1482.3 s] /proc/loadavg: 2.26 2.19 2.18 3/184 737 /proc/meminfo: memFree=28368360/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1316420 CPUtime=1481.96 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 269961 0 0 0 148156 40 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140737249360576 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 329105 270607 905 2943 0 325999 0 [pid=671/tid=672] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 1316420 [startup+1542.31 s] /proc/loadavg: 2.31 2.22 2.19 3/183 787 /proc/meminfo: memFree=28427236/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1316420 CPUtime=1541.95 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 269961 0 0 0 154155 40 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140737249360576 5711968 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 329105 270607 905 2943 0 325999 0 [pid=671/tid=672] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 1316420 [startup+1602.3 s] /proc/loadavg: 2.41 2.25 2.20 3/183 788 /proc/meminfo: memFree=28403776/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1316420 CPUtime=1601.94 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 269961 0 0 0 160154 40 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140737249360576 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 329105 270607 905 2943 0 325999 0 [pid=671/tid=672] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 1316420 [startup+1662.3 s] /proc/loadavg: 2.22 2.23 2.19 3/183 790 /proc/meminfo: memFree=28403904/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1316420 CPUtime=1661.93 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 269961 0 0 0 166153 40 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140737249360576 5712622 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 329105 270607 905 2943 0 325999 0 [pid=671/tid=672] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 1316420 [startup+1722.3 s] /proc/loadavg: 2.35 2.26 2.20 4/183 791 /proc/meminfo: memFree=28383932/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1316420 CPUtime=1721.92 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 269961 0 0 0 172152 40 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140737249360576 6020675 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 329105 270607 905 2943 0 325999 0 [pid=671/tid=672] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 1316420 [startup+1782.3 s] /proc/loadavg: 2.42 2.29 2.21 3/183 792 /proc/meminfo: memFree=28383544/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1316420 CPUtime=1781.91 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 269961 0 0 0 178151 40 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140737249360576 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 329105 270607 905 2943 0 325999 0 [pid=671/tid=672] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1316420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.32 2.27 2.20 4/183 792 /proc/meminfo: memFree=28383792/32872528 swapFree=1200228/1314692 [pid=671] ppid=668 vsize=1316420 CPUtime=1800.01 cores=0,2,4,6 /proc/671/stat : 671 (toysat) R 668 671 31224 0 -1 4202496 269961 0 0 0 179961 40 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140737249360576 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/671/statm: 329105 270607 905 2943 0 325999 0 [pid=671/tid=672] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/672/stat : 672 (toysat) S 668 671 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097640967408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=671/tid=673] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/673/stat : 673 (toysat) S 668 671 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097630477552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=671/tid=674] ppid=668 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/671/task/674/stat : 674 (toysat) S 668 671 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23426231 1348014080 270607 33554432000 4194304 16246674 140737249378704 140097620004016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1316420 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 671 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.02 CPU user time (s): 1799.62 CPU system time (s): 0.402938 CPU usage (%): 99.9785 Max. virtual memory (cumulated for all children) (KiB): 1316420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.62 system time used= 0.402938 maximum resident set size= 1082428 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269961 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= 179 involuntary context switches= 1840 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.0015 second user time and 14.0449 second system time The end
Begin job on node131 at 2016-06-18 03:36:37 IDJOB=4100449 IDBENCH=1618 IDSOLVER=2542 FILE ID=node131/4100449-1466213797 RUNJOBID= node131-1466206062-31240 PBS_JOBID= 19918146 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ar98.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100449-1466213797/watcher-4100449-1466213797 -o /tmp/evaluation-result-4100449-1466213797/solver-4100449-1466213797 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100449-1466213797.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 24f5fdc248e1411d713d304748099da5 RANDOM SEED=131437418 node131.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.752 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.50 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.752 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.752 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.57 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.752 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.56 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.752 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.752 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.56 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.752 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.57 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.752 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: 29493084 kB Buffers: 96052 kB Cached: 122752 kB SwapCached: 1508 kB Active: 1206272 kB Inactive: 123044 kB Active(anon): 1110132 kB Inactive(anon): 2680 kB Active(file): 96140 kB Inactive(file): 120364 kB Unevictable: 1314692 kB Mlocked: 1200228 kB SwapTotal: 67108856 kB SwapFree: 67099852 kB Dirty: 18552 kB Writeback: 0 kB AnonPages: 2428508 kB Mapped: 10836 kB Shmem: 0 kB Slab: 600496 kB SReclaimable: 44460 kB SUnreclaim: 556036 kB KernelStack: 1480 kB PageTables: 8628 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2567072 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 122880 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= 71672 MiB End job on node131 at 2016-06-18 04:06:38