| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.45 |
| Name | PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm100p-opt.opb.negationfix.opb |
| MD5SUM | 0aee14f9dddbd7be1efd1f634d515742 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| 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 | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | |
| Total number of constraints | |
| Number of constraints which are clauses | |
| Number of constraints which are cardinality constraints (but not clauses) | |
| Number of constraints which are nor clauses,nor cardinality constraints | |
| Minimum length of a constraint | |
| Maximum length of a constraint | |
| Number of terms in the objective function | |
| Biggest coefficient in the objective function | |
| Number of bits for the biggest coefficient in the objective function | |
| Sum of the numbers in the objective function | |
| Number of bits of the sum of numbers in the objective function | |
| Biggest number in a constraint | |
| Number of bits of the biggest number in a constraint | |
| Biggest sum of numbers in a constraint | |
| Number of bits of the biggest sum of numbers | |
| Number of products (including duplicates) | |
| Sum of products size (including duplicates) | |
| Number of different products | |
| Sum of products size |
0.00/0.00 c 2016-06-30T11:08:38+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-4119775-1467277718.opb"] 0.00/0.01 c use --random-gen="2687638560 430849809 336455379 2624025381 214864359 664867639 2931280286 2584544136 3429888824 154259210 1163579655 1616379057 1057167981 2207331465 2927605709 1563999800 3088949211 4039752726 3696058355 3191656667 1224168833 3885549287 3667493954 3141864203 3159557158 4245487625 37780072 3220224138 572031837 2274861864 3347296013 63868287 3773127763 2085810473 796114710 2532284156 1049747618 807690793 3250123805 1671298029 1097200863 3245707274 1105863079 272622757 2617118856 3050128140 2017553660 2319636274 2341485390 3737054503 688168855 1182647118 3449644593 486809536 2242141689 2107615058 3248963689 2603507358 2965169273 1633347603 4286244186 1718111912 225361161 483113246 3968145179 3868001824 3171424454 1701186747 3768068560 745163275 947062210 1473999629 3114988217 1487759334 2610266946 2167447942 2475916364 4088179692 4117086972 1497008538 4225258614 566223724 4136835347 3004108403 3744935737 332650325 3096584111 1255128576 3421481081 3096155901 3988876748 1080266207 2936637701 1569847572 3491805292 2857842551 3608724754 800294522 1448389976 2331957625 1639512696 1373552338 1587590491 418411276 2807625389 679469191 3888117587 1380360797 2148282253 110574863 3673455624 1478741887 1130266009 2530802651 702595583 1921124118 1348461371 1289590208 1992597830 1435238421 347340260 177394613 2443284401 1708815349 1848940494 3628432762 1367283212 2937961402 426233152 475240798 1038932456 965101192 63026019 1276909786 4239781313 1263639461 3748565106 1072828069 2661222582 3107276456 1702895856 1334614087 49004119 4277802450 981504780 3874181713 4238944140 1620665460 816706647 3120120213 190157387 2704007236 3211336165 953706563 2235280951 2625689947 1974920831 8563263 809812619 3955482617 3257837857 1994654898 3050199019 2052508478 3043136796 1746076309 1152208577 2761066639 1343901725 1465596151 1684294238 3030389781 1591579848 960610234 2182630498 166313391 1308290993 2232803772 3829063070 348280714 278088034 4045025873 3920714180 3928296964 1863883654 2583148920 2559775926 1269050903 908396557 3577793133 3587116394 1938991967 651888872 1778438571 1284141730 1400273613 1548899403 2319563653 257338483 3485881692 3750820063 4066290819 3991163153 1077115032 1802413069 249203691 4225046519 1104325083 810779506 2808234648 3517049258 2839349313 2551197875 94647778 564703028 2962038005 376582068 971318940 3924901032 4154842045 2460426160 2143031056 617185714 2878361174 1631066647 1447674319 2451928325 3534935244 559293823 3468555997 2925440473 1025410705 2081909577 494872233 3694319793 1335582366 1112068598 693615021 934550854 1563787728 3872400818 2417889747 2859164578 953860117 1784465337 3114989571 2197619898 3420062769 789335643 393159054 2199819534 3033249752 319061209 4086942003 1378322808 3040975401 255 362436" option to reproduce the execution 1.20/1.29 c #vars 182272 1.20/1.29 c #constraints 3104 3.99/4.08 c BCD2: Hardening is enabled. 3.99/4.08 c BCD2: BiasedSearch is enabled. 3.99/4.08 c Solving starts ... 3.99/4.08 c ============================[ Search Statistics ]============================ 3.99/4.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.99/4.08 c | | | | Limit GC | Var | Constra 3.99/4.08 c ============================================================================= 4.09/4.15 c 0.0s | 0 | 0 | 0 | 61791 0 | 775 | 0 6.09/6.16 c 2.0s | 1 | 1318 | 100 | 61791 0 | 775 | 1 8.59/8.68 c 4.5s | 1 | 10677 | 200 | 67971 0 | 775 | 1 10.00/10.04 c 5.9s | 2 | 10737 | 250 | 67971 0 | 775 | 1 12.89/12.99 c 8.8s | 2 | 32422 | 350 | 74769 0 | 775 | 1 15.89/15.93 c 11.8s | 2 | 32534 | 450 | 74769 0 | 775 | 1 16.89/16.97 c 12.8s | 3 | 32563 | 475 | 74769 0 | 775 | 1 19.39/19.40 c 15.2s | 3 | 64691 | 575 | 82246 0 | 775 | 1 21.59/21.61 c 17.5s | 3 | 64802 | 675 | 82246 0 | 775 | 1 23.69/23.73 c 19.6s | 3 | 64922 | 775 | 82246 0 | 775 | 1 24.69/24.75 c 20.6s | 4 | 64964 | 813 | 82246 0 | 775 | 1 27.69/27.79 c 23.6s | 4 | 107709 | 913 | 90471 0 | 775 | 1 31.19/31.20 c 27.1s | 4 | 107824 | 1013 | 90471 0 | 775 | 1 34.29/34.38 c 30.2s | 4 | 107946 | 1113 | 90471 0 | 775 | 1 36.79/36.80 c 32.6s | 4 | 108048 | 1213 | 90471 0 | 775 | 1 38.99/39.00 c 34.8s | 5 | 108155 | 1320 | 90471 0 | 775 | 1 41.89/41.92 c 37.8s | 5 | 155658 | 1420 | 99519 0 | 775 | 1 45.19/45.23 c 41.1s | 5 | 155761 | 1520 | 99519 0 | 775 | 1 48.98/49.08 c 44.9s | 5 | 155864 | 1620 | 99519 0 | 775 | 1 54.48/54.52 c 50.4s | 5 | 155970 | 1720 | 99519 0 | 775 | 1 58.48/58.55 c 54.4s | 5 | 156079 | 1820 | 99519 0 | 775 | 1 62.08/62.14 c 58.0s | 5 | 156189 | 1920 | 99519 0 | 775 | 1 65.38/65.44 c 61.3s | 5 | 156295 | 2020 | 99519 0 | 775 | 1 67.58/67.64 c 63.5s | 6 | 156368 | 2081 | 109471 0 | 775 | 1 70.98/71.03 c 66.9s | 6 | 208191 | 2181 | 109471 0 | 775 | 1 73.78/73.84 c 69.7s | 6 | 208300 | 2281 | 109471 0 | 775 | 1 76.78/76.81 c 72.7s | 6 | 208409 | 2381 | 109471 0 | 775 | 1 81.98/82.07 c 77.9s | 6 | 208509 | 2481 | 109471 0 | 775 | 1 85.98/86.04 c 81.9s | 6 | 208620 | 2581 | 109471 0 | 775 | 1 90.38/90.49 c 86.3s | 6 | 208743 | 2681 | 109471 0 | 775 | 1 93.58/93.63 c 89.5s | 6 | 208858 | 2781 | 109471 0 | 775 | 1 96.98/97.01 c 92.9s | 6 | 208956 | 2881 | 109471 0 | 775 | 1 101.08/101.18 c 97.0s | 6 | 209053 | 2981 | 109471 0 | 775 | 1 104.87/104.99 c 100s | 6 | 209168 | 3081 | 109471 0 | 775 | 1 108.67/108.75 c 104s | 6 | 209281 | 3181 | 109471 0 | 775 | 1 110.37/110.49 c 106s | 7 | 209334 | 3223 | 120419 0 | 775 | 1 112.97/113.06 c 108s | 7 | 252103 | 3323 | 120419 0 | 775 | 1 115.87/115.96 c 111s | 7 | 252316 | 3523 | 120419 0 | 775 | 1 118.97/119.06 c 114s | 7 | 252537 | 3723 | 120419 0 | 775 | 1 122.08/122.16 c 118s | 7 | 252761 | 3923 | 120419 0 | 775 | 1 125.27/125.34 c 121s | 7 | 252979 | 4123 | 120419 0 | 775 | 1 128.57/128.61 c 124s | 7 | 253200 | 4323 | 120419 0 | 775 | 1 132.08/132.15 c 127s | 7 | 253450 | 4523 | 120419 0 | 775 | 1 135.57/135.68 c 131s | 7 | 253705 | 4723 | 120419 0 | 775 | 1 139.67/139.73 c 135s | 7 | 253919 | 4923 | 132461 0 | 775 | 1 139.96/140.06 c 135s | 8 | 253951 | 4936 | 132461 0 | 775 | 1 143.96/144.06 c 139s | 8 | 301666 | 5036 | 132461 0 | 775 | 1 147.66/147.75 c 143s | 8 | 301764 | 5136 | 132461 0 | 775 | 1 150.96/151.07 c 146s | 8 | 301866 | 5236 | 132461 0 | 775 | 1 153.76/153.84 c 149s | 8 | 302000 | 5336 | 132461 0 | 775 | 1 156.95/157.03 c 152s | 8 | 302134 | 5436 | 132461 0 | 775 | 1 160.66/160.72 c 156s | 8 | 302243 | 5536 | 132461 0 | 775 | 1 164.45/164.51 c 160s | 8 | 302352 | 5636 | 132461 0 | 775 | 1 167.85/167.97 c 163s | 8 | 302476 | 5736 | 132461 0 | 775 | 1 171.35/171.41 c 167s | 8 | 302598 | 5836 | 132461 0 | 775 | 1 174.75/174.90 c 170s | 8 | 302711 | 5936 | 132461 0 | 775 | 1 178.55/178.67 c 174s | 8 | 302824 | 6036 | 132461 0 | 775 | 1 181.85/181.99 c 177s | 8 | 302959 | 6136 | 132461 0 | 775 | 1 185.65/185.79 c 181s | 8 | 303078 | 6236 | 132461 0 | 775 | 1 189.95/190.02 c 185s | 8 | 303185 | 6336 | 132461 0 | 775 | 1 194.35/194.46 c 190s | 8 | 303314 | 6436 | 132461 0 | 775 | 1 198.75/198.83 c 194s | 8 | 303425 | 6536 | 132461 0 | 775 | 1 203.25/203.35 c 199s | 8 | 303527 | 6636 | 132461 0 | 775 | 1 207.54/207.68 c 203s | 8 | 303653 | 6736 | 132461 0 | 775 | 1 211.95/212.07 c 207s | 8 | 303764 | 6836 | 132461 0 | 775 | 1 215.65/215.79 c 211s | 8 | 303876 | 6936 | 132461 0 | 775 | 1 219.85/219.90 c 215s | 8 | 303975 | 7036 | 132461 0 | 775 | 1 224.55/224.63 c 220s | 8 | 304088 | 7136 | 132461 0 | 775 | 1 229.05/229.18 c 225s | 8 | 304192 | 7236 | 132461 0 | 775 | 1 232.94/233.07 c 228s | 8 | 304319 | 7336 | 132461 0 | 775 | 1 237.44/237.59 c 233s | 8 | 304415 | 7436 | 132461 0 | 775 | 1 240.64/240.74 c 236s | 9 | 304503 | 7506 | 145708 0 | 775 | 1 244.15/244.28 c 240s | 9 | 353674 | 7606 | 145708 0 | 775 | 1 247.14/247.23 c 243s | 9 | 353802 | 7706 | 145708 0 | 775 | 1 250.14/250.20 c 246s | 9 | 353915 | 7806 | 145708 0 | 775 | 1 253.44/253.50 c 249s | 9 | 354024 | 7906 | 145708 0 | 775 | 1 256.73/256.88 c 252s | 9 | 354148 | 8006 | 145708 0 | 775 | 1 260.43/260.50 c 256s | 9 | 354260 | 8106 | 145708 0 | 775 | 1 263.93/264.01 c 259s | 9 | 354368 | 8206 | 145708 0 | 775 | 1 267.42/267.58 c 263s | 9 | 354491 | 8306 | 145708 0 | 775 | 1 270.02/270.16 c 266s | 9 | 357287 | 8406 | 145708 0 | 775 | 1 273.83/273.91 c 269s | 9 | 357768 | 8506 | 145708 0 | 775 | 1 278.52/278.64 c 274s | 9 | 358039 | 8606 | 145708 0 | 775 | 1 283.12/283.23 c 279s | 9 | 358264 | 8706 | 145708 0 | 775 | 1 287.92/288.04 c 283s | 9 | 358392 | 8806 | 145708 0 | 775 | 1 292.72/292.85 c 288s | 9 | 358564 | 8906 | 145708 0 | 775 | 1 297.72/297.81 c 293s | 9 | 358679 | 9006 | 145708 0 | 775 | 1 303.72/303.81 c 299s | 9 | 358798 | 9106 | 145708 0 | 775 | 1 309.82/310.00 c 305s | 9 | 358918 | 9206 | 145708 0 | 775 | 1 315.52/315.66 c 311s | 9 | 359069 | 9306 | 145708 0 | 775 | 1 321.82/321.98 c 317s | 9 | 359185 | 9406 | 145708 0 | 775 | 1 327.42/327.52 c 323s | 9 | 359335 | 9506 | 145708 0 | 775 | 1 332.62/332.75 c 328s | 9 | 359485 | 9606 | 145708 0 | 775 | 1 338.32/338.40 c 334s | 9 | 359588 | 9706 | 145708 0 | 775 | 1 343.62/343.79 c 339s | 9 | 359731 | 9806 | 145708 0 | 775 | 1 348.52/348.64 c 344s | 9 | 359841 | 9906 | 145708 0 | 775 | 1 354.41/354.52 c 350s | 9 | 359952 | 10006 | 145708 0 | 775 | 1 360.61/360.79 c 356s | 9 | 360116 | 10106 | 145708 0 | 775 | 1 366.91/367.05 c 362s | 9 | 360223 | 10206 | 145708 0 | 775 | 1 372.71/372.88 c 368s | 9 | 360389 | 10306 | 145708 0 | 775 | 1 377.61/377.76 c 373s | 9 | 360509 | 10406 | 145708 0 | 775 | 1 383.21/383.37 c 379s | 9 | 360624 | 10506 | 145708 0 | 775 | 1 390.01/390.11 c 385s | 9 | 360739 | 10606 | 145708 0 | 775 | 1 396.21/396.39 c 392s | 9 | 360860 | 10706 | 145708 0 | 775 | 1 401.91/402.09 c 397s | 9 | 360988 | 10806 | 145708 0 | 775 | 1 408.20/408.38 c 404s | 9 | 361096 | 10906 | 145708 0 | 775 | 1 415.00/415.10 c 410s | 9 | 361204 | 11006 | 145708 0 | 775 | 1 421.30/421.44 c 417s | 9 | 361321 | 11106 | 145708 0 | 775 | 1 428.00/428.17 c 424s | 9 | 361445 | 11206 | 145708 0 | 775 | 1 433.20/433.39 c 429s | 9 | 361583 | 11306 | 160279 0 | 775 | 1 436.29/436.41 c 432s | 10 | 361714 | 11361 | 160279 0 | 775 | 1 441.69/441.81 c 437s | 10 | 396645 | 11461 | 160279 0 | 775 | 1 447.19/447.36 c 443s | 10 | 396755 | 11561 | 160279 0 | 775 | 1 453.20/453.33 c 449s | 10 | 396871 | 11661 | 160279 0 | 775 | 1 459.09/459.27 c 455s | 10 | 396986 | 11761 | 160279 0 | 775 | 1 464.48/464.65 c 460s | 10 | 397098 | 11861 | 160279 0 | 775 | 1 468.78/468.95 c 464s | 10 | 397240 | 11961 | 160279 0 | 775 | 1 475.98/476.19 c 472s | 10 | 397370 | 12061 | 160279 0 | 775 | 1 482.29/482.44 c 478s | 10 | 397482 | 12161 | 160279 0 | 775 | 1 488.68/488.83 c 484s | 10 | 397588 | 12261 | 160279 0 | 775 | 1 494.38/494.54 c 490s | 10 | 397697 | 12361 | 160279 0 | 775 | 1 500.28/500.44 c 496s | 10 | 397817 | 12461 | 160279 0 | 775 | 1 506.78/506.94 c 502s | 10 | 397919 | 12561 | 160279 0 | 775 | 1 513.18/513.31 c 509s | 10 | 398042 | 12661 | 160279 0 | 775 | 1 519.37/519.51 c 515s | 10 | 398153 | 12761 | 160279 0 | 775 | 1 524.68/524.88 c 520s | 10 | 398271 | 12861 | 160279 0 | 775 | 1 531.19/531.35 c 527s | 10 | 398385 | 12961 | 160279 0 | 775 | 1 536.98/537.14 c 532s | 10 | 398505 | 13061 | 160279 0 | 775 | 1 541.77/541.97 c 537s | 10 | 398629 | 13161 | 160279 0 | 775 | 1 547.37/547.56 c 543s | 10 | 398734 | 13261 | 160279 0 | 775 | 1 553.27/553.45 c 549s | 10 | 398849 | 13361 | 160279 0 | 775 | 1 560.26/560.46 c 556s | 10 | 398962 | 13461 | 160279 0 | 775 | 1 569.36/569.51 c 565s | 10 | 399088 | 13561 | 160279 0 | 775 | 1 579.27/579.43 c 575s | 10 | 399194 | 13661 | 160279 0 | 775 | 1 588.86/589.01 c 584s | 10 | 399302 | 13761 | 160279 0 | 775 | 1 596.36/596.50 c 592s | 10 | 399409 | 13861 | 160279 0 | 775 | 1 603.05/603.28 c 599s | 10 | 399529 | 13961 | 160279 0 | 775 | 1 609.95/610.16 c 606s | 10 | 399643 | 14061 | 160279 0 | 775 | 1 614.95/615.13 c 610s | 10 | 399756 | 14161 | 160279 0 | 775 | 1 620.04/620.20 c 616s | 10 | 399868 | 14261 | 160279 0 | 775 | 1 625.54/625.72 c 621s | 10 | 399975 | 14361 | 160279 0 | 775 | 1 631.04/631.21 c 627s | 10 | 400090 | 14461 | 160279 0 | 775 | 1 636.53/636.70 c 632s | 10 | 400210 | 14561 | 160279 0 | 775 | 1 642.44/642.63 c 638s | 10 | 400315 | 14661 | 160279 0 | 775 | 1 648.34/648.53 c 644s | 10 | 400425 | 14761 | 160279 0 | 775 | 1 653.83/654.02 c 649s | 10 | 400537 | 14861 | 160279 0 | 775 | 1 659.73/659.94 c 655s | 10 | 400650 | 14961 | 160279 0 | 775 | 1 665.74/665.90 c 661s | 10 | 400757 | 15061 | 160279 0 | 775 | 1 671.83/672.08 c 667s | 10 | 400865 | 15161 | 160279 0 | 775 | 1 678.03/678.20 c 674s | 10 | 400970 | 15261 | 160279 0 | 775 | 1 683.83/684.03 c 679s | 10 | 401085 | 15361 | 160279 0 | 775 | 1 689.53/689.77 c 685s | 10 | 401199 | 15461 | 160279 0 | 775 | 1 695.63/695.81 c 691s | 10 | 401306 | 15561 | 160279 0 | 775 | 1 702.12/702.33 c 698s | 10 | 401413 | 15661 | 160279 0 | 775 | 1 709.22/709.45 c 705s | 10 | 401511 | 15761 | 160279 0 | 775 | 1 715.92/716.13 c 711s | 10 | 401618 | 15861 | 160279 0 | 775 | 1 721.71/722.00 c 717s | 10 | 401723 | 15961 | 160279 0 | 775 | 1 728.42/728.62 c 724s | 10 | 401828 | 16061 | 160279 0 | 775 | 1 737.41/737.66 c 733s | 10 | 401933 | 16161 | 160279 0 | 775 | 1 743.11/743.39 c 739s | 10 | 402051 | 16261 | 160279 0 | 775 | 1 748.91/749.15 c 744s | 10 | 402159 | 16361 | 160279 0 | 775 | 1 754.41/754.61 c 750s | 10 | 402286 | 16461 | 160279 0 | 775 | 1 760.20/760.42 c 756s | 10 | 402394 | 16561 | 160279 0 | 775 | 1 765.10/765.39 c 761s | 10 | 402501 | 16661 | 160279 0 | 775 | 1 771.01/771.29 c 767s | 10 | 402607 | 16761 | 160279 0 | 775 | 1 777.00/777.25 c 773s | 10 | 402725 | 16861 | 160279 0 | 775 | 1 782.80/783.00 c 778s | 10 | 402841 | 16961 | 160279 0 | 775 | 1 787.80/788.09 c 783s | 10 | 402956 | 17061 | 176307 0 | 775 | 1 792.79/793.05 c 788s | 11 | 403048 | 17144 | 176307 0 | 775 | 1 797.80/798.04 c 793s | 11 | 435932 | 17244 | 176307 0 | 775 | 1 801.20/801.42 c 797s | 11 | 436087 | 17344 | 176307 0 | 775 | 1 805.40/805.66 c 801s | 11 | 436216 | 17444 | 176307 0 | 775 | 1 809.20/809.44 c 805s | 11 | 436346 | 17544 | 176307 0 | 775 | 1 812.89/813.18 c 809s | 11 | 436509 | 17644 | 176307 0 | 775 | 1 816.79/817.04 c 812s | 11 | 436673 | 17744 | 176307 0 | 775 | 1 820.59/820.89 c 816s | 11 | 436809 | 17844 | 176307 0 | 775 | 1 824.39/824.68 c 820s | 11 | 436928 | 17944 | 176307 0 | 775 | 1 827.49/827.78 c 823s | 11 | 437063 | 18044 | 176307 0 | 775 | 1 831.29/831.54 c 827s | 11 | 437270 | 18144 | 176307 0 | 775 | 1 836.09/836.36 c 832s | 11 | 437430 | 18244 | 176307 0 | 775 | 1 840.79/841.03 c 836s | 11 | 437562 | 18344 | 176307 0 | 775 | 1 845.69/845.97 c 841s | 11 | 437723 | 18444 | 176307 0 | 775 | 1 850.89/851.19 c 847s | 11 | 437830 | 18544 | 176307 0 | 775 | 1 856.59/856.86 c 852s | 11 | 437975 | 18644 | 176307 0 | 775 | 1 862.19/862.41 c 858s | 11 | 438070 | 18744 | 176307 0 | 775 | 1 866.98/867.24 c 863s | 11 | 438191 | 18844 | 176307 0 | 775 | 1 871.98/872.25 c 868s | 11 | 438305 | 18944 | 176307 0 | 775 | 1 875.88/876.12 c 871s | 11 | 438520 | 19044 | 176307 0 | 775 | 1 879.98/880.22 c 876s | 11 | 438635 | 19144 | 176307 0 | 775 | 1 883.98/884.23 c 880s | 11 | 438752 | 19244 | 176307 0 | 775 | 1 889.28/889.50 c 885s | 11 | 438859 | 19344 | 176307 0 | 775 | 1 893.88/894.16 c 890s | 11 | 438969 | 19444 | 176307 0 | 775 | 1 898.78/899.00 c 894s | 11 | 439078 | 19544 | 176307 0 | 775 | 1 903.99/904.23 c 900s | 11 | 439198 | 19644 | 176307 0 | 775 | 1 909.08/909.39 c 905s | 11 | 439313 | 19744 | 176307 0 | 775 | 1 913.68/913.94 c 909s | 11 | 439436 | 19844 | 176307 0 | 775 | 1 918.39/918.61 c 914s | 11 | 439620 | 19944 | 176307 0 | 775 | 1 922.57/922.81 c 918s | 11 | 439735 | 20044 | 176307 0 | 775 | 1 926.87/927.13 c 922s | 11 | 439889 | 20144 | 176307 0 | 775 | 1 931.37/931.64 c 927s | 11 | 440013 | 20244 | 176307 0 | 775 | 1 936.37/936.67 c 932s | 11 | 440127 | 20344 | 176307 0 | 775 | 1 940.88/941.14 c 936s | 11 | 440248 | 20444 | 176307 0 | 775 | 1 945.38/945.66 c 941s | 11 | 440380 | 20544 | 176307 0 | 775 | 1 950.58/950.82 c 946s | 11 | 440495 | 20644 | 176307 0 | 775 | 1 955.47/955.75 c 951s | 11 | 440593 | 20744 | 176307 0 | 775 | 1 959.77/960.04 c 955s | 11 | 440710 | 20844 | 176307 0 | 775 | 1 964.07/964.34 c 960s | 11 | 440841 | 20944 | 176307 0 | 775 | 1 968.77/969.09 c 964s | 11 | 440955 | 21044 | 176307 0 | 775 | 1 974.37/974.66 c 970s | 11 | 441075 | 21144 | 176307 0 | 775 | 1 980.47/980.71 c 976s | 11 | 441174 | 21244 | 176307 0 | 775 | 1 984.87/985.18 c 981s | 11 | 441302 | 21344 | 176307 0 | 775 | 1 988.37/988.60 c 984s | 11 | 441421 | 21444 | 176307 0 | 775 | 1 992.57/992.82 c 988s | 11 | 441534 | 21544 | 176307 0 | 775 | 1 997.17/997.43 c 993s | 11 | 441637 | 21644 | 176307 0 | 775 | 1 1001.87/1002.12 c 997s | 11 | 441760 | 21744 | 176307 0 | 775 | 1 1006.37/1006.61 c 1002s | 11 | 441865 | 21844 | 176307 0 | 775 | 1 1010.86/1011.13 c 1006s | 11 | 441964 | 21944 | 176307 0 | 775 | 1 1014.66/1015.00 c 1010s | 11 | 442094 | 22044 | 176307 0 | 775 | 1 1018.56/1018.82 c 1014s | 11 | 442198 | 22144 | 176307 0 | 775 | 1 1022.77/1023.09 c 1018s | 11 | 442335 | 22244 | 176307 0 | 775 | 1 1027.27/1027.58 c 1023s | 11 | 442443 | 22344 | 176307 0 | 775 | 1 1032.06/1032.38 c 1028s | 11 | 442545 | 22444 | 176307 0 | 775 | 1 1036.96/1037.25 c 1033s | 11 | 442647 | 22544 | 176307 0 | 775 | 1 1041.96/1042.28 c 1038s | 11 | 442767 | 22644 | 176307 0 | 775 | 1 1047.07/1047.36 c 1043s | 11 | 442864 | 22744 | 176307 0 | 775 | 1 1051.86/1052.14 c 1047s | 11 | 442974 | 22844 | 176307 0 | 775 | 1 1056.06/1056.31 c 1052s | 11 | 443082 | 22944 | 176307 0 | 775 | 1 1060.65/1060.93 c 1056s | 11 | 443210 | 23044 | 176307 0 | 775 | 1 1065.45/1065.79 c 1061s | 11 | 443323 | 23144 | 176307 0 | 775 | 1 1069.55/1069.82 c 1065s | 11 | 443441 | 23244 | 176307 0 | 775 | 1 1073.75/1074.00 c 1069s | 11 | 443545 | 23344 | 176307 0 | 775 | 1 1077.46/1077.73 c 1073s | 11 | 443657 | 23444 | 176307 0 | 775 | 1 1081.86/1082.17 c 1078s | 11 | 443769 | 23544 | 176307 0 | 775 | 1 1086.75/1087.00 c 1082s | 11 | 443872 | 23644 | 176307 0 | 775 | 1 1091.45/1091.74 c 1087s | 11 | 443988 | 23744 | 176307 0 | 775 | 1 1096.56/1096.86 c 1092s | 11 | 444091 | 23844 | 176307 0 | 775 | 1 1101.84/1102.11 c 1097s | 11 | 444195 | 23944 | 176307 0 | 775 | 1 1106.75/1107.08 c 1102s | 11 | 444308 | 24044 | 176307 0 | 775 | 1 1111.65/1111.93 c 1107s | 11 | 444408 | 24144 | 176307 0 | 775 | 1 1116.45/1116.75 c 1112s | 11 | 444515 | 24244 | 176307 0 | 775 | 1 1121.76/1122.07 c 1117s | 11 | 444615 | 24344 | 176307 0 | 775 | 1 1126.65/1126.93 c 1122s | 11 | 444722 | 24444 | 176307 0 | 775 | 1 1130.55/1130.87 c 1126s | 11 | 444932 | 24544 | 176307 0 | 775 | 1 1134.84/1135.18 c 1131s | 11 | 445075 | 24644 | 176307 0 | 775 | 1 1140.45/1140.73 c 1136s | 11 | 445177 | 24744 | 176307 0 | 775 | 1 1145.25/1145.52 c 1141s | 11 | 445272 | 24844 | 176307 0 | 775 | 1 1149.44/1149.76 c 1145s | 11 | 445383 | 24944 | 176307 0 | 775 | 1 1154.04/1154.34 c 1150s | 11 | 445487 | 25044 | 176307 0 | 775 | 1 1158.84/1159.13 c 1154s | 11 | 445593 | 25144 | 176307 0 | 775 | 1 1163.24/1163.54 c 1159s | 11 | 445715 | 25244 | 176307 0 | 775 | 1 1168.04/1168.31 c 1164s | 11 | 445828 | 25344 | 176307 0 | 775 | 1 1172.54/1172.81 c 1168s | 11 | 445935 | 25444 | 176307 0 | 775 | 1 1177.95/1178.23 c 1174s | 11 | 446047 | 25544 | 176307 0 | 775 | 1 1183.74/1184.00 c 1179s | 11 | 446159 | 25644 | 176307 0 | 775 | 1 1189.63/1189.92 c 1185s | 11 | 446296 | 25744 | 193938 0 | 775 | 1 1193.53/1193.88 c 1189s | 12 | 446383 | 25819 | 193938 0 | 775 | 1 1199.94/1200.27 c 1196s | 12 | 484534 | 25919 | 193938 0 | 775 | 1 1202.73/1203.09 c 1198s | 12 | 484640 | 26019 | 193938 0 | 775 | 1 1205.84/1206.15 c 1201s | 12 | 484749 | 26119 | 193938 0 | 775 | 1 1208.64/1208.93 c 1204s | 12 | 484851 | 26219 | 193938 0 | 775 | 1 1211.24/1211.56 c 1207s | 12 | 484969 | 26319 | 193938 0 | 775 | 1 1214.54/1214.83 c 1210s | 12 | 485068 | 26419 | 193938 0 | 775 | 1 1217.34/1217.70 c 1213s | 12 | 485185 | 26519 | 193938 0 | 775 | 1 1220.23/1220.55 c 1216s | 12 | 485322 | 26619 | 193938 0 | 775 | 1 1223.23/1223.52 c 1219s | 12 | 485447 | 26719 | 193938 0 | 775 | 1 1226.13/1226.45 c 1222s | 12 | 485549 | 26819 | 193938 0 | 775 | 1 1229.03/1229.32 c 1225s | 12 | 485662 | 26919 | 193938 0 | 775 | 1 1232.33/1232.69 c 1228s | 12 | 485772 | 27019 | 193938 0 | 775 | 1 1235.43/1235.76 c 1231s | 12 | 485891 | 27119 | 193938 0 | 775 | 1 1238.72/1239.01 c 1234s | 12 | 486000 | 27219 | 193938 0 | 775 | 1 1241.82/1242.19 c 1238s | 12 | 486103 | 27319 | 193938 0 | 775 | 1 1245.03/1245.38 c 1241s | 12 | 486220 | 27419 | 193938 0 | 775 | 1 1248.33/1248.63 c 1244s | 12 | 486346 | 27519 | 193938 0 | 775 | 1 1251.23/1251.50 c 1247s | 12 | 486491 | 27619 | 193938 0 | 775 | 1 1254.63/1254.91 c 1250s | 12 | 486604 | 27719 | 193938 0 | 775 | 1 1257.83/1258.18 c 1254s | 12 | 486706 | 27819 | 193938 0 | 775 | 1 1261.03/1261.31 c 1257s | 12 | 486817 | 27919 | 193938 0 | 775 | 1 1264.12/1264.44 c 1260s | 12 | 486929 | 28019 | 193938 0 | 775 | 1 1267.72/1268.06 c 1263s | 12 | 487042 | 28119 | 193938 0 | 775 | 1 1270.72/1271.09 c 1266s | 12 | 487154 | 28219 | 193938 0 | 775 | 1 1273.92/1274.22 c 1270s | 12 | 487262 | 28319 | 193938 0 | 775 | 1 1276.93/1277.23 c 1273s | 12 | 487380 | 28419 | 193938 0 | 775 | 1 1279.72/1280.02 c 1275s | 12 | 487496 | 28519 | 193938 0 | 775 | 1 1282.93/1283.20 c 1279s | 12 | 487598 | 28619 | 193938 0 | 775 | 1 1286.43/1286.72 c 1282s | 12 | 487709 | 28719 | 193938 0 | 775 | 1 1289.83/1290.12 c 1285s | 12 | 487819 | 28819 | 193938 0 | 775 | 1 1293.12/1293.45 c 1289s | 12 | 487940 | 28919 | 193938 0 | 775 | 1 1296.73/1297.01 c 1292s | 12 | 488043 | 29019 | 193938 0 | 775 | 1 1300.12/1300.43 c 1296s | 12 | 488156 | 29119 | 193938 0 | 775 | 1 1303.92/1304.28 c 1300s | 12 | 488265 | 29219 | 193938 0 | 775 | 1 1307.52/1307.89 c 1303s | 12 | 488371 | 29319 | 193938 0 | 775 | 1 1310.81/1311.19 c 1307s | 12 | 488481 | 29419 | 193938 0 | 775 | 1 1314.42/1314.76 c 1310s | 12 | 488597 | 29519 | 193938 0 | 775 | 1 1317.92/1318.21 c 1314s | 12 | 488707 | 29619 | 193938 0 | 775 | 1 1321.12/1321.40 c 1317s | 12 | 488838 | 29719 | 193938 0 | 775 | 1 1324.41/1324.79 c 1320s | 12 | 488946 | 29819 | 193938 0 | 775 | 1 1327.61/1327.93 c 1323s | 12 | 489086 | 29919 | 193938 0 | 775 | 1 1331.01/1331.36 c 1327s | 12 | 489207 | 30019 | 193938 0 | 775 | 1 1334.61/1334.90 c 1330s | 12 | 489312 | 30119 | 193938 0 | 775 | 1 1338.11/1338.43 c 1334s | 12 | 489449 | 30219 | 193938 0 | 775 | 1 1341.61/1341.93 c 1337s | 12 | 489570 | 30319 | 193938 0 | 775 | 1 1345.31/1345.63 c 1341s | 12 | 489686 | 30419 | 193938 0 | 775 | 1 1348.61/1348.95 c 1344s | 12 | 489801 | 30519 | 193938 0 | 775 | 1 1352.11/1352.45 c 1348s | 12 | 489899 | 30619 | 193938 0 | 775 | 1 1355.81/1356.15 c 1351s | 12 | 490006 | 30719 | 193938 0 | 775 | 1 1359.01/1359.39 c 1355s | 12 | 490110 | 30819 | 193938 0 | 775 | 1 1362.41/1362.78 c 1358s | 12 | 490210 | 30919 | 193938 0 | 775 | 1 1365.92/1366.27 c 1362s | 12 | 490328 | 31019 | 193938 0 | 775 | 1 1369.41/1369.70 c 1365s | 12 | 490432 | 31119 | 193938 0 | 775 | 1 1372.81/1373.13 c 1368s | 12 | 490542 | 31219 | 193938 0 | 775 | 1 1376.10/1376.43 c 1372s | 12 | 490663 | 31319 | 193938 0 | 775 | 1 1379.90/1380.29 c 1376s | 12 | 490761 | 31419 | 193938 0 | 775 | 1 1383.10/1383.41 c 1379s | 12 | 490882 | 31519 | 193938 0 | 775 | 1 1386.81/1387.13 c 1382s | 12 | 490990 | 31619 | 193938 0 | 775 | 1 1390.30/1390.69 c 1386s | 12 | 491092 | 31719 | 193938 0 | 775 | 1 1393.91/1394.24 c 1390s | 12 | 491191 | 31819 | 193938 0 | 775 | 1 1397.31/1397.66 c 1393s | 12 | 491300 | 31919 | 193938 0 | 775 | 1 1400.41/1400.74 c 1396s | 12 | 491409 | 32019 | 193938 0 | 775 | 1 1403.81/1404.11 c 1399s | 12 | 491521 | 32119 | 193938 0 | 775 | 1 1407.21/1407.58 c 1403s | 12 | 491640 | 32219 | 193938 0 | 775 | 1 1410.50/1410.80 c 1406s | 12 | 491737 | 32319 | 193938 0 | 775 | 1 1413.90/1414.25 c 1410s | 12 | 491843 | 32419 | 193938 0 | 775 | 1 1416.90/1417.22 c 1413s | 12 | 492004 | 32519 | 193938 0 | 775 | 1 1420.30/1420.64 c 1416s | 12 | 492114 | 32619 | 193938 0 | 775 | 1 1423.60/1423.99 c 1419s | 12 | 492236 | 32719 | 193938 0 | 775 | 1 1427.20/1427.54 c 1423s | 12 | 492351 | 32819 | 193938 0 | 775 | 1 1430.30/1430.66 c 1426s | 12 | 492484 | 32919 | 193938 0 | 775 | 1 1433.29/1433.69 c 1429s | 12 | 492601 | 33019 | 193938 0 | 775 | 1 1436.80/1437.14 c 1432s | 12 | 492714 | 33119 | 193938 0 | 775 | 1 1440.81/1441.18 c 1437s | 12 | 492825 | 33219 | 193938 0 | 775 | 1 1444.50/1444.83 c 1440s | 12 | 492941 | 33319 | 193938 0 | 775 | 1 1447.90/1448.26 c 1444s | 12 | 493071 | 33419 | 193938 0 | 775 | 1 1451.40/1451.78 c 1447s | 12 | 493175 | 33519 | 193938 0 | 775 | 1 1455.40/1455.75 c 1451s | 12 | 493280 | 33619 | 193938 0 | 775 | 1 1458.70/1459.04 c 1454s | 12 | 493396 | 33719 | 193938 0 | 775 | 1 1461.79/1462.10 c 1457s | 12 | 493517 | 33819 | 193938 0 | 775 | 1 1465.70/1466.02 c 1461s | 12 | 493629 | 33919 | 193938 0 | 775 | 1 1469.49/1469.82 c 1465s | 12 | 493733 | 34019 | 193938 0 | 775 | 1 1473.50/1473.84 c 1469s | 12 | 493845 | 34119 | 193938 0 | 775 | 1 1477.39/1477.76 c 1473s | 12 | 493983 | 34219 | 193938 0 | 775 | 1 1481.09/1481.48 c 1477s | 12 | 494095 | 34319 | 193938 0 | 775 | 1 1484.99/1485.31 c 1481s | 12 | 494210 | 34419 | 193938 0 | 775 | 1 1488.29/1488.65 c 1484s | 12 | 494336 | 34519 | 193938 0 | 775 | 1 1491.59/1491.91 c 1487s | 12 | 494448 | 34619 | 193938 0 | 775 | 1 1495.39/1495.79 c 1491s | 12 | 494545 | 34719 | 193938 0 | 775 | 1 1499.10/1499.42 c 1495s | 12 | 494664 | 34819 | 193938 0 | 775 | 1 1503.09/1503.46 c 1499s | 12 | 494768 | 34919 | 193938 0 | 775 | 1 1506.79/1507.18 c 1503s | 12 | 494879 | 35019 | 193938 0 | 775 | 1 1510.58/1510.91 c 1506s | 12 | 495015 | 35119 | 193938 0 | 775 | 1 1514.28/1514.67 c 1510s | 12 | 495130 | 35219 | 193938 0 | 775 | 1 1517.80/1518.15 c 1513s | 12 | 495272 | 35319 | 193938 0 | 775 | 1 1521.99/1522.38 c 1518s | 12 | 495391 | 35419 | 193938 0 | 775 | 1 1526.19/1526.54 c 1522s | 12 | 495502 | 35519 | 193938 0 | 775 | 1 1530.09/1530.49 c 1526s | 12 | 495611 | 35619 | 193938 0 | 775 | 1 1534.08/1534.40 c 1530s | 12 | 495711 | 35719 | 193938 0 | 775 | 1 1537.88/1538.26 c 1534s | 12 | 495823 | 35819 | 193938 0 | 775 | 1 1542.18/1542.53 c 1538s | 12 | 495934 | 35919 | 193938 0 | 775 | 1 1546.29/1546.62 c 1542s | 12 | 496035 | 36019 | 193938 0 | 775 | 1 1549.98/1550.31 c 1546s | 12 | 496171 | 36119 | 193938 0 | 775 | 1 1554.27/1554.67 c 1550s | 12 | 496282 | 36219 | 193938 0 | 775 | 1 1557.87/1558.28 c 1554s | 12 | 496402 | 36319 | 193938 0 | 775 | 1 1561.48/1561.80 c 1557s | 12 | 496525 | 36419 | 193938 0 | 775 | 1 1564.78/1565.13 c 1560s | 12 | 496669 | 36519 | 193938 0 | 775 | 1 1568.58/1568.93 c 1564s | 12 | 496787 | 36619 | 193938 0 | 775 | 1 1572.18/1572.54 c 1568s | 12 | 496893 | 36719 | 193938 0 | 775 | 1 1576.08/1576.41 c 1572s | 12 | 496996 | 36819 | 193938 0 | 775 | 1 1580.07/1580.43 c 1576s | 12 | 497116 | 36919 | 193938 0 | 775 | 1 1583.68/1584.07 c 1579s | 12 | 497226 | 37019 | 193938 0 | 775 | 1 1587.57/1587.91 c 1583s | 12 | 497349 | 37119 | 193938 0 | 775 | 1 1591.38/1591.79 c 1587s | 12 | 497476 | 37219 | 193938 0 | 775 | 1 1595.27/1595.60 c 1591s | 12 | 497583 | 37319 | 193938 0 | 775 | 1 1598.88/1599.24 c 1595s | 12 | 497697 | 37419 | 193938 0 | 775 | 1 1602.78/1603.12 c 1598s | 12 | 497805 | 37519 | 193938 0 | 775 | 1 1606.78/1607.18 c 1603s | 12 | 497915 | 37619 | 193938 0 | 775 | 1 1611.07/1611.41 c 1607s | 12 | 498027 | 37719 | 193938 0 | 775 | 1 1614.77/1615.14 c 1610s | 12 | 498132 | 37819 | 193938 0 | 775 | 1 1618.27/1618.69 c 1614s | 12 | 498237 | 37919 | 193938 0 | 775 | 1 1622.28/1622.61 c 1618s | 12 | 498351 | 38019 | 193938 0 | 775 | 1 1626.58/1626.92 c 1622s | 12 | 498468 | 38119 | 193938 0 | 775 | 1 1630.36/1630.72 c 1626s | 12 | 498589 | 38219 | 193938 0 | 775 | 1 1634.67/1635.07 c 1630s | 12 | 498709 | 38319 | 193938 0 | 775 | 1 1638.27/1638.63 c 1634s | 12 | 498839 | 38419 | 193938 0 | 775 | 1 1642.26/1642.65 c 1638s | 12 | 499013 | 38519 | 193938 0 | 775 | 1 1646.16/1646.56 c 1642s | 12 | 499115 | 38619 | 213332 0 | 775 | 1 1650.06/1650.41 c 1646s | 12 | 499237 | 38719 | 213332 0 | 775 | 1 1653.47/1653.81 c 1649s | 12 | 499375 | 38819 | 213332 0 | 775 | 1 1654.07/1654.41 c 1650s | 13 | 499392 | 38832 | 213332 0 | 775 | 1 1662.57/1662.99 c 1658s | 13 | 533456 | 38932 | 213332 0 | 775 | 1 1665.87/1666.22 c 1662s | 13 | 533578 | 39032 | 213332 0 | 775 | 1 1669.77/1670.17 c 1666s | 13 | 533715 | 39132 | 213332 0 | 775 | 1 1673.56/1673.92 c 1669s | 13 | 533853 | 39232 | 213332 0 | 775 | 1 1678.06/1678.40 c 1674s | 13 | 533957 | 39332 | 213332 0 | 775 | 1 1682.26/1682.65 c 1678s | 13 | 534076 | 39432 | 213332 0 | 775 | 1 1686.76/1687.13 c 1682s | 13 | 534186 | 39532 | 213332 0 | 775 | 1 1691.56/1691.96 c 1687s | 13 | 534355 | 39632 | 213332 0 | 775 | 1 1695.96/1696.33 c 1692s | 13 | 534499 | 39732 | 213332 0 | 775 | 1 1699.46/1699.81 c 1695s | 13 | 534699 | 39832 | 213332 0 | 775 | 1 1702.76/1703.17 c 1699s | 13 | 534820 | 39932 | 213332 0 | 775 | 1 1706.86/1707.28 c 1703s | 13 | 534958 | 40032 | 213332 0 | 775 | 1 1710.65/1711.08 c 1706s | 13 | 535106 | 40132 | 213332 0 | 775 | 1 1715.25/1715.69 c 1711s | 13 | 535227 | 40232 | 213332 0 | 775 | 1 1719.85/1720.21 c 1716s | 13 | 535379 | 40332 | 213332 0 | 775 | 1 1725.15/1725.50 c 1721s | 13 | 535520 | 40432 | 213332 0 | 775 | 1 1730.75/1731.17 c 1727s | 13 | 535641 | 40532 | 213332 0 | 775 | 1 1736.25/1736.69 c 1732s | 13 | 535767 | 40632 | 213332 0 | 775 | 1 1741.85/1742.25 c 1738s | 13 | 535902 | 40732 | 213332 0 | 775 | 1 1747.56/1747.91 c 1743s | 13 | 536040 | 40832 | 213332 0 | 775 | 1 1753.55/1753.95 c 1749s | 13 | 536164 | 40932 | 213332 0 | 775 | 1 1758.75/1759.14 c 1754s | 13 | 536267 | 41032 | 213332 0 | 775 | 1 1762.85/1763.23 c 1759s | 13 | 536415 | 41132 | 213332 0 | 775 | 1 1768.45/1768.86 c 1764s | 13 | 536533 | 41232 | 213332 0 | 775 | 1 1773.84/1774.22 c 1770s | 13 | 536648 | 41332 | 213332 0 | 775 | 1 1778.55/1778.94 c 1774s | 13 | 536747 | 41432 | 213332 0 | 775 | 1 1784.55/1784.93 c 1780s | 13 | 536899 | 41532 | 213332 0 | 775 | 1 1790.84/1791.29 c 1787s | 13 | 537052 | 41632 | 213332 0 | 775 | 1 1796.45/1796.85 c 1792s | 13 | 537158 | 41732 | 213332 0 | 775 | 1
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-4119775-1467277718/watcher-4119775-1467277718 -o /tmp/evaluation-result-4119775-1467277718/solver-4119775-1467277718 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467272299-13058 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119775-1467277718.opb pid=13609 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.23 2.16 2.16 4/179 13612 /proc/meminfo: memFree=26164768/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=738748 CPUtime=0 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 2757 0 0 0 0 0 0 0 20 0 4 0 8732631 756477952 3628 33554432000 4194304 16246674 140735193355712 140735193355136 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 185199 3638 441 2943 0 182093 0 [pid=13612/tid=13613] ppid=13609 vsize=756156 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 774303744 3697 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=760252 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 778498048 3715 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=765372 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 783740928 3731 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100183 s] /proc/loadavg: 2.23 2.16 2.16 4/179 13612 /proc/meminfo: memFree=26164768/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 29760 0 0 0 5 4 0 0 20 0 4 0 8732631 1333334016 30569 33554432000 4194304 16246674 140735193355712 140735193355024 8058197 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 325521 30586 800 2943 0 322415 0 [pid=13612/tid=13613] ppid=13609 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 1333334016 30596 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 1333334016 30609 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 1333334016 30619 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200518 s] /proc/loadavg: 2.23 2.16 2.16 4/179 13612 /proc/meminfo: memFree=26164768/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 44006 0 0 0 14 5 0 0 20 0 4 0 8732631 1344868352 45326 33554432000 4194304 16246674 140735193355712 140735193355024 7853040 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 328337 45326 800 2943 0 325231 0 [pid=13612/tid=13613] ppid=13609 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 1344868352 45326 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 1344868352 45326 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 1344868352 45326 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300491 s] /proc/loadavg: 2.23 2.16 2.16 4/179 13612 /proc/meminfo: memFree=26164768/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 52378 0 0 0 22 7 0 0 20 0 4 0 8732631 1344868352 53698 33554432000 4194304 16246674 140735193355712 140735193355024 7377317 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 328337 53698 800 2943 0 325231 0 [pid=13612/tid=13613] ppid=13609 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 1344868352 53698 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 1344868352 53698 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 1344868352 53698 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700406 s] /proc/loadavg: 2.23 2.16 2.16 4/179 13612 /proc/meminfo: memFree=26164768/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 66377 0 0 0 60 9 0 0 20 0 4 0 8732631 1344868352 67698 33554432000 4194304 16246674 140735193355712 140735193338704 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 328337 67716 801 2943 0 325231 0 [pid=13612/tid=13613] ppid=13609 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 1344868352 67727 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 1344868352 67739 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 1344868352 67749 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.5004 s] /proc/loadavg: 2.23 2.16 2.16 4/183 13616 /proc/meminfo: memFree=25865596/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=1378884 CPUtime=1.49 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 93315 0 0 0 135 14 0 0 20 0 4 0 8732631 1411977216 94635 33554432000 4194304 16246674 140735193355712 140735193354376 4221799 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 344721 94641 812 2943 0 341615 0 [pid=13612/tid=13613] ppid=13609 vsize=1378884 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 1411977216 94644 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=1378884 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 1411977216 94647 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=1378884 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 1411977216 94651 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1378884 [startup+3.10041 s] /proc/loadavg: 2.21 2.16 2.16 4/183 13616 /proc/meminfo: memFree=25713812/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=1393220 CPUtime=3.09 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 121364 0 0 0 291 18 0 0 20 0 4 0 8732631 1426657280 122684 33554432000 4194304 16246674 140735193355712 140735193354808 13923727 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 348305 122684 834 2943 0 345199 0 [pid=13612/tid=13613] ppid=13609 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 1426657280 122684 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 1426657280 122684 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 1426657280 122684 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1393220 [startup+6.3004 s] /proc/loadavg: 2.21 2.16 2.16 3/183 13616 /proc/meminfo: memFree=25057920/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=1393220 CPUtime=6.29 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 275631 0 0 0 591 38 0 0 20 0 4 0 8732631 1426657280 276951 33554432000 4194304 16246674 140735193355712 140735193337600 6023058 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 348305 276951 896 2943 0 345199 0 [pid=13612/tid=13613] ppid=13609 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 1426657280 276951 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 1426657280 276951 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 1426657280 276951 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1393220 [startup+12.7004 s] /proc/loadavg: 2.26 2.17 2.17 4/183 13616 /proc/meminfo: memFree=25056988/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=1393220 CPUtime=12.69 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 275631 0 0 0 1231 38 0 0 20 0 4 0 8732631 1426657280 276951 33554432000 4194304 16246674 140735193355712 140735193337600 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 348305 276951 896 2943 0 345199 0 [pid=13612/tid=13613] ppid=13609 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 1426657280 276951 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 1426657280 276951 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 1426657280 276951 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1393220 [startup+25.5005 s] /proc/loadavg: 2.22 2.16 2.16 3/183 13616 /proc/meminfo: memFree=25046080/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=1393220 CPUtime=25.49 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 275631 0 0 0 2511 38 0 0 20 0 4 0 8732631 1426657280 276951 33554432000 4194304 16246674 140735193355712 140735193353664 5711697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 348305 276951 896 2943 0 345199 0 [pid=13612/tid=13613] ppid=13609 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 1426657280 276951 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 1426657280 276951 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 1426657280 276951 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1393220 [startup+51.1004 s] /proc/loadavg: 2.21 2.17 2.16 3/183 13616 /proc/meminfo: memFree=25034952/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=1393220 CPUtime=51.08 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 275635 0 0 0 5070 38 0 0 20 0 4 0 8732631 1426657280 276955 33554432000 4194304 16246674 140735193355712 140735193337600 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 348305 276955 900 2943 0 345199 0 [pid=13612/tid=13613] ppid=13609 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 1426657280 276955 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 1426657280 276955 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 1426657280 276955 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1393220 [startup+102.3 s] /proc/loadavg: 2.30 2.20 2.17 4/184 13670 /proc/meminfo: memFree=27124368/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=1393220 CPUtime=102.28 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 288992 0 0 0 10187 41 0 0 20 0 4 0 8732631 1426657280 290312 33554432000 4194304 16246674 140735193355712 140735193337600 5712544 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 348305 290312 900 2943 0 345199 0 [pid=13612/tid=13613] ppid=13609 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 1426657280 290312 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 1426657280 290312 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 1426657280 290312 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1393220 ################ # More data... # ################ /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 1716064256 360769 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 1675844 [startup+1302.3 s] /proc/loadavg: 2.36 2.24 2.19 4/184 13700 /proc/meminfo: memFree=26629948/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=1675844 CPUtime=1302.02 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 359581 0 0 0 130127 75 0 0 20 0 4 0 8732631 1716064256 360769 33554432000 4194304 16246674 140735193355712 140735193337600 5711980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 418961 360769 903 2943 0 415855 0 [pid=13612/tid=13613] ppid=13609 vsize=1675844 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 1716064256 360769 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=1675844 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 1716064256 360769 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=1675844 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 1716064256 360769 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.02 Current children cumulated vsize (KiB) 1675844 [startup+1362.3 s] /proc/loadavg: 2.29 2.25 2.19 4/183 13701 /proc/meminfo: memFree=26554296/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=1750596 CPUtime=1362.01 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 378418 0 0 0 136120 81 0 0 20 0 4 0 8732631 1792610304 379606 33554432000 4194304 16246674 140735193355712 140735193337600 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 437649 379606 903 2943 0 434543 0 [pid=13612/tid=13613] ppid=13609 vsize=1750596 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 1792610304 379606 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=1750596 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 1792610304 379606 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=1750596 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 1792610304 379606 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.01 Current children cumulated vsize (KiB) 1750596 [startup+1422.3 s] /proc/loadavg: 2.29 2.25 2.19 4/183 13702 /proc/meminfo: memFree=26554500/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=1750596 CPUtime=1422 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 378418 0 0 0 142118 82 0 0 20 0 4 0 8732631 1792610304 379606 33554432000 4194304 16246674 140735193355712 140735193337600 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 437649 379606 903 2943 0 434543 0 [pid=13612/tid=13613] ppid=13609 vsize=1750596 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 1792610304 379606 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=1750596 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 1792610304 379606 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=1750596 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 1792610304 379606 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422 Current children cumulated vsize (KiB) 1750596 [startup+1482.3 s] /proc/loadavg: 2.16 2.22 2.18 4/183 13703 /proc/meminfo: memFree=26425076/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=1879620 CPUtime=1481.99 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 410665 0 0 0 148111 88 0 0 20 0 4 0 8732631 1924730880 411853 33554432000 4194304 16246674 140735193355712 140735193337600 5711624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 469905 411853 903 2943 0 466799 0 [pid=13612/tid=13613] ppid=13609 vsize=1879620 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 1924730880 411853 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=1879620 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 1924730880 411853 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=1879620 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 1924730880 411853 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.99 Current children cumulated vsize (KiB) 1879620 [startup+1542.31 s] /proc/loadavg: 2.17 2.20 2.18 4/183 13704 /proc/meminfo: memFree=26425460/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=1879620 CPUtime=1541.99 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 410665 0 0 0 154110 89 0 0 20 0 4 0 8732631 1924730880 411853 33554432000 4194304 16246674 140735193355712 140735193337600 5712555 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 469905 411853 903 2943 0 466799 0 [pid=13612/tid=13613] ppid=13609 vsize=1879620 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 1924730880 411853 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=1879620 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 1924730880 411853 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=1879620 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 1924730880 411853 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.99 Current children cumulated vsize (KiB) 1879620 [startup+1602.3 s] /proc/loadavg: 2.20 2.21 2.18 4/183 13706 /proc/meminfo: memFree=26331948/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=1973828 CPUtime=1601.98 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 434088 0 0 0 160102 96 0 0 20 0 4 0 8732631 2021199872 435276 33554432000 4194304 16246674 140735193355712 140735193337600 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 493457 435276 903 2943 0 490351 0 [pid=13612/tid=13613] ppid=13609 vsize=1973828 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 2021199872 435276 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=1973828 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 2021199872 435276 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=1973828 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 2021199872 435276 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 1973828 [startup+1662.3 s] /proc/loadavg: 2.24 2.21 2.18 4/183 13707 /proc/meminfo: memFree=26268744/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=2036292 CPUtime=1661.96 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 449835 0 0 0 166095 101 0 0 20 0 4 0 8732631 2085163008 451023 33554432000 4194304 16246674 140735193355712 140735193337600 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 509073 451023 903 2943 0 505967 0 [pid=13612/tid=13613] ppid=13609 vsize=2036292 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 2085163008 451023 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=2036292 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 2085163008 451023 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=2036292 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 2085163008 451023 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.96 Current children cumulated vsize (KiB) 2036292 [startup+1722.3 s] /proc/loadavg: 2.14 2.19 2.18 4/183 13708 /proc/meminfo: memFree=26268376/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=2036292 CPUtime=1721.96 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 449835 0 0 0 172093 103 0 0 20 0 4 0 8732631 2085163008 451023 33554432000 4194304 16246674 140735193355712 140735193354888 12483399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 509073 451023 903 2943 0 505967 0 [pid=13612/tid=13613] ppid=13609 vsize=2036292 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 2085163008 451023 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=2036292 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 2085163008 451023 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=2036292 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 2085163008 451023 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 2036292 [startup+1782.3 s] /proc/loadavg: 2.17 2.19 2.18 4/183 13709 /proc/meminfo: memFree=26204632/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=2099780 CPUtime=1781.95 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 465675 0 0 0 178087 108 0 0 20 0 4 0 8732631 2150174720 466863 33554432000 4194304 16246674 140735193355712 140735193337600 13781188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 524945 466863 903 2943 0 521839 0 [pid=13612/tid=13613] ppid=13609 vsize=2099780 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 2150174720 466863 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=2099780 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 2150174720 466863 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=2099780 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 2150174720 466863 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 2099780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.13 2.18 2.18 4/183 13709 /proc/meminfo: memFree=26204508/32872528 swapFree=1254912/1391860 [pid=13612] ppid=13609 vsize=2099780 CPUtime=1800.04 cores=0,2,4,6 /proc/13612/stat : 13612 (toysat) R 13609 13612 12742 0 -1 4202496 465770 0 0 0 179895 109 0 0 20 0 4 0 8732631 2150174720 466958 33554432000 4194304 16246674 140735193355712 140735193354808 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13612/statm: 524945 466958 903 2943 0 521839 0 [pid=13612/tid=13613] ppid=13609 vsize=2099780 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13613/stat : 13613 (toysat) S 13609 13612 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8732631 2150174720 466958 33554432000 4194304 16246674 140735193355712 139889223904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13612/tid=13614] ppid=13609 vsize=2099780 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13614/stat : 13614 (toysat) S 13609 13612 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8732631 2150174720 466958 33554432000 4194304 16246674 140735193355712 139889213414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13612/tid=13615] ppid=13609 vsize=2099780 CPUtime=0 cores=0,2,4,6 /proc/13612/task/13615/stat : 13615 (toysat) S 13609 13612 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8732631 2150174720 466958 33554432000 4194304 16246674 140735193355712 139889098091696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2099780 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 13612 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.45 CPU time (s): 1800.1 CPU user time (s): 1798.96 CPU system time (s): 1.13583 CPU usage (%): 99.9805 Max. virtual memory (cumulated for all children) (KiB): 2099780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.96 system time used= 1.13583 maximum resident set size= 1867832 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 465770 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= 170 involuntary context switches= 1952 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.43202 second user time and 9.67753 second system time The end
Begin job on node119 at 2016-06-30 11:08:38 IDJOB=4119775 IDBENCH=111804 IDSOLVER=2542 FILE ID=node119/4119775-1467277718 RUNJOBID= node119-1467272299-13058 PBS_JOBID= 20004499 Free space on /tmp= 71680 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm100p-opt.opb.negationfix.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119775-1467277718/watcher-4119775-1467277718 -o /tmp/evaluation-result-4119775-1467277718/solver-4119775-1467277718 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467272299-13058 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119775-1467277718.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0aee14f9dddbd7be1efd1f634d515742 RANDOM SEED=1416142397 node119.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.444 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 : 5332.88 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.444 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.444 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 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.444 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 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: 26165304 kB Buffers: 184532 kB Cached: 1368872 kB SwapCached: 0 kB Active: 3207560 kB Inactive: 1357928 kB Active(anon): 3008640 kB Inactive(anon): 5992 kB Active(file): 198920 kB Inactive(file): 1351936 kB Unevictable: 1391860 kB Mlocked: 1254912 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 24468 kB Writeback: 0 kB AnonPages: 4403468 kB Mapped: 17480 kB Shmem: 204 kB Slab: 611760 kB SReclaimable: 55888 kB SUnreclaim: 555872 kB KernelStack: 1488 kB PageTables: 12844 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4538084 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 217088 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= 71688 MiB End job on node119 at 2016-06-30 11:38:39