| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.74 | 1801.08 |
| Name | /DEC-SMALLINT-LIN/lopes/ normalized-175.opb |
| MD5SUM | 3472d2cba7eedc0e4f1652523daa893e |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small 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 | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 248659 |
| Total number of constraints | 5546518 |
| Number of constraints which are clauses | 4965781 |
| Number of constraints which are cardinality constraints (but not clauses) | 19724 |
| Number of constraints which are nor clauses,nor cardinality constraints | 561013 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2220 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2221 |
| Number of bits of the biggest sum of numbers | 12 |
| 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-07T06:49:42+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-4078861-1465274976.opb"] 0.00/0.01 c use --random-gen="3295671693 1349416003 2914842240 613176066 3199021402 216142415 1609179674 2031414282 1371521207 3670227602 543954555 3578262654 2142257250 3435846271 191896669 3243764376 249451460 649150221 391189334 1100422148 1021187927 648393445 1127904539 3861542023 185642619 1199181767 1788324908 2906999766 3420486707 4294645991 2380762526 3294991547 1702885261 3324936432 2661354773 1596715144 451225768 409712537 3228132730 4196253532 2357879572 4031585868 757260607 87083996 4242932166 612402500 1031803138 1794416119 1984231579 3680761552 1370136756 1096994568 3873422923 1566120422 630939510 2260419437 68652443 1085267055 3643436254 2906106131 3744498908 2210254684 1874535190 3711444854 1190676270 1097884558 2831715930 2091596976 2480676397 3403939026 2635020988 2316630544 1020792909 3643846170 2265356101 94841012 2289916039 3611782453 465846499 3776772639 2119594623 2372484830 1703497091 121480887 2547236037 3920234430 2172067531 3881919057 3021184057 222372724 411262861 3091978992 2194178648 1194710113 507515990 2516090641 548538586 2358556610 1765267562 1001150586 3193961072 3490336393 2943262194 3012470435 3443986978 2708929321 1133350738 4221240881 4119092221 1705062855 290596554 188258088 81052440 3190563221 1771564697 4153165812 1594690847 998857882 1374281620 3991014261 2016094370 983816506 4151940012 2101705733 142848216 1152584554 2296279454 2705118751 3548869921 1218818997 1677742492 1800171639 1503382589 541897472 3104598148 2039031522 745764318 674818221 267352060 1992484633 969899974 3589731666 2469733753 2296054821 3106765619 118190419 1344698924 38300061 129952277 2674602574 2910005819 4151167507 3149715544 1013887577 1747213869 1875851670 211997291 3147591329 3814900932 144330961 2790241907 3298617347 415864941 3244767041 930289259 4191581837 1664804185 761657062 1988427271 1828927147 3020976145 1406797657 2274061344 1165187803 1348258497 1064682990 350146587 980424671 4175849872 1576001884 3045840725 3389627699 3509666098 2990833995 645325096 1867621108 2410320586 1167552675 2871329697 4091986782 1188543160 3813905657 128529397 3895103285 516158679 3218460387 3942020982 4159019306 310778461 3972779406 3637482169 1687006831 2857611927 848476823 2299466793 1235787404 2820978614 1914883794 2379857356 2267685206 2537453707 565817998 417916886 2486821985 1265683041 187943068 4221241871 800626088 862091974 3423507545 925010931 3982173268 2456707488 1781391420 2451432256 955982092 4001387753 3038397681 964112737 3196648402 3657414736 4188110412 43692024 3095576902 2245667874 3896381088 3352736289 1687359647 89878609 1537008790 2429805487 4028499963 632615550 3335112480 63520919 1113338488 312052777 2671552320 3603427185 3144080458 3495210795 664989562 3184495750 117910661 188941639 33687691 255 362436" option to reproduce the execution 48.77/48.81 c #vars 248659 48.77/48.81 c #constraints 5546518 172.04/172.14 c Solving starts ... 172.04/172.14 c ============================[ Search Statistics ]============================ 172.04/172.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 172.04/172.14 c | | | | Limit GC | Var | Constra 172.04/172.14 c ============================================================================= 172.04/172.17 c 0.0s | 0 | 0 | 0 | 1935019 0 | 0 | 0 175.63/175.78 c 3.6s | 0 | 148 | 100 | 1935019 0 | 0 | 0 175.73/175.81 c 3.7s | 1 | 148 | 100 | 1935019 0 | 0 | 0 181.63/181.78 c 9.6s | 1 | 5458 | 200 | 2128521 0 | 0 | 0 182.43/182.58 c 10.4s | 2 | 5522 | 250 | 2128521 0 | 0 | 0 186.83/186.98 c 14.8s | 2 | 6761 | 350 | 2341374 0 | 0 | 0 188.23/188.33 c 16.2s | 3 | 6960 | 475 | 2341374 0 | 0 | 0 192.03/192.17 c 20.0s | 3 | 8003 | 575 | 2575512 0 | 0 | 0 195.42/195.50 c 23.4s | 3 | 9456 | 775 | 2575512 0 | 0 | 0 195.92/196.09 c 24.0s | 4 | 9535 | 813 | 2575512 0 | 0 | 0 201.43/201.51 c 29.4s | 4 | 11480 | 913 | 2833064 0 | 0 | 0 205.23/205.30 c 33.2s | 4 | 11754 | 1113 | 2833064 0 | 0 | 0 207.43/207.58 c 35.4s | 4 | 11864 | 1213 | 2833064 0 | 0 | 0 209.62/209.75 c 37.6s | 4 | 11999 | 1313 | 2833064 0 | 0 | 0 209.82/209.94 c 37.8s | 5 | 12004 | 1320 | 2833064 0 | 0 | 0 214.12/214.21 c 42.1s | 5 | 13126 | 1420 | 3116371 0 | 0 | 0 217.03/217.18 c 45.0s | 5 | 13584 | 1720 | 3116371 0 | 0 | 0 219.33/219.48 c 47.3s | 5 | 13863 | 1920 | 3116371 0 | 0 | 0 221.02/221.17 c 49.0s | 6 | 14060 | 2081 | 3428009 0 | 0 | 0 225.02/225.14 c 53.0s | 6 | 14498 | 2181 | 3428009 0 | 0 | 0 232.02/232.13 c 60.0s | 6 | 25592 | 2381 | 3428009 0 | 0 | 0 244.02/244.16 c 72.0s | 6 | 51979 | 2481 | 3428009 0 | 0 | 0 246.12/246.24 c 74.1s | 6 | 52123 | 2581 | 3428009 0 | 0 | 0 249.92/250.05 c 77.9s | 6 | 52340 | 2781 | 3428009 0 | 0 | 0 253.82/253.91 c 81.8s | 6 | 52564 | 2981 | 3428009 0 | 0 | 0 255.81/255.98 c 83.8s | 6 | 52680 | 3081 | 3428009 0 | 0 | 0 258.02/258.12 c 86.0s | 6 | 52790 | 3181 | 3428009 0 | 0 | 0 258.93/259.01 c 86.9s | 7 | 52844 | 3223 | 3770810 0 | 0 | 0 268.51/268.65 c 96.5s | 7 | 69702 | 3323 | 3770810 0 | 0 | 0 285.72/285.85 c 113s | 7 | 127919 | 3423 | 3770810 0 | 0 | 0 315.80/315.99 c 143s | 7 | 157159 | 3523 | 3770810 0 | 0 | 0 318.51/318.62 c 146s | 7 | 157404 | 3723 | 3770810 0 | 0 | 0 321.21/321.32 c 149s | 7 | 157647 | 3923 | 3770810 0 | 0 | 0 323.70/323.80 c 151s | 7 | 157927 | 4123 | 3770810 0 | 0 | 0 326.02/326.20 c 154s | 7 | 158195 | 4323 | 3770810 0 | 0 | 0 328.51/328.66 c 156s | 7 | 158447 | 4523 | 3770810 0 | 0 | 0 330.80/330.90 c 158s | 7 | 158694 | 4723 | 3770810 0 | 0 | 0 333.10/333.21 c 161s | 7 | 158982 | 4923 | 4147892 0 | 0 | 0 333.30/333.46 c 161s | 8 | 159001 | 4936 | 4147892 0 | 0 | 0 337.50/337.69 c 165s | 8 | 160020 | 5036 | 4147892 0 | 0 | 0 339.91/340.07 c 167s | 8 | 160363 | 5236 | 4147892 0 | 0 | 0 342.51/342.67 c 170s | 8 | 160593 | 5436 | 4147892 0 | 0 | 0 345.30/345.47 c 173s | 8 | 161503 | 5636 | 4147892 0 | 0 | 0 347.90/348.05 c 175s | 8 | 161966 | 5836 | 4147892 0 | 0 | 0 350.41/350.56 c 178s | 8 | 162200 | 6036 | 4147892 0 | 0 | 0 352.70/352.84 c 180s | 8 | 162440 | 6236 | 4147892 0 | 0 | 0 355.10/355.24 c 183s | 8 | 162677 | 6436 | 4147892 0 | 0 | 0 357.70/357.81 c 185s | 8 | 162927 | 6636 | 4147892 0 | 0 | 0 360.00/360.14 c 187s | 8 | 163155 | 6836 | 4147892 0 | 0 | 0 362.00/362.15 c 190s | 8 | 163384 | 7036 | 4147892 0 | 0 | 0 365.20/365.30 c 193s | 8 | 163719 | 7336 | 4147892 0 | 0 | 0 367.10/367.23 c 195s | 9 | 163912 | 7506 | 4562682 0 | 0 | 0 371.50/371.60 c 199s | 9 | 164723 | 7606 | 4562682 0 | 0 | 0 374.00/374.17 c 202s | 9 | 164957 | 7806 | 4562682 0 | 0 | 0 376.61/376.77 c 204s | 9 | 165278 | 8006 | 4562682 0 | 0 | 0 379.50/379.62 c 207s | 9 | 165548 | 8206 | 4562682 0 | 0 | 0 382.60/382.71 c 210s | 9 | 165783 | 8406 | 4562682 0 | 0 | 0 385.29/385.47 c 213s | 9 | 166020 | 8606 | 4562682 0 | 0 | 0 388.30/388.49 c 216s | 9 | 166277 | 8806 | 4562682 0 | 0 | 0 391.79/391.91 c 219s | 9 | 166491 | 9006 | 4562682 0 | 0 | 0 394.60/394.74 c 222s | 9 | 166739 | 9206 | 4562682 0 | 0 | 0 397.30/397.40 c 225s | 9 | 166970 | 9406 | 4562682 0 | 0 | 0 399.80/399.94 c 227s | 9 | 167202 | 9606 | 4562682 0 | 0 | 0 402.30/402.48 c 230s | 9 | 167430 | 9806 | 4562682 0 | 0 | 0 404.79/404.93 c 232s | 9 | 167644 | 10006 | 4562682 0 | 0 | 0 407.40/407.55 c 235s | 9 | 167849 | 10206 | 4562682 0 | 0 | 0 416.89/417.09 c 244s | 9 | 168114 | 10406 | 4562682 0 | 0 | 0 419.69/419.89 c 247s | 9 | 168332 | 10606 | 4562682 0 | 0 | 0 422.89/423.09 c 250s | 9 | 168572 | 10806 | 4562682 0 | 0 | 0 425.79/425.92 c 253s | 9 | 168795 | 11006 | 4562682 0 | 0 | 0 428.09/428.20 c 256s | 9 | 169039 | 11206 | 4562682 0 | 0 | 0 430.09/430.28 c 258s | 10 | 169221 | 11361 | 5018951 0 | 0 | 0 434.79/434.91 c 262s | 10 | 170023 | 11461 | 5018951 0 | 0 | 0 442.70/442.81 c 270s | 10 | 178095 | 11661 | 5018951 0 | 0 | 0 445.68/445.82 c 273s | 10 | 178387 | 11861 | 5018951 0 | 0 | 0 460.89/461.04 c 288s | 10 | 219095 | 11961 | 5018951 0 | 0 | 0 470.29/470.40 c 298s | 10 | 239924 | 12061 | 5018951 0 | 0 | 0 472.39/472.52 c 300s | 10 | 240321 | 12261 | 5018951 0 | 0 | 0 486.88/487.08 c 314s | 10 | 283323 | 12361 | 5018951 0 | 0 | 0 492.68/492.83 c 320s | 10 | 296784 | 12461 | 5018951 0 | 0 | 0 503.88/504.06 c 331s | 10 | 322656 | 12561 | 5018951 0 | 0 | 0 507.18/507.32 c 335s | 10 | 329385 | 12661 | 5018951 0 | 0 | 0 533.98/534.12 c 361s | 10 | 394932 | 12761 | 5018951 0 | 0 | 0 536.47/536.60 c 364s | 10 | 395383 | 12961 | 5018951 0 | 0 | 0 538.48/538.66 c 366s | 10 | 395642 | 13161 | 5018951 0 | 0 | 0 557.37/557.53 c 385s | 10 | 449846 | 13361 | 5018951 0 | 0 | 0 559.87/560.03 c 387s | 10 | 450089 | 13561 | 5018951 0 | 0 | 0 562.37/562.53 c 390s | 10 | 454125 | 13661 | 5018951 0 | 0 | 0 578.17/578.37 c 406s | 10 | 496114 | 13761 | 5018951 0 | 0 | 0 602.37/602.51 c 430s | 10 | 550063 | 13961 | 5018951 0 | 0 | 0 604.37/604.57 c 432s | 10 | 550168 | 14061 | 5018951 0 | 0 | 0 607.87/608.02 c 435s | 10 | 550430 | 14261 | 5018951 0 | 0 | 0 616.06/616.21 c 444s | 10 | 566066 | 14461 | 5018951 0 | 0 | 0 640.26/640.42 c 468s | 10 | 640679 | 14561 | 5018951 0 | 0 | 0 656.86/657.09 c 484s | 10 | 695813 | 14661 | 5018951 0 | 0 | 0 659.15/659.33 c 487s | 10 | 696075 | 14761 | 5018951 0 | 0 | 0 661.36/661.57 c 489s | 10 | 697087 | 14861 | 5018951 0 | 0 | 0 665.26/665.44 c 493s | 10 | 697307 | 15061 | 5018951 0 | 0 | 0 668.85/669.03 c 496s | 10 | 698286 | 15261 | 5018951 0 | 0 | 0 671.85/672.07 c 499s | 10 | 698529 | 15461 | 5018951 0 | 0 | 0 674.35/674.59 c 502s | 10 | 698749 | 15661 | 5018951 0 | 0 | 0 677.35/677.59 c 505s | 10 | 699038 | 15861 | 5018951 0 | 0 | 0 679.96/680.16 c 508s | 10 | 699280 | 16061 | 5018951 0 | 0 | 0 683.25/683.49 c 511s | 10 | 699891 | 16261 | 5018951 0 | 0 | 0 685.35/685.50 c 513s | 10 | 700790 | 16361 | 5018951 0 | 0 | 0 688.45/688.62 c 516s | 10 | 701034 | 16561 | 5018951 0 | 0 | 0 691.65/691.85 c 519s | 10 | 701282 | 16761 | 5018951 0 | 0 | 0 694.35/694.50 c 522s | 10 | 701515 | 16961 | 5018951 0 | 0 | 0 702.16/702.36 c 530s | 10 | 701620 | 17061 | 5520847 0 | 0 | 0 703.36/703.58 c 531s | 11 | 701728 | 17144 | 5520847 0 | 0 | 0 708.35/708.56 c 536s | 11 | 702495 | 17244 | 5520847 0 | 0 | 0 711.44/711.69 c 539s | 11 | 702735 | 17444 | 5520847 0 | 0 | 0 713.74/713.97 c 541s | 11 | 704551 | 17544 | 5520847 0 | 0 | 0 716.46/716.69 c 544s | 11 | 704782 | 17744 | 5520847 0 | 0 | 0 719.14/719.31 c 547s | 11 | 705009 | 17944 | 5520847 0 | 0 | 0 722.15/722.34 c 550s | 11 | 705343 | 18244 | 5520847 0 | 0 | 0 724.44/724.65 c 552s | 11 | 705579 | 18444 | 5520847 0 | 0 | 0 726.65/726.83 c 554s | 11 | 705819 | 18644 | 5520847 0 | 0 | 0 728.75/728.94 c 556s | 11 | 706046 | 18844 | 5520847 0 | 0 | 0 746.94/747.11 c 574s | 11 | 756331 | 19044 | 5520847 0 | 0 | 0 763.04/763.28 c 591s | 11 | 825322 | 19144 | 5520847 0 | 0 | 0 765.44/765.69 c 593s | 11 | 825453 | 19244 | 5520847 0 | 0 | 0 768.14/768.35 c 596s | 11 | 825566 | 19344 | 5520847 0 | 0 | 0 770.93/771.10 c 598s | 11 | 825694 | 19444 | 5520847 0 | 0 | 0 782.93/783.17 c 611s | 11 | 871571 | 19544 | 5520847 0 | 0 | 0 792.64/792.83 c 620s | 11 | 871825 | 19744 | 5520847 0 | 0 | 0 795.04/795.25 c 623s | 11 | 872089 | 19944 | 5520847 0 | 0 | 0 813.43/813.65 c 641s | 11 | 942023 | 20144 | 5520847 0 | 0 | 0 816.23/816.48 c 644s | 11 | 943812 | 20344 | 5520847 0 | 0 | 0 819.13/819.32 c 647s | 11 | 944589 | 20544 | 5520847 0 | 0 | 0 822.53/822.79 c 650s | 11 | 944807 | 20744 | 5520847 0 | 0 | 0 824.83/825.04 c 652s | 11 | 944917 | 20844 | 5520847 0 | 0 | 0 826.83/827.08 c 654s | 11 | 945026 | 20944 | 5520847 0 | 0 | 0 830.13/830.36 c 658s | 11 | 945247 | 21144 | 5520847 0 | 0 | 0 833.23/833.43 c 661s | 11 | 948401 | 21244 | 5520847 0 | 0 | 0 859.72/859.95 c 687s | 11 | 1024907 | 21344 | 5520847 0 | 0 | 0 873.12/873.34 c 701s | 11 | 1059537 | 21444 | 5520847 0 | 0 | 0 905.22/905.44 c 733s | 11 | 1156606 | 21544 | 5520847 0 | 0 | 0 910.12/910.39 c 738s | 11 | 1165929 | 21644 | 5520847 0 | 0 | 0 912.92/913.15 c 741s | 11 | 1166810 | 21744 | 5520847 0 | 0 | 0 916.41/916.61 c 744s | 11 | 1167103 | 21944 | 5520847 0 | 0 | 0 919.82/920.04 c 747s | 11 | 1167343 | 22144 | 5520847 0 | 0 | 0 922.31/922.59 c 750s | 11 | 1167624 | 22344 | 5520847 0 | 0 | 0 925.02/925.28 c 753s | 11 | 1167858 | 22544 | 5520847 0 | 0 | 0 927.91/928.17 c 756s | 11 | 1168167 | 22744 | 5520847 0 | 0 | 0 931.12/931.33 c 759s | 11 | 1168434 | 22944 | 5520847 0 | 0 | 0 934.22/934.47 c 762s | 11 | 1168703 | 23144 | 5520847 0 | 0 | 0 937.31/937.53 c 765s | 11 | 1168949 | 23344 | 5520847 0 | 0 | 0 940.51/940.77 c 768s | 11 | 1169206 | 23544 | 5520847 0 | 0 | 0 942.61/942.84 c 770s | 11 | 1169330 | 23644 | 5520847 0 | 0 | 0 946.51/946.75 c 774s | 11 | 1169579 | 23844 | 5520847 0 | 0 | 0 948.61/948.84 c 776s | 11 | 1169693 | 23944 | 5520847 0 | 0 | 0 953.02/953.27 c 781s | 11 | 1169938 | 24144 | 5520847 0 | 0 | 0 955.22/955.42 c 783s | 11 | 1170054 | 24244 | 5520847 0 | 0 | 0 957.21/957.45 c 785s | 11 | 1170158 | 24344 | 5520847 0 | 0 | 0 959.41/959.64 c 787s | 11 | 1170274 | 24444 | 5520847 0 | 0 | 0 961.51/961.76 c 789s | 11 | 1170402 | 24544 | 5520847 0 | 0 | 0 963.61/963.84 c 791s | 11 | 1170513 | 24644 | 5520847 0 | 0 | 0 967.41/967.68 c 795s | 11 | 1170812 | 24844 | 5520847 0 | 0 | 0 971.01/971.29 c 799s | 11 | 1171204 | 25044 | 5520847 0 | 0 | 0 973.81/974.06 c 801s | 11 | 1171430 | 25244 | 5520847 0 | 0 | 0 976.41/976.61 c 804s | 11 | 1171735 | 25444 | 5520847 0 | 0 | 0 985.41/985.69 c 813s | 11 | 1171995 | 25644 | 5520847 0 | 0 | 0 989.10/989.38 c 817s | 12 | 1172433 | 25819 | 6072932 0 | 0 | 0 993.80/994.02 c 821s | 12 | 1173654 | 25919 | 6072932 0 | 0 | 0 996.70/996.91 c 824s | 12 | 1173787 | 26019 | 6072932 0 | 0 | 0 999.01/999.23 c 827s | 12 | 1173903 | 26119 | 6072932 0 | 0 | 0 1001.90/1002.14 c 829s | 12 | 1174009 | 26219 | 6072932 0 | 0 | 0 1004.30/1004.54 c 832s | 12 | 1174128 | 26319 | 6072932 0 | 0 | 0 1006.70/1006.93 c 834s | 12 | 1174245 | 26419 | 6072932 0 | 0 | 0 1010.21/1010.43 c 838s | 12 | 1174353 | 26519 | 6072932 0 | 0 | 0 1013.00/1013.25 c 841s | 12 | 1174658 | 26719 | 6072932 0 | 0 | 0 1026.39/1026.63 c 854s | 12 | 1206402 | 26819 | 6072932 0 | 0 | 0 1028.70/1028.90 c 856s | 12 | 1209695 | 26919 | 6072932 0 | 0 | 0 1031.40/1031.61 c 859s | 12 | 1210044 | 27119 | 6072932 0 | 0 | 0 1033.89/1034.15 c 862s | 12 | 1210403 | 27319 | 6072932 0 | 0 | 0 1037.29/1037.53 c 865s | 12 | 1211366 | 27519 | 6072932 0 | 0 | 0 1040.70/1040.93 c 868s | 12 | 1211757 | 27719 | 6072932 0 | 0 | 0 1043.80/1044.06 c 871s | 12 | 1212173 | 27919 | 6072932 0 | 0 | 0 1046.99/1047.21 c 875s | 12 | 1212730 | 28119 | 6072932 0 | 0 | 0 1049.00/1049.22 c 877s | 12 | 1213019 | 28219 | 6072932 0 | 0 | 0 1051.90/1052.13 c 879s | 12 | 1213527 | 28419 | 6072932 0 | 0 | 0 1055.20/1055.47 c 883s | 12 | 1213973 | 28619 | 6072932 0 | 0 | 0 1058.40/1058.66 c 886s | 12 | 1214515 | 28819 | 6072932 0 | 0 | 0 1068.89/1069.12 c 896s | 12 | 1239992 | 28919 | 6072932 0 | 0 | 0 1089.49/1089.77 c 917s | 12 | 1287934 | 29019 | 6072932 0 | 0 | 0 1093.09/1093.35 c 921s | 12 | 1288721 | 29219 | 6072932 0 | 0 | 0 1095.99/1096.29 c 924s | 12 | 1288949 | 29419 | 6072932 0 | 0 | 0 1098.59/1098.80 c 926s | 12 | 1289181 | 29619 | 6072932 0 | 0 | 0 1101.89/1102.17 c 930s | 12 | 1289390 | 29819 | 6072932 0 | 0 | 0 1105.08/1105.30 c 933s | 12 | 1289622 | 30019 | 6072932 0 | 0 | 0 1108.28/1108.52 c 936s | 12 | 1289840 | 30219 | 6072932 0 | 0 | 0 1111.58/1111.82 c 939s | 12 | 1290067 | 30419 | 6072932 0 | 0 | 0 1114.59/1114.89 c 942s | 12 | 1290293 | 30619 | 6072932 0 | 0 | 0 1117.59/1117.85 c 945s | 12 | 1290509 | 30819 | 6072932 0 | 0 | 0 1120.58/1120.86 c 948s | 12 | 1290739 | 31019 | 6072932 0 | 0 | 0 1123.49/1123.78 c 951s | 12 | 1290961 | 31219 | 6072932 0 | 0 | 0 1126.79/1127.08 c 954s | 12 | 1291200 | 31419 | 6072932 0 | 0 | 0 1130.57/1130.82 c 958s | 12 | 1291415 | 31619 | 6072932 0 | 0 | 0 1133.77/1134.03 c 961s | 12 | 1291656 | 31819 | 6072932 0 | 0 | 0 1136.28/1136.59 c 964s | 12 | 1291880 | 32019 | 6072932 0 | 0 | 0 1138.89/1139.11 c 966s | 12 | 1292117 | 32219 | 6072932 0 | 0 | 0 1142.58/1142.81 c 970s | 12 | 1292371 | 32419 | 6072932 0 | 0 | 0 1145.57/1145.85 c 973s | 12 | 1292591 | 32619 | 6072932 0 | 0 | 0 1148.78/1149.05 c 976s | 12 | 1292828 | 32819 | 6072932 0 | 0 | 0 1151.77/1152.05 c 979s | 12 | 1293053 | 33019 | 6072932 0 | 0 | 0 1154.68/1154.95 c 982s | 12 | 1293278 | 33219 | 6072932 0 | 0 | 0 1157.37/1157.64 c 985s | 12 | 1293500 | 33419 | 6072932 0 | 0 | 0 1160.07/1160.37 c 988s | 12 | 1293710 | 33619 | 6072932 0 | 0 | 0 1162.67/1162.94 c 990s | 12 | 1293933 | 33819 | 6072932 0 | 0 | 0 1165.07/1165.36 c 993s | 12 | 1294167 | 34019 | 6072932 0 | 0 | 0 1168.07/1168.31 c 996s | 12 | 1294389 | 34219 | 6072932 0 | 0 | 0 1170.77/1171.05 c 998s | 12 | 1294619 | 34419 | 6072932 0 | 0 | 0 1178.37/1178.65 c 1006s | 12 | 1294728 | 34519 | 6072932 0 | 0 | 0 1180.87/1181.14 c 1008s | 12 | 1294957 | 34719 | 6072932 0 | 0 | 0 1183.57/1183.80 c 1011s | 12 | 1295180 | 34919 | 6072932 0 | 0 | 0 1186.27/1186.60 c 1014s | 12 | 1295411 | 35119 | 6072932 0 | 0 | 0 1189.07/1189.36 c 1017s | 12 | 1295632 | 35319 | 6072932 0 | 0 | 0 1192.26/1192.52 c 1020s | 12 | 1296489 | 35519 | 6072932 0 | 0 | 0 1194.77/1195.00 c 1022s | 12 | 1296775 | 35719 | 6072932 0 | 0 | 0 1197.37/1197.61 c 1025s | 12 | 1296987 | 35919 | 6072932 0 | 0 | 0 1199.66/1199.90 c 1027s | 12 | 1297206 | 36119 | 6072932 0 | 0 | 0 1202.46/1202.71 c 1030s | 12 | 1297422 | 36319 | 6072932 0 | 0 | 0 1204.96/1205.25 c 1033s | 12 | 1297662 | 36519 | 6072932 0 | 0 | 0 1207.66/1207.91 c 1035s | 12 | 1297899 | 36719 | 6072932 0 | 0 | 0 1211.26/1211.52 c 1039s | 12 | 1298118 | 36919 | 6072932 0 | 0 | 0 1214.46/1214.79 c 1042s | 12 | 1298345 | 37119 | 6072932 0 | 0 | 0 1217.36/1217.68 c 1045s | 12 | 1298569 | 37319 | 6072932 0 | 0 | 0 1220.17/1220.49 c 1048s | 12 | 1298809 | 37519 | 6072932 0 | 0 | 0 1222.76/1223.03 c 1050s | 12 | 1299028 | 37719 | 6072932 0 | 0 | 0 1225.26/1225.58 c 1053s | 12 | 1299259 | 37919 | 6072932 0 | 0 | 0 1227.76/1228.03 c 1055s | 12 | 1299512 | 38119 | 6072932 0 | 0 | 0 1232.26/1232.56 c 1060s | 12 | 1310430 | 38219 | 6072932 0 | 0 | 0 1241.36/1241.66 c 1069s | 12 | 1348456 | 38319 | 6072932 0 | 0 | 0 1243.86/1244.19 c 1072s | 12 | 1348842 | 38419 | 6072932 0 | 0 | 0 1246.75/1247.06 c 1074s | 12 | 1348972 | 38519 | 6072932 0 | 0 | 0 1249.66/1249.94 c 1077s | 12 | 1349088 | 38619 | 6680226 0 | 0 | 0 1251.85/1252.14 c 1079s | 12 | 1349203 | 38719 | 6680226 0 | 0 | 0 1253.96/1254.27 c 1082s | 12 | 1349405 | 38819 | 6680226 0 | 0 | 0 1254.36/1254.63 c 1082s | 13 | 1349424 | 38832 | 6680226 0 | 0 | 0 1266.16/1266.42 c 1094s | 13 | 1375408 | 38932 | 6680226 0 | 0 | 0 1285.85/1286.15 c 1114s | 13 | 1465095 | 39032 | 6680226 0 | 0 | 0 1292.86/1293.17 c 1121s | 13 | 1502400 | 39132 | 6680226 0 | 0 | 0 1296.55/1296.81 c 1124s | 13 | 1502518 | 39232 | 6680226 0 | 0 | 0 1299.75/1300.09 c 1127s | 13 | 1502643 | 39332 | 6680226 0 | 0 | 0 1302.55/1302.82 c 1130s | 13 | 1502764 | 39432 | 6680226 0 | 0 | 0 1305.35/1305.66 c 1133s | 13 | 1502907 | 39532 | 6680226 0 | 0 | 0 1308.45/1308.72 c 1136s | 13 | 1503065 | 39632 | 6680226 0 | 0 | 0 1311.35/1311.60 c 1139s | 13 | 1503182 | 39732 | 6680226 0 | 0 | 0 1314.25/1314.51 c 1142s | 13 | 1503291 | 39832 | 6680226 0 | 0 | 0 1317.14/1317.43 c 1145s | 13 | 1503468 | 39932 | 6680226 0 | 0 | 0 1320.44/1320.77 c 1148s | 13 | 1503586 | 40032 | 6680226 0 | 0 | 0 1323.85/1324.12 c 1151s | 13 | 1503746 | 40132 | 6680226 0 | 0 | 0 1327.24/1327.55 c 1155s | 13 | 1503852 | 40232 | 6680226 0 | 0 | 0 1330.35/1330.68 c 1158s | 13 | 1503989 | 40332 | 6680226 0 | 0 | 0 1334.14/1334.41 c 1162s | 13 | 1504118 | 40432 | 6680226 0 | 0 | 0 1337.35/1337.68 c 1165s | 13 | 1504225 | 40532 | 6680226 0 | 0 | 0 1340.54/1340.85 c 1168s | 13 | 1504394 | 40632 | 6680226 0 | 0 | 0 1343.74/1344.03 c 1171s | 13 | 1504511 | 40732 | 6680226 0 | 0 | 0 1346.04/1346.39 c 1174s | 13 | 1504624 | 40832 | 6680226 0 | 0 | 0 1349.24/1349.58 c 1177s | 13 | 1504752 | 40932 | 6680226 0 | 0 | 0 1352.74/1353.04 c 1180s | 13 | 1504868 | 41032 | 6680226 0 | 0 | 0 1357.24/1357.55 c 1185s | 13 | 1504971 | 41132 | 6680226 0 | 0 | 0 1360.64/1360.95 c 1188s | 13 | 1505096 | 41232 | 6680226 0 | 0 | 0 1363.54/1363.85 c 1191s | 13 | 1505286 | 41332 | 6680226 0 | 0 | 0 1365.94/1366.28 c 1194s | 13 | 1505428 | 41432 | 6680226 0 | 0 | 0 1368.74/1369.01 c 1196s | 13 | 1505567 | 41532 | 6680226 0 | 0 | 0 1371.53/1371.85 c 1199s | 13 | 1505688 | 41632 | 6680226 0 | 0 | 0 1375.25/1375.58 c 1203s | 13 | 1505814 | 41732 | 6680226 0 | 0 | 0 1378.23/1378.55 c 1206s | 13 | 1505937 | 41832 | 6680226 0 | 0 | 0 1381.43/1381.72 c 1209s | 13 | 1506149 | 41932 | 6680226 0 | 0 | 0 1390.64/1390.95 c 1218s | 13 | 1506614 | 42032 | 6680226 0 | 0 | 0 1393.63/1393.99 c 1221s | 13 | 1507997 | 42132 | 6680226 0 | 0 | 0 1395.94/1396.20 c 1224s | 13 | 1508874 | 42232 | 6680226 0 | 0 | 0 1398.03/1398.34 c 1226s | 13 | 1509010 | 42332 | 6680226 0 | 0 | 0 1400.54/1400.84 c 1228s | 13 | 1509169 | 42432 | 6680226 0 | 0 | 0 1403.53/1403.83 c 1231s | 13 | 1509294 | 42532 | 6680226 0 | 0 | 0 1406.23/1406.51 c 1234s | 13 | 1509418 | 42632 | 6680226 0 | 0 | 0 1409.33/1409.61 c 1237s | 13 | 1510898 | 42732 | 6680226 0 | 0 | 0 1412.03/1412.38 c 1240s | 13 | 1512132 | 42832 | 6680226 0 | 0 | 0 1414.23/1414.53 c 1242s | 13 | 1512244 | 42932 | 6680226 0 | 0 | 0 1416.53/1416.88 c 1244s | 13 | 1512366 | 43032 | 6680226 0 | 0 | 0 1419.03/1419.36 c 1247s | 13 | 1512479 | 43132 | 6680226 0 | 0 | 0 1421.12/1421.44 c 1249s | 13 | 1512594 | 43232 | 6680226 0 | 0 | 0 1423.74/1424.03 c 1251s | 13 | 1512719 | 43332 | 6680226 0 | 0 | 0 1427.13/1427.41 c 1255s | 13 | 1515374 | 43432 | 6680226 0 | 0 | 0 1429.32/1429.64 c 1257s | 13 | 1515492 | 43532 | 6680226 0 | 0 | 0 1440.32/1440.65 c 1268s | 13 | 1561738 | 43632 | 6680226 0 | 0 | 0 1443.23/1443.53 c 1271s | 13 | 1563782 | 43732 | 6680226 0 | 0 | 0 1445.82/1446.17 c 1274s | 13 | 1563901 | 43832 | 6680226 0 | 0 | 0 1448.73/1449.02 c 1276s | 13 | 1564017 | 43932 | 6680226 0 | 0 | 0 1451.42/1451.70 c 1279s | 13 | 1564125 | 44032 | 6680226 0 | 0 | 0 1454.22/1454.51 c 1282s | 13 | 1564238 | 44132 | 6680226 0 | 0 | 0 1456.42/1456.71 c 1284s | 13 | 1564352 | 44232 | 6680226 0 | 0 | 0 1458.72/1459.01 c 1286s | 13 | 1564470 | 44332 | 6680226 0 | 0 | 0 1460.82/1461.11 c 1288s | 13 | 1564594 | 44432 | 6680226 0 | 0 | 0 1463.23/1463.53 c 1291s | 13 | 1564733 | 44532 | 6680226 0 | 0 | 0 1465.62/1465.93 c 1293s | 13 | 1564839 | 44632 | 6680226 0 | 0 | 0 1468.12/1468.49 c 1296s | 13 | 1564963 | 44732 | 6680226 0 | 0 | 0 1471.22/1471.50 c 1299s | 13 | 1565084 | 44832 | 6680226 0 | 0 | 0 1473.92/1474.20 c 1302s | 13 | 1565201 | 44932 | 6680226 0 | 0 | 0 1476.82/1477.13 c 1304s | 13 | 1565323 | 45032 | 6680226 0 | 0 | 0 1479.32/1479.63 c 1307s | 13 | 1565444 | 45132 | 6680226 0 | 0 | 0 1482.22/1482.58 c 1310s | 13 | 1565559 | 45232 | 6680226 0 | 0 | 0 1484.82/1485.15 c 1313s | 13 | 1565669 | 45332 | 6680226 0 | 0 | 0 1487.53/1487.83 c 1315s | 13 | 1565779 | 45432 | 6680226 0 | 0 | 0 1490.51/1490.81 c 1318s | 13 | 1565901 | 45532 | 6680226 0 | 0 | 0 1499.62/1499.94 c 1327s | 13 | 1566018 | 45632 | 6680226 0 | 0 | 0 1502.72/1503.00 c 1330s | 13 | 1566138 | 45732 | 6680226 0 | 0 | 0 1504.91/1505.29 c 1333s | 13 | 1566253 | 45832 | 6680226 0 | 0 | 0 1507.52/1507.81 c 1335s | 13 | 1566364 | 45932 | 6680226 0 | 0 | 0 1510.41/1510.73 c 1338s | 13 | 1566492 | 46032 | 6680226 0 | 0 | 0 1513.11/1513.43 c 1341s | 13 | 1566612 | 46132 | 6680226 0 | 0 | 0 1515.11/1515.48 c 1343s | 13 | 1566726 | 46232 | 6680226 0 | 0 | 0 1517.51/1517.81 c 1345s | 13 | 1566843 | 46332 | 6680226 0 | 0 | 0 1519.91/1520.30 c 1348s | 13 | 1566970 | 46432 | 6680226 0 | 0 | 0 1522.51/1522.80 c 1350s | 13 | 1567096 | 46532 | 6680226 0 | 0 | 0 1524.61/1524.92 c 1352s | 13 | 1567224 | 46632 | 6680226 0 | 0 | 0 1526.61/1526.95 c 1354s | 13 | 1567323 | 46732 | 6680226 0 | 0 | 0 1528.71/1529.02 c 1356s | 13 | 1567434 | 46832 | 6680226 0 | 0 | 0 1532.70/1533.06 c 1360s | 13 | 1567663 | 47032 | 6680226 0 | 0 | 0 1535.61/1535.92 c 1363s | 13 | 1567781 | 47132 | 6680226 0 | 0 | 0 1538.11/1538.44 c 1366s | 13 | 1567903 | 47232 | 6680226 0 | 0 | 0 1541.41/1541.71 c 1369s | 13 | 1568014 | 47332 | 6680226 0 | 0 | 0 1544.20/1544.58 c 1372s | 13 | 1568154 | 47432 | 6680226 0 | 0 | 0 1546.91/1547.26 c 1375s | 13 | 1568265 | 47532 | 6680226 0 | 0 | 0 1549.50/1549.88 c 1377s | 13 | 1568389 | 47632 | 6680226 0 | 0 | 0 1552.21/1552.58 c 1380s | 13 | 1568490 | 47732 | 6680226 0 | 0 | 0 1554.80/1555.16 c 1383s | 13 | 1568614 | 47832 | 6680226 0 | 0 | 0 1557.50/1557.87 c 1385s | 13 | 1568732 | 47932 | 6680226 0 | 0 | 0 1560.60/1560.96 c 1388s | 13 | 1568858 | 48032 | 6680226 0 | 0 | 0 1563.20/1563.56 c 1391s | 13 | 1568986 | 48132 | 6680226 0 | 0 | 0 1566.01/1566.31 c 1394s | 13 | 1569103 | 48232 | 6680226 0 | 0 | 0 1568.10/1568.45 c 1396s | 13 | 1569225 | 48332 | 6680226 0 | 0 | 0 1570.30/1570.62 c 1398s | 13 | 1569341 | 48432 | 6680226 0 | 0 | 0 1572.40/1572.71 c 1400s | 13 | 1569465 | 48532 | 6680226 0 | 0 | 0 1574.40/1574.76 c 1402s | 13 | 1569580 | 48632 | 6680226 0 | 0 | 0 1576.80/1577.18 c 1405s | 13 | 1569689 | 48732 | 6680226 0 | 0 | 0 1579.10/1579.48 c 1407s | 13 | 1569802 | 48832 | 6680226 0 | 0 | 0 1581.30/1581.69 c 1409s | 13 | 1569916 | 48932 | 6680226 0 | 0 | 0 1584.99/1585.35 c 1413s | 13 | 1570130 | 49132 | 6680226 0 | 0 | 0 1588.90/1589.24 c 1417s | 13 | 1570361 | 49332 | 6680226 0 | 0 | 0 1598.60/1598.95 c 1426s | 13 | 1570589 | 49532 | 6680226 0 | 0 | 0 1602.59/1602.92 c 1430s | 13 | 1570793 | 49732 | 6680226 0 | 0 | 0 1604.79/1605.19 c 1433s | 13 | 1570899 | 49832 | 6680226 0 | 0 | 0 1607.30/1607.62 c 1435s | 13 | 1571012 | 49932 | 6680226 0 | 0 | 0 1610.09/1610.41 c 1438s | 13 | 1571114 | 50032 | 6680226 0 | 0 | 0 1612.69/1613.07 c 1440s | 13 | 1571241 | 50132 | 6680226 0 | 0 | 0 1616.49/1616.87 c 1444s | 13 | 1571454 | 50332 | 6680226 0 | 0 | 0 1620.50/1620.83 c 1448s | 13 | 1571686 | 50532 | 6680226 0 | 0 | 0 1624.39/1624.70 c 1452s | 13 | 1571913 | 50732 | 6680226 0 | 0 | 0 1628.20/1628.55 c 1456s | 13 | 1572145 | 50932 | 6680226 0 | 0 | 0 1630.59/1630.90 c 1458s | 13 | 1572263 | 51032 | 6680226 0 | 0 | 0 1634.89/1635.23 c 1463s | 13 | 1572473 | 51232 | 6680226 0 | 0 | 0 1637.39/1637.74 c 1465s | 13 | 1572582 | 51332 | 6680226 0 | 0 | 0 1639.79/1640.12 c 1467s | 13 | 1572696 | 51432 | 6680226 0 | 0 | 0 1644.18/1644.53 c 1472s | 13 | 1572905 | 51632 | 6680226 0 | 0 | 0 1657.39/1657.77 c 1485s | 13 | 1633181 | 51832 | 6680226 0 | 0 | 0 1669.38/1669.74 c 1497s | 13 | 1699612 | 51932 | 6680226 0 | 0 | 0 1685.67/1686.02 c 1513s | 13 | 1806695 | 52032 | 6680226 0 | 0 | 0 1688.08/1688.46 c 1516s | 13 | 1807325 | 52132 | 6680226 0 | 0 | 0 1690.38/1690.75 c 1518s | 13 | 1807783 | 52232 | 6680226 0 | 0 | 0 1694.19/1694.52 c 1522s | 13 | 1808029 | 52432 | 6680226 0 | 0 | 0 1704.47/1704.88 c 1532s | 13 | 1808263 | 52632 | 6680226 0 | 0 | 0 1707.88/1708.27 c 1536s | 13 | 1808503 | 52832 | 6680226 0 | 0 | 0 1710.68/1711.10 c 1538s | 13 | 1808725 | 53032 | 6680226 0 | 0 | 0 1713.57/1713.95 c 1541s | 13 | 1808954 | 53232 | 6680226 0 | 0 | 0 1716.57/1716.98 c 1544s | 13 | 1809179 | 53432 | 6680226 0 | 0 | 0 1720.07/1720.45 c 1548s | 13 | 1809407 | 53632 | 6680226 0 | 0 | 0 1723.67/1724.04 c 1551s | 13 | 1809711 | 53832 | 6680226 0 | 0 | 0 1725.87/1726.22 c 1554s | 13 | 1809976 | 53932 | 6680226 0 | 0 | 0 1727.97/1728.39 c 1556s | 13 | 1810108 | 54032 | 6680226 0 | 0 | 0 1730.08/1730.48 c 1558s | 13 | 1810233 | 54132 | 6680226 0 | 0 | 0 1732.47/1732.84 c 1560s | 13 | 1810378 | 54232 | 6680226 0 | 0 | 0 1735.17/1735.52 c 1563s | 13 | 1810517 | 54332 | 6680226 0 | 0 | 0 1737.18/1737.59 c 1565s | 13 | 1810635 | 54432 | 6680226 0 | 0 | 0 1740.86/1741.25 c 1569s | 13 | 1810915 | 54632 | 6680226 0 | 0 | 0 1743.07/1743.41 c 1571s | 13 | 1811038 | 54732 | 6680226 0 | 0 | 0 1745.17/1745.55 c 1573s | 13 | 1811176 | 54832 | 6680226 0 | 0 | 0 1747.36/1747.76 c 1575s | 13 | 1811301 | 54932 | 6680226 0 | 0 | 0 1750.87/1751.22 c 1579s | 13 | 1811543 | 55132 | 6680226 0 | 0 | 0 1754.17/1754.52 c 1582s | 13 | 1811809 | 55332 | 6680226 0 | 0 | 0 1758.08/1758.42 c 1586s | 13 | 1812053 | 55532 | 6680226 0 | 0 | 0 1760.17/1760.60 c 1588s | 13 | 1812180 | 55632 | 6680226 0 | 0 | 0 1762.26/1762.69 c 1590s | 13 | 1812305 | 55732 | 6680226 0 | 0 | 0 1766.26/1766.63 c 1594s | 13 | 1812550 | 55932 | 6680226 0 | 0 | 0 1770.07/1770.41 c 1598s | 13 | 1812791 | 56132 | 6680226 0 | 0 | 0 1773.46/1773.85 c 1601s | 13 | 1813051 | 56332 | 6680226 0 | 0 | 0 1777.56/1777.94 c 1605s | 13 | 1813317 | 56532 | 6680226 0 | 0 | 0 1779.66/1780.09 c 1607s | 13 | 1813426 | 56632 | 6680226 0 | 0 | 0 1781.76/1782.11 c 1609s | 13 | 1813546 | 56732 | 6680226 0 | 0 | 0 1785.57/1785.93 c 1613s | 13 | 1813769 | 56932 | 6680226 0 | 0 | 0 1789.87/1790.26 c 1618s | 13 | 1813987 | 57132 | 6680226 0 | 0 | 0 1791.95/1792.31 c 1620s | 13 | 1814102 | 57232 | 6680226 0 | 0 | 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-4078861-1465274976/watcher-4078861-1465274976 -o /tmp/evaluation-result-4078861-1465274976/solver-4078861-1465274976 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9910 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078861-1465274976.opb pid=12318 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.34 2.27 2.20 3/179 12321 /proc/meminfo: memFree=28760004/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=720316 CPUtime=0 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 2688 0 0 0 0 0 0 0 20 0 4 0 109431516 737603584 3049 33554432000 4194304 16246674 140737445496080 140737445495504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 180847 3058 441 2943 0 177741 0 [pid=12321/tid=12322] ppid=12318 vsize=738748 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 756477952 3121 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=743868 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 761720832 3140 33554432000 4194304 16246674 140737445496080 139911212539120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=747964 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109431516 765915136 3156 33554432000 4194304 16246674 140737445496080 139911202065584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.34 2.27 2.20 3/179 12321 /proc/meminfo: memFree=28760004/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=1301060 CPUtime=0.09 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 25860 0 0 0 6 3 0 0 20 0 4 0 109431516 1332285440 26160 33554432000 4194304 16246674 140737445496080 140737445495392 7364033 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 325265 26174 800 2943 0 322159 0 [pid=12321/tid=12322] ppid=12318 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 1332285440 26185 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 1332285440 26196 33554432000 4194304 16246674 140737445496080 139911212539120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109431516 1332285440 26207 33554432000 4194304 16246674 140737445496080 139911202065584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1301060 [startup+0.200551 s] /proc/loadavg: 2.34 2.27 2.20 3/179 12321 /proc/meminfo: memFree=28760004/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=1314372 CPUtime=0.18 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 49260 0 0 0 12 6 0 0 20 0 4 0 109431516 1345916928 50070 33554432000 4194304 16246674 140737445496080 140737445495392 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 328593 50077 801 2943 0 325487 0 [pid=12321/tid=12322] ppid=12318 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 1345916928 50081 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 1345916928 50085 33554432000 4194304 16246674 140737445496080 139911212539120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109431516 1345916928 50089 33554432000 4194304 16246674 140737445496080 139911202065584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1314372 [startup+0.300468 s] /proc/loadavg: 2.34 2.27 2.20 3/179 12321 /proc/meminfo: memFree=28760004/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 62052 0 0 0 21 8 0 0 20 0 4 0 109431516 1345916928 62862 33554432000 4194304 16246674 140737445496080 140737445495392 4206653 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 328593 62862 801 2943 0 325487 0 [pid=12321/tid=12322] ppid=12318 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 1345916928 62862 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 1345916928 62862 33554432000 4194304 16246674 140737445496080 139911212539120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109431516 1345916928 62862 33554432000 4194304 16246674 140737445496080 139911202065584 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) 1314372 [startup+0.700407 s] /proc/loadavg: 2.34 2.27 2.20 3/179 12321 /proc/meminfo: memFree=28760004/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=1314372 CPUtime=0.69 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 71214 0 0 0 59 10 0 0 20 0 4 0 109431516 1345916928 72024 33554432000 4194304 16246674 140737445496080 140737445493888 8055570 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 328593 72024 801 2943 0 325487 0 [pid=12321/tid=12322] ppid=12318 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 1345916928 72024 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 1345916928 72024 33554432000 4194304 16246674 140737445496080 139911212539120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109431516 1345916928 72024 33554432000 4194304 16246674 140737445496080 139911202065584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50039 s] /proc/loadavg: 2.34 2.27 2.20 3/183 12325 /proc/meminfo: memFree=28440652/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=1314372 CPUtime=1.48 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 86960 0 0 0 136 12 0 0 20 0 4 0 109431516 1345916928 87770 33554432000 4194304 16246674 140737445496080 140737445493888 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 328593 87770 802 2943 0 325487 0 [pid=12321/tid=12322] ppid=12318 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 1345916928 87770 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 1345916928 87770 33554432000 4194304 16246674 140737445496080 139911212539120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109431516 1345916928 87770 33554432000 4194304 16246674 140737445496080 139911202065584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1314372 [startup+3.10037 s] /proc/loadavg: 2.34 2.27 2.20 3/183 12325 /proc/meminfo: memFree=28350772/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=1338948 CPUtime=3.09 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 136876 0 0 0 288 21 0 0 20 0 4 0 109431516 1371082752 141774 33554432000 4194304 16246674 140737445496080 140737445493952 13927272 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 334737 141774 802 2943 0 331631 0 [pid=12321/tid=12322] ppid=12318 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 1371082752 141774 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 1371082752 141774 33554432000 4194304 16246674 140737445496080 139911212539120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109431516 1371082752 141774 33554432000 4194304 16246674 140737445496080 139911202065584 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) 1338948 [startup+6.30042 s] /proc/loadavg: 2.47 2.29 2.20 4/183 12325 /proc/meminfo: memFree=27857144/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=1388100 CPUtime=6.29 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 212198 0 0 0 597 32 0 0 20 0 4 0 109431516 1421414400 227316 33554432000 4194304 16246674 140737445496080 140737445479072 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 347025 227316 802 2943 0 343919 0 [pid=12321/tid=12322] ppid=12318 vsize=1388100 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 1421414400 227316 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=1388100 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 1421414400 227316 33554432000 4194304 16246674 140737445496080 139911212539120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=1388100 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109431516 1421414400 227316 33554432000 4194304 16246674 140737445496080 139911202065584 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) 1388100 [startup+12.7073 s] /proc/loadavg: 2.43 2.29 2.20 3/183 12325 /proc/meminfo: memFree=27559548/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=1439300 CPUtime=12.7 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 282521 0 0 0 1226 44 0 0 20 0 4 0 109431516 1473843200 301216 33554432000 4194304 16246674 140737445496080 140737445495176 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 359825 301216 802 2943 0 356719 0 [pid=12321/tid=12322] ppid=12318 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 1473843200 301216 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 1473843200 301216 33554432000 4194304 16246674 140737445496080 139911212539120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109431516 1473843200 301216 33554432000 4194304 16246674 140737445496080 139911202065584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 1439300 [startup+25.5004 s] /proc/loadavg: 2.42 2.29 2.20 3/184 12328 /proc/meminfo: memFree=25573268/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=3889732 CPUtime=25.49 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 894903 0 0 0 2418 131 0 0 20 0 4 0 109431516 3983085568 913598 33554432000 4194304 16246674 140737445496080 140737445494744 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 972433 913604 803 2943 0 969327 0 [pid=12321/tid=12322] ppid=12318 vsize=3889732 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 3983085568 913609 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=3889732 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 3983085568 913614 33554432000 4194304 16246674 140737445496080 139911212538896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=3889732 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109431516 3983085568 913617 33554432000 4194304 16246674 140737445496080 139911202065584 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) 3889732 [startup+51.1003 s] /proc/loadavg: 2.42 2.30 2.21 4/184 12328 /proc/meminfo: memFree=21801016/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=7188036 CPUtime=51.08 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 1719753 0 0 0 4852 256 0 0 20 0 4 0 109431516 7360548864 1738448 33554432000 4194304 16246674 140737445496080 140737445495256 15015658 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12321/statm: 1797009 1738448 850 2943 0 1793903 0 [pid=12321/tid=12322] ppid=12318 vsize=7188036 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 7360548864 1738448 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=7188036 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 7360548864 1738448 33554432000 4194304 16246674 140737445496080 139911212539120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=7188036 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109431516 7360548864 1738448 33554432000 4194304 16246674 140737445496080 139911202065584 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) 7188036 [startup+102.3 s] /proc/loadavg: 2.30 2.28 2.20 4/183 12329 /proc/meminfo: memFree=17275108/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=11704900 CPUtime=102.26 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 2848979 0 0 0 9786 440 0 0 20 0 4 0 109431516 11985817600 2867674 33554432000 4194304 16246674 140737445496080 140737445495296 13767472 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12321/statm: 2926225 2867674 850 2943 0 2923119 0 [pid=12321/tid=12322] ppid=12318 vsize=11704900 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 11985817600 2867674 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=11704900 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 11985817600 2867674 33554432000 4194304 16246674 140737445496080 139911212539120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=11704900 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109431516 11985817600 2867674 33554432000 4194304 16246674 140737445496080 139911202065584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 11704900 ################ # More data... # ################ [startup+1422.3 s] /proc/loadavg: 2.20 2.24 2.24 3/183 12433 /proc/meminfo: memFree=15180288/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=14095940 CPUtime=1422.03 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 3446811 0 0 0 141462 741 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 140737445495256 5677190 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 3523985 3465488 898 2943 0 3520879 0 [pid=12321/tid=12322] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911212539120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911202065584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 14095940 [startup+1482.31 s] /proc/loadavg: 2.34 2.27 2.24 3/183 12434 /proc/meminfo: memFree=15180516/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=14095940 CPUtime=1482.02 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 3446812 0 0 0 147453 749 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 140737445495256 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 3523985 3465488 898 2943 0 3520879 0 [pid=12321/tid=12322] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911212539120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911202065584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 14095940 [startup+1542.3 s] /proc/loadavg: 2.28 2.26 2.24 3/183 12436 /proc/meminfo: memFree=15180320/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=14095940 CPUtime=1542.01 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 3446820 0 0 0 153443 758 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 140737445495256 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 3523985 3465488 898 2943 0 3520879 0 [pid=12321/tid=12322] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911212539120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911202065584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 14095940 [startup+1602.3 s] /proc/loadavg: 2.27 2.26 2.24 3/183 12437 /proc/meminfo: memFree=15179708/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=14095940 CPUtime=1601.99 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 3446826 0 0 0 159432 767 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 140737445495256 5823275 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 3523985 3465488 898 2943 0 3520879 0 [pid=12321/tid=12322] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911212539120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911202065584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.99 Current children cumulated vsize (KiB) 14095940 [startup+1662.3 s] /proc/loadavg: 2.18 2.24 2.23 3/183 12438 /proc/meminfo: memFree=15179920/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=14095940 CPUtime=1661.98 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 3446832 0 0 0 165424 774 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 140737445495176 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 3523985 3465488 898 2943 0 3520879 0 [pid=12321/tid=12322] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911212539120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911202065584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.98 Current children cumulated vsize (KiB) 14095940 [startup+1722.3 s] /proc/loadavg: 2.31 2.27 2.24 4/183 12439 /proc/meminfo: memFree=15179956/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=14095940 CPUtime=1721.98 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 3446833 0 0 0 171415 783 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 140737445495256 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 3523985 3465488 898 2943 0 3520879 0 [pid=12321/tid=12322] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911212539120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911202065584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 14095940 [startup+1782.3 s] /proc/loadavg: 2.24 2.25 2.24 3/183 12440 /proc/meminfo: memFree=15179484/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=14095940 CPUtime=1781.96 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 3446839 0 0 0 177403 793 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 140737445495256 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 3523985 3465488 898 2943 0 3520879 0 [pid=12321/tid=12322] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911212539120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911202065584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.96 Current children cumulated vsize (KiB) 14095940 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.17 2.23 2.23 3/182 12440 /proc/meminfo: memFree=15179336/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=14095940 CPUtime=1800.06 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) R 12318 12321 9894 0 -1 4202496 3446840 0 0 0 179210 796 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 140737445493888 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 3523985 3465488 898 2943 0 3520879 0 [pid=12321/tid=12322] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12322/stat : 12322 (toysat) S 12318 12321 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911223028976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) S 12318 12321 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911212538896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12321/tid=12324] ppid=12318 vsize=14095940 CPUtime=0 cores=0,2,4,6 /proc/12321/task/12324/stat : 12324 (toysat) S 12318 12321 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109431516 14434242560 3465488 33554432000 4194304 16246674 140737445496080 139911202065584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 14095940 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 12321 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.17 2.23 2.23 3/182 12440 /proc/meminfo: memFree=15179336/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=0 CPUtime=1800.16 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) Z 12318 12321 9894 0 -1 4203532 3446840 0 0 0 179210 806 0 0 20 0 2 0 109431516 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 0 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=0 CPUtime=0.09 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) R 12318 12321 9894 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 109431516 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 2.17 2.23 2.23 3/182 12440 /proc/meminfo: memFree=15179336/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=0 CPUtime=1800.56 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) Z 12318 12321 9894 0 -1 4203532 3446840 0 0 0 179210 846 0 0 20 0 2 0 109431516 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 0 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=0 CPUtime=0.48 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) R 12318 12321 9894 0 -1 4203588 8 0 0 0 0 48 0 0 20 0 2 0 109431516 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (KiB) 0 [startup+1801 s] /proc/loadavg: 2.17 2.23 2.23 3/182 12440 /proc/meminfo: memFree=15179336/32872528 swapFree=15272/1656604 [pid=12321] ppid=12318 vsize=0 CPUtime=1800.66 cores=0,2,4,6 /proc/12321/stat : 12321 (toysat) Z 12318 12321 9894 0 -1 4203532 3446840 0 0 0 179210 856 0 0 20 0 2 0 109431516 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/12321/statm: 0 0 0 0 0 0 0 [pid=12321/tid=12323] ppid=12318 vsize=0 CPUtime=0.58 cores=0,2,4,6 /proc/12321/task/12323/stat : 12323 (toysat) R 12318 12321 9894 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 109431516 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.08 CPU time (s): 1800.74 CPU user time (s): 1792.11 CPU system time (s): 8.63569 CPU usage (%): 99.9815 Max. virtual memory (cumulated for all children) (KiB): 14095940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.11 system time used= 8.63569 maximum resident set size= 13861952 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3446840 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= 134 involuntary context switches= 2018 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.986 second user time and 11.5632 second system time The end
Begin job on node136 at 2016-06-07 06:49:42 IDJOB=4078861 IDBENCH=89632 IDSOLVER=2542 FILE ID=node136/4078861-1465274976 RUNJOBID= node136-1465261284-9910 PBS_JOBID= 19843291 Free space on /tmp= 71456 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-175.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078861-1465274976/watcher-4078861-1465274976 -o /tmp/evaluation-result-4078861-1465274976/solver-4078861-1465274976 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9910 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078861-1465274976.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3472d2cba7eedc0e4f1652523daa893e RANDOM SEED=38295561 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 : 2666.959 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.91 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.959 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.959 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.55 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.959 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.959 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.959 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.59 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.959 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.959 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: 28759896 kB Buffers: 110384 kB Cached: 490336 kB SwapCached: 812 kB Active: 1490240 kB Inactive: 215828 kB Active(anon): 1106372 kB Inactive(anon): 1256 kB Active(file): 383868 kB Inactive(file): 214572 kB Unevictable: 1656604 kB Mlocked: 15272 kB SwapTotal: 67108856 kB SwapFree: 67099384 kB Dirty: 281156 kB Writeback: 0 kB AnonPages: 2761336 kB Mapped: 10796 kB Shmem: 0 kB Slab: 613468 kB SReclaimable: 56668 kB SUnreclaim: 556800 kB KernelStack: 1448 kB PageTables: 9464 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2904076 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2740224 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= 71440 MiB End job on node136 at 2016-06-07 07:19:43