Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2016-05-02 | ? (TO) | 1800.11 | 1800.45 |
Name | /OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__8.opb |
MD5SUM | c120d8f4dcbc5272249a5c279ae2547e |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1106627 |
Best CPU time to get the best result obtained on this benchmark | 1800.34 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 12498 |
Total number of constraints | 2000 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 1502 |
Number of constraints which are nor clauses,nor cardinality constraints | 498 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 169 |
Number of terms in the objective function | 12000 |
Biggest coefficient in the objective function | 114804 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 410482992 |
Number of bits of the sum of numbers in the objective function | 29 |
Biggest number in a constraint | 114804 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 410482992 |
Number of bits of the biggest sum of numbers | 29 |
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-18T22:34:04+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-4107078-1466282044.opb"] 0.00/0.01 c use --random-gen="1778838319 2427996119 2032375987 956349857 1284753045 4261207262 2390115495 665686999 987244827 3696839487 3076121531 2214978012 965451408 2090982807 1268608256 2731373021 597197742 1249251037 3666314511 4063687246 3353338878 2792297420 1859316776 2453597628 2176948878 2955853884 1237340862 128975211 1790219456 1330689427 4206737459 401025123 3561885748 371180708 889304480 1387514700 2350707117 2202606273 4108084734 3501543500 412996691 4097394536 1089768617 4221191607 1475294295 819817972 2464438962 2671229157 3717463048 2941906436 1119964985 828291781 1913997619 3540783702 391316977 184959595 552247987 3821123697 849256263 217046056 3661617775 1240255036 2203374966 696724157 1889196388 23467223 1973368636 359271608 158668328 48388951 113256115 537600675 1911777005 4268982559 2156843430 1910953458 3144410125 2388177608 2379885506 970471179 3066552286 3998866852 3337592628 77358838 3036198981 532275709 3368495678 3486768564 3047376570 773497374 477872045 3185382030 2423166107 505594560 1591738278 1236835169 3073814438 3090261045 1122533272 586325330 3763986011 3497602501 1157014179 1976166653 1197323626 606621027 1343863643 3458778394 2676678352 3362674024 823794606 2590175635 2072839853 984015817 3481861923 383278990 2060845800 3773344772 3237479732 2863300014 2547179379 220950066 3446547027 1435974765 1759138593 1967514216 1684306169 1434379006 1429475608 408154938 4144781694 3467483801 164929723 4096951697 3504525801 3539977150 772281510 2015785147 2262405365 165684645 2453026933 2358873347 4293224986 2867102456 1551435514 712888203 1614437614 604385149 434834901 335190057 2299016274 917095409 1918576876 1328214660 2042907409 1132230956 3085055681 3132660109 3676987884 3533473442 2117504143 3840047674 3671032565 797025667 1441291826 752263594 348427895 3124152842 1033378144 3975959316 1869109807 3191102788 2147528353 161005975 374299462 2739301652 734608481 361959939 937140236 257713126 1866854755 3295279780 3837042299 1816884789 2069834987 3772375362 2094695438 76169956 1479146470 418676428 850858066 1977730033 3016747003 2629754978 2458577154 1925763196 1781057644 2695808995 1610344063 2378587225 3567952879 738262846 1916690414 71415449 985221489 2810668510 3933507031 3042588275 3365627296 413450641 865451531 144322848 3840419216 2068185477 2215993901 2768125983 742913592 2895208818 913837329 267646234 3378041396 1518546039 1605414090 3044728862 1752023239 3657212625 2310152020 3043170325 3054156393 501595693 3448564308 2441246251 1452942922 1204483029 1626216210 4061937758 837257214 495329428 3940183753 2554734632 2179928378 3154585738 1553210999 866365226 4164961365 3846405468 2230078278 1613629050 3600308785 796746662 3537320768 786632787 3475677806 2205195780 7182309 1171719221 255 362436" option to reproduce the execution 0.09/0.13 c #vars 12498 0.09/0.13 c #constraints 2000 0.19/0.28 c BCD2: Hardening is enabled. 0.19/0.28 c BCD2: BiasedSearch is enabled. 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.28/0.33 c 0.0s | 0 | 0 | 0 | 4999 0 | 0 | 0 0.39/0.44 c 0.1s | 1 | 5204 | 100 | 4999 0 | 0 | 0 0.49/0.59 c 0.3s | 2 | 22837 | 250 | 5499 0 | 0 | 0 0.69/0.73 c 0.4s | 3 | 34739 | 475 | 6049 0 | 0 | 0 0.88/0.96 c 0.6s | 4 | 50406 | 813 | 6654 0 | 0 | 0 1.10/1.12 c 0.8s | 4 | 57709 | 1010 | 7320 0 | 0 | 0 1.10/1.12 c #cpu_time = 0.767s 1.10/1.12 c #wall_clock_time = 0.768s 1.10/1.12 c #decision = 57709 1.10/1.12 c #random_decision = 167 1.10/1.12 c #conflict = 1010 1.10/1.12 c #restart = 4 1.10/1.12 o 15126987 1.10/1.19 c BCD2: updating upper bound: 410482992 -> 15126986 1.20/1.24 c BCD2: 0 <= obj <= 15126986 1.20/1.24 c BCD2: #cores=0, #unrelaxed=12000, #relaxed=0, #hardened=0 1.20/1.24 c BCD2: #sat=1 #unsat=1 bias=1/2 1.20/1.24 c Solving starts ... 1.20/1.24 c ============================[ Search Statistics ]============================ 1.20/1.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.20/1.24 c | | | | Limit GC | Var | Constra 1.20/1.24 c ============================================================================= 1.20/1.24 c 0.0s | 0 | 0 | 0 | 7320 0 | 0 | 0 1.20/1.27 c 0.0s | 0 | 3154 | 0 | 7320 0 | 0 | 0 1.20/1.27 c #cpu_time = 0.025s 1.20/1.27 c #wall_clock_time = 0.025s 1.20/1.27 c #decision = 3154 1.20/1.27 c #random_decision = 0 1.20/1.27 c #conflict = 0 1.20/1.27 c #restart = 0 1.20/1.27 c BCD2: found a new core of size 24: cost of the new core is >=9805 1.20/1.27 c lower bound updated to 9805 1.20/1.28 c BCD2: 9805 <= obj <= 15126986 1.20/1.28 c BCD2: #cores=1, #unrelaxed=11976, #relaxed=24, #hardened=0 1.20/1.28 c BCD2: #sat=1 #unsat=2 bias=2/3 1.20/1.28 c Solving starts ... 1.20/1.28 c ============================[ Search Statistics ]============================ 1.20/1.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.20/1.28 c | | | | Limit GC | Var | Constra 1.20/1.28 c ============================================================================= 1.20/1.28 c 0.0s | 0 | 0 | 0 | 7320 0 | 0 | 1 1.29/1.31 c 0.0s | 0 | 6665 | 0 | 7320 0 | 0 | 1 1.29/1.31 c #cpu_time = 0.029s 1.29/1.31 c #wall_clock_time = 0.029s 1.29/1.31 c #decision = 6665 1.29/1.31 c #random_decision = 0 1.29/1.31 c #conflict = 0 1.29/1.31 c #restart = 0 1.29/1.31 c BCD2: found a new core of size 102: cost of the new core is >=5818 1.29/1.31 c lower bound updated to 15623 1.29/1.32 c BCD2: 15623 <= obj <= 15126986 1.29/1.32 c BCD2: #cores=2, #unrelaxed=11874, #relaxed=126, #hardened=0 1.29/1.32 c BCD2: #sat=1 #unsat=3 bias=3/4 89.47/89.55 c Solving starts ... 89.47/89.55 c ============================[ Search Statistics ]============================ 89.47/89.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 89.47/89.55 c | | | | Limit GC | Var | Constra 89.47/89.55 c ============================================================================= 89.47/89.55 c 0.0s | 0 | 0 | 0 | 7320 0 | 0 | 1 89.57/89.67 c 0.1s | 1 | 38915 | 100 | 7320 0 | 0 | 1 89.77/89.82 c 0.3s | 2 | 71285 | 250 | 7320 0 | 0 | 1 89.77/89.88 c 0.3s | 2 | 84921 | 272 | 7320 0 | 0 | 1 89.77/89.88 c #cpu_time = 0.323s 89.77/89.88 c #wall_clock_time = 0.323s 89.77/89.88 c #decision = 84921 89.77/89.88 c #random_decision = 0 89.77/89.88 c #conflict = 272 89.77/89.88 c #restart = 2 89.97/90.04 c BCD2: relaxing 7199 and merging with 2 cores into a new core of size 7325: cost of the new core is >=15624 89.97/90.04 c lower bound updated to 15624 89.97/90.07 c BCD2: 15624 <= obj <= 15126986 89.97/90.07 c BCD2: #cores=1, #unrelaxed=4675, #relaxed=7325, #hardened=0 89.97/90.07 c BCD2: #sat=1 #unsat=4 bias=4/5 90.07/90.11 c Solving starts ... 90.07/90.11 c ============================[ Search Statistics ]============================ 90.07/90.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 90.07/90.11 c | | | | Limit GC | Var | Constra 90.07/90.11 c ============================================================================= 90.07/90.11 c 0.0s | 0 | 0 | 0 | 7320 0 | 2 | 1 90.07/90.20 c 0.1s | 0 | 9505 | 10 | 7320 0 | 2 | 3 90.07/90.20 c #cpu_time = 0.066s 90.07/90.20 c #wall_clock_time = 0.066s 90.07/90.20 c #decision = 9505 90.07/90.20 c #random_decision = 12 90.07/90.20 c #conflict = 10 90.07/90.20 c #restart = 0 90.07/90.20 o 612013 90.27/90.39 c BCD2: updating upper bound: 15126986 -> 612012 90.57/90.63 c BCD2: 15624 <= obj <= 612012 90.57/90.63 c BCD2: #cores=1, #unrelaxed=4675, #relaxed=7325, #hardened=0 90.57/90.63 c BCD2: #sat=2 #unsat=4 bias=4/6 97.26/97.37 c Solving starts ... 97.26/97.37 c ============================[ Search Statistics ]============================ 97.26/97.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 97.26/97.37 c | | | | Limit GC | Var | Constra 97.26/97.37 c ============================================================================= 97.26/97.37 c 0.0s | 0 | 0 | 0 | 7320 0 | 2 | 4 98.16/98.29 c 0.9s | 1 | 5406 | 100 | 8053 0 | 2 | 4 99.46/99.54 c 2.2s | 2 | 15703 | 250 | 8053 0 | 2 | 4 101.56/101.67 c 4.3s | 3 | 20893 | 475 | 8053 0 | 2 | 4 104.16/104.24 c 6.9s | 3 | 37817 | 675 | 8053 0 | 2 | 4 106.06/106.15 c 8.8s | 4 | 38103 | 813 | 8859 0 | 2 | 4 108.36/108.43 c 11.1s | 4 | 43706 | 1013 | 8859 0 | 2 | 4 111.56/111.60 c 14.2s | 4 | 45263 | 1313 | 8859 0 | 2 | 4 111.66/111.74 c 14.4s | 5 | 45329 | 1320 | 8859 0 | 2 | 4 114.37/114.45 c 17.1s | 5 | 51008 | 1520 | 8859 0 | 2 | 4 117.26/117.38 c 20.0s | 5 | 51637 | 1720 | 8859 0 | 2 | 4 119.87/119.94 c 22.6s | 5 | 54970 | 1920 | 8859 0 | 2 | 4 121.66/121.74 c 24.4s | 6 | 55492 | 2081 | 9745 0 | 2 | 4 124.06/124.19 c 26.8s | 6 | 60678 | 2281 | 9745 0 | 2 | 4 126.26/126.37 c 29.0s | 6 | 61680 | 2481 | 9745 0 | 2 | 4 128.67/128.73 c 31.4s | 6 | 62181 | 2681 | 9745 0 | 2 | 4 131.66/131.79 c 34.4s | 6 | 63209 | 2981 | 9745 0 | 2 | 4 134.27/134.34 c 37.0s | 6 | 63685 | 3181 | 9745 0 | 2 | 4 134.86/135.00 c 37.6s | 7 | 63782 | 3223 | 9745 0 | 2 | 4 137.36/137.49 c 40.1s | 7 | 68949 | 3423 | 9745 0 | 2 | 4 139.86/139.97 c 42.6s | 7 | 69527 | 3623 | 9745 0 | 2 | 4 142.26/142.32 c 44.9s | 7 | 70139 | 3823 | 10720 0 | 2 | 4 144.57/144.63 c 47.3s | 7 | 70857 | 4023 | 10720 0 | 2 | 4 146.57/146.64 c 49.3s | 7 | 71442 | 4223 | 10720 0 | 2 | 4 148.67/148.79 c 51.4s | 7 | 72447 | 4423 | 10720 0 | 2 | 4 151.27/151.33 c 54.0s | 7 | 73437 | 4623 | 10720 0 | 2 | 4 153.76/153.85 c 56.5s | 7 | 74247 | 4823 | 10720 0 | 2 | 4 154.86/154.94 c 57.6s | 8 | 74471 | 4936 | 10720 0 | 2 | 4 157.37/157.49 c 60.1s | 8 | 79971 | 5136 | 10720 0 | 2 | 4 159.57/159.66 c 62.3s | 8 | 80544 | 5336 | 10720 0 | 2 | 4 162.36/162.49 c 65.1s | 8 | 81268 | 5536 | 10720 0 | 2 | 4 165.26/165.37 c 68.0s | 8 | 82086 | 5736 | 10720 0 | 2 | 4 167.66/167.70 c 70.3s | 8 | 83109 | 5936 | 10720 0 | 2 | 4 170.66/170.72 c 73.4s | 8 | 84154 | 6236 | 11793 0 | 2 | 4 173.96/174.08 c 76.7s | 8 | 84973 | 6436 | 11793 0 | 2 | 4 176.76/176.89 c 79.5s | 8 | 86376 | 6636 | 11793 0 | 2 | 4 179.66/179.71 c 82.3s | 8 | 87882 | 6936 | 11793 0 | 2 | 4 182.36/182.41 c 85.0s | 8 | 89546 | 7236 | 11793 0 | 2 | 4 186.76/186.84 c 89.5s | 8 | 90500 | 7436 | 11793 0 | 2 | 4 188.36/188.47 c 91.1s | 9 | 90638 | 7506 | 11793 0 | 2 | 4 191.26/191.32 c 93.9s | 9 | 96035 | 7706 | 11793 0 | 2 | 4 194.36/194.47 c 97.1s | 9 | 96781 | 7906 | 11793 0 | 2 | 4 197.16/197.24 c 99.9s | 9 | 97717 | 8106 | 11793 0 | 2 | 4 200.56/200.64 c 103s | 9 | 98600 | 8306 | 11793 0 | 2 | 4 203.26/203.37 c 105s | 9 | 99198 | 8506 | 11793 0 | 2 | 4 205.96/206.09 c 108s | 9 | 100064 | 8706 | 11793 0 | 2 | 4 208.66/208.79 c 111s | 9 | 100741 | 8906 | 11793 0 | 2 | 4 211.45/211.57 c 114s | 9 | 101790 | 9206 | 11793 0 | 2 | 4 214.25/214.38 c 117s | 9 | 102886 | 9406 | 11793 0 | 2 | 4 216.85/216.98 c 119s | 9 | 103559 | 9606 | 11793 0 | 2 | 4 219.55/219.68 c 122s | 9 | 104470 | 9806 | 11793 0 | 2 | 4 222.35/222.40 c 125s | 9 | 105576 | 10006 | 11793 0 | 2 | 4 225.05/225.16 c 127s | 9 | 107083 | 10206 | 12973 0 | 2 | 4 227.45/227.59 c 130s | 9 | 107684 | 10406 | 12973 0 | 2 | 4 229.86/229.91 c 132s | 9 | 108440 | 10606 | 12973 0 | 2 | 4 232.16/232.28 c 134s | 9 | 108823 | 10806 | 12973 0 | 2 | 4 235.36/235.46 c 138s | 9 | 109497 | 11006 | 12973 0 | 2 | 4 238.25/238.32 c 140s | 9 | 110121 | 11206 | 12973 0 | 2 | 4 240.65/240.71 c 143s | 10 | 110627 | 11361 | 12973 0 | 2 | 4 243.95/244.03 c 146s | 10 | 116143 | 11561 | 12973 0 | 2 | 4 246.65/246.73 c 149s | 10 | 116812 | 11761 | 12973 0 | 2 | 4 249.05/249.14 c 151s | 10 | 117731 | 11961 | 12973 0 | 2 | 4 251.35/251.40 c 154s | 10 | 118347 | 12161 | 12973 0 | 2 | 4 254.55/254.69 c 157s | 10 | 119269 | 12461 | 12973 0 | 2 | 4 256.85/256.99 c 159s | 10 | 119852 | 12661 | 12973 0 | 2 | 4 260.35/260.45 c 163s | 10 | 120670 | 12861 | 12973 0 | 2 | 4 263.85/263.93 c 166s | 10 | 121439 | 13061 | 12973 0 | 2 | 4 266.05/266.17 c 168s | 10 | 121723 | 13161 | 12973 0 | 2 | 4 268.65/268.80 c 171s | 10 | 122927 | 13361 | 12973 0 | 2 | 4 270.95/271.07 c 173s | 10 | 123996 | 13561 | 12973 0 | 2 | 4 274.15/274.22 c 176s | 10 | 124591 | 13761 | 12973 0 | 2 | 4 278.14/278.22 c 180s | 10 | 125195 | 13961 | 12973 0 | 2 | 4 281.55/281.68 c 184s | 10 | 125881 | 14161 | 12973 0 | 2 | 4 284.74/284.90 c 187s | 10 | 127148 | 14361 | 12973 0 | 2 | 4 288.15/288.30 c 190s | 10 | 128256 | 14561 | 12973 0 | 2 | 4 291.84/291.96 c 194s | 10 | 129145 | 14761 | 12973 0 | 2 | 4 295.44/295.57 c 198s | 10 | 130156 | 14961 | 12973 0 | 2 | 4 297.74/297.88 c 200s | 10 | 130743 | 15161 | 12973 0 | 2 | 4 300.64/300.73 c 203s | 10 | 131350 | 15361 | 12973 0 | 2 | 4 303.14/303.23 c 205s | 10 | 132386 | 15561 | 12973 0 | 2 | 4 305.24/305.38 c 208s | 10 | 133102 | 15761 | 14271 0 | 2 | 4 307.44/307.50 c 210s | 10 | 133682 | 15961 | 14271 0 | 2 | 4 309.64/309.74 c 212s | 10 | 134117 | 16161 | 14271 0 | 2 | 4 312.24/312.39 c 215s | 10 | 134754 | 16361 | 14271 0 | 2 | 4 314.94/315.06 c 217s | 10 | 135126 | 16561 | 14271 0 | 2 | 4 317.44/317.59 c 220s | 10 | 135786 | 16761 | 14271 0 | 2 | 4 319.84/319.99 c 222s | 10 | 136536 | 16961 | 14271 0 | 2 | 4 322.94/323.02 c 225s | 11 | 137104 | 17144 | 14271 0 | 2 | 4 326.14/326.29 c 228s | 11 | 142421 | 17344 | 14271 1 | 2 | 4 328.84/328.95 c 231s | 11 | 143081 | 17544 | 14271 1 | 2 | 4 331.83/331.99 c 234s | 11 | 143487 | 17644 | 14271 1 | 2 | 4 334.44/334.56 c 237s | 11 | 143797 | 17744 | 14271 1 | 2 | 4 336.83/336.98 c 239s | 11 | 144082 | 17844 | 14271 1 | 2 | 4 339.33/339.44 c 242s | 11 | 144333 | 17944 | 14271 1 | 2 | 4 343.93/344.02 c 246s | 11 | 145168 | 18144 | 14271 1 | 2 | 4 347.64/347.73 c 250s | 11 | 145364 | 18244 | 14271 1 | 2 | 4 349.63/349.79 c 252s | 11 | 146469 | 18444 | 14271 1 | 2 | 4 352.13/352.20 c 254s | 11 | 147384 | 18644 | 14271 1 | 2 | 4 355.93/356.04 c 258s | 11 | 147647 | 18744 | 14271 1 | 2 | 4 358.93/359.03 c 261s | 11 | 148176 | 18844 | 14271 1 | 2 | 4 362.43/362.55 c 265s | 11 | 148719 | 18944 | 14271 1 | 2 | 4 365.03/365.13 c 267s | 11 | 148904 | 19044 | 14271 1 | 2 | 4 368.43/368.58 c 271s | 11 | 149785 | 19144 | 14271 1 | 2 | 4 371.33/371.46 c 274s | 11 | 150296 | 19244 | 14271 1 | 2 | 4 373.63/373.73 c 276s | 11 | 151104 | 19444 | 14271 1 | 2 | 4 376.93/377.02 c 279s | 11 | 154174 | 19644 | 14271 1 | 2 | 4 381.33/381.41 c 284s | 11 | 154366 | 19744 | 14271 1 | 2 | 4 384.33/384.48 c 287s | 11 | 154938 | 19944 | 14271 1 | 2 | 4 386.53/386.67 c 289s | 11 | 155296 | 20044 | 14271 1 | 2 | 4 390.02/390.13 c 292s | 11 | 155913 | 20144 | 14271 1 | 2 | 4 392.52/392.63 c 295s | 11 | 156855 | 20244 | 14271 1 | 2 | 4 396.22/396.37 c 298s | 11 | 157005 | 20344 | 14271 1 | 2 | 4 399.92/400.00 c 302s | 11 | 157486 | 20444 | 14271 1 | 2 | 4 403.73/403.89 c 306s | 11 | 157978 | 20544 | 14271 1 | 2 | 4 406.93/407.07 c 309s | 11 | 158146 | 20644 | 14271 1 | 2 | 4 410.12/410.28 c 312s | 11 | 158833 | 20744 | 14271 1 | 2 | 4 412.82/412.93 c 315s | 11 | 159243 | 20844 | 14271 1 | 2 | 4 417.12/417.25 c 319s | 11 | 159513 | 20944 | 14271 1 | 2 | 4 419.92/420.04 c 322s | 11 | 159943 | 21044 | 14271 1 | 2 | 4 422.12/422.23 c 324s | 11 | 160485 | 21144 | 14271 1 | 2 | 4 425.52/425.60 c 328s | 11 | 161086 | 21344 | 14271 1 | 2 | 4 429.12/429.25 c 331s | 11 | 161768 | 21544 | 14271 1 | 2 | 4 432.82/432.93 c 335s | 11 | 162001 | 21644 | 14271 1 | 2 | 4 435.22/435.36 c 337s | 11 | 162929 | 21844 | 14271 1 | 2 | 4 437.52/437.67 c 340s | 11 | 163637 | 22044 | 14271 1 | 2 | 4 441.32/441.45 c 344s | 11 | 164175 | 22244 | 14271 1 | 2 | 4 444.62/444.72 c 347s | 11 | 164475 | 22344 | 14271 1 | 2 | 4 448.02/448.19 c 350s | 11 | 164677 | 22444 | 14271 1 | 2 | 4 451.11/451.28 c 353s | 11 | 164997 | 22544 | 14271 1 | 2 | 4 453.81/453.96 c 356s | 11 | 165217 | 22644 | 14271 1 | 2 | 4 456.11/456.22 c 358s | 11 | 165418 | 22744 | 14271 1 | 2 | 4 459.61/459.73 c 362s | 11 | 165664 | 22844 | 14271 1 | 2 | 4 462.51/462.64 c 365s | 11 | 165932 | 22944 | 14271 1 | 2 | 4 466.11/466.20 c 368s | 11 | 166464 | 23144 | 14271 1 | 2 | 4 469.72/469.89 c 372s | 11 | 166821 | 23244 | 14271 1 | 2 | 4 473.21/473.30 c 375s | 11 | 167173 | 23344 | 14271 1 | 2 | 4 477.21/477.32 c 379s | 11 | 167520 | 23444 | 14271 1 | 2 | 4 480.31/480.45 c 383s | 11 | 167865 | 23544 | 14271 1 | 2 | 4 484.31/484.42 c 387s | 11 | 168138 | 23644 | 14271 1 | 2 | 4 487.71/487.85 c 390s | 11 | 168776 | 23744 | 14271 1 | 2 | 4 490.71/490.89 c 393s | 11 | 168927 | 23844 | 14271 1 | 2 | 4 492.71/492.90 c 395s | 11 | 169178 | 23944 | 14271 1 | 2 | 4 497.21/497.38 c 400s | 11 | 170069 | 24144 | 14271 1 | 2 | 4 500.41/500.55 c 403s | 11 | 170218 | 24244 | 14271 1 | 2 | 4 503.11/503.23 c 405s | 11 | 170693 | 24344 | 14271 1 | 2 | 4 505.51/505.64 c 408s | 11 | 171354 | 24444 | 15699 1 | 2 | 4 509.21/509.40 c 412s | 11 | 171982 | 24544 | 15699 1 | 2 | 4 511.80/511.99 c 414s | 11 | 173720 | 24844 | 15699 1 | 2 | 4 514.81/514.96 c 417s | 11 | 174290 | 25044 | 15699 1 | 2 | 4 517.01/517.11 c 419s | 11 | 174910 | 25244 | 15699 1 | 2 | 4 520.00/520.18 c 422s | 11 | 175404 | 25444 | 15699 1 | 2 | 4 522.60/522.76 c 425s | 11 | 176495 | 25644 | 15699 1 | 2 | 4 526.20/526.39 c 429s | 11 | 177183 | 25744 | 15699 1 | 2 | 4 529.40/529.50 c 432s | 12 | 177470 | 25819 | 15699 1 | 2 | 4 533.10/533.22 c 435s | 12 | 182376 | 25919 | 15699 2 | 2 | 4 535.71/535.83 c 438s | 12 | 182687 | 26019 | 15699 2 | 2 | 4 540.30/540.42 c 443s | 12 | 183854 | 26319 | 15699 2 | 2 | 4 542.90/543.07 c 445s | 12 | 184500 | 26519 | 15699 2 | 2 | 4 545.00/545.16 c 447s | 12 | 184969 | 26619 | 15699 2 | 2 | 4 548.20/548.36 c 450s | 12 | 185422 | 26719 | 15699 2 | 2 | 4 550.30/550.44 c 453s | 12 | 185849 | 26819 | 15699 2 | 2 | 4 552.70/552.84 c 455s | 12 | 186107 | 26919 | 15699 2 | 2 | 4 555.40/555.52 c 458s | 12 | 186391 | 27019 | 15699 2 | 2 | 4 558.10/558.27 c 460s | 12 | 186623 | 27119 | 15699 2 | 2 | 4 560.70/560.80 c 463s | 12 | 187082 | 27219 | 15699 2 | 2 | 4 566.99/567.10 c 469s | 12 | 187904 | 27419 | 15699 2 | 2 | 4 571.79/571.96 c 474s | 12 | 188098 | 27519 | 15699 2 | 2 | 4 574.99/575.14 c 477s | 12 | 188980 | 27619 | 15699 2 | 2 | 4 578.39/578.59 c 481s | 12 | 189516 | 27719 | 15699 2 | 2 | 4 581.19/581.34 c 483s | 12 | 189860 | 27819 | 15699 2 | 2 | 4 584.00/584.20 c 486s | 12 | 190412 | 27919 | 15699 2 | 2 | 4 587.09/587.29 c 489s | 12 | 190864 | 28019 | 15699 2 | 2 | 4 590.29/590.42 c 493s | 12 | 192153 | 28219 | 15699 2 | 2 | 4 593.19/593.39 c 496s | 12 | 192409 | 28319 | 15699 2 | 2 | 4 595.89/596.07 c 498s | 12 | 192819 | 28419 | 15699 2 | 2 | 4 598.09/598.22 c 500s | 12 | 193267 | 28519 | 15699 2 | 2 | 4 600.69/600.84 c 503s | 12 | 193974 | 28719 | 15699 2 | 2 | 4 605.09/605.24 c 507s | 12 | 194934 | 28919 | 15699 2 | 2 | 4 607.89/608.05 c 510s | 12 | 195332 | 29019 | 15699 2 | 2 | 4 610.69/610.82 c 513s | 12 | 197115 | 29319 | 15699 2 | 2 | 4 613.69/613.84 c 516s | 12 | 198625 | 29519 | 15699 2 | 2 | 4 617.49/617.66 c 520s | 12 | 199080 | 29619 | 15699 2 | 2 | 4 621.19/621.31 c 523s | 12 | 199509 | 29719 | 15699 2 | 2 | 4 624.19/624.35 c 526s | 12 | 200445 | 29919 | 15699 2 | 2 | 4 626.29/626.47 c 529s | 12 | 201442 | 30119 | 15699 2 | 2 | 4 629.99/630.10 c 532s | 12 | 201847 | 30219 | 15699 2 | 2 | 4 634.08/634.25 c 536s | 12 | 202171 | 30319 | 15699 2 | 2 | 4 636.68/636.89 c 539s | 12 | 202663 | 30519 | 15699 2 | 2 | 4 639.18/639.39 c 542s | 12 | 203125 | 30719 | 15699 2 | 2 | 4 643.39/643.58 c 546s | 12 | 203604 | 30919 | 15699 2 | 2 | 4 646.48/646.62 c 549s | 12 | 204450 | 31119 | 15699 2 | 2 | 4 648.99/649.13 c 551s | 12 | 204591 | 31219 | 15699 2 | 2 | 4 651.68/651.86 c 554s | 12 | 204788 | 31319 | 15699 2 | 2 | 4 654.39/654.56 c 557s | 12 | 204983 | 31419 | 15699 2 | 2 | 4 656.98/657.11 c 559s | 12 | 205754 | 31619 | 15699 2 | 2 | 4 659.18/659.39 c 562s | 12 | 205927 | 31719 | 15699 2 | 2 | 4 662.48/662.67 c 565s | 12 | 206600 | 31919 | 15699 2 | 2 | 4 664.78/664.99 c 567s | 12 | 207553 | 32119 | 15699 2 | 2 | 4 667.48/667.64 c 570s | 12 | 209004 | 32319 | 15699 2 | 2 | 4 671.99/672.17 c 574s | 12 | 210317 | 32519 | 15699 2 | 2 | 4 675.28/675.49 c 578s | 12 | 210486 | 32619 | 15699 2 | 2 | 4 678.58/678.76 c 581s | 12 | 211033 | 32819 | 15699 2 | 2 | 4 681.78/682.00 c 584s | 12 | 211951 | 33019 | 15699 2 | 2 | 4 685.38/685.52 c 588s | 12 | 212346 | 33119 | 15699 2 | 2 | 4 688.88/689.09 c 591s | 12 | 212585 | 33219 | 15699 2 | 2 | 4 691.48/691.64 c 594s | 12 | 212890 | 33319 | 15699 2 | 2 | 4 695.18/695.40 c 598s | 12 | 213213 | 33419 | 15699 2 | 2 | 4 700.37/700.56 c 603s | 12 | 213513 | 33519 | 15699 2 | 2 | 4 702.88/703.03 c 605s | 12 | 213777 | 33619 | 15699 2 | 2 | 4 704.98/705.20 c 607s | 12 | 214216 | 33719 | 15699 2 | 2 | 4 707.67/707.87 c 610s | 12 | 214740 | 33819 | 15699 2 | 2 | 4 711.27/711.48 c 614s | 12 | 215155 | 33919 | 15699 2 | 2 | 4 714.37/714.57 c 617s | 12 | 215765 | 34119 | 15699 2 | 2 | 4 718.47/718.63 c 621s | 12 | 216386 | 34319 | 15699 2 | 2 | 4 721.17/721.31 c 623s | 12 | 216612 | 34419 | 15699 2 | 2 | 4 723.78/723.96 c 626s | 12 | 217112 | 34519 | 15699 2 | 2 | 4 726.07/726.23 c 628s | 12 | 217390 | 34619 | 15699 2 | 2 | 4 728.97/729.12 c 631s | 12 | 217942 | 34719 | 15699 2 | 2 | 4 731.27/731.46 c 634s | 12 | 218639 | 34819 | 15699 2 | 2 | 4 736.57/736.71 c 639s | 12 | 219339 | 35019 | 15699 2 | 2 | 4 739.67/739.80 c 642s | 12 | 219750 | 35119 | 15699 2 | 2 | 4 743.87/744.02 c 646s | 12 | 220779 | 35319 | 15699 2 | 2 | 4 746.77/746.99 c 649s | 12 | 221158 | 35419 | 15699 2 | 2 | 4 750.07/750.20 c 652s | 12 | 221499 | 35519 | 15699 2 | 2 | 4 752.67/752.89 c 655s | 12 | 221779 | 35619 | 15699 2 | 2 | 4 756.17/756.31 c 658s | 12 | 222118 | 35719 | 15699 2 | 2 | 4 760.56/760.78 c 663s | 12 | 222756 | 35919 | 15699 2 | 2 | 4 763.06/763.29 c 665s | 12 | 223058 | 36019 | 15699 2 | 2 | 4 769.16/769.36 c 671s | 12 | 223794 | 36219 | 15699 2 | 2 | 4 772.17/772.34 c 674s | 12 | 224685 | 36319 | 15699 2 | 2 | 4 775.26/775.47 c 678s | 12 | 225108 | 36419 | 15699 2 | 2 | 4 777.96/778.17 c 680s | 12 | 225870 | 36619 | 15699 2 | 2 | 4 780.26/780.48 c 683s | 12 | 227292 | 36819 | 15699 2 | 2 | 4 784.27/784.47 c 687s | 12 | 228443 | 37019 | 15699 2 | 2 | 4 786.37/786.56 c 689s | 12 | 229456 | 37219 | 15699 2 | 2 | 4 789.36/789.54 c 692s | 12 | 230069 | 37419 | 17269 2 | 2 | 4 791.97/792.13 c 694s | 12 | 231280 | 37619 | 17269 2 | 2 | 4 794.96/795.18 c 697s | 12 | 232164 | 37819 | 17269 2 | 2 | 4 797.56/797.70 c 700s | 12 | 232894 | 37919 | 17269 2 | 2 | 4 800.26/800.43 c 703s | 12 | 233312 | 38019 | 17269 2 | 2 | 4 803.86/804.02 c 706s | 12 | 233683 | 38119 | 17269 2 | 2 | 4 806.96/807.11 c 709s | 12 | 234067 | 38219 | 17269 2 | 2 | 4 809.76/809.92 c 712s | 12 | 234598 | 38319 | 17269 2 | 2 | 4 814.16/814.37 c 717s | 12 | 235435 | 38519 | 17269 2 | 2 | 4 817.26/817.43 c 720s | 12 | 235859 | 38619 | 17269 2 | 2 | 4 819.95/820.18 c 722s | 12 | 236481 | 38719 | 17269 2 | 2 | 4 821.05/821.29 c 723s | 13 | 236686 | 38832 | 17269 2 | 2 | 4 823.15/823.39 c 726s | 13 | 244187 | 39032 | 17269 3 | 2 | 4 825.96/826.17 c 728s | 13 | 245116 | 39232 | 17269 3 | 2 | 4 828.85/829.08 c 731s | 13 | 245899 | 39432 | 17269 3 | 2 | 4 832.15/832.31 c 734s | 13 | 246323 | 39532 | 17269 3 | 2 | 4 834.65/834.88 c 737s | 13 | 247163 | 39632 | 17269 3 | 2 | 4 836.85/837.00 c 739s | 13 | 247440 | 39732 | 17269 3 | 2 | 4 839.55/839.70 c 742s | 13 | 247885 | 39832 | 17269 3 | 2 | 4 842.35/842.56 c 745s | 13 | 248682 | 39932 | 17269 3 | 2 | 4 844.55/844.78 c 747s | 13 | 248903 | 40032 | 17269 3 | 2 | 4 848.95/849.14 c 751s | 13 | 249651 | 40232 | 17269 3 | 2 | 4 852.65/852.89 c 755s | 13 | 249911 | 40332 | 17269 3 | 2 | 4 854.95/855.10 c 757s | 13 | 250460 | 40432 | 17269 3 | 2 | 4 856.95/857.19 c 759s | 13 | 250700 | 40532 | 17269 3 | 2 | 4 862.05/862.26 c 764s | 13 | 250895 | 40632 | 17269 3 | 2 | 4 865.35/865.56 c 768s | 13 | 251335 | 40732 | 17269 3 | 2 | 4 868.75/869.00 c 771s | 13 | 251870 | 40932 | 17269 3 | 2 | 4 872.05/872.20 c 774s | 13 | 252355 | 41032 | 17269 3 | 2 | 4 874.55/874.79 c 777s | 13 | 252612 | 41132 | 17269 3 | 2 | 4 876.65/876.86 c 779s | 13 | 253324 | 41332 | 17269 3 | 2 | 4 879.65/879.82 c 782s | 13 | 253910 | 41532 | 17269 3 | 2 | 4 882.24/882.49 c 785s | 13 | 254342 | 41632 | 17269 3 | 2 | 4 885.84/886.02 c 788s | 13 | 255210 | 41832 | 17269 3 | 2 | 4 888.04/888.25 c 790s | 13 | 256392 | 42032 | 17269 3 | 2 | 4 892.05/892.26 c 794s | 13 | 258313 | 42332 | 17269 3 | 2 | 4 896.14/896.34 c 798s | 13 | 258479 | 42432 | 17269 3 | 2 | 4 900.34/900.53 c 803s | 13 | 258778 | 42532 | 17269 3 | 2 | 4 903.14/903.32 c 805s | 13 | 259252 | 42632 | 17269 3 | 2 | 4 905.54/905.70 c 808s | 13 | 259463 | 42732 | 17269 3 | 2 | 4 908.94/909.10 c 811s | 13 | 260006 | 42832 | 17269 3 | 2 | 4 911.54/911.76 c 814s | 13 | 260223 | 42932 | 17269 3 | 2 | 4 916.04/916.24 c 818s | 13 | 261195 | 43132 | 17269 3 | 2 | 4 919.34/919.51 c 822s | 13 | 261746 | 43232 | 17269 3 | 2 | 4 921.75/921.92 c 824s | 13 | 262414 | 43332 | 17269 3 | 2 | 4 926.74/926.97 c 829s | 13 | 263121 | 43532 | 17269 3 | 2 | 4 929.74/929.99 c 832s | 13 | 264108 | 43732 | 17269 3 | 2 | 4 932.44/932.61 c 835s | 13 | 264678 | 43932 | 17269 3 | 2 | 4 936.34/936.52 c 839s | 13 | 265247 | 44132 | 17269 3 | 2 | 4 938.64/938.83 c 841s | 13 | 265494 | 44232 | 17269 3 | 2 | 4 942.64/942.82 c 845s | 13 | 266547 | 44432 | 17269 3 | 2 | 4 945.54/945.79 c 848s | 13 | 267010 | 44532 | 17269 3 | 2 | 4 947.84/948.03 c 850s | 13 | 267342 | 44632 | 17269 3 | 2 | 4 950.53/950.75 c 853s | 13 | 268186 | 44832 | 17269 3 | 2 | 4 952.83/953.04 c 855s | 13 | 268693 | 44932 | 17269 3 | 2 | 4 955.84/956.05 c 858s | 13 | 268894 | 45032 | 17269 3 | 2 | 4 959.14/959.31 c 861s | 13 | 269917 | 45232 | 17269 3 | 2 | 4 961.83/962.01 c 864s | 13 | 270556 | 45432 | 17269 3 | 2 | 4 964.83/965.09 c 867s | 13 | 271318 | 45632 | 17269 3 | 2 | 4 970.63/970.81 c 873s | 13 | 272247 | 45832 | 17269 3 | 2 | 4 973.73/973.90 c 876s | 13 | 272582 | 45932 | 17269 3 | 2 | 4 978.94/979.12 c 881s | 13 | 273167 | 46132 | 17269 3 | 2 | 4 983.93/984.14 c 886s | 13 | 273543 | 46332 | 17269 3 | 2 | 4 986.13/986.39 c 889s | 13 | 273787 | 46432 | 17269 3 | 2 | 4 988.33/988.52 c 891s | 13 | 274267 | 46532 | 17269 3 | 2 | 4 991.23/991.45 c 894s | 13 | 274460 | 46632 | 17269 3 | 2 | 4 993.73/993.90 c 896s | 13 | 274836 | 46732 | 17269 3 | 2 | 4 999.03/999.26 c 901s | 13 | 275638 | 46932 | 17269 3 | 2 | 4 1002.23/1002.46 c 905s | 13 | 276654 | 47132 | 17269 3 | 2 | 4 1005.43/1005.67 c 908s | 13 | 277293 | 47232 | 17269 3 | 2 | 4 1008.43/1008.68 c 911s | 13 | 278002 | 47332 | 17269 3 | 2 | 4 1013.63/1013.84 c 916s | 13 | 278873 | 47532 | 17269 3 | 2 | 4 1016.02/1016.28 c 918s | 13 | 279448 | 47732 | 17269 3 | 2 | 4 1018.62/1018.87 c 921s | 13 | 280231 | 47932 | 17269 3 | 2 | 4 1022.72/1022.95 c 925s | 13 | 280470 | 48032 | 17269 3 | 2 | 4 1025.52/1025.74 c 928s | 13 | 280776 | 48132 | 17269 3 | 2 | 4 1028.12/1028.36 c 930s | 13 | 281656 | 48332 | 17269 3 | 2 | 4 1032.02/1032.28 c 934s | 13 | 282174 | 48532 | 17269 3 | 2 | 4 1037.32/1037.55 c 940s | 13 | 283001 | 48732 | 17269 3 | 2 | 4 1041.92/1042.18 c 944s | 13 | 283148 | 48832 | 17269 3 | 2 | 4 1044.12/1044.32 c 946s | 13 | 284029 | 48932 | 17269 3 | 2 | 4 1048.72/1048.93 c 951s | 13 | 284190 | 49032 | 17269 3 | 2 | 4 1052.63/1052.88 c 955s | 13 | 284480 | 49132 | 17269 3 | 2 | 4 1057.13/1057.35 c 959s | 13 | 284711 | 49232 | 17269 3 | 2 | 4 1059.53/1059.72 c 962s | 13 | 285207 | 49332 | 17269 3 | 2 | 4 1062.23/1062.48 c 965s | 13 | 285376 | 49432 | 17269 3 | 2 | 4 1065.13/1065.39 c 968s | 13 | 285844 | 49532 | 17269 3 | 2 | 4 1068.13/1068.36 c 970s | 13 | 286713 | 49732 | 17269 3 | 2 | 4 1071.33/1071.54 c 974s | 13 | 287167 | 49932 | 17269 3 | 2 | 4 1074.22/1074.49 c 977s | 13 | 287596 | 50132 | 17269 3 | 2 | 4 1077.02/1077.22 c 979s | 13 | 287847 | 50232 | 17269 3 | 2 | 4 1081.02/1081.22 c 983s | 13 | 288217 | 50332 | 17269 3 | 2 | 4 1083.92/1084.10 c 986s | 13 | 288475 | 50432 | 17269 3 | 2 | 4 1086.42/1086.62 c 989s | 13 | 289154 | 50632 | 17269 4 | 2 | 4 1089.93/1090.17 c 992s | 13 | 290562 | 50832 | 17269 4 | 2 | 4 1093.62/1093.83 c 996s | 13 | 290833 | 50932 | 17269 4 | 2 | 4 1098.73/1098.91 c 1001s | 13 | 292070 | 51132 | 17269 4 | 2 | 4 1101.82/1102.08 c 1004s | 13 | 292698 | 51232 | 17269 4 | 2 | 4 1105.33/1105.55 c 1008s | 13 | 292966 | 51332 | 17269 4 | 2 | 4 1107.72/1107.94 c 1010s | 13 | 293641 | 51532 | 17269 4 | 2 | 4 1111.62/1111.84 c 1014s | 13 | 294233 | 51732 | 17269 4 | 2 | 4 1114.02/1114.30 c 1016s | 13 | 294602 | 51832 | 17269 4 | 2 | 4 1117.02/1117.27 c 1019s | 13 | 294835 | 51932 | 17269 4 | 2 | 4 1120.32/1120.52 c 1023s | 13 | 295175 | 52032 | 17269 4 | 2 | 4 1122.92/1123.18 c 1025s | 13 | 295573 | 52132 | 17269 4 | 2 | 4 1125.22/1125.48 c 1028s | 13 | 296363 | 52332 | 17269 4 | 2 | 4 1127.42/1127.62 c 1030s | 13 | 296603 | 52432 | 17269 4 | 2 | 4 1130.22/1130.48 c 1033s | 13 | 296801 | 52532 | 17269 4 | 2 | 4 1133.12/1133.31 c 1035s | 13 | 297049 | 52632 | 17269 4 | 2 | 4 1135.12/1135.36 c 1037s | 13 | 297408 | 52732 | 17269 4 | 2 | 4 1139.11/1139.33 c 1041s | 13 | 298746 | 52932 | 17269 4 | 2 | 4 1142.01/1142.26 c 1044s | 13 | 300145 | 53132 | 17269 4 | 2 | 4 1144.61/1144.88 c 1047s | 13 | 301369 | 53332 | 17269 4 | 2 | 4 1147.01/1147.30 c 1049s | 13 | 302278 | 53432 | 17269 4 | 2 | 4 1149.91/1150.16 c 1052s | 13 | 302544 | 53532 | 17269 4 | 2 | 4 1152.21/1152.47 c 1055s | 13 | 302750 | 53632 | 17269 4 | 2 | 4 1154.31/1154.58 c 1057s | 13 | 303281 | 53732 | 17269 4 | 2 | 4 1157.02/1157.30 c 1059s | 13 | 304029 | 53832 | 17269 4 | 2 | 4 1160.11/1160.35 c 1062s | 13 | 304697 | 53932 | 17269 4 | 2 | 4 1162.52/1162.74 c 1065s | 13 | 305347 | 54032 | 17269 4 | 2 | 4 1166.61/1166.83 c 1069s | 13 | 306081 | 54232 | 17269 4 | 2 | 4 1170.11/1170.33 c 1072s | 13 | 306326 | 54332 | 17269 4 | 2 | 4 1172.42/1172.69 c 1075s | 13 | 307563 | 54532 | 17269 4 | 2 | 4 1174.62/1174.89 c 1077s | 13 | 307778 | 54632 | 17269 4 | 2 | 4 1178.21/1178.40 c 1081s | 13 | 308079 | 54732 | 17269 4 | 2 | 4 1182.31/1182.55 c 1085s | 13 | 308404 | 54832 | 17269 4 | 2 | 4 1185.41/1185.61 c 1088s | 13 | 308691 | 54932 | 17269 4 | 2 | 4 1187.71/1187.91 c 1090s | 13 | 309475 | 55132 | 17269 4 | 2 | 4 1190.61/1190.85 c 1093s | 13 | 310370 | 55432 | 17269 4 | 2 | 4 1194.51/1194.79 c 1097s | 13 | 311059 | 55632 | 17269 4 | 2 | 4 1198.31/1198.56 c 1101s | 13 | 312265 | 55832 | 17269 4 | 2 | 4 1200.81/1201.09 c 1103s | 13 | 313168 | 56032 | 17269 4 | 2 | 4 1203.41/1203.65 c 1106s | 13 | 314213 | 56232 | 17269 4 | 2 | 4 1205.80/1206.04 c 1108s | 13 | 315366 | 56432 | 17269 4 | 2 | 4 1208.60/1208.90 c 1111s | 13 | 316956 | 56732 | 18996 4 | 2 | 4 1211.80/1212.07 c 1114s | 13 | 318030 | 56932 | 18996 4 | 2 | 4 1214.50/1214.73 c 1117s | 13 | 318350 | 57032 | 18996 4 | 2 | 4 1217.00/1217.25 c 1119s | 13 | 318800 | 57132 | 18996 4 | 2 | 4 1219.20/1219.48 c 1122s | 13 | 319824 | 57332 | 18996 4 | 2 | 4 1223.50/1223.73 c 1126s | 13 | 320747 | 57532 | 18996 4 | 2 | 4 1226.80/1227.08 c 1129s | 13 | 321432 | 57732 | 18996 4 | 2 | 4 1229.90/1230.17 c 1132s | 13 | 321822 | 57932 | 18996 4 | 2 | 4 1234.11/1234.32 c 1136s | 13 | 322219 | 58132 | 18996 4 | 2 | 4 1236.80/1237.02 c 1139s | 13 | 322479 | 58232 | 18996 4 | 2 | 4 1238.60/1238.83 c 1141s | 14 | 322833 | 58352 | 18996 4 | 2 | 4 1241.30/1241.52 c 1144s | 14 | 328072 | 58552 | 18996 5 | 2 | 4 1244.30/1244.58 c 1147s | 14 | 328631 | 58652 | 18996 5 | 2 | 4 1246.90/1247.13 c 1149s | 14 | 328909 | 58752 | 18996 5 | 2 | 4 1249.70/1249.94 c 1152s | 14 | 329184 | 58852 | 18996 5 | 2 | 4 1252.40/1252.60 c 1155s | 14 | 332286 | 59152 | 18996 5 | 2 | 4 1255.29/1255.51 c 1158s | 14 | 333042 | 59352 | 18996 5 | 2 | 4 1258.79/1259.03 c 1161s | 14 | 335176 | 59652 | 18996 5 | 2 | 4 1260.99/1261.24 c 1163s | 14 | 335882 | 59852 | 18996 5 | 2 | 4 1263.39/1263.64 c 1166s | 14 | 336792 | 60052 | 18996 5 | 2 | 4 1265.49/1265.74 c 1168s | 14 | 337139 | 60252 | 18996 5 | 2 | 4 1267.89/1268.16 c 1170s | 14 | 337896 | 60452 | 18996 5 | 2 | 4 1270.89/1271.15 c 1173s | 14 | 338472 | 60652 | 18996 5 | 2 | 4 1273.29/1273.53 c 1176s | 14 | 338959 | 60852 | 18996 5 | 2 | 4 1275.90/1276.17 c 1178s | 14 | 339798 | 61052 | 18996 5 | 2 | 4 1279.19/1279.44 c 1182s | 14 | 340360 | 61252 | 18996 5 | 2 | 4 1282.19/1282.40 c 1185s | 14 | 341368 | 61452 | 18996 5 | 2 | 4 1286.09/1286.35 c 1188s | 14 | 341861 | 61652 | 18996 5 | 2 | 4 1289.59/1289.85 c 1192s | 14 | 342689 | 61852 | 18996 5 | 2 | 4 1292.79/1293.06 c 1195s | 14 | 343306 | 62052 | 18996 5 | 2 | 4 1295.19/1295.49 c 1198s | 14 | 343934 | 62252 | 18996 5 | 2 | 4 1299.08/1299.33 c 1201s | 14 | 345011 | 62452 | 18996 5 | 2 | 4 1301.38/1301.66 c 1204s | 14 | 345402 | 62552 | 18996 5 | 2 | 4 1304.08/1304.34 c 1206s | 14 | 346184 | 62752 | 18996 5 | 2 | 4 1308.18/1308.41 c 1211s | 14 | 346790 | 62952 | 18996 5 | 2 | 4 1311.18/1311.46 c 1214s | 14 | 347148 | 63052 | 18996 5 | 2 | 4 1314.48/1314.75 c 1217s | 14 | 348448 | 63252 | 18996 5 | 2 | 4 1317.18/1317.47 c 1220s | 14 | 348703 | 63352 | 18996 5 | 2 | 4 1319.58/1319.90 c 1222s | 14 | 349360 | 63452 | 18996 5 | 2 | 4 1322.18/1322.42 c 1225s | 14 | 349791 | 63552 | 18996 5 | 2 | 4 1324.98/1325.22 c 1227s | 14 | 350603 | 63752 | 18996 5 | 2 | 4 1327.49/1327.74 c 1230s | 14 | 350962 | 63852 | 18996 5 | 2 | 4 1330.18/1330.44 c 1233s | 14 | 351231 | 63952 | 18996 5 | 2 | 4 1332.28/1332.59 c 1235s | 14 | 351451 | 64052 | 18996 5 | 2 | 4 1336.78/1337.02 c 1239s | 14 | 352162 | 64252 | 18996 5 | 2 | 4 1338.88/1339.11 c 1241s | 14 | 352541 | 64352 | 18996 5 | 2 | 4 1341.98/1342.21 c 1244s | 14 | 353082 | 64552 | 18996 5 | 2 | 4 1345.58/1345.85 c 1248s | 14 | 353644 | 64752 | 18996 5 | 2 | 4 1348.98/1349.29 c 1251s | 14 | 354024 | 64852 | 18996 5 | 2 | 4 1351.98/1352.24 c 1254s | 14 | 354379 | 64952 | 18996 5 | 2 | 4 1355.58/1355.86 c 1258s | 14 | 354632 | 65052 | 18996 5 | 2 | 4 1358.97/1359.22 c 1261s | 14 | 355317 | 65252 | 18996 5 | 2 | 4 1361.68/1361.98 c 1264s | 14 | 355706 | 65352 | 18996 5 | 2 | 4 1364.27/1364.54 c 1267s | 14 | 356485 | 65452 | 18996 5 | 2 | 4 1366.77/1367.07 c 1269s | 14 | 356795 | 65552 | 18996 5 | 2 | 4 1369.67/1369.91 c 1272s | 14 | 357815 | 65752 | 18996 5 | 2 | 4 1373.07/1373.33 c 1275s | 14 | 358069 | 65852 | 18996 5 | 2 | 4 1375.47/1375.75 c 1278s | 14 | 358515 | 65952 | 18996 5 | 2 | 4 1379.37/1379.65 c 1282s | 14 | 358744 | 66052 | 18996 5 | 2 | 4 1381.67/1381.94 c 1284s | 14 | 358962 | 66152 | 18996 5 | 2 | 4 1383.87/1384.14 c 1286s | 14 | 360086 | 66352 | 18996 5 | 2 | 4 1386.88/1387.16 c 1289s | 14 | 360351 | 66452 | 18996 5 | 2 | 4 1388.87/1389.18 c 1291s | 14 | 360901 | 66652 | 18996 5 | 2 | 4 1391.77/1392.06 c 1294s | 14 | 361372 | 66752 | 18996 5 | 2 | 4 1394.17/1394.49 c 1297s | 14 | 361681 | 66852 | 18996 5 | 2 | 4 1396.47/1396.78 c 1299s | 14 | 362667 | 67152 | 18996 5 | 2 | 4 1400.07/1400.36 c 1302s | 14 | 363683 | 67352 | 18996 5 | 2 | 4 1402.57/1402.83 c 1305s | 14 | 364374 | 67552 | 18996 5 | 2 | 4 1404.97/1405.20 c 1307s | 14 | 364576 | 67652 | 18996 5 | 2 | 4 1407.67/1407.92 c 1310s | 14 | 364947 | 67752 | 18996 5 | 2 | 4 1410.07/1410.36 c 1312s | 14 | 365683 | 67952 | 18996 5 | 2 | 4 1412.77/1413.07 c 1315s | 14 | 365928 | 68052 | 18996 5 | 2 | 4 1414.86/1415.14 c 1317s | 14 | 366765 | 68252 | 18996 5 | 2 | 4 1417.06/1417.31 c 1319s | 14 | 367411 | 68452 | 18996 5 | 2 | 4 1420.56/1420.86 c 1323s | 14 | 367961 | 68652 | 18996 5 | 2 | 4 1422.96/1423.25 c 1325s | 14 | 368399 | 68752 | 18996 5 | 2 | 4 1426.57/1426.82 c 1329s | 14 | 368718 | 68852 | 18996 5 | 2 | 4 1428.86/1429.17 c 1331s | 14 | 369016 | 68952 | 18996 5 | 2 | 4 1431.56/1431.84 c 1334s | 14 | 369828 | 69152 | 18996 5 | 2 | 4 1434.16/1434.44 c 1337s | 14 | 370403 | 69252 | 18996 5 | 2 | 4 1436.86/1437.15 c 1339s | 14 | 370647 | 69352 | 18996 5 | 2 | 4 1439.56/1439.86 c 1342s | 14 | 371382 | 69552 | 18996 5 | 2 | 4 1442.06/1442.32 c 1344s | 14 | 371930 | 69652 | 18996 5 | 2 | 4 1444.65/1444.98 c 1347s | 14 | 372707 | 69852 | 18996 5 | 2 | 4 1447.85/1448.14 c 1350s | 14 | 373397 | 70052 | 18996 5 | 2 | 4 1450.85/1451.13 c 1353s | 14 | 374058 | 70252 | 18996 5 | 2 | 4 1453.96/1454.22 c 1356s | 14 | 374709 | 70452 | 18996 5 | 2 | 4 1459.05/1459.32 c 1361s | 14 | 375509 | 70652 | 18996 5 | 2 | 4 1461.45/1461.74 c 1364s | 14 | 375801 | 70752 | 18996 5 | 2 | 4 1463.45/1463.77 c 1366s | 14 | 376653 | 70952 | 18996 5 | 2 | 4 1468.04/1468.31 c 1370s | 14 | 377357 | 71152 | 18996 5 | 2 | 4 1472.04/1472.34 c 1374s | 14 | 377573 | 71252 | 18996 5 | 2 | 4 1474.04/1474.37 c 1376s | 14 | 377831 | 71352 | 18996 5 | 2 | 4 1476.64/1476.98 c 1379s | 14 | 378597 | 71552 | 18996 5 | 2 | 4 1479.34/1479.62 c 1382s | 14 | 378815 | 71652 | 18996 5 | 2 | 4 1482.13/1482.50 c 1385s | 14 | 379296 | 71852 | 18996 5 | 2 | 4 1485.23/1485.59 c 1388s | 14 | 379659 | 72052 | 18996 5 | 2 | 4 1489.93/1490.29 c 1392s | 14 | 380294 | 72252 | 18996 5 | 2 | 4 1492.54/1492.82 c 1395s | 14 | 381067 | 72352 | 18996 5 | 2 | 4 1495.12/1495.48 c 1398s | 14 | 381374 | 72452 | 18996 5 | 2 | 4 1498.92/1499.21 c 1401s | 14 | 382270 | 72652 | 18996 5 | 2 | 4 1503.43/1503.76 c 1406s | 14 | 383451 | 72852 | 18996 5 | 2 | 4 1505.73/1506.07 c 1408s | 14 | 383819 | 72952 | 18996 5 | 2 | 4 1510.22/1510.59 c 1413s | 14 | 384339 | 73152 | 18996 5 | 2 | 4 1513.12/1513.49 c 1416s | 14 | 385795 | 73452 | 18996 5 | 2 | 4 1516.42/1516.72 c 1419s | 14 | 386615 | 73652 | 18996 5 | 2 | 4 1518.72/1519.06 c 1421s | 14 | 386780 | 73752 | 18996 6 | 2 | 4 1522.02/1522.30 c 1424s | 14 | 387985 | 74052 | 18996 6 | 2 | 4 1524.82/1525.18 c 1427s | 14 | 388220 | 74152 | 18996 6 | 2 | 4 1526.92/1527.23 c 1429s | 14 | 388638 | 74252 | 18996 6 | 2 | 4 1529.22/1529.56 c 1432s | 14 | 389110 | 74452 | 18996 6 | 2 | 4 1531.42/1531.79 c 1434s | 14 | 389368 | 74552 | 18996 6 | 2 | 4 1533.92/1534.20 c 1436s | 14 | 390176 | 74752 | 18996 6 | 2 | 4 1537.72/1538.06 c 1440s | 14 | 390753 | 74952 | 18996 6 | 2 | 4 1540.92/1541.22 c 1443s | 14 | 391518 | 75152 | 18996 6 | 2 | 4 1544.91/1545.20 c 1447s | 14 | 391941 | 75352 | 18996 6 | 2 | 4 1547.21/1547.57 c 1450s | 14 | 392476 | 75552 | 18996 6 | 2 | 4 1550.01/1550.31 c 1452s | 14 | 393596 | 75852 | 18996 6 | 2 | 4 1552.01/1552.36 c 1454s | 14 | 394306 | 76052 | 18996 6 | 2 | 4 1555.41/1555.78 c 1458s | 14 | 394932 | 76252 | 18996 6 | 2 | 4 1557.91/1558.22 c 1460s | 14 | 395902 | 76452 | 18996 6 | 2 | 4 1559.90/1560.29 c 1462s | 14 | 396212 | 76552 | 18996 6 | 2 | 4 1562.40/1562.73 c 1465s | 14 | 396480 | 76652 | 18996 6 | 2 | 4 1564.60/1564.92 c 1467s | 14 | 396876 | 76752 | 18996 6 | 2 | 4 1566.90/1567.21 c 1469s | 14 | 397115 | 76852 | 18996 6 | 2 | 4 1570.51/1570.90 c 1473s | 14 | 397708 | 77052 | 18996 6 | 2 | 4 1573.40/1573.78 c 1476s | 14 | 397862 | 77152 | 18996 6 | 2 | 4 1575.90/1576.22 c 1478s | 14 | 398150 | 77252 | 18996 6 | 2 | 4 1578.40/1578.74 c 1481s | 14 | 398373 | 77352 | 18996 6 | 2 | 4 1581.40/1581.76 c 1484s | 14 | 399416 | 77652 | 18996 6 | 2 | 4 1583.40/1583.79 c 1486s | 14 | 400054 | 77852 | 18996 6 | 2 | 4 1586.30/1586.60 c 1489s | 14 | 400744 | 78152 | 18996 6 | 2 | 4 1588.70/1589.06 c 1491s | 14 | 401822 | 78452 | 18996 6 | 2 | 4 1590.90/1591.21 c 1493s | 14 | 402605 | 78752 | 18996 6 | 2 | 4 1593.00/1593.33 c 1495s | 14 | 403426 | 79052 | 18996 6 | 2 | 4 1595.40/1595.76 c 1498s | 14 | 404536 | 79452 | 18996 6 | 2 | 4 1597.90/1598.29 c 1500s | 14 | 405753 | 79852 | 18996 6 | 2 | 4 1600.60/1600.98 c 1503s | 14 | 406591 | 80052 | 18996 6 | 2 | 4 1603.10/1603.45 c 1506s | 14 | 407265 | 80252 | 18996 6 | 2 | 4 1607.10/1607.47 c 1510s | 14 | 407763 | 80452 | 18996 6 | 2 | 4 1612.00/1612.35 c 1514s | 14 | 408624 | 80652 | 18996 6 | 2 | 4 1614.79/1615.13 c 1517s | 14 | 408784 | 80752 | 18996 6 | 2 | 4 1617.29/1617.62 c 1520s | 14 | 408962 | 80852 | 18996 6 | 2 | 4 1619.79/1620.20 c 1522s | 14 | 409639 | 80952 | 18996 6 | 2 | 4 1622.20/1622.52 c 1525s | 14 | 409831 | 81052 | 18996 6 | 2 | 4 1624.40/1624.72 c 1527s | 14 | 410174 | 81152 | 18996 6 | 2 | 4 1626.79/1627.16 c 1529s | 14 | 410665 | 81252 | 18996 6 | 2 | 4 1629.19/1629.57 c 1532s | 14 | 410848 | 81352 | 18996 6 | 2 | 4 1631.69/1632.02 c 1534s | 14 | 411703 | 81552 | 18996 6 | 2 | 4 1634.59/1634.90 c 1537s | 14 | 413142 | 81852 | 18996 6 | 2 | 4 1636.89/1637.21 c 1539s | 14 | 413535 | 82052 | 18996 6 | 2 | 4 1639.19/1639.58 c 1542s | 14 | 414125 | 82352 | 18996 6 | 2 | 4 1641.59/1641.98 c 1544s | 14 | 415093 | 82652 | 18996 6 | 2 | 4 1644.30/1644.62 c 1547s | 14 | 416164 | 82952 | 18996 6 | 2 | 4 1647.79/1648.14 c 1550s | 14 | 417482 | 83152 | 18996 6 | 2 | 4 1650.69/1651.10 c 1553s | 14 | 417695 | 83252 | 18996 6 | 2 | 4 1654.59/1654.94 c 1557s | 14 | 418293 | 83452 | 18996 6 | 2 | 4 1656.69/1657.02 c 1559s | 14 | 418602 | 83552 | 18996 6 | 2 | 4 1658.99/1659.32 c 1561s | 14 | 419073 | 83652 | 18996 6 | 2 | 4 1661.49/1661.82 c 1564s | 14 | 419225 | 83752 | 18996 6 | 2 | 4 1663.99/1664.32 c 1566s | 14 | 419938 | 83852 | 18996 6 | 2 | 4 1666.48/1666.82 c 1569s | 14 | 420111 | 83952 | 18996 6 | 2 | 4 1668.98/1669.35 c 1571s | 14 | 420470 | 84052 | 18996 6 | 2 | 4 1671.69/1672.04 c 1574s | 14 | 421217 | 84152 | 18996 6 | 2 | 4 1673.78/1674.16 c 1576s | 14 | 421489 | 84252 | 18996 6 | 2 | 4 1675.88/1676.29 c 1578s | 14 | 421904 | 84352 | 18996 6 | 2 | 4 1678.78/1679.18 c 1581s | 14 | 422124 | 84452 | 18996 6 | 2 | 4 1681.18/1681.51 c 1584s | 14 | 422481 | 84552 | 18996 6 | 2 | 4 1683.38/1683.76 c 1586s | 14 | 422719 | 84652 | 18996 6 | 2 | 4 1686.08/1686.48 c 1589s | 14 | 422906 | 84752 | 18996 6 | 2 | 4 1688.77/1689.10 c 1591s | 14 | 423996 | 85052 | 18996 6 | 2 | 4 1691.07/1691.44 c 1594s | 14 | 425073 | 85352 | 18996 6 | 2 | 4 1694.07/1694.43 c 1597s | 14 | 426326 | 85652 | 18996 7 | 2 | 4 1697.47/1697.88 c 1600s | 14 | 428120 | 85952 | 20896 7 | 2 | 4 1699.67/1700.06 c 1602s | 14 | 428982 | 86152 | 20896 7 | 2 | 4 1702.47/1702.87 c 1605s | 14 | 429418 | 86352 | 20896 7 | 2 | 4 1705.16/1705.53 c 1608s | 14 | 429606 | 86452 | 20896 7 | 2 | 4 1707.16/1707.59 c 1610s | 14 | 430251 | 86652 | 20896 7 | 2 | 4 1710.56/1710.92 c 1613s | 14 | 430803 | 86852 | 20896 7 | 2 | 4 1712.76/1713.12 c 1615s | 14 | 431172 | 86952 | 20896 7 | 2 | 4 1717.06/1717.43 c 1620s | 14 | 431632 | 87152 | 20896 7 | 2 | 4 1719.26/1719.60 c 1622s | 14 | 432214 | 87352 | 20896 7 | 2 | 4 1721.96/1722.35 c 1624s | 15 | 434178 | 87632 | 20896 7 | 2 | 4 1724.16/1724.52 c 1627s | 15 | 440088 | 87932 | 20896 7 | 2 | 4 1726.86/1727.22 c 1629s | 15 | 440795 | 88132 | 20896 7 | 2 | 4 1730.66/1731.07 c 1633s | 15 | 441297 | 88332 | 20896 7 | 2 | 4 1733.46/1733.88 c 1636s | 15 | 441966 | 88532 | 20896 7 | 2 | 4 1736.06/1736.46 c 1639s | 15 | 442513 | 88732 | 20896 7 | 2 | 4 1738.26/1738.69 c 1641s | 15 | 442731 | 88832 | 20896 7 | 2 | 4 1741.16/1741.54 c 1644s | 15 | 443229 | 89032 | 20896 7 | 2 | 4 1743.56/1743.97 c 1646s | 15 | 443660 | 89232 | 20896 7 | 2 | 4 1745.86/1746.20 c 1648s | 15 | 444047 | 89332 | 20896 7 | 2 | 4 1749.15/1749.56 c 1652s | 15 | 444496 | 89532 | 20896 7 | 2 | 4 1751.75/1752.19 c 1654s | 15 | 444767 | 89632 | 20896 7 | 2 | 4 1753.85/1754.23 c 1656s | 15 | 445142 | 89732 | 20896 7 | 2 | 4 1756.55/1756.96 c 1659s | 15 | 445628 | 89932 | 20896 7 | 2 | 4 1758.75/1759.17 c 1661s | 15 | 446375 | 90132 | 20896 7 | 2 | 4 1760.86/1761.28 c 1663s | 15 | 447058 | 90332 | 20896 7 | 2 | 4 1763.15/1763.52 c 1666s | 15 | 448042 | 90532 | 20896 7 | 2 | 4 1765.35/1765.72 c 1668s | 15 | 448789 | 90732 | 20896 7 | 2 | 4 1768.35/1768.73 c 1671s | 15 | 449961 | 90932 | 20896 7 | 2 | 4 1771.95/1772.31 c 1674s | 15 | 450603 | 91132 | 20896 7 | 2 | 4 1774.95/1775.32 c 1677s | 15 | 450914 | 91232 | 20896 7 | 2 | 4 1778.05/1778.45 c 1681s | 15 | 451256 | 91332 | 20896 7 | 2 | 4 1780.56/1780.96 c 1683s | 15 | 451493 | 91432 | 20896 7 | 2 | 4 1782.55/1782.99 c 1685s | 15 | 451705 | 91532 | 20896 7 | 2 | 4 1784.65/1785.04 c 1687s | 15 | 451992 | 91632 | 20896 7 | 2 | 4 1787.65/1788.06 c 1690s | 15 | 452934 | 91932 | 20896 7 | 2 | 4 1789.85/1790.20 c 1692s | 15 | 454778 | 92232 | 20896 7 | 2 | 4 1793.15/1793.58 c 1696s | 15 | 456274 | 92432 | 20896 7 | 2 | 4 1796.95/1797.30 c 1699s | 15 | 457030 | 92632 | 20896 7 | 2 | 4
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-4107078-1466282044/watcher-4107078-1466282044 -o /tmp/evaluation-result-4107078-1466282044/solver-4107078-1466282044 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466276409-24423 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107078-1466282044.opb pid=25224 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.14 2.11 2.08 3/179 25227 /proc/meminfo: memFree=30012560/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=393660 CPUtime=0 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 1407 0 0 0 0 0 0 0 20 0 4 0 30250014 403107840 2279 33554432000 4194304 16246674 140735024606352 140735024605776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25227/statm: 98927 2289 441 2943 0 95821 0 [pid=25227/tid=25228] ppid=25224 vsize=410044 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 419885056 2344 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=414140 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 424079360 2361 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=418236 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 428273664 2377 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100123 s] /proc/loadavg: 2.14 2.11 2.08 3/179 25227 /proc/meminfo: memFree=30012560/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 26014 0 0 0 5 4 0 0 20 0 4 0 30250014 1333334016 26825 33554432000 4194304 16246674 140735024606352 140735024605664 7371468 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25227/statm: 325521 26839 799 2943 0 322415 0 [pid=25227/tid=25228] ppid=25224 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1333334016 26848 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1333334016 26856 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1333334016 26856 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200447 s] /proc/loadavg: 2.14 2.11 2.08 3/179 25227 /proc/meminfo: memFree=30012560/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1303108 CPUtime=0.19 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 45287 0 0 0 12 7 0 0 20 0 4 0 30250014 1334382592 46097 33554432000 4194304 16246674 140735024606352 140735024605664 13769568 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25227/statm: 325777 46097 835 2943 0 322671 0 [pid=25227/tid=25228] ppid=25224 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1334382592 46097 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1334382592 46097 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1334382592 46097 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1303108 [startup+0.300422 s] /proc/loadavg: 2.14 2.11 2.08 3/179 25227 /proc/meminfo: memFree=30012560/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1310276 CPUtime=0.28 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 63859 0 0 0 19 9 0 0 20 0 4 0 30250014 1341722624 64670 33554432000 4194304 16246674 140735024606352 140735024605664 4221105 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25227/statm: 327569 64673 854 2943 0 324463 0 [pid=25227/tid=25228] ppid=25224 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1341722624 64675 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1341722624 64678 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1341722624 64681 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1310276 [startup+0.700398 s] /proc/loadavg: 2.14 2.11 2.08 3/179 25227 /proc/meminfo: memFree=30012560/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1323588 CPUtime=0.69 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 73512 0 0 0 58 11 0 0 20 0 4 0 30250014 1355354112 74322 33554432000 4194304 16246674 140735024606352 140735024588224 5602147 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25227/statm: 330897 74326 883 2943 0 327791 0 [pid=25227/tid=25228] ppid=25224 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1355354112 74330 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1355354112 74332 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1355354112 74334 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1323588 [startup+1.50038 s] /proc/loadavg: 2.13 2.10 2.08 3/183 25231 /proc/meminfo: memFree=29488088/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1323588 CPUtime=1.49 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 132692 0 0 0 130 19 0 0 20 0 4 0 30250014 1355354112 133502 33554432000 4194304 16246674 140735024606352 140735024588224 12652957 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25227/statm: 330897 133502 911 2943 0 327791 0 [pid=25227/tid=25228] ppid=25224 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1355354112 133502 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1355354112 133502 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1355354112 133502 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1323588 [startup+3.10039 s] /proc/loadavg: 2.13 2.10 2.08 3/183 25231 /proc/meminfo: memFree=29019244/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1394244 CPUtime=3.08 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 289550 0 0 0 268 40 0 0 20 0 4 0 30250014 1427705856 290360 33554432000 4194304 16246674 140735024606352 140735024588224 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25227/statm: 348561 290360 911 2943 0 345455 0 [pid=25227/tid=25228] ppid=25224 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1427705856 290360 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1427705856 290360 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1427705856 290360 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1394244 [startup+6.30038 s] /proc/loadavg: 2.12 2.10 2.08 3/183 25231 /proc/meminfo: memFree=28850236/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1394244 CPUtime=6.28 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 289767 0 0 0 588 40 0 0 20 0 4 0 30250014 1427705856 290577 33554432000 4194304 16246674 140735024606352 140735024605664 12371164 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25227/statm: 348561 290577 911 2943 0 345455 0 [pid=25227/tid=25228] ppid=25224 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1427705856 290577 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1427705856 290577 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1427705856 290577 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1394244 [startup+12.7004 s] /proc/loadavg: 2.11 2.10 2.08 3/183 25231 /proc/meminfo: memFree=28850148/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1394244 CPUtime=12.68 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 289767 0 0 0 1228 40 0 0 20 0 4 0 30250014 1427705856 290577 33554432000 4194304 16246674 140735024606352 140735024604160 4225301 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25227/statm: 348561 290577 911 2943 0 345455 0 [pid=25227/tid=25228] ppid=25224 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1427705856 290577 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1427705856 290577 33554432000 4194304 16246674 140735024606352 139795460234256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1394244 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1427705856 290577 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1394244 [startup+25.5005 s] /proc/loadavg: 2.17 2.11 2.08 3/183 25231 /proc/meminfo: memFree=28742764/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1496644 CPUtime=25.48 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 315367 0 0 0 2504 44 0 0 20 0 4 0 30250014 1532563456 316177 33554432000 4194304 16246674 140735024606352 140735024605664 4206959 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25227/statm: 374161 316177 911 2943 0 371055 0 [pid=25227/tid=25228] ppid=25224 vsize=1496644 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1532563456 316177 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1496644 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1532563456 316177 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1496644 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1532563456 316177 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1496644 [startup+51.1005 s] /proc/loadavg: 2.10 2.10 2.08 3/183 25231 /proc/meminfo: memFree=28522200/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1685060 CPUtime=51.08 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 362473 0 0 0 5058 50 0 0 20 0 4 0 30250014 1725501440 363283 33554432000 4194304 16246674 140735024606352 140735024605664 12654032 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25227/statm: 421265 363283 912 2943 0 418159 0 [pid=25227/tid=25228] ppid=25224 vsize=1685060 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1725501440 363283 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1685060 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1725501440 363283 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1685060 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1725501440 363283 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1685060 [startup+102.3 s] /proc/loadavg: 2.09 2.10 2.08 3/183 25232 /proc/meminfo: memFree=28137284/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1988164 CPUtime=102.27 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526315 0 0 0 10154 73 0 0 20 0 4 0 30250014 2035879936 439061 33554432000 4194304 16246674 140735024606352 140735024588224 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25227/statm: 497041 439061 914 2943 0 493935 0 [pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439061 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439061 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439061 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1988164 ################ # More data... # ################ /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439066 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 1988164 [startup+1302.3 s] /proc/loadavg: 2.13 2.18 2.14 4/183 25263 /proc/meminfo: memFree=27361560/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1988164 CPUtime=1302.08 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526331 0 0 0 130133 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024588224 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25227/statm: 497041 439069 919 2943 0 493935 0 [pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 1988164 [startup+1362.3 s] /proc/loadavg: 2.09 2.16 2.13 4/183 25264 /proc/meminfo: memFree=27362208/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1988164 CPUtime=1362.07 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526337 0 0 0 136132 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024588224 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25227/statm: 497041 439069 919 2943 0 493935 0 [pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 1988164 [startup+1422.3 s] /proc/loadavg: 2.07 2.14 2.13 3/183 25266 /proc/meminfo: memFree=27323920/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1988164 CPUtime=1422.07 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526340 0 0 0 142132 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024588224 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25227/statm: 497041 439069 919 2943 0 493935 0 [pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 1988164 [startup+1482.3 s] /proc/loadavg: 2.02 2.12 2.11 3/183 25267 /proc/meminfo: memFree=27322836/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1988164 CPUtime=1482.03 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526367 0 0 0 148128 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024588224 5711552 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25227/statm: 497041 439069 919 2943 0 493935 0 [pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 1988164 [startup+1542.31 s] /proc/loadavg: 2.11 2.12 2.11 3/183 25268 /proc/meminfo: memFree=27246856/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1988164 CPUtime=1542.02 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526383 0 0 0 154127 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024588224 5829752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25227/statm: 497041 439069 919 2943 0 493935 0 [pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 1988164 [startup+1602.3 s] /proc/loadavg: 2.04 2.10 2.10 3/184 25321 /proc/meminfo: memFree=28796192/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1988164 CPUtime=1602 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526395 0 0 0 160125 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024588224 12415743 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25227/statm: 497041 439069 919 2943 0 493935 0 [pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 1988164 [startup+1662.3 s] /proc/loadavg: 2.04 2.09 2.10 3/184 25345 /proc/meminfo: memFree=28745852/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1988164 CPUtime=1661.99 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526399 0 0 0 166124 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024588224 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25227/statm: 497041 439069 919 2943 0 493935 0 [pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 1988164 [startup+1722.3 s] /proc/loadavg: 2.01 2.07 2.09 3/183 25347 /proc/meminfo: memFree=28698280/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1988164 CPUtime=1721.96 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526424 0 0 0 172121 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024589352 13906976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25227/statm: 497041 439069 919 2943 0 493935 0 [pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 1988164 [startup+1782.3 s] /proc/loadavg: 2.15 2.10 2.09 3/183 25348 /proc/meminfo: memFree=28245456/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1988164 CPUtime=1781.95 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526425 0 0 0 178120 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024588224 13774449 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25227/statm: 497041 439069 919 2943 0 493935 0 [pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 1988164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.12 2.10 2.09 3/183 25348 /proc/meminfo: memFree=28245308/32872528 swapFree=534252/566956 [pid=25227] ppid=25224 vsize=1988164 CPUtime=1800.05 cores=0,2,4,6 /proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526425 0 0 0 179930 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024588224 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25227/statm: 497041 439069 919 2943 0 493935 0 [pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6 /proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1988164 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 25227 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.11 CPU user time (s): 1799.3 CPU system time (s): 0.802877 CPU usage (%): 99.9806 Max. virtual memory (cumulated for all children) (KiB): 1988164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.3 system time used= 0.802877 maximum resident set size= 1756276 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 526425 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= 329 involuntary context switches= 1897 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.6109 second user time and 9.52455 second system time The end
Begin job on node138 at 2016-06-18 22:34:04 IDJOB=4107078 IDBENCH=71865 IDSOLVER=2542 FILE ID=node138/4107078-1466282044 RUNJOBID= node138-1466276409-24423 PBS_JOBID= 19918262 Free space on /tmp= 71704 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__8.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107078-1466282044/watcher-4107078-1466282044 -o /tmp/evaluation-result-4107078-1466282044/solver-4107078-1466282044 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466276409-24423 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107078-1466282044.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c120d8f4dcbc5272249a5c279ae2547e RANDOM SEED=915941567 node138.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.395 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.79 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.395 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.395 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.395 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.395 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.395 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.395 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.54 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.395 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30012188 kB Buffers: 152388 kB Cached: 296848 kB SwapCached: 1060 kB Active: 1249396 kB Inactive: 301520 kB Active(anon): 1101832 kB Inactive(anon): 1696 kB Active(file): 147564 kB Inactive(file): 299824 kB Unevictable: 566956 kB Mlocked: 534252 kB SwapTotal: 67108856 kB SwapFree: 67099640 kB Dirty: 16732 kB Writeback: 0 kB AnonPages: 1667024 kB Mapped: 10880 kB Shmem: 0 kB Slab: 608504 kB SReclaimable: 52020 kB SUnreclaim: 556484 kB KernelStack: 1480 kB PageTables: 7304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1931728 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 61440 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= 71696 MiB End job on node138 at 2016-06-18 23:04:04