| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.45 |
| Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12038_4.std.opb |
| MD5SUM | 661b4190c55178f9645295549e370fd5 |
| 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 | 147 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| 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 | 245147 |
| Number of constraints which are clauses | 243947 |
| 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-07T06:38:57+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-4079974-1465274337.opb"] 0.00/0.01 c use --random-gen="1143510594 1862933187 68086933 1539132567 3714906830 645936212 2003441894 3327170090 3115916267 840444108 3012771969 4181583985 1450131472 2977522361 3556189474 2729541812 3937808376 454329733 2006756710 3223945058 1324942854 3780041016 1010644616 4099919998 2228044489 540878638 3255821267 4081182158 2106298649 2383846713 2139849552 3280072011 3639034463 484870545 2927588094 324824794 4009584468 4187041671 2232723105 2774435681 4165526252 4177127236 721850341 1156985728 1604187985 2887731871 2552636050 1138100491 2319195736 284875035 2154660776 497979656 2474440184 3882442156 734961821 372339337 4059835231 1562191422 3910029524 3318855961 2420613340 690558916 1290587428 3897704861 1529091639 58840078 1513855072 3430310614 442026009 3101040268 2092610237 683950054 3019074972 2829551337 4218854293 891653761 3782485606 1101890147 1309518829 783674364 1397787468 2074346123 3434532402 470754410 4264674779 891044428 2780234363 2795853529 1775341339 1465198868 3928793087 4160120148 467049358 2696743444 2843709644 306815486 3479315190 3573700766 4126054852 1916923535 2768867517 601472323 3869175026 1661140611 4125207935 2104280647 1521575493 251041059 3538754386 1119008253 3918893327 3222129918 2857642495 1925585386 1542669391 1031633909 2767937744 428677400 2738152209 2531447707 2308852778 2072633274 3722661458 3543194724 4062537285 1437682298 3302243985 3040500693 978015194 1242588287 2121353263 1746693375 3662837466 149305310 469928195 2442161647 1094735786 3700391945 546110297 918636714 3967218321 1032991192 772811080 1246406384 3776692286 2007300954 3856666449 2816367605 3281634079 3913238669 1800954938 1201712545 2157042184 3864789805 3657868440 2776952384 2342208900 3519751060 1433556595 2832957202 3473204829 804111 3261536813 2671704898 247557696 3037303598 1010320899 2446045305 2961327943 182879177 418584478 471465123 2137893507 1714930888 3128031745 1638876050 1892187247 2780347509 1110836405 3202634979 837209717 981863495 1806174042 674731053 2214704613 1203826629 3479341824 3908490535 3224786037 2721373762 3735748654 865982324 3569375929 1184072474 2195233952 3433013433 3071956347 4192981132 2489564755 1436826544 1142830674 1799505488 1645556420 2187649184 3901218313 2423429485 2924147341 1068417439 3753528146 2912682033 2925858908 1178667556 2770876658 3136137665 1649635694 1437905550 2563008308 4049728990 3614866485 502072661 979180241 2274812997 2272791467 3610614824 2419290125 1859767239 3320646068 2894447955 306423098 1029141366 267377254 2237397525 2939300001 1606268860 3021396055 3462161463 1055066645 388764077 3409737793 2100396626 254510804 3246579310 142359390 1258262545 3813673877 1204317755 1488792544 3703739569 954825563 3656608409 2098813869 2727559894 3381005729 3590599963 2922413890 1139039181 255 362436" option to reproduce the execution 1.38/1.49 c #vars 72842 1.38/1.49 c #constraints 245147 4.39/4.48 c BCD2: Hardening is enabled. 4.39/4.48 c BCD2: BiasedSearch is enabled. 4.39/4.48 c Solving starts ... 4.39/4.48 c ============================[ Search Statistics ]============================ 4.39/4.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.39/4.48 c | | | | Limit GC | Var | Constra 4.39/4.48 c ============================================================================= 4.69/4.71 c 0.0s | 0 | 0 | 0 | 88485 0 | 20253 | 0 4.89/4.96 c 0.3s | 0 | 121 | 0 | 88485 0 | 20253 | 26266 4.89/4.96 c #cpu_time = 0.225s 4.89/4.96 c #wall_clock_time = 0.225s 4.89/4.96 c #decision = 121 4.89/4.96 c #random_decision = 0 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 | 88485 0 | 20495 | 26266 5.09/5.16 c 0.2s | 0 | 183 | 0 | 88485 0 | 20495 | 27088 5.09/5.16 c #cpu_time = 0.177s 5.09/5.16 c #wall_clock_time = 0.177s 5.09/5.16 c #decision = 183 5.09/5.16 c #random_decision = 0 5.09/5.16 c #conflict = 0 5.09/5.16 c #restart = 0 5.09/5.16 c BCD2: found a new core of size 184: cost of the new core is >=116 5.09/5.16 c lower bound updated to 116 5.09/5.16 c BCD2: 116 <= obj <= 299 5.09/5.16 c BCD2: #cores=1, #unrelaxed=115, #relaxed=184, #hardened=1 5.09/5.16 c BCD2: #sat=1 #unsat=2 bias=2/3 6.39/6.43 c Solving starts ... 6.39/6.43 c ============================[ Search Statistics ]============================ 6.39/6.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.39/6.43 c | | | | Limit GC | Var | Constra 6.39/6.43 c ============================================================================= 6.39/6.43 c 0.0s | 0 | 0 | 0 | 88485 0 | 20495 | 27088 6.70/6.74 c 0.3s | 1 | 140 | 100 | 88485 0 | 20495 | 27088 7.19/7.22 c 0.8s | 2 | 377 | 250 | 97334 0 | 20495 | 27088 7.80/7.89 c 1.5s | 3 | 723 | 475 | 107068 0 | 20495 | 27088 8.69/8.72 c 2.3s | 4 | 1150 | 813 | 117775 0 | 20495 | 27088 10.10/10.17 c 3.7s | 5 | 1783 | 1320 | 129553 0 | 20495 | 27088 11.99/12.09 c 5.7s | 6 | 2812 | 2081 | 156760 0 | 20495 | 27088 14.19/14.23 c 7.8s | 6 | 3837 | 2881 | 156760 0 | 20495 | 27088 15.09/15.10 c 8.7s | 6 | 4224 | 3197 | 156760 0 | 20496 | 27089 15.09/15.10 c #cpu_time = 8.647s 15.09/15.10 c #wall_clock_time = 8.669s 15.09/15.10 c #decision = 4224 15.09/15.10 c #random_decision = 4 15.09/15.10 c #conflict = 3197 15.09/15.10 c #restart = 6 15.09/15.10 c BCD2: updating lower bound of a core 15.09/15.10 c lower bound updated to 117 15.09/15.10 c BCD2: 117 <= obj <= 299 15.09/15.10 c BCD2: #cores=1, #unrelaxed=115, #relaxed=184, #hardened=1 15.09/15.10 c BCD2: #sat=1 #unsat=3 bias=3/4 16.19/16.26 c Solving starts ... 16.19/16.26 c ============================[ Search Statistics ]============================ 16.19/16.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 16.19/16.26 c | | | | Limit GC | Var | Constra 16.19/16.26 c ============================================================================= 16.19/16.26 c 0.0s | 0 | 0 | 0 | 156760 0 | 20496 | 27089 16.69/16.71 c 0.4s | 1 | 165 | 100 | 172436 0 | 20496 | 27089 17.19/17.28 c 1.0s | 2 | 362 | 250 | 172436 0 | 20496 | 27089 17.89/17.98 c 1.7s | 3 | 695 | 475 | 172436 0 | 20496 | 27089 18.89/18.95 c 2.7s | 4 | 1131 | 813 | 172436 0 | 20496 | 27089 20.29/20.38 c 4.1s | 5 | 1802 | 1320 | 172436 0 | 20496 | 27089 22.29/22.36 c 6.1s | 6 | 2830 | 2081 | 189680 0 | 20496 | 27089 24.39/24.42 c 8.2s | 6 | 3725 | 2781 | 189680 0 | 20496 | 27089 25.29/25.39 c 9.1s | 7 | 4386 | 3223 | 189680 0 | 20496 | 27089 27.38/27.46 c 11.2s | 7 | 5323 | 3923 | 189680 0 | 20496 | 27089 29.58/29.60 c 13.3s | 7 | 6370 | 4723 | 208649 0 | 20496 | 27089 30.08/30.16 c 13.9s | 8 | 6601 | 4936 | 208649 0 | 20496 | 27089 32.09/32.19 c 15.9s | 8 | 7573 | 5636 | 208649 0 | 20496 | 27089 34.19/34.27 c 18.0s | 8 | 8775 | 6436 | 208649 0 | 20496 | 27089 36.28/36.32 c 20.1s | 8 | 9686 | 7136 | 208649 0 | 20496 | 27089 37.28/37.32 c 21.1s | 9 | 10154 | 7506 | 208649 0 | 20496 | 27089 39.58/39.69 c 23.4s | 9 | 10959 | 8106 | 229514 0 | 20496 | 27089 41.68/41.79 c 25.5s | 9 | 11854 | 8806 | 229514 0 | 20496 | 27089 43.78/43.85 c 27.6s | 9 | 12756 | 9506 | 229514 0 | 20496 | 27089 45.88/45.96 c 29.7s | 9 | 13604 | 10206 | 229514 0 | 20496 | 27089 48.08/48.12 c 31.9s | 9 | 14450 | 10906 | 229514 0 | 20496 | 27089 49.28/49.36 c 33.1s | 10 | 15154 | 11361 | 229514 0 | 20496 | 27089 51.28/51.36 c 35.1s | 10 | 16015 | 11961 | 229514 0 | 20496 | 27089 53.38/53.41 c 37.1s | 10 | 16783 | 12561 | 229514 0 | 20496 | 27089 55.38/55.47 c 39.2s | 10 | 17648 | 13261 | 229514 0 | 20496 | 27089 57.48/57.51 c 41.2s | 10 | 18410 | 13861 | 252466 0 | 20496 | 27089 59.78/59.82 c 43.6s | 10 | 19170 | 14461 | 252466 0 | 20496 | 27089 62.08/62.10 c 45.8s | 10 | 20106 | 15161 | 252466 0 | 20496 | 27089 64.18/64.27 c 48.0s | 10 | 20878 | 15761 | 252466 0 | 20496 | 27089 66.58/66.66 c 50.4s | 10 | 21581 | 16361 | 252466 0 | 20496 | 27089 68.78/68.81 c 52.5s | 10 | 22331 | 16961 | 252466 0 | 20496 | 27089 69.49/69.53 c 53.3s | 11 | 22554 | 17144 | 252466 0 | 20496 | 27089 71.69/71.71 c 55.5s | 11 | 23180 | 17644 | 252466 0 | 20496 | 27089 73.88/73.96 c 57.7s | 11 | 23924 | 18244 | 252466 0 | 20496 | 27089 75.98/76.08 c 59.8s | 11 | 24650 | 18844 | 252466 0 | 20496 | 27089 78.08/78.13 c 61.9s | 11 | 25374 | 19444 | 252466 0 | 20496 | 27089 80.08/80.17 c 63.9s | 11 | 26079 | 20044 | 252466 0 | 20496 | 27089 82.48/82.53 c 66.3s | 11 | 26672 | 20544 | 252466 0 | 20496 | 27089 84.68/84.79 c 68.5s | 11 | 27456 | 21144 | 252466 0 | 20496 | 27089 86.87/86.95 c 70.7s | 11 | 28201 | 21744 | 252466 0 | 20496 | 27089 89.18/89.23 c 73.0s | 11 | 28811 | 22244 | 252466 0 | 20496 | 27089 91.27/91.34 c 75.1s | 11 | 29434 | 22744 | 277713 0 | 20496 | 27089 93.37/93.40 c 77.1s | 11 | 30181 | 23344 | 277713 0 | 20496 | 27089 95.67/95.72 c 79.5s | 11 | 30751 | 23844 | 277713 0 | 20496 | 27089 98.08/98.11 c 81.8s | 11 | 31501 | 24444 | 277713 0 | 20496 | 27089 100.47/100.51 c 84.3s | 11 | 32200 | 25044 | 277713 0 | 20496 | 27089 102.48/102.52 c 86.3s | 11 | 32962 | 25544 | 277713 0 | 20496 | 27089 103.37/103.47 c 87.2s | 12 | 33310 | 25819 | 277713 0 | 20496 | 27089 105.57/105.60 c 89.3s | 12 | 33995 | 26319 | 277713 0 | 20496 | 27089 107.98/108.00 c 91.7s | 12 | 34791 | 26919 | 277713 0 | 20496 | 27089 109.47/109.50 c 93.2s | 12 | 35112 | 27189 | 277713 0 | 20497 | 27090 109.47/109.50 c #cpu_time = 92.997s 109.47/109.50 c #wall_clock_time = 93.236s 109.47/109.50 c #decision = 35112 109.47/109.50 c #random_decision = 26 109.47/109.50 c #conflict = 27189 109.47/109.50 c #restart = 12 109.47/109.50 c BCD2: updating lower bound of a core 109.47/109.50 c lower bound updated to 118 109.47/109.50 c BCD2: 118 <= obj <= 299 109.47/109.50 c BCD2: #cores=1, #unrelaxed=115, #relaxed=184, #hardened=1 109.47/109.50 c BCD2: #sat=1 #unsat=4 bias=4/5 110.47/110.58 c Solving starts ... 110.47/110.58 c ============================[ Search Statistics ]============================ 110.47/110.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 110.47/110.58 c | | | | Limit GC | Var | Constra 110.47/110.58 c ============================================================================= 110.47/110.58 c 0.0s | 0 | 0 | 0 | 277713 0 | 20497 | 27090 111.28/111.35 c 0.8s | 1 | 147 | 100 | 277713 0 | 20497 | 27090 112.28/112.37 c 1.8s | 2 | 369 | 250 | 277713 0 | 20497 | 27090 113.48/113.56 c 3.0s | 3 | 709 | 475 | 277713 0 | 20497 | 27090 114.97/115.01 c 4.4s | 4 | 1189 | 813 | 277713 0 | 20497 | 27090 117.17/117.27 c 6.7s | 4 | 1887 | 1313 | 277713 0 | 20497 | 27090 117.27/117.32 c 6.7s | 5 | 1903 | 1320 | 277713 0 | 20497 | 27090 119.57/119.67 c 9.1s | 5 | 2695 | 1920 | 277713 0 | 20497 | 27090 120.08/120.17 c 9.6s | 6 | 2887 | 2081 | 277713 0 | 20497 | 27090 122.37/122.46 c 11.9s | 6 | 3645 | 2581 | 277713 0 | 20497 | 27090 124.38/124.42 c 13.8s | 7 | 4454 | 3223 | 277713 0 | 20497 | 27090 126.47/126.58 c 16.0s | 7 | 5209 | 3723 | 277713 0 | 20497 | 27090 128.57/128.64 c 18.1s | 7 | 6057 | 4323 | 277713 0 | 20497 | 27090 130.57/130.64 c 20.1s | 8 | 6862 | 4936 | 277713 0 | 20497 | 27090 132.57/132.67 c 22.1s | 8 | 7403 | 5336 | 277713 0 | 20497 | 27090 134.97/135.00 c 24.4s | 8 | 8283 | 5936 | 277713 0 | 20497 | 27090 137.17/137.23 c 26.6s | 8 | 8969 | 6436 | 277713 0 | 20497 | 27090 139.47/139.56 c 29.0s | 8 | 9759 | 7036 | 277713 0 | 20497 | 27090 141.17/141.24 c 30.7s | 9 | 10389 | 7506 | 277713 0 | 20497 | 27090 143.46/143.53 c 33.0s | 9 | 11111 | 8006 | 277713 0 | 20497 | 27090 145.46/145.55 c 35.0s | 9 | 11725 | 8506 | 305485 0 | 20497 | 27090 147.76/147.85 c 37.3s | 9 | 12450 | 9106 | 305485 0 | 20497 | 27090 149.77/149.87 c 39.3s | 9 | 13087 | 9606 | 305485 0 | 20497 | 27090 152.06/152.16 c 41.6s | 9 | 13860 | 10206 | 305485 0 | 20497 | 27090 154.26/154.34 c 43.8s | 9 | 14605 | 10806 | 305485 0 | 20497 | 27090 156.37/156.47 c 45.9s | 10 | 15314 | 11361 | 305485 0 | 20497 | 27090 158.76/158.88 c 48.3s | 10 | 15846 | 11761 | 305485 0 | 20497 | 27090 160.77/160.88 c 50.3s | 10 | 16375 | 12161 | 305485 0 | 20497 | 27090 163.06/163.11 c 52.5s | 10 | 17116 | 12761 | 305485 0 | 20497 | 27090 165.36/165.40 c 54.8s | 10 | 17848 | 13361 | 305485 0 | 20497 | 27090 167.46/167.56 c 57.0s | 10 | 18626 | 13961 | 305485 0 | 20497 | 27090 169.76/169.87 c 59.3s | 10 | 19388 | 14561 | 305485 0 | 20497 | 27090 171.86/171.91 c 61.3s | 10 | 20191 | 15161 | 305485 0 | 20497 | 27090 174.06/174.16 c 63.6s | 10 | 20958 | 15761 | 305485 0 | 20497 | 27090 176.46/176.57 c 66.0s | 10 | 21685 | 16361 | 305485 0 | 20497 | 27090 178.76/178.87 c 68.3s | 10 | 22527 | 16961 | 305485 0 | 20497 | 27090 179.56/179.65 c 69.1s | 11 | 22759 | 17144 | 305485 0 | 20497 | 27090 181.66/181.74 c 71.2s | 11 | 23287 | 17544 | 305485 0 | 20497 | 27090 183.76/183.81 c 73.2s | 11 | 24000 | 18044 | 305485 0 | 20497 | 27090 185.86/185.92 c 75.3s | 11 | 24849 | 18644 | 305485 0 | 20497 | 27090 187.86/187.97 c 77.4s | 11 | 25632 | 19244 | 305485 0 | 20497 | 27090 190.16/190.28 c 79.7s | 11 | 26471 | 19844 | 305485 0 | 20497 | 27090 192.66/192.73 c 82.1s | 11 | 27208 | 20444 | 305485 0 | 20497 | 27090 194.96/195.06 c 84.5s | 11 | 27800 | 20944 | 305485 0 | 20497 | 27090 197.26/197.33 c 86.8s | 11 | 28480 | 21444 | 305485 0 | 20497 | 27090 199.45/199.52 c 88.9s | 11 | 29141 | 21944 | 305485 0 | 20497 | 27090 201.55/201.68 c 91.1s | 11 | 29774 | 22444 | 305485 0 | 20497 | 27090 203.95/204.02 c 93.4s | 11 | 30399 | 22944 | 305485 0 | 20497 | 27090 206.35/206.45 c 95.9s | 11 | 31180 | 23544 | 305485 0 | 20497 | 27090 208.35/208.47 c 97.9s | 11 | 31856 | 24044 | 305485 0 | 20497 | 27090 210.75/210.87 c 100s | 11 | 32672 | 24644 | 305485 0 | 20497 | 27090 213.05/213.19 c 102s | 11 | 33345 | 25144 | 305485 0 | 20497 | 27090 215.35/215.43 c 104s | 11 | 33972 | 25644 | 305485 0 | 20497 | 27090 216.05/216.15 c 105s | 12 | 34174 | 25819 | 305485 0 | 20497 | 27090 218.55/218.64 c 108s | 12 | 34693 | 26219 | 305485 0 | 20497 | 27090 220.95/221.06 c 110s | 12 | 35350 | 26719 | 305485 0 | 20497 | 27090 223.15/223.24 c 112s | 12 | 35992 | 27219 | 305485 0 | 20497 | 27090 225.45/225.56 c 114s | 12 | 36620 | 27719 | 336034 0 | 20497 | 27090 227.76/227.83 c 117s | 12 | 37330 | 28219 | 336034 0 | 20497 | 27090 229.96/230.01 c 119s | 12 | 38001 | 28719 | 336034 0 | 20497 | 27090 232.26/232.32 c 121s | 12 | 38633 | 29219 | 336034 0 | 20497 | 27090 234.36/234.45 c 123s | 12 | 39330 | 29719 | 336034 0 | 20497 | 27090 236.66/236.77 c 126s | 12 | 39952 | 30219 | 336034 0 | 20497 | 27090 238.95/239.04 c 128s | 12 | 40594 | 30719 | 336034 0 | 20497 | 27090 240.96/241.05 c 130s | 12 | 41081 | 31119 | 336034 0 | 20497 | 27090 243.05/243.14 c 132s | 12 | 41581 | 31519 | 336034 0 | 20497 | 27090 245.25/245.37 c 134s | 12 | 42209 | 32019 | 336034 0 | 20497 | 27090 247.65/247.74 c 137s | 12 | 42804 | 32519 | 336034 0 | 20497 | 27090 249.76/249.85 c 139s | 12 | 43290 | 32919 | 336034 0 | 20497 | 27090 252.06/252.15 c 141s | 12 | 43883 | 33419 | 336034 0 | 20497 | 27090 254.16/254.24 c 143s | 12 | 44415 | 33819 | 336034 0 | 20497 | 27090 256.36/256.41 c 145s | 12 | 44956 | 34219 | 336034 0 | 20497 | 27090 258.56/258.67 c 148s | 12 | 45576 | 34719 | 336034 0 | 20497 | 27090 260.65/260.80 c 150s | 12 | 46098 | 35119 | 336034 0 | 20497 | 27090 262.75/262.85 c 152s | 12 | 46543 | 35519 | 336034 0 | 20497 | 27090 264.85/264.95 c 154s | 12 | 47093 | 35919 | 336034 0 | 20497 | 27090 267.36/267.44 c 156s | 12 | 47753 | 36419 | 336034 0 | 20497 | 27090 269.75/269.84 c 159s | 12 | 48399 | 36919 | 336034 0 | 20497 | 27090 271.86/271.98 c 161s | 12 | 49086 | 37419 | 336034 0 | 20497 | 27090 274.35/274.46 c 163s | 12 | 49746 | 37919 | 336034 0 | 20497 | 27090 276.65/276.78 c 166s | 12 | 50422 | 38419 | 336034 0 | 20497 | 27090 278.65/278.76 c 168s | 13 | 50929 | 38832 | 336034 0 | 20497 | 27090 280.95/281.05 c 170s | 13 | 51307 | 39132 | 336034 0 | 20497 | 27090 283.05/283.12 c 172s | 13 | 51835 | 39532 | 336034 0 | 20497 | 27090 285.06/285.13 c 174s | 13 | 52391 | 39932 | 336034 0 | 20497 | 27090 287.26/287.39 c 176s | 13 | 53048 | 40432 | 336034 0 | 20497 | 27090 289.36/289.47 c 178s | 13 | 53608 | 40832 | 336034 0 | 20497 | 27090 291.56/291.70 c 181s | 13 | 54298 | 41332 | 336034 0 | 20497 | 27090 293.95/294.03 c 183s | 13 | 54984 | 41832 | 336034 0 | 20497 | 27090 296.35/296.45 c 185s | 13 | 55638 | 42332 | 336034 0 | 20497 | 27090 298.45/298.51 c 187s | 13 | 56159 | 42732 | 336034 0 | 20497 | 27090 300.46/300.59 c 190s | 13 | 56713 | 43132 | 336034 0 | 20497 | 27090 302.66/302.74 c 192s | 13 | 57367 | 43632 | 336034 0 | 20497 | 27090 305.15/305.21 c 194s | 13 | 58223 | 44232 | 336034 0 | 20497 | 27090 307.35/307.41 c 196s | 13 | 58991 | 44832 | 336034 0 | 20497 | 27090 309.85/309.90 c 199s | 13 | 59813 | 45432 | 336034 0 | 20497 | 27090 311.85/311.99 c 201s | 13 | 60503 | 45932 | 336034 0 | 20497 | 27090 314.05/314.16 c 203s | 13 | 61281 | 46532 | 336034 0 | 20497 | 27090 316.34/316.42 c 205s | 13 | 61929 | 47032 | 336034 0 | 20497 | 27090 318.64/318.74 c 208s | 13 | 62557 | 47532 | 336034 0 | 20497 | 27090 321.14/321.23 c 210s | 13 | 63271 | 48032 | 336034 0 | 20497 | 27090 323.45/323.60 c 213s | 13 | 63916 | 48532 | 336034 0 | 20497 | 27090 325.54/325.65 c 215s | 13 | 64398 | 48932 | 336034 0 | 20497 | 27090 327.54/327.69 c 217s | 13 | 64909 | 49332 | 336034 0 | 20497 | 27090 329.84/329.91 c 219s | 13 | 65433 | 49732 | 336034 0 | 20497 | 27090 332.14/332.23 c 221s | 13 | 65970 | 50132 | 336034 0 | 20497 | 27090 334.34/334.41 c 223s | 13 | 66510 | 50532 | 336034 0 | 20497 | 27090 336.65/336.73 c 226s | 13 | 67006 | 50932 | 336034 0 | 20497 | 27090 338.74/338.82 c 228s | 13 | 67584 | 51332 | 336034 0 | 20497 | 27090 340.84/340.91 c 230s | 13 | 68176 | 51732 | 336034 0 | 20497 | 27090 342.84/342.98 c 232s | 13 | 68735 | 52132 | 336034 0 | 20497 | 27090 345.04/345.11 c 234s | 13 | 69255 | 52532 | 336034 0 | 20497 | 27090 347.14/347.20 c 236s | 13 | 69770 | 52932 | 336034 0 | 20497 | 27090 349.34/349.44 c 238s | 13 | 70271 | 53332 | 336034 0 | 20497 | 27090 351.34/351.44 c 240s | 13 | 70799 | 53732 | 336034 0 | 20497 | 27090 353.54/353.69 c 243s | 13 | 71319 | 54132 | 336034 0 | 20497 | 27090 355.74/355.82 c 245s | 13 | 71887 | 54532 | 336034 0 | 20497 | 27090 357.84/357.92 c 247s | 13 | 72423 | 54932 | 336034 0 | 20497 | 27090 360.04/360.13 c 249s | 13 | 72898 | 55332 | 336034 0 | 20497 | 27090 362.14/362.24 c 251s | 13 | 73406 | 55732 | 336034 0 | 20497 | 27090 364.34/364.40 c 253s | 13 | 73908 | 56132 | 336034 0 | 20497 | 27090 366.54/366.65 c 256s | 13 | 74403 | 56532 | 336034 0 | 20497 | 27090 368.84/368.93 c 258s | 13 | 74914 | 56932 | 369638 0 | 20497 | 27090 371.24/371.34 c 260s | 13 | 75440 | 57332 | 369638 0 | 20497 | 27090 373.74/373.86 c 263s | 13 | 75958 | 57732 | 369638 0 | 20497 | 27090 376.24/376.40 c 265s | 13 | 76477 | 58132 | 369638 0 | 20497 | 27090 377.64/377.75 c 267s | 14 | 76733 | 58352 | 369638 0 | 20497 | 27090 379.74/379.82 c 269s | 14 | 77005 | 58552 | 369638 0 | 20497 | 27090 381.94/382.04 c 271s | 14 | 77551 | 58952 | 369638 0 | 20497 | 27090 384.43/384.57 c 273s | 14 | 78066 | 59352 | 369638 0 | 20497 | 27090 386.53/386.69 c 276s | 14 | 78546 | 59752 | 369638 0 | 20497 | 27090 388.73/388.88 c 278s | 14 | 78909 | 60052 | 369638 0 | 20497 | 27090 391.23/391.32 c 280s | 14 | 79415 | 60452 | 369638 0 | 20497 | 27090 393.73/393.80 c 283s | 14 | 79908 | 60852 | 369638 0 | 20497 | 27090 396.23/396.30 c 285s | 14 | 80386 | 61252 | 369638 0 | 20497 | 27090 398.34/398.41 c 287s | 14 | 80751 | 61552 | 369638 0 | 20497 | 27090 400.44/400.54 c 289s | 14 | 81110 | 61852 | 369638 0 | 20497 | 27090 402.93/403.06 c 292s | 14 | 81620 | 62252 | 369638 0 | 20497 | 27090 405.43/405.59 c 295s | 14 | 82143 | 62652 | 369638 0 | 20497 | 27090 407.53/407.68 c 297s | 14 | 82528 | 62952 | 369638 0 | 20497 | 27090 409.53/409.69 c 299s | 14 | 82891 | 63252 | 369638 0 | 20497 | 27090 411.63/411.72 c 301s | 14 | 83259 | 63552 | 369638 0 | 20497 | 27090 414.23/414.38 c 303s | 14 | 83752 | 63952 | 369638 0 | 20497 | 27090 416.53/416.66 c 306s | 14 | 84275 | 64352 | 369638 0 | 20497 | 27090 418.53/418.68 c 308s | 14 | 84831 | 64752 | 369638 0 | 20497 | 27090 420.93/421.03 c 310s | 14 | 85412 | 65252 | 369638 0 | 20497 | 27090 423.03/423.13 c 312s | 14 | 85881 | 65652 | 369638 0 | 20497 | 27090 425.13/425.24 c 314s | 14 | 86256 | 65952 | 369638 0 | 20497 | 27090 427.53/427.69 c 317s | 14 | 86770 | 66352 | 369638 0 | 20497 | 27090 429.93/430.02 c 319s | 14 | 87313 | 66752 | 369638 0 | 20497 | 27090 432.13/432.25 c 321s | 14 | 87804 | 67152 | 369638 0 | 20497 | 27090 434.53/434.66 c 324s | 14 | 88295 | 67552 | 369638 0 | 20497 | 27090 436.93/437.06 c 326s | 14 | 88800 | 67952 | 369638 0 | 20497 | 27090 438.93/439.08 c 328s | 14 | 89310 | 68252 | 369638 0 | 20497 | 27090 441.33/441.44 c 330s | 14 | 89699 | 68552 | 369638 0 | 20497 | 27090 443.43/443.54 c 332s | 14 | 90093 | 68852 | 369638 0 | 20497 | 27090 446.13/446.28 c 335s | 14 | 90571 | 69252 | 369638 0 | 20497 | 27090 448.52/448.68 c 338s | 14 | 91089 | 69652 | 369638 0 | 20497 | 27090 450.82/450.91 c 340s | 14 | 91760 | 70152 | 369638 0 | 20497 | 27090 453.02/453.13 c 342s | 14 | 92260 | 70552 | 369638 0 | 20497 | 27090 455.62/455.74 c 345s | 14 | 92914 | 71052 | 369638 0 | 20497 | 27090 458.02/458.17 c 347s | 14 | 93440 | 71452 | 369638 0 | 20497 | 27090 460.02/460.18 c 349s | 14 | 93821 | 71752 | 369638 0 | 20497 | 27090 462.82/462.90 c 352s | 14 | 94297 | 72152 | 369638 0 | 20497 | 27090 465.12/465.28 c 354s | 14 | 94849 | 72552 | 369638 0 | 20497 | 27090 467.22/467.39 c 356s | 14 | 95230 | 72852 | 369638 0 | 20497 | 27090 469.42/469.55 c 358s | 14 | 95607 | 73152 | 369638 0 | 20497 | 27090 471.62/471.74 c 361s | 14 | 95974 | 73452 | 369638 0 | 20497 | 27090 474.52/474.62 c 364s | 14 | 96495 | 73852 | 369638 0 | 20497 | 27090 476.62/476.71 c 366s | 14 | 96879 | 74152 | 369638 0 | 20497 | 27090 479.12/479.26 c 368s | 14 | 97433 | 74552 | 369638 0 | 20497 | 27090 481.22/481.31 c 370s | 14 | 97861 | 74852 | 369638 0 | 20497 | 27090 483.72/483.86 c 373s | 14 | 98383 | 75252 | 369638 0 | 20497 | 27090 485.82/485.91 c 375s | 14 | 98745 | 75552 | 369638 0 | 20497 | 27090 488.22/488.40 c 377s | 14 | 99252 | 75952 | 369638 0 | 20497 | 27090 490.82/490.93 c 380s | 14 | 99787 | 76352 | 369638 0 | 20497 | 27090 493.22/493.36 c 382s | 14 | 100344 | 76752 | 369638 0 | 20497 | 27090 495.62/495.73 c 385s | 14 | 100851 | 77152 | 369638 0 | 20497 | 27090 498.02/498.16 c 387s | 14 | 101403 | 77552 | 369638 0 | 20497 | 27090 500.52/500.65 c 390s | 14 | 101904 | 77952 | 369638 0 | 20497 | 27090 502.62/502.70 c 392s | 14 | 102413 | 78352 | 369638 0 | 20497 | 27090 504.92/505.00 c 394s | 14 | 102892 | 78752 | 369638 0 | 20497 | 27090 507.02/507.12 c 396s | 14 | 103291 | 79052 | 369638 0 | 20497 | 27090 509.02/509.12 c 398s | 14 | 103667 | 79352 | 369638 0 | 20497 | 27090 511.12/511.20 c 400s | 14 | 104040 | 79652 | 369638 0 | 20497 | 27090 513.12/513.29 c 402s | 14 | 104422 | 79952 | 369638 0 | 20497 | 27090 515.51/515.68 c 405s | 14 | 104918 | 80352 | 369638 0 | 20497 | 27090 517.61/517.74 c 407s | 14 | 105293 | 80652 | 369638 0 | 20497 | 27090 519.71/519.86 c 409s | 14 | 105727 | 80952 | 369638 0 | 20497 | 27090 521.91/522.09 c 411s | 14 | 106107 | 81252 | 369638 0 | 20497 | 27090 524.51/524.63 c 414s | 14 | 106606 | 81652 | 369638 0 | 20497 | 27090 526.81/526.96 c 416s | 14 | 106994 | 81952 | 369638 0 | 20497 | 27090 529.12/529.28 c 418s | 14 | 107378 | 82252 | 369638 0 | 20497 | 27090 531.42/531.51 c 420s | 14 | 107773 | 82552 | 369638 0 | 20497 | 27090 533.62/533.77 c 423s | 14 | 108124 | 82852 | 369638 0 | 20497 | 27090 535.82/535.98 c 425s | 14 | 108536 | 83152 | 369638 0 | 20497 | 27090 538.21/538.31 c 427s | 14 | 108947 | 83452 | 369638 0 | 20497 | 27090 540.71/540.83 c 430s | 14 | 109332 | 83752 | 369638 0 | 20497 | 27090 543.01/543.18 c 432s | 14 | 109749 | 84052 | 369638 0 | 20497 | 27090 545.11/545.26 c 434s | 14 | 110137 | 84352 | 369638 0 | 20497 | 27090 547.82/547.93 c 437s | 14 | 110655 | 84752 | 369638 0 | 20497 | 27090 550.02/550.11 c 439s | 14 | 111014 | 85052 | 369638 0 | 20497 | 27090 552.32/552.47 c 441s | 14 | 111411 | 85352 | 369638 0 | 20497 | 27090 554.71/554.85 c 444s | 14 | 111764 | 85652 | 369638 0 | 20497 | 27090 557.01/557.11 c 446s | 14 | 112137 | 85952 | 369638 0 | 20497 | 27090 559.41/559.56 c 448s | 14 | 112520 | 86252 | 369638 0 | 20497 | 27090 561.91/562.06 c 451s | 14 | 112937 | 86552 | 369638 0 | 20497 | 27090 564.21/564.34 c 453s | 14 | 113338 | 86852 | 369638 0 | 20497 | 27090 566.20/566.35 c 455s | 14 | 113756 | 87152 | 369638 0 | 20497 | 27090 568.50/568.63 c 458s | 14 | 114114 | 87452 | 369638 0 | 20497 | 27090 569.91/570.08 c 459s | 15 | 114341 | 87632 | 369638 0 | 20497 | 27090 572.70/572.87 c 462s | 15 | 114623 | 87832 | 369638 0 | 20497 | 27090 575.10/575.21 c 464s | 15 | 114990 | 88132 | 369638 0 | 20497 | 27090 577.61/577.75 c 467s | 15 | 115365 | 88432 | 369638 0 | 20497 | 27090 579.71/579.89 c 469s | 15 | 115723 | 88732 | 369638 0 | 20497 | 27090 582.30/582.40 c 471s | 15 | 116094 | 89032 | 369638 0 | 20497 | 27090 584.60/584.72 c 474s | 15 | 116442 | 89332 | 369638 0 | 20497 | 27090 586.80/586.99 c 476s | 15 | 116791 | 89632 | 369638 0 | 20497 | 27090 589.40/589.52 c 478s | 15 | 117156 | 89932 | 369638 0 | 20497 | 27090 591.50/591.69 c 481s | 15 | 117510 | 90232 | 369638 0 | 20497 | 27090 593.90/594.00 c 483s | 15 | 117901 | 90532 | 369638 0 | 20497 | 27090 596.31/596.45 c 485s | 15 | 118250 | 90832 | 369638 0 | 20497 | 27090 598.70/598.83 c 488s | 15 | 118627 | 91132 | 369638 0 | 20497 | 27090 601.10/601.27 c 490s | 15 | 118993 | 91432 | 369638 0 | 20497 | 27090 603.30/603.43 c 492s | 15 | 119364 | 91732 | 369638 0 | 20497 | 27090 605.80/605.98 c 495s | 15 | 119697 | 92032 | 369638 0 | 20497 | 27090 608.20/608.39 c 497s | 15 | 120083 | 92332 | 369638 0 | 20497 | 27090 610.30/610.42 c 499s | 15 | 120442 | 92632 | 369638 0 | 20497 | 27090 612.60/612.70 c 502s | 15 | 120835 | 92932 | 369638 0 | 20497 | 27090 614.80/614.95 c 504s | 15 | 121189 | 93232 | 369638 0 | 20497 | 27090 617.00/617.18 c 506s | 15 | 121554 | 93532 | 369638 0 | 20497 | 27090 619.59/619.71 c 509s | 15 | 121890 | 93832 | 369638 0 | 20497 | 27090 622.29/622.44 c 511s | 15 | 122251 | 94132 | 369638 0 | 20497 | 27090 624.39/624.59 c 514s | 15 | 122624 | 94432 | 369638 0 | 20497 | 27090 626.69/626.80 c 516s | 15 | 122988 | 94732 | 369638 0 | 20497 | 27090 628.89/629.09 c 518s | 15 | 123355 | 95032 | 369638 0 | 20497 | 27090 631.09/631.24 c 520s | 15 | 123589 | 95232 | 369638 0 | 20497 | 27090 633.19/633.39 c 522s | 15 | 123840 | 95432 | 369638 0 | 20497 | 27090 635.80/635.97 c 525s | 15 | 124231 | 95732 | 369638 0 | 20497 | 27090 638.29/638.48 c 527s | 15 | 124648 | 96032 | 369638 0 | 20497 | 27090 640.59/640.72 c 530s | 15 | 125065 | 96332 | 369638 0 | 20497 | 27090 642.89/643.01 c 532s | 15 | 125444 | 96632 | 369638 0 | 20497 | 27090 644.99/645.15 c 534s | 15 | 125835 | 96932 | 369638 0 | 20497 | 27090 647.69/647.82 c 537s | 15 | 126347 | 97332 | 369638 0 | 20497 | 27090 649.79/649.92 c 539s | 15 | 126702 | 97632 | 369638 0 | 20497 | 27090 651.89/652.09 c 541s | 15 | 127097 | 97932 | 369638 0 | 20497 | 27090 654.19/654.33 c 543s | 15 | 127447 | 98232 | 369638 0 | 20497 | 27090 656.49/656.63 c 546s | 15 | 127813 | 98532 | 369638 0 | 20497 | 27090 659.09/659.20 c 548s | 15 | 128187 | 98832 | 369638 0 | 20497 | 27090 661.59/661.76 c 551s | 15 | 128559 | 99132 | 369638 0 | 20497 | 27090 664.39/664.51 c 553s | 15 | 128917 | 99432 | 369638 0 | 20497 | 27090 667.09/667.27 c 556s | 15 | 129303 | 99732 | 369638 0 | 20497 | 27090 669.49/669.67 c 559s | 15 | 129637 | 100032 | 369638 0 | 20497 | 27090 672.09/672.22 c 561s | 15 | 130019 | 100332 | 406602 0 | 20497 | 27090 674.79/674.98 c 564s | 15 | 130373 | 100632 | 406602 0 | 20497 | 27090 676.89/677.01 c 566s | 15 | 130638 | 100832 | 406602 0 | 20497 | 27090 679.08/679.24 c 568s | 15 | 131048 | 101132 | 406602 0 | 20497 | 27090 681.78/681.98 c 571s | 15 | 131413 | 101432 | 406602 0 | 20497 | 27090 683.98/684.14 c 573s | 15 | 131792 | 101732 | 406602 0 | 20497 | 27090 686.39/686.57 c 575s | 15 | 132174 | 102032 | 406602 0 | 20497 | 27090 689.08/689.27 c 578s | 15 | 132675 | 102432 | 406602 0 | 20497 | 27090 691.48/691.63 c 581s | 15 | 133070 | 102732 | 406602 0 | 20497 | 27090 693.68/693.82 c 583s | 15 | 133443 | 103032 | 406602 0 | 20497 | 27090 696.08/696.22 c 585s | 15 | 133857 | 103332 | 406602 0 | 20497 | 27090 698.49/698.65 c 588s | 15 | 134213 | 103632 | 406602 0 | 20497 | 27090 700.79/700.96 c 590s | 15 | 134601 | 103932 | 406602 0 | 20497 | 27090 702.89/703.00 c 592s | 15 | 134964 | 104232 | 406602 0 | 20497 | 27090 704.98/705.12 c 594s | 15 | 135342 | 104532 | 406602 0 | 20497 | 27090 707.18/707.30 c 596s | 15 | 135730 | 104832 | 406602 0 | 20497 | 27090 709.28/709.44 c 598s | 15 | 136101 | 105132 | 406602 0 | 20497 | 27090 711.58/711.79 c 601s | 15 | 136496 | 105432 | 406602 0 | 20497 | 27090 713.89/714.02 c 603s | 15 | 136867 | 105732 | 406602 0 | 20497 | 27090 715.88/716.08 c 605s | 15 | 137211 | 106032 | 406602 0 | 20497 | 27090 718.38/718.59 c 608s | 15 | 137729 | 106432 | 406602 0 | 20497 | 27090 720.88/721.02 c 610s | 15 | 138204 | 106832 | 406602 0 | 20497 | 27090 723.28/723.49 c 612s | 15 | 138685 | 107232 | 406602 0 | 20497 | 27090 725.38/725.53 c 614s | 15 | 139057 | 107532 | 406602 0 | 20497 | 27090 727.38/727.54 c 616s | 15 | 139407 | 107832 | 406602 0 | 20497 | 27090 729.58/729.76 c 619s | 15 | 139851 | 108132 | 406602 0 | 20497 | 27090 731.98/732.17 c 621s | 15 | 140234 | 108432 | 406602 0 | 20497 | 27090 734.28/734.46 c 623s | 15 | 140607 | 108732 | 406602 0 | 20497 | 27090 736.77/736.99 c 626s | 15 | 140969 | 109032 | 406602 0 | 20497 | 27090 738.97/739.14 c 628s | 15 | 141334 | 109332 | 406602 0 | 20497 | 27090 741.87/742.01 c 631s | 15 | 141728 | 109632 | 406602 0 | 20497 | 27090 744.37/744.53 c 633s | 15 | 142106 | 109932 | 406602 0 | 20497 | 27090 746.77/746.95 c 636s | 15 | 142522 | 110232 | 406602 0 | 20497 | 27090 749.27/749.45 c 638s | 15 | 142896 | 110532 | 406602 0 | 20497 | 27090 751.77/751.97 c 641s | 15 | 143265 | 110832 | 406602 0 | 20497 | 27090 754.27/754.46 c 643s | 15 | 143651 | 111132 | 406602 0 | 20497 | 27090 757.07/757.27 c 646s | 15 | 144023 | 111432 | 406602 0 | 20497 | 27090 759.67/759.86 c 649s | 15 | 144402 | 111732 | 406602 0 | 20497 | 27090 761.87/762.07 c 651s | 15 | 144765 | 112032 | 406602 0 | 20497 | 27090 764.37/764.53 c 653s | 15 | 145132 | 112332 | 406602 0 | 20497 | 27090 766.97/767.15 c 656s | 15 | 145505 | 112632 | 406602 0 | 20497 | 27090 769.47/769.63 c 659s | 15 | 145862 | 112932 | 406602 0 | 20497 | 27090 771.87/772.00 c 661s | 15 | 146263 | 113232 | 406602 0 | 20497 | 27090 774.07/774.24 c 663s | 15 | 146618 | 113532 | 406602 0 | 20497 | 27090 776.77/776.93 c 666s | 15 | 146958 | 113832 | 406602 0 | 20497 | 27090 779.07/779.22 c 668s | 15 | 147331 | 114132 | 406602 0 | 20497 | 27090 781.47/781.69 c 671s | 15 | 147687 | 114432 | 406602 0 | 20497 | 27090 783.87/784.05 c 673s | 15 | 148062 | 114732 | 406602 0 | 20497 | 27090 786.37/786.50 c 675s | 15 | 148438 | 115032 | 406602 0 | 20497 | 27090 788.57/788.75 c 678s | 15 | 148820 | 115332 | 406602 0 | 20497 | 27090 790.87/791.07 c 680s | 15 | 149200 | 115632 | 406602 0 | 20497 | 27090 793.46/793.65 c 683s | 15 | 149605 | 115932 | 406602 0 | 20497 | 27090 795.66/795.80 c 685s | 15 | 149973 | 116232 | 406602 0 | 20497 | 27090 798.36/798.50 c 687s | 15 | 150482 | 116632 | 406602 0 | 20497 | 27090 801.16/801.36 c 690s | 15 | 150980 | 117032 | 406602 0 | 20497 | 27090 804.07/804.26 c 693s | 15 | 151337 | 117332 | 406602 0 | 20497 | 27090 806.06/806.29 c 695s | 15 | 151595 | 117532 | 406602 0 | 20497 | 27090 808.66/808.82 c 698s | 15 | 151984 | 117832 | 406602 0 | 20497 | 27090 811.36/811.56 c 700s | 15 | 152340 | 118132 | 406602 0 | 20497 | 27090 813.86/814.07 c 703s | 15 | 152702 | 118432 | 406602 0 | 20497 | 27090 816.36/816.55 c 705s | 15 | 153071 | 118732 | 406602 0 | 20497 | 27090 818.86/819.06 c 708s | 15 | 153437 | 119032 | 406602 0 | 20497 | 27090 821.26/821.45 c 710s | 15 | 153849 | 119332 | 406602 0 | 20497 | 27090 823.66/823.81 c 713s | 15 | 154184 | 119632 | 406602 0 | 20497 | 27090 826.17/826.31 c 715s | 15 | 154579 | 119932 | 406602 0 | 20497 | 27090 828.56/828.75 c 718s | 15 | 154952 | 120232 | 406602 0 | 20497 | 27090 831.26/831.41 c 720s | 15 | 155313 | 120532 | 406602 0 | 20497 | 27090 833.87/834.04 c 723s | 15 | 155673 | 120832 | 406602 0 | 20497 | 27090 836.36/836.51 c 725s | 15 | 156022 | 121132 | 406602 0 | 20497 | 27090 838.86/839.00 c 728s | 15 | 156406 | 121432 | 406602 0 | 20497 | 27090 841.26/841.47 c 730s | 15 | 156788 | 121732 | 406602 0 | 20497 | 27090 843.56/843.72 c 733s | 15 | 157149 | 122032 | 406602 0 | 20497 | 27090 845.86/846.07 c 735s | 15 | 157526 | 122332 | 406602 0 | 20497 | 27090 848.46/848.65 c 738s | 15 | 157886 | 122632 | 406602 0 | 20497 | 27090 851.06/851.29 c 740s | 15 | 158246 | 122932 | 406602 0 | 20497 | 27090 853.86/854.03 c 743s | 15 | 158629 | 123232 | 406602 0 | 20497 | 27090 856.55/856.73 c 746s | 15 | 159009 | 123532 | 406602 0 | 20497 | 27090 859.16/859.38 c 748s | 15 | 159351 | 123832 | 406602 0 | 20497 | 27090 861.75/861.94 c 751s | 15 | 159751 | 124132 | 406602 0 | 20497 | 27090 863.75/863.96 c 753s | 15 | 159997 | 124332 | 406602 0 | 20497 | 27090 866.35/866.54 c 755s | 15 | 160339 | 124632 | 406602 0 | 20497 | 27090 869.06/869.23 c 758s | 15 | 160683 | 124932 | 406602 0 | 20497 | 27090 871.26/871.42 c 760s | 15 | 161046 | 125232 | 406602 0 | 20497 | 27090 874.15/874.34 c 763s | 15 | 161436 | 125532 | 406602 0 | 20497 | 27090 876.55/876.74 c 766s | 15 | 161802 | 125832 | 406602 0 | 20497 | 27090 879.25/879.43 c 768s | 15 | 162175 | 126132 | 406602 0 | 20497 | 27090 881.85/882.00 c 771s | 15 | 162543 | 126432 | 406602 0 | 20497 | 27090 884.55/884.72 c 774s | 15 | 162909 | 126732 | 406602 0 | 20497 | 27090 886.95/887.16 c 776s | 15 | 163264 | 127032 | 406602 0 | 20497 | 27090 889.45/889.63 c 779s | 15 | 163669 | 127332 | 406602 0 | 20497 | 27090 891.75/891.98 c 781s | 15 | 164034 | 127632 | 406602 0 | 20497 | 27090 894.15/894.34 c 783s | 15 | 164401 | 127932 | 406602 0 | 20497 | 27090 896.25/896.47 c 785s | 15 | 164746 | 128232 | 406602 0 | 20497 | 27090 898.25/898.49 c 787s | 15 | 165004 | 128432 | 406602 0 | 20497 | 27090 901.15/901.31 c 790s | 15 | 165339 | 128732 | 406602 0 | 20497 | 27090 904.05/904.20 c 793s | 15 | 165684 | 129032 | 406602 0 | 20497 | 27090 906.45/906.68 c 796s | 15 | 166061 | 129332 | 406602 0 | 20497 | 27090 909.05/909.27 c 798s | 15 | 166407 | 129632 | 406602 0 | 20497 | 27090 911.85/912.00 c 801s | 15 | 166758 | 129932 | 406602 0 | 20497 | 27090 914.45/914.63 c 804s | 15 | 167127 | 130232 | 406602 0 | 20497 | 27090 916.45/916.64 c 806s | 15 | 167372 | 130432 | 406602 0 | 20497 | 27090 919.15/919.33 c 808s | 15 | 167738 | 130732 | 406602 0 | 20497 | 27090 921.94/922.12 c 811s | 15 | 168092 | 131032 | 406602 0 | 20497 | 27090 924.05/924.20 c 813s | 15 | 168362 | 131232 | 406602 0 | 20497 | 27090 926.94/927.16 c 816s | 15 | 168736 | 131532 | 406602 0 | 20497 | 27090 927.25/927.42 c 816s | 16 | 168757 | 131552 | 406602 0 | 20497 | 27090 930.14/930.34 c 819s | 16 | 168908 | 131652 | 406602 0 | 20497 | 27090 932.64/932.82 c 822s | 16 | 169300 | 131952 | 406602 0 | 20497 | 27090 935.54/935.72 c 825s | 16 | 169682 | 132252 | 406602 0 | 20497 | 27090 938.35/938.54 c 827s | 16 | 170064 | 132552 | 406602 0 | 20497 | 27090 940.84/941.09 c 830s | 16 | 170432 | 132852 | 406602 0 | 20497 | 27090 942.94/943.14 c 832s | 16 | 170701 | 133052 | 406602 0 | 20497 | 27090 945.74/945.93 c 835s | 16 | 171075 | 133352 | 406602 0 | 20497 | 27090 948.64/948.89 c 838s | 16 | 171439 | 133652 | 406602 0 | 20497 | 27090 951.04/951.24 c 840s | 16 | 171790 | 133952 | 406602 0 | 20497 | 27090 953.75/953.92 c 843s | 16 | 172138 | 134252 | 406602 0 | 20497 | 27090 955.95/956.11 c 845s | 16 | 172504 | 134552 | 406602 0 | 20497 | 27090 958.05/958.28 c 847s | 16 | 172908 | 134852 | 406602 0 | 20497 | 27090 960.64/960.81 c 850s | 16 | 173240 | 135152 | 406602 0 | 20497 | 27090 963.64/963.82 c 853s | 16 | 173624 | 135452 | 406602 0 | 20497 | 27090 965.84/966.01 c 855s | 16 | 173863 | 135652 | 406602 0 | 20497 | 27090 968.64/968.82 c 858s | 16 | 174246 | 135952 | 406602 0 | 20497 | 27090 971.44/971.63 c 861s | 16 | 174603 | 136252 | 406602 0 | 20497 | 27090 974.04/974.24 c 863s | 16 | 174950 | 136552 | 406602 0 | 20497 | 27090 976.94/977.13 c 866s | 16 | 175304 | 136852 | 406602 0 | 20497 | 27090 979.54/979.70 c 869s | 16 | 175712 | 137152 | 406602 0 | 20497 | 27090 982.43/982.60 c 872s | 16 | 176060 | 137452 | 406602 0 | 20497 | 27090 984.73/984.91 c 874s | 16 | 176420 | 137752 | 406602 0 | 20497 | 27090 987.53/987.78 c 877s | 16 | 176772 | 138052 | 406602 0 | 20497 | 27090 989.63/989.87 c 879s | 16 | 176997 | 138252 | 406602 0 | 20497 | 27090 991.73/991.91 c 881s | 16 | 177231 | 138452 | 406602 0 | 20497 | 27090 994.34/994.50 c 883s | 16 | 177573 | 138752 | 406602 0 | 20497 | 27090 997.03/997.27 c 886s | 16 | 177955 | 139052 | 406602 0 | 20497 | 27090 999.73/999.91 c 889s | 16 | 178316 | 139352 | 406602 0 | 20497 | 27090 1001.83/1002.05 c 891s | 16 | 178610 | 139552 | 406602 0 | 20497 | 27090 1003.83/1004.05 c 893s | 16 | 178896 | 139752 | 406602 0 | 20497 | 27090 1006.63/1006.87 c 896s | 16 | 179241 | 140052 | 406602 0 | 20497 | 27090 1009.43/1009.62 c 899s | 16 | 179626 | 140352 | 406602 0 | 20497 | 27090 1012.23/1012.43 c 901s | 16 | 180014 | 140652 | 406602 0 | 20497 | 27090 1014.33/1014.54 c 903s | 16 | 180277 | 140852 | 406602 0 | 20497 | 27090 1017.23/1017.42 c 906s | 16 | 180630 | 141152 | 406602 0 | 20497 | 27090 1020.13/1020.30 c 909s | 16 | 181105 | 141452 | 406602 0 | 20497 | 27090 1022.63/1022.86 c 912s | 16 | 181524 | 141752 | 406602 0 | 20497 | 27090 1025.63/1025.83 c 915s | 16 | 181890 | 142052 | 406602 0 | 20497 | 27090 1028.43/1028.61 c 918s | 16 | 182242 | 142352 | 406602 0 | 20497 | 27090 1030.43/1030.65 c 920s | 16 | 182492 | 142552 | 406602 0 | 20497 | 27090 1032.44/1032.69 c 922s | 16 | 182742 | 142752 | 406602 0 | 20497 | 27090 1035.44/1035.66 c 925s | 16 | 183134 | 143052 | 406602 0 | 20497 | 27090 1038.24/1038.48 c 927s | 16 | 183514 | 143352 | 406602 0 | 20497 | 27090 1041.03/1041.22 c 930s | 16 | 183870 | 143652 | 406602 0 | 20497 | 27090 1043.03/1043.22 c 932s | 16 | 184109 | 143852 | 406602 0 | 20497 | 27090 1045.13/1045.39 c 934s | 16 | 184339 | 144052 | 406602 0 | 20497 | 27090 1047.14/1047.40 c 936s | 16 | 184622 | 144252 | 406602 0 | 20497 | 27090 1050.13/1050.39 c 939s | 16 | 184989 | 144552 | 406602 0 | 20497 | 27090 1052.83/1053.04 c 942s | 16 | 185385 | 144852 | 406602 0 | 20497 | 27090 1055.63/1055.89 c 945s | 16 | 185732 | 145152 | 406602 0 | 20497 | 27090 1058.53/1058.73 c 948s | 16 | 186082 | 145452 | 406602 0 | 20497 | 27090 1061.33/1061.60 c 951s | 16 | 186440 | 145752 | 406602 0 | 20497 | 27090 1064.23/1064.47 c 953s | 16 | 186808 | 146052 | 406602 0 | 20497 | 27090 1067.04/1067.22 c 956s | 16 | 187175 | 146352 | 406602 0 | 20497 | 27090 1069.83/1070.10 c 959s | 16 | 187536 | 146652 | 406602 0 | 20497 | 27090 1072.03/1072.26 c 961s | 16 | 187765 | 146852 | 406602 0 | 20497 | 27090 1074.13/1074.39 c 963s | 16 | 188009 | 147052 | 406602 0 | 20497 | 27090 1076.53/1076.74 c 966s | 16 | 188235 | 147252 | 406602 0 | 20497 | 27090 1078.73/1078.98 c 968s | 16 | 188496 | 147452 | 406602 0 | 20497 | 27090 1081.13/1081.38 c 970s | 16 | 188751 | 147652 | 406602 0 | 20497 | 27090 1083.23/1083.46 c 972s | 16 | 188988 | 147852 | 406602 0 | 20497 | 27090 1085.23/1085.47 c 974s | 16 | 189239 | 148052 | 406602 0 | 20497 | 27090 1087.43/1087.69 c 977s | 16 | 189468 | 148252 | 406602 0 | 20497 | 27090 1089.73/1089.99 c 979s | 16 | 189751 | 148452 | 406602 0 | 20497 | 27090 1092.33/1092.56 c 981s | 16 | 190019 | 148652 | 406602 0 | 20497 | 27090 1094.73/1094.96 c 984s | 16 | 190281 | 148852 | 406602 0 | 20497 | 27090 1097.13/1097.38 c 986s | 16 | 190523 | 149052 | 406602 0 | 20497 | 27090 1099.52/1099.75 c 989s | 16 | 190771 | 149252 | 406602 0 | 20497 | 27090 1101.62/1101.86 c 991s | 16 | 191021 | 149452 | 406602 0 | 20497 | 27090 1104.43/1104.67 c 994s | 16 | 191255 | 149652 | 406602 0 | 20497 | 27090 1106.72/1106.98 c 996s | 16 | 191480 | 149852 | 406602 0 | 20497 | 27090 1108.83/1109.05 c 998s | 16 | 191713 | 150052 | 406602 0 | 20497 | 27090 1111.03/1111.28 c 1000s | 16 | 191980 | 150252 | 406602 0 | 20497 | 27090 1114.23/1114.43 c 1003s | 16 | 192329 | 150552 | 406602 0 | 20497 | 27090 1116.82/1117.07 c 1006s | 16 | 192701 | 150852 | 406602 0 | 20497 | 27090 1119.12/1119.37 c 1008s | 16 | 192939 | 151052 | 406602 0 | 20497 | 27090 1122.22/1122.47 c 1011s | 16 | 193294 | 151352 | 406602 0 | 20497 | 27090 1124.52/1124.75 c 1014s | 16 | 193532 | 151552 | 406602 0 | 20497 | 27090 1127.12/1127.38 c 1016s | 16 | 193889 | 151852 | 406602 0 | 20497 | 27090 1129.92/1130.14 c 1019s | 16 | 194254 | 152152 | 406602 0 | 20497 | 27090 1132.82/1133.06 c 1022s | 16 | 194606 | 152452 | 406602 0 | 20497 | 27090 1135.52/1135.77 c 1025s | 16 | 195001 | 152752 | 406602 0 | 20497 | 27090 1137.62/1137.84 c 1027s | 16 | 195271 | 152952 | 406602 0 | 20497 | 27090 1140.52/1140.77 c 1030s | 16 | 195651 | 153252 | 406602 0 | 20497 | 27090 1143.42/1143.62 c 1033s | 16 | 196022 | 153552 | 406602 0 | 20497 | 27090 1145.82/1146.04 c 1035s | 16 | 196265 | 153752 | 406602 0 | 20497 | 27090 1148.52/1148.72 c 1038s | 16 | 196494 | 153952 | 406602 0 | 20497 | 27090 1150.72/1150.96 c 1040s | 16 | 196733 | 154152 | 406602 0 | 20497 | 27090 1152.92/1153.19 c 1042s | 16 | 196968 | 154352 | 406602 0 | 20497 | 27090 1155.32/1155.56 c 1044s | 16 | 197218 | 154552 | 406602 0 | 20497 | 27090 1157.62/1157.85 c 1047s | 16 | 197472 | 154752 | 406602 0 | 20497 | 27090 1160.71/1160.90 c 1050s | 16 | 197604 | 154866 | 406602 0 | 20498 | 27091 1160.71/1160.90 c #cpu_time = 1047.629s 1160.71/1160.90 c #wall_clock_time = 1050.318s 1160.71/1160.90 c #decision = 197604 1160.71/1160.90 c #random_decision = 98 1160.71/1160.90 c #conflict = 154866 1160.71/1160.90 c #restart = 16 1160.71/1160.90 c BCD2: updating lower bound of a core 1160.71/1160.90 c lower bound updated to 119 1160.71/1160.90 c BCD2: 119 <= obj <= 299 1160.71/1160.90 c BCD2: #cores=1, #unrelaxed=115, #relaxed=184, #hardened=1 1160.71/1160.90 c BCD2: #sat=1 #unsat=5 bias=5/6 1161.81/1162.00 c Solving starts ... 1161.81/1162.00 c ============================[ Search Statistics ]============================ 1161.81/1162.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1161.81/1162.00 c | | | | Limit GC | Var | Constra 1161.81/1162.00 c ============================================================================= 1161.81/1162.00 c 0.0s | 0 | 0 | 0 | 406602 0 | 20498 | 27091 1164.92/1165.14 c 3.1s | 0 | 150 | 100 | 406602 0 | 20498 | 27091 1164.92/1165.16 c 3.2s | 1 | 150 | 100 | 406602 0 | 20498 | 27091 1167.41/1167.65 c 5.6s | 1 | 326 | 200 | 406602 0 | 20498 | 27091 1167.81/1168.00 c 6.0s | 2 | 387 | 250 | 406602 0 | 20498 | 27091 1170.21/1170.45 c 8.4s | 2 | 553 | 350 | 406602 0 | 20498 | 27091 1171.31/1171.50 c 9.5s | 3 | 737 | 475 | 406602 0 | 20498 | 27091 1173.81/1174.05 c 12.0s | 3 | 867 | 575 | 406602 0 | 20498 | 27091 1175.71/1175.95 c 13.9s | 4 | 1150 | 813 | 406602 0 | 20498 | 27091 1178.31/1178.53 c 16.5s | 4 | 1310 | 913 | 406602 0 | 20498 | 27091 1180.81/1181.07 c 19.1s | 4 | 1683 | 1213 | 406602 0 | 20498 | 27091 1181.71/1181.96 c 20.0s | 5 | 1831 | 1320 | 406602 0 | 20498 | 27091 1184.21/1184.40 c 22.4s | 5 | 2047 | 1420 | 406602 0 | 20498 | 27091 1186.21/1186.44 c 24.4s | 5 | 2470 | 1720 | 406602 0 | 20498 | 27091 1188.51/1188.75 c 26.7s | 5 | 2822 | 2020 | 406602 0 | 20498 | 27091 1188.91/1189.20 c 27.2s | 6 | 2919 | 2081 | 406602 0 | 20498 | 27091 1191.32/1191.56 c 29.6s | 6 | 3123 | 2181 | 406602 0 | 20498 | 27091 1193.52/1193.76 c 31.8s | 6 | 3583 | 2481 | 406602 0 | 20498 | 27091 1196.11/1196.39 c 34.4s | 6 | 4079 | 2881 | 406602 0 | 20498 | 27091 1198.51/1198.78 c 36.8s | 6 | 4466 | 3181 | 406602 0 | 20498 | 27091 1198.81/1199.10 c 37.1s | 7 | 4509 | 3223 | 406602 0 | 20498 | 27091 1201.51/1201.76 c 39.8s | 7 | 4655 | 3323 | 406602 0 | 20498 | 27091 1203.91/1204.15 c 42.1s | 7 | 5044 | 3623 | 406602 0 | 20498 | 27091 1206.21/1206.45 c 44.4s | 7 | 5432 | 3923 | 406602 0 | 20498 | 27091 1208.51/1208.71 c 46.7s | 7 | 5841 | 4223 | 406602 0 | 20498 | 27091 1210.71/1210.93 c 48.9s | 7 | 6256 | 4523 | 406602 0 | 20498 | 27091 1213.31/1213.51 c 51.5s | 7 | 6780 | 4923 | 406602 0 | 20498 | 27091 1213.31/1213.59 c 51.6s | 8 | 6795 | 4936 | 406602 0 | 20498 | 27091 1216.21/1216.44 c 54.4s | 8 | 6957 | 5036 | 406602 0 | 20498 | 27091 1218.51/1218.72 c 56.7s | 8 | 7323 | 5336 | 406602 0 | 20498 | 27091 1221.21/1221.44 c 59.4s | 8 | 7720 | 5636 | 406602 0 | 20498 | 27091 1223.31/1223.50 c 61.5s | 8 | 8147 | 5936 | 406602 0 | 20498 | 27091 1225.80/1226.09 c 64.1s | 8 | 8660 | 6336 | 406602 0 | 20498 | 27091 1227.90/1228.12 c 66.1s | 8 | 9038 | 6636 | 406602 0 | 20498 | 27091 1230.30/1230.51 c 68.5s | 8 | 9558 | 7036 | 406602 0 | 20498 | 27091 1232.60/1232.84 c 70.8s | 8 | 10089 | 7436 | 406602 0 | 20498 | 27091 1233.01/1233.30 c 71.3s | 9 | 10168 | 7506 | 406602 0 | 20498 | 27091 1235.50/1235.70 c 73.7s | 9 | 10327 | 7606 | 406602 0 | 20498 | 27091 1237.70/1237.90 c 75.9s | 9 | 10770 | 7906 | 406602 0 | 20498 | 27091 1240.20/1240.47 c 78.5s | 9 | 11306 | 8306 | 406602 0 | 20498 | 27091 1243.10/1243.36 c 81.4s | 9 | 11700 | 8606 | 406602 0 | 20498 | 27091 1245.60/1245.88 c 83.9s | 9 | 12149 | 8906 | 406602 0 | 20498 | 27091 1247.90/1248.14 c 86.1s | 9 | 12568 | 9206 | 406602 0 | 20498 | 27091 1250.71/1250.95 c 88.9s | 9 | 12939 | 9506 | 406602 0 | 20498 | 27091 1253.40/1253.60 c 91.6s | 9 | 13359 | 9806 | 406602 0 | 20498 | 27091 1256.00/1256.22 c 94.2s | 9 | 13729 | 10106 | 406602 0 | 20498 | 27091 1258.30/1258.51 c 96.5s | 9 | 14155 | 10406 | 406602 0 | 20498 | 27091 1260.50/1260.73 c 98.7s | 9 | 14765 | 10806 | 447263 0 | 20498 | 27091 1262.80/1263.02 c 101s | 9 | 15349 | 11206 | 447263 0 | 20498 | 27091 1263.90/1264.19 c 102s | 10 | 15567 | 11361 | 447263 0 | 20498 | 27091 1266.29/1266.55 c 104s | 10 | 15750 | 11461 | 447263 0 | 20498 | 27091 1268.69/1268.90 c 106s | 10 | 16249 | 11861 | 447263 0 | 20498 | 27091 1271.09/1271.32 c 109s | 10 | 16788 | 12261 | 447263 0 | 20498 | 27091 1273.19/1273.47 c 111s | 10 | 17150 | 12561 | 447263 0 | 20498 | 27091 1275.59/1275.85 c 113s | 10 | 17672 | 12961 | 447263 0 | 20498 | 27091 1278.10/1278.31 c 116s | 10 | 18175 | 13361 | 447263 0 | 20498 | 27091 1280.59/1280.82 c 118s | 10 | 18548 | 13661 | 447263 0 | 20498 | 27091 1282.79/1283.00 c 121s | 10 | 18908 | 13961 | 447263 0 | 20498 | 27091 1285.09/1285.32 c 123s | 10 | 19430 | 14361 | 447263 0 | 20498 | 27091 1287.69/1287.95 c 125s | 10 | 19966 | 14761 | 447263 0 | 20498 | 27091 1290.39/1290.61 c 128s | 10 | 20493 | 15161 | 447263 0 | 20498 | 27091 1292.89/1293.11 c 131s | 10 | 20855 | 15461 | 447263 0 | 20498 | 27091 1295.39/1295.62 c 133s | 10 | 21223 | 15761 | 447263 0 | 20498 | 27091 1297.39/1297.65 c 135s | 10 | 21470 | 15961 | 447263 0 | 20498 | 27091 1300.20/1300.42 c 138s | 10 | 21858 | 16261 | 447263 0 | 20498 | 27091 1302.19/1302.49 c 140s | 10 | 22217 | 16561 | 447263 0 | 20498 | 27091 1304.69/1304.98 c 142s | 10 | 22620 | 16861 | 447263 0 | 20498 | 27091 1306.89/1307.15 c 145s | 11 | 22954 | 17144 | 447263 0 | 20498 | 27091 1309.49/1309.71 c 147s | 11 | 23151 | 17244 | 447263 0 | 20498 | 27091 1311.49/1311.77 c 149s | 11 | 23543 | 17544 | 447263 0 | 20498 | 27091 1313.59/1313.88 c 151s | 11 | 23917 | 17844 | 447263 0 | 20498 | 27091 1316.29/1316.53 c 154s | 11 | 24304 | 18144 | 447263 0 | 20498 | 27091 1318.99/1319.28 c 157s | 11 | 24694 | 18444 | 447263 0 | 20498 | 27091 1321.79/1322.06 c 160s | 11 | 25069 | 18744 | 447263 0 | 20498 | 27091 1324.49/1324.73 c 162s | 11 | 25432 | 19044 | 447263 0 | 20498 | 27091 1327.49/1327.73 c 165s | 11 | 25824 | 19344 | 447263 0 | 20498 | 27091 1330.28/1330.59 c 168s | 11 | 26175 | 19644 | 447263 0 | 20498 | 27091 1332.38/1332.60 c 170s | 11 | 26420 | 19844 | 447263 0 | 20498 | 27091 1334.98/1335.28 c 173s | 11 | 26770 | 20144 | 447263 0 | 20498 | 27091 1337.08/1337.31 c 175s | 11 | 27008 | 20344 | 447263 0 | 20498 | 27091 1339.79/1340.04 c 178s | 11 | 27385 | 20644 | 447263 0 | 20498 | 27091 1342.28/1342.58 c 180s | 11 | 27742 | 20944 | 447263 0 | 20498 | 27091 1344.78/1345.09 c 183s | 11 | 28106 | 21244 | 447263 0 | 20498 | 27091 1347.68/1347.99 c 185s | 11 | 28449 | 21544 | 447263 0 | 20498 | 27091 1350.98/1351.29 c 189s | 11 | 28808 | 21844 | 447263 0 | 20498 | 27091 1353.38/1353.70 c 191s | 11 | 29031 | 22044 | 447263 0 | 20498 | 27091 1355.58/1355.82 c 193s | 11 | 29270 | 22244 | 447263 0 | 20498 | 27091 1357.78/1358.07 c 196s | 11 | 29502 | 22444 | 447263 0 | 20498 | 27091 1360.59/1360.90 c 198s | 11 | 29847 | 22744 | 447263 0 | 20498 | 27091 1363.28/1363.55 c 201s | 11 | 30218 | 23044 | 447263 0 | 20498 | 27091 1365.98/1366.22 c 204s | 11 | 30631 | 23344 | 447263 0 | 20498 | 27091 1368.18/1368.50 c 206s | 11 | 30969 | 23644 | 447263 0 | 20498 | 27091 1371.28/1371.52 c 209s | 11 | 31332 | 23944 | 447263 0 | 20498 | 27091 1374.18/1374.49 c 212s | 11 | 31715 | 24244 | 447263 0 | 20498 | 27091 1376.98/1377.26 c 215s | 11 | 32088 | 24544 | 447263 0 | 20498 | 27091 1379.58/1379.80 c 217s | 11 | 32476 | 24844 | 447263 0 | 20498 | 27091 1381.87/1382.17 c 220s | 11 | 32695 | 25044 | 447263 0 | 20498 | 27091 1383.97/1384.22 c 222s | 11 | 32966 | 25244 | 447263 0 | 20498 | 27091 1385.98/1386.26 c 224s | 11 | 33247 | 25444 | 447263 0 | 20498 | 27091 1388.67/1388.94 c 226s | 11 | 33612 | 25744 | 447263 0 | 20498 | 27091 1389.47/1389.77 c 227s | 12 | 33750 | 25819 | 447263 0 | 20498 | 27091 1392.17/1392.49 c 230s | 12 | 33908 | 25919 | 447263 0 | 20498 | 27091 1394.27/1394.52 c 232s | 12 | 34313 | 26219 | 447263 0 | 20498 | 27091 1396.57/1396.83 c 234s | 12 | 34729 | 26519 | 447263 0 | 20498 | 27091 1398.67/1398.95 c 236s | 12 | 35176 | 26819 | 447263 0 | 20498 | 27091 1401.28/1401.52 c 239s | 12 | 35821 | 27219 | 447263 0 | 20498 | 27091 1403.37/1403.68 c 241s | 12 | 36224 | 27519 | 447263 0 | 20498 | 27091 1405.97/1406.26 c 244s | 12 | 36669 | 27819 | 447263 0 | 20498 | 27091 1408.47/1408.78 c 246s | 12 | 37122 | 28119 | 447263 0 | 20498 | 27091 1410.67/1410.90 c 248s | 12 | 37523 | 28419 | 447263 0 | 20498 | 27091 1413.27/1413.52 c 251s | 12 | 37905 | 28719 | 447263 0 | 20498 | 27091 1416.17/1416.45 c 254s | 12 | 38361 | 29019 | 447263 0 | 20498 | 27091 1418.88/1419.12 c 257s | 12 | 38726 | 29319 | 447263 0 | 20498 | 27091 1421.27/1421.57 c 259s | 12 | 39127 | 29619 | 447263 0 | 20498 | 27091 1423.47/1423.70 c 261s | 12 | 39485 | 29919 | 447263 0 | 20498 | 27091 1425.97/1426.23 c 264s | 12 | 39873 | 30219 | 447263 0 | 20498 | 27091 1428.47/1428.73 c 266s | 12 | 40267 | 30519 | 447263 0 | 20498 | 27091 1430.97/1431.28 c 269s | 12 | 40864 | 30919 | 447263 0 | 20498 | 27091 1433.17/1433.43 c 271s | 12 | 41239 | 31219 | 447263 0 | 20498 | 27091 1435.47/1435.71 c 273s | 12 | 41656 | 31519 | 447263 0 | 20498 | 27091 1437.77/1438.01 c 276s | 12 | 42240 | 31919 | 447263 0 | 20498 | 27091 1440.17/1440.44 c 278s | 12 | 42763 | 32319 | 447263 0 | 20498 | 27091 1442.86/1443.15 c 281s | 12 | 43290 | 32719 | 447263 0 | 20498 | 27091 1445.37/1445.64 c 283s | 12 | 43667 | 33019 | 447263 0 | 20498 | 27091 1447.36/1447.70 c 285s | 12 | 43930 | 33219 | 447263 0 | 20498 | 27091 1449.77/1450.04 c 288s | 12 | 44188 | 33419 | 447263 0 | 20498 | 27091 1452.26/1452.50 c 290s | 12 | 44628 | 33719 | 447263 0 | 20498 | 27091 1454.86/1455.12 c 293s | 12 | 44977 | 34019 | 447263 0 | 20498 | 27091 1457.16/1457.47 c 295s | 12 | 45450 | 34319 | 447263 0 | 20498 | 27091 1459.86/1460.19 c 298s | 12 | 45849 | 34619 | 447263 0 | 20498 | 27091 1462.46/1462.76 c 300s | 12 | 46223 | 34919 | 447263 0 | 20498 | 27091 1464.66/1464.92 c 302s | 12 | 46569 | 35219 | 447263 0 | 20498 | 27091 1467.06/1467.34 c 305s | 12 | 46925 | 35519 | 447263 0 | 20498 | 27091 1469.26/1469.53 c 307s | 12 | 47306 | 35819 | 447263 0 | 20498 | 27091 1471.46/1471.80 c 309s | 12 | 47670 | 36119 | 447263 0 | 20498 | 27091 1473.97/1474.25 c 312s | 12 | 48075 | 36419 | 447263 0 | 20498 | 27091 1476.07/1476.32 c 314s | 12 | 48528 | 36719 | 447263 0 | 20498 | 27091 1478.16/1478.42 c 316s | 12 | 49074 | 37119 | 447263 0 | 20498 | 27091 1480.47/1480.72 c 318s | 12 | 49618 | 37519 | 447263 0 | 20498 | 27091 1483.06/1483.37 c 321s | 12 | 50113 | 37919 | 447263 0 | 20498 | 27091 1485.26/1485.57 c 323s | 12 | 50538 | 38219 | 447263 0 | 20498 | 27091 1487.86/1488.14 c 326s | 12 | 50938 | 38519 | 447263 0 | 20498 | 27091 1490.26/1490.53 c 328s | 12 | 51353 | 38819 | 447263 0 | 20498 | 27091 1490.36/1490.64 c 328s | 13 | 51365 | 38832 | 447263 0 | 20498 | 27091 1493.16/1493.48 c 331s | 13 | 51547 | 38932 | 447263 0 | 20498 | 27091 1495.96/1496.28 c 334s | 13 | 51929 | 39232 | 447263 0 | 20498 | 27091 1498.56/1498.82 c 336s | 13 | 52276 | 39532 | 447263 0 | 20498 | 27091 1501.06/1501.37 c 339s | 13 | 52763 | 39932 | 447263 0 | 20498 | 27091 1503.56/1503.87 c 341s | 13 | 53144 | 40232 | 447263 0 | 20498 | 27091 1505.66/1505.99 c 343s | 13 | 53540 | 40532 | 447263 0 | 20498 | 27091 1508.15/1508.49 c 346s | 13 | 53944 | 40832 | 447263 0 | 20498 | 27091 1510.26/1510.55 c 348s | 13 | 54215 | 41032 | 447263 0 | 20498 | 27091 1512.65/1512.99 c 350s | 13 | 54609 | 41332 | 447263 0 | 20498 | 27091 1514.95/1515.21 c 353s | 13 | 54992 | 41632 | 447263 0 | 20498 | 27091 1517.36/1517.62 c 355s | 13 | 55367 | 41932 | 447263 0 | 20498 | 27091 1519.56/1519.82 c 357s | 13 | 55737 | 42232 | 447263 0 | 20498 | 27091 1521.56/1521.83 c 359s | 13 | 55989 | 42432 | 447263 0 | 20498 | 27091 1523.66/1523.90 c 361s | 13 | 56264 | 42632 | 447263 0 | 20498 | 27091 1525.76/1526.03 c 364s | 13 | 56548 | 42832 | 447263 0 | 20498 | 27091 1527.77/1528.08 c 366s | 13 | 56813 | 43032 | 447263 0 | 20498 | 27091 1530.76/1531.09 c 369s | 13 | 57241 | 43332 | 447263 0 | 20498 | 27091 1533.16/1533.40 c 371s | 13 | 57500 | 43532 | 447263 0 | 20498 | 27091 1535.86/1536.19 c 374s | 13 | 57915 | 43832 | 447263 0 | 20498 | 27091 1537.96/1538.25 c 376s | 13 | 58226 | 44032 | 447263 0 | 20498 | 27091 1540.06/1540.32 c 378s | 13 | 58482 | 44232 | 447263 0 | 20498 | 27091 1542.26/1542.56 c 380s | 13 | 58764 | 44432 | 447263 0 | 20498 | 27091 1545.37/1545.65 c 383s | 13 | 59137 | 44732 | 447263 0 | 20498 | 27091 1547.56/1547.90 c 385s | 13 | 59382 | 44932 | 447263 0 | 20498 | 27091 1550.36/1550.65 c 388s | 13 | 59622 | 45132 | 447263 0 | 20498 | 27091 1553.06/1553.39 c 391s | 13 | 59880 | 45332 | 447263 0 | 20498 | 27091 1555.36/1555.62 c 393s | 13 | 60133 | 45532 | 447263 0 | 20498 | 27091 1557.56/1557.85 c 395s | 13 | 60420 | 45732 | 447263 0 | 20498 | 27091 1560.36/1560.61 c 398s | 13 | 60779 | 46032 | 447263 0 | 20498 | 27091 1562.66/1562.96 c 400s | 13 | 61009 | 46232 | 447263 0 | 20498 | 27091 1564.96/1565.29 c 403s | 13 | 61271 | 46432 | 447263 0 | 20498 | 27091 1567.36/1567.62 c 405s | 13 | 61531 | 46632 | 447263 0 | 20498 | 27091 1569.66/1569.93 c 407s | 13 | 61768 | 46832 | 447263 0 | 20498 | 27091 1572.05/1572.34 c 410s | 13 | 62017 | 47032 | 447263 0 | 20498 | 27091 1574.85/1575.14 c 413s | 13 | 62256 | 47232 | 447263 0 | 20498 | 27091 1577.26/1577.51 c 415s | 13 | 62491 | 47432 | 447263 0 | 20498 | 27091 1579.25/1579.57 c 417s | 13 | 62720 | 47632 | 447263 0 | 20498 | 27091 1581.85/1582.14 c 420s | 13 | 62935 | 47832 | 447263 0 | 20498 | 27091 1584.45/1584.79 c 422s | 13 | 63173 | 48032 | 447263 0 | 20498 | 27091 1587.16/1587.41 c 425s | 13 | 63424 | 48232 | 447263 0 | 20498 | 27091 1589.46/1589.72 c 427s | 13 | 63666 | 48432 | 447263 0 | 20498 | 27091 1591.85/1592.15 c 430s | 13 | 63940 | 48632 | 447263 0 | 20498 | 27091 1594.05/1594.39 c 432s | 13 | 64172 | 48832 | 447263 0 | 20498 | 27091 1596.55/1596.86 c 434s | 13 | 64426 | 49032 | 447263 0 | 20498 | 27091 1598.75/1599.02 c 437s | 13 | 64691 | 49232 | 447263 0 | 20498 | 27091 1600.85/1601.11 c 439s | 13 | 64938 | 49432 | 447263 0 | 20498 | 27091 1603.24/1603.59 c 441s | 13 | 65190 | 49632 | 447263 0 | 20498 | 27091 1606.14/1606.41 c 444s | 13 | 65535 | 49932 | 447263 0 | 20498 | 27091 1608.84/1609.11 c 447s | 13 | 65778 | 50132 | 447263 0 | 20498 | 27091 1611.44/1611.77 c 449s | 13 | 66041 | 50332 | 447263 0 | 20498 | 27091 1613.93/1614.27 c 452s | 13 | 66289 | 50532 | 447263 0 | 20498 | 27091 1616.63/1616.98 c 454s | 13 | 66510 | 50732 | 447263 0 | 20498 | 27091 1619.14/1619.42 c 457s | 13 | 66728 | 50932 | 447263 0 | 20498 | 27091 1621.73/1622.00 c 460s | 13 | 66947 | 51132 | 447263 0 | 20498 | 27091 1623.83/1624.14 c 462s | 13 | 67214 | 51332 | 447263 0 | 20498 | 27091 1625.92/1626.24 c 464s | 13 | 67447 | 51532 | 447263 0 | 20498 | 27091 1628.42/1628.79 c 466s | 13 | 67843 | 51832 | 447263 0 | 20498 | 27091 1630.82/1631.17 c 469s | 13 | 68056 | 52032 | 447263 0 | 20498 | 27091 1633.12/1633.40 c 471s | 13 | 68285 | 52232 | 447263 0 | 20498 | 27091 1635.32/1635.67 c 473s | 13 | 68505 | 52432 | 447263 0 | 20498 | 27091 1637.62/1637.91 c 475s | 13 | 68744 | 52632 | 447263 0 | 20498 | 27091 1640.02/1640.35 c 478s | 13 | 68982 | 52832 | 447263 0 | 20498 | 27091 1642.71/1643.04 c 481s | 13 | 69207 | 53032 | 447263 0 | 20498 | 27091 1645.42/1645.71 c 483s | 13 | 69431 | 53232 | 447263 0 | 20498 | 27091 1647.72/1648.07 c 486s | 13 | 69675 | 53432 | 447263 0 | 20498 | 27091 1650.51/1650.86 c 488s | 13 | 69948 | 53632 | 447263 0 | 20498 | 27091 1652.81/1653.14 c 491s | 13 | 70248 | 53832 | 447263 0 | 20498 | 27091 1656.01/1656.38 c 494s | 13 | 70616 | 54132 | 447263 0 | 20498 | 27091 1658.20/1658.50 c 496s | 13 | 70865 | 54332 | 447263 0 | 20498 | 27091 1660.40/1660.76 c 498s | 13 | 71152 | 54532 | 447263 0 | 20498 | 27091 1663.20/1663.58 c 501s | 13 | 71555 | 54832 | 447263 0 | 20498 | 27091 1665.80/1666.12 c 504s | 13 | 71949 | 55132 | 447263 0 | 20498 | 27091 1667.80/1668.13 c 506s | 13 | 72207 | 55332 | 447263 0 | 20498 | 27091 1670.00/1670.31 c 508s | 13 | 72447 | 55532 | 447263 0 | 20498 | 27091 1672.69/1673.00 c 510s | 13 | 72798 | 55832 | 447263 0 | 20498 | 27091 1675.39/1675.71 c 513s | 13 | 73165 | 56132 | 447263 0 | 20498 | 27091 1677.59/1677.95 c 515s | 13 | 73574 | 56432 | 447263 0 | 20498 | 27091 1679.69/1680.00 c 518s | 13 | 73940 | 56732 | 447263 0 | 20498 | 27091 1682.59/1682.94 c 520s | 13 | 74291 | 57032 | 447263 0 | 20498 | 27091 1684.59/1684.97 c 522s | 13 | 74715 | 57332 | 447263 0 | 20498 | 27091 1687.39/1687.78 c 525s | 13 | 75076 | 57632 | 447263 0 | 20498 | 27091 1690.29/1690.61 c 528s | 13 | 75436 | 57932 | 447263 0 | 20498 | 27091 1692.98/1693.36 c 531s | 13 | 75799 | 58232 | 447263 0 | 20498 | 27091 1693.79/1694.14 c 532s | 14 | 75980 | 58352 | 447263 0 | 20498 | 27091 1697.19/1697.51 c 535s | 14 | 76142 | 58452 | 447263 0 | 20498 | 27091 1699.18/1699.58 c 537s | 14 | 76395 | 58652 | 447263 0 | 20498 | 27091 1701.38/1701.70 c 539s | 14 | 76650 | 58852 | 447263 0 | 20498 | 27091 1704.08/1704.47 c 542s | 14 | 77056 | 59152 | 447263 0 | 20498 | 27091 1706.27/1706.61 c 544s | 14 | 77303 | 59352 | 447263 0 | 20498 | 27091 1708.87/1709.26 c 547s | 14 | 77745 | 59652 | 447263 0 | 20498 | 27091 1711.67/1712.08 c 550s | 14 | 78147 | 59952 | 447263 0 | 20498 | 27091 1714.87/1715.23 c 553s | 14 | 78547 | 60252 | 447263 0 | 20498 | 27091 1717.57/1717.90 c 555s | 14 | 78949 | 60552 | 447263 0 | 20498 | 27091 1719.57/1719.97 c 557s | 14 | 79199 | 60752 | 447263 0 | 20498 | 27091 1721.86/1722.26 c 560s | 14 | 79449 | 60952 | 447263 0 | 20498 | 27091 1724.96/1725.32 c 563s | 14 | 79823 | 61252 | 447263 0 | 20498 | 27091 1727.26/1727.66 c 565s | 14 | 80064 | 61452 | 447263 0 | 20498 | 27091 1729.46/1729.80 c 567s | 14 | 80332 | 61652 | 447263 0 | 20498 | 27091 1731.75/1732.14 c 570s | 14 | 80568 | 61852 | 447263 0 | 20498 | 27091 1734.75/1735.12 c 573s | 14 | 81005 | 62152 | 447263 0 | 20498 | 27091 1737.15/1737.52 c 575s | 14 | 81257 | 62352 | 447263 0 | 20498 | 27091 1739.55/1739.90 c 577s | 14 | 81511 | 62552 | 447263 0 | 20498 | 27091 1741.65/1742.08 c 580s | 14 | 81760 | 62752 | 447263 0 | 20498 | 27091 1743.94/1744.33 c 582s | 14 | 82002 | 62952 | 447263 0 | 20498 | 27091 1746.65/1747.07 c 585s | 14 | 82411 | 63252 | 447263 0 | 20498 | 27091 1749.24/1749.60 c 587s | 14 | 82641 | 63452 | 447263 0 | 20498 | 27091 1751.74/1752.14 c 590s | 14 | 82929 | 63652 | 447263 0 | 20498 | 27091 1754.04/1754.48 c 592s | 14 | 83187 | 63852 | 447263 0 | 20498 | 27091 1756.24/1756.69 c 594s | 14 | 83439 | 64052 | 447263 0 | 20498 | 27091 1758.75/1759.18 c 597s | 14 | 83689 | 64252 | 447263 0 | 20498 | 27091 1761.04/1761.40 c 599s | 14 | 83954 | 64452 | 447263 0 | 20498 | 27091 1763.43/1763.81 c 601s | 14 | 84179 | 64652 | 447263 0 | 20498 | 27091 1765.83/1766.25 c 604s | 14 | 84440 | 64852 | 447263 0 | 20498 | 27091 1768.03/1768.41 c 606s | 14 | 84693 | 65052 | 447263 0 | 20498 | 27091 1770.03/1770.49 c 608s | 14 | 84944 | 65252 | 447263 0 | 20498 | 27091 1772.43/1772.82 c 610s | 14 | 85205 | 65452 | 447263 0 | 20498 | 27091 1774.83/1775.29 c 613s | 14 | 85613 | 65752 | 447263 0 | 20498 | 27091 1776.92/1777.37 c 615s | 14 | 85877 | 65952 | 447263 0 | 20498 | 27091 1779.22/1779.60 c 617s | 14 | 86127 | 66152 | 447263 0 | 20498 | 27091 1781.22/1781.66 c 619s | 14 | 86398 | 66352 | 447263 0 | 20498 | 27091 1784.32/1784.77 c 622s | 14 | 86790 | 66652 | 447263 0 | 20498 | 27091 1787.42/1787.85 c 625s | 14 | 87185 | 66952 | 447263 0 | 20498 | 27091 1789.62/1790.03 c 628s | 14 | 87466 | 67152 | 447263 0 | 20498 | 27091 1791.91/1792.34 c 630s | 14 | 87738 | 67352 | 447263 0 | 20498 | 27091 1794.11/1794.58 c 632s | 14 | 88023 | 67552 | 447263 0 | 20498 | 27091 1796.61/1797.00 c 635s | 14 | 88265 | 67752 | 447263 0 | 20498 | 27091 1798.81/1799.28 c 637s | 14 | 88530 | 67952 | 447263 0 | 20498 | 27091
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-4079974-1465274337/watcher-4079974-1465274337 -o /tmp/evaluation-result-4079974-1465274337/solver-4079974-1465274337 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465274317-14315 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079974-1465274337.opb pid=14442 running on 4 cores: 1,3,5,7 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.45 3.47 3.90 3/177 14445 /proc/meminfo: memFree=29168064/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=757180 CPUtime=0 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 2831 0 0 0 0 0 0 0 20 0 4 0 109366730 775352320 2681 33554432000 4194304 16246674 140733584212720 140733584212144 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 189807 2691 441 2943 0 186701 0 [pid=14445/tid=14446] ppid=14442 vsize=774588 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 793178112 2751 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=778684 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 797372416 2767 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=783804 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109366731 802615296 2785 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100176 s] /proc/loadavg: 2.45 3.47 3.90 3/177 14445 /proc/meminfo: memFree=29168064/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 27307 0 0 0 5 4 0 0 20 0 4 0 109366730 1333334016 27096 33554432000 4194304 16246674 140733584212720 140733584212032 8056990 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 325521 27112 799 2943 0 322415 0 [pid=14445/tid=14446] ppid=14442 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1333334016 27122 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1333334016 27133 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1333334016 27142 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200532 s] /proc/loadavg: 2.45 3.47 3.90 3/177 14445 /proc/meminfo: memFree=29168064/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 45433 0 0 0 13 6 0 0 20 0 4 0 109366730 1344868352 45732 33554432000 4194304 16246674 140733584212720 140733584212032 7371534 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 328337 45732 799 2943 0 325231 0 [pid=14445/tid=14446] ppid=14442 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1344868352 45732 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1344868352 45732 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1344868352 45732 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300508 s] /proc/loadavg: 2.45 3.47 3.90 3/177 14445 /proc/meminfo: memFree=29168064/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 54397 0 0 0 21 8 0 0 20 0 4 0 109366730 1344868352 54696 33554432000 4194304 16246674 140733584212720 140733584212032 4206653 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 328337 54696 800 2943 0 325231 0 [pid=14445/tid=14446] ppid=14442 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1344868352 54696 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1344868352 54696 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1344868352 54696 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700416 s] /proc/loadavg: 2.45 3.47 3.90 3/177 14445 /proc/meminfo: memFree=29168064/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 65500 0 0 0 60 9 0 0 20 0 4 0 109366730 1344868352 65799 33554432000 4194304 16246674 140733584212720 140733584195712 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 328337 65799 801 2943 0 325231 0 [pid=14445/tid=14446] ppid=14442 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1344868352 65799 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1344868352 65799 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1344868352 65799 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.45 3.47 3.90 3/181 14449 /proc/meminfo: memFree=28870280/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1313348 CPUtime=1.49 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 83326 0 0 0 137 12 0 0 20 0 4 0 109366730 1344868352 83625 33554432000 4194304 16246674 140733584212720 140733584210560 4220936 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 328337 83625 806 2943 0 325231 0 [pid=14445/tid=14446] ppid=14442 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1344868352 83625 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1344868352 83625 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1344868352 83625 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10041 s] /proc/loadavg: 2.49 3.46 3.89 3/181 14449 /proc/meminfo: memFree=28371056/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1340996 CPUtime=3.09 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 275868 0 0 0 265 44 0 0 20 0 4 0 109366730 1373179904 276167 33554432000 4194304 16246674 140733584212720 140733584194624 12473119 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 335249 276167 839 2943 0 332143 0 [pid=14445/tid=14446] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276167 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276167 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276167 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.49 3.46 3.89 3/181 14449 /proc/meminfo: memFree=28063684/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1340996 CPUtime=6.29 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 275937 0 0 0 585 44 0 0 20 0 4 0 109366730 1373179904 276236 33554432000 4194304 16246674 140733584212720 140733584194624 12653093 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 335249 276236 903 2943 0 332143 0 [pid=14445/tid=14446] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276236 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276236 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276236 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.49 3.43 3.88 3/181 14449 /proc/meminfo: memFree=28064160/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1340996 CPUtime=12.69 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 275951 0 0 0 1225 44 0 0 20 0 4 0 109366730 1373179904 276250 33554432000 4194304 16246674 140733584212720 140733584194624 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 335249 276250 915 2943 0 332143 0 [pid=14445/tid=14446] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276250 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276250 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276250 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1340996 [startup+25.5071 s] /proc/loadavg: 2.41 3.38 3.86 4/181 14449 /proc/meminfo: memFree=28064492/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1340996 CPUtime=25.49 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 275951 0 0 0 2505 44 0 0 20 0 4 0 109366730 1373179904 276250 33554432000 4194304 16246674 140733584212720 140733584194624 5822536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 335249 276250 915 2943 0 332143 0 [pid=14445/tid=14446] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276250 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276250 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276250 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1340996 [startup+51.1004 s] /proc/loadavg: 2.33 3.29 3.81 3/181 14450 /proc/meminfo: memFree=28064632/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1340996 CPUtime=51.08 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 275956 0 0 0 5064 44 0 0 20 0 4 0 109366730 1373179904 276255 33554432000 4194304 16246674 140733584212720 140733584210688 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 335249 276255 918 2943 0 332143 0 [pid=14445/tid=14446] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276255 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276255 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276255 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.32 3.13 3.73 3/182 14454 /proc/meminfo: memFree=28064192/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1340996 CPUtime=102.27 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 275956 0 0 0 10183 44 0 0 20 0 4 0 109366730 1373179904 276255 33554432000 4194304 16246674 140733584212720 140733584194624 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 335249 276255 918 2943 0 332143 0 [pid=14445/tid=14446] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276255 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276255 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276255 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1340996 ################ # More data... # ################ /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276256 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1340996 [startup+1362.3 s] /proc/loadavg: 2.13 2.20 2.56 4/182 14508 /proc/meminfo: memFree=28061104/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1340996 CPUtime=1362.08 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 275957 0 0 0 136162 46 0 0 20 0 4 0 109366730 1373179904 276256 33554432000 4194304 16246674 140733584212720 140733584194624 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 335249 276256 919 2943 0 332143 0 [pid=14445/tid=14446] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276256 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276256 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276256 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1340996 [startup+1422.3 s] /proc/loadavg: 2.21 2.21 2.54 3/181 14509 /proc/meminfo: memFree=28060896/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1340996 CPUtime=1422.07 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 275957 0 0 0 142161 46 0 0 20 0 4 0 109366730 1373179904 276256 33554432000 4194304 16246674 140733584212720 140733584194624 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 335249 276256 919 2943 0 332143 0 [pid=14445/tid=14446] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276256 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276256 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276256 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 1340996 [startup+1482.3 s] /proc/loadavg: 2.18 2.19 2.51 3/181 14510 /proc/meminfo: memFree=28060800/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1340996 CPUtime=1482.06 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 275957 0 0 0 148160 46 0 0 20 0 4 0 109366730 1373179904 276256 33554432000 4194304 16246674 140733584212720 140733584194624 5598368 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 335249 276256 919 2943 0 332143 0 [pid=14445/tid=14446] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276256 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276256 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276256 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 1340996 [startup+1542.3 s] /proc/loadavg: 2.18 2.19 2.49 3/181 14511 /proc/meminfo: memFree=28060724/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1340996 CPUtime=1542.07 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 275957 0 0 0 154160 47 0 0 20 0 4 0 109366730 1373179904 276256 33554432000 4194304 16246674 140733584212720 140733584194624 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 335249 276256 919 2943 0 332143 0 [pid=14445/tid=14446] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276256 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276256 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276256 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1542.07 Current children cumulated vsize (KiB) 1340996 [startup+1602.3 s] /proc/loadavg: 2.21 2.20 2.47 3/181 14513 /proc/meminfo: memFree=28060112/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1340996 CPUtime=1602.04 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 275973 0 0 0 160157 47 0 0 20 0 4 0 109366730 1373179904 276256 33554432000 4194304 16246674 140733584212720 140733584194624 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 335249 276256 919 2943 0 332143 0 [pid=14445/tid=14446] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276256 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276256 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1373179904 276256 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 1340996 [startup+1662.31 s] /proc/loadavg: 2.13 2.17 2.44 3/181 14514 /proc/meminfo: memFree=28017592/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1382980 CPUtime=1662 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 286514 0 0 0 166152 48 0 0 20 0 4 0 109366730 1416171520 286752 33554432000 4194304 16246674 140733584212720 140733584194624 6837016 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 345745 286752 919 2943 0 342639 0 [pid=14445/tid=14446] ppid=14442 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1416171520 286752 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1416171520 286752 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1416171520 286752 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 1382980 [startup+1722.3 s] /proc/loadavg: 2.16 2.17 2.42 3/181 14515 /proc/meminfo: memFree=28017636/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1382980 CPUtime=1721.96 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 286561 0 0 0 172148 48 0 0 20 0 4 0 109366730 1416171520 286752 33554432000 4194304 16246674 140733584212720 140733584194624 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 345745 286752 919 2943 0 342639 0 [pid=14445/tid=14446] ppid=14442 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1416171520 286752 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1416171520 286752 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1416171520 286752 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 1382980 [startup+1782.3 s] /proc/loadavg: 2.15 2.16 2.40 3/172 14547 /proc/meminfo: memFree=29138832/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1382980 CPUtime=1781.92 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 286607 0 0 0 178144 48 0 0 20 0 4 0 109366730 1416171520 286752 33554432000 4194304 16246674 140733584212720 140733584194624 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 345745 286752 919 2943 0 342639 0 [pid=14445/tid=14446] ppid=14442 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1416171520 286752 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1416171520 286752 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1416171520 286752 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.92 Current children cumulated vsize (KiB) 1382980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.12 2.16 2.40 3/181 14565 /proc/meminfo: memFree=28014436/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1382980 CPUtime=1800.01 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 286615 0 0 0 179953 48 0 0 20 0 4 0 109366730 1416171520 286752 33554432000 4194304 16246674 140733584212720 140733584194624 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 345745 286752 919 2943 0 342639 0 [pid=14445/tid=14446] ppid=14442 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1416171520 286752 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1416171520 286752 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1416171520 286752 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1382980 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 14445 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.4 s] /proc/loadavg: 2.12 2.16 2.40 3/181 14565 /proc/meminfo: memFree=28014436/32872528 swapFree=17280/1464432 [pid=14445] ppid=14442 vsize=1382980 CPUtime=1800.01 cores=1,3,5,7 /proc/14445/stat : 14445 (toysat) R 14442 14445 5982 0 -1 4202496 286615 0 0 0 179953 48 0 0 20 0 4 0 109366730 1416171520 286752 33554432000 4194304 16246674 140733584212720 140733584194624 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14445/statm: 345745 286752 919 2943 0 342639 0 [pid=14445/tid=14446] ppid=14442 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14446/stat : 14446 (toysat) S 14442 14445 5982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109366731 1416171520 286752 33554432000 4194304 16246674 140733584212720 140093823102192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14445/tid=14447] ppid=14442 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14447/stat : 14447 (toysat) S 14442 14445 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109366731 1416171520 286752 33554432000 4194304 16246674 140733584212720 140093812612336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14445/tid=14448] ppid=14442 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/14445/task/14448/stat : 14448 (toysat) S 14442 14445 5982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109366731 1416171520 286752 33554432000 4194304 16246674 140733584212720 140093802138800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1382980 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.45 CPU time (s): 1800.07 CPU user time (s): 1799.54 CPU system time (s): 0.526919 CPU usage (%): 99.9787 Max. virtual memory (cumulated for all children) (KiB): 1382980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.54 system time used= 0.526919 maximum resident set size= 1147008 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 286615 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= 191 involuntary context switches= 1866 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.82926 second user time and 6.68098 second system time The end
Begin job on node121 at 2016-06-07 06:38:57 IDJOB=4079974 IDBENCH=77380 IDSOLVER=2542 FILE ID=node121/4079974-1465274337 RUNJOBID= node121-1465274317-14315 PBS_JOBID= 19843282 Free space on /tmp= 71700 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12038_4.std.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079974-1465274337/watcher-4079974-1465274337 -o /tmp/evaluation-result-4079974-1465274337/solver-4079974-1465274337 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465274317-14315 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079974-1465274337.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 661b4190c55178f9645295549e370fd5 RANDOM SEED=707653 node121.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 : 2667.050 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 : 5334.10 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 : 2667.050 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 : 2667.050 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.57 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 : 2667.050 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.050 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 : 2667.050 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.050 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.050 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: 29168708 kB Buffers: 110672 kB Cached: 292724 kB SwapCached: 1720 kB Active: 1251632 kB Inactive: 250388 kB Active(anon): 1098808 kB Inactive(anon): 2180 kB Active(file): 152824 kB Inactive(file): 248208 kB Unevictable: 1464432 kB Mlocked: 17280 kB SwapTotal: 67108856 kB SwapFree: 67099332 kB Dirty: 49504 kB Writeback: 0 kB AnonPages: 2562736 kB Mapped: 10744 kB Shmem: 0 kB Slab: 603348 kB SReclaimable: 47224 kB SUnreclaim: 556124 kB KernelStack: 1448 kB PageTables: 9440 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2694960 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1454080 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= 71680 MiB End job on node121 at 2016-06-07 07:08:57