Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.61 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_10.opb |
| MD5SUM | 26699ac56f0d58d8261ff4eb58d81611 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 55 |
| Best CPU time to get the best result obtained on this benchmark | 355.42 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 55 |
| Optimality of the best value was proved | YES |
| Number of variables | 895 |
| Total number of constraints | 1659 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1659 |
| Minimum length of a constraint | 14 |
| Maximum length of a constraint | 29 |
| Number of terms in the objective function | 7 |
| Biggest coefficient in the objective function | 64 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 127 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 128 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 707 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-06T21:38:54+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-4079672-1465241934.opb"] 0.00/0.01 c use --random-gen="397941788 270855400 2614983657 3920246367 3223228692 2957779814 4067806649 3096808993 3033248974 113238296 1825044701 1867611405 3743065092 1946940549 3101464031 1513621724 3810275129 3217678130 3241900105 1638300524 3097275734 3078791051 2214131527 3620917715 46918881 1131306384 335166804 2432989689 4178551808 974831024 1855787889 1671921654 3827439123 114728772 1314910716 1332724287 257367447 3716543201 877679600 3290780074 1191781484 2697720314 2493348743 2519278455 3583868375 4088059166 55157469 2255379219 2417245948 516610482 713329980 646914788 2959257647 560736798 1932582283 1130460566 1409600703 1220180148 2278039777 3480222460 3066759981 3056934425 2631603205 500051171 1410607290 566212972 2763697517 1127200077 2770696647 3850901597 1812736431 4182097539 3934208748 1131664527 3403767694 2297025453 3673840054 298437520 1442192853 4108703449 1701213776 1386980847 3158662286 104719344 3844180405 2703647314 822756230 2503132249 1765711359 112825500 992801769 2284606284 1156434293 1902593386 1193955546 2527039979 2189687580 2272518049 3137775864 232658119 232463193 2688428036 1560649212 2759839092 2522941261 2683872645 2377672544 1625946503 1260795081 1502135930 1879932666 1578897039 1283323112 2166601345 281723253 896931426 3246378427 3756021023 2069671344 292862070 3725428034 429125646 1193151508 1870721952 3394293602 3721930665 3578837931 3313539669 3104037642 285346539 920798313 1696190262 1896708901 1255107652 3862906718 354550579 870077986 3243575271 696972410 409806887 239151402 889351776 1332086630 3945431164 844478418 1443336493 2888136961 239299748 2989793419 2243141022 2588072637 1203271711 2978697192 3630435600 525031736 4236450034 259367529 3986995626 2966185993 2402640380 4060113409 1795570222 2569178156 4133234084 2893114772 3206351665 1154531867 446658874 633610435 1549186403 770588454 3114809877 1931942495 3829321758 2013755099 1306835784 2835396717 838763597 3402646014 3311781835 504113060 679240843 1588956033 745209577 1283939294 1155319502 3624983375 1049607180 3514264830 2871986478 3949419767 526741636 507214545 3067104550 4232563124 4042274876 1860606027 1161256956 3221557514 363380849 1484735981 1999445458 897422220 1199754501 1523058866 1271115297 2226081193 1454328115 2650462793 3251321071 574670242 1921450336 2511729185 1839324442 736601884 4264390704 1804112348 2902063171 4267999491 660948767 3061479830 4262061276 985541678 2853967712 4009366186 3148964430 3062650965 390963243 1672004438 1953926393 2450439325 1415414904 2776334336 3180684057 3265740643 831812619 3995227093 4059432986 598874380 2780431586 1159299850 3419510444 2450541588 3578728720 290627037 1643753162 4149363691 4124062395 3609922451 1316596184 2425244209 2196324377 3588542826 1602309769 4149976907 4075883927 255 362436" option to reproduce the execution 0.00/0.09 c #vars 895 0.00/0.09 c #constraints 1659 0.19/0.22 c BCD2: Hardening is enabled. 0.19/0.22 c BCD2: BiasedSearch is enabled. 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 851 0 | 0 | 0 0.69/0.70 c 0.5s | 1 | 791 | 100 | 851 0 | 0 | 0 0.89/0.91 c 0.7s | 2 | 1011 | 250 | 937 0 | 0 | 0 0.89/0.98 c 0.8s | 2 | 1071 | 278 | 1031 0 | 0 | 0 0.89/0.98 c #cpu_time = 0.744s 0.89/0.98 c #wall_clock_time = 0.746s 0.89/0.98 c #decision = 1071 0.89/0.98 c #random_decision = 5 0.89/0.98 c #conflict = 278 0.89/0.98 c #restart = 2 0.89/0.98 o 98 0.89/0.98 c BCD2: updating upper bound: 127 -> 97 0.89/0.98 c BCD2: 0 <= obj <= 97 0.89/0.98 c BCD2: #cores=0, #unrelaxed=7, #relaxed=0, #hardened=0 0.89/0.98 c BCD2: #sat=1 #unsat=1 bias=1/2 0.89/0.98 c Solving starts ... 0.89/0.98 c ============================[ Search Statistics ]============================ 0.89/0.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.98 c | | | | Limit GC | Var | Constra 0.89/0.98 c ============================================================================= 0.89/0.98 c 0.0s | 0 | 0 | 0 | 1031 0 | 0 | 0 0.98/1.00 c 0.0s | 0 | 5 | 1 | 1031 0 | 0 | 0 0.98/1.00 c #cpu_time = 0.021s 0.98/1.00 c #wall_clock_time = 0.021s 0.98/1.00 c #decision = 5 0.98/1.00 c #random_decision = 0 0.98/1.00 c #conflict = 1 0.98/1.00 c #restart = 0 0.98/1.00 c BCD2: found a new core of size 5: cost of the new core is >=4 0.98/1.00 c lower bound updated to 4 0.98/1.01 c BCD2: 4 <= obj <= 97 0.98/1.01 c BCD2: #cores=1, #unrelaxed=2, #relaxed=5, #hardened=0 0.98/1.01 c BCD2: #sat=1 #unsat=2 bias=2/3 0.98/1.01 c Solving starts ... 0.98/1.01 c ============================[ Search Statistics ]============================ 0.98/1.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.98/1.01 c | | | | Limit GC | Var | Constra 0.98/1.01 c ============================================================================= 0.98/1.01 c 0.0s | 0 | 0 | 0 | 1031 0 | 0 | 0 1.20/1.29 c 0.3s | 1 | 128 | 100 | 1031 0 | 0 | 0 1.59/1.63 c 0.6s | 2 | 350 | 250 | 1135 0 | 0 | 0 2.09/2.12 c 1.1s | 3 | 619 | 475 | 1135 0 | 0 | 0 2.89/2.92 c 1.9s | 4 | 1054 | 813 | 1249 0 | 0 | 0 3.89/3.95 c 2.9s | 5 | 1669 | 1320 | 1374 0 | 0 | 0 4.89/4.99 c 4.0s | 6 | 2558 | 2081 | 1512 1 | 0 | 0 6.29/6.38 c 5.4s | 7 | 3861 | 3223 | 1664 3 | 0 | 0 8.38/8.45 c 7.4s | 7 | 5508 | 4723 | 1831 4 | 0 | 0 8.68/8.76 c 7.7s | 8 | 5756 | 4936 | 1831 4 | 0 | 0 10.79/10.89 c 9.9s | 8 | 7710 | 6636 | 1831 6 | 0 | 0 11.89/11.93 c 10.9s | 9 | 8683 | 7506 | 2015 7 | 0 | 0 13.89/13.97 c 13.0s | 9 | 10507 | 9206 | 2015 8 | 0 | 0 15.99/16.05 c 15.0s | 9 | 12233 | 10806 | 2015 10 | 0 | 0 16.69/16.72 c 15.7s | 10 | 12846 | 11361 | 2217 10 | 0 | 0 18.70/18.75 c 17.7s | 10 | 14463 | 12861 | 2217 11 | 0 | 0 20.79/20.85 c 19.8s | 10 | 16331 | 14561 | 2217 13 | 0 | 0 22.79/22.85 c 21.8s | 10 | 18031 | 16161 | 2217 14 | 0 | 0 24.09/24.13 c 23.1s | 11 | 19125 | 17144 | 2439 15 | 0 | 0 26.19/26.20 c 25.2s | 11 | 20787 | 18644 | 2439 16 | 0 | 0 28.19/28.26 c 27.3s | 11 | 22508 | 20244 | 2439 17 | 0 | 0 30.29/30.33 c 29.3s | 11 | 24453 | 21944 | 2439 18 | 0 | 0 32.39/32.40 c 31.4s | 11 | 26331 | 23644 | 2439 20 | 0 | 0 34.39/34.44 c 33.4s | 11 | 27964 | 25144 | 2439 21 | 0 | 0 35.29/35.34 c 34.3s | 12 | 28714 | 25819 | 2683 21 | 0 | 0 37.39/37.47 c 36.5s | 12 | 30293 | 27219 | 2683 22 | 0 | 0 39.59/39.63 c 38.6s | 12 | 31885 | 28619 | 2683 23 | 0 | 0 41.38/41.49 c 40.5s | 12 | 33297 | 29853 | 2683 24 | 0 | 0 41.38/41.49 c #cpu_time = 40.374s 41.38/41.49 c #wall_clock_time = 40.477s 41.38/41.49 c #decision = 33297 41.38/41.49 c #random_decision = 83 41.38/41.49 c #conflict = 29853 41.38/41.49 c #restart = 12 41.38/41.49 o 64 41.38/41.49 c BCD2: hardening fixes 1 literals 41.38/41.49 c BCD2: updating upper bound: 97 -> 63 41.38/41.49 c BCD2: 4 <= obj <= 63 41.38/41.49 c BCD2: #cores=1, #unrelaxed=2, #relaxed=4, #hardened=1 41.38/41.49 c BCD2: #sat=2 #unsat=2 bias=2/4 41.38/41.49 c Solving starts ... 41.38/41.49 c ============================[ Search Statistics ]============================ 41.38/41.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 41.38/41.49 c | | | | Limit GC | Var | Constra 41.38/41.49 c ============================================================================= 41.38/41.49 c 0.0s | 0 | 0 | 0 | 2683 0 | 10 | 0 41.58/41.65 c 0.2s | 1 | 154 | 100 | 2683 0 | 10 | 2 41.79/41.87 c 0.4s | 2 | 358 | 250 | 2683 0 | 10 | 2 42.18/42.26 c 0.8s | 3 | 620 | 475 | 2683 0 | 10 | 2 42.78/42.86 c 1.4s | 4 | 997 | 813 | 2683 0 | 10 | 2 43.68/43.76 c 2.3s | 5 | 1558 | 1320 | 2683 1 | 10 | 2 44.88/44.90 c 3.4s | 6 | 2374 | 2081 | 2683 1 | 10 | 2 46.68/46.73 c 5.2s | 7 | 3600 | 3223 | 2683 2 | 10 | 2 48.78/48.84 c 7.3s | 7 | 4994 | 4523 | 2683 3 | 10 | 2 49.38/49.44 c 7.9s | 8 | 5427 | 4936 | 2683 3 | 10 | 2 49.88/49.99 c 8.5s | 8 | 5751 | 5246 | 2683 3 | 10 | 2 49.88/49.99 c #cpu_time = 8.477s 49.88/49.99 c #wall_clock_time = 8.498s 49.88/49.99 c #decision = 5751 49.88/49.99 c #random_decision = 16 49.88/49.99 c #conflict = 5246 49.88/49.99 c #restart = 8 49.88/49.99 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 7: cost of the new core is >=5 49.88/49.99 c lower bound updated to 5 49.88/49.99 c BCD2: 5 <= obj <= 63 49.88/49.99 c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=1 49.88/49.99 c BCD2: #sat=2 #unsat=3 bias=3/5 49.88/49.99 c Solving starts ... 49.88/49.99 c ============================[ Search Statistics ]============================ 49.88/49.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 49.88/49.99 c | | | | Limit GC | Var | Constra 49.88/49.99 c ============================================================================= 49.88/49.99 c 0.0s | 0 | 0 | 0 | 2683 0 | 12 | 2 50.08/50.16 c 0.2s | 1 | 131 | 100 | 2683 0 | 12 | 4 50.38/50.41 c 0.4s | 2 | 308 | 250 | 2683 0 | 12 | 4 50.69/50.75 c 0.8s | 3 | 570 | 475 | 2683 0 | 12 | 4 51.28/51.31 c 1.3s | 4 | 944 | 813 | 2683 0 | 12 | 4 51.98/52.06 c 2.1s | 5 | 1522 | 1320 | 2683 1 | 12 | 4 53.08/53.17 c 3.2s | 6 | 2380 | 2081 | 2683 1 | 12 | 4 54.68/54.75 c 4.8s | 7 | 3632 | 3223 | 2952 2 | 12 | 4 56.68/56.78 c 6.8s | 7 | 5066 | 4523 | 2952 3 | 12 | 4 57.29/57.37 c 7.4s | 8 | 5502 | 4936 | 2952 3 | 12 | 4 59.39/59.43 c 9.4s | 8 | 6939 | 6236 | 2952 4 | 12 | 4 61.28/61.39 c 11.4s | 9 | 8280 | 7506 | 2952 5 | 12 | 4 63.38/63.48 c 13.5s | 9 | 9681 | 8806 | 2952 6 | 12 | 4 65.58/65.62 c 15.6s | 9 | 11185 | 10206 | 2952 7 | 12 | 4 67.28/67.32 c 17.3s | 10 | 12400 | 11361 | 2952 7 | 12 | 4 69.28/69.39 c 19.4s | 10 | 13815 | 12661 | 2952 8 | 12 | 4 71.28/71.39 c 21.4s | 10 | 15227 | 13961 | 2952 9 | 12 | 4 73.38/73.44 c 23.4s | 10 | 16737 | 15361 | 2952 10 | 12 | 4 75.48/75.50 c 25.5s | 10 | 18170 | 16661 | 2952 11 | 12 | 4 76.28/76.37 c 26.4s | 11 | 18681 | 17144 | 2952 11 | 12 | 4 78.38/78.40 c 28.4s | 11 | 20338 | 18644 | 2952 12 | 12 | 4 80.38/80.48 c 30.5s | 11 | 21938 | 20144 | 2952 13 | 12 | 4 82.38/82.49 c 32.5s | 11 | 23345 | 21444 | 2952 14 | 12 | 4 84.48/84.56 c 34.6s | 11 | 24870 | 22844 | 3248 15 | 12 | 4 86.57/86.69 c 36.7s | 11 | 26390 | 24244 | 3248 16 | 12 | 4 88.67/88.79 c 38.8s | 11 | 27890 | 25644 | 3248 16 | 12 | 4 88.97/89.04 c 39.0s | 12 | 28079 | 25819 | 3248 17 | 12 | 4 91.07/91.16 c 41.2s | 12 | 29504 | 27119 | 3248 17 | 12 | 4 93.17/93.28 c 43.3s | 12 | 31032 | 28519 | 3248 18 | 12 | 4 95.27/95.34 c 45.3s | 12 | 32528 | 29919 | 3248 19 | 12 | 4 97.37/97.45 c 47.5s | 12 | 34095 | 31419 | 3248 20 | 12 | 4 99.47/99.58 c 49.6s | 12 | 35702 | 32919 | 3248 21 | 12 | 4 101.57/101.61 c 51.6s | 12 | 37218 | 34319 | 3248 21 | 12 | 4 103.57/103.67 c 53.7s | 12 | 38698 | 35719 | 3248 22 | 12 | 4 105.68/105.77 c 55.8s | 12 | 40179 | 37119 | 3248 23 | 12 | 4 107.88/107.91 c 57.9s | 12 | 41610 | 38419 | 3248 24 | 12 | 4 108.37/108.49 c 58.5s | 13 | 42050 | 38832 | 3248 24 | 12 | 4 110.58/110.60 c 60.6s | 13 | 43540 | 40132 | 3248 25 | 12 | 4 112.58/112.67 c 62.7s | 13 | 44951 | 41432 | 3248 26 | 12 | 4 114.78/114.81 c 64.8s | 13 | 46197 | 42532 | 3248 26 | 12 | 4 116.88/116.96 c 67.0s | 13 | 47562 | 43832 | 3248 27 | 12 | 4 118.98/119.08 c 69.1s | 13 | 48965 | 45132 | 3248 28 | 12 | 4 121.08/121.14 c 71.1s | 13 | 50256 | 46332 | 3248 28 | 12 | 4 123.18/123.24 c 73.3s | 13 | 51741 | 47732 | 3248 29 | 12 | 4 125.28/125.31 c 75.3s | 13 | 53349 | 49232 | 3248 30 | 12 | 4 127.37/127.42 c 77.4s | 13 | 54871 | 50632 | 3248 31 | 12 | 4 129.37/129.46 c 79.5s | 13 | 56267 | 51932 | 3573 32 | 12 | 4 131.47/131.53 c 81.5s | 13 | 57791 | 53332 | 3573 32 | 12 | 4 133.47/133.54 c 83.6s | 13 | 59434 | 54832 | 3573 33 | 12 | 4 135.57/135.62 c 85.6s | 13 | 61262 | 56532 | 3573 34 | 12 | 4 137.58/137.69 c 87.7s | 13 | 63041 | 58132 | 3573 35 | 12 | 4 137.87/137.99 c 88.0s | 14 | 63286 | 58352 | 3573 35 | 12 | 4 139.97/140.08 c 90.1s | 14 | 64863 | 59752 | 3573 36 | 12 | 4 142.17/142.25 c 92.3s | 14 | 66389 | 61152 | 3573 37 | 12 | 4 144.27/144.37 c 94.4s | 14 | 68049 | 62652 | 3573 37 | 12 | 4 146.28/146.39 c 96.4s | 14 | 69569 | 64052 | 3573 38 | 12 | 4 148.37/148.46 c 98.5s | 14 | 71052 | 65452 | 3573 39 | 12 | 4 150.47/150.52 c 100s | 14 | 72458 | 66752 | 3573 40 | 12 | 4 152.57/152.63 c 102s | 14 | 74103 | 68252 | 3573 40 | 12 | 4 154.57/154.65 c 104s | 14 | 75483 | 69552 | 3573 41 | 12 | 4 156.67/156.75 c 106s | 14 | 76971 | 70952 | 3573 42 | 12 | 4 158.87/158.94 c 108s | 14 | 78497 | 72352 | 3573 43 | 12 | 4 160.87/160.95 c 110s | 14 | 79774 | 73552 | 3573 43 | 12 | 4 162.97/163.04 c 113s | 14 | 81307 | 74952 | 3573 44 | 12 | 4 164.97/165.05 c 115s | 14 | 82638 | 76152 | 3573 45 | 12 | 4 167.07/167.10 c 117s | 14 | 84103 | 77452 | 3573 45 | 12 | 4 169.07/169.19 c 119s | 14 | 85664 | 78852 | 3573 46 | 12 | 4 171.17/171.27 c 121s | 14 | 87311 | 80352 | 3573 47 | 12 | 4 173.27/173.37 c 123s | 14 | 88866 | 81752 | 3573 48 | 12 | 4 175.37/175.46 c 125s | 14 | 90470 | 83252 | 3573 49 | 12 | 4 177.37/177.47 c 127s | 14 | 91933 | 84652 | 3573 49 | 12 | 4 179.37/179.48 c 129s | 14 | 93463 | 86052 | 3573 50 | 12 | 4 181.57/181.61 c 131s | 14 | 95073 | 87552 | 3573 51 | 12 | 4 181.66/181.73 c 131s | 15 | 95160 | 87632 | 3573 51 | 12 | 4 183.67/183.76 c 133s | 15 | 96586 | 88932 | 3573 52 | 12 | 4 185.76/185.82 c 135s | 15 | 98344 | 90532 | 3573 53 | 12 | 4 187.76/187.82 c 137s | 15 | 100165 | 92232 | 3573 53 | 12 | 4 189.86/189.93 c 139s | 15 | 101752 | 93732 | 3573 54 | 12 | 4 191.86/191.98 c 141s | 15 | 103360 | 95232 | 3573 55 | 12 | 4 193.86/193.98 c 143s | 15 | 105060 | 96832 | 3931 56 | 12 | 4 195.96/196.04 c 146s | 15 | 106607 | 98232 | 3931 56 | 12 | 4 197.97/198.09 c 148s | 15 | 108023 | 99532 | 3931 57 | 12 | 4 200.06/200.13 c 150s | 15 | 109536 | 100932 | 3931 58 | 12 | 4 202.16/202.26 c 152s | 15 | 111146 | 102432 | 3931 58 | 12 | 4 204.36/204.40 c 154s | 15 | 112793 | 103932 | 3931 59 | 12 | 4 206.36/206.48 c 156s | 15 | 114167 | 105232 | 3931 60 | 12 | 4 208.46/208.52 c 158s | 15 | 115574 | 106532 | 3931 60 | 12 | 4 210.46/210.59 c 160s | 15 | 117114 | 107932 | 3931 61 | 12 | 4 212.56/212.65 c 162s | 15 | 118819 | 109432 | 3931 62 | 12 | 4 214.66/214.75 c 164s | 15 | 120356 | 110832 | 3931 63 | 12 | 4 216.77/216.84 c 166s | 15 | 121994 | 112332 | 3931 63 | 12 | 4 218.76/218.88 c 168s | 15 | 123443 | 113632 | 3931 64 | 12 | 4 220.86/220.96 c 170s | 15 | 124884 | 114932 | 3931 65 | 12 | 4 222.96/223.05 c 173s | 15 | 126269 | 116232 | 3931 65 | 12 | 4 225.16/225.25 c 175s | 15 | 127723 | 117532 | 3931 66 | 12 | 4 227.36/227.44 c 177s | 15 | 129054 | 118732 | 3931 66 | 12 | 4 229.56/229.61 c 179s | 15 | 130485 | 120032 | 3931 67 | 12 | 4 231.56/231.67 c 181s | 15 | 131957 | 121432 | 3931 68 | 12 | 4 233.66/233.74 c 183s | 15 | 133486 | 122832 | 3931 68 | 12 | 4 235.76/235.89 c 185s | 15 | 135232 | 124432 | 3931 69 | 12 | 4 237.86/237.95 c 187s | 15 | 136731 | 125832 | 3931 70 | 12 | 4 240.06/240.12 c 190s | 15 | 137992 | 127032 | 3931 71 | 12 | 4 242.16/242.20 c 192s | 15 | 139617 | 128532 | 3931 71 | 12 | 4 244.26/244.31 c 194s | 15 | 141024 | 129832 | 3931 72 | 12 | 4 246.36/246.49 c 196s | 15 | 142551 | 131232 | 3931 73 | 12 | 4 246.85/246.98 c 196s | 16 | 142898 | 131552 | 3931 73 | 12 | 4 248.95/249.10 c 199s | 16 | 144311 | 132852 | 3931 73 | 12 | 4 251.05/251.12 c 201s | 16 | 145603 | 134052 | 3931 74 | 12 | 4 253.06/253.17 c 203s | 16 | 146799 | 135152 | 3931 75 | 12 | 4 255.26/255.31 c 205s | 16 | 148435 | 136652 | 3931 75 | 12 | 4 257.25/257.34 c 207s | 16 | 149772 | 137852 | 3931 76 | 12 | 4 259.45/259.50 c 209s | 16 | 151309 | 139252 | 3931 77 | 12 | 4 260.66/260.75 c 210s | 16 | 152336 | 140182 | 3931 77 | 13 | 5 260.66/260.75 c #cpu_time = 210.218s 260.66/260.75 c #wall_clock_time = 210.755s 260.66/260.75 c #decision = 152336 260.66/260.75 c #random_decision = 438 260.66/260.75 c #conflict = 140182 260.66/260.75 c #restart = 16 260.66/260.75 c BCD2: updating lower bound of a core 260.66/260.75 c lower bound updated to 41 260.66/260.75 c BCD2: 41 <= obj <= 63 260.66/260.75 c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=1 260.66/260.75 c BCD2: #sat=2 #unsat=4 bias=4/6 260.66/260.75 c Solving starts ... 260.66/260.75 c ============================[ Search Statistics ]============================ 260.66/260.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 260.66/260.75 c | | | | Limit GC | Var | Constra 260.66/260.75 c ============================================================================= 260.66/260.75 c 0.0s | 0 | 0 | 0 | 3931 0 | 14 | 5 260.85/260.92 c 0.2s | 1 | 152 | 100 | 3931 0 | 14 | 7 261.05/261.12 c 0.4s | 2 | 347 | 250 | 3931 0 | 14 | 7 261.35/261.46 c 0.7s | 3 | 623 | 475 | 3931 0 | 14 | 7 261.86/261.94 c 1.2s | 4 | 1024 | 813 | 3931 0 | 14 | 7 262.65/262.70 c 2.0s | 5 | 1615 | 1320 | 3931 0 | 14 | 7 263.65/263.74 c 3.0s | 6 | 2451 | 2081 | 3931 1 | 14 | 7 265.06/265.20 c 4.4s | 7 | 3721 | 3223 | 3931 1 | 14 | 7 267.15/267.24 c 6.5s | 7 | 5309 | 4623 | 3931 2 | 14 | 7 267.55/267.65 c 6.9s | 8 | 5659 | 4936 | 3931 2 | 14 | 7 269.65/269.76 c 9.0s | 8 | 7445 | 6536 | 3931 3 | 14 | 7 271.05/271.10 c 10.4s | 9 | 8552 | 7506 | 3931 3 | 14 | 7 273.05/273.18 c 12.4s | 9 | 10218 | 9006 | 3931 4 | 14 | 7 275.15/275.20 c 14.4s | 9 | 11797 | 10406 | 3931 5 | 14 | 7 276.45/276.53 c 15.8s | 10 | 12844 | 11361 | 3931 5 | 14 | 7 278.55/278.64 c 17.9s | 10 | 14553 | 12861 | 3931 6 | 14 | 7 280.65/280.70 c 20.0s | 10 | 16097 | 14261 | 3931 6 | 14 | 7 282.66/282.80 c 22.0s | 10 | 17678 | 15661 | 3931 7 | 14 | 7 283.05/283.19 c 22.4s | 10 | 17956 | 15908 | 3931 7 | 14 | 7 283.05/283.19 c #cpu_time = 22.382s 283.05/283.19 c #wall_clock_time = 22.440s 283.05/283.19 c #decision = 17956 283.05/283.19 c #random_decision = 38 283.05/283.19 c #conflict = 15908 283.05/283.19 c #restart = 10 283.05/283.19 o 55 283.05/283.19 c BCD2: updating upper bound: 63 -> 54 283.05/283.19 c BCD2: 41 <= obj <= 54 283.05/283.19 c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=1 283.05/283.19 c BCD2: #sat=3 #unsat=4 bias=4/7 283.05/283.19 c Solving starts ... 283.05/283.19 c ============================[ Search Statistics ]============================ 283.05/283.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 283.05/283.19 c | | | | Limit GC | Var | Constra 283.05/283.19 c ============================================================================= 283.05/283.19 c 0.0s | 0 | 0 | 0 | 3931 0 | 14 | 7 283.25/283.38 c 0.2s | 1 | 120 | 100 | 3931 0 | 14 | 7 283.55/283.66 c 0.5s | 2 | 316 | 250 | 3931 0 | 14 | 7 283.95/284.03 c 0.8s | 3 | 579 | 475 | 3931 1 | 14 | 7 284.35/284.49 c 1.3s | 4 | 967 | 813 | 3931 1 | 14 | 7 285.25/285.30 c 2.1s | 5 | 1549 | 1320 | 3931 1 | 14 | 7 286.25/286.40 c 3.2s | 6 | 2393 | 2081 | 3931 1 | 14 | 7 288.16/288.26 c 5.1s | 7 | 3767 | 3223 | 3931 2 | 14 | 7 290.25/290.38 c 7.2s | 7 | 5334 | 4623 | 4325 3 | 14 | 7 290.75/290.85 c 7.7s | 8 | 5684 | 4936 | 4325 3 | 14 | 7 292.85/292.98 c 9.8s | 8 | 7243 | 6336 | 4325 3 | 14 | 7 294.75/294.86 c 11.7s | 9 | 8517 | 7506 | 4325 4 | 14 | 7 296.75/296.88 c 13.7s | 9 | 10110 | 8906 | 4325 4 | 14 | 7 298.95/299.00 c 15.8s | 9 | 11929 | 10506 | 4325 5 | 14 | 7 300.25/300.34 c 17.1s | 10 | 12906 | 11361 | 4325 5 | 14 | 7 302.35/302.40 c 19.2s | 10 | 14355 | 12661 | 4325 6 | 14 | 7 304.35/304.41 c 21.2s | 10 | 15780 | 13961 | 4325 7 | 14 | 7 306.35/306.42 c 23.2s | 10 | 17211 | 15261 | 4325 7 | 14 | 7 308.45/308.54 c 25.3s | 10 | 18493 | 16461 | 4325 8 | 14 | 7 309.54/309.65 c 26.5s | 11 | 19236 | 17144 | 4325 8 | 14 | 7 311.64/311.78 c 28.6s | 11 | 20950 | 18644 | 4325 9 | 14 | 7 313.74/313.81 c 30.6s | 11 | 22466 | 19944 | 4325 9 | 14 | 7 315.75/315.87 c 32.7s | 11 | 23974 | 21344 | 4325 10 | 14 | 7 317.95/318.01 c 34.8s | 11 | 25606 | 22844 | 4325 10 | 14 | 7 320.05/320.14 c 37.0s | 11 | 27141 | 24244 | 4325 11 | 14 | 7 322.14/322.20 c 39.0s | 11 | 28533 | 25544 | 4325 12 | 14 | 7 322.54/322.64 c 39.4s | 12 | 28824 | 25819 | 4325 12 | 14 | 7 324.55/324.68 c 41.5s | 12 | 30226 | 27019 | 4325 12 | 14 | 7 326.65/326.74 c 43.5s | 12 | 31552 | 28219 | 4325 13 | 14 | 7 328.74/328.84 c 45.6s | 12 | 32930 | 29519 | 4325 14 | 14 | 7 330.84/330.96 c 47.8s | 12 | 34425 | 30919 | 4325 14 | 14 | 7 332.94/333.10 c 49.9s | 12 | 35727 | 32119 | 4325 15 | 14 | 7 335.04/335.19 c 52.0s | 12 | 37188 | 33419 | 4325 15 | 14 | 7 337.14/337.26 c 54.1s | 12 | 38466 | 34619 | 4325 16 | 14 | 7 339.24/339.38 c 56.2s | 12 | 40176 | 36219 | 4325 16 | 14 | 7 341.24/341.39 c 58.2s | 12 | 41758 | 37719 | 4325 17 | 14 | 7 342.84/342.99 c 59.8s | 13 | 42934 | 38832 | 4325 18 | 14 | 7 345.04/345.12 c 61.9s | 13 | 44470 | 40232 | 4325 18 | 14 | 7 347.04/347.19 c 64.0s | 13 | 45954 | 41632 | 4325 19 | 14 | 7 349.34/349.40 c 66.2s | 13 | 47578 | 43132 | 4325 20 | 14 | 7 351.44/351.55 c 68.4s | 13 | 48903 | 44332 | 4325 20 | 14 | 7 353.54/353.65 c 70.5s | 13 | 50150 | 45432 | 4325 21 | 14 | 7 355.54/355.65 c 72.5s | 13 | 51460 | 46632 | 4325 21 | 14 | 7 357.64/357.70 c 74.5s | 13 | 52922 | 47932 | 4325 22 | 14 | 7 359.74/359.85 c 76.7s | 13 | 54477 | 49332 | 4325 22 | 14 | 7 361.84/361.97 c 78.8s | 13 | 56019 | 50732 | 4325 23 | 14 | 7 363.83/363.98 c 80.8s | 13 | 57411 | 52032 | 4325 23 | 14 | 7 365.93/366.08 c 82.9s | 13 | 58849 | 53332 | 4325 24 | 14 | 7 368.13/368.22 c 85.0s | 13 | 60273 | 54632 | 4325 25 | 14 | 7 370.23/370.34 c 87.1s | 13 | 61924 | 56132 | 4325 25 | 14 | 7 372.33/372.48 c 89.3s | 13 | 63361 | 57432 | 4325 26 | 14 | 7 373.63/373.77 c 90.6s | 14 | 64367 | 58352 | 4325 26 | 14 | 7 375.73/375.87 c 92.7s | 14 | 65795 | 59652 | 4325 27 | 14 | 7 377.73/377.88 c 94.7s | 14 | 67087 | 60852 | 4325 27 | 14 | 7 379.83/379.91 c 96.7s | 14 | 68501 | 62152 | 4325 28 | 14 | 7 381.83/381.97 c 98.8s | 14 | 69711 | 63252 | 4325 29 | 14 | 7 384.03/384.14 c 100s | 14 | 71004 | 64452 | 4325 29 | 14 | 7 386.14/386.25 c 103s | 14 | 72129 | 65452 | 4325 30 | 14 | 7 388.24/388.37 c 105s | 14 | 73499 | 66652 | 4325 30 | 14 | 7 390.33/390.48 c 107s | 14 | 74868 | 67852 | 4325 31 | 14 | 7 392.33/392.49 c 109s | 14 | 76336 | 69152 | 4325 31 | 14 | 7 394.43/394.59 c 111s | 14 | 78120 | 70752 | 4325 32 | 14 | 7 396.53/396.60 c 113s | 14 | 79586 | 72152 | 4325 32 | 14 | 7 398.53/398.64 c 115s | 14 | 81236 | 73652 | 4325 33 | 14 | 7 400.63/400.77 c 117s | 14 | 82868 | 75152 | 4325 34 | 14 | 7 402.73/402.88 c 119s | 14 | 84407 | 76552 | 4325 34 | 14 | 7 404.93/405.02 c 121s | 14 | 85923 | 77952 | 4325 35 | 14 | 7 407.03/407.13 c 123s | 14 | 87227 | 79152 | 4325 36 | 14 | 7 409.02/409.18 c 125s | 14 | 88621 | 80452 | 4325 36 | 14 | 7 411.12/411.28 c 128s | 14 | 89990 | 81752 | 4325 37 | 14 | 7 413.22/413.31 c 130s | 14 | 91539 | 83152 | 4325 37 | 14 | 7 415.22/415.33 c 132s | 14 | 93032 | 84452 | 4325 38 | 14 | 7 417.32/417.40 c 134s | 14 | 94509 | 85752 | 4325 39 | 14 | 7 419.32/419.47 c 136s | 14 | 95911 | 87052 | 4325 39 | 14 | 7 420.23/420.40 c 137s | 15 | 96560 | 87632 | 4325 39 | 14 | 7 422.43/422.51 c 139s | 15 | 97920 | 88832 | 4325 40 | 14 | 7 424.53/424.65 c 141s | 15 | 99344 | 90132 | 4325 41 | 14 | 7 426.52/426.68 c 143s | 15 | 100571 | 91232 | 4325 41 | 14 | 7 428.62/428.73 c 145s | 15 | 101880 | 92432 | 4325 41 | 14 | 7 430.72/430.83 c 147s | 15 | 103274 | 93732 | 4325 42 | 14 | 7 432.72/432.88 c 149s | 15 | 104811 | 95132 | 4325 43 | 14 | 7 434.82/434.98 c 151s | 15 | 106596 | 96732 | 4325 43 | 14 | 7 436.92/437.07 c 153s | 15 | 108181 | 98132 | 4325 44 | 14 | 7 439.02/439.11 c 155s | 15 | 109519 | 99332 | 4325 45 | 14 | 7 441.03/441.17 c 157s | 15 | 110919 | 100632 | 4325 45 | 14 | 7 443.12/443.26 c 160s | 15 | 112371 | 101932 | 4325 46 | 14 | 7 445.12/445.28 c 162s | 15 | 113905 | 103332 | 4758 46 | 14 | 7 447.22/447.38 c 164s | 15 | 115605 | 104932 | 4758 47 | 14 | 7 449.33/449.48 c 166s | 15 | 117219 | 106432 | 4758 47 | 14 | 7 451.43/451.59 c 168s | 15 | 118778 | 107832 | 4758 48 | 14 | 7 453.53/453.63 c 170s | 15 | 120173 | 109132 | 4758 48 | 14 | 7 455.62/455.75 c 172s | 15 | 121719 | 110532 | 4758 49 | 14 | 7 457.63/457.77 c 174s | 15 | 123230 | 111932 | 4758 49 | 14 | 7 459.73/459.87 c 176s | 15 | 124614 | 113232 | 4758 50 | 14 | 7 461.82/461.98 c 178s | 15 | 125991 | 114532 | 4758 51 | 14 | 7 463.92/464.08 c 180s | 15 | 127684 | 116132 | 4758 51 | 14 | 7 466.02/466.12 c 182s | 15 | 129289 | 117632 | 4758 52 | 14 | 7 468.12/468.25 c 185s | 15 | 130833 | 119032 | 4758 52 | 14 | 7 470.32/470.40 c 187s | 15 | 132252 | 120332 | 4758 53 | 14 | 7 472.42/472.54 c 189s | 15 | 133688 | 121632 | 4758 54 | 14 | 7 474.42/474.56 c 191s | 15 | 135120 | 122932 | 4758 54 | 14 | 7 476.52/476.63 c 193s | 15 | 136572 | 124232 | 4758 55 | 14 | 7 478.53/478.69 c 195s | 15 | 137859 | 125432 | 4758 55 | 14 | 7 480.63/480.76 c 197s | 15 | 139097 | 126532 | 4758 55 | 14 | 7 482.62/482.76 c 199s | 15 | 140288 | 127632 | 4758 56 | 14 | 7 484.72/484.82 c 201s | 15 | 141619 | 128832 | 4758 56 | 14 | 7 486.72/486.85 c 203s | 15 | 142824 | 129932 | 4758 57 | 14 | 7 488.92/489.02 c 205s | 15 | 144101 | 131132 | 4758 57 | 14 | 7 489.62/489.78 c 206s | 16 | 144547 | 131552 | 4758 57 | 14 | 7 491.72/491.85 c 208s | 16 | 146091 | 132852 | 4758 58 | 14 | 7 493.82/493.93 c 210s | 16 | 147413 | 134052 | 4758 58 | 14 | 7 495.92/496.02 c 212s | 16 | 148827 | 135352 | 4758 59 | 14 | 7 498.02/498.17 c 214s | 16 | 150401 | 136752 | 4758 60 | 14 | 7 500.12/500.21 c 217s | 16 | 151942 | 138152 | 4758 60 | 14 | 7 502.12/502.23 c 219s | 16 | 153388 | 139452 | 4758 61 | 14 | 7 504.22/504.37 c 221s | 16 | 154886 | 140852 | 4758 61 | 14 | 7 506.32/506.43 c 223s | 16 | 156185 | 142052 | 4758 62 | 14 | 7 508.41/508.58 c 225s | 16 | 157496 | 143252 | 4758 62 | 14 | 7 510.61/510.73 c 227s | 16 | 158753 | 144352 | 4758 63 | 14 | 7 512.62/512.79 c 229s | 16 | 160188 | 145552 | 4758 63 | 14 | 7 514.72/514.89 c 231s | 16 | 161455 | 146652 | 4758 64 | 14 | 7 516.92/517.06 c 233s | 16 | 162792 | 147852 | 4758 64 | 14 | 7 519.01/519.17 c 235s | 16 | 164266 | 149152 | 4758 65 | 14 | 7 521.11/521.21 c 238s | 16 | 165647 | 150452 | 4758 65 | 14 | 7 523.11/523.27 c 240s | 16 | 167059 | 151752 | 4758 66 | 14 | 7 525.21/525.32 c 242s | 16 | 168667 | 153252 | 4758 66 | 14 | 7 527.31/527.49 c 244s | 16 | 170412 | 154852 | 4758 67 | 14 | 7 529.41/529.57 c 246s | 16 | 171838 | 156152 | 4758 67 | 14 | 7 531.51/531.60 c 248s | 16 | 173163 | 157352 | 4758 68 | 14 | 7 533.61/533.75 c 250s | 16 | 174859 | 158852 | 4758 69 | 14 | 7 535.72/535.89 c 252s | 16 | 176402 | 160252 | 4758 69 | 14 | 7 537.82/537.93 c 254s | 16 | 177837 | 161552 | 4758 70 | 14 | 7 539.81/539.98 c 256s | 16 | 179601 | 163252 | 4758 70 | 14 | 7 541.91/542.06 c 258s | 16 | 181241 | 164752 | 4758 71 | 14 | 7 544.01/544.10 c 260s | 16 | 182849 | 166252 | 4758 72 | 14 | 7 546.01/546.19 c 262s | 16 | 184730 | 168052 | 4758 72 | 14 | 7 548.21/548.32 c 265s | 16 | 186402 | 169652 | 4758 73 | 14 | 7 550.31/550.43 c 267s | 16 | 187915 | 171052 | 4758 74 | 14 | 7 552.31/552.49 c 269s | 16 | 189430 | 172452 | 4758 74 | 14 | 7 554.41/554.59 c 271s | 16 | 191026 | 173952 | 4758 75 | 14 | 7 556.51/556.63 c 273s | 16 | 192648 | 175452 | 4758 75 | 14 | 7 558.60/558.76 c 275s | 16 | 194264 | 176952 | 4758 76 | 14 | 7 560.70/560.86 c 277s | 16 | 195962 | 178552 | 4758 77 | 14 | 7 562.80/562.92 c 279s | 16 | 197674 | 180152 | 4758 77 | 14 | 7 564.90/565.00 c 281s | 16 | 199157 | 181552 | 4758 78 | 14 | 7 566.90/567.03 c 283s | 16 | 200869 | 183152 | 4758 78 | 14 | 7 568.90/569.06 c 285s | 16 | 202481 | 184652 | 4758 79 | 14 | 7 571.00/571.10 c 287s | 16 | 203987 | 186052 | 4758 80 | 14 | 7 573.01/573.17 c 289s | 16 | 205407 | 187352 | 4758 80 | 14 | 7 575.10/575.25 c 292s | 16 | 206948 | 188752 | 4758 81 | 14 | 7 577.10/577.29 c 294s | 16 | 208359 | 190052 | 4758 81 | 14 | 7 579.10/579.29 c 296s | 16 | 209895 | 191452 | 4758 82 | 14 | 7 581.20/581.36 c 298s | 16 | 211547 | 192952 | 4758 83 | 14 | 7 583.31/583.49 c 300s | 16 | 213191 | 194452 | 4758 83 | 14 | 7 585.41/585.53 c 302s | 16 | 214690 | 195852 | 4758 84 | 14 | 7 587.50/587.61 c 304s | 16 | 216004 | 197052 | 4758 84 | 14 | 7 588.10/588.29 c 305s | 17 | 216414 | 197432 | 4758 84 | 14 | 7 590.20/590.35 c 307s | 17 | 217740 | 198632 | 4758 85 | 14 | 7 592.30/592.46 c 309s | 17 | 219138 | 199932 | 4758 85 | 14 | 7 594.40/594.59 c 311s | 17 | 220545 | 201232 | 4758 86 | 14 | 7 596.60/596.71 c 313s | 17 | 221875 | 202432 | 4758 86 | 14 | 7 598.60/598.76 c 315s | 17 | 223487 | 203932 | 4758 87 | 14 | 7 600.61/600.78 c 317s | 17 | 224974 | 205332 | 4758 88 | 14 | 7 602.71/602.80 c 319s | 17 | 226362 | 206632 | 4758 88 | 14 | 7 604.70/604.88 c 321s | 17 | 227980 | 208132 | 4758 89 | 14 | 7 606.80/606.90 c 323s | 17 | 229502 | 209532 | 4758 89 | 14 | 7 608.90/609.02 c 325s | 17 | 231234 | 211132 | 4758 90 | 14 | 7 610.90/611.06 c 327s | 17 | 232737 | 212532 | 4758 91 | 14 | 7 613.00/613.12 c 329s | 17 | 234447 | 214132 | 4758 91 | 14 | 7 615.10/615.22 c 332s | 17 | 236144 | 215732 | 4758 92 | 14 | 7 617.20/617.37 c 334s | 17 | 237775 | 217232 | 4758 93 | 14 | 7 619.31/619.43 c 336s | 17 | 239344 | 218732 | 4758 93 | 14 | 7 621.41/621.53 c 338s | 17 | 240955 | 220232 | 4758 94 | 14 | 7 623.50/623.63 c 340s | 17 | 242517 | 221632 | 4758 94 | 14 | 7 625.60/625.73 c 342s | 17 | 243988 | 223032 | 4758 95 | 14 | 7 627.70/627.85 c 344s | 17 | 245679 | 224532 | 4758 95 | 14 | 7 629.80/629.98 c 346s | 17 | 247198 | 225932 | 4758 96 | 14 | 7 631.90/632.07 c 348s | 17 | 248595 | 227232 | 4758 96 | 14 | 7 633.90/634.07 c 350s | 17 | 250018 | 228532 | 4758 97 | 14 | 7 636.10/636.21 c 353s | 17 | 251531 | 229932 | 4758 98 | 14 | 7 638.10/638.24 c 355s | 17 | 252957 | 231232 | 4758 98 | 14 | 7 640.20/640.34 c 357s | 17 | 254224 | 232432 | 4758 98 | 14 | 7 642.30/642.46 c 359s | 17 | 255647 | 233732 | 4758 99 | 14 | 7 644.40/644.52 c 361s | 17 | 256961 | 234932 | 4758 100 | 14 | 7 646.49/646.65 c 363s | 17 | 258282 | 236132 | 4758 100 | 14 | 7 648.59/648.75 c 365s | 17 | 259573 | 237332 | 4758 101 | 14 | 7 650.79/650.91 c 367s | 17 | 261030 | 238632 | 4758 101 | 14 | 7 652.89/653.07 c 369s | 17 | 262329 | 239832 | 4758 101 | 14 | 7 654.99/655.18 c 371s | 17 | 263776 | 241132 | 4758 102 | 14 | 7 657.19/657.31 c 374s | 17 | 265101 | 242332 | 4758 103 | 14 | 7 659.29/659.42 c 376s | 17 | 266647 | 243732 | 4758 103 | 14 | 7 661.29/661.49 c 378s | 17 | 268049 | 245032 | 4758 104 | 14 | 7 663.39/663.53 c 380s | 17 | 269438 | 246332 | 4758 104 | 14 | 7 665.40/665.60 c 382s | 17 | 270866 | 247632 | 4758 105 | 14 | 7 667.49/667.64 c 384s | 17 | 272243 | 248932 | 4758 105 | 14 | 7 669.49/669.66 c 386s | 17 | 273527 | 250132 | 5234 105 | 14 | 7 671.49/671.68 c 388s | 17 | 274950 | 251432 | 5234 106 | 14 | 7 673.69/673.80 c 390s | 17 | 276327 | 252732 | 5234 106 | 14 | 7 675.69/675.81 c 392s | 17 | 277618 | 253932 | 5234 107 | 14 | 7 677.69/677.89 c 394s | 17 | 278951 | 255132 | 5234 107 | 14 | 7 679.80/679.90 c 396s | 17 | 280310 | 256332 | 5234 108 | 14 | 7 681.79/681.99 c 398s | 17 | 281854 | 257732 | 5234 108 | 14 | 7 683.89/684.02 c 400s | 17 | 283193 | 258932 | 5234 109 | 14 | 7 685.99/686.18 c 402s | 17 | 284765 | 260332 | 5234 109 | 14 | 7 688.09/688.21 c 405s | 17 | 285975 | 261432 | 5234 109 | 14 | 7 690.19/690.34 c 407s | 17 | 287267 | 262632 | 5234 110 | 14 | 7 692.29/692.41 c 409s | 17 | 288547 | 263832 | 5234 110 | 14 | 7 694.39/694.51 c 411s | 17 | 289887 | 265032 | 5234 111 | 14 | 7 696.39/696.55 c 413s | 17 | 291351 | 266432 | 5234 111 | 14 | 7 698.39/698.56 c 415s | 17 | 292757 | 267732 | 5234 112 | 14 | 7 700.48/700.62 c 417s | 17 | 294175 | 269032 | 5234 112 | 14 | 7 702.58/702.73 c 419s | 17 | 295561 | 270332 | 5234 113 | 14 | 7 704.68/704.87 c 421s | 17 | 297078 | 271732 | 5234 113 | 14 | 7 706.88/707.01 c 423s | 17 | 298504 | 273032 | 5234 114 | 14 | 7 708.98/709.11 c 425s | 17 | 299929 | 274332 | 5234 114 | 14 | 7 710.98/711.18 c 427s | 17 | 301022 | 275332 | 5234 115 | 14 | 7 713.18/713.36 c 430s | 17 | 302573 | 276732 | 5234 115 | 14 | 7 715.38/715.50 c 432s | 17 | 304204 | 278232 | 5234 116 | 14 | 7 717.38/717.56 c 434s | 17 | 305647 | 279532 | 5234 116 | 14 | 7 719.48/719.64 c 436s | 17 | 307050 | 280832 | 5234 117 | 14 | 7 721.59/721.78 c 438s | 17 | 308476 | 282132 | 5234 117 | 14 | 7 723.79/723.93 c 440s | 17 | 309787 | 283332 | 5234 117 | 14 | 7 725.78/725.97 c 442s | 17 | 310976 | 284432 | 5234 118 | 14 | 7 727.88/728.00 c 444s | 17 | 312265 | 285632 | 5234 118 | 14 | 7 729.88/730.03 c 446s | 17 | 313702 | 286932 | 5234 119 | 14 | 7 731.88/732.03 c 448s | 17 | 315008 | 288132 | 5234 119 | 14 | 7 733.97/734.17 c 450s | 17 | 316449 | 289432 | 5234 120 | 14 | 7 736.07/736.28 c 453s | 17 | 317904 | 290732 | 5234 120 | 14 | 7 738.08/738.28 c 455s | 17 | 319254 | 291932 | 5234 121 | 14 | 7 740.28/740.41 c 457s | 17 | 320616 | 293132 | 5234 121 | 14 | 7 742.27/742.48 c 459s | 17 | 321820 | 294232 | 5234 121 | 14 | 7 744.37/744.56 c 461s | 17 | 323039 | 295332 | 5234 122 | 14 | 7 746.17/746.34 c 463s | 18 | 324062 | 296252 | 5234 122 | 14 | 7 748.27/748.41 c 465s | 18 | 325293 | 297352 | 5234 123 | 14 | 7 750.37/750.52 c 467s | 18 | 326652 | 298552 | 5234 123 | 14 | 7 752.46/752.64 c 469s | 18 | 327980 | 299752 | 5234 123 | 14 | 7 754.47/754.65 c 471s | 18 | 329304 | 300952 | 5234 124 | 14 | 7 756.46/756.67 c 473s | 18 | 330591 | 302152 | 5234 124 | 14 | 7 758.56/758.75 c 475s | 18 | 331766 | 303252 | 5234 125 | 14 | 7 760.66/760.82 c 477s | 18 | 333079 | 304452 | 5234 125 | 14 | 7 762.76/762.99 c 479s | 18 | 334483 | 305752 | 5234 126 | 14 | 7 764.96/765.10 c 481s | 18 | 335912 | 307052 | 5234 126 | 14 | 7 767.06/767.22 c 484s | 18 | 337369 | 308352 | 5234 127 | 14 | 7 769.16/769.31 c 486s | 18 | 338661 | 309552 | 5234 127 | 14 | 7 771.25/771.40 c 488s | 18 | 339930 | 310652 | 5234 127 | 14 | 7 773.26/773.46 c 490s | 18 | 341250 | 311852 | 5234 128 | 14 | 7 775.36/775.55 c 492s | 18 | 342777 | 313152 | 5234 128 | 14 | 7 777.35/777.55 c 494s | 18 | 344183 | 314352 | 5234 129 | 14 | 7 779.45/779.64 c 496s | 18 | 345767 | 315752 | 5234 129 | 14 | 7 781.45/781.64 c 498s | 18 | 347074 | 316952 | 5234 130 | 14 | 7 783.54/783.77 c 500s | 18 | 348490 | 318252 | 5234 130 | 14 | 7 785.74/785.90 c 502s | 18 | 349762 | 319452 | 5234 131 | 14 | 7 787.84/788.08 c 504s | 18 | 350988 | 320552 | 5234 131 | 14 | 7 790.04/790.23 c 507s | 18 | 352223 | 321652 | 5234 132 | 14 | 7 792.04/792.27 c 509s | 18 | 353640 | 322952 | 5234 132 | 14 | 7 794.04/794.29 c 511s | 18 | 354968 | 324152 | 5234 132 | 14 | 7 796.14/796.30 c 513s | 18 | 356246 | 325252 | 5234 133 | 14 | 7 798.14/798.37 c 515s | 18 | 357565 | 326452 | 5234 133 | 14 | 7 800.24/800.45 c 517s | 18 | 358938 | 327652 | 5234 134 | 14 | 7 802.23/802.46 c 519s | 18 | 360273 | 328852 | 5234 134 | 14 | 7 804.33/804.53 c 521s | 18 | 361438 | 329952 | 5234 135 | 14 | 7 806.33/806.59 c 523s | 18 | 362734 | 331152 | 5234 135 | 14 | 7 808.53/808.72 c 525s | 18 | 364104 | 332452 | 5234 135 | 14 | 7 810.54/810.73 c 527s | 18 | 365453 | 333752 | 5234 136 | 14 | 7 812.53/812.73 c 529s | 18 | 366795 | 334952 | 5234 136 | 14 | 7 814.63/814.84 c 531s | 18 | 367907 | 335952 | 5234 137 | 14 | 7 816.83/817.00 c 533s | 18 | 368968 | 336952 | 5234 137 | 14 | 7 818.83/819.09 c 535s | 18 | 370216 | 338052 | 5234 138 | 14 | 7 820.93/821.10 c 537s | 18 | 371559 | 339252 | 5234 138 | 14 | 7 823.02/823.21 c 540s | 18 | 372872 | 340452 | 5234 138 | 14 | 7 825.12/825.31 c 542s | 18 | 374303 | 341752 | 5234 139 | 14 | 7 827.13/827.35 c 544s | 18 | 375703 | 343052 | 5234 139 | 14 | 7 829.23/829.44 c 546s | 18 | 377112 | 344352 | 5234 140 | 14 | 7 831.32/831.51 c 548s | 18 | 378526 | 345652 | 5234 140 | 14 | 7 833.31/833.57 c 550s | 18 | 379964 | 346952 | 5234 141 | 14 | 7 835.51/835.72 c 552s | 18 | 381625 | 348452 | 5234 141 | 14 | 7 837.61/837.81 c 554s | 18 | 383058 | 349752 | 5234 142 | 14 | 7 839.71/839.92 c 556s | 18 | 384359 | 350952 | 5234 142 | 14 | 7 841.71/841.97 c 558s | 18 | 385587 | 352052 | 5234 143 | 14 | 7 843.81/844.00 c 560s | 18 | 386770 | 353152 | 5234 143 | 14 | 7 845.81/846.06 c 562s | 18 | 388199 | 354452 | 5234 144 | 14 | 7 847.81/848.07 c 564s | 18 | 389393 | 355552 | 5234 144 | 14 | 7 850.01/850.22 c 567s | 18 | 390705 | 356752 | 5234 145 | 14 | 7 852.10/852.34 c 569s | 18 | 392065 | 357952 | 5234 145 | 14 | 7 854.20/854.46 c 571s | 18 | 393482 | 359252 | 5234 145 | 14 | 7 856.30/856.54 c 573s | 18 | 395006 | 360652 | 5234 146 | 14 | 7 858.50/858.73 c 575s | 18 | 396601 | 362152 | 5234 146 | 14 | 7 860.60/860.86 c 577s | 18 | 398027 | 363452 | 5234 147 | 14 | 7 862.80/863.03 c 579s | 18 | 399310 | 364652 | 5234 147 | 14 | 7 864.90/865.16 c 581s | 18 | 400619 | 365852 | 5234 148 | 14 | 7 866.90/867.16 c 583s | 18 | 402007 | 367052 | 5234 148 | 14 | 7 869.00/869.28 c 586s | 18 | 403253 | 368152 | 5234 149 | 14 | 7 871.00/871.29 c 588s | 18 | 404551 | 369352 | 5234 149 | 14 | 7 873.20/873.43 c 590s | 18 | 405783 | 370452 | 5234 150 | 14 | 7 875.29/875.57 c 592s | 18 | 407222 | 371752 | 5234 150 | 14 | 7 877.39/877.69 c 594s | 18 | 408684 | 373052 | 5234 150 | 14 | 7 879.59/879.80 c 596s | 18 | 410022 | 374252 | 5234 151 | 14 | 7 881.59/881.83 c 598s | 18 | 411431 | 375552 | 5234 151 | 14 | 7 883.59/883.85 c 600s | 18 | 412820 | 376752 | 5234 152 | 14 | 7 885.69/885.91 c 602s | 18 | 414362 | 378152 | 5234 152 | 14 | 7 887.79/888.01 c 604s | 18 | 416018 | 379652 | 5234 153 | 14 | 7 889.88/890.17 c 606s | 18 | 417527 | 381052 | 5234 153 | 14 | 7 891.99/892.23 c 609s | 18 | 418936 | 382352 | 5234 154 | 14 | 7 893.98/894.25 c 611s | 18 | 420374 | 383652 | 5234 154 | 14 | 7 896.08/896.35 c 613s | 18 | 421762 | 384952 | 5234 155 | 14 | 7 898.18/898.48 c 615s | 18 | 423172 | 386252 | 5234 155 | 14 | 7 900.38/900.63 c 617s | 18 | 424635 | 387552 | 5234 156 | 14 | 7 902.48/902.75 c 619s | 18 | 425979 | 388752 | 5234 156 | 14 | 7 904.48/904.79 c 621s | 18 | 427292 | 389952 | 5234 157 | 14 | 7 906.58/906.83 c 623s | 18 | 428595 | 391152 | 5234 157 | 14 | 7 908.57/908.89 c 625s | 18 | 429891 | 392352 | 5234 158 | 14 | 7 910.68/910.92 c 627s | 18 | 431302 | 393652 | 5234 158 | 14 | 7 912.67/912.97 c 629s | 18 | 432721 | 394952 | 5234 159 | 14 | 7 914.77/915.08 c 631s | 18 | 434061 | 396152 | 5234 159 | 14 | 7 916.97/917.29 c 634s | 18 | 435390 | 397352 | 5234 160 | 14 | 7 919.08/919.32 c 636s | 18 | 436799 | 398652 | 5234 160 | 14 | 7 921.17/921.48 c 638s | 18 | 438337 | 400052 | 5234 161 | 14 | 7 923.27/923.58 c 640s | 18 | 439846 | 401452 | 5234 161 | 14 | 7 925.37/925.67 c 642s | 18 | 441366 | 402852 | 5234 162 | 14 | 7 927.47/927.75 c 644s | 18 | 442848 | 404252 | 5234 162 | 14 | 7 929.57/929.84 c 646s | 18 | 444422 | 405752 | 5234 163 | 14 | 7 931.67/931.92 c 648s | 18 | 445917 | 407152 | 5234 163 | 14 | 7 933.67/934.00 c 650s | 18 | 447411 | 408552 | 5234 164 | 14 | 7 935.76/936.04 c 652s | 18 | 448704 | 409752 | 5234 164 | 14 | 7 937.86/938.19 c 654s | 18 | 450193 | 411152 | 5234 165 | 14 | 7 939.86/940.19 c 656s | 18 | 451470 | 412352 | 5234 165 | 14 | 7 941.96/942.25 c 659s | 18 | 452782 | 413552 | 5234 166 | 14 | 7 944.06/944.33 c 661s | 18 | 454294 | 414952 | 5234 166 | 14 | 7 946.26/946.50 c 663s | 18 | 455812 | 416352 | 5234 167 | 14 | 7 948.26/948.50 c 665s | 18 | 457346 | 417752 | 5234 167 | 14 | 7 950.36/950.60 c 667s | 18 | 458911 | 419152 | 5234 168 | 14 | 7 952.36/952.64 c 669s | 18 | 460251 | 420352 | 5234 168 | 14 | 7 954.35/954.69 c 671s | 18 | 461622 | 421552 | 5234 168 | 14 | 7 956.55/956.83 c 673s | 18 | 462937 | 422752 | 5234 169 | 14 | 7 958.65/958.90 c 675s | 18 | 464244 | 423952 | 5234 169 | 14 | 7 960.65/960.97 c 677s | 18 | 465906 | 425452 | 5234 170 | 14 | 7 962.85/963.11 c 679s | 18 | 467258 | 426652 | 5234 170 | 14 | 7 964.85/965.11 c 681s | 18 | 468452 | 427752 | 5234 171 | 14 | 7 966.95/967.20 c 684s | 18 | 470075 | 429252 | 5234 171 | 14 | 7 969.04/969.32 c 686s | 18 | 471578 | 430652 | 5234 172 | 14 | 7 971.05/971.40 c 688s | 18 | 473090 | 432052 | 5234 172 | 14 | 7 973.14/973.43 c 690s | 18 | 474512 | 433352 | 5234 173 | 14 | 7 975.24/975.58 c 692s | 18 | 476105 | 434852 | 5234 173 | 14 | 7 977.34/977.63 c 694s | 18 | 477419 | 436052 | 5234 174 | 14 | 7 979.44/979.73 c 696s | 18 | 478750 | 437252 | 5234 174 | 14 | 7 981.54/981.83 c 698s | 18 | 480323 | 438552 | 5234 175 | 14 | 7 983.53/983.85 c 700s | 18 | 481664 | 439752 | 5234 175 | 14 | 7 985.63/985.97 c 702s | 18 | 483080 | 441052 | 5234 175 | 14 | 7 987.83/988.15 c 704s | 18 | 484520 | 442352 | 5234 176 | 14 | 7 989.84/990.19 c 706s | 18 | 485825 | 443552 | 5234 176 | 14 | 7 991.43/991.73 c 708s | 19 | 486919 | 444482 | 5234 177 | 14 | 7 993.43/993.80 c 710s | 19 | 488608 | 445982 | 5234 177 | 14 | 7 995.53/995.86 c 712s | 19 | 490170 | 447382 | 5234 178 | 14 | 7 997.63/997.90 c 714s | 19 | 491718 | 448782 | 5234 178 | 14 | 7 999.64/999.99 c 716s | 19 | 493270 | 450182 | 5234 179 | 14 | 7 1001.73/1002.01 c 718s | 19 | 494666 | 451482 | 5234 179 | 14 | 7 1003.82/1004.12 c 720s | 19 | 496173 | 452882 | 5234 180 | 14 | 7 1005.92/1006.22 c 723s | 19 | 497653 | 454282 | 5234 180 | 14 | 7 1008.02/1008.32 c 725s | 19 | 499132 | 455682 | 5234 181 | 14 | 7 1010.02/1010.37 c 727s | 19 | 500526 | 456982 | 5234 181 | 14 | 7 1012.12/1012.40 c 729s | 19 | 501935 | 458282 | 5234 182 | 14 | 7 1014.12/1014.41 c 731s | 19 | 503465 | 459682 | 5234 182 | 14 | 7 1016.13/1016.44 c 733s | 19 | 504990 | 461082 | 5234 183 | 14 | 7 1018.22/1018.55 c 735s | 19 | 506378 | 462382 | 5234 183 | 14 | 7 1020.32/1020.64 c 737s | 19 | 508003 | 463882 | 5234 184 | 14 | 7 1022.42/1022.76 c 739s | 19 | 509636 | 465382 | 5234 185 | 14 | 7 1024.52/1024.84 c 741s | 19 | 511059 | 466682 | 5234 185 | 14 | 7 1026.61/1026.95 c 743s | 19 | 512616 | 468082 | 5234 186 | 14 | 7 1028.71/1029.08 c 745s | 19 | 514134 | 469382 | 5234 186 | 14 | 7 1030.91/1031.26 c 748s | 19 | 515776 | 470882 | 5758 186 | 14 | 7 1032.91/1033.26 c 750s | 19 | 517176 | 472182 | 5758 187 | 14 | 7 1035.01/1035.32 c 752s | 19 | 518790 | 473682 | 5758 187 | 14 | 7 1037.12/1037.41 c 754s | 19 | 520370 | 475182 | 5758 188 | 14 | 7 1039.11/1039.50 c 756s | 19 | 522060 | 476782 | 5758 188 | 14 | 7 1041.21/1041.58 c 758s | 19 | 523499 | 478082 | 5758 189 | 14 | 7 1043.41/1043.72 c 760s | 19 | 524931 | 479382 | 5758 189 | 14 | 7 1045.51/1045.83 c 762s | 19 | 526234 | 480582 | 5758 190 | 14 | 7 1047.51/1047.86 c 764s | 19 | 527671 | 481882 | 5758 190 | 14 | 7 1049.61/1049.92 c 766s | 19 | 529102 | 483182 | 5758 190 | 14 | 7 1051.61/1051.94 c 768s | 19 | 530506 | 484482 | 5758 191 | 14 | 7 1053.70/1054.08 c 770s | 19 | 531917 | 485782 | 5758 191 | 14 | 7 1055.81/1056.17 c 772s | 19 | 533355 | 487082 | 5758 192 | 14 | 7 1057.91/1058.24 c 775s | 19 | 534659 | 488282 | 5758 192 | 14 | 7 1060.00/1060.31 c 777s | 19 | 536009 | 489482 | 5758 193 | 14 | 7 1062.09/1062.42 c 779s | 19 | 537655 | 490982 | 5758 193 | 14 | 7 1064.19/1064.55 c 781s | 19 | 539291 | 492482 | 5758 194 | 14 | 7 1066.29/1066.67 c 783s | 19 | 540831 | 493882 | 5758 194 | 14 | 7 1068.29/1068.67 c 785s | 19 | 542222 | 495182 | 5758 195 | 14 | 7 1070.39/1070.70 c 787s | 19 | 543521 | 496382 | 5758 195 | 14 | 7 1072.49/1072.80 c 789s | 19 | 544874 | 497582 | 5758 195 | 14 | 7 1074.59/1074.96 c 791s | 19 | 546280 | 498882 | 5758 196 | 14 | 7 1076.70/1077.02 c 793s | 19 | 547573 | 500082 | 5758 196 | 14 | 7 1078.69/1079.08 c 795s | 19 | 548887 | 501282 | 5758 197 | 14 | 7 1080.79/1081.18 c 797s | 19 | 550431 | 502682 | 5758 197 | 14 | 7 1082.89/1083.25 c 800s | 19 | 551909 | 503982 | 5758 198 | 14 | 7 1084.99/1085.36 c 802s | 19 | 553434 | 505382 | 5758 198 | 14 | 7 1087.18/1087.58 c 804s | 19 | 554975 | 506782 | 5758 199 | 14 | 7 1089.28/1089.64 c 806s | 19 | 556417 | 508082 | 5758 199 | 14 | 7 1091.38/1091.79 c 808s | 19 | 557830 | 509382 | 5758 199 | 14 | 7 1093.48/1093.86 c 810s | 19 | 559237 | 510682 | 5758 200 | 14 | 7 1095.58/1095.96 c 812s | 19 | 560576 | 511882 | 5758 200 | 14 | 7 1097.68/1098.06 c 814s | 19 | 561907 | 513082 | 5758 201 | 14 | 7 1099.79/1100.14 c 816s | 19 | 563405 | 514482 | 5758 201 | 14 | 7 1101.78/1102.18 c 818s | 19 | 564807 | 515782 | 5758 202 | 14 | 7 1103.77/1104.19 c 820s | 19 | 566255 | 517082 | 5758 202 | 14 | 7 1106.07/1106.40 c 823s | 19 | 567772 | 518482 | 5758 202 | 14 | 7 1108.07/1108.43 c 825s | 19 | 569172 | 519782 | 5758 203 | 14 | 7 1110.17/1110.50 c 827s | 19 | 570591 | 521082 | 5758 203 | 14 | 7 1112.27/1112.65 c 829s | 19 | 571988 | 522382 | 5758 204 | 14 | 7 1114.37/1114.79 c 831s | 19 | 573412 | 523682 | 5758 204 | 14 | 7 1116.57/1116.91 c 833s | 19 | 574830 | 524982 | 5758 205 | 14 | 7 1118.57/1118.94 c 835s | 19 | 576208 | 526282 | 5758 205 | 14 | 7 1120.68/1121.06 c 837s | 19 | 577635 | 527582 | 5758 206 | 14 | 7 1122.77/1123.16 c 839s | 19 | 579143 | 528982 | 5758 206 | 14 | 7 1124.87/1125.28 c 842s | 19 | 580640 | 530382 | 5758 206 | 14 | 7 1127.07/1127.41 c 844s | 19 | 582063 | 531682 | 5758 207 | 14 | 7 1129.07/1129.47 c 846s | 19 | 583454 | 532982 | 5758 207 | 14 | 7 1131.17/1131.52 c 848s | 19 | 585093 | 534482 | 5758 208 | 14 | 7 1133.16/1133.57 c 850s | 19 | 586913 | 536082 | 5758 208 | 14 | 7 1135.16/1135.59 c 852s | 19 | 588447 | 537482 | 5758 209 | 14 | 7 1137.26/1137.67 c 854s | 19 | 589819 | 538782 | 5758 209 | 14 | 7 1139.36/1139.74 c 856s | 19 | 591203 | 540082 | 5758 210 | 14 | 7 1141.36/1141.78 c 858s | 19 | 592622 | 541382 | 5758 210 | 14 | 7 1143.46/1143.81 c 860s | 19 | 594015 | 542682 | 5758 210 | 14 | 7 1145.55/1145.97 c 862s | 19 | 595403 | 543982 | 5758 211 | 14 | 7 1147.65/1148.04 c 864s | 19 | 596710 | 545182 | 5758 211 | 14 | 7 1149.75/1150.12 c 866s | 19 | 598005 | 546382 | 5758 212 | 14 | 7 1151.85/1152.23 c 869s | 19 | 599214 | 547482 | 5758 212 | 14 | 7 1153.85/1154.27 c 871s | 19 | 600407 | 548582 | 5758 212 | 14 | 7 1155.95/1156.38 c 873s | 19 | 601623 | 549682 | 5758 213 | 14 | 7 1157.95/1158.39 c 875s | 19 | 602932 | 550882 | 5758 213 | 14 | 7 1160.05/1160.40 c 877s | 19 | 604238 | 552082 | 5758 214 | 14 | 7 1162.05/1162.42 c 879s | 19 | 605540 | 553282 | 5758 214 | 14 | 7 1164.04/1164.46 c 881s | 19 | 606874 | 554482 | 5758 215 | 14 | 7 1166.04/1166.48 c 883s | 19 | 608427 | 555882 | 5758 215 | 14 | 7 1168.24/1168.62 c 885s | 19 | 610114 | 557382 | 5758 215 | 14 | 7 1170.34/1170.75 c 887s | 19 | 611625 | 558782 | 5758 216 | 14 | 7 1172.43/1172.89 c 889s | 19 | 613019 | 560082 | 5758 216 | 14 | 7 1174.63/1175.00 c 891s | 19 | 614423 | 561382 | 5758 217 | 14 | 7 1176.64/1177.02 c 893s | 19 | 615771 | 562682 | 5758 217 | 14 | 7 1178.63/1179.07 c 895s | 19 | 617207 | 563982 | 5758 218 | 14 | 7 1180.73/1181.18 c 897s | 19 | 618592 | 565282 | 5758 218 | 14 | 7 1182.83/1183.24 c 900s | 19 | 619896 | 566482 | 5758 218 | 14 | 7 1184.93/1185.36 c 902s | 19 | 621435 | 567882 | 5758 219 | 14 | 7 1187.03/1187.41 c 904s | 19 | 622824 | 569182 | 5758 219 | 14 | 7 1189.13/1189.50 c 906s | 19 | 624377 | 570582 | 5758 220 | 14 | 7 1191.13/1191.52 c 908s | 19 | 625702 | 571782 | 5758 220 | 14 | 7 1193.13/1193.59 c 910s | 19 | 626899 | 572882 | 5758 221 | 14 | 7 1195.22/1195.63 c 912s | 19 | 628326 | 574182 | 5758 221 | 14 | 7 1197.22/1197.65 c 914s | 19 | 629943 | 575682 | 5758 222 | 14 | 7 1199.22/1199.67 c 916s | 19 | 631481 | 577082 | 5758 222 | 14 | 7 1201.32/1201.76 c 918s | 19 | 632916 | 578382 | 5758 222 | 14 | 7 1203.42/1203.88 c 920s | 19 | 634613 | 579882 | 5758 223 | 14 | 7 1205.52/1205.97 c 922s | 19 | 636296 | 581382 | 5758 223 | 14 | 7 1207.62/1208.05 c 924s | 19 | 637954 | 582882 | 5758 224 | 14 | 7 1209.82/1210.21 c 927s | 19 | 639472 | 584282 | 5758 224 | 14 | 7 1211.92/1212.32 c 929s | 19 | 640856 | 585582 | 5758 225 | 14 | 7 1213.91/1214.35 c 931s | 19 | 642567 | 587182 | 5758 225 | 14 | 7 1216.01/1216.40 c 933s | 19 | 644251 | 588682 | 5758 226 | 14 | 7 1218.01/1218.46 c 935s | 19 | 645921 | 590182 | 5758 226 | 14 | 7 1220.11/1220.51 c 937s | 19 | 647564 | 591682 | 5758 227 | 14 | 7 1222.20/1222.66 c 939s | 19 | 649069 | 593082 | 5758 227 | 14 | 7 1224.30/1224.76 c 941s | 19 | 650489 | 594382 | 5758 228 | 14 | 7 1226.40/1226.82 c 943s | 19 | 652048 | 595782 | 5758 228 | 14 | 7 1228.41/1228.86 c 945s | 19 | 653360 | 596982 | 5758 229 | 14 | 7 1230.51/1230.96 c 947s | 19 | 654777 | 598282 | 5758 229 | 14 | 7 1232.60/1233.06 c 949s | 19 | 656175 | 599582 | 5758 230 | 14 | 7 1234.60/1235.07 c 951s | 19 | 657931 | 601182 | 5758 230 | 14 | 7 1236.61/1237.09 c 953s | 19 | 659458 | 602582 | 5758 231 | 14 | 7 1238.71/1239.11 c 955s | 19 | 661507 | 604482 | 5758 231 | 14 | 7 1240.71/1241.15 c 957s | 19 | 663420 | 606282 | 5758 232 | 14 | 7 1242.80/1243.23 c 960s | 19 | 665221 | 607982 | 5758 232 | 14 | 7 1244.91/1245.36 c 962s | 19 | 667132 | 609782 | 5758 233 | 14 | 7 1247.01/1247.41 c 964s | 19 | 668833 | 611382 | 5758 234 | 14 | 7 1249.00/1249.42 c 966s | 19 | 670551 | 612982 | 5758 234 | 14 | 7 1251.00/1251.43 c 968s | 19 | 672138 | 614382 | 5758 234 | 14 | 7 1253.10/1253.53 c 970s | 19 | 673625 | 615782 | 5758 235 | 14 | 7 1255.10/1255.59 c 972s | 19 | 675415 | 617482 | 5758 236 | 14 | 7 1257.30/1257.72 c 974s | 19 | 677019 | 618882 | 5758 236 | 14 | 7 1259.30/1259.74 c 976s | 19 | 678412 | 620182 | 5758 236 | 14 | 7 1261.40/1261.84 c 978s | 19 | 679929 | 621582 | 5758 237 | 14 | 7 1263.49/1263.99 c 980s | 19 | 681765 | 623282 | 5758 237 | 14 | 7 1265.59/1266.05 c 982s | 19 | 683448 | 624782 | 5758 238 | 14 | 7 1267.59/1268.08 c 984s | 19 | 685014 | 626182 | 5758 238 | 14 | 7 1269.69/1270.16 c 986s | 19 | 686633 | 627682 | 5758 239 | 14 | 7 1271.89/1272.31 c 989s | 19 | 688172 | 629082 | 5758 239 | 14 | 7 1273.98/1274.45 c 991s | 19 | 689642 | 630482 | 5758 240 | 14 | 7 1276.08/1276.50 c 993s | 19 | 691041 | 631782 | 5758 240 | 14 | 7 1278.08/1278.58 c 995s | 19 | 692549 | 633182 | 5758 241 | 14 | 7 1280.18/1280.61 c 997s | 19 | 693981 | 634482 | 5758 241 | 14 | 7 1282.18/1282.63 c 999s | 19 | 695398 | 635782 | 5758 242 | 14 | 7 1284.28/1284.79 c 1001s | 19 | 697013 | 637282 | 5758 242 | 14 | 7 1286.38/1286.80 c 1003s | 19 | 698588 | 638682 | 5758 243 | 14 | 7 1288.48/1288.92 c 1005s | 19 | 700241 | 640182 | 5758 243 | 14 | 7 1290.57/1291.03 c 1007s | 19 | 701637 | 641482 | 5758 244 | 14 | 7 1292.57/1293.03 c 1009s | 19 | 703147 | 642882 | 5758 244 | 14 | 7 1294.67/1295.11 c 1011s | 19 | 704541 | 644182 | 5758 244 | 14 | 7 1296.77/1297.22 c 1014s | 19 | 706061 | 645582 | 5758 245 | 14 | 7 1298.77/1299.29 c 1016s | 19 | 707613 | 646982 | 5758 245 | 14 | 7 1300.97/1301.42 c 1018s | 19 | 709059 | 648282 | 5758 246 | 14 | 7 1302.96/1303.48 c 1020s | 19 | 710587 | 649682 | 5758 246 | 14 | 7 1305.06/1305.53 c 1022s | 19 | 712228 | 651082 | 5758 247 | 14 | 7 1307.06/1307.56 c 1024s | 19 | 713714 | 652482 | 5758 247 | 14 | 7 1309.16/1309.61 c 1026s | 19 | 715264 | 653882 | 5758 248 | 14 | 7 1311.16/1311.66 c 1028s | 19 | 716703 | 655182 | 5758 248 | 14 | 7 1313.25/1313.76 c 1030s | 19 | 718203 | 656582 | 5758 248 | 14 | 7 1315.26/1315.79 c 1032s | 19 | 719629 | 657882 | 5758 249 | 14 | 7 1317.36/1317.84 c 1034s | 19 | 721129 | 659282 | 5758 249 | 14 | 7 1319.35/1319.85 c 1036s | 19 | 722791 | 660782 | 5758 250 | 14 | 7 1321.45/1321.97 c 1038s | 19 | 724519 | 662382 | 5758 251 | 14 | 7 1323.55/1324.09 c 1040s | 19 | 726213 | 663982 | 5758 251 | 14 | 7 1325.65/1326.10 c 1042s | 19 | 727701 | 665382 | 5758 251 | 14 | 7 1327.65/1328.13 c 1044s | 20 | 729235 | 666827 | 5758 252 | 14 | 7 1329.65/1330.17 c 1046s | 20 | 730665 | 668127 | 5758 252 | 14 | 7 1331.75/1332.20 c 1049s | 20 | 732129 | 669427 | 5758 253 | 14 | 7 1333.74/1334.21 c 1051s | 20 | 733674 | 670827 | 5758 253 | 14 | 7 1335.84/1336.31 c 1053s | 20 | 735191 | 672227 | 5758 254 | 14 | 7 1337.94/1338.42 c 1055s | 20 | 736811 | 673727 | 5758 254 | 14 | 7 1340.04/1340.56 c 1057s | 20 | 738480 | 675227 | 5758 255 | 14 | 7 1342.13/1342.68 c 1059s | 20 | 740145 | 676727 | 5758 255 | 14 | 7 1344.23/1344.78 c 1061s | 20 | 741800 | 678227 | 5758 256 | 14 | 7 1346.43/1346.93 c 1063s | 20 | 743544 | 679827 | 5758 256 | 14 | 7 1348.53/1349.06 c 1065s | 20 | 745092 | 681227 | 5758 257 | 14 | 7 1350.53/1351.08 c 1067s | 20 | 746533 | 682527 | 5758 257 | 14 | 7 1352.63/1353.17 c 1069s | 20 | 748082 | 683927 | 5758 258 | 14 | 7 1354.63/1355.19 c 1071s | 20 | 749381 | 685127 | 5758 258 | 14 | 7 1356.72/1357.25 c 1074s | 20 | 750666 | 686327 | 5758 259 | 14 | 7 1358.82/1359.35 c 1076s | 20 | 752086 | 687627 | 5758 259 | 14 | 7 1360.92/1361.45 c 1078s | 20 | 753530 | 688927 | 5758 259 | 14 | 7 1363.02/1363.53 c 1080s | 20 | 754819 | 690127 | 5758 260 | 14 | 7 1365.02/1365.59 c 1082s | 20 | 756232 | 691427 | 5758 260 | 14 | 7 1367.12/1367.60 c 1084s | 20 | 757676 | 692727 | 5758 261 | 14 | 7 1369.13/1369.66 c 1086s | 20 | 759160 | 694127 | 5758 261 | 14 | 7 1371.33/1371.84 c 1088s | 20 | 760684 | 695527 | 5758 262 | 14 | 7 1373.52/1374.01 c 1090s | 20 | 762185 | 696927 | 5758 262 | 14 | 7 1375.62/1376.15 c 1092s | 20 | 763468 | 698127 | 5758 263 | 14 | 7 1377.72/1378.20 c 1095s | 20 | 764864 | 699427 | 5758 263 | 14 | 7 1379.72/1380.26 c 1097s | 20 | 766300 | 700727 | 5758 263 | 14 | 7 1381.91/1382.41 c 1099s | 20 | 767715 | 702027 | 5758 264 | 14 | 7 1383.91/1384.47 c 1101s | 20 | 769267 | 703427 | 5758 264 | 14 | 7 1386.01/1386.55 c 1103s | 20 | 770664 | 704727 | 5758 265 | 14 | 7 1388.11/1388.68 c 1105s | 20 | 772340 | 706327 | 5758 265 | 14 | 7 1390.21/1390.75 c 1107s | 20 | 773768 | 707627 | 5758 266 | 14 | 7 1392.31/1392.84 c 1109s | 20 | 775209 | 708927 | 5758 266 | 14 | 7 1394.32/1394.86 c 1111s | 20 | 776641 | 710227 | 5758 267 | 14 | 7 1396.31/1396.86 c 1113s | 20 | 778039 | 711527 | 5758 267 | 14 | 7 1398.41/1398.92 c 1115s | 20 | 779358 | 712727 | 5758 267 | 14 | 7 1400.41/1400.94 c 1117s | 20 | 780799 | 714027 | 5758 268 | 14 | 7 1402.51/1403.05 c 1119s | 20 | 782290 | 715427 | 5758 268 | 14 | 7 1404.61/1405.15 c 1121s | 20 | 783820 | 716827 | 5758 269 | 14 | 7 1406.61/1407.18 c 1123s | 20 | 785230 | 718127 | 5758 269 | 14 | 7 1408.72/1409.22 c 1126s | 20 | 786826 | 719627 | 5758 270 | 14 | 7 1410.71/1411.28 c 1128s | 20 | 788330 | 721027 | 5758 270 | 14 | 7 1412.81/1413.35 c 1130s | 20 | 789900 | 722527 | 5758 271 | 14 | 7 1414.91/1415.49 c 1132s | 20 | 791482 | 724027 | 5758 271 | 14 | 7 1417.01/1417.54 c 1134s | 20 | 792761 | 725227 | 5758 272 | 14 | 7 1419.12/1419.67 c 1136s | 20 | 794367 | 726727 | 5758 272 | 14 | 7 1421.22/1421.74 c 1138s | 20 | 795850 | 728127 | 5758 273 | 14 | 7 1423.32/1423.81 c 1140s | 20 | 797289 | 729427 | 5758 273 | 14 | 7 1425.32/1425.88 c 1142s | 20 | 798695 | 730727 | 5758 274 | 14 | 7 1427.42/1427.97 c 1144s | 20 | 800248 | 732127 | 5758 274 | 14 | 7 1429.52/1430.05 c 1146s | 20 | 801565 | 733327 | 5758 274 | 14 | 7 1431.51/1432.05 c 1148s | 20 | 802870 | 734527 | 5758 275 | 14 | 7 1433.61/1434.19 c 1150s | 20 | 804314 | 735827 | 5758 275 | 14 | 7 1435.61/1436.19 c 1152s | 20 | 805633 | 737027 | 5758 276 | 14 | 7 1437.71/1438.22 c 1155s | 20 | 807052 | 738327 | 5758 276 | 14 | 7 1439.71/1440.28 c 1157s | 20 | 808460 | 739627 | 5758 277 | 14 | 7 1441.81/1442.31 c 1159s | 20 | 809954 | 741027 | 5758 277 | 14 | 7 1443.82/1444.32 c 1161s | 20 | 811395 | 742327 | 5758 277 | 14 | 7 1445.91/1446.45 c 1163s | 20 | 813061 | 743827 | 5758 278 | 14 | 7 1448.01/1448.52 c 1165s | 20 | 814671 | 745227 | 5758 278 | 14 | 7 1450.11/1450.65 c 1167s | 20 | 816200 | 746627 | 5758 279 | 14 | 7 1452.11/1452.68 c 1169s | 20 | 817732 | 748027 | 5758 279 | 14 | 7 1454.11/1454.69 c 1171s | 20 | 819210 | 749327 | 5758 280 | 14 | 7 1456.21/1456.74 c 1173s | 20 | 820762 | 750727 | 5758 280 | 14 | 7 1458.31/1458.86 c 1175s | 20 | 822510 | 752327 | 5758 281 | 14 | 7 1460.42/1460.94 c 1177s | 20 | 824145 | 753827 | 5758 281 | 14 | 7 1462.41/1462.95 c 1179s | 20 | 825665 | 755227 | 5758 282 | 14 | 7 1464.51/1465.05 c 1181s | 20 | 827299 | 756727 | 5758 282 | 14 | 7 1466.61/1467.17 c 1183s | 20 | 828832 | 758127 | 5758 283 | 14 | 7 1468.71/1469.27 c 1186s | 20 | 830564 | 759727 | 5758 283 | 14 | 7 1470.81/1471.35 c 1188s | 20 | 832189 | 761227 | 5758 284 | 14 | 7 1472.91/1473.45 c 1190s | 20 | 833716 | 762627 | 5758 284 | 14 | 7 1475.01/1475.56 c 1192s | 20 | 835242 | 764027 | 5758 285 | 14 | 7 1477.11/1477.60 c 1194s | 20 | 836698 | 765327 | 5758 285 | 14 | 7 1479.21/1479.71 c 1196s | 20 | 838126 | 766627 | 5758 286 | 14 | 7 1481.21/1481.74 c 1198s | 20 | 839569 | 767927 | 5758 286 | 14 | 7 1483.30/1483.82 c 1200s | 20 | 841116 | 769327 | 5758 286 | 14 | 7 1485.30/1485.82 c 1202s | 20 | 842716 | 770727 | 5758 287 | 14 | 7 1487.40/1487.91 c 1204s | 20 | 844722 | 772527 | 5758 288 | 14 | 7 1489.40/1489.94 c 1206s | 20 | 846512 | 774127 | 5758 288 | 14 | 7 1490.90/1491.46 c 1208s | 20 | 847729 | 775252 | 5758 288 | 15 | 9 1490.90/1491.46 c #cpu_time = 1204.910s 1490.90/1491.46 c #wall_clock_time = 1208.263s 1490.90/1491.46 c #decision = 847729 1490.90/1491.46 c #random_decision = 2096 1490.90/1491.46 c #conflict = 775252 1490.90/1491.46 c #restart = 20 1490.90/1491.46 c BCD2: updating lower bound of a core 1490.90/1491.46 c lower bound updated to 50 1490.90/1491.46 c BCD2: 50 <= obj <= 54 1490.90/1491.46 c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=1 1490.90/1491.46 c BCD2: #sat=3 #unsat=5 bias=5/8 1490.90/1491.46 c Solving starts ... 1490.90/1491.46 c ============================[ Search Statistics ]============================ 1490.90/1491.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1490.90/1491.46 c | | | | Limit GC | Var | Constra 1490.90/1491.46 c ============================================================================= 1490.90/1491.46 c 0.0s | 0 | 0 | 0 | 5758 0 | 17 | 10 1491.11/1491.61 c 0.2s | 1 | 131 | 100 | 5758 0 | 17 | 11 1491.30/1491.83 c 0.4s | 2 | 312 | 250 | 5758 0 | 17 | 11 1491.60/1492.19 c 0.7s | 3 | 570 | 475 | 5758 0 | 17 | 11 1492.21/1492.71 c 1.2s | 4 | 947 | 813 | 5758 0 | 17 | 11 1493.00/1493.59 c 2.1s | 5 | 1556 | 1320 | 5758 1 | 17 | 11 1494.30/1494.80 c 3.3s | 6 | 2407 | 2081 | 5758 1 | 17 | 11 1495.90/1496.47 c 5.0s | 7 | 3675 | 3223 | 5758 1 | 17 | 11 1498.00/1498.58 c 7.1s | 7 | 5249 | 4623 | 5758 2 | 17 | 11 1498.50/1499.06 c 7.6s | 8 | 5595 | 4936 | 5758 2 | 17 | 11 1500.70/1501.20 c 9.7s | 8 | 7062 | 6236 | 5758 2 | 17 | 11 1502.70/1503.24 c 11.8s | 8 | 8429 | 7436 | 5758 3 | 17 | 11 1502.80/1503.34 c 11.9s | 9 | 8506 | 7506 | 5758 3 | 17 | 11 1504.90/1505.41 c 14.0s | 9 | 10207 | 9006 | 5758 3 | 17 | 11 1507.00/1507.50 c 16.0s | 9 | 11847 | 10506 | 5758 4 | 17 | 11 1508.20/1508.77 c 17.3s | 10 | 12771 | 11361 | 5758 4 | 17 | 11 1510.30/1510.84 c 19.4s | 10 | 14454 | 12861 | 5758 4 | 17 | 11 1512.30/1512.85 c 21.4s | 10 | 15984 | 14261 | 5758 5 | 17 | 11 1514.40/1514.97 c 23.5s | 10 | 17605 | 15761 | 5758 5 | 17 | 11 1516.51/1517.04 c 25.6s | 11 | 19068 | 17144 | 5758 6 | 17 | 11 1518.61/1519.13 c 27.7s | 11 | 20526 | 18444 | 5758 6 | 17 | 11 1520.60/1521.14 c 29.7s | 11 | 21986 | 19744 | 5758 7 | 17 | 11 1522.60/1523.16 c 31.7s | 11 | 23551 | 21144 | 5758 7 | 17 | 11 1524.70/1525.23 c 33.8s | 11 | 24949 | 22444 | 5758 8 | 17 | 11 1526.80/1527.35 c 35.9s | 11 | 26524 | 23844 | 5758 8 | 17 | 11 1528.80/1529.37 c 37.9s | 11 | 27825 | 25044 | 5758 8 | 17 | 11 1530.10/1530.60 c 39.1s | 12 | 28664 | 25819 | 5758 9 | 17 | 11 1532.10/1532.65 c 41.2s | 12 | 30099 | 27119 | 6334 9 | 17 | 11 1534.20/1534.75 c 43.3s | 12 | 31583 | 28519 | 6334 9 | 17 | 11 1536.20/1536.80 c 45.3s | 12 | 32875 | 29719 | 6334 10 | 17 | 11 1538.30/1538.87 c 47.4s | 12 | 34314 | 31019 | 6334 10 | 17 | 11 1540.30/1540.87 c 49.4s | 12 | 35597 | 32219 | 6334 10 | 17 | 11 1542.40/1542.98 c 51.5s | 12 | 36997 | 33519 | 6334 11 | 17 | 11 1544.39/1544.98 c 53.5s | 12 | 38445 | 34819 | 6334 11 | 17 | 11 1546.49/1547.00 c 55.5s | 12 | 39861 | 36119 | 6334 12 | 17 | 11 1548.59/1549.10 c 57.6s | 12 | 41387 | 37519 | 6334 12 | 17 | 11 1550.60/1551.11 c 59.7s | 12 | 42756 | 38719 | 6334 12 | 17 | 11 1550.69/1551.29 c 59.8s | 13 | 42881 | 38832 | 6334 12 | 17 | 11 1552.80/1553.34 c 61.9s | 13 | 44402 | 40232 | 6334 13 | 17 | 11 1554.79/1555.36 c 63.9s | 13 | 45994 | 41632 | 6334 13 | 17 | 11 1556.99/1557.54 c 66.1s | 13 | 47658 | 43132 | 6334 14 | 17 | 11 1559.09/1559.63 c 68.2s | 13 | 48885 | 44232 | 6334 14 | 17 | 11 1561.09/1561.67 c 70.2s | 13 | 50238 | 45432 | 6334 15 | 17 | 11 1563.19/1563.70 c 72.2s | 13 | 51702 | 46732 | 6334 15 | 17 | 11 1565.19/1565.74 c 74.3s | 13 | 53259 | 48132 | 6334 15 | 17 | 11 1567.29/1567.87 c 76.4s | 13 | 54836 | 49532 | 6334 16 | 17 | 11 1569.39/1569.93 c 78.5s | 13 | 56220 | 50832 | 6334 16 | 17 | 11 1571.49/1572.09 c 80.6s | 13 | 57565 | 52032 | 6334 17 | 17 | 11 1573.59/1574.17 c 82.7s | 13 | 58872 | 53232 | 6334 17 | 17 | 11 1575.69/1576.29 c 84.8s | 13 | 60443 | 54632 | 6334 17 | 17 | 11 1577.89/1578.42 c 87.0s | 13 | 62112 | 56132 | 6334 18 | 17 | 11 1579.98/1580.53 c 89.1s | 13 | 63642 | 57532 | 6334 18 | 17 | 11 1581.29/1581.84 c 90.4s | 14 | 64532 | 58352 | 6334 18 | 17 | 11 1583.49/1584.10 c 92.6s | 14 | 65881 | 59552 | 6334 19 | 17 | 11 1585.58/1586.15 c 94.7s | 14 | 67358 | 60852 | 6334 19 | 17 | 11 1587.68/1588.21 c 96.8s | 14 | 68667 | 62052 | 6334 20 | 17 | 11 1589.68/1590.27 c 98.8s | 14 | 70283 | 63552 | 6334 20 | 17 | 11 1591.68/1592.27 c 100s | 14 | 71560 | 64752 | 6334 20 | 17 | 11 1593.78/1594.31 c 102s | 14 | 72976 | 66052 | 6334 21 | 17 | 11 1595.88/1596.41 c 104s | 14 | 74739 | 67652 | 6334 21 | 17 | 11 1597.98/1598.51 c 107s | 14 | 76291 | 69052 | 6334 22 | 17 | 11 1600.09/1600.64 c 109s | 14 | 77927 | 70552 | 6334 22 | 17 | 11 1602.19/1602.76 c 111s | 14 | 79512 | 72052 | 6334 23 | 17 | 11 1604.18/1604.79 c 113s | 14 | 81011 | 73452 | 6334 23 | 17 | 11 1606.38/1606.90 c 115s | 14 | 82402 | 74752 | 6334 23 | 17 | 11 1608.38/1608.94 c 117s | 14 | 83939 | 76152 | 6334 24 | 17 | 11 1610.38/1610.97 c 119s | 14 | 85329 | 77452 | 6334 24 | 17 | 11 1612.48/1613.01 c 121s | 14 | 86925 | 78952 | 6334 25 | 17 | 11 1614.48/1615.03 c 123s | 14 | 88523 | 80452 | 6334 25 | 17 | 11 1616.48/1617.10 c 125s | 14 | 89913 | 81752 | 6334 26 | 17 | 11 1618.58/1619.20 c 127s | 14 | 91435 | 83152 | 6334 26 | 17 | 11 1620.78/1621.34 c 129s | 14 | 92872 | 84452 | 6334 26 | 17 | 11 1622.88/1623.44 c 131s | 14 | 94303 | 85752 | 6334 27 | 17 | 11 1624.88/1625.47 c 134s | 14 | 95736 | 87052 | 6334 27 | 17 | 11 1625.88/1626.45 c 134s | 15 | 96346 | 87632 | 6334 27 | 17 | 11 1627.88/1628.49 c 137s | 15 | 97699 | 88832 | 6334 28 | 17 | 11 1629.88/1630.49 c 139s | 15 | 99138 | 90132 | 6334 28 | 17 | 11 1632.08/1632.62 c 141s | 15 | 100452 | 91332 | 6334 29 | 17 | 11 1634.09/1634.70 c 143s | 15 | 101855 | 92632 | 6334 29 | 17 | 11 1636.18/1636.76 c 145s | 15 | 103186 | 93832 | 6334 29 | 17 | 11 1638.28/1638.85 c 147s | 15 | 104780 | 95332 | 6334 30 | 17 | 11 1640.38/1640.96 c 149s | 15 | 106189 | 96632 | 6334 30 | 17 | 11 1642.58/1643.12 c 151s | 15 | 107599 | 97932 | 6334 31 | 17 | 11 1644.58/1645.14 c 153s | 15 | 108886 | 99132 | 6334 31 | 17 | 11 1646.68/1647.20 c 155s | 15 | 110245 | 100332 | 6334 31 | 17 | 11 1648.68/1649.24 c 157s | 15 | 111572 | 101532 | 6334 32 | 17 | 11 1650.88/1651.44 c 159s | 15 | 113011 | 102832 | 6334 32 | 17 | 11 1652.98/1653.54 c 162s | 15 | 114244 | 103932 | 6334 32 | 17 | 11 1654.99/1655.58 c 164s | 15 | 115640 | 105132 | 6334 33 | 17 | 11 1657.08/1657.69 c 166s | 15 | 117046 | 106432 | 6334 33 | 17 | 11 1659.18/1659.78 c 168s | 15 | 118476 | 107732 | 6334 34 | 17 | 11 1661.28/1661.80 c 170s | 15 | 119789 | 108932 | 6334 34 | 17 | 11 1663.28/1663.89 c 172s | 15 | 121062 | 110132 | 6334 34 | 17 | 11 1665.38/1665.98 c 174s | 15 | 122361 | 111332 | 6334 35 | 17 | 11 1667.58/1668.12 c 176s | 15 | 123796 | 112632 | 6334 35 | 17 | 11 1669.58/1670.17 c 178s | 15 | 125205 | 113932 | 6334 36 | 17 | 11 1671.68/1672.28 c 180s | 15 | 126486 | 115132 | 6334 36 | 17 | 11 1673.78/1674.34 c 182s | 15 | 128017 | 116532 | 6334 36 | 17 | 11 1675.88/1676.46 c 184s | 15 | 129643 | 118032 | 6334 37 | 17 | 11 1677.98/1678.58 c 187s | 15 | 131160 | 119432 | 6334 37 | 17 | 11 1679.98/1680.59 c 189s | 15 | 132391 | 120532 | 6334 38 | 17 | 11 1682.08/1682.61 c 191s | 15 | 133882 | 121832 | 6334 38 | 17 | 11 1684.18/1684.70 c 193s | 15 | 135304 | 123032 | 6334 38 | 17 | 11 1686.17/1686.77 c 195s | 15 | 136721 | 124332 | 6334 39 | 17 | 11 1688.27/1688.83 c 197s | 15 | 138136 | 125632 | 6334 39 | 17 | 11 1690.37/1690.91 c 199s | 15 | 139696 | 127032 | 6334 40 | 17 | 11 1692.38/1692.92 c 201s | 15 | 141142 | 128332 | 6334 40 | 17 | 11 1694.37/1694.93 c 203s | 15 | 142633 | 129732 | 6334 40 | 17 | 11 1696.47/1697.03 c 205s | 15 | 144118 | 131032 | 6334 41 | 17 | 11 1697.37/1697.95 c 206s | 16 | 144691 | 131552 | 6334 41 | 17 | 11 1699.37/1699.98 c 208s | 16 | 146021 | 132752 | 6334 41 | 17 | 11 1701.37/1701.98 c 210s | 16 | 147329 | 133952 | 6334 42 | 17 | 11 1703.57/1704.14 c 212s | 16 | 148731 | 135252 | 6334 42 | 17 | 11 1705.58/1706.18 c 214s | 16 | 150015 | 136452 | 6334 42 | 17 | 11 1707.67/1708.21 c 216s | 16 | 151391 | 137752 | 6334 43 | 17 | 11 1709.67/1710.27 c 218s | 16 | 152663 | 138952 | 6334 43 | 17 | 11 1711.87/1712.40 c 220s | 16 | 153973 | 140152 | 6334 44 | 17 | 11 1713.97/1714.52 c 223s | 16 | 155484 | 141552 | 6334 44 | 17 | 11 1716.07/1716.61 c 225s | 16 | 156750 | 142752 | 6334 44 | 17 | 11 1718.17/1718.70 c 227s | 16 | 158027 | 143952 | 6334 45 | 17 | 11 1720.17/1720.70 c 229s | 16 | 159304 | 145152 | 6334 45 | 17 | 11 1722.27/1722.81 c 231s | 16 | 160478 | 146252 | 6334 45 | 17 | 11 1724.37/1724.95 c 233s | 16 | 161800 | 147452 | 6334 46 | 17 | 11 1726.37/1726.96 c 235s | 16 | 163245 | 148752 | 6334 46 | 17 | 11 1728.57/1729.11 c 237s | 16 | 164755 | 150152 | 6334 47 | 17 | 11 1730.57/1731.15 c 239s | 16 | 166162 | 151452 | 6334 47 | 17 | 11 1732.57/1733.19 c 241s | 16 | 167477 | 152652 | 6334 47 | 17 | 11 1734.67/1735.26 c 243s | 16 | 168765 | 153852 | 6334 48 | 17 | 11 1736.67/1737.30 c 245s | 16 | 170030 | 155052 | 6334 48 | 17 | 11 1738.76/1739.33 c 247s | 16 | 171285 | 156252 | 6334 48 | 17 | 11 1740.87/1741.42 c 249s | 16 | 172661 | 157452 | 6334 49 | 17 | 11 1742.86/1743.42 c 251s | 16 | 174094 | 158752 | 6334 49 | 17 | 11 1744.86/1745.43 c 253s | 16 | 175439 | 159952 | 6334 50 | 17 | 11 1746.96/1747.59 c 256s | 16 | 176843 | 161252 | 6334 50 | 17 | 11 1749.06/1749.68 c 258s | 16 | 178261 | 162552 | 6334 50 | 17 | 11 1751.26/1751.86 c 260s | 16 | 179654 | 163852 | 6334 51 | 17 | 11 1753.36/1753.94 c 262s | 16 | 180931 | 165052 | 6334 51 | 17 | 11 1755.46/1756.02 c 264s | 16 | 182309 | 166252 | 6334 51 | 17 | 11 1757.46/1758.07 c 266s | 16 | 183780 | 167552 | 6334 52 | 17 | 11 1759.66/1760.21 c 268s | 16 | 185211 | 168852 | 6334 52 | 17 | 11 1761.67/1762.23 c 270s | 16 | 186695 | 170152 | 6334 53 | 17 | 11 1763.76/1764.33 c 272s | 16 | 188264 | 171552 | 6334 53 | 17 | 11 1765.86/1766.48 c 275s | 16 | 189767 | 172952 | 6334 53 | 17 | 11 1768.06/1768.62 c 277s | 16 | 191268 | 174352 | 6334 54 | 17 | 11 1770.06/1770.63 c 279s | 16 | 192853 | 175752 | 6334 54 | 17 | 11 1772.26/1772.80 c 281s | 16 | 194425 | 177152 | 6334 55 | 17 | 11 1774.26/1774.87 c 283s | 16 | 195763 | 178352 | 6334 55 | 17 | 11 1776.26/1776.87 c 285s | 16 | 197084 | 179552 | 6334 56 | 17 | 11 1778.36/1778.93 c 287s | 16 | 198504 | 180852 | 6334 56 | 17 | 11 1780.37/1780.99 c 289s | 16 | 199808 | 182052 | 6334 56 | 17 | 11 1782.57/1783.11 c 291s | 16 | 201110 | 183252 | 6334 57 | 17 | 11 1784.56/1785.18 c 293s | 16 | 202408 | 184452 | 6334 57 | 17 | 11 1786.76/1787.34 c 295s | 16 | 203685 | 185652 | 6334 57 | 17 | 11 1788.76/1789.38 c 297s | 16 | 204978 | 186852 | 6334 58 | 17 | 11 1790.86/1791.48 c 300s | 16 | 206553 | 188252 | 6334 58 | 17 | 11 1792.96/1793.53 c 302s | 16 | 207981 | 189552 | 6334 59 | 17 | 11 1794.96/1795.55 c 304s | 16 | 209373 | 190852 | 6334 59 | 17 | 11 1796.96/1797.58 c 306s | 16 | 210815 | 192152 | 6334 59 | 17 | 11 1799.06/1799.69 c 308s | 16 | 212232 | 193452 | 6334 60 | 17 | 11
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-4079672-1465241934/watcher-4079672-1465241934 -o /tmp/evaluation-result-4079672-1465241934/solver-4079672-1465241934 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1858 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079672-1465241934.opb pid=5547 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.32 2.10 2.02 3/179 5550 /proc/meminfo: memFree=31155624/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=740932 CPUtime=0 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 2766 0 0 0 0 0 0 0 20 0 4 0 106128347 758714368 3127 33554432000 4194304 16246674 140734278233312 140734278232736 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 185745 3137 442 2943 0 182639 0 [pid=5550/tid=5551] ppid=5547 vsize=758340 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 776540160 3197 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=763460 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 781783040 3214 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=767556 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106128347 785977344 3230 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.32 2.10 2.02 3/179 5550 /proc/meminfo: memFree=31155624/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1220164 CPUtime=0.09 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 29785 0 0 0 6 3 0 0 20 0 4 0 106128347 1249447936 30083 33554432000 4194304 16246674 140734278233312 140734278232624 12414001 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 305041 30097 834 2943 0 301935 0 [pid=5550/tid=5551] ppid=5547 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1249447936 30107 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1249447936 30112 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128347 1249447936 30121 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200516 s] /proc/loadavg: 2.32 2.10 2.02 3/179 5550 /proc/meminfo: memFree=31155624/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1220164 CPUtime=0.19 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 53350 0 0 0 12 7 0 0 20 0 4 0 106128347 1249447936 53648 33554432000 4194304 16246674 140734278233312 140734278232624 9616021 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 305041 53658 834 2943 0 301935 0 [pid=5550/tid=5551] ppid=5547 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1249447936 53665 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1249447936 53672 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128347 1249447936 53679 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1220164 [startup+0.300477 s] /proc/loadavg: 2.32 2.10 2.02 3/179 5550 /proc/meminfo: memFree=31155624/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1220164 CPUtime=0.29 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 63036 0 0 0 21 8 0 0 20 0 4 0 106128347 1249447936 63334 33554432000 4194304 16246674 140734278233312 140734278215232 5602147 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 305041 63337 884 2943 0 301935 0 [pid=5550/tid=5551] ppid=5547 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1249447936 63339 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1249447936 63341 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128347 1249447936 63342 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1220164 [startup+0.700402 s] /proc/loadavg: 2.32 2.10 2.02 3/179 5550 /proc/meminfo: memFree=31155624/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1220164 CPUtime=0.69 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 80869 0 0 0 59 10 0 0 20 0 4 0 106128347 1249447936 81167 33554432000 4194304 16246674 140734278233312 140734278215232 5602147 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 305041 81168 884 2943 0 301935 0 [pid=5550/tid=5551] ppid=5547 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1249447936 81169 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1249447936 81170 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128347 1249447936 81171 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1220164 [startup+1.50039 s] /proc/loadavg: 2.32 2.10 2.02 3/183 5554 /proc/meminfo: memFree=30520152/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1220164 CPUtime=1.49 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 126390 0 0 0 132 17 0 0 20 0 4 0 106128347 1249447936 126688 33554432000 4194304 16246674 140734278233312 140734278215232 5677277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 305041 126690 906 2943 0 301935 0 [pid=5550/tid=5551] ppid=5547 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1249447936 126692 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1249447936 126694 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128347 1249447936 126695 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1220164 [startup+3.1004 s] /proc/loadavg: 2.32 2.10 2.02 3/183 5554 /proc/meminfo: memFree=30175432/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1220164 CPUtime=3.09 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 202848 0 0 0 283 26 0 0 20 0 4 0 106128347 1249447936 203146 33554432000 4194304 16246674 140734278233312 140734278215232 12474613 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 305041 203149 906 2943 0 301935 0 [pid=5550/tid=5551] ppid=5547 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1249447936 203149 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1249447936 203150 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128347 1249447936 203151 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1220164 [startup+6.30039 s] /proc/loadavg: 2.29 2.10 2.02 3/183 5554 /proc/meminfo: memFree=29336264/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1284676 CPUtime=6.29 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 262253 0 0 0 595 34 0 0 20 0 4 0 106128347 1315508224 262551 33554432000 4194304 16246674 140734278233312 140734278215232 5825219 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 321169 262551 912 2943 0 318063 0 [pid=5550/tid=5551] ppid=5547 vsize=1284676 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1315508224 262551 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1284676 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1315508224 262551 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1284676 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106128347 1315508224 262551 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1284676 [startup+12.7004 s] /proc/loadavg: 2.35 2.11 2.03 3/183 5554 /proc/meminfo: memFree=29278552/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1303108 CPUtime=12.69 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 266956 0 0 0 1234 35 0 0 20 0 4 0 106128347 1334382592 267254 33554432000 4194304 16246674 140734278233312 140734278215232 13752941 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 325777 267254 916 2943 0 322671 0 [pid=5550/tid=5551] ppid=5547 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1334382592 267254 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1334382592 267254 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106128347 1334382592 267254 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1303108 [startup+25.5005 s] /proc/loadavg: 2.27 2.11 2.03 4/183 5554 /proc/meminfo: memFree=29268324/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1307204 CPUtime=25.49 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 268015 0 0 0 2514 35 0 0 20 0 4 0 106128347 1338576896 268313 33554432000 4194304 16246674 140734278233312 140734278215232 5824951 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 326801 268313 916 2943 0 323695 0 [pid=5550/tid=5551] ppid=5547 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1338576896 268313 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1338576896 268313 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106128347 1338576896 268313 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1307204 [startup+51.1005 s] /proc/loadavg: 2.24 2.11 2.03 3/183 5554 /proc/meminfo: memFree=29267056/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1309252 CPUtime=51.08 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 268394 0 0 0 5073 35 0 0 20 0 4 0 106128347 1340674048 268692 33554432000 4194304 16246674 140734278233312 140734278215232 5659568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 327313 268692 917 2943 0 324207 0 [pid=5550/tid=5551] ppid=5547 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1340674048 268692 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1340674048 268692 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106128347 1340674048 268692 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1309252 [startup+102.3 s] /proc/loadavg: 2.10 2.09 2.02 4/184 5558 /proc/meminfo: memFree=29266780/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1309252 CPUtime=102.28 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 268394 0 0 0 10193 35 0 0 20 0 4 0 106128347 1340674048 268692 33554432000 4194304 16246674 140734278233312 140734278215232 13752808 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 327313 268692 917 2943 0 324207 0 [pid=5550/tid=5551] ppid=5547 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1340674048 268692 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1340674048 268692 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106128347 1340674048 268692 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1309252 ################ # More data... # ################ /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106128347 1360596992 273949 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1328708 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/184 5589 /proc/meminfo: memFree=29227152/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1328708 CPUtime=1301.87 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 273772 0 0 0 130147 40 0 0 20 0 4 0 106128347 1360596992 273949 33554432000 4194304 16246674 140734278233312 140734278215232 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 332177 273949 920 2943 0 329071 0 [pid=5550/tid=5551] ppid=5547 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1360596992 273949 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1360596992 273949 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106128347 1360596992 273949 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1328708 [startup+1362.3 s] /proc/loadavg: 2.07 2.04 2.01 3/184 5613 /proc/meminfo: memFree=29227548/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1328708 CPUtime=1361.82 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 273817 0 0 0 136142 40 0 0 20 0 4 0 106128347 1360596992 273950 33554432000 4194304 16246674 140734278233312 140734278215232 5827784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 332177 273950 920 2943 0 329071 0 [pid=5550/tid=5551] ppid=5547 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1360596992 273950 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1360596992 273950 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106128347 1360596992 273950 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1328708 [startup+1422.3 s] /proc/loadavg: 2.03 2.03 2.00 3/183 5614 /proc/meminfo: memFree=29226972/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1328708 CPUtime=1421.82 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 273831 0 0 0 142141 41 0 0 20 0 4 0 106128347 1360596992 273950 33554432000 4194304 16246674 140734278233312 140734278215232 13774516 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 332177 273950 920 2943 0 329071 0 [pid=5550/tid=5551] ppid=5547 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1360596992 273950 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1360596992 273950 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106128347 1360596992 273950 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1328708 [startup+1482.3 s] /proc/loadavg: 2.12 2.05 2.01 3/183 5616 /proc/meminfo: memFree=29227172/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1328708 CPUtime=1481.8 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 273831 0 0 0 148139 41 0 0 20 0 4 0 106128347 1360596992 273950 33554432000 4194304 16246674 140734278233312 140734278215232 5673330 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 332177 273950 920 2943 0 329071 0 [pid=5550/tid=5551] ppid=5547 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1360596992 273950 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1360596992 273950 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106128347 1360596992 273950 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1328708 [startup+1542.31 s] /proc/loadavg: 2.04 2.04 2.00 3/183 5617 /proc/meminfo: memFree=29226808/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1328708 CPUtime=1541.8 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 273831 0 0 0 154139 41 0 0 20 0 4 0 106128347 1360596992 273950 33554432000 4194304 16246674 140734278233312 140734278215232 12415827 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 332177 273950 920 2943 0 329071 0 [pid=5550/tid=5551] ppid=5547 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1360596992 273950 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1360596992 273950 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106128347 1360596992 273950 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1328708 [startup+1602.3 s] /proc/loadavg: 2.16 2.06 2.01 3/183 5618 /proc/meminfo: memFree=29223364/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1331780 CPUtime=1601.78 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 274599 0 0 0 160137 41 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 140734278215232 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 332945 274718 920 2943 0 329839 0 [pid=5550/tid=5551] ppid=5547 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1331780 [startup+1662.3 s] /proc/loadavg: 2.06 2.05 2.00 3/183 5619 /proc/meminfo: memFree=29223808/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1331780 CPUtime=1661.78 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 274599 0 0 0 166136 42 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 140734278215232 13774524 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 332945 274718 920 2943 0 329839 0 [pid=5550/tid=5551] ppid=5547 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1331780 [startup+1722.3 s] /proc/loadavg: 2.15 2.07 2.01 3/183 5620 /proc/meminfo: memFree=29223688/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1331780 CPUtime=1721.77 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 274599 0 0 0 172135 42 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 140734278215232 5675963 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 332945 274718 920 2943 0 329839 0 [pid=5550/tid=5551] ppid=5547 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1331780 [startup+1782.3 s] /proc/loadavg: 2.05 2.05 2.00 3/183 5622 /proc/meminfo: memFree=29222316/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1331780 CPUtime=1781.76 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 274599 0 0 0 178134 42 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 140734278215232 13775094 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 332945 274718 920 2943 0 329839 0 [pid=5550/tid=5551] ppid=5547 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1331780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.04 2.05 2.00 3/183 5622 /proc/meminfo: memFree=29222568/32872528 swapFree=13600/559348 [pid=5550] ppid=5547 vsize=1331780 CPUtime=1800.05 cores=0,2,4,6 /proc/5550/stat : 5550 (toysat) R 5547 5550 1842 0 -1 4202496 274599 0 0 0 179963 42 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 140734278215232 13759557 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5550/statm: 332945 274718 920 2943 0 329839 0 [pid=5550/tid=5551] ppid=5547 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5551/stat : 5551 (toysat) S 5547 5550 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 139667792964848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=5550/tid=5552] ppid=5547 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5552/stat : 5552 (toysat) S 5547 5550 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 139667705933040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5550/tid=5553] ppid=5547 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/5550/task/5553/stat : 5553 (toysat) S 5547 5550 1842 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106128347 1363742720 274718 33554432000 4194304 16246674 140734278233312 139667695459504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1331780 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 5550 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.61 CPU time (s): 1800.07 CPU user time (s): 1799.64 CPU system time (s): 0.424935 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (KiB): 1331780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.64 system time used= 0.424935 maximum resident set size= 1098872 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274599 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= 450 involuntary context switches= 1838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.28935 second user time and 7.2389 second system time The end
Begin job on node106 at 2016-06-06 21:38:54 IDJOB=4079672 IDBENCH=2637 IDSOLVER=2542 FILE ID=node106/4079672-1465241934 RUNJOBID= node106-1465219870-1858 PBS_JOBID= 19843217 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_10.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079672-1465241934/watcher-4079672-1465241934 -o /tmp/evaluation-result-4079672-1465241934/solver-4079672-1465241934 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1858 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079672-1465241934.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 26699ac56f0d58d8261ff4eb58d81611 RANDOM SEED=1594918900 node106.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.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 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.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 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.775 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.64 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.775 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31172048 kB Buffers: 42072 kB Cached: 130944 kB SwapCached: 1852 kB Active: 345548 kB Inactive: 91824 kB Active(anon): 265432 kB Inactive(anon): 1280 kB Active(file): 80116 kB Inactive(file): 90544 kB Unevictable: 559348 kB Mlocked: 13600 kB SwapTotal: 67108856 kB SwapFree: 67098528 kB Dirty: 33848 kB Writeback: 0 kB AnonPages: 724996 kB Mapped: 10272 kB Shmem: 0 kB Slab: 568328 kB SReclaimable: 12612 kB SUnreclaim: 555716 kB KernelStack: 1464 kB PageTables: 6592 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1785284 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 450560 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= 71708 MiB End job on node106 at 2016-06-06 22:08:55