| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.41 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb |
| MD5SUM | 03e4654091c3b4f8fc0f424cad1d26d5 |
| 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 | 24 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| Has Objective Function | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | |
| Total number of constraints | |
| Number of constraints which are clauses | |
| Number of constraints which are cardinality constraints (but not clauses) | |
| Number of constraints which are nor clauses,nor cardinality constraints | |
| Minimum length of a constraint | |
| Maximum length of a constraint | |
| Number of terms in the objective function | |
| Biggest coefficient in the objective function | |
| Number of bits for the biggest coefficient in the objective function | |
| Sum of the numbers in the objective function | |
| Number of bits of the sum of numbers in the objective function | |
| Biggest number in a constraint | |
| Number of bits of the biggest number in a constraint | |
| Biggest sum of numbers in a constraint | |
| Number of bits of the biggest sum of numbers | |
| Number of products (including duplicates) | |
| Sum of products size (including duplicates) | |
| Number of different products | |
| Sum of products size |
0.00/0.00 c 2016-06-30T11:20:47+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-4119816-1467278447.opb"] 0.00/0.01 c use --random-gen="1976292322 1480964144 706103472 1124498530 1774605494 2217262588 1302332765 3595593842 3559560316 1161172539 1245619208 3711442428 2134889522 489549306 4194197463 2022581093 259845400 3042836846 541984991 2482687009 459536171 2565190615 32542279 3751689594 2937735486 966506839 577766493 2709487311 92337816 490609114 1386973200 3113461473 3893493841 2774587005 1484429138 3656549731 4052836923 2538987573 2460003604 2862872271 1396134541 1936451617 199187392 1481339998 3442473428 2787476085 85285798 2814687684 2249956690 306684467 2115189520 2621352093 1451171999 3427708635 1836530388 3547589220 3981398232 685500122 3773737721 2360472578 4248856675 3003715173 1890212761 1632374257 2156383295 3029029803 3462327438 2596164317 3647945830 3995236952 3792416646 61751022 3327246591 2039281851 1969781206 2761525088 2192550464 1837879114 985598846 70849628 2202242669 263274820 3671636805 807509820 3141962551 1670832347 3326979069 1361677029 4241771349 59180757 1150642159 2730988140 2713223268 4170329472 1130874572 4196033370 2049866093 1615026695 1966798205 2643134421 804463976 1381888032 317903767 2367538 2804441143 1972405503 2687507737 729611782 4129635780 779621960 116849698 1363198284 820490676 1702484169 4149946761 3246559715 2913381504 3891768216 3895050586 4209413333 1902471636 580173226 4277767002 4006160790 2769216902 3588315620 3224597706 3806655870 4245824251 3970751512 411123612 1833213985 1750824826 202377451 2714451001 247467077 909040386 3943881719 438265998 2637323215 2406339526 3838438525 741586116 4124597488 3632992524 721365891 105712324 2760887883 3472534093 2527528162 3052707190 3649084792 1279195398 4251000595 738265467 2078886143 1054313671 204906933 1701161380 935042907 902010353 4154411878 3681126709 3403698844 3122306727 565133147 3483052074 1355234261 2412969398 4244197718 4248421218 3965779374 2286874012 3373918549 926344969 1469871284 2783239165 3187985528 3804994453 4221502121 2616484297 2593868629 2857670859 1293440797 1115044270 1041946979 3902999854 2587473016 862126920 2327517992 571325997 1023024363 1213638253 1915375803 2605900230 2322657027 3839073194 2305239943 1157791023 3326183407 2089687114 1103380139 1581719984 3680414719 308740132 2983517743 3281355956 1096147054 2718867811 191127220 1404537678 3097294714 3829965438 1684013704 842780692 2914776811 2706287838 3389060833 1651222621 3344576405 1398151303 847982289 1725347265 4126950558 3603261030 3259520094 3588781731 230457820 1458614133 3186047623 3929573447 1968932413 647297559 2941678136 1558023072 1786860471 2307959790 3476230271 1279705864 3039387675 208981908 2722995092 3777091331 445420411 3864317494 36763486 1733334361 2775851747 1597694387 3773459954 964561070 3323531050 2875109720 637636462 4126447459 2281166275 255 362436" option to reproduce the execution 0.00/0.09 c #vars 8928 0.00/0.09 c #constraints 622 0.09/0.19 c BCD2: Hardening is enabled. 0.09/0.19 c BCD2: BiasedSearch is enabled. 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 3183 0 | 0 | 0 0.19/0.23 c 0.0s | 0 | 282 | 0 | 3183 0 | 0 | 0 0.19/0.23 c #cpu_time = 0.011s 0.19/0.23 c #wall_clock_time = 0.011s 0.19/0.23 c #decision = 282 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 0 0.19/0.23 c #restart = 0 0.19/0.23 o 32 0.19/0.23 c BCD2: updating upper bound: 32 -> 31 0.19/0.23 c BCD2: 0 <= obj <= 31 0.19/0.23 c BCD2: #cores=0, #unrelaxed=32, #relaxed=0, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=1 bias=1/2 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 3183 0 | 0 | 0 0.19/0.24 c 0.0s | 0 | 7 | 0 | 3183 0 | 0 | 0 0.19/0.24 c #cpu_time = 0.004s 0.19/0.24 c #wall_clock_time = 0.004s 0.19/0.24 c #decision = 7 0.19/0.24 c #random_decision = 0 0.19/0.24 c #conflict = 0 0.19/0.24 c #restart = 0 0.19/0.24 c BCD2: found a new core of size 8: cost of the new core is >=1 0.19/0.24 c lower bound updated to 1 0.19/0.24 c BCD2: 1 <= obj <= 31 0.19/0.24 c BCD2: #cores=1, #unrelaxed=24, #relaxed=8, #hardened=0 0.19/0.24 c BCD2: #sat=1 #unsat=2 bias=2/3 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 3183 0 | 0 | 0 0.19/0.24 c 0.0s | 0 | 9 | 1 | 3183 0 | 0 | 0 0.19/0.24 c #cpu_time = 0.005s 0.19/0.24 c #wall_clock_time = 0.005s 0.19/0.24 c #decision = 9 0.19/0.24 c #random_decision = 0 0.19/0.24 c #conflict = 1 0.19/0.24 c #restart = 0 0.19/0.24 c BCD2: relaxing 8 and merging with 1 cores into a new core of size 16: cost of the new core is >=2 0.19/0.24 c lower bound updated to 2 0.19/0.24 c BCD2: 2 <= obj <= 31 0.19/0.24 c BCD2: #cores=1, #unrelaxed=16, #relaxed=16, #hardened=0 0.19/0.24 c BCD2: #sat=1 #unsat=3 bias=3/4 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 3183 0 | 1 | 0 0.19/0.25 c 0.0s | 0 | 8 | 1 | 3183 0 | 1 | 1 0.19/0.25 c #cpu_time = 0.004s 0.19/0.25 c #wall_clock_time = 0.004s 0.19/0.25 c #decision = 8 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 1 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: relaxing 7 and merging with 1 cores into a new core of size 23: cost of the new core is >=3 0.19/0.25 c lower bound updated to 3 0.19/0.25 c BCD2: 3 <= obj <= 31 0.19/0.25 c BCD2: #cores=1, #unrelaxed=9, #relaxed=23, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=4 bias=4/5 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 3183 0 | 2 | 1 0.19/0.27 c 0.0s | 0 | 9 | 1 | 3183 0 | 2 | 2 0.19/0.27 c #cpu_time = 0.005s 0.19/0.27 c #wall_clock_time = 0.005s 0.19/0.27 c #decision = 9 0.19/0.27 c #random_decision = 0 0.19/0.27 c #conflict = 1 0.19/0.27 c #restart = 0 0.19/0.27 c BCD2: relaxing 8 and merging with 1 cores into a new core of size 31: cost of the new core is >=4 0.19/0.27 c lower bound updated to 4 0.19/0.27 c BCD2: 4 <= obj <= 31 0.19/0.27 c BCD2: #cores=1, #unrelaxed=1, #relaxed=31, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=5 bias=5/6 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 3183 0 | 3 | 2 0.28/0.33 c 0.1s | 1 | 4177 | 100 | 3502 0 | 3 | 3 0.38/0.48 c 0.2s | 2 | 8174 | 250 | 3853 0 | 3 | 3 0.69/0.78 c 0.5s | 3 | 11656 | 475 | 4239 0 | 3 | 3 1.20/1.23 c 1.0s | 4 | 14312 | 813 | 4663 0 | 3 | 3 1.20/1.27 c 1.0s | 4 | 15779 | 815 | 4663 0 | 3 | 3 1.20/1.27 c #cpu_time = 0.997s 1.20/1.27 c #wall_clock_time = 0.997s 1.20/1.27 c #decision = 15779 1.20/1.27 c #random_decision = 36 1.20/1.27 c #conflict = 815 1.20/1.27 c #restart = 4 1.20/1.27 o 26 1.20/1.27 c BCD2: updating upper bound: 31 -> 25 1.20/1.27 c BCD2: 4 <= obj <= 25 1.20/1.27 c BCD2: #cores=1, #unrelaxed=1, #relaxed=31, #hardened=0 1.20/1.27 c BCD2: #sat=2 #unsat=5 bias=5/7 1.20/1.27 c Solving starts ... 1.20/1.27 c ============================[ Search Statistics ]============================ 1.20/1.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.20/1.27 c | | | | Limit GC | Var | Constra 1.20/1.27 c ============================================================================= 1.20/1.27 c 0.0s | 0 | 0 | 0 | 4663 0 | 3 | 4 1.29/1.33 c 0.1s | 1 | 855 | 100 | 4663 0 | 3 | 4 1.29/1.38 c 0.1s | 2 | 1026 | 250 | 4663 0 | 3 | 4 1.39/1.44 c 0.2s | 3 | 1273 | 475 | 4663 0 | 3 | 4 1.49/1.55 c 0.3s | 4 | 1628 | 813 | 5130 0 | 3 | 4 1.69/1.74 c 0.5s | 5 | 2156 | 1320 | 5644 0 | 3 | 4 1.99/2.02 c 0.8s | 6 | 2939 | 2081 | 5644 0 | 3 | 4 2.39/2.49 c 1.2s | 7 | 4102 | 3223 | 6209 0 | 3 | 4 3.08/3.16 c 1.9s | 8 | 5838 | 4936 | 6830 0 | 3 | 4 4.28/4.31 c 3.0s | 9 | 8432 | 7506 | 7514 0 | 3 | 4 5.98/6.06 c 4.8s | 10 | 12318 | 11361 | 8266 1 | 3 | 4 8.08/8.10 c 6.8s | 10 | 16146 | 15161 | 8266 2 | 3 | 4 9.08/9.11 c 7.8s | 11 | 18146 | 17144 | 9093 2 | 3 | 4 11.09/11.12 c 9.8s | 11 | 22178 | 21144 | 9093 3 | 3 | 4 13.08/13.14 c 11.9s | 11 | 26602 | 25544 | 10003 4 | 3 | 4 13.19/13.25 c 12.0s | 12 | 26879 | 25819 | 10003 4 | 3 | 4 15.18/15.27 c 14.0s | 12 | 30212 | 29119 | 10003 4 | 3 | 4 17.28/17.33 c 16.1s | 12 | 34446 | 33319 | 10003 5 | 3 | 4 19.28/19.36 c 18.1s | 12 | 37352 | 36219 | 10003 6 | 3 | 4 20.48/20.51 c 19.2s | 13 | 39978 | 38832 | 11004 6 | 3 | 4 22.48/22.52 c 21.3s | 13 | 43808 | 42632 | 11004 7 | 3 | 4 24.48/24.55 c 23.3s | 13 | 46927 | 45732 | 11004 7 | 3 | 4 26.49/26.55 c 25.3s | 13 | 50644 | 49432 | 11004 8 | 3 | 4 28.48/28.56 c 27.3s | 13 | 54149 | 52932 | 11004 8 | 3 | 4 30.49/30.58 c 29.3s | 13 | 57268 | 56032 | 11004 9 | 3 | 4 31.69/31.76 c 30.5s | 14 | 59599 | 58352 | 12105 9 | 3 | 4 33.79/33.89 c 32.6s | 14 | 62319 | 61052 | 12105 10 | 3 | 4 35.89/35.93 c 34.7s | 14 | 66040 | 64752 | 12105 10 | 3 | 4 37.89/37.95 c 36.7s | 14 | 69555 | 68252 | 12105 11 | 3 | 4 39.88/39.99 c 38.7s | 14 | 73379 | 72052 | 12105 11 | 3 | 4 41.98/42.03 c 40.8s | 14 | 76094 | 74752 | 12105 12 | 3 | 4 43.99/44.07 c 42.8s | 14 | 79809 | 78452 | 12105 12 | 3 | 4 46.08/46.18 c 44.9s | 14 | 82828 | 81452 | 12105 13 | 3 | 4 48.18/48.22 c 47.0s | 14 | 86546 | 85152 | 12105 13 | 3 | 4 49.49/49.53 c 48.3s | 15 | 89041 | 87632 | 13316 13 | 3 | 4 51.48/51.55 c 50.3s | 15 | 90852 | 89432 | 13316 14 | 3 | 4 53.58/53.60 c 52.3s | 15 | 94771 | 93332 | 13316 14 | 3 | 4 55.58/55.61 c 54.3s | 15 | 97781 | 96332 | 13316 14 | 3 | 4 57.58/57.64 c 56.4s | 15 | 101299 | 99832 | 13316 15 | 3 | 4 59.58/59.65 c 58.4s | 15 | 103913 | 102432 | 13316 15 | 3 | 4 61.59/61.69 c 60.4s | 15 | 106932 | 105432 | 13316 16 | 3 | 4 63.68/63.70 c 62.4s | 15 | 110533 | 109032 | 13316 16 | 3 | 4 65.68/65.73 c 64.5s | 15 | 113653 | 112132 | 13316 17 | 3 | 4 67.68/67.75 c 66.5s | 15 | 116863 | 115332 | 13316 17 | 3 | 4 71.48/71.51 c 70.2s | 15 | 119762 | 118232 | 13316 18 | 3 | 4 73.48/73.53 c 72.3s | 15 | 123785 | 122232 | 13316 18 | 3 | 4 75.47/75.54 c 74.3s | 15 | 126997 | 125432 | 13316 18 | 3 | 4 78.57/78.63 c 77.4s | 15 | 129609 | 128032 | 13316 19 | 3 | 4 80.57/80.69 c 79.4s | 15 | 133119 | 131532 | 14648 19 | 3 | 4 80.67/80.70 c 79.4s | 16 | 133147 | 131552 | 14648 19 | 3 | 4 82.68/82.74 c 81.5s | 16 | 134860 | 133252 | 14648 19 | 3 | 4 84.68/84.76 c 83.5s | 16 | 138268 | 136652 | 14648 20 | 3 | 4 86.68/86.76 c 85.5s | 16 | 139790 | 138152 | 14648 20 | 3 | 4 88.78/88.83 c 87.6s | 16 | 143299 | 141652 | 14648 20 | 3 | 4 90.78/90.89 c 89.6s | 16 | 146602 | 144952 | 14648 21 | 3 | 4 92.87/92.90 c 91.6s | 16 | 149419 | 147752 | 14648 21 | 3 | 4 94.97/95.03 c 93.8s | 16 | 151726 | 150052 | 14648 22 | 3 | 4 96.97/97.08 c 95.8s | 16 | 153030 | 151352 | 14648 22 | 3 | 4 99.17/99.26 c 98.0s | 16 | 155951 | 154252 | 14648 22 | 3 | 4 101.28/101.32 c 100s | 16 | 159159 | 157452 | 14648 22 | 3 | 4 103.27/103.38 c 102s | 16 | 161867 | 160152 | 14648 23 | 3 | 4 105.37/105.42 c 104s | 16 | 164983 | 163252 | 14648 23 | 3 | 4 107.57/107.66 c 106s | 16 | 167998 | 166252 | 14648 24 | 3 | 4 109.67/109.72 c 108s | 16 | 171718 | 169952 | 14648 24 | 3 | 4 111.67/111.76 c 110s | 16 | 174724 | 172952 | 14648 24 | 3 | 4 115.17/115.28 c 114s | 16 | 177036 | 175252 | 14648 25 | 3 | 4 117.27/117.30 c 116s | 16 | 180541 | 178752 | 14648 25 | 3 | 4 119.27/119.32 c 118s | 16 | 183356 | 181552 | 14648 25 | 3 | 4 122.77/122.82 c 121s | 16 | 186267 | 184452 | 14648 26 | 3 | 4 124.77/124.82 c 123s | 16 | 189568 | 187752 | 14648 26 | 3 | 4 126.77/126.88 c 125s | 16 | 192180 | 190352 | 14648 27 | 3 | 4 128.78/128.89 c 127s | 16 | 195283 | 193452 | 14648 27 | 3 | 4 130.88/130.96 c 129s | 16 | 197891 | 196052 | 16113 27 | 3 | 4 133.07/133.14 c 131s | 16 | 198795 | 196952 | 16113 27 | 3 | 4 133.37/133.46 c 132s | 17 | 199282 | 197432 | 16113 27 | 3 | 4 135.47/135.50 c 134s | 17 | 201401 | 199532 | 16113 27 | 3 | 4 137.47/137.53 c 136s | 17 | 204511 | 202632 | 16113 28 | 3 | 4 139.46/139.56 c 138s | 17 | 207322 | 205432 | 16113 28 | 3 | 4 141.56/141.60 c 140s | 17 | 209125 | 207232 | 16113 28 | 3 | 4 143.57/143.60 c 142s | 17 | 211727 | 209832 | 16113 29 | 3 | 4 145.57/145.64 c 144s | 17 | 214037 | 212132 | 16113 29 | 3 | 4 147.67/147.71 c 146s | 17 | 217147 | 215232 | 16113 29 | 3 | 4 149.67/149.72 c 148s | 17 | 219449 | 217532 | 16113 30 | 3 | 4 151.67/151.77 c 150s | 17 | 222163 | 220232 | 16113 30 | 3 | 4 153.77/153.81 c 152s | 17 | 225579 | 223632 | 16113 30 | 3 | 4 156.06/156.15 c 154s | 17 | 228195 | 226232 | 16113 31 | 3 | 4 158.06/158.19 c 156s | 17 | 232011 | 230032 | 16113 31 | 3 | 4 160.57/160.63 c 159s | 17 | 234821 | 232832 | 16113 31 | 3 | 4 162.56/162.66 c 161s | 17 | 237528 | 235532 | 16113 32 | 3 | 4 164.56/164.67 c 163s | 17 | 240943 | 238932 | 16113 32 | 3 | 4 166.66/166.72 c 165s | 17 | 244264 | 242232 | 16113 32 | 3 | 4 168.66/168.76 c 167s | 17 | 247775 | 245732 | 16113 33 | 3 | 4 170.66/170.76 c 169s | 17 | 250883 | 248832 | 16113 33 | 3 | 4 173.96/174.00 c 172s | 17 | 252394 | 250332 | 16113 33 | 3 | 4 175.96/176.03 c 174s | 17 | 255296 | 253232 | 16113 34 | 3 | 4 177.96/178.04 c 176s | 17 | 259117 | 257032 | 16113 34 | 3 | 4 180.06/180.12 c 178s | 17 | 262430 | 260332 | 16113 34 | 3 | 4 182.06/182.14 c 180s | 17 | 265549 | 263432 | 16113 35 | 3 | 4 184.06/184.16 c 182s | 17 | 268253 | 266132 | 16113 35 | 3 | 4 186.06/186.19 c 184s | 17 | 270958 | 268832 | 16113 35 | 3 | 4 188.46/188.57 c 187s | 17 | 271766 | 269632 | 16113 36 | 3 | 4 191.56/191.65 c 190s | 17 | 275087 | 272932 | 16113 36 | 3 | 4 193.57/193.65 c 192s | 17 | 278298 | 276132 | 16113 36 | 3 | 4 195.56/195.65 c 194s | 17 | 281011 | 278832 | 16113 37 | 3 | 4 197.56/197.67 c 196s | 17 | 284519 | 282332 | 16113 37 | 3 | 4 199.66/199.71 c 198s | 17 | 287723 | 285532 | 16113 37 | 3 | 4 201.66/201.72 c 200s | 17 | 290235 | 288032 | 16113 38 | 3 | 4 203.66/203.77 c 202s | 17 | 293443 | 291232 | 16113 38 | 3 | 4 205.76/205.81 c 204s | 17 | 296153 | 293932 | 17725 38 | 3 | 4 207.76/207.82 c 206s | 18 | 298474 | 296252 | 17725 38 | 3 | 4 209.76/209.84 c 208s | 18 | 299291 | 297052 | 17725 39 | 3 | 4 211.75/211.85 c 210s | 18 | 302502 | 300252 | 17725 39 | 3 | 4 213.75/213.85 c 212s | 18 | 305311 | 303052 | 17725 39 | 3 | 4 215.85/215.93 c 214s | 18 | 308031 | 305752 | 17725 39 | 3 | 4 217.95/218.01 c 216s | 18 | 310539 | 308252 | 17725 40 | 3 | 4 219.96/220.03 c 218s | 18 | 313052 | 310752 | 17725 40 | 3 | 4 221.95/222.05 c 220s | 18 | 316067 | 313752 | 17725 40 | 3 | 4 223.95/224.08 c 222s | 18 | 319072 | 316752 | 17725 41 | 3 | 4 225.95/226.09 c 224s | 18 | 322284 | 319952 | 17725 41 | 3 | 4 228.05/228.15 c 226s | 18 | 324903 | 322552 | 17725 41 | 3 | 4 230.05/230.17 c 228s | 18 | 327111 | 324752 | 17725 41 | 3 | 4 232.36/232.42 c 231s | 18 | 329228 | 326852 | 17725 42 | 3 | 4 234.36/234.46 c 233s | 18 | 332032 | 329652 | 17725 42 | 3 | 4 236.36/236.48 c 235s | 18 | 334342 | 331952 | 17725 42 | 3 | 4 238.46/238.53 c 237s | 18 | 336651 | 334252 | 17725 42 | 3 | 4 243.45/243.57 c 242s | 18 | 338572 | 336152 | 17725 43 | 3 | 4 245.45/245.57 c 244s | 18 | 342477 | 340052 | 17725 43 | 3 | 4 247.56/247.60 c 246s | 18 | 345392 | 342952 | 17725 43 | 3 | 4 249.55/249.61 c 248s | 18 | 347899 | 345452 | 17725 44 | 3 | 4 251.55/251.62 c 250s | 18 | 350813 | 348352 | 17725 44 | 3 | 4 253.55/253.62 c 252s | 18 | 353232 | 350752 | 17725 44 | 3 | 4 255.75/255.84 c 254s | 18 | 356042 | 353552 | 17725 45 | 3 | 4 257.75/257.86 c 256s | 18 | 359755 | 357252 | 17725 45 | 3 | 4 259.85/259.94 c 258s | 18 | 362863 | 360352 | 17725 45 | 3 | 4 261.86/261.94 c 260s | 18 | 365377 | 362852 | 17725 45 | 3 | 4 263.95/264.09 c 262s | 18 | 366183 | 363652 | 17725 46 | 3 | 4 266.05/266.13 c 264s | 18 | 369697 | 367152 | 17725 46 | 3 | 4 268.05/268.16 c 266s | 18 | 372506 | 369952 | 17725 46 | 3 | 4 270.15/270.25 c 268s | 18 | 374420 | 371852 | 17725 46 | 3 | 4 275.85/275.94 c 274s | 18 | 375525 | 372952 | 17725 47 | 3 | 4 277.85/277.97 c 276s | 18 | 378723 | 376152 | 17725 47 | 3 | 4 279.95/280.04 c 278s | 18 | 381438 | 378852 | 17725 47 | 3 | 4 281.95/282.07 c 280s | 18 | 383738 | 381152 | 17725 47 | 3 | 4 286.55/286.61 c 285s | 18 | 385453 | 382852 | 17725 48 | 3 | 4 288.55/288.65 c 287s | 18 | 388865 | 386252 | 17725 48 | 3 | 4 290.55/290.69 c 289s | 18 | 391477 | 388852 | 17725 48 | 3 | 4 292.65/292.73 c 291s | 18 | 393888 | 391252 | 17725 48 | 3 | 4 294.64/294.75 c 293s | 18 | 396302 | 393652 | 17725 49 | 3 | 4 300.35/300.42 c 299s | 18 | 398823 | 396152 | 17725 49 | 3 | 4 302.34/302.48 c 301s | 18 | 401235 | 398552 | 17725 49 | 3 | 4 304.75/304.83 c 303s | 18 | 403948 | 401252 | 17725 50 | 3 | 4 306.74/306.86 c 305s | 18 | 407765 | 405052 | 17725 50 | 3 | 4 308.74/308.88 c 307s | 18 | 410971 | 408252 | 17725 50 | 3 | 4 312.15/312.23 c 310s | 18 | 413086 | 410352 | 17725 51 | 3 | 4 314.15/314.27 c 313s | 18 | 416495 | 413752 | 17725 51 | 3 | 4 316.24/316.34 c 315s | 18 | 419296 | 416552 | 17725 51 | 3 | 4 318.24/318.34 c 317s | 18 | 422010 | 419252 | 17725 51 | 3 | 4 322.74/322.83 c 321s | 18 | 424720 | 421952 | 17725 52 | 3 | 4 324.74/324.85 c 323s | 18 | 428327 | 425552 | 17725 52 | 3 | 4 326.84/326.92 c 325s | 18 | 431241 | 428452 | 17725 52 | 3 | 4 329.64/329.76 c 328s | 18 | 434048 | 431252 | 17725 53 | 3 | 4 331.73/331.89 c 330s | 18 | 437458 | 434652 | 17725 53 | 3 | 4 333.83/333.97 c 332s | 18 | 440472 | 437652 | 17725 53 | 3 | 4 336.43/336.55 c 335s | 18 | 443489 | 440652 | 19498 54 | 3 | 4 338.44/338.55 c 337s | 18 | 446899 | 444052 | 19498 54 | 3 | 4 338.75/338.84 c 337s | 19 | 447331 | 444482 | 19498 54 | 3 | 4 340.74/340.85 c 339s | 19 | 449552 | 446682 | 19498 54 | 3 | 4 342.74/342.87 c 341s | 19 | 452768 | 449882 | 19498 54 | 3 | 4 344.74/344.88 c 343s | 19 | 455477 | 452582 | 19498 55 | 3 | 4 346.84/346.96 c 345s | 19 | 458593 | 455682 | 19498 55 | 3 | 4 349.64/349.70 c 348s | 19 | 460608 | 457682 | 19498 55 | 3 | 4 351.64/351.71 c 350s | 19 | 463518 | 460582 | 19498 55 | 3 | 4 353.64/353.75 c 352s | 19 | 465933 | 462982 | 19498 56 | 3 | 4 355.64/355.79 c 354s | 19 | 469351 | 466382 | 19498 56 | 3 | 4 357.74/357.83 c 356s | 19 | 471763 | 468782 | 19498 56 | 3 | 4 360.24/360.32 c 359s | 19 | 473774 | 470782 | 19498 57 | 3 | 4 362.24/362.36 c 361s | 19 | 476878 | 473882 | 19498 57 | 3 | 4 368.03/368.13 c 366s | 19 | 479288 | 476282 | 19498 57 | 3 | 4 370.03/370.16 c 368s | 19 | 481090 | 478082 | 19498 57 | 3 | 4 372.03/372.19 c 370s | 19 | 483195 | 480182 | 19498 57 | 3 | 4 374.14/374.23 c 372s | 19 | 485099 | 482082 | 19498 58 | 3 | 4 376.14/376.28 c 375s | 19 | 488118 | 485082 | 19498 58 | 3 | 4 380.93/381.01 c 379s | 19 | 488520 | 485482 | 19498 58 | 3 | 4 382.93/383.05 c 381s | 19 | 492028 | 488982 | 19498 58 | 3 | 4 384.94/385.07 c 383s | 19 | 494748 | 491682 | 19498 59 | 3 | 4 387.03/387.12 c 385s | 19 | 497359 | 494282 | 19498 59 | 3 | 4 389.03/389.17 c 387s | 19 | 500365 | 497282 | 19498 59 | 3 | 4 391.13/391.22 c 389s | 19 | 502975 | 499882 | 19498 59 | 3 | 4 393.13/393.29 c 392s | 19 | 504882 | 501782 | 19498 60 | 3 | 4 395.23/395.31 c 394s | 19 | 507996 | 504882 | 19498 60 | 3 | 4 397.23/397.34 c 396s | 19 | 511010 | 507882 | 19498 60 | 3 | 4 399.23/399.34 c 398s | 19 | 513516 | 510382 | 19498 60 | 3 | 4 401.23/401.36 c 400s | 19 | 515531 | 512382 | 19498 61 | 3 | 4 404.73/404.89 c 403s | 19 | 518140 | 514982 | 19498 61 | 3 | 4 406.82/406.96 c 405s | 19 | 520648 | 517482 | 19498 61 | 3 | 4 410.42/410.55 c 409s | 19 | 521358 | 518182 | 19498 61 | 3 | 4 412.43/412.57 c 411s | 19 | 524163 | 520982 | 19498 61 | 3 | 4 414.64/414.72 c 413s | 19 | 526168 | 522982 | 19498 62 | 3 | 4 416.63/416.75 c 415s | 19 | 529380 | 526182 | 19498 62 | 3 | 4 418.63/418.76 c 417s | 19 | 531290 | 528082 | 19498 62 | 3 | 4 420.73/420.80 c 419s | 19 | 534499 | 531282 | 19498 62 | 3 | 4 422.73/422.84 c 421s | 19 | 537007 | 533782 | 19498 63 | 3 | 4 425.63/425.77 c 424s | 19 | 539926 | 536682 | 19498 63 | 3 | 4 427.63/427.79 c 426s | 19 | 543134 | 539882 | 19498 63 | 3 | 4 429.73/429.86 c 428s | 19 | 545842 | 542582 | 19498 63 | 3 | 4 431.72/431.88 c 430s | 19 | 548560 | 545282 | 19498 64 | 3 | 4 433.82/433.90 c 432s | 19 | 551572 | 548282 | 19498 64 | 3 | 4 435.82/435.92 c 434s | 19 | 554283 | 550982 | 19498 64 | 3 | 4 437.83/437.93 c 436s | 19 | 556794 | 553482 | 19498 64 | 3 | 4 439.82/439.99 c 438s | 19 | 558401 | 555082 | 19498 65 | 3 | 4 443.22/443.37 c 442s | 19 | 560913 | 557582 | 19498 65 | 3 | 4 445.22/445.39 c 444s | 19 | 563415 | 560082 | 19498 65 | 3 | 4 448.22/448.37 c 447s | 19 | 564926 | 561582 | 19498 65 | 3 | 4 450.22/450.39 c 449s | 19 | 567732 | 564382 | 19498 65 | 3 | 4 452.22/452.39 c 451s | 19 | 570342 | 566982 | 19498 66 | 3 | 4 454.33/454.43 c 453s | 19 | 573257 | 569882 | 19498 66 | 3 | 4 456.32/456.48 c 455s | 19 | 575561 | 572182 | 19498 66 | 3 | 4 458.42/458.59 c 457s | 19 | 577471 | 574082 | 19498 66 | 3 | 4 460.52/460.61 c 459s | 19 | 579983 | 576582 | 19498 67 | 3 | 4 462.52/462.63 c 461s | 19 | 583294 | 579882 | 19498 67 | 3 | 4 464.62/464.70 c 463s | 19 | 586301 | 582882 | 19498 67 | 3 | 4 467.53/467.66 c 466s | 19 | 588321 | 584882 | 19498 68 | 3 | 4 469.63/469.77 c 468s | 19 | 591731 | 588282 | 19498 68 | 3 | 4 471.62/471.79 c 470s | 19 | 594535 | 591082 | 19498 68 | 3 | 4 473.72/473.81 c 472s | 19 | 596849 | 593382 | 19498 68 | 3 | 4 475.72/475.88 c 474s | 19 | 598455 | 594982 | 19498 69 | 3 | 4 482.12/482.29 c 481s | 19 | 599058 | 595582 | 19498 69 | 3 | 4 484.22/484.34 c 483s | 19 | 602570 | 599082 | 19498 69 | 3 | 4 486.22/486.37 c 485s | 19 | 605380 | 601882 | 19498 69 | 3 | 4 488.21/488.38 c 487s | 19 | 607692 | 604182 | 19498 69 | 3 | 4 490.52/490.61 c 489s | 19 | 609305 | 605782 | 19498 70 | 3 | 4 492.51/492.66 c 491s | 19 | 612506 | 608982 | 19498 70 | 3 | 4 494.51/494.68 c 493s | 19 | 615020 | 611482 | 19498 70 | 3 | 4 496.61/496.74 c 495s | 19 | 617522 | 613982 | 19498 70 | 3 | 4 498.71/498.84 c 497s | 19 | 619624 | 616082 | 19498 70 | 3 | 4 500.91/501.09 c 499s | 19 | 620443 | 616882 | 19498 71 | 3 | 4 504.92/505.01 c 503s | 19 | 621244 | 617682 | 19498 71 | 3 | 4 506.91/507.06 c 505s | 19 | 624440 | 620882 | 19498 71 | 3 | 4 509.01/509.11 c 507s | 19 | 627356 | 623782 | 19498 71 | 3 | 4 511.01/511.17 c 509s | 19 | 629966 | 626382 | 19498 71 | 3 | 4 513.01/513.18 c 511s | 19 | 632677 | 629082 | 19498 72 | 3 | 4 515.11/515.21 c 513s | 19 | 635187 | 631582 | 19498 72 | 3 | 4 517.11/517.23 c 515s | 19 | 637693 | 634082 | 19498 72 | 3 | 4 519.12/519.23 c 517s | 19 | 639903 | 636282 | 19498 72 | 3 | 4 521.11/521.27 c 520s | 19 | 641606 | 637982 | 19498 73 | 3 | 4 523.21/523.34 c 522s | 19 | 643207 | 639582 | 19498 73 | 3 | 4 526.50/526.64 c 525s | 19 | 645829 | 642182 | 19498 73 | 3 | 4 528.50/528.68 c 527s | 19 | 648931 | 645282 | 19498 73 | 3 | 4 530.71/530.81 c 529s | 19 | 651142 | 647482 | 19498 74 | 3 | 4 532.71/532.85 c 531s | 19 | 654253 | 650582 | 19498 74 | 3 | 4 534.81/534.91 c 533s | 19 | 656870 | 653182 | 19498 74 | 3 | 4 536.82/536.92 c 535s | 19 | 659275 | 655582 | 19498 74 | 3 | 4 538.81/538.97 c 537s | 19 | 661879 | 658182 | 19498 75 | 3 | 4 540.91/541.02 c 539s | 19 | 664697 | 660982 | 19498 75 | 3 | 4 543.01/543.16 c 541s | 19 | 667812 | 664082 | 21448 75 | 3 | 4 545.01/545.19 c 543s | 19 | 670523 | 666782 | 21448 75 | 3 | 4 545.11/545.23 c 543s | 20 | 670572 | 666827 | 21448 75 | 3 | 4 547.11/547.28 c 546s | 20 | 671591 | 667827 | 21448 75 | 3 | 4 549.21/549.32 c 548s | 20 | 673700 | 669927 | 21448 75 | 3 | 4 551.21/551.37 c 550s | 20 | 675002 | 671227 | 21448 76 | 3 | 4 553.21/553.38 c 552s | 20 | 678109 | 674327 | 21448 76 | 3 | 4 555.21/555.39 c 554s | 20 | 680422 | 676627 | 21448 76 | 3 | 4 557.31/557.46 c 556s | 20 | 682826 | 679027 | 21448 76 | 3 | 4 559.91/560.04 c 558s | 20 | 685053 | 681227 | 21448 77 | 3 | 4 561.90/562.05 c 560s | 20 | 688260 | 684427 | 21448 77 | 3 | 4 564.00/564.11 c 562s | 20 | 691175 | 687327 | 21448 77 | 3 | 4 566.00/566.13 c 564s | 20 | 694390 | 690527 | 21448 77 | 3 | 4 568.00/568.13 c 566s | 20 | 696900 | 693027 | 21448 78 | 3 | 4 573.60/573.74 c 572s | 20 | 698111 | 694227 | 21448 78 | 3 | 4 575.60/575.74 c 574s | 20 | 701535 | 697627 | 21448 78 | 3 | 4 577.60/577.76 c 576s | 20 | 704145 | 700227 | 21448 78 | 3 | 4 579.61/579.80 c 578s | 20 | 706558 | 702627 | 21448 78 | 3 | 4 581.70/581.82 c 580s | 20 | 708569 | 704627 | 21448 79 | 3 | 4 583.70/583.84 c 582s | 20 | 711275 | 707327 | 21448 79 | 3 | 4 585.70/585.88 c 584s | 20 | 714196 | 710227 | 21448 79 | 3 | 4 587.70/587.89 c 586s | 20 | 716911 | 712927 | 21448 79 | 3 | 4 589.80/589.95 c 588s | 20 | 719320 | 715327 | 21448 79 | 3 | 4 591.81/591.96 c 590s | 20 | 721125 | 717127 | 21448 80 | 3 | 4 593.80/593.96 c 592s | 20 | 723333 | 719327 | 21448 80 | 3 | 4 597.60/597.76 c 596s | 20 | 724846 | 720827 | 21448 80 | 3 | 4 599.59/599.78 c 598s | 20 | 726748 | 722727 | 21448 80 | 3 | 4 601.70/601.83 c 600s | 20 | 728253 | 724227 | 21448 80 | 3 | 4 603.69/603.86 c 602s | 20 | 730467 | 726427 | 21448 80 | 3 | 4 606.11/606.27 c 604s | 20 | 730764 | 726727 | 21448 81 | 3 | 4 608.10/608.29 c 607s | 20 | 734591 | 730527 | 21448 81 | 3 | 4 608.70/608.80 c 607s | 20 | 735279 | 731221 | 21448 81 | 3 | 4 608.70/608.80 c #cpu_time = 607.563s 608.70/608.80 c #wall_clock_time = 607.532s 608.70/608.80 c #decision = 735279 608.70/608.80 c #random_decision = 2923 608.70/608.80 c #conflict = 731221 608.70/608.80 c #restart = 20 608.70/608.80 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 32: cost of the new core is >=5 608.70/608.80 c lower bound updated to 5 608.70/608.80 c BCD2: 5 <= obj <= 25 608.70/608.80 c BCD2: #cores=1, #unrelaxed=0, #relaxed=32, #hardened=0 608.70/608.80 c BCD2: #sat=2 #unsat=6 bias=6/8 608.70/608.80 c Solving starts ... 608.70/608.80 c ============================[ Search Statistics ]============================ 608.70/608.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 608.70/608.80 c | | | | Limit GC | Var | Constra 608.70/608.80 c ============================================================================= 608.70/608.80 c 0.0s | 0 | 0 | 0 | 21448 0 | 5 | 4 610.51/610.68 c 1.9s | 1 | 118 | 100 | 21448 0 | 5 | 7 610.60/610.72 c 1.9s | 2 | 277 | 250 | 21448 0 | 5 | 7 610.70/610.82 c 2.0s | 3 | 514 | 475 | 21448 0 | 5 | 7 610.80/610.90 c 2.1s | 4 | 867 | 813 | 21448 0 | 5 | 7 610.90/611.03 c 2.2s | 5 | 1383 | 1320 | 21448 0 | 5 | 7 620.31/620.50 c 11.7s | 5 | 1604 | 1520 | 21448 0 | 5 | 7 620.50/620.63 c 11.8s | 6 | 2162 | 2081 | 21448 0 | 5 | 7 620.80/620.97 c 12.2s | 7 | 3329 | 3223 | 21448 0 | 5 | 7 621.41/621.55 c 12.7s | 8 | 5069 | 4936 | 21448 0 | 5 | 7 622.40/622.55 c 13.7s | 9 | 7669 | 7506 | 21448 0 | 5 | 7 624.10/624.29 c 15.5s | 10 | 11552 | 11361 | 21448 0 | 5 | 7 626.20/626.30 c 17.5s | 10 | 15487 | 15261 | 21448 0 | 5 | 7 627.00/627.13 c 18.3s | 11 | 17375 | 17144 | 21448 0 | 5 | 7 629.00/629.14 c 20.3s | 11 | 20195 | 19944 | 21448 0 | 5 | 7 631.10/631.24 c 22.4s | 11 | 22713 | 22444 | 21448 0 | 5 | 7 633.09/633.25 c 24.5s | 11 | 25418 | 25144 | 21448 1 | 5 | 7 633.39/633.55 c 24.7s | 12 | 26103 | 25819 | 21448 1 | 5 | 7 635.80/635.93 c 27.1s | 12 | 26326 | 26019 | 21448 1 | 5 | 7 637.79/637.98 c 29.2s | 12 | 30134 | 29819 | 21448 1 | 5 | 7 639.89/640.03 c 31.2s | 12 | 33440 | 33119 | 21448 1 | 5 | 7 641.89/642.06 c 33.3s | 12 | 36050 | 35719 | 21448 2 | 5 | 7 643.69/643.81 c 35.0s | 13 | 39169 | 38832 | 21448 2 | 5 | 7 645.69/645.84 c 37.0s | 13 | 39386 | 39032 | 21448 2 | 5 | 7 647.69/647.89 c 39.1s | 13 | 42094 | 41732 | 21448 2 | 5 | 7 649.79/649.92 c 41.1s | 13 | 44607 | 44232 | 21448 2 | 5 | 7 652.09/652.24 c 43.4s | 13 | 45809 | 45432 | 21448 3 | 5 | 7 654.09/654.28 c 45.5s | 13 | 49326 | 48932 | 21448 3 | 5 | 7 656.19/656.32 c 47.5s | 13 | 52947 | 52532 | 21448 3 | 5 | 7 658.19/658.36 c 49.6s | 13 | 56080 | 55632 | 21448 3 | 5 | 7 660.19/660.37 c 51.6s | 13 | 58583 | 58132 | 21448 4 | 5 | 7 660.39/660.51 c 51.7s | 14 | 58797 | 58352 | 21448 4 | 5 | 7 662.39/662.56 c 53.8s | 14 | 61128 | 60652 | 21448 4 | 5 | 7 664.49/664.61 c 55.8s | 14 | 64036 | 63552 | 21448 4 | 5 | 7 666.49/666.64 c 57.8s | 14 | 66956 | 66452 | 21448 4 | 5 | 7 671.68/671.85 c 63.0s | 14 | 68961 | 68452 | 21448 5 | 5 | 7 674.69/674.85 c 66.0s | 14 | 71474 | 70952 | 21448 5 | 5 | 7 676.69/676.88 c 68.1s | 14 | 75303 | 74752 | 21448 5 | 5 | 7 678.79/678.90 c 70.1s | 14 | 78822 | 78252 | 21448 5 | 5 | 7 680.80/680.95 c 72.1s | 14 | 82047 | 81452 | 21448 6 | 5 | 7 682.79/682.96 c 74.2s | 14 | 85358 | 84752 | 21448 6 | 5 | 7 684.59/684.74 c 75.9s | 15 | 88257 | 87632 | 21448 6 | 5 | 7 686.59/686.78 c 78.0s | 15 | 90585 | 89932 | 21448 6 | 5 | 7 688.69/688.82 c 80.0s | 15 | 92700 | 92032 | 21448 7 | 5 | 7 690.69/690.85 c 82.0s | 15 | 95713 | 95032 | 21448 7 | 5 | 7 694.38/694.52 c 85.7s | 15 | 98726 | 98032 | 21448 7 | 5 | 7 696.38/696.53 c 87.7s | 15 | 102132 | 101432 | 21448 7 | 5 | 7 698.39/698.54 c 89.7s | 15 | 105849 | 105132 | 21448 8 | 5 | 7 700.38/700.58 c 91.8s | 15 | 109658 | 108932 | 21448 8 | 5 | 7 702.38/702.60 c 93.8s | 15 | 112870 | 112132 | 21448 8 | 5 | 7 704.48/704.61 c 95.8s | 15 | 115276 | 114532 | 21448 9 | 5 | 7 709.18/709.37 c 100s | 15 | 116385 | 115632 | 21448 9 | 5 | 7 711.28/711.43 c 102s | 15 | 120600 | 119832 | 21448 9 | 5 | 7 713.28/713.47 c 104s | 15 | 124124 | 123332 | 21448 9 | 5 | 7 715.48/715.62 c 106s | 15 | 127336 | 126532 | 21448 10 | 5 | 7 717.48/717.65 c 108s | 15 | 131043 | 130232 | 21448 10 | 5 | 7 718.29/718.47 c 109s | 16 | 132369 | 131552 | 21448 10 | 5 | 7 720.28/720.48 c 111s | 16 | 134794 | 133952 | 21448 10 | 5 | 7 722.88/723.07 c 114s | 16 | 137306 | 136452 | 21448 11 | 5 | 7 724.98/725.11 c 116s | 16 | 141015 | 140152 | 21448 11 | 5 | 7 726.99/727.19 c 118s | 16 | 143827 | 142952 | 21448 11 | 5 | 7 729.08/729.23 c 120s | 16 | 146344 | 145452 | 21448 11 | 5 | 7 731.08/731.24 c 122s | 16 | 149357 | 148452 | 21448 12 | 5 | 7 733.08/733.30 c 124s | 16 | 153370 | 152452 | 21448 12 | 5 | 7 735.18/735.34 c 126s | 16 | 156694 | 155752 | 21448 12 | 5 | 7 738.17/738.36 c 129s | 16 | 158201 | 157252 | 21448 12 | 5 | 7 740.18/740.36 c 131s | 16 | 160810 | 159852 | 21448 13 | 5 | 7 742.27/742.41 c 133s | 16 | 165216 | 164252 | 21448 13 | 5 | 7 744.47/744.63 c 135s | 16 | 168231 | 167252 | 21448 13 | 5 | 7 746.57/746.77 c 137s | 16 | 171433 | 170452 | 21448 14 | 5 | 7 748.67/748.80 c 139s | 16 | 175346 | 174352 | 21448 14 | 5 | 7 750.67/750.84 c 142s | 16 | 178161 | 177152 | 21448 14 | 5 | 7 752.67/752.85 c 144s | 16 | 181274 | 180252 | 21448 14 | 5 | 7 754.67/754.86 c 146s | 16 | 184184 | 183152 | 21448 15 | 5 | 7 756.78/756.90 c 148s | 16 | 188196 | 187152 | 21448 15 | 5 | 7 758.77/758.91 c 150s | 16 | 191417 | 190352 | 21448 15 | 5 | 7 765.37/765.53 c 156s | 16 | 192126 | 191052 | 21448 15 | 5 | 7 767.37/767.53 c 158s | 16 | 194433 | 193352 | 21448 16 | 5 | 7 769.37/769.55 c 160s | 17 | 198526 | 197432 | 21448 16 | 5 | 7 771.37/771.59 c 162s | 17 | 202158 | 201032 | 21448 16 | 5 | 7 773.47/773.65 c 164s | 17 | 205089 | 203932 | 21448 16 | 5 | 7 775.57/775.70 c 166s | 17 | 208497 | 207332 | 21448 17 | 5 | 7 777.58/777.72 c 168s | 17 | 211706 | 210532 | 21448 17 | 5 | 7 779.57/779.74 c 170s | 17 | 215226 | 214032 | 21448 17 | 5 | 7 781.57/781.77 c 172s | 17 | 217840 | 216632 | 21448 18 | 5 | 7 783.57/783.79 c 174s | 17 | 221149 | 219932 | 21448 18 | 5 | 7 786.07/786.22 c 177s | 17 | 221364 | 220132 | 21448 18 | 5 | 7 788.17/788.32 c 179s | 17 | 225079 | 223832 | 21448 18 | 5 | 7 790.17/790.35 c 181s | 17 | 228491 | 227232 | 21448 18 | 5 | 7 792.17/792.38 c 183s | 17 | 229897 | 228632 | 21448 19 | 5 | 7 794.27/794.41 c 185s | 17 | 233412 | 232132 | 21448 19 | 5 | 7 796.27/796.43 c 187s | 17 | 236929 | 235632 | 21448 19 | 5 | 7 798.57/798.77 c 189s | 17 | 239737 | 238432 | 21448 20 | 5 | 7 800.67/800.82 c 192s | 17 | 243747 | 242432 | 21448 20 | 5 | 7 802.66/802.85 c 194s | 17 | 247166 | 245832 | 21448 20 | 5 | 7 804.66/804.86 c 196s | 17 | 250180 | 248832 | 21448 20 | 5 | 7 806.76/806.90 c 198s | 17 | 252383 | 251032 | 21448 21 | 5 | 7 809.76/809.96 c 201s | 17 | 255191 | 253832 | 21448 21 | 5 | 7 812.17/812.32 c 203s | 17 | 255392 | 254032 | 21448 21 | 5 | 7 814.17/814.36 c 205s | 17 | 258797 | 257432 | 21448 21 | 5 | 7 816.27/816.41 c 207s | 17 | 261816 | 260432 | 21448 21 | 5 | 7 818.27/818.45 c 209s | 17 | 264328 | 262932 | 23593 22 | 5 | 7 820.37/820.50 c 211s | 17 | 267636 | 266232 | 23593 22 | 5 | 7 825.67/825.84 c 217s | 17 | 268644 | 267232 | 23593 22 | 5 | 7 827.67/827.84 c 219s | 17 | 271453 | 270032 | 23593 22 | 5 | 7 829.66/829.86 c 221s | 17 | 274473 | 273032 | 23593 22 | 5 | 7 831.66/831.90 c 223s | 17 | 276785 | 275332 | 23593 23 | 5 | 7 833.77/833.91 c 225s | 17 | 280407 | 278932 | 23593 23 | 5 | 7 835.76/835.98 c 227s | 17 | 283317 | 281832 | 23593 23 | 5 | 7 837.86/838.07 c 229s | 17 | 286234 | 284732 | 23593 23 | 5 | 7 846.26/846.42 c 237s | 17 | 287844 | 286332 | 23593 23 | 5 | 7 848.26/848.44 c 239s | 17 | 291151 | 289632 | 23593 24 | 5 | 7 850.35/850.50 c 241s | 17 | 294454 | 292932 | 23593 24 | 5 | 7 852.36/852.57 c 243s | 17 | 297273 | 295732 | 23593 24 | 5 | 7 852.75/852.92 c 244s | 18 | 297792 | 296252 | 23593 24 | 5 | 7 854.85/855.00 c 246s | 18 | 299920 | 298352 | 23593 24 | 5 | 7 856.86/857.04 c 248s | 18 | 301622 | 300052 | 23593 25 | 5 | 7 858.85/859.04 c 250s | 18 | 304833 | 303252 | 23593 25 | 5 | 7 860.85/861.05 c 252s | 18 | 307951 | 306352 | 23593 25 | 5 | 7 862.85/863.08 c 254s | 18 | 310456 | 308852 | 23593 25 | 5 | 7 864.95/865.16 c 256s | 18 | 312979 | 311352 | 23593 25 | 5 | 7 866.95/867.18 c 258s | 18 | 314382 | 312752 | 23593 26 | 5 | 7 874.35/874.59 c 265s | 18 | 315586 | 313952 | 23593 26 | 5 | 7 876.35/876.59 c 267s | 18 | 319090 | 317452 | 23593 26 | 5 | 7 878.45/878.64 c 269s | 18 | 322305 | 320652 | 23593 26 | 5 | 7 880.45/880.65 c 271s | 18 | 325522 | 323852 | 23593 26 | 5 | 7 882.55/882.71 c 273s | 18 | 328342 | 326652 | 23593 27 | 5 | 7 884.54/884.76 c 275s | 18 | 331647 | 329952 | 23593 27 | 5 | 7 886.55/886.79 c 277s | 18 | 334554 | 332852 | 23593 27 | 5 | 7 888.54/888.80 c 279s | 18 | 336966 | 335252 | 23593 27 | 5 | 7 891.35/891.57 c 282s | 18 | 338372 | 336652 | 23593 28 | 5 | 7 893.35/893.59 c 284s | 18 | 342173 | 340452 | 23593 28 | 5 | 7 895.45/895.65 c 286s | 18 | 345898 | 344152 | 23593 28 | 5 | 7 897.45/897.66 c 288s | 18 | 348810 | 347052 | 23593 28 | 5 | 7 899.55/899.70 c 290s | 18 | 351413 | 349652 | 23593 29 | 5 | 7 901.55/901.72 c 292s | 18 | 354618 | 352852 | 23593 29 | 5 | 7 908.34/908.53 c 299s | 18 | 356037 | 354252 | 23593 29 | 5 | 7 910.34/910.55 c 301s | 18 | 359541 | 357752 | 23593 29 | 5 | 7 912.33/912.56 c 303s | 18 | 362750 | 360952 | 23593 29 | 5 | 7 914.34/914.57 c 305s | 18 | 364868 | 363052 | 23593 30 | 5 | 7 916.44/916.60 c 307s | 18 | 368587 | 366752 | 23593 30 | 5 | 7 918.45/918.61 c 309s | 18 | 372094 | 370252 | 23593 30 | 5 | 7 920.44/920.64 c 311s | 18 | 374810 | 372952 | 23593 30 | 5 | 7 922.54/922.73 c 313s | 18 | 376219 | 374352 | 23593 31 | 5 | 7 924.53/924.73 c 315s | 18 | 379522 | 377652 | 23593 31 | 5 | 7 927.03/927.27 c 318s | 18 | 380028 | 378152 | 23593 31 | 5 | 7 929.13/929.30 c 320s | 18 | 383239 | 381352 | 23593 31 | 5 | 7 931.13/931.32 c 322s | 18 | 385950 | 384052 | 23593 31 | 5 | 7 933.13/933.39 c 324s | 18 | 388259 | 386352 | 23593 31 | 5 | 7 943.23/943.42 c 334s | 18 | 390170 | 388252 | 23593 32 | 5 | 7 945.23/945.47 c 336s | 18 | 393678 | 391752 | 23593 32 | 5 | 7 947.23/947.48 c 338s | 18 | 396587 | 394652 | 23593 32 | 5 | 7 949.33/949.51 c 340s | 18 | 398892 | 396952 | 23593 32 | 5 | 7 951.33/951.57 c 342s | 18 | 401200 | 399252 | 23593 33 | 5 | 7 958.42/958.60 c 349s | 18 | 403313 | 401352 | 23593 33 | 5 | 7 960.42/960.61 c 351s | 18 | 406431 | 404452 | 23593 33 | 5 | 7 962.43/962.62 c 353s | 18 | 409435 | 407452 | 23593 33 | 5 | 7 964.42/964.65 c 355s | 18 | 412756 | 410752 | 23593 33 | 5 | 7 966.52/966.72 c 357s | 18 | 415864 | 413852 | 23593 34 | 5 | 7 968.52/968.75 c 359s | 18 | 419282 | 417252 | 23593 34 | 5 | 7 970.52/970.77 c 361s | 18 | 421891 | 419852 | 23593 34 | 5 | 7 972.62/972.81 c 364s | 18 | 424596 | 422552 | 23593 34 | 5 | 7 974.63/974.82 c 366s | 18 | 426605 | 424552 | 23593 35 | 5 | 7 976.63/976.85 c 368s | 18 | 428016 | 425952 | 23593 35 | 5 | 7 978.72/978.90 c 370s | 18 | 430920 | 428852 | 23593 35 | 5 | 7 981.32/981.51 c 372s | 18 | 432641 | 430552 | 23593 35 | 5 | 7 983.33/983.51 c 374s | 18 | 436050 | 433952 | 23593 35 | 5 | 7 985.32/985.54 c 376s | 18 | 438562 | 436452 | 23593 36 | 5 | 7 988.42/988.63 c 379s | 18 | 441776 | 439652 | 23593 36 | 5 | 7 990.42/990.65 c 381s | 18 | 445488 | 443352 | 23593 36 | 5 | 7 991.02/991.23 c 382s | 19 | 446619 | 444482 | 23593 36 | 5 | 7 993.01/993.26 c 384s | 19 | 448746 | 446582 | 23593 36 | 5 | 7 995.21/995.40 c 386s | 19 | 450451 | 448282 | 23593 37 | 5 | 7 997.21/997.45 c 388s | 19 | 452058 | 449882 | 23593 37 | 5 | 7 999.21/999.49 c 390s | 19 | 454770 | 452582 | 23593 37 | 5 | 7 1001.31/1001.52 c 392s | 19 | 457171 | 454982 | 23593 37 | 5 | 7 1003.41/1003.61 c 394s | 19 | 459475 | 457282 | 23593 37 | 5 | 7 1005.41/1005.69 c 396s | 19 | 461694 | 459482 | 23593 37 | 5 | 7 1007.61/1007.80 c 398s | 19 | 463306 | 461082 | 23593 37 | 5 | 7 1009.61/1009.87 c 401s | 19 | 464942 | 462682 | 23593 38 | 5 | 7 1011.61/1011.89 c 403s | 19 | 466553 | 464282 | 23593 38 | 5 | 7 1013.71/1013.91 c 405s | 19 | 469061 | 466782 | 23593 38 | 5 | 7 1015.71/1015.97 c 407s | 19 | 471467 | 469182 | 23593 38 | 5 | 7 1017.81/1018.04 c 409s | 19 | 474293 | 471982 | 23593 38 | 5 | 7 1019.81/1020.07 c 411s | 19 | 476493 | 474182 | 23593 39 | 5 | 7 1021.91/1022.10 c 413s | 19 | 479700 | 477382 | 23593 39 | 5 | 7 1030.80/1031.04 c 422s | 19 | 480814 | 478482 | 23593 39 | 5 | 7 1032.81/1033.07 c 424s | 19 | 484222 | 481882 | 23593 39 | 5 | 7 1034.90/1035.14 c 426s | 19 | 487436 | 485082 | 23593 39 | 5 | 7 1036.90/1037.18 c 428s | 19 | 490050 | 487682 | 23593 40 | 5 | 7 1039.00/1039.21 c 430s | 19 | 493460 | 491082 | 23593 40 | 5 | 7 1041.00/1041.26 c 432s | 19 | 496580 | 494182 | 23593 40 | 5 | 7 1042.99/1043.27 c 434s | 19 | 499386 | 496982 | 23593 40 | 5 | 7 1045.09/1045.30 c 436s | 19 | 501302 | 498882 | 23593 41 | 5 | 7 1049.79/1050.00 c 441s | 19 | 503016 | 500582 | 23593 41 | 5 | 7 1051.79/1052.02 c 443s | 19 | 506329 | 503882 | 23593 41 | 5 | 7 1053.79/1054.07 c 445s | 19 | 509744 | 507282 | 23593 41 | 5 | 7 1055.90/1056.16 c 447s | 19 | 512452 | 509982 | 23593 41 | 5 | 7 1057.99/1058.20 c 449s | 19 | 513358 | 510882 | 23593 42 | 5 | 7 1060.00/1060.24 c 451s | 19 | 516965 | 514482 | 23593 42 | 5 | 7 1061.99/1062.26 c 453s | 19 | 519876 | 517382 | 23593 42 | 5 | 7 1064.09/1064.30 c 455s | 19 | 522690 | 520182 | 23593 42 | 5 | 7 1073.18/1073.43 c 464s | 19 | 525016 | 522482 | 23593 43 | 5 | 7 1075.18/1075.49 c 466s | 19 | 528619 | 526082 | 23593 43 | 5 | 7 1077.28/1077.54 c 468s | 19 | 531849 | 529282 | 23593 43 | 5 | 7 1079.28/1079.58 c 470s | 19 | 535261 | 532682 | 23593 43 | 5 | 7 1081.38/1081.62 c 472s | 19 | 537864 | 535282 | 23593 44 | 5 | 7 1083.39/1083.63 c 474s | 19 | 541281 | 538682 | 23593 44 | 5 | 7 1085.37/1085.65 c 476s | 19 | 544394 | 541782 | 23593 44 | 5 | 7 1087.47/1087.72 c 478s | 19 | 546816 | 544182 | 23593 44 | 5 | 7 1089.57/1089.80 c 480s | 19 | 549217 | 546582 | 23593 44 | 5 | 7 1092.38/1092.60 c 483s | 19 | 550016 | 547382 | 23593 45 | 5 | 7 1094.38/1094.64 c 485s | 19 | 553424 | 550782 | 23593 45 | 5 | 7 1100.98/1101.26 c 492s | 19 | 554236 | 551582 | 23593 45 | 5 | 7 1102.98/1103.27 c 494s | 19 | 558249 | 555582 | 23593 45 | 5 | 7 1104.97/1105.28 c 496s | 19 | 561264 | 558582 | 23593 45 | 5 | 7 1107.27/1107.55 c 498s | 19 | 563373 | 560682 | 23593 46 | 5 | 7 1109.27/1109.55 c 500s | 19 | 567574 | 564882 | 23593 46 | 5 | 7 1111.27/1111.57 c 502s | 19 | 570791 | 568082 | 23593 46 | 5 | 7 1113.37/1113.60 c 504s | 19 | 574001 | 571282 | 23593 46 | 5 | 7 1115.37/1115.62 c 506s | 19 | 577016 | 574282 | 23593 47 | 5 | 7 1121.16/1121.47 c 512s | 19 | 578023 | 575282 | 23593 47 | 5 | 7 1123.16/1123.49 c 514s | 19 | 581540 | 578782 | 23593 47 | 5 | 7 1125.26/1125.54 c 516s | 19 | 584861 | 582082 | 23593 47 | 5 | 7 1127.27/1127.56 c 518s | 19 | 587674 | 584882 | 23593 47 | 5 | 7 1136.36/1136.60 c 527s | 19 | 588075 | 585282 | 23593 48 | 5 | 7 1138.37/1138.60 c 529s | 19 | 591890 | 589082 | 23593 48 | 5 | 7 1140.36/1140.61 c 531s | 19 | 595308 | 592482 | 23593 48 | 5 | 7 1142.36/1142.66 c 533s | 19 | 598214 | 595382 | 23593 48 | 5 | 7 1144.45/1144.76 c 535s | 19 | 600533 | 597682 | 23593 49 | 5 | 7 1150.26/1150.58 c 541s | 19 | 601535 | 598682 | 23593 49 | 5 | 7 1152.36/1152.61 c 543s | 19 | 605442 | 602582 | 23593 49 | 5 | 7 1154.36/1154.64 c 545s | 19 | 609065 | 606182 | 23593 49 | 5 | 7 1156.36/1156.64 c 547s | 19 | 611968 | 609082 | 23593 49 | 5 | 7 1158.35/1158.66 c 549s | 19 | 614579 | 611682 | 23593 50 | 5 | 7 1160.45/1160.71 c 551s | 19 | 617691 | 614782 | 23593 50 | 5 | 7 1164.15/1164.42 c 555s | 19 | 619105 | 616182 | 23593 50 | 5 | 7 1166.15/1166.43 c 557s | 19 | 622614 | 619682 | 23593 50 | 5 | 7 1168.55/1168.90 c 560s | 19 | 625619 | 622682 | 23593 51 | 5 | 7 1170.65/1170.94 c 562s | 19 | 628831 | 625882 | 23593 51 | 5 | 7 1172.65/1172.99 c 564s | 19 | 631836 | 628882 | 23593 51 | 5 | 7 1174.75/1175.01 c 566s | 19 | 634147 | 631182 | 23593 51 | 5 | 7 1176.85/1177.12 c 568s | 19 | 636750 | 633782 | 23593 51 | 5 | 7 1178.84/1179.13 c 570s | 19 | 638862 | 635882 | 23593 52 | 5 | 7 1180.84/1181.15 c 572s | 19 | 641774 | 638782 | 23593 52 | 5 | 7 1183.24/1183.57 c 574s | 19 | 642978 | 639982 | 23593 52 | 5 | 7 1185.34/1185.63 c 576s | 19 | 646184 | 643182 | 23593 52 | 5 | 7 1187.34/1187.66 c 578s | 19 | 649513 | 646482 | 23593 52 | 5 | 7 1189.34/1189.66 c 580s | 19 | 653117 | 650082 | 23593 53 | 5 | 7 1191.34/1191.69 c 582s | 19 | 656235 | 653182 | 23593 53 | 5 | 7 1193.44/1193.71 c 584s | 19 | 659138 | 656082 | 23593 53 | 5 | 7 1195.44/1195.77 c 586s | 19 | 661557 | 658482 | 23593 53 | 5 | 7 1197.44/1197.79 c 588s | 19 | 663154 | 660082 | 23593 54 | 5 | 7 1202.94/1203.24 c 594s | 19 | 664768 | 661682 | 23593 54 | 5 | 7 1204.93/1205.29 c 596s | 19 | 668379 | 665282 | 23593 54 | 5 | 7 1206.13/1206.41 c 597s | 20 | 669935 | 666827 | 23593 54 | 5 | 7 1208.13/1208.41 c 599s | 20 | 673172 | 670027 | 23593 54 | 5 | 7 1210.63/1210.95 c 602s | 20 | 675488 | 672327 | 23593 55 | 5 | 7 1212.73/1213.00 c 604s | 20 | 679099 | 675927 | 23593 55 | 5 | 7 1214.73/1215.06 c 606s | 20 | 681804 | 678627 | 23593 55 | 5 | 7 1216.73/1217.08 c 608s | 20 | 684408 | 681227 | 23593 55 | 5 | 7 1227.34/1227.63 c 618s | 20 | 685118 | 681927 | 23593 55 | 5 | 7 1229.33/1229.64 c 620s | 20 | 688531 | 685327 | 23593 56 | 5 | 7 1231.33/1231.69 c 622s | 20 | 692335 | 689127 | 23593 56 | 5 | 7 1238.22/1238.58 c 629s | 20 | 692443 | 689227 | 23593 56 | 5 | 7 1240.32/1240.60 c 631s | 20 | 696149 | 692927 | 23593 56 | 5 | 7 1242.32/1242.62 c 633s | 20 | 699360 | 696127 | 23593 56 | 5 | 7 1244.32/1244.65 c 635s | 20 | 702875 | 699627 | 23593 57 | 5 | 7 1246.32/1246.69 c 637s | 20 | 706285 | 703027 | 23593 57 | 5 | 7 1248.63/1248.91 c 640s | 20 | 708808 | 705527 | 23593 57 | 5 | 7 1250.63/1250.92 c 642s | 20 | 711526 | 708227 | 23593 57 | 5 | 7 1252.64/1252.94 c 644s | 20 | 713628 | 710327 | 23593 58 | 5 | 7 1254.63/1254.96 c 646s | 20 | 717239 | 713927 | 23593 58 | 5 | 7 1264.52/1264.89 c 656s | 20 | 719757 | 716427 | 23593 58 | 5 | 7 1266.62/1266.95 c 658s | 20 | 722863 | 719527 | 23593 58 | 5 | 7 1268.72/1269.02 c 660s | 20 | 725478 | 722127 | 23593 59 | 5 | 7 1270.72/1271.03 c 662s | 20 | 728483 | 725127 | 23593 59 | 5 | 7 1272.72/1273.06 c 664s | 20 | 731484 | 728127 | 23593 59 | 5 | 7 1276.42/1276.73 c 667s | 20 | 732287 | 728927 | 23593 59 | 5 | 7 1278.42/1278.77 c 669s | 20 | 734899 | 731527 | 23593 59 | 5 | 7 1280.52/1280.81 c 672s | 20 | 737610 | 734227 | 23593 60 | 5 | 7 1282.52/1282.83 c 674s | 20 | 740922 | 737527 | 23593 60 | 5 | 7 1284.52/1284.86 c 676s | 20 | 744341 | 740927 | 23593 60 | 5 | 7 1286.62/1286.92 c 678s | 20 | 747144 | 743727 | 23593 60 | 5 | 7 1289.82/1290.19 c 681s | 20 | 749963 | 746527 | 23593 61 | 5 | 7 1297.61/1297.99 c 689s | 20 | 751472 | 748027 | 23593 61 | 5 | 7 1299.71/1300.03 c 691s | 20 | 755681 | 752227 | 23593 61 | 5 | 7 1301.71/1302.03 c 693s | 20 | 758889 | 755427 | 23593 61 | 5 | 7 1303.71/1304.08 c 695s | 20 | 761396 | 757927 | 25953 61 | 5 | 7 1305.81/1306.12 c 697s | 20 | 764014 | 760527 | 25953 61 | 5 | 7 1307.81/1308.16 c 699s | 20 | 765909 | 762427 | 25953 62 | 5 | 7 1309.82/1310.20 c 701s | 20 | 768523 | 765027 | 25953 62 | 5 | 7 1311.91/1312.24 c 703s | 20 | 770930 | 767427 | 25953 62 | 5 | 7 1317.00/1317.37 c 708s | 20 | 773252 | 769727 | 25953 62 | 5 | 7 1319.00/1319.37 c 710s | 20 | 776163 | 772627 | 25953 62 | 5 | 7 1321.50/1321.83 c 713s | 20 | 778668 | 775127 | 25953 63 | 5 | 7 1323.50/1323.85 c 715s | 20 | 781981 | 778427 | 25953 63 | 5 | 7 1325.50/1325.89 c 717s | 20 | 785097 | 781527 | 25953 63 | 5 | 7 1327.50/1327.90 c 719s | 20 | 787600 | 784027 | 25953 63 | 5 | 7 1329.50/1329.90 c 721s | 20 | 790210 | 786627 | 25953 63 | 5 | 7 1331.60/1331.97 c 723s | 20 | 792519 | 788927 | 25953 63 | 5 | 7 1333.80/1334.10 c 725s | 20 | 794637 | 791027 | 25953 64 | 5 | 7 1335.79/1336.15 c 727s | 20 | 796535 | 792927 | 25953 64 | 5 | 7 1337.89/1338.21 c 729s | 20 | 799047 | 795427 | 25953 64 | 5 | 7 1341.50/1341.83 c 733s | 20 | 802064 | 798427 | 25953 64 | 5 | 7 1343.50/1343.86 c 735s | 20 | 804967 | 801327 | 25953 64 | 5 | 7 1345.49/1345.89 c 737s | 20 | 807887 | 804227 | 25953 65 | 5 | 7 1358.09/1358.49 c 749s | 20 | 809503 | 805827 | 25953 65 | 5 | 7 1360.19/1360.52 c 751s | 20 | 813411 | 809727 | 25953 65 | 5 | 7 1362.19/1362.57 c 753s | 20 | 816725 | 813027 | 25953 65 | 5 | 7 1364.29/1364.63 c 755s | 20 | 819529 | 815827 | 25953 66 | 5 | 7 1366.29/1366.65 c 757s | 20 | 822349 | 818627 | 25953 66 | 5 | 7 1372.79/1373.14 c 764s | 20 | 825862 | 822127 | 25953 66 | 5 | 7 1374.79/1375.15 c 766s | 20 | 828775 | 825027 | 25953 66 | 5 | 7 1376.78/1377.20 c 768s | 20 | 831888 | 828127 | 25953 66 | 5 | 7 1378.98/1379.30 c 770s | 20 | 833899 | 830127 | 25953 67 | 5 | 7 1380.98/1381.33 c 772s | 20 | 837513 | 833727 | 25953 67 | 5 | 7 1382.98/1383.33 c 774s | 20 | 840826 | 837027 | 25953 67 | 5 | 7 1385.18/1385.51 c 776s | 20 | 843945 | 840127 | 25953 67 | 5 | 7 1387.38/1387.70 c 778s | 20 | 846740 | 842927 | 25953 68 | 5 | 7 1389.38/1389.75 c 780s | 20 | 849147 | 845327 | 25953 68 | 5 | 7 1391.38/1391.77 c 782s | 20 | 852758 | 848927 | 25953 68 | 5 | 7 1393.48/1393.81 c 785s | 20 | 855581 | 851727 | 25953 68 | 5 | 7 1395.47/1395.87 c 787s | 20 | 857386 | 853527 | 25953 68 | 5 | 7 1397.57/1397.92 c 789s | 20 | 860190 | 856327 | 25953 68 | 5 | 7 1399.57/1399.94 c 791s | 20 | 862707 | 858827 | 25953 69 | 5 | 7 1401.57/1401.98 c 793s | 20 | 866620 | 862727 | 25953 69 | 5 | 7 1403.57/1403.98 c 795s | 20 | 869630 | 865727 | 25953 69 | 5 | 7 1408.97/1409.35 c 800s | 20 | 871344 | 867427 | 25953 69 | 5 | 7 1410.97/1411.40 c 802s | 20 | 872042 | 868127 | 25953 69 | 5 | 7 1413.07/1413.41 c 804s | 20 | 874359 | 870427 | 25953 70 | 5 | 7 1415.06/1415.45 c 806s | 20 | 877569 | 873627 | 25953 70 | 5 | 7 1417.06/1417.46 c 808s | 20 | 880980 | 877027 | 25953 70 | 5 | 7 1419.07/1419.46 c 810s | 20 | 883996 | 880027 | 25953 70 | 5 | 7 1421.07/1421.47 c 812s | 20 | 886909 | 882927 | 25953 70 | 5 | 7 1423.08/1423.50 c 814s | 20 | 889419 | 885427 | 25953 71 | 5 | 7 1425.17/1425.53 c 816s | 20 | 892826 | 888827 | 25953 71 | 5 | 7 1427.17/1427.56 c 818s | 20 | 896034 | 892027 | 25953 71 | 5 | 7 1429.17/1429.56 c 820s | 20 | 898745 | 894727 | 25953 71 | 5 | 7 1431.17/1431.57 c 822s | 20 | 901456 | 897427 | 25953 71 | 5 | 7 1433.27/1433.60 c 824s | 20 | 904066 | 900027 | 25953 72 | 5 | 7 1439.07/1439.45 c 830s | 20 | 905167 | 901127 | 25953 72 | 5 | 7 1443.16/1443.54 c 834s | 20 | 908593 | 904527 | 25953 72 | 5 | 7 1445.26/1445.61 c 836s | 20 | 911906 | 907827 | 25953 72 | 5 | 7 1447.27/1447.65 c 838s | 20 | 914710 | 910627 | 25953 72 | 5 | 7 1449.26/1449.68 c 840s | 20 | 917425 | 913327 | 25953 73 | 5 | 7 1451.36/1451.72 c 842s | 20 | 919833 | 915727 | 25953 73 | 5 | 7 1453.36/1453.74 c 844s | 20 | 923648 | 919527 | 25953 73 | 5 | 7 1455.45/1455.80 c 846s | 20 | 926959 | 922827 | 25953 73 | 5 | 7 1458.55/1458.99 c 850s | 20 | 928673 | 924527 | 25953 74 | 5 | 7 1460.66/1461.02 c 852s | 20 | 932382 | 928227 | 25953 74 | 5 | 7 1462.66/1463.06 c 854s | 20 | 936104 | 931927 | 25953 74 | 5 | 7 1464.76/1465.11 c 856s | 20 | 939414 | 935227 | 25953 74 | 5 | 7 1466.76/1467.17 c 858s | 20 | 942324 | 938127 | 25953 74 | 5 | 7 1468.76/1469.17 c 860s | 20 | 945045 | 940827 | 25953 75 | 5 | 7 1470.86/1471.24 c 862s | 20 | 948163 | 943927 | 25953 75 | 5 | 7 1472.96/1473.30 c 864s | 20 | 951075 | 946827 | 25953 75 | 5 | 7 1477.95/1478.33 c 869s | 20 | 952493 | 948227 | 25953 75 | 5 | 7 1479.95/1480.33 c 871s | 20 | 955191 | 950927 | 25953 75 | 5 | 7 1489.34/1489.73 c 880s | 20 | 956701 | 952427 | 25953 76 | 5 | 7 1491.35/1491.75 c 882s | 20 | 961011 | 956727 | 25953 76 | 5 | 7 1493.34/1493.80 c 884s | 20 | 964420 | 960127 | 25953 76 | 5 | 7 1495.44/1495.88 c 887s | 20 | 967127 | 962827 | 25953 76 | 5 | 7 1497.64/1498.08 c 889s | 20 | 969642 | 965327 | 25953 77 | 5 | 7 1499.74/1500.11 c 891s | 20 | 971151 | 966827 | 25953 77 | 5 | 7 1501.74/1502.13 c 893s | 20 | 974663 | 970327 | 25953 77 | 5 | 7 1503.74/1504.14 c 895s | 20 | 978076 | 973727 | 25953 77 | 5 | 7 1505.74/1506.18 c 897s | 20 | 981283 | 976927 | 25953 77 | 5 | 7 1507.85/1508.22 c 899s | 20 | 983589 | 979227 | 25953 78 | 5 | 7 1509.84/1510.28 c 901s | 20 | 987199 | 982827 | 25953 78 | 5 | 7 1511.94/1512.32 c 903s | 20 | 990305 | 985927 | 25953 78 | 5 | 7 1513.94/1514.33 c 905s | 20 | 992908 | 988527 | 25953 78 | 5 | 7 1516.04/1516.47 c 907s | 20 | 994919 | 990527 | 25953 78 | 5 | 7 1518.24/1518.62 c 909s | 20 | 997034 | 992627 | 25953 79 | 5 | 7 1520.24/1520.67 c 911s | 20 | 1000648 | 996227 | 25953 79 | 5 | 7 1522.34/1522.71 c 913s | 20 | 1003756 | 999327 | 25953 79 | 5 | 7 1533.05/1533.44 c 924s | 21 | 1004787 | 1000345 | 25953 79 | 5 | 7 1536.84/1537.20 c 928s | 21 | 1006610 | 1002145 | 25953 79 | 5 | 7 1538.84/1539.23 c 930s | 21 | 1009716 | 1005245 | 25953 79 | 5 | 7 1540.85/1541.26 c 932s | 21 | 1011821 | 1007345 | 25953 80 | 5 | 7 1542.84/1543.29 c 934s | 21 | 1015544 | 1011045 | 25953 80 | 5 | 7 1544.94/1545.30 c 936s | 21 | 1017662 | 1013145 | 25953 80 | 5 | 7 1546.94/1547.36 c 938s | 21 | 1020668 | 1016145 | 25953 80 | 5 | 7 1548.94/1549.39 c 940s | 21 | 1023580 | 1019045 | 25953 80 | 5 | 7 1551.04/1551.40 c 942s | 21 | 1026594 | 1022045 | 25953 81 | 5 | 7 1553.04/1553.47 c 944s | 21 | 1030412 | 1025845 | 25953 81 | 5 | 7 1555.05/1555.47 c 946s | 21 | 1033527 | 1028945 | 25953 81 | 5 | 7 1560.64/1561.10 c 952s | 21 | 1034036 | 1029445 | 25953 81 | 5 | 7 1562.74/1563.14 c 954s | 21 | 1036639 | 1032045 | 25953 81 | 5 | 7 1564.74/1565.16 c 956s | 21 | 1038939 | 1034345 | 25953 82 | 5 | 7 1567.43/1567.80 c 958s | 21 | 1041458 | 1036845 | 25953 82 | 5 | 7 1569.44/1569.85 c 961s | 21 | 1045272 | 1040645 | 25953 82 | 5 | 7 1571.54/1571.91 c 963s | 21 | 1048278 | 1043645 | 25953 82 | 5 | 7 1573.53/1573.96 c 965s | 21 | 1051289 | 1046645 | 25953 82 | 5 | 7 1575.53/1575.98 c 967s | 21 | 1054113 | 1049445 | 25953 83 | 5 | 7 1577.63/1578.00 c 969s | 21 | 1057827 | 1053145 | 25953 83 | 5 | 7 1588.54/1588.98 c 980s | 21 | 1058538 | 1053845 | 25953 83 | 5 | 7 1590.54/1590.99 c 982s | 21 | 1061641 | 1056945 | 25953 83 | 5 | 7 1592.64/1593.03 c 984s | 21 | 1064562 | 1059845 | 25953 83 | 5 | 7 1594.64/1595.08 c 986s | 21 | 1066873 | 1062145 | 25953 84 | 5 | 7 1596.63/1597.09 c 988s | 21 | 1069680 | 1064945 | 25953 84 | 5 | 7 1598.73/1599.13 c 990s | 21 | 1073092 | 1068345 | 25953 84 | 5 | 7 1600.73/1601.16 c 992s | 21 | 1075910 | 1071145 | 25953 84 | 5 | 7 1602.73/1603.17 c 994s | 21 | 1078419 | 1073645 | 25953 84 | 5 | 7 1604.73/1605.19 c 996s | 21 | 1080530 | 1075745 | 25953 85 | 5 | 7 1608.13/1608.55 c 999s | 21 | 1081736 | 1076945 | 25953 85 | 5 | 7 1610.14/1610.57 c 1001s | 21 | 1084939 | 1080145 | 25953 85 | 5 | 7 1612.13/1612.58 c 1003s | 21 | 1087650 | 1082845 | 25953 85 | 5 | 7 1614.23/1614.63 c 1005s | 21 | 1090059 | 1085245 | 25953 85 | 5 | 7 1616.23/1616.66 c 1007s | 21 | 1091973 | 1087145 | 25953 86 | 5 | 7 1621.04/1621.47 c 1012s | 21 | 1092679 | 1087845 | 25953 86 | 5 | 7 1630.83/1631.29 c 1022s | 21 | 1094385 | 1089545 | 25953 86 | 5 | 7 1632.83/1633.30 c 1024s | 21 | 1098599 | 1093745 | 25953 86 | 5 | 7 1634.93/1635.34 c 1026s | 21 | 1101913 | 1097045 | 25953 86 | 5 | 7 1636.93/1637.35 c 1028s | 21 | 1104923 | 1100045 | 25953 86 | 5 | 7 1639.03/1639.40 c 1030s | 21 | 1107424 | 1102545 | 25953 87 | 5 | 7 1641.03/1641.42 c 1032s | 21 | 1110428 | 1105545 | 25953 87 | 5 | 7 1643.03/1643.42 c 1034s | 21 | 1113439 | 1108545 | 25953 87 | 5 | 7 1645.03/1645.47 c 1036s | 21 | 1116045 | 1111145 | 25953 87 | 5 | 7 1647.12/1647.50 c 1038s | 21 | 1118361 | 1113445 | 25953 87 | 5 | 7 1649.12/1649.53 c 1040s | 21 | 1121267 | 1116345 | 25953 88 | 5 | 7 1651.12/1651.56 c 1042s | 21 | 1124476 | 1119545 | 25953 88 | 5 | 7 1661.02/1661.41 c 1052s | 21 | 1125885 | 1120945 | 25953 88 | 5 | 7 1663.02/1663.47 c 1054s | 21 | 1128901 | 1123945 | 25953 88 | 5 | 7 1665.03/1665.49 c 1056s | 21 | 1131718 | 1126745 | 25953 88 | 5 | 7 1667.23/1667.68 c 1058s | 21 | 1133624 | 1128645 | 25953 89 | 5 | 7 1669.32/1669.73 c 1060s | 21 | 1136330 | 1131345 | 25953 89 | 5 | 7 1673.02/1673.46 c 1064s | 21 | 1139041 | 1134045 | 25953 89 | 5 | 7 1675.12/1675.52 c 1066s | 21 | 1142251 | 1137245 | 25953 89 | 5 | 7 1684.62/1685.09 c 1076s | 21 | 1143260 | 1138245 | 25953 89 | 5 | 7 1686.62/1687.09 c 1078s | 21 | 1146473 | 1141445 | 25953 89 | 5 | 7 1688.72/1689.16 c 1080s | 21 | 1149379 | 1144345 | 25953 90 | 5 | 7 1690.72/1691.19 c 1082s | 21 | 1152704 | 1147645 | 25953 90 | 5 | 7 1692.82/1693.23 c 1084s | 21 | 1155216 | 1150145 | 25953 90 | 5 | 7 1696.22/1696.61 c 1087s | 21 | 1156727 | 1151645 | 25953 90 | 5 | 7 1698.21/1698.67 c 1089s | 21 | 1159833 | 1154745 | 25953 90 | 5 | 7 1700.32/1700.71 c 1091s | 21 | 1163040 | 1157945 | 25953 91 | 5 | 7 1702.31/1702.74 c 1093s | 21 | 1166451 | 1161345 | 25953 91 | 5 | 7 1704.31/1704.77 c 1095s | 21 | 1169564 | 1164445 | 25953 91 | 5 | 7 1706.41/1706.82 c 1098s | 21 | 1172569 | 1167445 | 25953 91 | 5 | 7 1708.41/1708.84 c 1100s | 21 | 1174579 | 1169445 | 25953 92 | 5 | 7 1710.51/1710.90 c 1102s | 21 | 1177887 | 1172745 | 25953 92 | 5 | 7 1712.71/1713.19 c 1104s | 21 | 1180503 | 1175345 | 25953 92 | 5 | 7 1714.81/1715.21 c 1106s | 21 | 1183718 | 1178545 | 25953 92 | 5 | 7 1716.82/1717.26 c 1108s | 21 | 1186325 | 1181145 | 25953 92 | 5 | 7 1719.21/1719.68 c 1110s | 21 | 1187924 | 1182745 | 25953 93 | 5 | 7 1721.31/1721.74 c 1112s | 21 | 1191140 | 1185945 | 25953 93 | 5 | 7 1729.81/1730.26 c 1121s | 21 | 1191444 | 1186245 | 25953 93 | 5 | 7 1731.91/1732.31 c 1123s | 21 | 1195062 | 1189845 | 25953 93 | 5 | 7 1733.91/1734.39 c 1125s | 21 | 1197972 | 1192745 | 25953 93 | 5 | 7 1736.01/1736.47 c 1127s | 21 | 1200582 | 1195345 | 25953 93 | 5 | 7 1738.11/1738.52 c 1129s | 21 | 1202290 | 1197045 | 25953 94 | 5 | 7 1743.12/1743.52 c 1134s | 21 | 1204004 | 1198745 | 25953 94 | 5 | 7 1745.11/1745.54 c 1136s | 21 | 1207417 | 1202145 | 25953 94 | 5 | 7 1753.12/1753.55 c 1144s | 21 | 1209423 | 1204145 | 25953 94 | 5 | 7 1755.11/1755.59 c 1146s | 21 | 1213135 | 1207845 | 25953 94 | 5 | 7 1757.21/1757.63 c 1148s | 21 | 1215941 | 1210645 | 25953 95 | 5 | 7 1759.21/1759.67 c 1150s | 21 | 1218254 | 1212945 | 25953 95 | 5 | 7 1761.31/1761.71 c 1152s | 21 | 1221569 | 1216245 | 25953 95 | 5 | 7 1763.30/1763.75 c 1154s | 21 | 1225075 | 1219745 | 25953 95 | 5 | 7 1765.40/1765.83 c 1157s | 21 | 1227893 | 1222545 | 25953 95 | 5 | 7 1767.70/1768.16 c 1159s | 21 | 1229290 | 1223945 | 25953 96 | 5 | 7 1769.70/1770.16 c 1161s | 21 | 1231500 | 1226145 | 25953 96 | 5 | 7 1771.71/1772.20 c 1163s | 21 | 1235113 | 1229745 | 25953 96 | 5 | 7 1776.91/1777.38 c 1168s | 21 | 1237831 | 1232445 | 25953 96 | 5 | 7 1779.01/1779.42 c 1170s | 21 | 1240644 | 1235245 | 25953 96 | 5 | 7 1782.30/1782.74 c 1173s | 21 | 1242842 | 1237445 | 25953 97 | 5 | 7 1784.30/1784.79 c 1175s | 21 | 1245956 | 1240545 | 25953 97 | 5 | 7 1786.30/1786.80 c 1177s | 21 | 1249073 | 1243645 | 25953 97 | 5 | 7 1788.40/1788.80 c 1180s | 21 | 1251783 | 1246345 | 25953 97 | 5 | 7 1794.30/1794.70 c 1185s | 21 | 1252184 | 1246745 | 25953 97 | 5 | 7 1796.30/1796.72 c 1187s | 21 | 1254388 | 1248945 | 25953 97 | 5 | 7 1798.80/1799.28 c 1190s | 21 | 1256300 | 1250845 | 25953 98 | 5 | 7
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-4119816-1467278447/watcher-4119816-1467278447 -o /tmp/evaluation-result-4119816-1467278447/solver-4119816-1467278447 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467270914-16869 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119816-1467278447.opb pid=17962 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.07 2.03 2.01 3/180 17965 /proc/meminfo: memFree=27793780/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=721340 CPUtime=0 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 2690 0 0 0 0 0 0 0 20 0 4 0 8740835 738652160 3051 33554432000 4194304 16246674 140735842736672 140735842736096 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 181103 3061 441 2943 0 177997 0 [pid=17965/tid=17966] ppid=17962 vsize=738748 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 756477952 3120 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=743868 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 761720832 3139 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=747964 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 765915136 3156 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100164 s] /proc/loadavg: 2.07 2.03 2.01 3/180 17965 /proc/meminfo: memFree=27793780/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 29083 0 0 0 5 4 0 0 20 0 4 0 8740835 1333334016 29382 33554432000 4194304 16246674 140735842736672 140735842735984 6837348 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 325521 29397 808 2943 0 322415 0 [pid=17965/tid=17966] ppid=17962 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1333334016 29408 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1333334016 29419 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1333334016 29430 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.2005 s] /proc/loadavg: 2.07 2.03 2.01 3/180 17965 /proc/meminfo: memFree=27793780/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1305156 CPUtime=0.19 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 45465 0 0 0 13 6 0 0 20 0 4 0 8740835 1336479744 45764 33554432000 4194304 16246674 140735842736672 140735842735984 4224759 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 326289 45769 861 2943 0 323183 0 [pid=17965/tid=17966] ppid=17962 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1336479744 45771 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1336479744 45774 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1336479744 45777 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1305156 [startup+0.300478 s] /proc/loadavg: 2.07 2.03 2.01 3/180 17965 /proc/meminfo: memFree=27793780/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1312324 CPUtime=0.28 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 47461 0 0 0 22 6 0 0 20 0 4 0 8740835 1343819776 47760 33554432000 4194304 16246674 140735842736672 140735842735984 13192855 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 328081 47760 912 2943 0 324975 0 [pid=17965/tid=17966] ppid=17962 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1343819776 47760 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1343819776 47760 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1343819776 47760 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1312324 [startup+0.700406 s] /proc/loadavg: 2.07 2.03 2.01 3/180 17965 /proc/meminfo: memFree=27793780/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1312324 CPUtime=0.69 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 97246 0 0 0 56 13 0 0 20 0 4 0 8740835 1343819776 97545 33554432000 4194304 16246674 140735842736672 140735842719664 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 328081 97552 912 2943 0 324975 0 [pid=17965/tid=17966] ppid=17962 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1343819776 97561 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1343819776 97570 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1343819776 97581 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1312324 [startup+1.50042 s] /proc/loadavg: 2.07 2.03 2.01 3/184 17969 /proc/meminfo: memFree=27386576/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1312324 CPUtime=1.49 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 101848 0 0 0 136 13 0 0 20 0 4 0 8740835 1343819776 102147 33554432000 4194304 16246674 140735842736672 140735842719664 5717608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 328081 102147 916 2943 0 324975 0 [pid=17965/tid=17966] ppid=17962 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1343819776 102147 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1343819776 102147 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1343819776 102147 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1312324 [startup+3.10042 s] /proc/loadavg: 2.07 2.03 2.01 3/184 17969 /proc/meminfo: memFree=26966712/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1312324 CPUtime=3.08 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 269286 0 0 0 273 35 0 0 20 0 4 0 8740835 1343819776 269585 33554432000 4194304 16246674 140735842736672 140735842718592 5598428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 328081 269585 916 2943 0 324975 0 [pid=17965/tid=17966] ppid=17962 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1343819776 269585 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1343819776 269585 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1343819776 269585 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1312324 [startup+6.30042 s] /proc/loadavg: 2.07 2.03 2.01 3/184 17969 /proc/meminfo: memFree=26716484/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1312324 CPUtime=6.28 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 269289 0 0 0 593 35 0 0 20 0 4 0 8740835 1343819776 269588 33554432000 4194304 16246674 140735842736672 140735842718592 5754966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 328081 269588 919 2943 0 324975 0 [pid=17965/tid=17966] ppid=17962 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1343819776 269588 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1343819776 269588 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1343819776 269588 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1312324 [startup+12.7004 s] /proc/loadavg: 2.06 2.03 2.01 3/184 17969 /proc/meminfo: memFree=26709820/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1319492 CPUtime=12.68 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 270898 0 0 0 1233 35 0 0 20 0 4 0 8740835 1351159808 271197 33554432000 4194304 16246674 140735842736672 140735842718592 12466640 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 329873 271197 919 2943 0 326767 0 [pid=17965/tid=17966] ppid=17962 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1351159808 271197 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1351159808 271197 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1351159808 271197 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1319492 [startup+25.5005 s] /proc/loadavg: 2.05 2.02 2.00 3/183 17969 /proc/meminfo: memFree=26684472/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1344068 CPUtime=25.48 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 277225 0 0 0 2512 36 0 0 20 0 4 0 8740835 1376325632 277524 33554432000 4194304 16246674 140735842736672 140735842718592 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 336017 277524 919 2943 0 332911 0 [pid=17965/tid=17966] ppid=17962 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1376325632 277524 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1376325632 277524 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1376325632 277524 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1344068 [startup+51.1005 s] /proc/loadavg: 2.03 2.02 2.00 3/183 17969 /proc/meminfo: memFree=26684812/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1344068 CPUtime=51.08 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 277225 0 0 0 5071 37 0 0 20 0 4 0 8740835 1376325632 277524 33554432000 4194304 16246674 140735842736672 140735842718592 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 336017 277524 919 2943 0 332911 0 [pid=17965/tid=17966] ppid=17962 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1376325632 277524 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1376325632 277524 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1376325632 277524 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1344068 [startup+102.301 s] /proc/loadavg: 2.01 2.02 2.00 3/183 17970 /proc/meminfo: memFree=26684232/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1344068 CPUtime=102.28 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 277225 0 0 0 10189 39 0 0 20 0 4 0 8740835 1376325632 277524 33554432000 4194304 16246674 140735842736672 140735842718592 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 336017 277524 919 2943 0 332911 0 [pid=17965/tid=17966] ppid=17962 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1376325632 277524 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1376325632 277524 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1376325632 277524 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1344068 ################ # More data... # ################ /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294421 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 1410628 [startup+1302.3 s] /proc/loadavg: 2.13 2.09 2.03 3/183 18000 /proc/meminfo: memFree=26614304/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1410628 CPUtime=1302.01 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 294023 0 0 0 130118 83 0 0 20 0 4 0 8740835 1444483072 294421 33554432000 4194304 16246674 140735842736672 140735842718592 5822671 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 352657 294421 920 2943 0 349551 0 [pid=17965/tid=17966] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294421 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294421 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294421 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 1410628 [startup+1362.3 s] /proc/loadavg: 2.14 2.10 2.03 3/183 18001 /proc/meminfo: memFree=26613832/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1410628 CPUtime=1361.99 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 294043 0 0 0 136114 85 0 0 20 0 4 0 8740835 1444483072 294421 33554432000 4194304 16246674 140735842736672 140735842719672 5673995 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 352657 294421 920 2943 0 349551 0 [pid=17965/tid=17966] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294421 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294421 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294421 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 1410628 [startup+1422.3 s] /proc/loadavg: 2.05 2.08 2.02 3/183 18003 /proc/meminfo: memFree=26613856/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1410628 CPUtime=1421.98 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 294066 0 0 0 142110 88 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140735842718592 6021123 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 352657 294430 920 2943 0 349551 0 [pid=17965/tid=17966] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 1410628 [startup+1482.3 s] /proc/loadavg: 2.02 2.06 2.02 3/183 18004 /proc/meminfo: memFree=26613916/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1410628 CPUtime=1481.94 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 294080 0 0 0 148104 90 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140735842734528 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 352657 294430 920 2943 0 349551 0 [pid=17965/tid=17966] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1410628 [startup+1542.31 s] /proc/loadavg: 2.04 2.06 2.02 3/183 18005 /proc/meminfo: memFree=26613668/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1410628 CPUtime=1541.95 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 294080 0 0 0 154102 93 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140735842718592 13191988 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 352657 294430 920 2943 0 349551 0 [pid=17965/tid=17966] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 1410628 [startup+1602.3 s] /proc/loadavg: 2.01 2.05 2.01 3/183 18006 /proc/meminfo: memFree=26613916/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1410628 CPUtime=1601.93 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 294080 0 0 0 160097 96 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140735842719672 5823520 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 352657 294430 920 2943 0 349551 0 [pid=17965/tid=17966] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 1410628 [startup+1662.3 s] /proc/loadavg: 1.75 1.99 1.99 2/173 18038 /proc/meminfo: memFree=27784956/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1410628 CPUtime=1661.92 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 294080 0 0 0 166093 99 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140735842735848 5828829 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 352657 294430 920 2943 0 349551 0 [pid=17965/tid=17966] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1410628 [startup+1722.3 s] /proc/loadavg: 1.27 1.81 1.93 2/173 18040 /proc/meminfo: memFree=27785700/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1410628 CPUtime=1721.91 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 294080 0 0 0 172091 100 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140735842718592 4220480 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 352657 294430 920 2943 0 349551 0 [pid=17965/tid=17966] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 1410628 [startup+1782.3 s] /proc/loadavg: 1.10 1.66 1.87 2/174 18044 /proc/meminfo: memFree=27785828/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1410628 CPUtime=1781.91 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 294080 0 0 0 178087 104 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140735842735848 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 352657 294430 920 2943 0 349551 0 [pid=17965/tid=17966] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1410628 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.07 1.61 1.85 2/174 18044 /proc/meminfo: memFree=27785828/32872528 swapFree=7620/7620 [pid=17965] ppid=17962 vsize=1410628 CPUtime=1800 cores=1,3,5,7 /proc/17965/stat : 17965 (toysat) R 17962 17965 16554 0 -1 4202496 294080 0 0 0 179895 105 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140735842735848 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17965/statm: 352657 294430 920 2943 0 349551 0 [pid=17965/tid=17966] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17966/stat : 17966 (toysat) S 17962 17965 16554 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564744875248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=17965/tid=17967] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17967/stat : 17967 (toysat) S 17962 17965 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564734385392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17965/tid=17968] ppid=17962 vsize=1410628 CPUtime=0 cores=1,3,5,7 /proc/17965/task/17968/stat : 17968 (toysat) S 17962 17965 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8740835 1444483072 294430 33554432000 4194304 16246674 140735842736672 140564615916720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1410628 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 17965 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.02 CPU user time (s): 1798.96 CPU system time (s): 1.05584 CPU usage (%): 99.9782 Max. virtual memory (cumulated for all children) (KiB): 1410628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.96 system time used= 1.05584 maximum resident set size= 1177720 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 294080 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= 230 involuntary context switches= 1841 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.96209 second user time and 8.40472 second system time The end
Begin job on node106 at 2016-06-30 11:20:47 IDJOB=4119816 IDBENCH=111809 IDSOLVER=2542 FILE ID=node106/4119816-1467278447 RUNJOBID= node106-1467270914-16869 PBS_JOBID= 20004487 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119816-1467278447/watcher-4119816-1467278447 -o /tmp/evaluation-result-4119816-1467278447/solver-4119816-1467278447 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467270914-16869 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119816-1467278447.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 03e4654091c3b4f8fc0f424cad1d26d5 RANDOM SEED=992085073 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.99 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 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: 27793788 kB Buffers: 68336 kB Cached: 3068948 kB SwapCached: 0 kB Active: 3455804 kB Inactive: 858464 kB Active(anon): 1163576 kB Inactive(anon): 15776 kB Active(file): 2292228 kB Inactive(file): 842688 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 16704 kB Writeback: 0 kB AnonPages: 1184528 kB Mapped: 18852 kB Shmem: 204 kB Slab: 625576 kB SReclaimable: 68840 kB SUnreclaim: 556736 kB KernelStack: 1528 kB PageTables: 6292 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1318560 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 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= 71732 MiB End job on node106 at 2016-06-30 11:50:48