| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.11 | 1800.51 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-trento1.opb |
| MD5SUM | 3e144bcef2d8d517e1e9ee592d533dc8 |
| Bench Category | OPT-BIGINT (optimisation, big 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 | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 21491069266217984 |
| Optimality of the best value was proved | NO |
| Number of variables | 44575 |
| Total number of constraints | 1264 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1264 |
| Minimum length of a constraint | 35 |
| Maximum length of a constraint | 44575 |
| Number of terms in the objective function | 44575 |
| Biggest coefficient in the objective function | 536870912000000000000 |
| Number of bits for the biggest coefficient in the objective function | 69 |
| Sum of the numbers in the objective function | 3578049115531221094637 |
| Number of bits of the sum of numbers in the objective function | 72 |
| Biggest number in a constraint | 536870912000000000000 |
| Number of bits of the biggest number in a constraint | 69 |
| Biggest sum of numbers in a constraint | 3578151515531221094637 |
| Number of bits of the biggest sum of numbers | 72 |
| 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-18T10:03:51+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-4103433-1466237031.opb"] 0.00/0.01 c use --random-gen="724464905 3765368281 2768031512 3849230486 1082115732 961085867 3123505435 194077636 2475055516 3062123079 2361061604 2839967407 852031852 1985778407 1704510986 2727128505 2888881912 1498103990 2605704656 4259710280 2011015582 706042743 1465411795 183385868 1007774902 329392881 1166198823 2669386309 291718264 3637412820 2764428925 1607011774 4145842115 2991946790 3691712763 2263453198 280884646 2705649937 3391588796 2951658457 3364730303 1238796921 3853598486 4202531279 486984793 96283453 3499863990 712452792 901805752 700182145 4128526327 1966099060 4268555841 3550693133 2822821279 1160845678 3902150455 3996048810 217284779 1795654155 3467648413 1472791166 3358698948 2884244601 3314363412 3871339267 2939688433 1684112828 4293284670 212687699 1247426408 1115115536 638425008 1263312271 2121855648 3758628405 1273201300 446638447 3310112334 1414935002 1821210663 3977911415 1771902664 1933092945 3458037559 938460632 2905788281 714421447 2724169859 309109813 2255563107 898215692 2341288604 3334322360 3502015639 820502305 808228630 2747374317 107766302 3465812911 3896248034 2168731567 707239757 1580936679 153103979 943029280 1325989523 3672702086 703974842 4163508346 1417572001 3730186364 3831532911 4041033762 3416692351 313104163 977255852 1793520918 1804678208 3036347962 3171099467 1323810588 2064948544 3922726737 4253088167 2835964553 3118191434 776628198 3448944756 1649397235 128423610 1330725999 1955887376 198420202 545237062 2074418380 3957656403 2777518791 3739352880 1843143544 1611212586 1666825938 3989386063 1251480248 3425929716 2595029363 39352100 2579655618 2246313157 272680609 2572101032 2397517689 1358359812 383653199 2180224432 3432189920 1444450785 1630771017 2396351039 1840877946 1285245819 2526989034 1437045119 4059793279 944368534 3296891554 3842332031 1218805739 5543843 3387841119 1673186777 2532608492 988265643 2552851742 3265695195 1661009035 2995741839 3944218884 3432812559 20776945 2017865355 1957393717 2717232097 4238776404 3646692966 4167575134 3583784599 3072597153 302222653 2051735359 1764494924 453258157 3561356227 216281840 362899484 1685231375 247449058 44744666 1122608883 297531813 2624660886 1358264768 3407164872 2652541351 2229257814 602827878 2065547717 306522709 749028533 2650832299 1164866110 3806642177 3605220455 4034362110 2334245914 2896755921 425656318 2045041855 784626036 1067178672 4012304226 2710965767 3428358404 3680898927 562593584 325000911 3080934872 232317138 1756026138 973990598 4022388037 288668576 1764206085 718563804 91494326 2631282682 1955339229 1475118711 1023207473 560665366 2805287328 3492588542 3778420033 4250619509 1327011296 596197965 115062792 3086861216 287797114 2437026264 1319850439 2882602289 4135038614 186157952 4131811192 3645984602 255 362436" option to reproduce the execution 0.39/0.44 c #vars 44575 0.39/0.44 c #constraints 1264 190.14/190.20 c BCD2: Hardening is enabled. 190.14/190.20 c BCD2: BiasedSearch is enabled. 190.14/190.20 c Solving starts ... 190.14/190.20 c ============================[ Search Statistics ]============================ 190.14/190.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 190.14/190.20 c | | | | Limit GC | Var | Constra 190.14/190.20 c ============================================================================= 190.14/190.23 c 0.0s | 0 | 0 | 0 | 15695 0 | 18088 | 0 192.94/193.08 c 2.8s | 0 | 826 | 100 | 15695 0 | 18088 | 0 192.94/193.09 c 2.9s | 1 | 826 | 100 | 15695 0 | 18088 | 0 197.95/198.06 c 7.8s | 1 | 2782 | 200 | 17265 0 | 18088 | 0 199.54/199.63 c 9.4s | 2 | 2981 | 250 | 17265 0 | 18088 | 0 203.74/203.82 c 13.6s | 2 | 4103 | 350 | 18992 0 | 18088 | 0 208.14/208.24 c 18.0s | 2 | 4594 | 450 | 18992 0 | 18088 | 0 208.84/208.98 c 18.7s | 3 | 4637 | 475 | 18992 0 | 18088 | 0 212.94/213.06 c 22.8s | 3 | 5524 | 575 | 20892 0 | 18088 | 0 217.04/217.10 c 26.9s | 3 | 6015 | 675 | 20892 0 | 18088 | 0 221.05/221.16 c 30.9s | 3 | 6468 | 775 | 20892 0 | 18088 | 0 222.54/222.60 c 32.4s | 4 | 6653 | 813 | 20892 0 | 18088 | 0 225.24/225.36 c 35.1s | 4 | 7404 | 913 | 22982 0 | 18088 | 0 229.04/229.14 c 38.9s | 4 | 7936 | 1013 | 22982 0 | 18088 | 0 232.74/232.81 c 42.6s | 4 | 8247 | 1113 | 22982 0 | 18088 | 0 236.74/236.85 c 46.6s | 4 | 8606 | 1213 | 22982 0 | 18088 | 0 239.23/239.35 c 49.1s | 4 | 8998 | 1313 | 22982 0 | 18088 | 0 239.53/239.64 c 49.4s | 5 | 9018 | 1320 | 22982 0 | 18088 | 0 242.53/242.62 c 52.4s | 5 | 9916 | 1420 | 25281 0 | 18088 | 0 246.23/246.33 c 56.1s | 5 | 10383 | 1520 | 25281 0 | 18088 | 0 248.83/248.97 c 58.7s | 5 | 10691 | 1620 | 25281 0 | 18088 | 0 251.63/251.74 c 61.5s | 5 | 10969 | 1720 | 25281 0 | 18088 | 0 255.83/255.95 c 65.7s | 5 | 11599 | 1820 | 25281 0 | 18088 | 0 259.83/259.92 c 69.7s | 5 | 12672 | 1920 | 25281 0 | 18088 | 0 264.23/264.32 c 74.1s | 5 | 13687 | 2020 | 25281 0 | 18088 | 0 267.12/267.21 c 77.0s | 6 | 14079 | 2081 | 27810 0 | 18088 | 0 270.82/270.93 c 80.7s | 6 | 15076 | 2181 | 27810 0 | 18088 | 0 274.93/275.05 c 84.8s | 6 | 15697 | 2281 | 27810 0 | 18088 | 0 279.72/279.81 c 89.6s | 6 | 16702 | 2381 | 27810 0 | 18088 | 0 283.52/283.68 c 93.4s | 6 | 17553 | 2481 | 27810 0 | 18088 | 0 287.72/287.85 c 97.6s | 6 | 18094 | 2581 | 27810 0 | 18088 | 0 292.02/292.15 c 101s | 6 | 18701 | 2681 | 27810 0 | 18088 | 0 296.22/296.36 c 106s | 6 | 19280 | 2781 | 27810 0 | 18088 | 0 299.91/300.06 c 109s | 6 | 19661 | 2881 | 27810 0 | 18088 | 0 303.62/303.79 c 113s | 6 | 20136 | 2981 | 27810 0 | 18088 | 0 307.51/307.66 c 117s | 6 | 20717 | 3081 | 27810 0 | 18088 | 0 309.91/310.05 c 119s | 6 | 21517 | 3181 | 27810 0 | 18088 | 0 311.71/311.83 c 121s | 7 | 21639 | 3223 | 30592 0 | 18088 | 0 315.41/315.50 c 125s | 7 | 22484 | 3323 | 30592 0 | 18088 | 0 320.20/320.37 c 130s | 7 | 23496 | 3423 | 30592 0 | 18088 | 0 324.20/324.38 c 134s | 7 | 24118 | 3523 | 30592 0 | 18088 | 0 328.40/328.54 c 138s | 7 | 24982 | 3623 | 30592 0 | 18088 | 0 332.11/332.22 c 141s | 7 | 25538 | 3723 | 30592 0 | 18088 | 0 336.20/336.33 c 146s | 7 | 26383 | 3823 | 30592 0 | 18088 | 0 339.91/340.03 c 149s | 7 | 26992 | 3923 | 30592 0 | 18088 | 0 343.40/343.58 c 153s | 7 | 27551 | 4023 | 30592 0 | 18088 | 0 347.90/348.04 c 157s | 7 | 28091 | 4123 | 30592 0 | 18088 | 0 351.70/351.84 c 161s | 7 | 28524 | 4223 | 30592 0 | 18088 | 0 355.31/355.48 c 165s | 7 | 28918 | 4323 | 30592 0 | 18088 | 0 359.20/359.37 c 169s | 7 | 29467 | 4423 | 30592 0 | 18088 | 0 363.10/363.26 c 173s | 7 | 30031 | 4523 | 30592 0 | 18088 | 0 367.40/367.57 c 177s | 7 | 30487 | 4623 | 30592 0 | 18088 | 0 372.00/372.14 c 181s | 7 | 30822 | 4723 | 30592 0 | 18088 | 0 376.69/376.81 c 186s | 7 | 31181 | 4823 | 30592 0 | 18088 | 0 381.79/381.92 c 191s | 7 | 31793 | 4923 | 33652 0 | 18088 | 0 382.29/382.49 c 192s | 8 | 31874 | 4936 | 33652 0 | 18088 | 0 386.49/386.60 c 196s | 8 | 32818 | 5036 | 33652 0 | 18088 | 0 391.19/391.34 c 201s | 8 | 33324 | 5136 | 33652 0 | 18088 | 0 395.19/395.30 c 205s | 8 | 33949 | 5236 | 33652 0 | 18088 | 0 398.49/398.62 c 208s | 8 | 34439 | 5336 | 33652 0 | 18088 | 0 401.69/401.82 c 211s | 8 | 34882 | 5436 | 33652 0 | 18088 | 0 405.99/406.18 c 215s | 8 | 36476 | 5536 | 33652 0 | 18088 | 0 409.79/409.96 c 219s | 8 | 37019 | 5636 | 33652 0 | 18088 | 0 414.49/414.63 c 224s | 8 | 37843 | 5736 | 33652 0 | 18088 | 0 418.89/419.07 c 228s | 8 | 38318 | 5836 | 33652 0 | 18088 | 0 423.59/423.76 c 233s | 8 | 39121 | 5936 | 33652 0 | 18088 | 0 428.09/428.24 c 238s | 8 | 39684 | 6036 | 33652 0 | 18088 | 0 432.39/432.55 c 242s | 8 | 40179 | 6136 | 33652 0 | 18088 | 0 436.59/436.72 c 246s | 8 | 40779 | 6236 | 33652 0 | 18088 | 0 441.38/441.59 c 251s | 8 | 41217 | 6336 | 33652 0 | 18088 | 0 445.98/446.19 c 255s | 8 | 41678 | 6436 | 33652 0 | 18088 | 0 450.38/450.53 c 260s | 8 | 42255 | 6536 | 33652 0 | 18088 | 0 453.98/454.17 c 263s | 8 | 42429 | 6636 | 33652 0 | 18088 | 0 458.08/458.24 c 268s | 8 | 42981 | 6736 | 33652 0 | 18088 | 0 462.38/462.52 c 272s | 8 | 43463 | 6836 | 33652 0 | 18088 | 0 466.18/466.34 c 276s | 8 | 43739 | 6936 | 33652 0 | 18088 | 0 469.78/469.96 c 279s | 8 | 44303 | 7036 | 33652 0 | 18088 | 0 474.78/474.93 c 284s | 8 | 45400 | 7136 | 33652 0 | 18088 | 0 478.68/478.81 c 288s | 8 | 45968 | 7236 | 33652 0 | 18088 | 0 482.48/482.65 c 292s | 8 | 46571 | 7336 | 33652 0 | 18088 | 0 486.38/486.51 c 296s | 8 | 47245 | 7436 | 33652 0 | 18088 | 0 488.88/489.09 c 298s | 9 | 47675 | 7506 | 37018 0 | 18088 | 0 490.98/491.19 c 300s | 9 | 48536 | 7606 | 37018 0 | 18088 | 0 494.08/494.20 c 303s | 9 | 49014 | 7706 | 37018 0 | 18088 | 0 498.08/498.27 c 308s | 9 | 49357 | 7806 | 37018 0 | 18088 | 0 501.87/502.08 c 311s | 9 | 49764 | 7906 | 37018 0 | 18088 | 0 504.97/505.13 c 314s | 9 | 50105 | 8006 | 37018 0 | 18088 | 0 508.67/508.88 c 318s | 9 | 50408 | 8106 | 37018 0 | 18088 | 0 512.67/512.89 c 322s | 9 | 50701 | 8206 | 37018 0 | 18088 | 0 516.88/517.04 c 326s | 9 | 50943 | 8306 | 37018 0 | 18088 | 0 519.57/519.76 c 329s | 9 | 51401 | 8406 | 37018 0 | 18088 | 0 523.58/523.74 c 333s | 9 | 52015 | 8506 | 37018 0 | 18088 | 0 528.17/528.34 c 338s | 9 | 52653 | 8606 | 37018 0 | 18088 | 0 531.77/531.95 c 341s | 9 | 53060 | 8706 | 37018 0 | 18088 | 0 535.87/536.06 c 345s | 9 | 53577 | 8806 | 37018 0 | 18088 | 0 538.98/539.10 c 348s | 9 | 53967 | 8906 | 37018 0 | 18088 | 0 542.57/542.70 c 352s | 9 | 54537 | 9006 | 37018 0 | 18088 | 0 545.67/545.89 c 355s | 9 | 54811 | 9106 | 37018 0 | 18088 | 0 548.47/548.62 c 358s | 9 | 55069 | 9206 | 37018 0 | 18088 | 0 551.47/551.65 c 361s | 9 | 55295 | 9306 | 37018 0 | 18088 | 0 555.07/555.25 c 365s | 9 | 55498 | 9406 | 37018 0 | 18088 | 0 557.97/558.11 c 367s | 9 | 55727 | 9506 | 37018 0 | 18088 | 0 560.87/561.04 c 370s | 9 | 55918 | 9606 | 37018 0 | 18088 | 0 563.67/563.88 c 373s | 9 | 56096 | 9706 | 37018 0 | 18088 | 0 567.47/567.65 c 377s | 9 | 56497 | 9806 | 37018 0 | 18088 | 0 571.26/571.41 c 381s | 9 | 56966 | 9906 | 37018 0 | 18088 | 0 575.27/575.48 c 385s | 9 | 57323 | 10006 | 37018 0 | 18088 | 0 579.46/579.61 c 389s | 9 | 57738 | 10106 | 37018 0 | 18088 | 0 583.56/583.75 c 393s | 9 | 58204 | 10206 | 37018 0 | 18088 | 0 587.46/587.69 c 397s | 9 | 58797 | 10306 | 37018 0 | 18088 | 0 590.46/590.67 c 400s | 9 | 59238 | 10406 | 37018 0 | 18088 | 0 594.26/594.48 c 404s | 9 | 59609 | 10506 | 37018 0 | 18088 | 0 599.16/599.31 c 409s | 9 | 60516 | 10606 | 37018 0 | 18088 | 0 603.16/603.37 c 413s | 9 | 60944 | 10706 | 37018 0 | 18088 | 0 607.76/607.97 c 417s | 9 | 61449 | 10806 | 37018 0 | 18088 | 0 611.36/611.58 c 421s | 9 | 61753 | 10906 | 37018 0 | 18088 | 0 615.96/616.18 c 425s | 9 | 62335 | 11006 | 37018 0 | 18088 | 0 620.66/620.82 c 430s | 9 | 62776 | 11106 | 37018 0 | 18088 | 0 624.96/625.11 c 434s | 9 | 63244 | 11206 | 37018 0 | 18088 | 0 628.96/629.13 c 438s | 9 | 63766 | 11306 | 40720 0 | 18088 | 0 631.56/631.78 c 441s | 10 | 64006 | 11361 | 40720 0 | 18088 | 0 635.35/635.55 c 445s | 10 | 64706 | 11461 | 40720 0 | 18088 | 0 639.85/640.06 c 449s | 10 | 65251 | 11561 | 40720 0 | 18088 | 0 645.15/645.33 c 455s | 10 | 66327 | 11661 | 40720 0 | 18088 | 0 649.25/649.41 c 459s | 10 | 66890 | 11761 | 40720 0 | 18088 | 0 653.36/653.51 c 463s | 10 | 67254 | 11861 | 40720 0 | 18088 | 0 657.55/657.78 c 467s | 10 | 67902 | 11961 | 40720 0 | 18088 | 0 662.16/662.35 c 472s | 10 | 68442 | 12061 | 40720 0 | 18088 | 0 666.65/666.87 c 476s | 10 | 68925 | 12161 | 40720 0 | 18088 | 0 671.05/671.23 c 481s | 10 | 69420 | 12261 | 40720 0 | 18088 | 0 675.25/675.48 c 485s | 10 | 70011 | 12361 | 40720 0 | 18088 | 0 679.25/679.45 c 489s | 10 | 70492 | 12461 | 40720 0 | 18088 | 0 682.75/682.95 c 492s | 10 | 70936 | 12561 | 40720 0 | 18088 | 0 686.45/686.69 c 496s | 10 | 71514 | 12661 | 40720 0 | 18088 | 0 690.05/690.22 c 499s | 10 | 71874 | 12761 | 40720 0 | 18088 | 0 693.85/694.03 c 503s | 10 | 72201 | 12861 | 40720 0 | 18088 | 0 698.54/698.72 c 508s | 10 | 72885 | 12961 | 40720 0 | 18088 | 0 703.24/703.42 c 513s | 10 | 73618 | 13061 | 40720 0 | 18088 | 0 707.34/707.56 c 517s | 10 | 74013 | 13161 | 40720 0 | 18088 | 0 711.34/711.54 c 521s | 10 | 74556 | 13261 | 40720 0 | 18088 | 0 716.14/716.35 c 526s | 10 | 75258 | 13361 | 40720 0 | 18088 | 0 720.35/720.52 c 530s | 10 | 75630 | 13461 | 40720 0 | 18088 | 0 724.54/724.70 c 534s | 10 | 76169 | 13561 | 40720 0 | 18088 | 0 728.54/728.79 c 538s | 10 | 76540 | 13661 | 40720 0 | 18088 | 0 733.04/733.29 c 543s | 10 | 76819 | 13761 | 40720 0 | 18088 | 0 737.64/737.85 c 547s | 10 | 77649 | 13861 | 40720 0 | 18088 | 0 740.64/740.86 c 550s | 10 | 78057 | 13961 | 40720 0 | 18088 | 0 744.84/745.00 c 554s | 10 | 78735 | 14061 | 40720 0 | 18088 | 0 749.34/749.51 c 559s | 10 | 79269 | 14161 | 40720 0 | 18088 | 0 753.94/754.18 c 563s | 10 | 79745 | 14261 | 40720 0 | 18088 | 0 758.13/758.35 c 568s | 10 | 80337 | 14361 | 40720 0 | 18088 | 0 760.23/760.42 c 570s | 10 | 80653 | 14461 | 40720 0 | 18088 | 0 763.24/763.44 c 573s | 10 | 81064 | 14561 | 40720 0 | 18088 | 0 768.03/768.21 c 577s | 10 | 81841 | 14661 | 40720 0 | 18088 | 0 770.73/770.97 c 580s | 10 | 82592 | 14761 | 40720 0 | 18088 | 0 775.02/775.21 c 584s | 10 | 83191 | 14861 | 40720 0 | 18088 | 0 779.62/779.82 c 589s | 10 | 83974 | 14961 | 40720 0 | 18088 | 0 783.62/783.81 c 593s | 10 | 84365 | 15061 | 40720 0 | 18088 | 0 788.42/788.61 c 598s | 10 | 84957 | 15161 | 40720 0 | 18088 | 0 792.83/793.10 c 602s | 10 | 85478 | 15261 | 40720 0 | 18088 | 0 797.43/797.64 c 607s | 10 | 86017 | 15361 | 40720 0 | 18088 | 0 801.62/801.81 c 611s | 10 | 86367 | 15461 | 40720 0 | 18088 | 0 805.42/805.61 c 615s | 10 | 86701 | 15561 | 40720 0 | 18088 | 0 809.62/809.84 c 619s | 10 | 87054 | 15661 | 40720 0 | 18088 | 0 813.72/813.95 c 623s | 10 | 87382 | 15761 | 40720 0 | 18088 | 0 817.22/817.41 c 627s | 10 | 88287 | 15861 | 40720 0 | 18088 | 0 821.31/821.54 c 631s | 10 | 89047 | 15961 | 40720 0 | 18088 | 0 824.21/824.41 c 634s | 10 | 89573 | 16061 | 40720 0 | 18088 | 0 826.91/827.13 c 636s | 10 | 90006 | 16161 | 40720 0 | 18088 | 0 829.90/830.12 c 639s | 10 | 90335 | 16261 | 40720 0 | 18088 | 0 833.20/833.44 c 643s | 10 | 90742 | 16361 | 40720 0 | 18088 | 0 837.30/837.59 c 647s | 10 | 91109 | 16561 | 40720 0 | 18088 | 0 841.70/841.90 c 651s | 10 | 91747 | 16661 | 40720 0 | 18088 | 0 844.70/844.99 c 654s | 10 | 92240 | 16761 | 40720 0 | 18088 | 0 848.39/848.69 c 658s | 10 | 92685 | 16861 | 40720 0 | 18088 | 0 850.99/851.23 c 660s | 10 | 92968 | 16961 | 40720 0 | 18088 | 0 854.60/854.80 c 664s | 10 | 93248 | 17061 | 44792 0 | 18088 | 0 858.78/859.10 c 668s | 11 | 94643 | 17144 | 44792 0 | 18088 | 0 861.68/861.93 c 671s | 11 | 95692 | 17244 | 44792 0 | 18088 | 0 864.78/865.00 c 674s | 11 | 96185 | 17344 | 44792 0 | 18088 | 0 868.08/868.37 c 678s | 11 | 96896 | 17444 | 44792 0 | 18088 | 0 871.18/871.42 c 681s | 11 | 97302 | 17544 | 44792 0 | 18088 | 0 874.28/874.56 c 684s | 11 | 97824 | 17644 | 44792 0 | 18088 | 0 877.97/878.20 c 687s | 11 | 98278 | 17744 | 44792 0 | 18088 | 0 881.27/881.51 c 691s | 11 | 98739 | 17844 | 44792 0 | 18088 | 0 885.17/885.46 c 695s | 11 | 99528 | 17944 | 44792 0 | 18088 | 0 889.07/889.38 c 699s | 11 | 100060 | 18044 | 44792 0 | 18088 | 0 893.17/893.46 c 703s | 11 | 100541 | 18144 | 44792 0 | 18088 | 0 897.17/897.41 c 707s | 11 | 101100 | 18244 | 44792 0 | 18088 | 0 901.37/901.60 c 711s | 11 | 101690 | 18344 | 44792 0 | 18088 | 0 905.07/905.31 c 715s | 11 | 102280 | 18444 | 44792 0 | 18088 | 0 908.77/909.08 c 718s | 11 | 102927 | 18544 | 44792 0 | 18088 | 0 912.57/912.86 c 722s | 11 | 103345 | 18644 | 44792 0 | 18088 | 0 916.96/917.22 c 726s | 11 | 103928 | 18744 | 44792 0 | 18088 | 0 920.57/920.89 c 730s | 11 | 104564 | 18844 | 44792 0 | 18088 | 0 924.66/925.00 c 734s | 11 | 104996 | 18944 | 44792 0 | 18088 | 0 928.17/928.46 c 738s | 11 | 105754 | 19044 | 44792 0 | 18088 | 0 932.06/932.39 c 742s | 11 | 106413 | 19144 | 44792 0 | 18088 | 0 936.16/936.47 c 746s | 11 | 106696 | 19244 | 44792 0 | 18088 | 0 939.86/940.13 c 749s | 11 | 107079 | 19344 | 44792 0 | 18088 | 0 943.26/943.59 c 753s | 11 | 107547 | 19444 | 44792 0 | 18088 | 0 946.56/946.82 c 756s | 11 | 108414 | 19544 | 44792 0 | 18088 | 0 948.76/949.10 c 758s | 11 | 108992 | 19644 | 44792 0 | 18088 | 0 951.66/951.92 c 761s | 11 | 109503 | 19744 | 44792 0 | 18088 | 0 954.76/955.06 c 764s | 11 | 110219 | 19844 | 44792 0 | 18088 | 0 958.46/958.73 c 768s | 11 | 110823 | 19944 | 44792 0 | 18088 | 0 962.66/962.96 c 772s | 11 | 111357 | 20044 | 44792 0 | 18088 | 0 966.26/966.51 c 776s | 11 | 111886 | 20144 | 44792 0 | 18088 | 0 969.35/969.65 c 779s | 11 | 112346 | 20244 | 44792 0 | 18088 | 0 972.45/972.72 c 782s | 11 | 112615 | 20344 | 44792 0 | 18088 | 0 975.05/975.39 c 785s | 11 | 112841 | 20444 | 44792 0 | 18088 | 0 979.25/979.51 c 789s | 11 | 113231 | 20544 | 44792 0 | 18088 | 0 982.06/982.37 c 792s | 11 | 113564 | 20644 | 44792 0 | 18088 | 0 984.36/984.69 c 794s | 11 | 113948 | 20744 | 44792 0 | 18088 | 0 988.05/988.33 c 798s | 11 | 114247 | 20844 | 44792 0 | 18088 | 0 991.85/992.20 c 801s | 11 | 115020 | 20944 | 44792 0 | 18088 | 0 995.85/996.16 c 805s | 11 | 115695 | 21044 | 44792 0 | 18088 | 0 998.85/999.14 c 808s | 11 | 116149 | 21144 | 44792 0 | 18088 | 0 1002.25/1002.53 c 812s | 11 | 116821 | 21244 | 44792 0 | 18088 | 0 1005.65/1005.94 c 815s | 11 | 117369 | 21344 | 44792 0 | 18088 | 0 1008.85/1009.19 c 818s | 11 | 117828 | 21444 | 44792 0 | 18088 | 0 1012.85/1013.15 c 822s | 11 | 118250 | 21544 | 44792 0 | 18088 | 0 1015.95/1016.25 c 826s | 11 | 118456 | 21644 | 44792 0 | 18088 | 0 1019.04/1019.32 c 829s | 11 | 119031 | 21744 | 44792 0 | 18088 | 0 1021.94/1022.23 c 831s | 11 | 119887 | 21844 | 44792 0 | 18088 | 0 1024.74/1025.01 c 834s | 11 | 120292 | 21944 | 44792 0 | 18088 | 0 1027.04/1027.38 c 837s | 11 | 120682 | 22044 | 44792 0 | 18088 | 0 1030.45/1030.77 c 840s | 11 | 121100 | 22144 | 44792 0 | 18088 | 0 1035.34/1035.67 c 845s | 11 | 121999 | 22244 | 44792 0 | 18088 | 0 1040.64/1040.92 c 850s | 11 | 122681 | 22344 | 44792 0 | 18088 | 0 1044.24/1044.55 c 854s | 11 | 123464 | 22444 | 44792 0 | 18088 | 0 1047.14/1047.41 c 857s | 11 | 123894 | 22544 | 44792 0 | 18088 | 0 1051.74/1052.03 c 861s | 11 | 124559 | 22744 | 44792 0 | 18088 | 0 1057.14/1057.49 c 867s | 11 | 125764 | 22944 | 44792 0 | 18088 | 0 1060.43/1060.79 c 870s | 11 | 126473 | 23044 | 44792 0 | 18088 | 0 1064.54/1064.81 c 874s | 11 | 127028 | 23144 | 44792 0 | 18088 | 0 1068.23/1068.53 c 878s | 11 | 127480 | 23244 | 44792 0 | 18088 | 0 1071.53/1071.88 c 881s | 11 | 127972 | 23344 | 44792 0 | 18088 | 0 1075.03/1075.32 c 885s | 11 | 128454 | 23444 | 44792 0 | 18088 | 0 1078.13/1078.49 c 888s | 11 | 128884 | 23544 | 44792 0 | 18088 | 0 1081.14/1081.42 c 891s | 11 | 129339 | 23644 | 44792 0 | 18088 | 0 1084.34/1084.62 c 894s | 11 | 129937 | 23744 | 44792 0 | 18088 | 0 1088.13/1088.48 c 898s | 11 | 130244 | 23844 | 44792 0 | 18088 | 0 1092.63/1092.92 c 902s | 11 | 131023 | 23944 | 44792 0 | 18088 | 0 1096.53/1096.83 c 906s | 11 | 131508 | 24044 | 44792 0 | 18088 | 0 1100.32/1100.60 c 910s | 11 | 131954 | 24144 | 44792 0 | 18088 | 0 1103.82/1104.18 c 913s | 11 | 132550 | 24244 | 44792 0 | 18088 | 0 1107.52/1107.84 c 917s | 11 | 133225 | 24344 | 44792 0 | 18088 | 0 1112.01/1112.31 c 922s | 11 | 133517 | 24444 | 44792 0 | 18088 | 0 1116.61/1116.91 c 926s | 11 | 133889 | 24544 | 44792 0 | 18088 | 0 1120.72/1121.07 c 930s | 11 | 134685 | 24644 | 44792 0 | 18088 | 0 1124.02/1124.33 c 934s | 11 | 135026 | 24744 | 44792 0 | 18088 | 0 1126.81/1127.17 c 936s | 11 | 135517 | 24844 | 44792 0 | 18088 | 0 1129.81/1130.13 c 939s | 11 | 135966 | 24944 | 44792 0 | 18088 | 0 1132.71/1133.08 c 942s | 11 | 136409 | 25044 | 44792 0 | 18088 | 0 1137.31/1137.69 c 947s | 11 | 137353 | 25144 | 44792 0 | 18088 | 0 1141.20/1141.59 c 951s | 11 | 137742 | 25244 | 44792 0 | 18088 | 0 1145.91/1146.26 c 956s | 11 | 138305 | 25344 | 44792 0 | 18088 | 0 1150.41/1150.71 c 960s | 11 | 138899 | 25444 | 44792 0 | 18088 | 0 1154.70/1155.06 c 964s | 11 | 139256 | 25544 | 44792 0 | 18088 | 0 1159.10/1159.46 c 969s | 11 | 139786 | 25644 | 44792 0 | 18088 | 0 1163.60/1163.92 c 973s | 11 | 140253 | 25744 | 49272 0 | 18088 | 0 1166.49/1166.89 c 976s | 12 | 141022 | 25819 | 49272 0 | 18088 | 0 1170.69/1171.07 c 980s | 12 | 141878 | 25919 | 49272 0 | 18088 | 0 1174.29/1174.60 c 984s | 12 | 142845 | 26019 | 49272 0 | 18088 | 0 1179.00/1179.34 c 989s | 12 | 143267 | 26119 | 49272 0 | 18088 | 0 1181.69/1182.02 c 991s | 12 | 143605 | 26219 | 49272 0 | 18088 | 0 1184.59/1184.90 c 994s | 12 | 143957 | 26319 | 49272 0 | 18088 | 0 1187.59/1187.92 c 997s | 12 | 144269 | 26419 | 49272 0 | 18088 | 0 1190.89/1191.21 c 1000s | 12 | 144433 | 26519 | 49272 0 | 18088 | 0 1194.09/1194.42 c 1004s | 12 | 144706 | 26619 | 49272 0 | 18088 | 0 1196.99/1197.38 c 1007s | 12 | 144850 | 26719 | 49272 0 | 18088 | 0 1201.09/1201.42 c 1011s | 12 | 145390 | 26819 | 49272 0 | 18088 | 0 1205.59/1205.93 c 1015s | 12 | 145820 | 26919 | 49272 0 | 18088 | 0 1209.89/1210.29 c 1020s | 12 | 146411 | 27019 | 49272 0 | 18088 | 0 1214.19/1214.52 c 1024s | 12 | 146989 | 27119 | 49272 0 | 18088 | 0 1218.38/1218.72 c 1028s | 12 | 147581 | 27219 | 49272 0 | 18088 | 0 1222.78/1223.11 c 1032s | 12 | 147991 | 27319 | 49272 0 | 18088 | 0 1226.88/1227.26 c 1037s | 12 | 148420 | 27419 | 49272 0 | 18088 | 0 1230.38/1230.71 c 1040s | 12 | 149002 | 27519 | 49272 0 | 18088 | 0 1234.38/1234.79 c 1044s | 12 | 149689 | 27619 | 49272 0 | 18088 | 0 1238.08/1238.40 c 1048s | 12 | 150152 | 27719 | 49272 0 | 18088 | 0 1241.18/1241.57 c 1051s | 12 | 150869 | 27819 | 49272 0 | 18088 | 0 1245.28/1245.66 c 1055s | 12 | 151315 | 27919 | 49272 0 | 18088 | 0 1249.39/1249.76 c 1059s | 12 | 151893 | 28019 | 49272 0 | 18088 | 0 1252.48/1252.82 c 1062s | 12 | 152366 | 28119 | 49272 0 | 18088 | 0 1255.48/1255.89 c 1065s | 12 | 152774 | 28219 | 49272 0 | 18088 | 0 1258.78/1259.18 c 1068s | 12 | 153294 | 28319 | 49272 0 | 18088 | 0 1261.98/1262.33 c 1072s | 12 | 153939 | 28419 | 49272 0 | 18088 | 0 1266.48/1266.86 c 1076s | 12 | 154342 | 28519 | 49272 0 | 18088 | 0 1269.87/1270.24 c 1080s | 12 | 155016 | 28619 | 49272 0 | 18088 | 0 1273.17/1273.56 c 1083s | 12 | 155431 | 28719 | 49272 0 | 18088 | 0 1277.57/1277.90 c 1087s | 12 | 155836 | 28819 | 49272 0 | 18088 | 0 1281.07/1281.47 c 1091s | 12 | 156551 | 28919 | 49272 0 | 18088 | 0 1284.07/1284.48 c 1094s | 12 | 157080 | 29019 | 49272 0 | 18088 | 0 1287.57/1287.90 c 1097s | 12 | 157569 | 29119 | 49272 0 | 18088 | 0 1290.97/1291.32 c 1101s | 12 | 158121 | 29219 | 49272 0 | 18088 | 0 1295.17/1295.56 c 1105s | 12 | 158472 | 29319 | 49272 0 | 18088 | 0 1299.37/1299.76 c 1109s | 12 | 159079 | 29419 | 49272 0 | 18088 | 0 1302.67/1303.04 c 1112s | 12 | 159488 | 29519 | 49272 0 | 18088 | 0 1306.07/1306.41 c 1116s | 12 | 160181 | 29619 | 49272 0 | 18088 | 0 1309.67/1310.04 c 1119s | 12 | 160442 | 29719 | 49272 0 | 18088 | 0 1312.97/1313.32 c 1123s | 12 | 160717 | 29819 | 49272 0 | 18088 | 0 1317.07/1317.49 c 1127s | 12 | 161034 | 29919 | 49272 0 | 18088 | 0 1322.17/1322.50 c 1132s | 12 | 161636 | 30019 | 49272 0 | 18088 | 0 1325.56/1325.95 c 1135s | 12 | 162105 | 30119 | 49272 0 | 18088 | 0 1329.36/1329.78 c 1139s | 12 | 162784 | 30219 | 49272 0 | 18088 | 0 1333.97/1334.40 c 1144s | 12 | 163120 | 30319 | 49272 0 | 18088 | 0 1338.06/1338.44 c 1148s | 12 | 163803 | 30419 | 49272 0 | 18088 | 0 1342.77/1343.14 c 1152s | 12 | 164540 | 30519 | 49272 0 | 18088 | 0 1345.56/1345.97 c 1155s | 12 | 165227 | 30619 | 49272 0 | 18088 | 0 1348.96/1349.34 c 1159s | 12 | 165743 | 30719 | 49272 0 | 18088 | 0 1352.36/1352.73 c 1162s | 12 | 166256 | 30819 | 49272 0 | 18088 | 0 1356.16/1356.53 c 1166s | 12 | 166768 | 30919 | 49272 0 | 18088 | 0 1360.76/1361.11 c 1170s | 12 | 167515 | 31019 | 49272 0 | 18088 | 0 1364.56/1364.90 c 1174s | 12 | 167994 | 31119 | 49272 0 | 18088 | 0 1368.76/1369.11 c 1178s | 12 | 168633 | 31219 | 49272 0 | 18088 | 0 1371.66/1372.08 c 1181s | 12 | 168855 | 31319 | 49272 0 | 18088 | 0 1376.16/1376.58 c 1186s | 12 | 169795 | 31419 | 49272 0 | 18088 | 0 1379.56/1379.91 c 1189s | 12 | 170123 | 31519 | 49272 0 | 18088 | 0 1383.06/1383.49 c 1193s | 12 | 170842 | 31619 | 49272 0 | 18088 | 0 1387.46/1387.81 c 1197s | 12 | 171172 | 31719 | 49272 0 | 18088 | 0 1390.75/1391.15 c 1200s | 12 | 171963 | 31819 | 49272 0 | 18088 | 0 1394.25/1394.66 c 1204s | 12 | 172429 | 31919 | 49272 0 | 18088 | 0 1398.25/1398.61 c 1208s | 12 | 172967 | 32019 | 49272 0 | 18088 | 0 1402.45/1402.87 c 1212s | 12 | 173460 | 32119 | 49272 0 | 18088 | 0 1406.75/1407.17 c 1216s | 12 | 174106 | 32219 | 49272 0 | 18088 | 0 1410.96/1411.38 c 1221s | 12 | 174481 | 32319 | 49272 0 | 18088 | 0 1415.55/1415.90 c 1225s | 12 | 175225 | 32419 | 49272 0 | 18088 | 0 1419.15/1419.55 c 1229s | 12 | 175843 | 32519 | 49272 0 | 18088 | 0 1423.35/1423.77 c 1233s | 12 | 176468 | 32619 | 49272 0 | 18088 | 0 1427.56/1427.91 c 1237s | 12 | 176954 | 32719 | 49272 0 | 18088 | 0 1431.35/1431.78 c 1241s | 12 | 177327 | 32819 | 49272 0 | 18088 | 0 1435.35/1435.70 c 1245s | 12 | 177835 | 32919 | 49272 0 | 18088 | 0 1439.55/1439.97 c 1249s | 12 | 178237 | 33019 | 49272 0 | 18088 | 0 1444.65/1445.06 c 1254s | 12 | 178984 | 33119 | 49272 0 | 18088 | 0 1449.95/1450.31 c 1260s | 12 | 179105 | 33219 | 49272 0 | 18088 | 0 1454.34/1454.77 c 1264s | 12 | 179333 | 33319 | 49272 0 | 18088 | 0 1458.35/1458.78 c 1268s | 12 | 180140 | 33419 | 49272 0 | 18088 | 0 1462.75/1463.14 c 1272s | 12 | 180564 | 33519 | 49272 0 | 18088 | 0 1467.64/1468.00 c 1277s | 12 | 181583 | 33619 | 49272 0 | 18088 | 0 1470.94/1471.39 c 1281s | 12 | 182118 | 33719 | 49272 0 | 18088 | 0 1476.04/1476.48 c 1286s | 12 | 182661 | 33819 | 49272 0 | 18088 | 0 1481.64/1482.09 c 1291s | 12 | 183468 | 33919 | 49272 0 | 18088 | 0 1486.85/1487.30 c 1297s | 12 | 183958 | 34019 | 49272 0 | 18088 | 0 1492.24/1492.64 c 1302s | 12 | 184156 | 34119 | 49272 0 | 18088 | 0 1496.54/1496.99 c 1306s | 12 | 185077 | 34219 | 49272 0 | 18088 | 0 1500.54/1500.99 c 1310s | 12 | 185630 | 34319 | 49272 0 | 18088 | 0 1504.74/1505.14 c 1314s | 12 | 186209 | 34419 | 49272 0 | 18088 | 0 1509.14/1509.58 c 1319s | 12 | 186652 | 34519 | 49272 0 | 18088 | 0 1513.74/1514.16 c 1323s | 12 | 187175 | 34619 | 49272 0 | 18088 | 0 1518.44/1518.81 c 1328s | 12 | 187894 | 34719 | 49272 0 | 18088 | 0 1522.53/1522.93 c 1332s | 12 | 188343 | 34819 | 49272 0 | 18088 | 0 1526.03/1526.44 c 1336s | 12 | 188907 | 34919 | 49272 0 | 18088 | 0 1529.74/1530.16 c 1339s | 12 | 189581 | 35019 | 49272 0 | 18088 | 0 1533.53/1533.95 c 1343s | 12 | 190384 | 35119 | 49272 0 | 18088 | 0 1537.63/1538.08 c 1347s | 12 | 190936 | 35219 | 49272 0 | 18088 | 0 1542.83/1543.24 c 1353s | 12 | 191850 | 35319 | 49272 0 | 18088 | 0 1547.44/1547.86 c 1357s | 12 | 192584 | 35419 | 49272 0 | 18088 | 0 1551.43/1551.86 c 1361s | 12 | 193312 | 35519 | 49272 0 | 18088 | 0 1555.93/1556.35 c 1366s | 12 | 194002 | 35619 | 49272 0 | 18088 | 0 1560.64/1561.03 c 1370s | 12 | 194662 | 35719 | 49272 0 | 18088 | 0 1565.63/1566.08 c 1375s | 12 | 195342 | 35819 | 49272 0 | 18088 | 0 1569.53/1569.95 c 1379s | 12 | 195657 | 35919 | 49272 0 | 18088 | 0 1573.73/1574.11 c 1383s | 12 | 196199 | 36019 | 49272 0 | 18088 | 0 1578.13/1578.54 c 1388s | 12 | 196732 | 36119 | 49272 0 | 18088 | 0 1582.23/1582.67 c 1392s | 12 | 196959 | 36219 | 49272 0 | 18088 | 0 1586.42/1586.84 c 1396s | 12 | 197316 | 36319 | 49272 0 | 18088 | 0 1590.52/1590.90 c 1400s | 12 | 197528 | 36419 | 49272 0 | 18088 | 0 1595.12/1595.57 c 1405s | 12 | 198140 | 36519 | 49272 0 | 18088 | 0 1599.62/1600.06 c 1409s | 12 | 198691 | 36619 | 49272 0 | 18088 | 0 1603.53/1603.98 c 1413s | 12 | 198956 | 36719 | 49272 0 | 18088 | 0 1608.12/1608.51 c 1418s | 12 | 199951 | 36819 | 49272 0 | 18088 | 0 1612.02/1612.43 c 1422s | 12 | 200484 | 36919 | 49272 0 | 18088 | 0 1615.92/1616.36 c 1426s | 12 | 201100 | 37019 | 49272 0 | 18088 | 0 1620.82/1621.20 c 1430s | 12 | 201597 | 37119 | 49272 0 | 18088 | 0 1624.12/1624.53 c 1434s | 12 | 202102 | 37219 | 49272 0 | 18088 | 0 1627.62/1628.01 c 1437s | 12 | 202809 | 37319 | 49272 0 | 18088 | 0 1631.03/1631.43 c 1441s | 12 | 203460 | 37419 | 49272 0 | 18088 | 0 1634.72/1635.12 c 1444s | 12 | 203988 | 37519 | 49272 0 | 18088 | 0 1639.52/1639.98 c 1449s | 12 | 204643 | 37619 | 49272 0 | 18088 | 0 1645.02/1645.41 c 1455s | 12 | 205670 | 37719 | 49272 0 | 18088 | 0 1649.52/1649.94 c 1459s | 12 | 206234 | 37819 | 49272 0 | 18088 | 0 1654.41/1654.80 c 1464s | 12 | 206886 | 37919 | 49272 0 | 18088 | 0 1659.62/1660.02 c 1469s | 12 | 207528 | 38019 | 49272 0 | 18088 | 0 1663.92/1664.30 c 1474s | 12 | 208085 | 38119 | 49272 0 | 18088 | 0 1668.42/1668.82 c 1478s | 12 | 208624 | 38219 | 49272 0 | 18088 | 0 1673.11/1673.50 c 1483s | 12 | 209150 | 38319 | 49272 0 | 18088 | 0 1677.61/1678.06 c 1487s | 12 | 209696 | 38419 | 49272 0 | 18088 | 0 1682.21/1682.60 c 1492s | 12 | 210250 | 38519 | 49272 0 | 18088 | 0 1687.02/1687.45 c 1497s | 12 | 211076 | 38619 | 54200 0 | 18088 | 0 1691.81/1692.27 c 1502s | 12 | 211498 | 38719 | 54200 0 | 18088 | 0 1696.51/1696.91 c 1506s | 12 | 211924 | 38819 | 54200 0 | 18088 | 0 1697.11/1697.59 c 1507s | 13 | 211989 | 38832 | 54200 0 | 18088 | 0 1702.21/1702.68 c 1512s | 13 | 212765 | 38932 | 54200 0 | 18088 | 0 1706.91/1707.38 c 1517s | 13 | 213143 | 39032 | 54200 0 | 18088 | 0 1711.10/1711.56 c 1521s | 13 | 213546 | 39132 | 54200 0 | 18088 | 0 1714.70/1715.12 c 1524s | 13 | 213759 | 39232 | 54200 0 | 18088 | 0 1719.30/1719.79 c 1529s | 13 | 214467 | 39332 | 54200 0 | 18088 | 0 1723.50/1723.95 c 1533s | 13 | 215490 | 39432 | 54200 0 | 18088 | 0 1728.10/1728.54 c 1538s | 13 | 215943 | 39532 | 54200 0 | 18088 | 0 1733.10/1733.57 c 1543s | 13 | 216606 | 39632 | 54200 0 | 18088 | 0 1736.90/1737.35 c 1547s | 13 | 217077 | 39732 | 54200 0 | 18088 | 0 1741.70/1742.15 c 1551s | 13 | 217785 | 39832 | 54200 0 | 18088 | 0 1746.20/1746.61 c 1556s | 13 | 218191 | 39932 | 54200 0 | 18088 | 0 1750.30/1750.70 c 1560s | 13 | 218405 | 40032 | 54200 0 | 18088 | 0 1754.70/1755.19 c 1564s | 13 | 218864 | 40132 | 54200 0 | 18088 | 0 1759.50/1759.99 c 1569s | 13 | 219282 | 40232 | 54200 0 | 18088 | 0 1762.90/1763.33 c 1573s | 13 | 219694 | 40332 | 54200 0 | 18088 | 0 1766.60/1767.09 c 1576s | 13 | 219974 | 40432 | 54200 0 | 18088 | 0 1770.50/1770.99 c 1580s | 13 | 220200 | 40532 | 54200 0 | 18088 | 0 1774.00/1774.46 c 1584s | 13 | 220613 | 40632 | 54200 0 | 18088 | 0 1776.89/1777.33 c 1587s | 13 | 220846 | 40732 | 54200 0 | 18088 | 0 1782.29/1782.73 c 1592s | 13 | 221459 | 40832 | 54200 0 | 18088 | 0 1786.89/1787.37 c 1597s | 13 | 222274 | 40932 | 54200 0 | 18088 | 0 1791.99/1792.46 c 1602s | 13 | 222607 | 41032 | 54200 0 | 18088 | 0 1796.19/1796.69 c 1606s | 13 | 223270 | 41132 | 54200 0 | 18088 | 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-4103433-1466237031/watcher-4103433-1466237031 -o /tmp/evaluation-result-4103433-1466237031/solver-4103433-1466237031 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16205 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103433-1466237031.opb pid=21373 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.35 2.26 2.23 3/179 21376 /proc/meminfo: memFree=17470464/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=672188 CPUtime=0 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 2498 0 0 0 0 0 0 0 20 0 4 0 25748644 688320512 2860 33554432000 4194304 16246674 140735544832192 140735544831616 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21376/statm: 168815 2868 441 2943 0 165709 0 [pid=21376/tid=21377] ppid=21373 vsize=689596 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 706146304 2926 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=693692 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 710340608 2941 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=697788 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25748644 714534912 2959 33554432000 4194304 16246674 140735544832192 139764734876848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100172 s] /proc/loadavg: 2.35 2.26 2.23 3/179 21376 /proc/meminfo: memFree=17470464/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=1304132 CPUtime=0.08 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 31333 0 0 0 5 3 0 0 20 0 4 0 25748644 1335431168 31633 33554432000 4194304 16246674 140735544832192 140735544831504 7853005 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21376/statm: 326033 31648 799 2943 0 322927 0 [pid=21376/tid=21377] ppid=21373 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 1335431168 31657 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 1335431168 31668 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1335431168 31679 33554432000 4194304 16246674 140735544832192 139764734876848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1304132 [startup+0.200498 s] /proc/loadavg: 2.35 2.26 2.23 3/179 21376 /proc/meminfo: memFree=17470464/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=1311300 CPUtime=0.19 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 42633 0 0 0 14 5 0 0 20 0 4 0 25748644 1342771200 43443 33554432000 4194304 16246674 140735544832192 140735544831504 7364051 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21376/statm: 327825 43443 800 2943 0 324719 0 [pid=21376/tid=21377] ppid=21373 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 1342771200 43443 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 1342771200 43443 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1342771200 43443 33554432000 4194304 16246674 140735544832192 139764734876848 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) 1311300 [startup+0.300498 s] /proc/loadavg: 2.35 2.26 2.23 3/179 21376 /proc/meminfo: memFree=17470464/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=1311300 CPUtime=0.29 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 48424 0 0 0 23 6 0 0 20 0 4 0 25748644 1342771200 49234 33554432000 4194304 16246674 140735544832192 140735544815184 7439578 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21376/statm: 327825 49234 801 2943 0 324719 0 [pid=21376/tid=21377] ppid=21373 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 1342771200 49234 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 1342771200 49234 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1342771200 49234 33554432000 4194304 16246674 140735544832192 139764734876848 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) 1311300 [startup+0.700409 s] /proc/loadavg: 2.35 2.26 2.23 3/179 21376 /proc/meminfo: memFree=17470464/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=1327684 CPUtime=0.68 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 87869 0 0 0 56 12 0 0 20 0 4 0 25748644 1359548416 88680 33554432000 4194304 16246674 140735544832192 140735544815184 12429797 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21376/statm: 331921 88685 834 2943 0 328815 0 [pid=21376/tid=21377] ppid=21373 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 1359548416 88688 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 1359548416 88691 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1359548416 88695 33554432000 4194304 16246674 140735544832192 139764734876848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1327684 [startup+1.5004 s] /proc/loadavg: 2.33 2.26 2.23 3/183 21380 /proc/meminfo: memFree=15873276/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=1327684 CPUtime=1.49 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 272537 0 0 0 112 37 0 0 20 0 4 0 25748644 1359548416 273347 33554432000 4194304 16246674 140735544832192 140735544814080 12371187 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21376/statm: 331921 273347 836 2943 0 328815 0 [pid=21376/tid=21377] ppid=21373 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 1359548416 273347 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 1359548416 273347 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1359548416 273347 33554432000 4194304 16246674 140735544832192 139764734876848 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) 1327684 [startup+3.10045 s] /proc/loadavg: 2.33 2.26 2.23 3/183 21380 /proc/meminfo: memFree=14952328/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=1327684 CPUtime=3.09 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 272540 0 0 0 272 37 0 0 20 0 4 0 25748644 1359548416 273350 33554432000 4194304 16246674 140735544832192 140735544814080 12654383 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21376/statm: 331921 273350 836 2943 0 328815 0 [pid=21376/tid=21377] ppid=21373 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 1359548416 273350 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 1359548416 273350 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1359548416 273350 33554432000 4194304 16246674 140735544832192 139764734876848 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) 1327684 [startup+6.30046 s] /proc/loadavg: 2.30 2.26 2.23 3/183 21380 /proc/meminfo: memFree=14951536/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=1327684 CPUtime=6.29 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 272540 0 0 0 592 37 0 0 20 0 4 0 25748644 1359548416 273350 33554432000 4194304 16246674 140735544832192 140735544814080 12429121 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21376/statm: 331921 273350 836 2943 0 328815 0 [pid=21376/tid=21377] ppid=21373 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 1359548416 273350 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 1359548416 273350 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1359548416 273350 33554432000 4194304 16246674 140735544832192 139764734876848 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) 1327684 [startup+12.7004 s] /proc/loadavg: 2.27 2.25 2.23 3/183 21380 /proc/meminfo: memFree=14951444/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=1327684 CPUtime=12.69 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 272540 0 0 0 1232 37 0 0 20 0 4 0 25748644 1359548416 273350 33554432000 4194304 16246674 140735544832192 140735544814080 12656213 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21376/statm: 331921 273350 836 2943 0 328815 0 [pid=21376/tid=21377] ppid=21373 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 1359548416 273350 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 1359548416 273350 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1359548416 273350 33554432000 4194304 16246674 140735544832192 139764734876848 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) 1327684 [startup+25.5005 s] /proc/loadavg: 2.21 2.24 2.23 3/183 21381 /proc/meminfo: memFree=14809972/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=1468996 CPUtime=25.49 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 307873 0 0 0 2506 43 0 0 20 0 4 0 25748644 1504251904 308683 33554432000 4194304 16246674 140735544832192 140735544814080 12657263 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21376/statm: 367249 308683 836 2943 0 364143 0 [pid=21376/tid=21377] ppid=21373 vsize=1468996 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 1504251904 308683 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=1468996 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 1504251904 308683 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=1468996 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1504251904 308683 33554432000 4194304 16246674 140735544832192 139764734876848 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) 1468996 [startup+51.1005 s] /proc/loadavg: 2.33 2.26 2.23 3/183 21381 /proc/meminfo: memFree=13649540/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=2633284 CPUtime=51.08 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 598948 0 0 0 5027 81 0 0 20 0 4 0 25748644 2696482816 599758 33554432000 4194304 16246674 140735544832192 140735544831504 4206674 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21376/statm: 658321 599758 838 2943 0 655215 0 [pid=21376/tid=21377] ppid=21373 vsize=2633284 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 2696482816 599758 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=2633284 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 2696482816 599758 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=2633284 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 2696482816 599758 33554432000 4194304 16246674 140735544832192 139764734876848 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) 2633284 [startup+102.301 s] /proc/loadavg: 2.19 2.24 2.23 3/183 21382 /proc/meminfo: memFree=16113028/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=3185220 CPUtime=102.27 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 2474150 0 0 0 9865 362 0 0 20 0 4 0 25748644 3261665280 737744 33554432000 4194304 16246674 140735544832192 140735544831288 4220536 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 796305 737744 838 2943 0 793199 0 [pid=21376/tid=21377] ppid=21373 vsize=3185220 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 3261665280 737744 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=3185220 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 3261665280 737744 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=3185220 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 3261665280 737744 33554432000 4194304 16246674 140735544832192 139764734876848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 3185220 ################ # More data... # ################ /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764734876848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1813060 [startup+1362.3 s] /proc/loadavg: 2.17 2.30 2.26 3/183 21462 /proc/meminfo: memFree=26888952/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=1813060 CPUtime=1361.96 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 4410527 0 0 0 135524 672 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 140735544814080 5600476 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 453265 395019 895 2943 0 450159 0 [pid=21376/tid=21377] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764734876848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1813060 [startup+1422.3 s] /proc/loadavg: 2.23 2.29 2.26 3/183 21463 /proc/meminfo: memFree=26887972/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=1813060 CPUtime=1421.96 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 4410527 0 0 0 141524 672 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 140735544814080 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 453265 395019 895 2943 0 450159 0 [pid=21376/tid=21377] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764734876848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 1813060 [startup+1482.3 s] /proc/loadavg: 2.34 2.31 2.27 3/183 21464 /proc/meminfo: memFree=26956732/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=1813060 CPUtime=1481.94 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 4410527 0 0 0 147522 672 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 140735544814080 5600480 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 453265 395019 895 2943 0 450159 0 [pid=21376/tid=21377] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764734876848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1813060 [startup+1542.31 s] /proc/loadavg: 2.21 2.28 2.26 3/183 21465 /proc/meminfo: memFree=26888520/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=1813060 CPUtime=1541.94 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 4410527 0 0 0 153522 672 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 140735544814080 5601643 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 453265 395019 895 2943 0 450159 0 [pid=21376/tid=21377] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764734876848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 1813060 [startup+1602.3 s] /proc/loadavg: 2.30 2.29 2.26 3/184 21470 /proc/meminfo: memFree=26888724/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=1813060 CPUtime=1601.92 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 4410527 0 0 0 159520 672 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 140735544814080 5601976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 453265 395019 895 2943 0 450159 0 [pid=21376/tid=21377] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764734876848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 1813060 [startup+1662.3 s] /proc/loadavg: 2.21 2.26 2.26 4/183 21471 /proc/meminfo: memFree=26888288/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=1813060 CPUtime=1661.91 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 4410527 0 0 0 165519 672 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 140735544814080 13760246 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 453265 395019 895 2943 0 450159 0 [pid=21376/tid=21377] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764734876848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 1813060 [startup+1722.3 s] /proc/loadavg: 2.26 2.26 2.26 3/183 21472 /proc/meminfo: memFree=26888516/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=1813060 CPUtime=1721.9 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 4410527 0 0 0 171518 672 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 140735544814080 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 453265 395019 895 2943 0 450159 0 [pid=21376/tid=21377] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764734876848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 1813060 [startup+1782.3 s] /proc/loadavg: 2.41 2.30 2.27 3/183 21473 /proc/meminfo: memFree=26913000/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=1813060 CPUtime=1781.89 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 4410527 0 0 0 177517 672 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 140735544814080 5659404 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 453265 395019 895 2943 0 450159 0 [pid=21376/tid=21377] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764734876848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 1813060 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.46 2.32 2.28 3/183 21473 /proc/meminfo: memFree=26934780/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=1813060 CPUtime=1800.09 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 4410527 0 0 0 179337 672 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 140735544814080 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 453265 395019 895 2943 0 450159 0 [pid=21376/tid=21377] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764734876848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1813060 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 21376 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.46 2.32 2.28 3/183 21473 /proc/meminfo: memFree=26934780/32872528 swapFree=1459628/1655852 [pid=21376] ppid=21373 vsize=1813060 CPUtime=1800.09 cores=0,2,4,6 /proc/21376/stat : 21376 (toysat) R 21373 21376 16189 0 -1 4202496 4410527 0 0 0 179337 672 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 140735544814080 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21376/statm: 453265 395019 895 2943 0 450159 0 [pid=21376/tid=21377] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21377/stat : 21377 (toysat) S 21373 21376 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764826090736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21376/tid=21378] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21378/stat : 21378 (toysat) S 21373 21376 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764745350384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21376/tid=21379] ppid=21373 vsize=1813060 CPUtime=0 cores=0,2,4,6 /proc/21376/task/21379/stat : 21379 (toysat) S 21373 21376 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25748644 1856573440 395019 33554432000 4194304 16246674 140735544832192 139764734876848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1813060 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.11 CPU user time (s): 1793.38 CPU system time (s): 6.72598 CPU usage (%): 99.9776 Max. virtual memory (cumulated for all children) (KiB): 9237060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.38 system time used= 6.72598 maximum resident set size= 9002824 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4410527 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= 363 involuntary context switches= 1966 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.8154 second user time and 16.2525 second system time The end
Begin job on node136 at 2016-06-18 10:03:51 IDJOB=4103433 IDBENCH=2357 IDSOLVER=2542 FILE ID=node136/4103433-1466237031 RUNJOBID= node136-1466206055-16205 PBS_JOBID= 19918141 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-trento1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103433-1466237031/watcher-4103433-1466237031 -o /tmp/evaluation-result-4103433-1466237031/solver-4103433-1466237031 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16205 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103433-1466237031.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3e144bcef2d8d517e1e9ee592d533dc8 RANDOM SEED=1100704153 node136.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 : 2667.278 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 : 5334.55 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 : 2667.278 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 : 2667.278 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 : 2667.278 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 : 2667.278 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 : 2667.278 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 : 2667.278 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.67 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 : 2667.278 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: 17484864 kB Buffers: 111276 kB Cached: 201528 kB SwapCached: 0 kB Active: 12775080 kB Inactive: 188564 kB Active(anon): 12638724 kB Inactive(anon): 14636 kB Active(file): 136356 kB Inactive(file): 173928 kB Unevictable: 1655852 kB Mlocked: 1459628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 19808 kB Writeback: 28 kB AnonPages: 14417540 kB Mapped: 16324 kB Shmem: 204 kB Slab: 608744 kB SReclaimable: 52836 kB SUnreclaim: 555908 kB KernelStack: 1512 kB PageTables: 31604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 14442968 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 591872 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 node136 at 2016-06-18 10:33:52