| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.51 |
| Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12017_7.std.opb |
| MD5SUM | f1ad880d8b0218ee8fbfe589c0282393 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 155 |
| Best CPU time to get the best result obtained on this benchmark | 1800.24 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 72842 |
| Total number of constraints | 234184 |
| Number of constraints which are clauses | 232984 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1200 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 120 |
| Number of terms in the objective function | 300 |
| Biggest coefficient in the objective function | 300 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 45150 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 300 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 45150 |
| Number of bits of the biggest sum of numbers | 16 |
| 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-19T01:13:48+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-4108557-1466291628.opb"] 0.00/0.01 c use --random-gen="4263116229 2649108816 3060979847 4133904130 3214214589 377781100 561050418 1991701747 244790605 2025646263 365626466 2341258521 1275109988 1702283962 3314026062 1511889803 1223834257 1821976952 2875240712 1079849687 764131977 3537040447 2518360697 35721167 2917257531 1852113201 972278962 3122595036 1332155888 3474592448 1432817504 430274523 519677184 3005590025 316949664 1349308127 2156283880 414132324 90201247 1382802727 2053541271 3349536854 1779200663 3989907495 2572056931 3236832185 2703040060 2971536047 2169823444 1996906602 1489033892 1355192152 3961412560 3776876715 2379648026 1132811191 1925025122 2950625002 2888433750 1390686558 97639866 4013844552 47242264 2978251719 2157139162 212811507 4022315872 2569556268 3906853651 958445999 1366693340 2161324082 1352502037 3360488028 3387812546 720307844 1018910037 1911826556 2481803521 1953918869 2978746446 1308505507 3320167795 3247060904 1990242228 34261668 4050411026 163544175 2084992504 2014232525 2823422359 2447318127 3244512073 4024287196 1331169878 2429512639 340708237 2915320559 1451952495 743050537 1234384459 2345307575 1756986131 3342844854 1760110285 3495777717 263010919 2107775738 2765533950 3811918662 2958516383 3781579687 692853926 3214391842 3704496860 3144344751 2365159644 165589109 2459149075 525222343 701093130 976229311 3414247262 2585781576 1803462724 2275302534 2934205871 2689794606 1314395683 275773640 1214154416 2151591331 3688368412 1552850137 2904848692 2906159469 4012474792 1916414745 1566521928 993100631 448587861 58223411 4070032969 3756577705 277167305 2566505134 2252610947 2650898415 3785862176 1076690912 2308786159 467494411 3933512528 1020781988 560340641 753704277 3222851754 1048767318 1469892761 547577231 3778079669 84902406 3334580007 3327933835 490051804 1876875211 2760163539 3849638436 1502446368 1474700474 1549596591 2411086153 2875040565 3683241539 326383968 3781796144 2215975494 1346912465 1726192371 853571006 3794478052 3360030180 2758713088 1408835513 2167335968 1214048604 423194337 4100504658 3158511757 1459177367 2371841620 2438711527 3888868600 421330321 2961131893 2647365198 138850832 2968899270 3706726571 120078153 2728136230 2630404306 790453423 3672346585 1056929566 3058375452 3508364637 3116255499 858791308 58262445 1435393182 2250163660 2248844102 3077924433 2252507500 732635340 3431196928 2121317379 1189094563 1444723051 3596336966 3617247536 3339081781 1277699628 2579935514 1668334771 3218074609 1742957710 1073913598 809274914 1429551859 2646940275 347545178 1656648795 1206335399 3077494191 3826179121 3178076105 2858357370 948351953 1013206775 2426815344 4039824172 2908770919 3678202823 3297755540 2443910629 630403978 3379335101 1937551450 4277019462 577349201 791142951 2704415633 1296511039 3227515345 255 362436" option to reproduce the execution 1.38/1.44 c #vars 72842 1.38/1.44 c #constraints 234184 4.40/4.46 c BCD2: Hardening is enabled. 4.40/4.46 c BCD2: BiasedSearch is enabled. 4.40/4.46 c Solving starts ... 4.79/4.81 c ============================[ Search Statistics ]============================ 4.79/4.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.81 c | | | | Limit GC | Var | Constra 4.79/4.81 c ============================================================================= 4.79/4.81 c 0.0s | 0 | 0 | 0 | 89311 0 | 15512 | 0 4.89/4.96 c 0.3s | 0 | 122 | 0 | 89311 0 | 15512 | 19636 4.89/4.96 c #cpu_time = 0.231s 4.89/4.96 c #wall_clock_time = 0.232s 4.89/4.96 c #decision = 122 4.89/4.96 c #random_decision = 1 4.89/4.96 c #conflict = 0 4.89/4.96 c #restart = 0 4.89/4.96 o 300 4.89/4.96 c BCD2: hardening fixes 1 literals 4.89/4.96 c BCD2: updating upper bound: 45150 -> 299 4.89/4.96 c BCD2: 0 <= obj <= 299 4.89/4.96 c BCD2: #cores=0, #unrelaxed=299, #relaxed=0, #hardened=1 4.89/4.96 c BCD2: #sat=1 #unsat=1 bias=1/2 4.89/4.96 c Solving starts ... 4.89/4.96 c ============================[ Search Statistics ]============================ 4.89/4.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.89/4.96 c | | | | Limit GC | Var | Constra 4.89/4.96 c ============================================================================= 4.89/4.96 c 0.0s | 0 | 0 | 0 | 89311 0 | 15754 | 19636 5.09/5.17 c 0.2s | 0 | 201 | 0 | 89311 0 | 15754 | 20421 5.09/5.17 c #cpu_time = 0.192s 5.09/5.17 c #wall_clock_time = 0.193s 5.09/5.17 c #decision = 201 5.09/5.17 c #random_decision = 0 5.09/5.17 c #conflict = 0 5.09/5.17 c #restart = 0 5.09/5.17 c BCD2: found a new core of size 202: cost of the new core is >=98 5.09/5.17 c lower bound updated to 98 5.09/5.17 c BCD2: 98 <= obj <= 299 5.09/5.17 c BCD2: #cores=1, #unrelaxed=97, #relaxed=202, #hardened=1 5.09/5.17 c BCD2: #sat=1 #unsat=2 bias=2/3 6.60/6.65 c Solving starts ... 6.60/6.65 c ============================[ Search Statistics ]============================ 6.60/6.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.60/6.65 c | | | | Limit GC | Var | Constra 6.60/6.65 c ============================================================================= 6.60/6.65 c 0.0s | 0 | 0 | 0 | 89311 0 | 15754 | 20421 6.99/7.00 c 0.4s | 1 | 174 | 100 | 89311 0 | 15754 | 20421 7.49/7.58 c 0.9s | 2 | 358 | 250 | 98243 0 | 15754 | 20421 8.19/8.28 c 1.6s | 3 | 671 | 475 | 108068 0 | 15754 | 20421 9.09/9.19 c 2.5s | 4 | 1090 | 813 | 118875 0 | 15754 | 20421 10.39/10.48 c 3.8s | 5 | 1748 | 1320 | 130763 0 | 15754 | 20421 12.39/12.47 c 5.8s | 6 | 2662 | 2081 | 158224 0 | 15754 | 20421 14.59/14.63 c 8.0s | 6 | 3676 | 2881 | 158224 0 | 15754 | 20421 15.40/15.43 c 8.8s | 7 | 4101 | 3223 | 174047 0 | 15754 | 20421 17.49/17.58 c 10.9s | 7 | 5068 | 4023 | 174047 0 | 15754 | 20421 19.59/19.69 c 13.0s | 7 | 6161 | 4923 | 191452 0 | 15754 | 20421 19.69/19.74 c 13.1s | 8 | 6178 | 4936 | 191452 0 | 15754 | 20421 21.79/21.85 c 15.2s | 8 | 7091 | 5636 | 191452 0 | 15754 | 20421 23.89/23.97 c 17.3s | 8 | 8087 | 6436 | 191452 0 | 15754 | 20421 26.09/26.15 c 19.5s | 8 | 9311 | 7436 | 191452 0 | 15754 | 20421 26.29/26.39 c 19.7s | 9 | 9391 | 7506 | 210598 0 | 15754 | 20421 28.59/28.63 c 22.0s | 9 | 10244 | 8206 | 210598 0 | 15754 | 20421 30.59/30.68 c 24.0s | 9 | 11041 | 8906 | 210598 0 | 15754 | 20421 32.78/32.82 c 26.2s | 9 | 12057 | 9706 | 210598 0 | 15754 | 20421 35.08/35.11 c 28.5s | 9 | 13035 | 10506 | 210598 0 | 15754 | 20421 37.18/37.24 c 30.6s | 9 | 14053 | 11306 | 231658 0 | 15754 | 20421 37.39/37.41 c 30.8s | 10 | 14125 | 11361 | 231658 0 | 15754 | 20421 39.69/39.73 c 33.1s | 10 | 15039 | 12061 | 231658 0 | 15754 | 20421 41.89/41.99 c 35.3s | 10 | 15853 | 12761 | 231658 0 | 15754 | 20421 43.99/44.06 c 37.4s | 10 | 16779 | 13461 | 231658 0 | 15754 | 20421 46.08/46.16 c 39.5s | 10 | 17603 | 14161 | 231658 0 | 15754 | 20421 47.88/47.98 c 41.3s | 10 | 18302 | 14718 | 231658 0 | 15755 | 20422 47.88/47.98 c #cpu_time = 41.227s 47.88/47.98 c #wall_clock_time = 41.336s 47.88/47.98 c #decision = 18302 47.88/47.98 c #random_decision = 9 47.88/47.98 c #conflict = 14718 47.88/47.98 c #restart = 10 47.88/47.98 c BCD2: updating lower bound of a core 47.88/47.98 c lower bound updated to 99 47.88/47.98 c BCD2: 99 <= obj <= 299 47.88/47.98 c BCD2: #cores=1, #unrelaxed=97, #relaxed=202, #hardened=1 47.88/47.98 c BCD2: #sat=1 #unsat=3 bias=3/4 49.49/49.58 c Solving starts ... 49.49/49.58 c ============================[ Search Statistics ]============================ 49.49/49.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 49.49/49.58 c | | | | Limit GC | Var | Constra 49.49/49.58 c ============================================================================= 49.49/49.58 c 0.0s | 0 | 0 | 0 | 231658 0 | 15755 | 20422 50.08/50.11 c 0.5s | 1 | 141 | 100 | 231658 0 | 15755 | 20422 50.78/50.84 c 1.3s | 2 | 374 | 250 | 231658 0 | 15755 | 20422 51.69/51.73 c 2.2s | 3 | 688 | 475 | 231658 0 | 15755 | 20422 53.18/53.21 c 3.6s | 4 | 1149 | 813 | 231658 0 | 15755 | 20422 54.78/54.89 c 5.3s | 5 | 1828 | 1320 | 231658 0 | 15755 | 20422 57.08/57.11 c 7.5s | 5 | 2679 | 1920 | 231658 0 | 15755 | 20422 57.48/57.57 c 8.0s | 6 | 2866 | 2081 | 231658 0 | 15755 | 20422 59.58/59.64 c 10.1s | 6 | 3720 | 2681 | 254824 0 | 15755 | 20422 61.08/61.10 c 11.5s | 7 | 4396 | 3223 | 254824 0 | 15755 | 20422 63.28/63.31 c 13.7s | 7 | 5316 | 3923 | 254824 0 | 15755 | 20422 65.38/65.43 c 15.8s | 7 | 6207 | 4623 | 254824 0 | 15755 | 20422 66.28/66.34 c 16.8s | 8 | 6650 | 4936 | 254824 0 | 15755 | 20422 68.48/68.57 c 19.0s | 8 | 7543 | 5636 | 254824 0 | 15755 | 20422 70.48/70.58 c 21.0s | 8 | 8311 | 6236 | 254824 0 | 15755 | 20422 72.58/72.66 c 23.1s | 8 | 9081 | 6836 | 254824 0 | 15755 | 20422 74.58/74.66 c 25.1s | 8 | 9841 | 7436 | 254824 0 | 15755 | 20422 74.88/74.93 c 25.3s | 9 | 9937 | 7506 | 254824 0 | 15755 | 20422 76.98/77.10 c 27.5s | 9 | 10711 | 8106 | 254824 0 | 15755 | 20422 79.08/79.16 c 29.6s | 9 | 11672 | 8806 | 254824 0 | 15755 | 20422 81.18/81.26 c 31.7s | 9 | 12539 | 9506 | 254824 0 | 15755 | 20422 83.48/83.53 c 34.0s | 9 | 13532 | 10306 | 254824 0 | 15755 | 20422 85.78/85.82 c 36.2s | 9 | 14434 | 11006 | 280307 0 | 15755 | 20422 86.88/86.96 c 37.4s | 10 | 14895 | 11361 | 280307 0 | 15755 | 20422 88.97/89.09 c 39.5s | 10 | 15546 | 11861 | 280307 0 | 15755 | 20422 91.07/91.19 c 41.6s | 10 | 16447 | 12561 | 280307 0 | 15755 | 20422 93.17/93.27 c 43.7s | 10 | 17319 | 13261 | 280307 0 | 15755 | 20422 95.27/95.39 c 45.8s | 10 | 18027 | 13861 | 280307 0 | 15755 | 20422 97.37/97.43 c 47.9s | 10 | 18740 | 14461 | 280307 0 | 15755 | 20422 99.47/99.57 c 50.0s | 10 | 19474 | 15061 | 280307 0 | 15755 | 20422 101.57/101.65 c 52.1s | 10 | 20229 | 15661 | 280307 0 | 15755 | 20422 103.97/104.00 c 54.4s | 10 | 21045 | 16361 | 280307 0 | 15755 | 20422 106.17/106.22 c 56.6s | 10 | 21936 | 17061 | 280307 0 | 15755 | 20422 106.37/106.48 c 56.9s | 11 | 22034 | 17144 | 280307 0 | 15755 | 20422 108.47/108.58 c 59.0s | 11 | 22695 | 17644 | 280307 0 | 15755 | 20422 110.57/110.64 c 61.1s | 11 | 23458 | 18244 | 280307 0 | 15755 | 20422 112.77/112.87 c 63.3s | 11 | 24194 | 18844 | 280307 0 | 15755 | 20422 114.97/115.05 c 65.5s | 11 | 24928 | 19444 | 280307 0 | 15755 | 20422 117.27/117.37 c 67.8s | 11 | 25686 | 20044 | 280307 0 | 15755 | 20422 119.57/119.63 c 70.0s | 11 | 26450 | 20644 | 280307 0 | 15755 | 20422 121.97/122.04 c 72.5s | 11 | 27167 | 21244 | 280307 0 | 15755 | 20422 123.97/124.05 c 74.5s | 11 | 27830 | 21744 | 280307 0 | 15755 | 20422 126.27/126.39 c 76.8s | 11 | 28560 | 22344 | 280307 0 | 15755 | 20422 128.37/128.46 c 78.9s | 11 | 29148 | 22844 | 280307 0 | 15755 | 20422 130.37/130.47 c 80.9s | 11 | 29751 | 23344 | 280307 0 | 15755 | 20422 132.66/132.71 c 83.1s | 11 | 30506 | 23944 | 308338 0 | 15755 | 20422 134.96/135.01 c 85.4s | 11 | 31241 | 24544 | 308338 0 | 15755 | 20422 136.96/137.05 c 87.5s | 11 | 31843 | 25044 | 308338 0 | 15755 | 20422 138.96/139.06 c 89.5s | 11 | 32448 | 25544 | 308338 0 | 15755 | 20422 140.06/140.13 c 90.5s | 12 | 32777 | 25819 | 308338 0 | 15755 | 20422 142.16/142.23 c 92.6s | 12 | 33285 | 26219 | 308338 0 | 15755 | 20422 144.46/144.50 c 94.9s | 12 | 33927 | 26719 | 308338 0 | 15755 | 20422 146.56/146.64 c 97.1s | 12 | 34532 | 27219 | 308338 0 | 15755 | 20422 148.57/148.65 c 99.1s | 12 | 35160 | 27719 | 308338 0 | 15755 | 20422 150.96/151.03 c 101s | 12 | 35901 | 28319 | 308338 0 | 15755 | 20422 153.06/153.12 c 103s | 12 | 36500 | 28819 | 308338 0 | 15755 | 20422 155.46/155.53 c 105s | 12 | 37102 | 29319 | 308338 0 | 15755 | 20422 157.56/157.68 c 108s | 12 | 37729 | 29819 | 308338 0 | 15755 | 20422 159.76/159.83 c 110s | 12 | 38355 | 30319 | 308338 0 | 15755 | 20422 161.96/162.01 c 112s | 12 | 39087 | 30919 | 308338 0 | 15755 | 20422 164.06/164.17 c 114s | 12 | 39693 | 31419 | 308338 0 | 15755 | 20422 166.16/166.21 c 116s | 12 | 40302 | 31919 | 308338 0 | 15755 | 20422 168.26/168.38 c 118s | 12 | 40923 | 32419 | 308338 0 | 15755 | 20422 170.46/170.51 c 120s | 12 | 41515 | 32919 | 308338 0 | 15755 | 20422 172.45/172.52 c 122s | 12 | 42120 | 33419 | 308338 0 | 15755 | 20422 174.45/174.53 c 124s | 12 | 42703 | 33919 | 308338 0 | 15755 | 20422 176.65/176.78 c 127s | 12 | 43342 | 34419 | 308338 0 | 15755 | 20422 178.65/178.78 c 129s | 12 | 43800 | 34819 | 308338 0 | 15755 | 20422 180.95/181.08 c 131s | 12 | 44374 | 35319 | 308338 0 | 15755 | 20422 183.25/183.35 c 133s | 12 | 45153 | 35919 | 308338 0 | 15755 | 20422 185.55/185.67 c 136s | 12 | 45732 | 36419 | 308338 0 | 15755 | 20422 187.95/188.00 c 138s | 12 | 46307 | 36919 | 308338 0 | 15755 | 20422 190.26/190.37 c 140s | 12 | 46930 | 37419 | 308338 0 | 15755 | 20422 192.65/192.77 c 143s | 12 | 47530 | 37919 | 308338 0 | 15755 | 20422 195.05/195.13 c 145s | 12 | 48128 | 38419 | 308338 0 | 15755 | 20422 196.75/196.90 c 147s | 13 | 48639 | 38832 | 308338 0 | 15755 | 20422 198.84/198.99 c 149s | 13 | 48997 | 39132 | 308338 0 | 15755 | 20422 201.25/201.38 c 151s | 13 | 49604 | 39632 | 308338 0 | 15755 | 20422 202.94/203.07 c 153s | 13 | 49910 | 39893 | 308338 0 | 15756 | 20423 202.94/203.07 c #cpu_time = 153.067s 202.94/203.07 c #wall_clock_time = 153.493s 202.94/203.07 c #decision = 49910 202.94/203.07 c #random_decision = 21 202.94/203.07 c #conflict = 39893 202.94/203.07 c #restart = 13 202.94/203.07 c BCD2: updating lower bound of a core 202.94/203.07 c lower bound updated to 100 202.94/203.07 c BCD2: 100 <= obj <= 299 202.94/203.07 c BCD2: #cores=1, #unrelaxed=97, #relaxed=202, #hardened=1 202.94/203.07 c BCD2: #sat=1 #unsat=4 bias=4/5 204.65/204.73 c Solving starts ... 204.65/204.73 c ============================[ Search Statistics ]============================ 204.65/204.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 204.65/204.73 c | | | | Limit GC | Var | Constra 204.65/204.73 c ============================================================================= 204.65/204.73 c 0.0s | 0 | 0 | 0 | 308338 0 | 15756 | 20423 205.65/205.79 c 1.1s | 1 | 159 | 100 | 308338 0 | 15756 | 20423 206.85/206.95 c 2.2s | 2 | 375 | 250 | 308338 0 | 15756 | 20423 208.34/208.45 c 3.7s | 3 | 684 | 475 | 308338 0 | 15756 | 20423 210.24/210.34 c 5.6s | 4 | 1149 | 813 | 308338 0 | 15756 | 20423 212.64/212.76 c 8.0s | 4 | 1852 | 1313 | 308338 0 | 15756 | 20423 212.74/212.81 c 8.1s | 5 | 1859 | 1320 | 308338 0 | 15756 | 20423 215.14/215.26 c 10.5s | 5 | 2385 | 1720 | 308338 0 | 15756 | 20423 216.94/217.02 c 12.3s | 6 | 2806 | 2081 | 308338 0 | 15756 | 20423 219.14/219.28 c 14.5s | 6 | 3451 | 2581 | 308338 0 | 15756 | 20423 221.24/221.34 c 16.6s | 6 | 4216 | 3181 | 308338 0 | 15756 | 20423 221.44/221.50 c 16.8s | 7 | 4268 | 3223 | 308338 0 | 15756 | 20423 223.44/223.51 c 18.8s | 7 | 4758 | 3623 | 339172 0 | 15756 | 20423 225.54/225.63 c 20.9s | 7 | 5332 | 4123 | 339172 0 | 15756 | 20423 227.53/227.70 c 23.0s | 7 | 5964 | 4623 | 339172 0 | 15756 | 20423 229.03/229.10 c 24.4s | 8 | 6337 | 4936 | 339172 0 | 15756 | 20423 231.13/231.24 c 26.5s | 8 | 6720 | 5236 | 339172 0 | 15756 | 20423 233.53/233.67 c 28.9s | 8 | 7348 | 5736 | 339172 0 | 15756 | 20423 235.83/235.94 c 31.2s | 8 | 8058 | 6336 | 339172 0 | 15756 | 20423 238.03/238.10 c 33.4s | 8 | 8663 | 6836 | 339172 0 | 15756 | 20423 240.23/240.31 c 35.6s | 8 | 9280 | 7336 | 339172 0 | 15756 | 20423 240.94/241.09 c 36.4s | 9 | 9483 | 7506 | 339172 0 | 15756 | 20423 243.33/243.49 c 38.8s | 9 | 9998 | 7906 | 339172 0 | 15756 | 20423 245.73/245.84 c 41.1s | 9 | 10648 | 8406 | 339172 0 | 15756 | 20423 247.83/247.90 c 43.2s | 9 | 11247 | 8906 | 339172 0 | 15756 | 20423 249.93/250.08 c 45.3s | 9 | 11853 | 9406 | 339172 0 | 15756 | 20423 252.33/252.40 c 47.7s | 9 | 12435 | 9906 | 339172 0 | 15756 | 20423 254.43/254.57 c 49.8s | 9 | 13099 | 10406 | 339172 0 | 15756 | 20423 256.53/256.66 c 51.9s | 9 | 13693 | 10906 | 339172 0 | 15756 | 20423 258.63/258.74 c 54.0s | 10 | 14248 | 11361 | 339172 0 | 15756 | 20423 260.83/260.92 c 56.2s | 10 | 14645 | 11661 | 339172 0 | 15756 | 20423 263.03/263.10 c 58.4s | 10 | 15164 | 12061 | 339172 0 | 15756 | 20423 265.23/265.36 c 60.6s | 10 | 15819 | 12561 | 339172 0 | 15756 | 20423 267.24/267.39 c 62.7s | 10 | 16339 | 12961 | 339172 0 | 15756 | 20423 269.54/269.63 c 64.9s | 10 | 16844 | 13361 | 339172 0 | 15756 | 20423 271.63/271.71 c 67.0s | 10 | 17342 | 13761 | 339172 0 | 15756 | 20423 273.73/273.86 c 69.1s | 10 | 17966 | 14261 | 339172 0 | 15756 | 20423 276.13/276.22 c 71.5s | 10 | 18563 | 14761 | 339172 0 | 15756 | 20423 278.23/278.37 c 73.6s | 10 | 19034 | 15161 | 339172 0 | 15756 | 20423 280.73/280.88 c 76.1s | 10 | 19639 | 15661 | 339172 0 | 15756 | 20423 282.93/283.00 c 78.3s | 10 | 20263 | 16161 | 339172 0 | 15756 | 20423 285.12/285.21 c 80.5s | 10 | 20917 | 16661 | 339172 0 | 15756 | 20423 287.32/287.43 c 82.7s | 11 | 21512 | 17144 | 339172 0 | 15756 | 20423 289.72/289.81 c 85.1s | 11 | 22073 | 17544 | 339172 0 | 15756 | 20423 291.82/291.99 c 87.3s | 11 | 22688 | 18044 | 339172 0 | 15756 | 20423 293.92/294.02 c 89.3s | 11 | 23303 | 18544 | 339172 0 | 15756 | 20423 296.12/296.22 c 91.5s | 11 | 23929 | 19044 | 339172 0 | 15756 | 20423 298.22/298.37 c 93.6s | 11 | 24609 | 19544 | 339172 0 | 15756 | 20423 300.82/300.90 c 96.2s | 11 | 25231 | 20044 | 339172 0 | 15756 | 20423 303.02/303.16 c 98.4s | 11 | 25896 | 20544 | 339172 0 | 15756 | 20423 305.62/305.72 c 100s | 11 | 26511 | 21044 | 339172 0 | 15756 | 20423 307.62/307.73 c 102s | 11 | 27006 | 21444 | 339172 0 | 15756 | 20423 309.92/310.07 c 105s | 11 | 27624 | 21944 | 339172 0 | 15756 | 20423 312.33/312.49 c 107s | 11 | 28318 | 22444 | 339172 0 | 15756 | 20423 314.42/314.52 c 109s | 11 | 28802 | 22844 | 339172 0 | 15756 | 20423 316.82/316.95 c 112s | 11 | 29400 | 23344 | 339172 0 | 15756 | 20423 319.22/319.33 c 114s | 11 | 30019 | 23844 | 339172 0 | 15756 | 20423 321.62/321.73 c 116s | 11 | 30651 | 24344 | 339172 0 | 15756 | 20423 323.81/323.98 c 119s | 11 | 31287 | 24844 | 339172 0 | 15756 | 20423 326.11/326.28 c 121s | 11 | 31885 | 25344 | 339172 0 | 15756 | 20423 328.41/328.55 c 123s | 12 | 32503 | 25819 | 339172 0 | 15756 | 20423 330.51/330.67 c 125s | 12 | 32896 | 26119 | 339172 0 | 15756 | 20423 332.70/332.84 c 128s | 12 | 33391 | 26519 | 339172 0 | 15756 | 20423 334.70/334.86 c 130s | 12 | 33895 | 26919 | 339172 0 | 15756 | 20423 337.10/337.27 c 132s | 12 | 34528 | 27419 | 339172 0 | 15756 | 20423 339.20/339.34 c 134s | 12 | 34997 | 27819 | 339172 0 | 15756 | 20423 341.60/341.71 c 136s | 12 | 35635 | 28319 | 339172 0 | 15756 | 20423 343.60/343.77 c 139s | 12 | 36134 | 28719 | 339172 0 | 15756 | 20423 346.00/346.15 c 141s | 12 | 36779 | 29219 | 339172 0 | 15756 | 20423 348.10/348.20 c 143s | 12 | 37253 | 29619 | 339172 0 | 15756 | 20423 350.39/350.50 c 145s | 12 | 37784 | 30019 | 339172 0 | 15756 | 20423 352.69/352.86 c 148s | 12 | 38253 | 30419 | 339172 0 | 15756 | 20423 354.79/354.95 c 150s | 12 | 38724 | 30819 | 339172 0 | 15756 | 20423 356.89/357.06 c 152s | 12 | 39191 | 31219 | 339172 0 | 15756 | 20423 359.09/359.24 c 154s | 12 | 39667 | 31619 | 339172 0 | 15756 | 20423 361.19/361.33 c 156s | 12 | 40171 | 32019 | 339172 0 | 15756 | 20423 363.59/363.72 c 158s | 12 | 40669 | 32419 | 339172 0 | 15756 | 20423 365.79/365.95 c 161s | 12 | 41185 | 32819 | 373090 0 | 15756 | 20423 368.09/368.28 c 163s | 12 | 41631 | 33219 | 373090 0 | 15756 | 20423 370.38/370.54 c 165s | 12 | 42160 | 33619 | 373090 0 | 15756 | 20423 372.79/372.95 c 168s | 12 | 42651 | 34019 | 373090 0 | 15756 | 20423 375.09/375.29 c 170s | 12 | 43149 | 34419 | 373090 0 | 15756 | 20423 377.29/377.43 c 172s | 12 | 43674 | 34819 | 373090 0 | 15756 | 20423 379.49/379.66 c 174s | 12 | 44184 | 35219 | 373090 0 | 15756 | 20423 381.59/381.77 c 177s | 12 | 44695 | 35619 | 373090 0 | 15756 | 20423 383.67/383.81 c 179s | 12 | 45028 | 35919 | 373090 0 | 15756 | 20423 385.87/386.07 c 181s | 12 | 45543 | 36319 | 373090 0 | 15756 | 20423 387.97/388.12 c 183s | 12 | 46044 | 36719 | 373090 0 | 15756 | 20423 390.17/390.35 c 185s | 12 | 46526 | 37119 | 373090 0 | 15756 | 20423 392.47/392.64 c 187s | 12 | 47014 | 37519 | 373090 0 | 15756 | 20423 394.67/394.86 c 190s | 12 | 47517 | 37919 | 373090 0 | 15756 | 20423 396.67/396.87 c 192s | 12 | 48006 | 38319 | 373090 0 | 15756 | 20423 398.87/399.09 c 194s | 12 | 48508 | 38719 | 373090 0 | 15756 | 20423 399.57/399.77 c 195s | 13 | 48631 | 38832 | 373090 0 | 15756 | 20423 401.86/402.02 c 197s | 13 | 48874 | 39032 | 373090 0 | 15756 | 20423 404.06/404.29 c 199s | 13 | 49217 | 39332 | 373090 0 | 15756 | 20423 406.76/406.92 c 202s | 13 | 49713 | 39732 | 373090 0 | 15756 | 20423 408.76/408.99 c 204s | 13 | 50082 | 40032 | 373090 0 | 15756 | 20423 411.06/411.22 c 206s | 13 | 50733 | 40532 | 373090 0 | 15756 | 20423 413.35/413.56 c 208s | 13 | 51241 | 40932 | 373090 0 | 15756 | 20423 415.45/415.66 c 210s | 13 | 51610 | 41232 | 373090 0 | 15756 | 20423 417.96/418.17 c 213s | 13 | 52104 | 41632 | 373090 0 | 15756 | 20423 420.06/420.23 c 215s | 13 | 52439 | 41932 | 373090 0 | 15756 | 20423 422.25/422.50 c 217s | 13 | 52812 | 42232 | 373090 0 | 15756 | 20423 424.55/424.75 c 220s | 13 | 53167 | 42532 | 373090 0 | 15756 | 20423 426.95/427.11 c 222s | 13 | 53684 | 42932 | 373090 0 | 15756 | 20423 428.95/429.13 c 224s | 13 | 54044 | 43232 | 373090 0 | 15756 | 20423 431.65/431.88 c 227s | 13 | 54490 | 43632 | 373090 0 | 15756 | 20423 433.84/434.08 c 229s | 13 | 54835 | 43932 | 373090 0 | 15756 | 20423 435.94/436.14 c 231s | 13 | 55208 | 44232 | 373090 0 | 15756 | 20423 438.24/438.42 c 233s | 13 | 55556 | 44532 | 373090 0 | 15756 | 20423 440.64/440.82 c 236s | 13 | 55906 | 44832 | 373090 0 | 15756 | 20423 442.94/443.14 c 238s | 13 | 56268 | 45132 | 373090 0 | 15756 | 20423 445.45/445.67 c 240s | 13 | 56740 | 45532 | 373090 0 | 15756 | 20423 447.65/447.82 c 243s | 13 | 57127 | 45832 | 373090 0 | 15756 | 20423 450.04/450.21 c 245s | 13 | 57484 | 46132 | 373090 0 | 15756 | 20423 452.34/452.52 c 247s | 13 | 57819 | 46432 | 373090 0 | 15756 | 20423 454.34/454.57 c 249s | 13 | 58159 | 46732 | 373090 0 | 15756 | 20423 456.34/456.58 c 251s | 13 | 58554 | 47032 | 373090 0 | 15756 | 20423 458.44/458.60 c 253s | 13 | 58923 | 47332 | 373090 0 | 15756 | 20423 460.54/460.77 c 256s | 13 | 59279 | 47632 | 373090 0 | 15756 | 20423 462.83/463.00 c 258s | 13 | 59630 | 47932 | 373090 0 | 15756 | 20423 464.93/465.14 c 260s | 13 | 59986 | 48232 | 373090 0 | 15756 | 20423 467.63/467.86 c 263s | 13 | 60467 | 48632 | 373090 0 | 15756 | 20423 469.73/469.93 c 265s | 13 | 60844 | 48932 | 373090 0 | 15756 | 20423 472.03/472.24 c 267s | 13 | 61334 | 49332 | 373090 0 | 15756 | 20423 474.73/474.91 c 270s | 13 | 61811 | 49732 | 373090 0 | 15756 | 20423 476.73/476.98 c 272s | 13 | 62172 | 50032 | 373090 0 | 15756 | 20423 479.54/479.73 c 274s | 13 | 62655 | 50432 | 373090 0 | 15756 | 20423 481.64/481.87 c 277s | 13 | 63016 | 50732 | 373090 0 | 15756 | 20423 483.84/484.07 c 279s | 13 | 63566 | 51132 | 373090 0 | 15756 | 20423 485.93/486.10 c 281s | 13 | 64060 | 51532 | 373090 0 | 15756 | 20423 487.93/488.12 c 283s | 13 | 64425 | 51832 | 373090 0 | 15756 | 20423 490.03/490.21 c 285s | 13 | 64759 | 52132 | 373090 0 | 15756 | 20423 492.43/492.68 c 287s | 13 | 65263 | 52532 | 373090 0 | 15756 | 20423 494.63/494.81 c 290s | 13 | 65620 | 52832 | 373090 0 | 15756 | 20423 496.93/497.12 c 292s | 13 | 66102 | 53232 | 373090 0 | 15756 | 20423 499.63/499.83 c 295s | 13 | 66583 | 53632 | 373090 0 | 15756 | 20423 502.32/502.53 c 297s | 13 | 67095 | 54032 | 373090 0 | 15756 | 20423 504.52/504.73 c 299s | 13 | 67459 | 54332 | 373090 0 | 15756 | 20423 506.62/506.86 c 302s | 13 | 67800 | 54632 | 373090 0 | 15756 | 20423 509.23/509.43 c 304s | 13 | 68173 | 54932 | 373090 0 | 15756 | 20423 511.22/511.47 c 306s | 13 | 68593 | 55232 | 373090 0 | 15756 | 20423 513.63/513.86 c 309s | 13 | 68979 | 55532 | 373090 0 | 15756 | 20423 515.73/515.96 c 311s | 13 | 69342 | 55832 | 373090 0 | 15756 | 20423 518.03/518.29 c 313s | 13 | 69726 | 56132 | 373090 0 | 15756 | 20423 520.52/520.74 c 316s | 13 | 70091 | 56432 | 373090 0 | 15756 | 20423 522.62/522.84 c 318s | 13 | 70442 | 56732 | 373090 0 | 15756 | 20423 525.12/525.36 c 320s | 13 | 70967 | 57132 | 373090 0 | 15756 | 20423 527.52/527.78 c 323s | 13 | 71350 | 57432 | 373090 0 | 15756 | 20423 530.12/530.37 c 325s | 13 | 71868 | 57832 | 373090 0 | 15756 | 20423 532.62/532.82 c 328s | 13 | 72353 | 58232 | 373090 0 | 15756 | 20423 533.42/533.69 c 328s | 14 | 72489 | 58352 | 373090 0 | 15756 | 20423 536.01/536.26 c 331s | 14 | 72735 | 58552 | 373090 0 | 15756 | 20423 538.61/538.81 c 334s | 14 | 73240 | 58952 | 373090 0 | 15756 | 20423 541.02/541.29 c 336s | 14 | 73746 | 59352 | 373090 0 | 15756 | 20423 543.61/543.84 c 339s | 14 | 74211 | 59752 | 373090 0 | 15756 | 20423 546.11/546.37 c 341s | 14 | 74769 | 60152 | 373090 0 | 15756 | 20423 548.51/548.72 c 343s | 14 | 75255 | 60552 | 373090 0 | 15756 | 20423 550.51/550.72 c 345s | 14 | 75627 | 60852 | 373090 0 | 15756 | 20423 552.50/552.75 c 348s | 14 | 76089 | 61252 | 373090 0 | 15756 | 20423 554.70/554.92 c 350s | 14 | 76598 | 61652 | 373090 0 | 15756 | 20423 556.70/556.95 c 352s | 14 | 77004 | 61952 | 373090 0 | 15756 | 20423 559.20/559.50 c 354s | 14 | 77511 | 62352 | 373090 0 | 15756 | 20423 561.60/561.85 c 357s | 14 | 78010 | 62752 | 373090 0 | 15756 | 20423 564.11/564.32 c 359s | 14 | 78533 | 63152 | 373090 0 | 15756 | 20423 566.41/566.67 c 361s | 14 | 79028 | 63552 | 373090 0 | 15756 | 20423 568.41/568.69 c 363s | 14 | 79377 | 63852 | 373090 0 | 15756 | 20423 570.81/571.09 c 366s | 14 | 79880 | 64252 | 373090 0 | 15756 | 20423 573.60/573.82 c 369s | 14 | 80350 | 64652 | 373090 0 | 15756 | 20423 575.90/576.18 c 371s | 14 | 80731 | 64952 | 373090 0 | 15756 | 20423 578.41/578.67 c 373s | 14 | 81230 | 65352 | 373090 0 | 15756 | 20423 580.80/581.03 c 376s | 14 | 81745 | 65752 | 373090 0 | 15756 | 20423 583.00/583.23 c 378s | 14 | 82254 | 66152 | 373090 0 | 15756 | 20423 585.40/585.67 c 380s | 14 | 82737 | 66552 | 373090 0 | 15756 | 20423 587.90/588.13 c 383s | 14 | 83268 | 66952 | 373090 0 | 15756 | 20423 590.00/590.29 c 385s | 14 | 83762 | 67352 | 373090 0 | 15756 | 20423 592.09/592.30 c 387s | 14 | 84121 | 67652 | 373090 0 | 15756 | 20423 594.69/594.91 c 390s | 14 | 84699 | 68052 | 373090 0 | 15756 | 20423 597.20/597.47 c 392s | 14 | 85173 | 68452 | 373090 0 | 15756 | 20423 599.30/599.53 c 394s | 14 | 85536 | 68752 | 373090 0 | 15756 | 20423 601.39/601.60 c 396s | 14 | 85917 | 69052 | 373090 0 | 15756 | 20423 603.88/604.13 c 399s | 14 | 86295 | 69352 | 373090 0 | 15756 | 20423 606.28/606.54 c 401s | 14 | 86801 | 69752 | 373090 0 | 15756 | 20423 609.08/609.35 c 404s | 14 | 87289 | 70152 | 373090 0 | 15756 | 20423 611.18/611.43 c 406s | 14 | 87669 | 70452 | 373090 0 | 15756 | 20423 613.48/613.70 c 408s | 14 | 88011 | 70752 | 373090 0 | 15756 | 20423 615.98/616.22 c 411s | 14 | 88365 | 71052 | 373090 0 | 15756 | 20423 618.28/618.50 c 413s | 14 | 88729 | 71352 | 373090 0 | 15756 | 20423 620.68/620.96 c 416s | 14 | 89093 | 71652 | 373090 0 | 15756 | 20423 623.37/623.67 c 418s | 14 | 89432 | 71952 | 373090 0 | 15756 | 20423 625.78/626.00 c 421s | 14 | 89814 | 72252 | 373090 0 | 15756 | 20423 627.88/628.18 c 423s | 14 | 90187 | 72552 | 373090 0 | 15756 | 20423 630.67/630.90 c 426s | 14 | 90705 | 72952 | 373090 0 | 15756 | 20423 632.67/632.97 c 428s | 14 | 91093 | 73252 | 373090 0 | 15756 | 20423 635.07/635.33 c 430s | 14 | 91476 | 73552 | 373090 0 | 15756 | 20423 637.37/637.69 c 432s | 14 | 91840 | 73852 | 373090 0 | 15756 | 20423 639.87/640.20 c 435s | 14 | 92201 | 74152 | 373090 0 | 15756 | 20423 642.27/642.53 c 437s | 14 | 92582 | 74452 | 373090 0 | 15756 | 20423 644.76/645.04 c 440s | 14 | 92942 | 74752 | 373090 0 | 15756 | 20423 647.06/647.38 c 442s | 14 | 93330 | 75052 | 373090 0 | 15756 | 20423 649.56/649.82 c 445s | 14 | 93682 | 75352 | 373090 0 | 15756 | 20423 652.07/652.32 c 447s | 14 | 94039 | 75652 | 373090 0 | 15756 | 20423 654.37/654.63 c 449s | 14 | 94384 | 75952 | 373090 0 | 15756 | 20423 656.76/657.09 c 452s | 14 | 94727 | 76252 | 410400 0 | 15756 | 20423 659.06/659.30 c 454s | 14 | 95111 | 76552 | 410400 0 | 15756 | 20423 661.06/661.33 c 456s | 14 | 95498 | 76852 | 410400 0 | 15756 | 20423 663.26/663.51 c 458s | 14 | 95869 | 77152 | 410400 0 | 15756 | 20423 665.65/665.96 c 461s | 14 | 96250 | 77452 | 410400 0 | 15756 | 20423 668.35/668.68 c 463s | 14 | 96589 | 77752 | 410400 0 | 15756 | 20423 670.95/671.22 c 466s | 14 | 96961 | 78052 | 410400 0 | 15756 | 20423 673.85/674.16 c 469s | 14 | 97316 | 78352 | 410400 0 | 15756 | 20423 676.45/676.76 c 472s | 14 | 97676 | 78652 | 410400 0 | 15756 | 20423 678.65/678.94 c 474s | 14 | 98039 | 78952 | 410400 0 | 15756 | 20423 681.05/681.31 c 476s | 14 | 98411 | 79252 | 410400 0 | 15756 | 20423 683.24/683.55 c 478s | 14 | 98775 | 79552 | 410400 0 | 15756 | 20423 685.44/685.79 c 481s | 14 | 99144 | 79852 | 410400 0 | 15756 | 20423 687.74/688.04 c 483s | 14 | 99529 | 80152 | 410400 0 | 15756 | 20423 689.74/690.08 c 485s | 14 | 99907 | 80452 | 410400 0 | 15756 | 20423 692.14/692.48 c 487s | 14 | 100287 | 80752 | 410400 0 | 15756 | 20423 694.54/694.89 c 490s | 14 | 100691 | 81052 | 410400 0 | 15756 | 20423 696.94/697.23 c 492s | 14 | 101043 | 81352 | 410400 0 | 15756 | 20423 699.23/699.51 c 494s | 14 | 101417 | 81652 | 410400 0 | 15756 | 20423 701.43/701.77 c 497s | 14 | 101771 | 81952 | 410400 0 | 15756 | 20423 703.93/704.25 c 499s | 14 | 102128 | 82252 | 410400 0 | 15756 | 20423 706.43/706.79 c 502s | 14 | 102485 | 82552 | 410400 0 | 15756 | 20423 709.03/709.39 c 504s | 14 | 102838 | 82852 | 410400 0 | 15756 | 20423 711.63/711.98 c 507s | 14 | 103221 | 83152 | 410400 0 | 15756 | 20423 714.23/714.55 c 509s | 14 | 103727 | 83552 | 410400 0 | 15756 | 20423 716.53/716.87 c 512s | 14 | 104123 | 83852 | 410400 0 | 15756 | 20423 718.93/719.26 c 514s | 14 | 104494 | 84152 | 410400 0 | 15756 | 20423 721.13/721.46 c 516s | 14 | 104893 | 84452 | 410400 0 | 15756 | 20423 723.23/723.54 c 518s | 14 | 105251 | 84752 | 410400 0 | 15756 | 20423 725.63/725.98 c 521s | 14 | 105610 | 85052 | 410400 0 | 15756 | 20423 727.83/728.20 c 523s | 14 | 105983 | 85352 | 410400 0 | 15756 | 20423 730.33/730.66 c 525s | 14 | 106323 | 85652 | 410400 0 | 15756 | 20423 732.53/732.85 c 528s | 14 | 106700 | 85952 | 410400 0 | 15756 | 20423 735.03/735.38 c 530s | 14 | 107213 | 86352 | 410400 0 | 15756 | 20423 737.23/737.54 c 532s | 14 | 107617 | 86652 | 410400 0 | 15756 | 20423 739.73/740.08 c 535s | 14 | 107990 | 86952 | 410400 0 | 15756 | 20423 742.33/742.66 c 537s | 14 | 108341 | 87252 | 410400 0 | 15756 | 20423 744.53/744.88 c 540s | 14 | 108688 | 87552 | 410400 0 | 15756 | 20423 745.22/745.53 c 540s | 15 | 108780 | 87632 | 410400 0 | 15756 | 20423 747.32/747.69 c 542s | 15 | 108929 | 87732 | 410400 0 | 15756 | 20423 750.12/750.45 c 545s | 15 | 109336 | 88032 | 410400 0 | 15756 | 20423 752.52/752.86 c 548s | 15 | 109727 | 88332 | 410400 0 | 15756 | 20423 755.12/755.42 c 550s | 15 | 110086 | 88632 | 410400 0 | 15756 | 20423 757.42/757.79 c 553s | 15 | 110509 | 88932 | 410400 0 | 15756 | 20423 759.93/760.27 c 555s | 15 | 110860 | 89232 | 410400 0 | 15756 | 20423 762.82/763.11 c 558s | 15 | 111247 | 89532 | 410400 0 | 15756 | 20423 765.22/765.50 c 560s | 15 | 111645 | 89832 | 410400 0 | 15756 | 20423 767.53/767.88 c 563s | 15 | 112023 | 90132 | 410400 0 | 15756 | 20423 769.92/770.24 c 565s | 15 | 112423 | 90432 | 410400 0 | 15756 | 20423 772.42/772.75 c 568s | 15 | 112821 | 90732 | 410400 0 | 15756 | 20423 774.72/775.06 c 570s | 15 | 113205 | 91032 | 410400 0 | 15756 | 20423 777.22/777.51 c 572s | 15 | 113607 | 91332 | 410400 0 | 15756 | 20423 779.73/780.04 c 575s | 15 | 113997 | 91632 | 410400 0 | 15756 | 20423 782.12/782.47 c 577s | 15 | 114381 | 91932 | 410400 0 | 15756 | 20423 784.32/784.65 c 579s | 15 | 114744 | 92232 | 410400 0 | 15756 | 20423 786.72/787.08 c 582s | 15 | 115113 | 92532 | 410400 0 | 15756 | 20423 789.02/789.35 c 584s | 15 | 115469 | 92832 | 410400 0 | 15756 | 20423 791.52/791.89 c 587s | 15 | 115826 | 93132 | 410400 0 | 15756 | 20423 793.92/794.26 c 589s | 15 | 116214 | 93432 | 410400 0 | 15756 | 20423 796.02/796.33 c 591s | 15 | 116454 | 93632 | 410400 0 | 15756 | 20423 798.92/799.21 c 594s | 15 | 116817 | 93932 | 410400 0 | 15756 | 20423 801.02/801.34 c 596s | 15 | 117060 | 94132 | 410400 0 | 15756 | 20423 803.01/803.39 c 598s | 15 | 117308 | 94332 | 410400 0 | 15756 | 20423 805.31/805.66 c 600s | 15 | 117572 | 94532 | 410400 0 | 15756 | 20423 807.51/807.80 c 603s | 15 | 117817 | 94732 | 410400 0 | 15756 | 20423 809.51/809.87 c 605s | 15 | 118058 | 94932 | 410400 0 | 15756 | 20423 811.71/812.08 c 607s | 15 | 118277 | 95132 | 410400 0 | 15756 | 20423 814.71/815.04 c 610s | 15 | 118669 | 95432 | 410400 0 | 15756 | 20423 817.51/817.87 c 613s | 15 | 119043 | 95732 | 410400 0 | 15756 | 20423 819.81/820.14 c 615s | 15 | 119290 | 95932 | 410400 0 | 15756 | 20423 822.31/822.60 c 617s | 15 | 119658 | 96232 | 410400 0 | 15756 | 20423 825.01/825.31 c 620s | 15 | 120063 | 96532 | 410400 0 | 15756 | 20423 827.61/827.90 c 623s | 15 | 120420 | 96832 | 410400 0 | 15756 | 20423 829.71/830.01 c 625s | 15 | 120660 | 97032 | 410400 0 | 15756 | 20423 831.91/832.29 c 627s | 15 | 121030 | 97332 | 410400 0 | 15756 | 20423 834.31/834.60 c 629s | 15 | 121393 | 97632 | 410400 0 | 15756 | 20423 837.01/837.35 c 632s | 15 | 121803 | 97932 | 410400 0 | 15756 | 20423 839.12/839.41 c 634s | 15 | 122197 | 98232 | 410400 0 | 15756 | 20423 841.41/841.75 c 637s | 15 | 122608 | 98532 | 410400 0 | 15756 | 20423 843.91/844.22 c 639s | 15 | 122980 | 98832 | 410400 0 | 15756 | 20423 846.11/846.45 c 641s | 15 | 123418 | 99132 | 410400 0 | 15756 | 20423 848.21/848.55 c 643s | 15 | 123816 | 99432 | 410400 0 | 15756 | 20423 850.71/851.03 c 646s | 15 | 124201 | 99732 | 410400 0 | 15756 | 20423 853.11/853.44 c 648s | 15 | 124584 | 100032 | 410400 0 | 15756 | 20423 855.81/856.10 c 651s | 15 | 124951 | 100332 | 410400 0 | 15756 | 20423 857.91/858.20 c 653s | 15 | 125191 | 100532 | 410400 0 | 15756 | 20423 860.11/860.44 c 655s | 15 | 125578 | 100832 | 410400 0 | 15756 | 20423 862.41/862.73 c 657s | 15 | 125970 | 101132 | 410400 0 | 15756 | 20423 865.31/865.68 c 660s | 15 | 126320 | 101432 | 410400 0 | 15756 | 20423 868.11/868.46 c 663s | 15 | 126720 | 101732 | 410400 0 | 15756 | 20423 870.91/871.26 c 666s | 15 | 127075 | 102032 | 410400 0 | 15756 | 20423 873.70/874.05 c 669s | 15 | 127415 | 102332 | 410400 0 | 15756 | 20423 876.60/876.98 c 672s | 15 | 127749 | 102632 | 410400 0 | 15756 | 20423 879.30/879.62 c 674s | 15 | 128117 | 102932 | 410400 0 | 15756 | 20423 881.50/881.83 c 677s | 15 | 128367 | 103132 | 410400 0 | 15756 | 20423 883.70/884.07 c 679s | 15 | 128601 | 103332 | 410400 0 | 15756 | 20423 885.80/886.13 c 681s | 15 | 128840 | 103532 | 410400 0 | 15756 | 20423 888.51/888.89 c 684s | 15 | 129219 | 103832 | 410400 0 | 15756 | 20423 891.40/891.78 c 687s | 15 | 129588 | 104132 | 410400 0 | 15756 | 20423 894.01/894.39 c 689s | 15 | 129961 | 104432 | 410400 0 | 15756 | 20423 896.60/896.90 c 692s | 15 | 130316 | 104732 | 410400 0 | 15756 | 20423 898.90/899.23 c 694s | 15 | 130652 | 105032 | 410400 0 | 15756 | 20423 901.81/902.11 c 697s | 15 | 130991 | 105332 | 410400 0 | 15756 | 20423 904.40/904.76 c 700s | 15 | 131345 | 105632 | 410400 0 | 15756 | 20423 907.10/907.50 c 702s | 15 | 131737 | 105932 | 410400 0 | 15756 | 20423 909.51/909.85 c 705s | 15 | 132090 | 106232 | 410400 0 | 15756 | 20423 912.00/912.38 c 707s | 15 | 132458 | 106532 | 410400 0 | 15756 | 20423 914.70/915.08 c 710s | 15 | 132812 | 106832 | 410400 0 | 15756 | 20423 917.40/917.76 c 713s | 15 | 133160 | 107132 | 410400 0 | 15756 | 20423 920.00/920.36 c 715s | 15 | 133536 | 107432 | 410400 0 | 15756 | 20423 922.40/922.70 c 717s | 15 | 133928 | 107732 | 410400 0 | 15756 | 20423 925.10/925.45 c 720s | 15 | 134306 | 108032 | 410400 0 | 15756 | 20423 927.40/927.77 c 723s | 15 | 134683 | 108332 | 410400 0 | 15756 | 20423 929.79/930.15 c 725s | 15 | 135082 | 108632 | 410400 0 | 15756 | 20423 932.69/933.02 c 728s | 15 | 135411 | 108932 | 410400 0 | 15756 | 20423 935.39/935.72 c 730s | 15 | 135770 | 109232 | 410400 0 | 15756 | 20423 937.69/938.08 c 733s | 15 | 136156 | 109532 | 410400 0 | 15756 | 20423 940.09/940.46 c 735s | 15 | 136502 | 109832 | 410400 0 | 15756 | 20423 942.40/942.71 c 737s | 15 | 136761 | 110032 | 410400 0 | 15756 | 20423 944.79/945.19 c 740s | 15 | 137114 | 110332 | 410400 0 | 15756 | 20423 947.19/947.52 c 742s | 15 | 137342 | 110532 | 410400 0 | 15756 | 20423 949.39/949.78 c 745s | 15 | 137593 | 110732 | 410400 0 | 15756 | 20423 951.49/951.86 c 747s | 15 | 137825 | 110932 | 410400 0 | 15756 | 20423 953.99/954.38 c 749s | 15 | 138071 | 111132 | 410400 0 | 15756 | 20423 956.59/956.92 c 752s | 15 | 138293 | 111332 | 410400 0 | 15756 | 20423 959.29/959.65 c 754s | 15 | 138520 | 111532 | 410400 0 | 15756 | 20423 961.39/961.70 c 756s | 15 | 138757 | 111732 | 410400 0 | 15756 | 20423 963.69/964.08 c 759s | 15 | 139110 | 112032 | 410400 0 | 15756 | 20423 966.60/966.92 c 762s | 15 | 139465 | 112332 | 410400 0 | 15756 | 20423 969.39/969.78 c 765s | 15 | 139837 | 112632 | 410400 0 | 15756 | 20423 971.59/971.94 c 767s | 15 | 140109 | 112832 | 410400 0 | 15756 | 20423 973.69/974.02 c 769s | 15 | 140344 | 113032 | 410400 0 | 15756 | 20423 976.29/976.62 c 771s | 15 | 140715 | 113332 | 410400 0 | 15756 | 20423 978.89/979.28 c 774s | 15 | 141089 | 113632 | 410400 0 | 15756 | 20423 981.59/982.00 c 777s | 15 | 141429 | 113932 | 410400 0 | 15756 | 20423 983.69/984.00 c 779s | 15 | 141679 | 114132 | 410400 0 | 15756 | 20423 986.29/986.60 c 781s | 15 | 142034 | 114432 | 410400 0 | 15756 | 20423 989.18/989.50 c 784s | 15 | 142378 | 114732 | 410400 0 | 15756 | 20423 991.89/992.25 c 787s | 15 | 142743 | 115032 | 410400 0 | 15756 | 20423 993.98/994.35 c 789s | 15 | 142982 | 115232 | 410400 0 | 15756 | 20423 996.08/996.47 c 791s | 15 | 143209 | 115432 | 410400 0 | 15756 | 20423 998.18/998.53 c 793s | 15 | 143467 | 115632 | 410400 0 | 15756 | 20423 1000.38/1000.79 c 796s | 15 | 143692 | 115832 | 410400 0 | 15756 | 20423 1002.68/1003.06 c 798s | 15 | 143940 | 116032 | 410400 0 | 15756 | 20423 1004.88/1005.24 c 800s | 15 | 144179 | 116232 | 410400 0 | 15756 | 20423 1007.39/1007.72 c 802s | 15 | 144424 | 116432 | 410400 0 | 15756 | 20423 1009.78/1010.19 c 805s | 15 | 144670 | 116632 | 410400 0 | 15756 | 20423 1011.88/1012.27 c 807s | 15 | 144913 | 116832 | 410400 0 | 15756 | 20423 1014.18/1014.54 c 809s | 15 | 145151 | 117032 | 410400 0 | 15756 | 20423 1016.38/1016.78 c 812s | 15 | 145382 | 117232 | 410400 0 | 15756 | 20423 1018.58/1018.96 c 814s | 15 | 145596 | 117432 | 410400 0 | 15756 | 20423 1020.68/1021.08 c 816s | 15 | 145837 | 117632 | 410400 0 | 15756 | 20423 1023.38/1023.72 c 818s | 15 | 146187 | 117932 | 410400 0 | 15756 | 20423 1025.88/1026.21 c 821s | 15 | 146426 | 118132 | 410400 0 | 15756 | 20423 1028.98/1029.35 c 824s | 15 | 146814 | 118432 | 410400 0 | 15756 | 20423 1031.08/1031.48 c 826s | 15 | 147083 | 118632 | 410400 0 | 15756 | 20423 1033.38/1033.72 c 828s | 15 | 147322 | 118832 | 410400 0 | 15756 | 20423 1035.58/1035.94 c 831s | 15 | 147409 | 118898 | 410400 0 | 15757 | 20424 1035.58/1035.94 c #cpu_time = 828.864s 1035.58/1035.94 c #wall_clock_time = 831.206s 1035.58/1035.94 c #decision = 147409 1035.58/1035.94 c #random_decision = 84 1035.58/1035.94 c #conflict = 118898 1035.58/1035.94 c #restart = 15 1035.58/1035.94 c BCD2: updating lower bound of a core 1035.58/1035.94 c lower bound updated to 101 1035.58/1035.94 c BCD2: 101 <= obj <= 299 1035.58/1035.94 c BCD2: #cores=1, #unrelaxed=97, #relaxed=202, #hardened=1 1035.58/1035.94 c BCD2: #sat=1 #unsat=5 bias=5/6 1037.18/1037.58 c Solving starts ... 1037.18/1037.58 c ============================[ Search Statistics ]============================ 1037.18/1037.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1037.18/1037.58 c | | | | Limit GC | Var | Constra 1037.18/1037.58 c ============================================================================= 1037.18/1037.58 c 0.0s | 0 | 0 | 0 | 410400 0 | 15757 | 20424 1039.68/1040.01 c 2.4s | 0 | 186 | 100 | 410400 0 | 15757 | 20424 1039.68/1040.04 c 2.5s | 1 | 186 | 100 | 410400 0 | 15757 | 20424 1042.08/1042.49 c 4.9s | 1 | 338 | 200 | 410400 0 | 15757 | 20424 1042.58/1042.98 c 5.4s | 2 | 393 | 250 | 410400 0 | 15757 | 20424 1045.38/1045.70 c 8.1s | 2 | 543 | 350 | 410400 0 | 15757 | 20424 1046.77/1047.11 c 9.5s | 3 | 703 | 475 | 410400 0 | 15757 | 20424 1049.47/1049.86 c 12.3s | 3 | 854 | 575 | 410400 0 | 15757 | 20424 1051.57/1051.99 c 14.4s | 3 | 1091 | 775 | 410400 0 | 15757 | 20424 1052.07/1052.47 c 14.9s | 4 | 1143 | 813 | 410400 0 | 15757 | 20424 1054.47/1054.84 c 17.3s | 4 | 1280 | 913 | 410400 0 | 15757 | 20424 1057.37/1057.78 c 20.2s | 4 | 1652 | 1213 | 410400 0 | 15757 | 20424 1058.47/1058.81 c 21.2s | 5 | 1799 | 1320 | 410400 0 | 15757 | 20424 1060.87/1061.28 c 23.7s | 5 | 1944 | 1420 | 410400 0 | 15757 | 20424 1063.48/1063.89 c 26.3s | 5 | 2324 | 1720 | 410400 0 | 15757 | 20424 1066.07/1066.46 c 28.9s | 5 | 2689 | 2020 | 410400 0 | 15757 | 20424 1066.68/1067.03 c 29.5s | 6 | 2759 | 2081 | 410400 0 | 15757 | 20424 1069.27/1069.66 c 32.1s | 6 | 2899 | 2181 | 410400 0 | 15757 | 20424 1071.97/1072.31 c 34.7s | 6 | 3277 | 2481 | 410400 0 | 15757 | 20424 1074.38/1074.80 c 37.2s | 6 | 3662 | 2781 | 410400 0 | 15757 | 20424 1077.07/1077.42 c 39.8s | 6 | 4033 | 3081 | 410400 0 | 15757 | 20424 1078.47/1078.84 c 41.3s | 7 | 4203 | 3223 | 410400 0 | 15757 | 20424 1081.27/1081.61 c 44.0s | 7 | 4363 | 3323 | 410400 0 | 15757 | 20424 1083.57/1083.92 c 46.3s | 7 | 4601 | 3523 | 410400 0 | 15757 | 20424 1086.58/1086.95 c 49.4s | 7 | 4954 | 3823 | 410400 0 | 15757 | 20424 1089.37/1089.73 c 52.2s | 7 | 5333 | 4123 | 410400 0 | 15757 | 20424 1092.37/1092.76 c 55.2s | 7 | 5688 | 4423 | 410400 0 | 15757 | 20424 1094.47/1094.83 c 57.3s | 7 | 5922 | 4623 | 410400 0 | 15757 | 20424 1096.47/1096.88 c 59.3s | 7 | 6183 | 4823 | 410400 0 | 15757 | 20424 1097.77/1098.11 c 60.5s | 8 | 6320 | 4936 | 410400 0 | 15757 | 20424 1100.27/1100.64 c 63.1s | 8 | 6456 | 5036 | 410400 0 | 15757 | 20424 1103.07/1103.45 c 65.9s | 8 | 6831 | 5336 | 410400 0 | 15757 | 20424 1105.07/1105.45 c 67.9s | 8 | 7083 | 5536 | 410400 0 | 15757 | 20424 1107.17/1107.59 c 70.0s | 8 | 7326 | 5736 | 410400 0 | 15757 | 20424 1110.07/1110.47 c 72.9s | 8 | 7693 | 6036 | 410400 0 | 15757 | 20424 1112.26/1112.63 c 75.1s | 8 | 7938 | 6236 | 410400 0 | 15757 | 20424 1114.46/1114.84 c 77.3s | 8 | 8183 | 6436 | 410400 0 | 15757 | 20424 1116.56/1116.90 c 79.3s | 8 | 8430 | 6636 | 410400 0 | 15757 | 20424 1119.47/1119.85 c 82.3s | 8 | 8813 | 6936 | 410400 0 | 15757 | 20424 1121.86/1122.22 c 84.6s | 8 | 9072 | 7136 | 410400 0 | 15757 | 20424 1124.06/1124.46 c 86.9s | 8 | 9296 | 7336 | 410400 0 | 15757 | 20424 1125.86/1126.23 c 88.6s | 9 | 9516 | 7506 | 410400 0 | 15757 | 20424 1128.96/1129.35 c 91.8s | 9 | 9674 | 7606 | 410400 0 | 15757 | 20424 1131.67/1132.03 c 94.5s | 9 | 10057 | 7906 | 410400 0 | 15757 | 20424 1134.16/1134.55 c 97.0s | 9 | 10482 | 8206 | 410400 0 | 15757 | 20424 1137.17/1137.52 c 99.9s | 9 | 10854 | 8506 | 410400 0 | 15757 | 20424 1139.16/1139.59 c 102s | 9 | 11095 | 8706 | 410400 0 | 15757 | 20424 1141.96/1142.32 c 104s | 9 | 11468 | 9006 | 410400 0 | 15757 | 20424 1144.06/1144.40 c 106s | 9 | 11740 | 9206 | 410400 0 | 15757 | 20424 1146.46/1146.80 c 109s | 9 | 11970 | 9406 | 410400 0 | 15757 | 20424 1149.17/1149.53 c 111s | 9 | 12345 | 9706 | 410400 0 | 15757 | 20424 1151.76/1152.13 c 114s | 9 | 12716 | 10006 | 410400 0 | 15757 | 20424 1153.76/1154.17 c 116s | 9 | 12962 | 10206 | 410400 0 | 15757 | 20424 1155.96/1156.31 c 118s | 9 | 13195 | 10406 | 410400 0 | 15757 | 20424 1158.26/1158.63 c 121s | 9 | 13453 | 10606 | 410400 0 | 15757 | 20424 1160.56/1160.95 c 123s | 9 | 13691 | 10806 | 410400 0 | 15757 | 20424 1163.46/1163.87 c 126s | 9 | 14064 | 11106 | 410400 0 | 15757 | 20424 1165.56/1165.92 c 128s | 9 | 14314 | 11306 | 410400 0 | 15757 | 20424 1166.26/1166.61 c 129s | 10 | 14380 | 11361 | 410400 0 | 15757 | 20424 1168.96/1169.31 c 131s | 10 | 14511 | 11461 | 410400 0 | 15757 | 20424 1171.26/1171.63 c 134s | 10 | 14743 | 11661 | 410400 0 | 15757 | 20424 1174.06/1174.40 c 136s | 10 | 15121 | 11961 | 410400 0 | 15757 | 20424 1176.06/1176.47 c 138s | 10 | 15346 | 12161 | 410400 0 | 15757 | 20424 1178.96/1179.37 c 141s | 10 | 15699 | 12461 | 410400 0 | 15757 | 20424 1181.95/1182.31 c 144s | 10 | 16064 | 12761 | 410400 0 | 15757 | 20424 1184.95/1185.38 c 147s | 10 | 16447 | 13061 | 410400 0 | 15757 | 20424 1187.85/1188.29 c 150s | 10 | 16831 | 13361 | 410400 0 | 15757 | 20424 1190.85/1191.30 c 153s | 10 | 17187 | 13661 | 410400 0 | 15757 | 20424 1193.05/1193.40 c 155s | 10 | 17432 | 13861 | 410400 0 | 15757 | 20424 1195.95/1196.36 c 158s | 10 | 17770 | 14161 | 410400 0 | 15757 | 20424 1198.85/1199.20 c 161s | 10 | 18126 | 14461 | 410400 0 | 15757 | 20424 1201.65/1202.05 c 164s | 10 | 18501 | 14761 | 410400 0 | 15757 | 20424 1203.85/1204.21 c 166s | 10 | 18760 | 14961 | 410400 0 | 15757 | 20424 1206.85/1207.27 c 169s | 10 | 19093 | 15261 | 410400 0 | 15757 | 20424 1209.05/1209.44 c 171s | 10 | 19332 | 15461 | 410400 0 | 15757 | 20424 1211.25/1211.61 c 174s | 10 | 19590 | 15661 | 410400 0 | 15757 | 20424 1213.45/1213.83 c 176s | 10 | 19824 | 15861 | 410400 0 | 15757 | 20424 1216.46/1216.85 c 179s | 10 | 20198 | 16161 | 410400 0 | 15757 | 20424 1219.16/1219.52 c 181s | 10 | 20567 | 16461 | 410400 0 | 15757 | 20424 1221.86/1222.27 c 184s | 10 | 20929 | 16761 | 410400 0 | 15757 | 20424 1224.66/1225.08 c 187s | 10 | 21319 | 17061 | 410400 0 | 15757 | 20424 1225.56/1225.91 c 188s | 11 | 21422 | 17144 | 410400 0 | 15757 | 20424 1227.96/1228.34 c 190s | 11 | 21576 | 17244 | 410400 0 | 15757 | 20424 1229.96/1230.38 c 192s | 11 | 21834 | 17444 | 410400 0 | 15757 | 20424 1232.55/1232.98 c 195s | 11 | 22182 | 17744 | 410400 0 | 15757 | 20424 1234.96/1235.38 c 197s | 11 | 22552 | 18044 | 410400 0 | 15757 | 20424 1237.75/1238.13 c 200s | 11 | 23068 | 18444 | 410400 0 | 15757 | 20424 1239.95/1240.35 c 202s | 11 | 23465 | 18744 | 410400 0 | 15757 | 20424 1242.35/1242.77 c 205s | 11 | 23847 | 19044 | 410400 0 | 15757 | 20424 1244.96/1245.38 c 207s | 11 | 24219 | 19344 | 410400 0 | 15757 | 20424 1247.75/1248.19 c 210s | 11 | 24572 | 19644 | 410400 0 | 15757 | 20424 1250.36/1250.79 c 213s | 11 | 24926 | 19944 | 410400 0 | 15757 | 20424 1253.15/1253.52 c 215s | 11 | 25277 | 20244 | 410400 0 | 15757 | 20424 1255.96/1256.33 c 218s | 11 | 25666 | 20544 | 410400 0 | 15757 | 20424 1258.06/1258.47 c 220s | 11 | 25925 | 20744 | 410400 0 | 15757 | 20424 1261.46/1261.83 c 224s | 11 | 26295 | 21044 | 410400 0 | 15757 | 20424 1263.85/1264.22 c 226s | 11 | 26556 | 21244 | 410400 0 | 15757 | 20424 1265.95/1266.33 c 228s | 11 | 26808 | 21444 | 410400 0 | 15757 | 20424 1268.06/1268.46 c 230s | 11 | 27048 | 21644 | 410400 0 | 15757 | 20424 1270.55/1270.94 c 233s | 11 | 27283 | 21844 | 410400 0 | 15757 | 20424 1272.65/1273.08 c 235s | 11 | 27521 | 22044 | 410400 0 | 15757 | 20424 1275.55/1275.90 c 238s | 11 | 27886 | 22344 | 410400 0 | 15757 | 20424 1278.35/1278.75 c 241s | 11 | 28267 | 22644 | 451441 0 | 15757 | 20424 1281.45/1281.84 c 244s | 11 | 28632 | 22944 | 451441 0 | 15757 | 20424 1283.95/1284.37 c 246s | 11 | 28876 | 23144 | 451441 0 | 15757 | 20424 1286.05/1286.43 c 248s | 11 | 29117 | 23344 | 451441 0 | 15757 | 20424 1288.15/1288.51 c 250s | 11 | 29373 | 23544 | 451441 0 | 15757 | 20424 1290.25/1290.69 c 253s | 11 | 29616 | 23744 | 451441 0 | 15757 | 20424 1293.05/1293.45 c 255s | 11 | 29999 | 24044 | 451441 0 | 15757 | 20424 1295.85/1296.26 c 258s | 11 | 30387 | 24344 | 451441 0 | 15757 | 20424 1298.85/1299.27 c 261s | 11 | 30746 | 24644 | 451441 0 | 15757 | 20424 1301.74/1302.16 c 264s | 11 | 31125 | 24944 | 451441 0 | 15757 | 20424 1303.94/1304.32 c 266s | 11 | 31361 | 25144 | 451441 0 | 15757 | 20424 1306.94/1307.30 c 269s | 11 | 31721 | 25444 | 451441 0 | 15757 | 20424 1309.14/1309.52 c 271s | 11 | 31952 | 25644 | 451441 0 | 15757 | 20424 1310.95/1311.39 c 273s | 12 | 32170 | 25819 | 451441 0 | 15757 | 20424 1313.84/1314.29 c 276s | 12 | 32315 | 25919 | 451441 0 | 15757 | 20424 1316.24/1316.63 c 279s | 12 | 32566 | 26119 | 451441 0 | 15757 | 20424 1318.34/1318.77 c 281s | 12 | 32824 | 26319 | 451441 0 | 15757 | 20424 1320.85/1321.25 c 283s | 12 | 33051 | 26519 | 451441 0 | 15757 | 20424 1323.05/1323.42 c 285s | 12 | 33303 | 26719 | 451441 0 | 15757 | 20424 1325.04/1325.47 c 287s | 12 | 33531 | 26919 | 451441 0 | 15757 | 20424 1327.45/1327.83 c 290s | 12 | 33780 | 27119 | 451441 0 | 15757 | 20424 1329.74/1330.17 c 292s | 12 | 34007 | 27319 | 451441 0 | 15757 | 20424 1332.54/1332.92 c 295s | 12 | 34425 | 27619 | 451441 0 | 15757 | 20424 1334.64/1335.09 c 297s | 12 | 34693 | 27819 | 451441 0 | 15757 | 20424 1337.84/1338.29 c 300s | 12 | 35089 | 28119 | 451441 0 | 15757 | 20424 1341.04/1341.43 c 303s | 12 | 35459 | 28419 | 451441 0 | 15757 | 20424 1343.84/1344.26 c 306s | 12 | 35818 | 28719 | 451441 0 | 15757 | 20424 1345.94/1346.33 c 308s | 12 | 36074 | 28919 | 451441 0 | 15757 | 20424 1348.04/1348.49 c 310s | 12 | 36317 | 29119 | 451441 0 | 15757 | 20424 1350.24/1350.62 c 313s | 12 | 36541 | 29319 | 451441 0 | 15757 | 20424 1353.34/1353.76 c 316s | 12 | 36877 | 29619 | 451441 0 | 15757 | 20424 1356.54/1356.99 c 319s | 12 | 37212 | 29919 | 451441 0 | 15757 | 20424 1358.64/1359.09 c 321s | 12 | 37453 | 30119 | 451441 0 | 15757 | 20424 1360.74/1361.11 c 323s | 12 | 37682 | 30319 | 451441 0 | 15757 | 20424 1363.03/1363.42 c 325s | 12 | 37918 | 30519 | 451441 0 | 15757 | 20424 1365.33/1365.77 c 328s | 12 | 38163 | 30719 | 451441 0 | 15757 | 20424 1367.53/1367.92 c 330s | 12 | 38408 | 30919 | 451441 0 | 15757 | 20424 1369.53/1369.97 c 332s | 12 | 38644 | 31119 | 451441 0 | 15757 | 20424 1371.73/1372.12 c 334s | 12 | 38869 | 31319 | 451441 0 | 15757 | 20424 1373.83/1374.29 c 336s | 12 | 39105 | 31519 | 451441 0 | 15757 | 20424 1376.03/1376.49 c 338s | 12 | 39358 | 31719 | 451441 0 | 15757 | 20424 1378.13/1378.59 c 341s | 12 | 39599 | 31919 | 451441 0 | 15757 | 20424 1380.63/1381.06 c 343s | 12 | 39872 | 32119 | 451441 0 | 15757 | 20424 1383.03/1383.45 c 345s | 12 | 40126 | 32319 | 451441 0 | 15757 | 20424 1385.53/1385.92 c 348s | 12 | 40379 | 32519 | 451441 0 | 15757 | 20424 1387.73/1388.19 c 350s | 12 | 40623 | 32719 | 451441 0 | 15757 | 20424 1390.04/1390.43 c 352s | 12 | 40873 | 32919 | 451441 0 | 15757 | 20424 1392.53/1392.92 c 355s | 12 | 41149 | 33119 | 451441 0 | 15757 | 20424 1394.73/1395.13 c 357s | 12 | 41393 | 33319 | 451441 0 | 15757 | 20424 1396.93/1397.36 c 359s | 12 | 41677 | 33519 | 451441 0 | 15757 | 20424 1399.13/1399.50 c 361s | 12 | 41939 | 33719 | 451441 0 | 15757 | 20424 1401.43/1401.84 c 364s | 12 | 42184 | 33919 | 451441 0 | 15757 | 20424 1403.73/1404.13 c 366s | 12 | 42422 | 34119 | 451441 0 | 15757 | 20424 1406.13/1406.58 c 369s | 12 | 42672 | 34319 | 451441 0 | 15757 | 20424 1408.63/1409.03 c 371s | 12 | 42924 | 34519 | 451441 0 | 15757 | 20424 1410.93/1411.31 c 373s | 12 | 43177 | 34719 | 451441 0 | 15757 | 20424 1413.03/1413.42 c 375s | 12 | 43414 | 34919 | 451441 0 | 15757 | 20424 1415.13/1415.57 c 377s | 12 | 43660 | 35119 | 451441 0 | 15757 | 20424 1417.33/1417.74 c 380s | 12 | 43931 | 35319 | 451441 0 | 15757 | 20424 1419.33/1419.77 c 382s | 12 | 44186 | 35519 | 451441 0 | 15757 | 20424 1421.52/1421.99 c 384s | 12 | 44426 | 35719 | 451441 0 | 15757 | 20424 1424.13/1424.53 c 386s | 12 | 44685 | 35919 | 451441 0 | 15757 | 20424 1426.43/1426.85 c 389s | 12 | 44934 | 36119 | 451441 0 | 15757 | 20424 1428.42/1428.86 c 391s | 12 | 45202 | 36319 | 451441 0 | 15757 | 20424 1430.42/1430.88 c 393s | 12 | 45480 | 36519 | 451441 0 | 15757 | 20424 1432.82/1433.21 c 395s | 12 | 45724 | 36719 | 451441 0 | 15757 | 20424 1435.13/1435.57 c 397s | 12 | 45991 | 36919 | 451441 0 | 15757 | 20424 1437.72/1438.13 c 400s | 12 | 46401 | 37219 | 451441 0 | 15757 | 20424 1440.42/1440.88 c 403s | 12 | 46788 | 37519 | 451441 0 | 15757 | 20424 1442.83/1443.28 c 405s | 12 | 47029 | 37719 | 451441 0 | 15757 | 20424 1444.92/1445.36 c 407s | 12 | 47265 | 37919 | 451441 0 | 15757 | 20424 1446.92/1447.36 c 409s | 12 | 47527 | 38119 | 451441 0 | 15757 | 20424 1449.72/1450.15 c 412s | 12 | 47876 | 38419 | 451441 0 | 15757 | 20424 1452.02/1452.46 c 414s | 12 | 48137 | 38619 | 451441 0 | 15757 | 20424 1454.12/1454.55 c 416s | 12 | 48401 | 38819 | 451441 0 | 15757 | 20424 1454.32/1454.79 c 417s | 13 | 48419 | 38832 | 451441 0 | 15757 | 20424 1457.32/1457.74 c 420s | 13 | 48574 | 38932 | 451441 0 | 15757 | 20424 1459.62/1460.06 c 422s | 13 | 48807 | 39132 | 451441 0 | 15757 | 20424 1462.02/1462.46 c 424s | 13 | 49061 | 39332 | 451441 0 | 15757 | 20424 1464.22/1464.64 c 427s | 13 | 49315 | 39532 | 451441 0 | 15757 | 20424 1466.42/1466.89 c 429s | 13 | 49583 | 39732 | 451441 0 | 15757 | 20424 1469.42/1469.88 c 432s | 13 | 49955 | 40032 | 451441 0 | 15757 | 20424 1471.72/1472.12 c 434s | 13 | 50183 | 40232 | 451441 0 | 15757 | 20424 1474.12/1474.56 c 436s | 13 | 50473 | 40432 | 451441 0 | 15757 | 20424 1476.42/1476.87 c 439s | 13 | 50734 | 40632 | 451441 0 | 15757 | 20424 1478.82/1479.21 c 441s | 13 | 50990 | 40832 | 451441 0 | 15757 | 20424 1481.01/1481.40 c 443s | 13 | 51254 | 41032 | 451441 0 | 15757 | 20424 1483.01/1483.48 c 445s | 13 | 51513 | 41232 | 451441 0 | 15757 | 20424 1485.41/1485.81 c 448s | 13 | 51756 | 41432 | 451441 0 | 15757 | 20424 1487.61/1488.02 c 450s | 13 | 52049 | 41632 | 451441 0 | 15757 | 20424 1489.91/1490.32 c 452s | 13 | 52293 | 41832 | 451441 0 | 15757 | 20424 1492.42/1492.81 c 455s | 13 | 52547 | 42032 | 451441 0 | 15757 | 20424 1494.52/1494.97 c 457s | 13 | 52765 | 42232 | 451441 0 | 15757 | 20424 1497.21/1497.65 c 460s | 13 | 53026 | 42432 | 451441 0 | 15757 | 20424 1499.61/1500.07 c 462s | 13 | 53270 | 42632 | 451441 0 | 15757 | 20424 1501.81/1502.23 c 464s | 13 | 53520 | 42832 | 451441 0 | 15757 | 20424 1504.21/1504.63 c 467s | 13 | 53755 | 43032 | 451441 0 | 15757 | 20424 1506.21/1506.69 c 469s | 13 | 53984 | 43232 | 451441 0 | 15757 | 20424 1509.51/1509.91 c 472s | 13 | 54347 | 43532 | 451441 0 | 15757 | 20424 1511.91/1512.33 c 474s | 13 | 54600 | 43732 | 451441 0 | 15757 | 20424 1514.11/1514.53 c 476s | 13 | 54869 | 43932 | 451441 0 | 15757 | 20424 1516.52/1516.98 c 479s | 13 | 55123 | 44132 | 451441 0 | 15757 | 20424 1519.11/1519.52 c 481s | 13 | 55389 | 44332 | 451441 0 | 15757 | 20424 1521.31/1521.71 c 484s | 13 | 55640 | 44532 | 451441 0 | 15757 | 20424 1523.71/1524.15 c 486s | 13 | 55875 | 44732 | 451441 0 | 15757 | 20424 1526.11/1526.56 c 488s | 13 | 56133 | 44932 | 451441 0 | 15757 | 20424 1528.51/1528.92 c 491s | 13 | 56386 | 45132 | 451441 0 | 15757 | 20424 1530.61/1531.01 c 493s | 13 | 56673 | 45332 | 451441 0 | 15757 | 20424 1533.81/1534.23 c 496s | 13 | 57069 | 45632 | 451441 0 | 15757 | 20424 1535.91/1536.36 c 498s | 13 | 57316 | 45832 | 451441 0 | 15757 | 20424 1538.61/1539.04 c 501s | 13 | 57566 | 46032 | 451441 0 | 15757 | 20424 1541.10/1541.50 c 503s | 13 | 57807 | 46232 | 451441 0 | 15757 | 20424 1543.40/1543.83 c 506s | 13 | 58032 | 46432 | 451441 0 | 15757 | 20424 1545.70/1546.17 c 508s | 13 | 58273 | 46632 | 451441 0 | 15757 | 20424 1548.20/1548.64 c 511s | 13 | 58541 | 46832 | 451441 0 | 15757 | 20424 1550.61/1551.06 c 513s | 13 | 58794 | 47032 | 451441 0 | 15757 | 20424 1553.20/1553.65 c 516s | 13 | 59006 | 47232 | 451441 0 | 15757 | 20424 1555.50/1555.94 c 518s | 13 | 59279 | 47432 | 451441 0 | 15757 | 20424 1557.90/1558.35 c 520s | 13 | 59508 | 47632 | 451441 0 | 15757 | 20424 1560.61/1561.09 c 523s | 13 | 59766 | 47832 | 451441 0 | 15757 | 20424 1563.30/1563.73 c 526s | 13 | 60027 | 48032 | 451441 0 | 15757 | 20424 1565.80/1566.22 c 528s | 13 | 60261 | 48232 | 451441 0 | 15757 | 20424 1567.90/1568.39 c 530s | 13 | 60496 | 48432 | 451441 0 | 15757 | 20424 1570.70/1571.13 c 533s | 13 | 60760 | 48632 | 451441 0 | 15757 | 20424 1572.90/1573.36 c 535s | 13 | 61016 | 48832 | 451441 0 | 15757 | 20424 1575.70/1576.15 c 538s | 13 | 61371 | 49132 | 451441 0 | 15757 | 20424 1578.40/1578.81 c 541s | 13 | 61600 | 49332 | 451441 0 | 15757 | 20424 1581.00/1581.49 c 543s | 13 | 61866 | 49532 | 451441 0 | 15757 | 20424 1584.10/1584.56 c 546s | 13 | 62278 | 49832 | 451441 0 | 15757 | 20424 1586.40/1586.84 c 549s | 13 | 62532 | 50032 | 451441 0 | 15757 | 20424 1588.70/1589.15 c 551s | 13 | 62802 | 50232 | 451441 0 | 15757 | 20424 1590.90/1591.32 c 553s | 13 | 63045 | 50432 | 451441 0 | 15757 | 20424 1593.00/1593.46 c 555s | 13 | 63297 | 50632 | 451441 0 | 15757 | 20424 1595.80/1596.23 c 558s | 13 | 63534 | 50832 | 451441 0 | 15757 | 20424 1598.60/1599.02 c 561s | 13 | 63778 | 51032 | 451441 0 | 15757 | 20424 1600.90/1601.30 c 563s | 13 | 64032 | 51232 | 451441 0 | 15757 | 20424 1603.30/1603.79 c 566s | 13 | 64275 | 51432 | 451441 0 | 15757 | 20424 1606.99/1607.45 c 569s | 13 | 64527 | 51632 | 451441 0 | 15757 | 20424 1610.29/1610.75 c 573s | 13 | 64749 | 51832 | 451441 0 | 15757 | 20424 1613.19/1613.63 c 576s | 13 | 64983 | 52032 | 451441 0 | 15757 | 20424 1615.99/1616.47 c 578s | 13 | 65222 | 52232 | 451441 0 | 15757 | 20424 1618.80/1619.23 c 581s | 13 | 65475 | 52432 | 451441 0 | 15757 | 20424 1621.59/1622.00 c 584s | 13 | 65711 | 52632 | 451441 0 | 15757 | 20424 1624.40/1624.89 c 587s | 13 | 65950 | 52832 | 451441 0 | 15757 | 20424 1627.19/1627.69 c 590s | 13 | 66174 | 53032 | 451441 0 | 15757 | 20424 1630.19/1630.64 c 593s | 13 | 66398 | 53232 | 451441 0 | 15757 | 20424 1632.69/1633.12 c 595s | 13 | 66617 | 53432 | 451441 0 | 15757 | 20424 1635.09/1635.56 c 597s | 13 | 66872 | 53632 | 451441 0 | 15757 | 20424 1637.89/1638.32 c 600s | 13 | 67100 | 53832 | 451441 0 | 15757 | 20424 1640.69/1641.13 c 603s | 13 | 67325 | 54032 | 451441 0 | 15757 | 20424 1643.59/1644.05 c 606s | 13 | 67556 | 54232 | 451441 0 | 15757 | 20424 1646.30/1646.76 c 609s | 13 | 67779 | 54432 | 451441 0 | 15757 | 20424 1648.99/1649.41 c 611s | 13 | 68018 | 54632 | 451441 0 | 15757 | 20424 1651.59/1652.05 c 614s | 13 | 68256 | 54832 | 451441 0 | 15757 | 20424 1653.69/1654.10 c 616s | 13 | 68510 | 55032 | 451441 0 | 15757 | 20424 1655.79/1656.27 c 618s | 13 | 68738 | 55232 | 451441 0 | 15757 | 20424 1658.09/1658.59 c 621s | 13 | 68979 | 55432 | 451441 0 | 15757 | 20424 1660.69/1661.16 c 623s | 13 | 69206 | 55632 | 451441 0 | 15757 | 20424 1663.89/1664.35 c 626s | 13 | 69470 | 55832 | 451441 0 | 15757 | 20424 1666.49/1666.99 c 629s | 13 | 69705 | 56032 | 451441 0 | 15757 | 20424 1669.09/1669.53 c 631s | 13 | 69925 | 56232 | 451441 0 | 15757 | 20424 1671.59/1672.04 c 634s | 13 | 70175 | 56432 | 451441 0 | 15757 | 20424 1673.79/1674.27 c 636s | 13 | 70414 | 56632 | 451441 0 | 15757 | 20424 1676.38/1676.90 c 639s | 13 | 70642 | 56832 | 451441 0 | 15757 | 20424 1679.08/1679.51 c 641s | 13 | 70871 | 57032 | 451441 0 | 15757 | 20424 1681.49/1681.92 c 644s | 13 | 71132 | 57232 | 451441 0 | 15757 | 20424 1684.08/1684.51 c 646s | 13 | 71381 | 57432 | 451441 0 | 15757 | 20424 1686.78/1687.22 c 649s | 13 | 71628 | 57632 | 451441 0 | 15757 | 20424 1689.68/1690.15 c 652s | 13 | 71869 | 57832 | 451441 0 | 15757 | 20424 1691.78/1692.21 c 654s | 13 | 72107 | 58032 | 451441 0 | 15757 | 20424 1693.98/1694.42 c 656s | 13 | 72352 | 58232 | 451441 0 | 15757 | 20424 1695.48/1695.93 c 658s | 14 | 72486 | 58352 | 451441 0 | 15757 | 20424 1699.09/1699.60 c 662s | 14 | 72621 | 58452 | 451441 0 | 15757 | 20424 1702.28/1702.72 c 665s | 14 | 72875 | 58652 | 451441 0 | 15757 | 20424 1705.08/1705.52 c 667s | 14 | 73111 | 58852 | 451441 0 | 15757 | 20424 1707.99/1708.42 c 670s | 14 | 73336 | 59052 | 451441 0 | 15757 | 20424 1710.58/1711.06 c 673s | 14 | 73557 | 59252 | 451441 0 | 15757 | 20424 1713.38/1713.86 c 676s | 14 | 73804 | 59452 | 451441 0 | 15757 | 20424 1716.18/1716.67 c 679s | 14 | 74056 | 59652 | 451441 0 | 15757 | 20424 1718.78/1719.23 c 681s | 14 | 74328 | 59852 | 451441 0 | 15757 | 20424 1721.48/1721.96 c 684s | 14 | 74540 | 60052 | 451441 0 | 15757 | 20424 1724.38/1724.86 c 687s | 14 | 74772 | 60252 | 451441 0 | 15757 | 20424 1727.07/1727.53 c 689s | 14 | 75019 | 60452 | 451441 0 | 15757 | 20424 1729.98/1730.48 c 692s | 14 | 75275 | 60652 | 451441 0 | 15757 | 20424 1732.47/1732.92 c 695s | 14 | 75515 | 60852 | 451441 0 | 15757 | 20424 1734.87/1735.36 c 697s | 14 | 75751 | 61052 | 451441 0 | 15757 | 20424 1737.47/1737.98 c 700s | 14 | 75997 | 61252 | 451441 0 | 15757 | 20424 1740.27/1740.73 c 703s | 14 | 76226 | 61452 | 451441 0 | 15757 | 20424 1743.18/1743.65 c 706s | 14 | 76470 | 61652 | 451441 0 | 15757 | 20424 1745.97/1746.49 c 708s | 14 | 76715 | 61852 | 451441 0 | 15757 | 20424 1748.87/1749.37 c 711s | 14 | 76944 | 62052 | 451441 0 | 15757 | 20424 1752.17/1752.61 c 715s | 14 | 77196 | 62252 | 451441 0 | 15757 | 20424 1754.87/1755.32 c 717s | 14 | 77431 | 62452 | 451441 0 | 15757 | 20424 1757.57/1758.01 c 720s | 14 | 77665 | 62652 | 451441 0 | 15757 | 20424 1760.17/1760.69 c 723s | 14 | 77892 | 62852 | 451441 0 | 15757 | 20424 1762.57/1763.01 c 725s | 14 | 78139 | 63052 | 451441 0 | 15757 | 20424 1765.37/1765.89 c 728s | 14 | 78397 | 63252 | 451441 0 | 15757 | 20424 1767.97/1768.41 c 730s | 14 | 78641 | 63452 | 451441 0 | 15757 | 20424 1770.97/1771.44 c 733s | 14 | 78883 | 63652 | 451441 0 | 15757 | 20424 1774.07/1774.55 c 736s | 14 | 79134 | 63852 | 451441 0 | 15757 | 20424 1776.97/1777.45 c 739s | 14 | 79388 | 64052 | 451441 0 | 15757 | 20424 1780.07/1780.56 c 742s | 14 | 79634 | 64252 | 451441 0 | 15757 | 20424 1782.47/1782.99 c 745s | 14 | 79885 | 64452 | 451441 0 | 15757 | 20424 1785.76/1786.20 c 748s | 14 | 80130 | 64652 | 451441 0 | 15757 | 20424 1788.86/1789.38 c 751s | 14 | 80370 | 64852 | 451441 0 | 15757 | 20424 1791.76/1792.22 c 754s | 14 | 80603 | 65052 | 451441 0 | 15757 | 20424 1794.46/1794.96 c 757s | 14 | 80838 | 65252 | 451441 0 | 15757 | 20424 1797.07/1797.59 c 760s | 14 | 81078 | 65452 | 451441 0 | 15757 | 20424 1799.86/1800.31 c 762s | 14 | 81315 | 65652 | 451441 0 | 15757 | 20424
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-4108557-1466291628/watcher-4108557-1466291628 -o /tmp/evaluation-result-4108557-1466291628/solver-4108557-1466291628 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466291628-2239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108557-1466291628.opb pid=2261 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.25 2.47 3.21 5/174 2268 /proc/meminfo: memFree=30000764/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=650684 CPUtime=0 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 2410 0 0 0 0 0 0 0 20 0 4 0 31209463 666300416 3281 33554432000 4194304 16246674 140735433870880 140735433870304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 163183 3291 441 2943 0 160077 0 [pid=2266/tid=2271] ppid=2261 vsize=689596 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 706146304 3437 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=694716 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 711389184 3457 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=698812 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 715583488 3473 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100137 s] /proc/loadavg: 2.25 2.47 3.21 5/174 2268 /proc/meminfo: memFree=30000764/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 26106 0 0 0 5 4 0 0 20 0 4 0 31209463 1333334016 26916 33554432000 4194304 16246674 140735433870880 140735433870192 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 325521 26930 799 2943 0 322415 0 [pid=2266/tid=2271] ppid=2261 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1333334016 26941 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1333334016 26952 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1333334016 26962 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200511 s] /proc/loadavg: 2.25 2.47 3.21 5/174 2268 /proc/meminfo: memFree=30000764/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 45402 0 0 0 13 6 0 0 20 0 4 0 31209463 1344868352 46722 33554432000 4194304 16246674 140735433870880 140735433870192 13780514 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 328337 46722 799 2943 0 325231 0 [pid=2266/tid=2271] ppid=2261 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 46722 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 46722 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 46722 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300521 s] /proc/loadavg: 2.25 2.47 3.21 5/174 2268 /proc/meminfo: memFree=30000764/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 57377 0 0 0 21 8 0 0 20 0 4 0 31209463 1344868352 58697 33554432000 4194304 16246674 140735433870880 140735433870192 7380605 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 328337 58697 799 2943 0 325231 0 [pid=2266/tid=2271] ppid=2261 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 58697 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 58697 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 58697 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700401 s] /proc/loadavg: 2.25 2.47 3.21 5/174 2268 /proc/meminfo: memFree=30000764/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 66864 0 0 0 60 9 0 0 20 0 4 0 31209463 1344868352 68184 33554432000 4194304 16246674 140735433870880 140735433870192 7439640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 328337 68184 801 2943 0 325231 0 [pid=2266/tid=2271] ppid=2261 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 68184 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 68184 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 68184 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50041 s] /proc/loadavg: 2.25 2.47 3.21 5/182 2276 /proc/meminfo: memFree=29393772/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 80209 0 0 0 138 11 0 0 20 0 4 0 31209463 1344868352 81529 33554432000 4194304 16246674 140735433870880 140735433868736 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 328337 81529 812 2943 0 325231 0 [pid=2266/tid=2271] ppid=2261 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 81529 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 81529 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 81529 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.1004 s] /proc/loadavg: 2.25 2.47 3.21 4/182 2276 /proc/meminfo: memFree=28535560/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1340996 CPUtime=3.09 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 275865 0 0 0 267 42 0 0 20 0 4 0 31209463 1373179904 277185 33554432000 4194304 16246674 140735433870880 140735433852800 6953468 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 335249 277185 839 2943 0 332143 0 [pid=2266/tid=2271] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277185 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277185 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277185 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1340996 [startup+6.30042 s] /proc/loadavg: 2.22 2.46 3.20 4/182 2276 /proc/meminfo: memFree=27787192/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1340996 CPUtime=6.29 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 275934 0 0 0 587 42 0 0 20 0 4 0 31209463 1373179904 277254 33554432000 4194304 16246674 140735433870880 140735433852800 12429788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 335249 277254 903 2943 0 332143 0 [pid=2266/tid=2271] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277254 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277254 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277254 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1340996 [startup+12.7004 s] /proc/loadavg: 2.21 2.46 3.20 5/182 2276 /proc/meminfo: memFree=27787096/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1340996 CPUtime=12.69 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 275947 0 0 0 1227 42 0 0 20 0 4 0 31209463 1373179904 277267 33554432000 4194304 16246674 140735433870880 140735433852800 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 335249 277267 915 2943 0 332143 0 [pid=2266/tid=2271] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277267 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277267 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277267 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1340996 [startup+25.5005 s] /proc/loadavg: 2.23 2.45 3.18 4/183 2277 /proc/meminfo: memFree=27787748/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1340996 CPUtime=25.49 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 275948 0 0 0 2507 42 0 0 20 0 4 0 31209463 1373179904 277268 33554432000 4194304 16246674 140735433870880 140735433853880 5829174 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 335249 277268 915 2943 0 332143 0 [pid=2266/tid=2271] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277268 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277268 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277268 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1340996 [startup+51.1005 s] /proc/loadavg: 2.23 2.43 3.16 4/183 2278 /proc/meminfo: memFree=27787308/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1340996 CPUtime=51.08 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 275950 0 0 0 5066 42 0 0 20 0 4 0 31209463 1373179904 277269 33554432000 4194304 16246674 140735433870880 140735433852800 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 335249 277269 915 2943 0 332143 0 [pid=2266/tid=2271] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277269 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277269 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277269 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1340996 [startup+102.3 s] /proc/loadavg: 2.16 2.38 3.10 4/183 2279 /proc/meminfo: memFree=27786132/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1340996 CPUtime=102.28 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 275955 0 0 0 10186 42 0 0 20 0 4 0 31209463 1373179904 277269 33554432000 4194304 16246674 140735433870880 140735433852800 5523307 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 335249 277269 915 2943 0 332143 0 [pid=2266/tid=2271] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277269 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277269 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277269 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1340996 ################ # More data... # ################ /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1340996 [startup+1362.3 s] /proc/loadavg: 2.21 2.23 2.43 5/183 2310 /proc/meminfo: memFree=27706852/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1340996 CPUtime=1361.94 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 276254 0 0 0 136150 44 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 140735433868672 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 335249 277274 919 2943 0 332143 0 [pid=2266/tid=2271] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1340996 [startup+1422.3 s] /proc/loadavg: 2.22 2.23 2.42 4/183 2311 /proc/meminfo: memFree=27707072/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1340996 CPUtime=1421.93 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 276254 0 0 0 142149 44 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 140735433852800 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 335249 277274 919 2943 0 332143 0 [pid=2266/tid=2271] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1340996 [startup+1482.3 s] /proc/loadavg: 2.44 2.29 2.43 5/183 2312 /proc/meminfo: memFree=27707048/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1340996 CPUtime=1481.91 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 276254 0 0 0 148147 44 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 140735433852736 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 335249 277274 919 2943 0 332143 0 [pid=2266/tid=2271] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1340996 [startup+1542.31 s] /proc/loadavg: 2.42 2.31 2.43 4/183 2313 /proc/meminfo: memFree=27437728/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1340996 CPUtime=1541.91 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 276254 0 0 0 154147 44 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 140735433852800 5677837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 335249 277274 919 2943 0 332143 0 [pid=2266/tid=2271] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1340996 [startup+1602.3 s] /proc/loadavg: 2.35 2.31 2.42 5/184 2318 /proc/meminfo: memFree=27437776/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1340996 CPUtime=1601.9 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 276254 0 0 0 160146 44 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 140735433852800 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 335249 277274 919 2943 0 332143 0 [pid=2266/tid=2271] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1340996 [startup+1662.3 s] /proc/loadavg: 2.30 2.31 2.41 5/183 2319 /proc/meminfo: memFree=27437788/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1340996 CPUtime=1661.89 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 276254 0 0 0 166145 44 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 140735433852800 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 335249 277274 919 2943 0 332143 0 [pid=2266/tid=2271] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1340996 [startup+1722.3 s] /proc/loadavg: 2.27 2.30 2.40 4/183 2320 /proc/meminfo: memFree=27437656/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1340996 CPUtime=1721.88 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 276254 0 0 0 172144 44 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 140735433852800 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 335249 277274 919 2943 0 332143 0 [pid=2266/tid=2271] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1340996 [startup+1782.3 s] /proc/loadavg: 2.25 2.29 2.38 4/183 2321 /proc/meminfo: memFree=27436904/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1340996 CPUtime=1781.87 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 276254 0 0 0 178143 44 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 140735433852800 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 335249 277274 919 2943 0 332143 0 [pid=2266/tid=2271] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1340996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.26 2.28 2.38 5/183 2321 /proc/meminfo: memFree=27437032/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1340996 CPUtime=1800.06 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 276254 0 0 0 179962 44 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 140735433868736 5823961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 335249 277274 919 2943 0 332143 0 [pid=2266/tid=2271] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1340996 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 2266 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.26 2.28 2.38 5/183 2321 /proc/meminfo: memFree=27437032/32872528 swapFree=1542984/1696284 [pid=2266] ppid=2261 vsize=1340996 CPUtime=1800.06 cores=0,2,4,6 /proc/2266/stat : 2266 (toysat) R 2261 2266 28084 0 -1 4202496 276254 0 0 0 179962 44 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 140735433868736 5823961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2266/statm: 335249 277274 919 2943 0 332143 0 [pid=2266/tid=2271] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2271/stat : 2271 (toysat) S 2261 2266 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952331402480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2266/tid=2273] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2273/stat : 2273 (toysat) S 2261 2266 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952247516400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2266/tid=2274] ppid=2261 vsize=1340996 CPUtime=0 cores=0,2,4,6 /proc/2266/task/2274/stat : 2274 (toysat) S 2261 2266 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 277274 33554432000 4194304 16246674 140735433870880 139952237042864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1340996 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.08 CPU user time (s): 1799.63 CPU system time (s): 0.445932 CPU usage (%): 99.9761 Max. virtual memory (cumulated for all children) (KiB): 1340996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.63 system time used= 0.445932 maximum resident set size= 1109096 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 276254 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= 334 involuntary context switches= 1908 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.25035 second user time and 7.2599 second system time The end
Begin job on node125 at 2016-06-19 01:13:48 IDJOB=4108557 IDBENCH=77567 IDSOLVER=2542 FILE ID=node125/4108557-1466291628 RUNJOBID= node125-1466291628-2239 PBS_JOBID= 19918241 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12017_7.std.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108557-1466291628/watcher-4108557-1466291628 -o /tmp/evaluation-result-4108557-1466291628/solver-4108557-1466291628 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466291628-2239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108557-1466291628.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f1ad880d8b0218ee8fbfe589c0282393 RANDOM SEED=398164719 node125.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.683 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.36 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.683 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.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 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.54 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.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 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.683 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: 30001108 kB Buffers: 159872 kB Cached: 270432 kB SwapCached: 688 kB Active: 150184 kB Inactive: 282540 kB Active(anon): 3932 kB Inactive(anon): 1040 kB Active(file): 146252 kB Inactive(file): 281500 kB Unevictable: 1696284 kB Mlocked: 1542984 kB SwapTotal: 67108856 kB SwapFree: 67098232 kB Dirty: 48592 kB Writeback: 0 kB AnonPages: 1697712 kB Mapped: 6188 kB Shmem: 0 kB Slab: 607920 kB SReclaimable: 51584 kB SUnreclaim: 556336 kB KernelStack: 1368 kB PageTables: 6788 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1791608 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 153600 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71696 MiB End job on node125 at 2016-06-19 01:43:49