Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.01 | 1800.51 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-3_wcsp.wbo |
| MD5SUM | 531d8636127ef9c1ca088d2ef0ec4c38 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 11 |
| Best CPU time to get the best result obtained on this benchmark | 1.59676 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 90 |
| Total number of constraints | 273 |
| Number of soft constraints | 243 |
| Number of constraints which are clauses | 243 |
| Number of constraints which are cardinality constraints (but not clauses) | 30 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 3 |
| Top cost | 82 |
| Min constraint cost | 1 |
| Max constraint cost | 1 |
| Sum of constraints costs | 243 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 4 |
| Number of bits of the biggest sum of numbers | 3 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-16T23:10:06+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","--wbo","--search=bcd2","HOME/instance-4093496-1466111406.wbo"] 0.00/0.01 c use --random-gen="3075526365 3080727595 1594407286 1590414697 2914446523 375351671 2015681117 2623211988 2992430931 256437705 1954329979 1823405951 2756385314 3043819726 4262384395 1348272642 3698272071 1843530545 3145137960 145392699 4145024928 3897206715 2838457933 41719768 1432702937 1348844457 1140147136 3653161705 3494610756 557407759 4236234767 943207685 1672287823 3934875215 2895131842 3063752859 2034946519 1196738437 4220759495 3681426094 1580160269 3916160355 2769238576 3742482195 126185744 3594486169 270825936 4203114325 1616091837 193699069 3818155562 301957400 1401322733 2182125091 1179394790 4200085617 1364153017 3635550205 3840402662 1585691362 2828108550 3338891047 2729551715 3273760727 2968423604 1335955401 2970875283 1510298013 3854962236 1873646026 1617674555 2662947491 3711460971 4095982648 1470989878 3510608583 3229427529 2535505998 493495190 825361007 3404544009 844451471 4151727197 3946687826 1139335349 2587251277 2698638672 1006879439 3005426580 400455741 1414529750 195237390 3288563651 277800232 3216087633 1863302700 2906688405 2764758006 1486527178 2620760884 1582193878 3757650429 631823135 1288054051 3010400244 1945872820 4005335773 421513866 2248759567 3622694047 3641824965 1785868418 3021424190 969445685 2627154264 626343155 3910566408 2148630226 1399918317 3164069636 994834114 3672191840 1825673304 2725569220 3332201642 299940780 44734617 912906035 2123360975 4017693249 3443453784 3038464593 4123561223 944633708 2851910535 269758773 4027707091 3954596188 442365558 3696980601 3387805933 1699950052 3067520988 635806562 388357769 1926025922 570450377 3086478467 4135000660 3745471631 273550673 1405578357 1880987963 1484611429 1947324944 332389739 147171381 3039150696 3620243026 2290484275 1387304909 3538030226 373382467 737578700 1497972215 3346072917 2167218073 3728000387 1853967836 2228855759 3197520762 1762261106 2116325221 3166550392 1527081069 3980339791 3261760009 3952746916 1223275084 3034923671 1978764977 73484269 190811573 406083416 2145670746 1582032178 3614118043 3494234309 3624816891 2109971629 1319701916 585684849 3174983894 3921587619 1146385761 3280317621 3276513011 1962266261 1260279035 2485816397 1860137986 680092626 4023967980 3466216656 3863424732 1848109603 3700608111 2716820227 3642570043 3282880949 315925930 943421440 3482402192 3131980690 886319892 1312792260 298457171 1418582913 2774083599 1638475383 1917673596 2958365147 815882826 584755043 1939843314 1789888972 1342491948 1371663222 806214374 3341705939 1404639204 332220932 1691353107 3447268659 1563191487 902368752 2952796504 955008538 3009168000 1149401420 3833830898 430323462 1714843449 4187479464 513571024 1398708506 1341517281 1203385863 1192318339 501636812 2412206207 911471122 466992861 800621465 134421960 3852787314 255 362436" option to reproduce the execution 1.39/1.41 c #vars 90 1.39/1.41 c #constraints 273 1.39/1.42 c BCD2: Hardening is enabled. 1.39/1.42 c BCD2: BiasedSearch is enabled. 1.39/1.42 c Solving starts ... 1.39/1.42 c ============================[ Search Statistics ]============================ 1.39/1.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.42 c | | | | Limit GC | Var | Constra 1.39/1.42 c ============================================================================= 1.39/1.42 c 0.0s | 0 | 0 | 0 | 212 0 | 0 | 0 1.39/1.42 c 0.0s | 0 | 621 | 22 | 212 0 | 0 | 0 1.39/1.42 c #cpu_time = 0.003s 1.39/1.42 c #wall_clock_time = 0.003s 1.39/1.42 c #decision = 621 1.39/1.42 c #random_decision = 4 1.39/1.42 c #conflict = 22 1.39/1.42 c #restart = 0 1.39/1.42 o 16 1.39/1.42 c BCD2: updating upper bound: 243 -> 15 1.39/1.42 c BCD2: 0 <= obj <= 15 1.39/1.42 c BCD2: #cores=0, #unrelaxed=243, #relaxed=0, #hardened=0 1.39/1.42 c BCD2: #sat=1 #unsat=1 bias=1/2 1.39/1.42 c Solving starts ... 1.39/1.42 c ============================[ Search Statistics ]============================ 1.39/1.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.42 c | | | | Limit GC | Var | Constra 1.39/1.42 c ============================================================================= 1.39/1.42 c 0.0s | 0 | 0 | 0 | 212 0 | 0 | 1 1.39/1.42 c 0.0s | 0 | 236 | 0 | 212 0 | 0 | 1 1.39/1.42 c #cpu_time = 0.001s 1.39/1.42 c #wall_clock_time = 0.001s 1.39/1.42 c #decision = 236 1.39/1.42 c #random_decision = 0 1.39/1.42 c #conflict = 0 1.39/1.42 c #restart = 0 1.39/1.42 c BCD2: found a new core of size 23: cost of the new core is >=1 1.39/1.42 c lower bound updated to 1 1.39/1.42 c BCD2: 1 <= obj <= 15 1.39/1.42 c BCD2: #cores=1, #unrelaxed=220, #relaxed=23, #hardened=0 1.39/1.42 c BCD2: #sat=1 #unsat=2 bias=2/3 1.39/1.43 c Solving starts ... 1.39/1.43 c ============================[ Search Statistics ]============================ 1.39/1.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.43 c | | | | Limit GC | Var | Constra 1.39/1.43 c ============================================================================= 1.39/1.43 c 0.0s | 0 | 0 | 0 | 212 0 | 0 | 1 1.39/1.43 c 0.0s | 0 | 220 | 0 | 212 0 | 0 | 1 1.39/1.43 c #cpu_time = 0.001s 1.39/1.43 c #wall_clock_time = 0.001s 1.39/1.43 c #decision = 220 1.39/1.43 c #random_decision = 0 1.39/1.43 c #conflict = 0 1.39/1.43 c #restart = 0 1.39/1.43 c BCD2: found a new core of size 18: cost of the new core is >=1 1.39/1.43 c lower bound updated to 2 1.39/1.43 c BCD2: 2 <= obj <= 15 1.39/1.43 c BCD2: #cores=2, #unrelaxed=202, #relaxed=41, #hardened=0 1.39/1.43 c BCD2: #sat=1 #unsat=3 bias=3/4 1.39/1.43 c Solving starts ... 1.39/1.43 c ============================[ Search Statistics ]============================ 1.39/1.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.43 c | | | | Limit GC | Var | Constra 1.39/1.43 c ============================================================================= 1.39/1.43 c 0.0s | 0 | 0 | 0 | 212 0 | 0 | 1 1.39/1.43 c 0.0s | 0 | 249 | 9 | 212 0 | 0 | 1 1.39/1.43 c #cpu_time = 0.001s 1.39/1.43 c #wall_clock_time = 0.001s 1.39/1.43 c #decision = 249 1.39/1.43 c #random_decision = 0 1.39/1.43 c #conflict = 9 1.39/1.43 c #restart = 0 1.39/1.43 c BCD2: found a new core of size 27: cost of the new core is >=1 1.39/1.43 c lower bound updated to 3 1.39/1.43 c BCD2: 3 <= obj <= 15 1.39/1.43 c BCD2: #cores=3, #unrelaxed=175, #relaxed=68, #hardened=0 1.39/1.43 c BCD2: #sat=1 #unsat=4 bias=4/5 1.39/1.43 c Solving starts ... 1.39/1.43 c ============================[ Search Statistics ]============================ 1.39/1.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.43 c | | | | Limit GC | Var | Constra 1.39/1.43 c ============================================================================= 1.39/1.43 c 0.0s | 0 | 0 | 0 | 212 0 | 0 | 1 1.39/1.43 c 0.0s | 0 | 296 | 14 | 212 0 | 0 | 1 1.39/1.43 c #cpu_time = 0.002s 1.39/1.43 c #wall_clock_time = 0.002s 1.39/1.43 c #decision = 296 1.39/1.43 c #random_decision = 0 1.39/1.43 c #conflict = 14 1.39/1.43 c #restart = 0 1.39/1.43 c BCD2: relaxing 28 and merging with 1 cores into a new core of size 46: cost of the new core is >=2 1.39/1.43 c lower bound updated to 4 1.39/1.43 c BCD2: 4 <= obj <= 15 1.39/1.43 c BCD2: #cores=3, #unrelaxed=147, #relaxed=96, #hardened=0 1.39/1.43 c BCD2: #sat=1 #unsat=5 bias=5/6 1.39/1.43 c Solving starts ... 1.39/1.43 c ============================[ Search Statistics ]============================ 1.39/1.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.43 c | | | | Limit GC | Var | Constra 1.39/1.43 c ============================================================================= 1.39/1.43 c 0.0s | 0 | 0 | 0 | 212 0 | 1 | 1 1.39/1.43 c 0.0s | 0 | 257 | 12 | 212 0 | 1 | 2 1.39/1.43 c #cpu_time = 0.002s 1.39/1.43 c #wall_clock_time = 0.002s 1.39/1.43 c #decision = 257 1.39/1.43 c #random_decision = 0 1.39/1.43 c #conflict = 12 1.39/1.43 c #restart = 0 1.39/1.43 c BCD2: found a new core of size 26: cost of the new core is >=1 1.39/1.43 c lower bound updated to 5 1.39/1.43 c BCD2: 5 <= obj <= 15 1.39/1.43 c BCD2: #cores=4, #unrelaxed=121, #relaxed=122, #hardened=0 1.39/1.43 c BCD2: #sat=1 #unsat=6 bias=6/7 1.39/1.43 c Solving starts ... 1.39/1.43 c ============================[ Search Statistics ]============================ 1.39/1.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.43 c | | | | Limit GC | Var | Constra 1.39/1.43 c ============================================================================= 1.39/1.43 c 0.0s | 0 | 0 | 0 | 212 0 | 1 | 2 1.39/1.43 c 0.0s | 0 | 214 | 17 | 212 0 | 1 | 2 1.39/1.43 c #cpu_time = 0.002s 1.39/1.43 c #wall_clock_time = 0.002s 1.39/1.43 c #decision = 214 1.39/1.43 c #random_decision = 0 1.39/1.44 c #conflict = 17 1.39/1.44 c #restart = 0 1.39/1.44 c BCD2: found a new core of size 28: cost of the new core is >=1 1.39/1.44 c lower bound updated to 6 1.39/1.44 c BCD2: 6 <= obj <= 15 1.39/1.44 c BCD2: #cores=5, #unrelaxed=93, #relaxed=150, #hardened=0 1.39/1.44 c BCD2: #sat=1 #unsat=7 bias=7/8 1.39/1.44 c Solving starts ... 1.39/1.44 c ============================[ Search Statistics ]============================ 1.39/1.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.44 c | | | | Limit GC | Var | Constra 1.39/1.44 c ============================================================================= 1.39/1.44 c 0.0s | 0 | 0 | 0 | 212 0 | 1 | 2 1.39/1.45 c 0.0s | 1 | 339 | 100 | 234 0 | 1 | 2 1.39/1.47 c 0.0s | 2 | 675 | 250 | 258 0 | 1 | 2 1.39/1.48 c 0.0s | 2 | 883 | 305 | 258 1 | 1 | 2 1.39/1.48 c #cpu_time = 0.041s 1.39/1.48 c #wall_clock_time = 0.041s 1.39/1.48 c #decision = 883 1.39/1.48 c #random_decision = 2 1.39/1.48 c #conflict = 305 1.39/1.48 c #restart = 2 1.39/1.48 c BCD2: relaxing 41 and merging with 3 cores into a new core of size 141: cost of the new core is >=5 1.39/1.48 c lower bound updated to 7 1.39/1.48 c BCD2: 7 <= obj <= 15 1.39/1.48 c BCD2: #cores=3, #unrelaxed=52, #relaxed=191, #hardened=0 1.39/1.48 c BCD2: #sat=1 #unsat=8 bias=8/9 1.39/1.48 c Solving starts ... 1.39/1.48 c ============================[ Search Statistics ]============================ 1.39/1.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.48 c | | | | Limit GC | Var | Constra 1.39/1.48 c ============================================================================= 1.39/1.48 c 0.0s | 0 | 0 | 0 | 258 0 | 4 | 2 1.39/1.50 c 0.0s | 1 | 304 | 100 | 284 0 | 4 | 5 1.49/1.50 c 0.0s | 1 | 452 | 110 | 284 0 | 4 | 5 1.49/1.50 c #cpu_time = 0.020s 1.49/1.50 c #wall_clock_time = 0.020s 1.49/1.50 c #decision = 452 1.49/1.50 c #random_decision = 2 1.49/1.50 c #conflict = 110 1.49/1.50 c #restart = 1 1.49/1.50 c BCD2: found a new core of size 24: cost of the new core is >=1 1.49/1.50 c lower bound updated to 8 1.49/1.50 c BCD2: 8 <= obj <= 15 1.49/1.50 c BCD2: #cores=4, #unrelaxed=28, #relaxed=215, #hardened=0 1.49/1.50 c BCD2: #sat=1 #unsat=9 bias=9/10 1.49/1.50 c Solving starts ... 1.49/1.50 c ============================[ Search Statistics ]============================ 1.49/1.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.50 c | | | | Limit GC | Var | Constra 1.49/1.50 c ============================================================================= 1.49/1.50 c 0.0s | 0 | 0 | 0 | 284 0 | 4 | 5 1.49/1.52 c 0.0s | 0 | 242 | 86 | 284 0 | 4 | 5 1.49/1.52 c #cpu_time = 0.017s 1.49/1.52 c #wall_clock_time = 0.018s 1.49/1.52 c #decision = 242 1.49/1.52 c #random_decision = 0 1.49/1.52 c #conflict = 86 1.49/1.52 c #restart = 0 1.49/1.52 o 13 1.49/1.52 c BCD2: updating upper bound: 15 -> 12 1.49/1.52 c BCD2: 8 <= obj <= 12 1.49/1.52 c BCD2: #cores=4, #unrelaxed=28, #relaxed=215, #hardened=0 1.49/1.52 c BCD2: #sat=2 #unsat=9 bias=9/11 1.49/1.52 c Solving starts ... 1.49/1.52 c ============================[ Search Statistics ]============================ 1.49/1.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.52 c | | | | Limit GC | Var | Constra 1.49/1.52 c ============================================================================= 1.49/1.52 c 0.0s | 0 | 0 | 0 | 284 0 | 4 | 6 1.49/1.54 c 0.0s | 1 | 275 | 100 | 284 0 | 4 | 6 1.49/1.57 c 0.1s | 2 | 694 | 250 | 313 1 | 4 | 6 1.59/1.61 c 0.1s | 3 | 1379 | 475 | 313 3 | 4 | 6 1.59/1.67 c 0.2s | 4 | 2390 | 813 | 345 4 | 4 | 6 1.69/1.76 c 0.2s | 5 | 3755 | 1320 | 345 7 | 4 | 6 1.88/1.91 c 0.4s | 6 | 5705 | 2081 | 380 10 | 4 | 6 2.09/2.11 c 0.6s | 7 | 8226 | 3223 | 419 15 | 4 | 6 2.39/2.41 c 0.9s | 8 | 12548 | 4936 | 461 22 | 4 | 6 2.69/2.76 c 1.2s | 9 | 18330 | 7506 | 508 32 | 4 | 6 3.19/3.26 c 1.7s | 10 | 27395 | 11361 | 559 46 | 4 | 6 3.99/4.01 c 2.5s | 11 | 41784 | 17144 | 615 64 | 4 | 6 4.99/5.08 c 3.6s | 12 | 64049 | 25819 | 677 90 | 4 | 6 6.69/6.78 c 5.3s | 13 | 96700 | 38832 | 745 126 | 4 | 6 8.68/8.79 c 7.3s | 13 | 132407 | 53432 | 745 163 | 4 | 6 9.38/9.46 c 7.9s | 14 | 144382 | 58352 | 820 175 | 4 | 6 11.38/11.47 c 9.9s | 14 | 177305 | 72552 | 820 208 | 4 | 6 13.38/13.45 c 11.9s | 15 | 214978 | 87632 | 903 243 | 4 | 6 15.39/15.45 c 13.9s | 15 | 252933 | 101432 | 903 272 | 4 | 6 17.38/17.46 c 15.9s | 15 | 293038 | 115832 | 903 302 | 4 | 6 19.38/19.48 c 18.0s | 15 | 335198 | 130432 | 994 333 | 4 | 6 19.58/19.63 c 18.1s | 16 | 338033 | 131552 | 994 335 | 4 | 6 21.58/21.65 c 20.1s | 16 | 382027 | 146252 | 994 364 | 4 | 6 23.58/23.65 c 22.1s | 16 | 422817 | 160652 | 994 392 | 4 | 6 25.58/25.65 c 24.1s | 16 | 469814 | 175252 | 994 420 | 4 | 6 27.59/27.67 c 26.1s | 16 | 516231 | 189652 | 994 448 | 4 | 6 28.69/28.73 c 27.2s | 17 | 543275 | 197432 | 1094 462 | 4 | 6 30.69/30.74 c 29.2s | 17 | 595111 | 211732 | 1094 487 | 4 | 6 32.69/32.74 c 31.2s | 17 | 644737 | 226032 | 1094 512 | 4 | 6 34.69/34.74 c 33.2s | 17 | 690791 | 240132 | 1094 537 | 4 | 6 36.69/36.75 c 35.2s | 17 | 738946 | 254232 | 1094 562 | 4 | 6 38.69/38.75 c 37.2s | 17 | 781427 | 268032 | 1094 586 | 4 | 6 40.69/40.76 c 39.2s | 17 | 822907 | 281732 | 1094 611 | 4 | 6 42.68/42.77 c 41.2s | 17 | 869691 | 295632 | 1204 635 | 4 | 6 42.78/42.85 c 41.3s | 18 | 872083 | 296252 | 1204 636 | 4 | 6 44.78/44.86 c 43.3s | 18 | 921896 | 310452 | 1204 659 | 4 | 6 46.78/46.86 c 45.3s | 18 | 968904 | 324052 | 1204 681 | 4 | 6 48.78/48.87 c 47.3s | 18 | 1009293 | 337252 | 1204 702 | 4 | 6 50.78/50.88 c 49.4s | 18 | 1055647 | 351352 | 1204 724 | 4 | 6 52.79/52.89 c 51.4s | 18 | 1106130 | 365252 | 1204 747 | 4 | 6 54.88/54.90 c 53.4s | 18 | 1159062 | 379452 | 1204 770 | 4 | 6 56.88/56.90 c 55.4s | 18 | 1206968 | 393452 | 1204 792 | 4 | 6 58.88/58.90 c 57.4s | 18 | 1257450 | 406952 | 1204 814 | 4 | 6 60.88/60.92 c 59.4s | 18 | 1305654 | 420352 | 1204 835 | 4 | 6 62.88/62.92 c 61.4s | 18 | 1357586 | 433852 | 1204 857 | 4 | 6 64.48/64.55 c 63.0s | 19 | 1391064 | 444482 | 1325 873 | 4 | 6 66.48/66.56 c 65.0s | 19 | 1436817 | 458282 | 1325 893 | 4 | 6 68.48/68.57 c 67.0s | 19 | 1482618 | 472182 | 1325 913 | 4 | 6 70.48/70.57 c 69.0s | 19 | 1532391 | 486182 | 1325 934 | 4 | 6 72.48/72.57 c 71.1s | 19 | 1578205 | 499782 | 1325 954 | 4 | 6 74.47/74.58 c 73.1s | 19 | 1621036 | 512982 | 1325 973 | 4 | 6 76.47/76.58 c 75.1s | 19 | 1669085 | 526082 | 1325 992 | 4 | 6 78.47/78.60 c 77.1s | 19 | 1709820 | 539882 | 1325 1013 | 4 | 6 80.57/80.60 c 79.1s | 19 | 1751931 | 553782 | 1325 1033 | 4 | 6 82.48/82.60 c 81.1s | 19 | 1795482 | 567382 | 1325 1053 | 4 | 6 84.57/84.61 c 83.1s | 19 | 1838437 | 580782 | 1325 1073 | 4 | 6 86.57/86.62 c 85.1s | 19 | 1893137 | 594182 | 1325 1092 | 4 | 6 88.57/88.63 c 87.1s | 19 | 1933590 | 606882 | 1325 1111 | 4 | 6 90.57/90.63 c 89.1s | 19 | 1973497 | 620082 | 1325 1130 | 4 | 6 92.57/92.64 c 91.1s | 19 | 2018477 | 633482 | 1325 1150 | 4 | 6 94.57/94.65 c 93.1s | 19 | 2065084 | 647082 | 1325 1170 | 4 | 6 96.57/96.66 c 95.1s | 19 | 2114739 | 660682 | 1325 1190 | 4 | 6 97.47/97.56 c 96.0s | 20 | 2135658 | 666827 | 1458 1198 | 4 | 6 99.47/99.56 c 98.0s | 20 | 2179508 | 680127 | 1458 1215 | 4 | 6 101.47/101.56 c 100s | 20 | 2221822 | 693427 | 1458 1233 | 4 | 6 103.47/103.58 c 102s | 20 | 2256774 | 706527 | 1458 1251 | 4 | 6 105.47/105.59 c 104s | 20 | 2289711 | 719527 | 1458 1268 | 4 | 6 107.57/107.60 c 106s | 20 | 2324953 | 733027 | 1458 1286 | 4 | 6 109.57/109.61 c 108s | 20 | 2358507 | 746527 | 1458 1304 | 4 | 6 111.57/111.62 c 110s | 20 | 2390449 | 760127 | 1458 1322 | 4 | 6 113.57/113.62 c 112s | 20 | 2423867 | 772727 | 1458 1339 | 4 | 6 115.58/115.63 c 114s | 20 | 2457256 | 786027 | 1458 1357 | 4 | 6 117.57/117.63 c 116s | 20 | 2491750 | 799227 | 1458 1374 | 4 | 6 119.57/119.63 c 118s | 20 | 2525438 | 813027 | 1458 1393 | 4 | 6 121.57/121.63 c 120s | 20 | 2556420 | 826527 | 1458 1411 | 4 | 6 123.57/123.64 c 122s | 20 | 2585605 | 839927 | 1458 1429 | 4 | 6 125.57/125.65 c 124s | 20 | 2618315 | 853727 | 1458 1447 | 4 | 6 127.58/127.66 c 126s | 20 | 2648875 | 866927 | 1458 1465 | 4 | 6 129.57/129.66 c 128s | 20 | 2681482 | 880727 | 1458 1483 | 4 | 6 131.57/131.66 c 130s | 20 | 2710454 | 893927 | 1458 1501 | 4 | 6 133.57/133.67 c 132s | 20 | 2737849 | 906527 | 1458 1518 | 4 | 6 135.57/135.68 c 134s | 20 | 2767073 | 919227 | 1458 1535 | 4 | 6 137.57/137.69 c 136s | 20 | 2796693 | 932227 | 1458 1552 | 4 | 6 139.56/139.70 c 138s | 20 | 2824932 | 944927 | 1458 1569 | 4 | 6 141.66/141.71 c 140s | 20 | 2851043 | 957627 | 1458 1586 | 4 | 6 143.66/143.71 c 142s | 20 | 2878967 | 970827 | 1458 1604 | 4 | 6 145.66/145.72 c 144s | 20 | 2907671 | 984427 | 1458 1622 | 4 | 6 147.66/147.72 c 146s | 20 | 2937138 | 998227 | 1604 1639 | 4 | 6 147.96/148.05 c 146s | 21 | 2941510 | 1000345 | 1604 1642 | 4 | 6 149.96/150.06 c 148s | 21 | 2976261 | 1013045 | 1604 1657 | 4 | 6 151.96/152.07 c 150s | 21 | 3008863 | 1025745 | 1604 1673 | 4 | 6 153.97/154.09 c 152s | 21 | 3041906 | 1039345 | 1604 1689 | 4 | 6 156.06/156.10 c 154s | 21 | 3071709 | 1052145 | 1604 1705 | 4 | 6 158.06/158.11 c 156s | 21 | 3104214 | 1065345 | 1604 1721 | 4 | 6 160.06/160.11 c 158s | 21 | 3137388 | 1078545 | 1604 1737 | 4 | 6 162.06/162.12 c 160s | 21 | 3167789 | 1091345 | 1604 1752 | 4 | 6 164.06/164.13 c 162s | 21 | 3201326 | 1104545 | 1604 1768 | 4 | 6 166.07/166.14 c 164s | 21 | 3235880 | 1118545 | 1604 1785 | 4 | 6 168.06/168.15 c 166s | 21 | 3272098 | 1132345 | 1604 1802 | 4 | 6 170.06/170.15 c 168s | 21 | 3307675 | 1146445 | 1604 1819 | 4 | 6 172.06/172.17 c 170s | 21 | 3341228 | 1160145 | 1604 1836 | 4 | 6 174.06/174.17 c 172s | 21 | 3373807 | 1173445 | 1604 1852 | 4 | 6 176.07/176.18 c 174s | 21 | 3404318 | 1186245 | 1604 1868 | 4 | 6 178.06/178.18 c 176s | 21 | 3437653 | 1199745 | 1604 1884 | 4 | 6 180.06/180.20 c 178s | 21 | 3472750 | 1213045 | 1604 1900 | 4 | 6 182.16/182.20 c 180s | 21 | 3505141 | 1226445 | 1604 1916 | 4 | 6 184.16/184.21 c 182s | 21 | 3538883 | 1239845 | 1604 1933 | 4 | 6 186.16/186.22 c 184s | 21 | 3575185 | 1253945 | 1604 1950 | 4 | 6 188.17/188.22 c 186s | 21 | 3611367 | 1267245 | 1604 1966 | 4 | 6 190.16/190.24 c 188s | 21 | 3644756 | 1280545 | 1604 1982 | 4 | 6 192.16/192.24 c 190s | 21 | 3677027 | 1293945 | 1604 1998 | 4 | 6 194.16/194.25 c 192s | 21 | 3709366 | 1306945 | 1604 2014 | 4 | 6 196.16/196.26 c 194s | 21 | 3740452 | 1319845 | 1604 2030 | 4 | 6 198.16/198.27 c 196s | 21 | 3772358 | 1332945 | 1604 2046 | 4 | 6 200.16/200.27 c 198s | 21 | 3803190 | 1345845 | 1604 2061 | 4 | 6 202.16/202.27 c 200s | 21 | 3835165 | 1359245 | 1604 2078 | 4 | 6 204.16/204.28 c 202s | 21 | 3868171 | 1372745 | 1604 2094 | 4 | 6 206.16/206.29 c 204s | 21 | 3900432 | 1386045 | 1604 2110 | 4 | 6 208.16/208.29 c 206s | 21 | 3932970 | 1399445 | 1604 2126 | 4 | 6 210.16/210.29 c 208s | 21 | 3966272 | 1412645 | 1604 2143 | 4 | 6 212.15/212.30 c 210s | 21 | 4000887 | 1426445 | 1604 2159 | 4 | 6 214.25/214.30 c 212s | 21 | 4037078 | 1440145 | 1604 2176 | 4 | 6 216.25/216.31 c 214s | 21 | 4072374 | 1453845 | 1604 2193 | 4 | 6 218.25/218.32 c 216s | 21 | 4104488 | 1467345 | 1604 2209 | 4 | 6 220.25/220.32 c 218s | 21 | 4135769 | 1480545 | 1604 2225 | 4 | 6 222.26/222.32 c 220s | 21 | 4168252 | 1493745 | 1765 2240 | 4 | 6 223.26/223.39 c 221s | 22 | 4185055 | 1500622 | 1765 2248 | 4 | 6 225.35/225.40 c 223s | 22 | 4220871 | 1513422 | 1765 2262 | 4 | 6 227.35/227.40 c 225s | 22 | 4253371 | 1526722 | 1765 2277 | 4 | 6 229.35/229.41 c 227s | 22 | 4286600 | 1540322 | 1765 2292 | 4 | 6 231.35/231.41 c 229s | 22 | 4316000 | 1553322 | 1765 2306 | 4 | 6 233.35/233.42 c 231s | 22 | 4345403 | 1566322 | 1765 2321 | 4 | 6 235.35/235.43 c 233s | 22 | 4374110 | 1579822 | 1765 2336 | 4 | 6 237.35/237.44 c 235s | 22 | 4404960 | 1593722 | 1765 2351 | 4 | 6 239.35/239.44 c 237s | 22 | 4434669 | 1608022 | 1765 2367 | 4 | 6 241.35/241.45 c 239s | 22 | 4464817 | 1621522 | 1765 2382 | 4 | 6 243.35/243.46 c 241s | 22 | 4494057 | 1634922 | 1765 2397 | 4 | 6 245.36/245.48 c 243s | 22 | 4523035 | 1647822 | 1765 2411 | 4 | 6 247.35/247.49 c 245s | 22 | 4552965 | 1661222 | 1765 2426 | 4 | 6 249.45/249.50 c 247s | 22 | 4585164 | 1674622 | 1765 2440 | 4 | 6 251.45/251.50 c 249s | 22 | 4617853 | 1688622 | 1765 2456 | 4 | 6 253.45/253.52 c 252s | 22 | 4648973 | 1701922 | 1765 2471 | 4 | 6 255.45/255.53 c 254s | 22 | 4679917 | 1715522 | 1765 2486 | 4 | 6 257.45/257.53 c 256s | 22 | 4711281 | 1729222 | 1765 2501 | 4 | 6 259.44/259.54 c 258s | 22 | 4743789 | 1743422 | 1765 2516 | 4 | 6 261.44/261.55 c 260s | 22 | 4775491 | 1757522 | 1765 2532 | 4 | 6 263.44/263.55 c 262s | 22 | 4806294 | 1771022 | 1765 2547 | 4 | 6 265.44/265.56 c 264s | 22 | 4836010 | 1783922 | 1765 2561 | 4 | 6 267.44/267.56 c 266s | 22 | 4865762 | 1796922 | 1765 2575 | 4 | 6 269.45/269.57 c 268s | 22 | 4895816 | 1810222 | 1765 2590 | 4 | 6 271.44/271.59 c 270s | 22 | 4925116 | 1822922 | 1765 2604 | 4 | 6 273.45/273.60 c 272s | 22 | 4954266 | 1836122 | 1765 2619 | 4 | 6 275.55/275.61 c 274s | 22 | 4985818 | 1849722 | 1765 2634 | 4 | 6 277.55/277.61 c 276s | 22 | 5016865 | 1863122 | 1765 2649 | 4 | 6 279.55/279.61 c 278s | 22 | 5047587 | 1876522 | 1765 2663 | 4 | 6 281.56/281.62 c 280s | 22 | 5078871 | 1890222 | 1765 2679 | 4 | 6 283.55/283.63 c 282s | 22 | 5108136 | 1903622 | 1765 2693 | 4 | 6 285.55/285.63 c 284s | 22 | 5139643 | 1916722 | 1765 2708 | 4 | 6 287.55/287.65 c 286s | 22 | 5170905 | 1930222 | 1765 2723 | 4 | 6 289.55/289.65 c 288s | 22 | 5200108 | 1943422 | 1765 2737 | 4 | 6 291.55/291.66 c 290s | 22 | 5230214 | 1956122 | 1765 2751 | 4 | 6 293.54/293.66 c 292s | 22 | 5259762 | 1968622 | 1765 2765 | 4 | 6 295.54/295.67 c 294s | 22 | 5292876 | 1982222 | 1765 2780 | 4 | 6 297.54/297.68 c 296s | 22 | 5325721 | 1995922 | 1765 2795 | 4 | 6 299.54/299.69 c 298s | 22 | 5355532 | 2009222 | 1765 2810 | 4 | 6 301.64/301.70 c 300s | 22 | 5386354 | 2022422 | 1765 2825 | 4 | 6 303.65/303.71 c 302s | 22 | 5417944 | 2036022 | 1765 2840 | 4 | 6 305.64/305.71 c 304s | 22 | 5451317 | 2049522 | 1765 2855 | 4 | 6 307.64/307.72 c 306s | 22 | 5481794 | 2062622 | 1765 2869 | 4 | 6 309.64/309.73 c 308s | 22 | 5511930 | 2075522 | 1765 2883 | 4 | 6 311.64/311.73 c 310s | 22 | 5540596 | 2088522 | 1765 2898 | 4 | 6 313.64/313.74 c 312s | 22 | 5570621 | 2101322 | 1765 2912 | 4 | 6 315.64/315.75 c 314s | 22 | 5595583 | 2113622 | 1765 2926 | 4 | 6 317.64/317.76 c 316s | 22 | 5617684 | 2124822 | 1765 2938 | 4 | 6 319.64/319.77 c 318s | 22 | 5640291 | 2135722 | 1765 2950 | 4 | 6 321.64/321.78 c 320s | 22 | 5662260 | 2146622 | 1765 2962 | 4 | 6 323.63/323.79 c 322s | 22 | 5683891 | 2157922 | 1765 2975 | 4 | 6 325.64/325.79 c 324s | 22 | 5709576 | 2169622 | 1765 2988 | 4 | 6 327.63/327.79 c 326s | 22 | 5733863 | 2181022 | 1765 3000 | 4 | 6 329.73/329.81 c 328s | 22 | 5758728 | 2192922 | 1765 3013 | 4 | 6 331.73/331.81 c 330s | 22 | 5787696 | 2204922 | 1765 3027 | 4 | 6 333.74/333.83 c 332s | 22 | 5815123 | 2216822 | 1765 3040 | 4 | 6 335.74/335.83 c 334s | 22 | 5841899 | 2228022 | 1765 3052 | 4 | 6 337.75/337.84 c 336s | 22 | 5870388 | 2240022 | 1942 3065 | 4 | 6 339.54/339.62 c 338s | 23 | 5897320 | 2251038 | 1942 3076 | 4 | 6 341.54/341.63 c 340s | 23 | 5930334 | 2263638 | 1942 3089 | 4 | 6 343.54/343.63 c 342s | 23 | 5962008 | 2275938 | 1942 3101 | 4 | 6 345.54/345.64 c 344s | 23 | 5995072 | 2288338 | 1942 3113 | 4 | 6 347.55/347.64 c 346s | 23 | 6024360 | 2301038 | 1942 3126 | 4 | 6 349.54/349.66 c 348s | 23 | 6053184 | 2313438 | 1942 3139 | 4 | 6 351.54/351.66 c 350s | 23 | 6086678 | 2326438 | 1942 3152 | 4 | 6 353.54/353.67 c 352s | 23 | 6118789 | 2338938 | 1942 3164 | 4 | 6 355.54/355.69 c 354s | 23 | 6148192 | 2351238 | 1942 3176 | 4 | 6 357.64/357.70 c 356s | 23 | 6179095 | 2363638 | 1942 3189 | 4 | 6 359.54/359.70 c 358s | 23 | 6210112 | 2376238 | 1942 3202 | 4 | 6 361.63/361.72 c 360s | 23 | 6237029 | 2387938 | 1942 3213 | 4 | 6 363.63/363.73 c 362s | 23 | 6265889 | 2400338 | 1942 3226 | 4 | 6 365.63/365.73 c 364s | 23 | 6296828 | 2413138 | 1942 3239 | 4 | 6 367.63/367.74 c 366s | 23 | 6325751 | 2425538 | 1942 3251 | 4 | 6 369.64/369.75 c 368s | 23 | 6353098 | 2437938 | 1942 3264 | 4 | 6 371.63/371.76 c 370s | 23 | 6381284 | 2450238 | 1942 3276 | 4 | 6 373.63/373.77 c 372s | 23 | 6406366 | 2461838 | 1942 3288 | 4 | 6 375.63/375.78 c 374s | 23 | 6434678 | 2474438 | 1942 3300 | 4 | 6 377.63/377.79 c 376s | 23 | 6464593 | 2487438 | 1942 3313 | 4 | 6 379.73/379.80 c 378s | 23 | 6497695 | 2500538 | 1942 3326 | 4 | 6 381.74/381.80 c 380s | 23 | 6528421 | 2513838 | 1942 3340 | 4 | 6 383.73/383.83 c 382s | 23 | 6556811 | 2527038 | 1942 3353 | 4 | 6 385.73/385.84 c 384s | 23 | 6584640 | 2538838 | 1942 3365 | 4 | 6 387.73/387.85 c 386s | 23 | 6612912 | 2551238 | 1942 3378 | 4 | 6 389.73/389.85 c 388s | 23 | 6641007 | 2563738 | 1942 3390 | 4 | 6 391.73/391.87 c 390s | 23 | 6669210 | 2576538 | 1942 3403 | 4 | 6 393.73/393.87 c 392s | 23 | 6699292 | 2588838 | 1942 3415 | 4 | 6 395.72/395.88 c 394s | 23 | 6728297 | 2601338 | 1942 3428 | 4 | 6 397.72/397.90 c 396s | 23 | 6758426 | 2614038 | 1942 3441 | 4 | 6 399.82/399.90 c 398s | 23 | 6790202 | 2626738 | 1942 3453 | 4 | 6 401.82/401.90 c 400s | 23 | 6823102 | 2639638 | 1942 3466 | 4 | 6 403.82/403.91 c 402s | 23 | 6850616 | 2651938 | 1942 3479 | 4 | 6 405.83/405.93 c 404s | 23 | 6882732 | 2665138 | 1942 3492 | 4 | 6 407.82/407.93 c 406s | 23 | 6917307 | 2678338 | 1942 3505 | 4 | 6 409.82/409.94 c 408s | 23 | 6951461 | 2691338 | 1942 3518 | 4 | 6 411.82/411.95 c 410s | 23 | 6980578 | 2703838 | 1942 3531 | 4 | 6 413.82/413.97 c 412s | 23 | 7011615 | 2717238 | 1942 3544 | 4 | 6 415.83/415.97 c 414s | 23 | 7041751 | 2729838 | 1942 3557 | 4 | 6 417.82/417.98 c 416s | 23 | 7070535 | 2742538 | 1942 3570 | 4 | 6 419.82/419.98 c 418s | 23 | 7097388 | 2754738 | 1942 3582 | 4 | 6 421.82/421.99 c 420s | 23 | 7124906 | 2767338 | 1942 3595 | 4 | 6 423.82/423.99 c 422s | 23 | 7152139 | 2779238 | 1942 3607 | 4 | 6 425.82/425.99 c 424s | 23 | 7183248 | 2792238 | 1942 3620 | 4 | 6 427.82/427.99 c 426s | 23 | 7211676 | 2805338 | 1942 3633 | 4 | 6 429.92/430.01 c 428s | 23 | 7242018 | 2818238 | 1942 3646 | 4 | 6 431.92/432.02 c 430s | 23 | 7271348 | 2831038 | 1942 3659 | 4 | 6 433.93/434.02 c 432s | 23 | 7301207 | 2843938 | 1942 3672 | 4 | 6 435.92/436.04 c 434s | 23 | 7331774 | 2856938 | 1942 3685 | 4 | 6 437.92/438.05 c 436s | 23 | 7360839 | 2869738 | 1942 3698 | 4 | 6 439.93/440.06 c 438s | 23 | 7390364 | 2882638 | 1942 3711 | 4 | 6 441.92/442.07 c 440s | 23 | 7418558 | 2894838 | 1942 3724 | 4 | 6 443.92/444.07 c 442s | 23 | 7445717 | 2906738 | 1942 3736 | 4 | 6 445.92/446.08 c 444s | 23 | 7478999 | 2919438 | 1942 3748 | 4 | 6 447.92/448.10 c 446s | 23 | 7513096 | 2932538 | 1942 3761 | 4 | 6 450.02/450.11 c 448s | 23 | 7547735 | 2945338 | 1942 3774 | 4 | 6 452.03/452.11 c 450s | 23 | 7579903 | 2958138 | 1942 3787 | 4 | 6 454.02/454.11 c 452s | 23 | 7609330 | 2970538 | 1942 3800 | 4 | 6 456.02/456.13 c 454s | 23 | 7642647 | 2983638 | 1942 3813 | 4 | 6 458.02/458.14 c 456s | 23 | 7675590 | 2996138 | 1942 3825 | 4 | 6 460.02/460.16 c 458s | 23 | 7707424 | 3008438 | 1942 3838 | 4 | 6 462.02/462.16 c 460s | 23 | 7738925 | 3020738 | 1942 3850 | 4 | 6 464.02/464.17 c 462s | 23 | 7773069 | 3033438 | 1942 3863 | 4 | 6 466.02/466.17 c 464s | 23 | 7806962 | 3046238 | 1942 3876 | 4 | 6 468.02/468.18 c 466s | 23 | 7842904 | 3059538 | 1942 3889 | 4 | 6 470.02/470.19 c 468s | 23 | 7881795 | 3073038 | 1942 3903 | 4 | 6 472.11/472.21 c 470s | 23 | 7918026 | 3086438 | 1942 3916 | 4 | 6 474.12/474.21 c 472s | 23 | 7955339 | 3099938 | 1942 3930 | 4 | 6 476.11/476.22 c 474s | 23 | 7992544 | 3113638 | 1942 3944 | 4 | 6 478.11/478.22 c 476s | 23 | 8026532 | 3126538 | 1942 3956 | 4 | 6 480.11/480.23 c 478s | 23 | 8061590 | 3139638 | 1942 3970 | 4 | 6 482.11/482.24 c 480s | 23 | 8094829 | 3152738 | 1942 3983 | 4 | 6 484.11/484.25 c 482s | 23 | 8131248 | 3166538 | 1942 3997 | 4 | 6 486.12/486.25 c 484s | 23 | 8165056 | 3179838 | 1942 4010 | 4 | 6 488.11/488.26 c 486s | 23 | 8204804 | 3192438 | 1942 4023 | 4 | 6 490.11/490.27 c 488s | 23 | 8239792 | 3204538 | 1942 4035 | 4 | 6 492.11/492.27 c 490s | 23 | 8276471 | 3217038 | 1942 4048 | 4 | 6 494.11/494.28 c 492s | 23 | 8314452 | 3229938 | 1942 4061 | 4 | 6 496.12/496.28 c 494s | 23 | 8352239 | 3242738 | 1942 4073 | 4 | 6 498.11/498.29 c 496s | 23 | 8392400 | 3256038 | 1942 4087 | 4 | 6 500.21/500.30 c 498s | 23 | 8430441 | 3269538 | 1942 4100 | 4 | 6 502.21/502.31 c 500s | 23 | 8467295 | 3282638 | 1942 4114 | 4 | 6 504.21/504.32 c 502s | 23 | 8500271 | 3294838 | 1942 4126 | 4 | 6 506.21/506.33 c 504s | 23 | 8533212 | 3307538 | 1942 4139 | 4 | 6 508.21/508.33 c 506s | 23 | 8572548 | 3320538 | 1942 4152 | 4 | 6 510.20/510.34 c 508s | 23 | 8606873 | 3332938 | 1942 4164 | 4 | 6 512.20/512.35 c 510s | 23 | 8640300 | 3345038 | 1942 4176 | 4 | 6 514.21/514.37 c 512s | 23 | 8670689 | 3356938 | 2137 4188 | 4 | 6 516.21/516.37 c 514s | 23 | 8699908 | 3368938 | 2137 4199 | 4 | 6 517.51/517.67 c 516s | 24 | 8719151 | 3376662 | 2137 4206 | 4 | 6 519.51/519.69 c 518s | 24 | 8754609 | 3389962 | 2137 4218 | 4 | 6 521.61/521.70 c 520s | 24 | 8785119 | 3401862 | 2137 4229 | 4 | 6 523.61/523.71 c 522s | 24 | 8816804 | 3414562 | 2137 4240 | 4 | 6 525.61/525.72 c 524s | 24 | 8848472 | 3427562 | 2137 4252 | 4 | 6 527.61/527.72 c 526s | 24 | 8876315 | 3439662 | 2137 4263 | 4 | 6 529.60/529.72 c 528s | 24 | 8907938 | 3452262 | 2137 4275 | 4 | 6 531.60/531.74 c 530s | 24 | 8943920 | 3465462 | 2137 4287 | 4 | 6 533.60/533.74 c 532s | 24 | 8976440 | 3478162 | 2137 4298 | 4 | 6 535.61/535.75 c 534s | 24 | 9009525 | 3490862 | 2137 4310 | 4 | 6 537.60/537.76 c 536s | 24 | 9043372 | 3504362 | 2137 4322 | 4 | 6 539.60/539.76 c 538s | 24 | 9075941 | 3517262 | 2137 4334 | 4 | 6 541.61/541.76 c 540s | 24 | 9109081 | 3529462 | 2137 4345 | 4 | 6 543.61/543.77 c 542s | 24 | 9142174 | 3542662 | 2137 4357 | 4 | 6 545.62/545.79 c 544s | 24 | 9175921 | 3556162 | 2137 4370 | 4 | 6 547.61/547.79 c 546s | 24 | 9206215 | 3568362 | 2137 4381 | 4 | 6 549.71/549.80 c 548s | 24 | 9238654 | 3581362 | 2137 4393 | 4 | 6 551.71/551.81 c 550s | 24 | 9272920 | 3594162 | 2137 4404 | 4 | 6 553.71/553.81 c 552s | 24 | 9305920 | 3607262 | 2137 4416 | 4 | 6 555.71/555.81 c 554s | 24 | 9338229 | 3620262 | 2137 4428 | 4 | 6 557.71/557.83 c 556s | 24 | 9368667 | 3632862 | 2137 4440 | 4 | 6 559.71/559.83 c 558s | 24 | 9401772 | 3645562 | 2137 4451 | 4 | 6 561.71/561.84 c 560s | 24 | 9432100 | 3658562 | 2137 4463 | 4 | 6 563.70/563.86 c 562s | 24 | 9459213 | 3670962 | 2137 4475 | 4 | 6 565.70/565.87 c 564s | 24 | 9493100 | 3683862 | 2137 4486 | 4 | 6 567.70/567.87 c 566s | 24 | 9525174 | 3696462 | 2137 4498 | 4 | 6 569.71/569.89 c 568s | 24 | 9557704 | 3709262 | 2137 4510 | 4 | 6 571.70/571.89 c 570s | 24 | 9585654 | 3721262 | 2137 4521 | 4 | 6 573.80/573.90 c 572s | 24 | 9614056 | 3733562 | 2137 4532 | 4 | 6 575.80/575.90 c 574s | 24 | 9642802 | 3745762 | 2137 4543 | 4 | 6 577.80/577.91 c 576s | 24 | 9670289 | 3758162 | 2137 4554 | 4 | 6 579.80/579.93 c 578s | 24 | 9699987 | 3770662 | 2137 4566 | 4 | 6 581.80/581.94 c 580s | 24 | 9727556 | 3782762 | 2137 4577 | 4 | 6 583.79/583.94 c 582s | 24 | 9752414 | 3794262 | 2137 4587 | 4 | 6 585.79/585.95 c 584s | 24 | 9777336 | 3806262 | 2137 4598 | 4 | 6 587.79/587.96 c 586s | 24 | 9804751 | 3818362 | 2137 4609 | 4 | 6 589.79/589.97 c 588s | 24 | 9830475 | 3830562 | 2137 4620 | 4 | 6 591.80/591.97 c 590s | 24 | 9856088 | 3841962 | 2137 4631 | 4 | 6 593.79/593.99 c 592s | 24 | 9884680 | 3853662 | 2137 4641 | 4 | 6 595.90/596.00 c 594s | 24 | 9910744 | 3865362 | 2137 4652 | 4 | 6 597.90/598.01 c 596s | 24 | 9937121 | 3877362 | 2137 4663 | 4 | 6 599.90/600.01 c 598s | 24 | 9964568 | 3889562 | 2137 4674 | 4 | 6 601.90/602.02 c 600s | 24 | 9991194 | 3901562 | 2137 4685 | 4 | 6 603.90/604.02 c 602s | 24 | 10017972 | 3913362 | 2137 4696 | 4 | 6 605.90/606.03 c 604s | 24 | 10048236 | 3925162 | 2137 4707 | 4 | 6 607.90/608.04 c 606s | 24 | 10074787 | 3936562 | 2137 4717 | 4 | 6 609.90/610.04 c 608s | 24 | 10102400 | 3948462 | 2137 4728 | 4 | 6 611.90/612.04 c 610s | 24 | 10128597 | 3960162 | 2137 4739 | 4 | 6 613.89/614.05 c 612s | 24 | 10156817 | 3972162 | 2137 4750 | 4 | 6 615.90/616.05 c 614s | 24 | 10183945 | 3983662 | 2137 4760 | 4 | 6 617.89/618.06 c 616s | 24 | 10213427 | 3995262 | 2137 4771 | 4 | 6 619.89/620.07 c 618s | 24 | 10240097 | 4006762 | 2137 4781 | 4 | 6 621.89/622.09 c 620s | 24 | 10262988 | 4017962 | 2137 4792 | 4 | 6 623.89/624.09 c 622s | 24 | 10285733 | 4029062 | 2137 4802 | 4 | 6 625.99/626.10 c 624s | 24 | 10310457 | 4040362 | 2137 4812 | 4 | 6 627.89/628.10 c 626s | 24 | 10336293 | 4051462 | 2137 4822 | 4 | 6 629.99/630.11 c 628s | 24 | 10363879 | 4063762 | 2137 4833 | 4 | 6 631.99/632.12 c 630s | 24 | 10393495 | 4076262 | 2137 4845 | 4 | 6 633.99/634.13 c 632s | 24 | 10420337 | 4088162 | 2137 4856 | 4 | 6 635.99/636.14 c 634s | 24 | 10447803 | 4100462 | 2137 4867 | 4 | 6 638.00/638.15 c 636s | 24 | 10472750 | 4111762 | 2137 4877 | 4 | 6 639.99/640.15 c 638s | 24 | 10500619 | 4123862 | 2137 4888 | 4 | 6 641.99/642.16 c 640s | 24 | 10528667 | 4136262 | 2137 4899 | 4 | 6 643.99/644.16 c 642s | 24 | 10557043 | 4148462 | 2137 4911 | 4 | 6 645.99/646.18 c 644s | 24 | 10583567 | 4160162 | 2137 4921 | 4 | 6 647.99/648.19 c 646s | 24 | 10610166 | 4172062 | 2137 4932 | 4 | 6 649.99/650.19 c 648s | 24 | 10634927 | 4183562 | 2137 4943 | 4 | 6 652.09/652.21 c 650s | 24 | 10660378 | 4195062 | 2137 4953 | 4 | 6 654.09/654.22 c 652s | 24 | 10689058 | 4206962 | 2137 4964 | 4 | 6 656.09/656.23 c 654s | 24 | 10714991 | 4218662 | 2137 4975 | 4 | 6 658.09/658.24 c 656s | 24 | 10739112 | 4229762 | 2137 4985 | 4 | 6 660.09/660.24 c 658s | 24 | 10766494 | 4241562 | 2137 4996 | 4 | 6 662.09/662.26 c 660s | 24 | 10793640 | 4253962 | 2137 5007 | 4 | 6 664.08/664.27 c 662s | 24 | 10815608 | 4265062 | 2137 5017 | 4 | 6 666.08/666.27 c 664s | 24 | 10845774 | 4277262 | 2137 5028 | 4 | 6 668.08/668.28 c 666s | 24 | 10885884 | 4290362 | 2137 5040 | 4 | 6 668.28/668.43 c 666s | 24 | 10888013 | 4291189 | 2137 5041 | 4 | 6 668.28/668.43 c #cpu_time = 665.197s 668.28/668.43 c #wall_clock_time = 666.911s 668.28/668.43 c #decision = 10888013 668.28/668.43 c #random_decision = 47346 668.28/668.43 c #conflict = 4291189 668.28/668.43 c #restart = 24 668.28/668.43 o 12 668.28/668.43 c BCD2: updating upper bound: 12 -> 11 668.28/668.43 c BCD2: 8 <= obj <= 11 668.28/668.43 c BCD2: #cores=4, #unrelaxed=28, #relaxed=215, #hardened=0 668.28/668.43 c BCD2: #sat=3 #unsat=9 bias=9/12 668.28/668.43 c Solving starts ... 668.28/668.43 c ============================[ Search Statistics ]============================ 668.28/668.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 668.28/668.43 c | | | | Limit GC | Var | Constra 668.28/668.43 c ============================================================================= 668.28/668.43 c 0.0s | 0 | 0 | 0 | 2137 0 | 4 | 7 668.28/668.47 c 0.0s | 1 | 401 | 100 | 2137 0 | 4 | 7 668.38/668.50 c 0.1s | 2 | 1053 | 250 | 2137 0 | 4 | 7 668.38/668.54 c 0.1s | 3 | 1744 | 475 | 2137 0 | 4 | 7 668.48/668.60 c 0.2s | 4 | 3200 | 813 | 2137 0 | 4 | 7 668.48/668.69 c 0.3s | 5 | 4579 | 1320 | 2137 1 | 4 | 7 668.69/668.84 c 0.4s | 6 | 6453 | 2081 | 2137 2 | 4 | 7 668.88/669.04 c 0.6s | 7 | 9378 | 3223 | 2137 3 | 4 | 7 669.18/669.32 c 0.9s | 8 | 13726 | 4936 | 2137 4 | 4 | 7 669.58/669.73 c 1.3s | 9 | 20030 | 7506 | 2137 7 | 4 | 7 670.18/670.35 c 1.9s | 10 | 29889 | 11361 | 2137 10 | 4 | 7 671.08/671.27 c 2.8s | 11 | 44077 | 17144 | 2137 15 | 4 | 7 672.48/672.64 c 4.2s | 12 | 63985 | 25819 | 2137 23 | 4 | 7 674.48/674.64 c 6.2s | 12 | 93009 | 38219 | 2137 35 | 4 | 7 674.58/674.74 c 6.3s | 13 | 94456 | 38832 | 2137 35 | 4 | 7 676.58/676.75 c 8.3s | 13 | 124922 | 51732 | 2137 47 | 4 | 7 677.59/677.78 c 9.3s | 14 | 141054 | 58352 | 2137 53 | 4 | 7 679.58/679.78 c 11.3s | 14 | 167282 | 70452 | 2137 64 | 4 | 7 681.68/681.80 c 13.4s | 14 | 193884 | 82752 | 2137 75 | 4 | 7 682.38/682.57 c 14.1s | 15 | 204953 | 87632 | 2137 80 | 4 | 7 684.38/684.58 c 16.2s | 15 | 231524 | 99332 | 2137 90 | 4 | 7 686.38/686.59 c 18.2s | 15 | 259512 | 110932 | 2137 101 | 4 | 7 688.48/688.61 c 20.2s | 15 | 284807 | 122532 | 2137 111 | 4 | 7 689.98/690.15 c 21.7s | 16 | 305582 | 131552 | 2137 120 | 4 | 7 691.98/692.15 c 23.7s | 16 | 333885 | 143352 | 2137 130 | 4 | 7 693.98/694.17 c 25.7s | 16 | 360725 | 155252 | 2137 141 | 4 | 7 695.98/696.17 c 27.7s | 16 | 389364 | 167952 | 2137 153 | 4 | 7 697.98/698.18 c 29.7s | 16 | 416152 | 179752 | 2137 164 | 4 | 7 699.98/700.19 c 31.8s | 16 | 446083 | 192252 | 2137 175 | 4 | 7 700.78/700.99 c 32.6s | 17 | 458471 | 197432 | 2137 180 | 4 | 7 702.79/703.00 c 34.6s | 17 | 490246 | 210332 | 2137 191 | 4 | 7 704.88/705.00 c 36.6s | 17 | 520965 | 223432 | 2137 203 | 4 | 7 706.88/707.01 c 38.6s | 17 | 549772 | 236132 | 2137 215 | 4 | 7 708.88/709.02 c 40.6s | 17 | 579244 | 249132 | 2137 227 | 4 | 7 710.88/711.03 c 42.6s | 17 | 605007 | 260332 | 2137 237 | 4 | 7 712.88/713.04 c 44.6s | 17 | 630498 | 272232 | 2137 248 | 4 | 7 714.89/715.05 c 46.6s | 17 | 656048 | 284232 | 2137 259 | 4 | 7 716.88/717.06 c 48.6s | 17 | 680547 | 296132 | 2137 270 | 4 | 7 716.88/717.08 c 48.6s | 18 | 680760 | 296252 | 2137 270 | 4 | 7 718.88/719.09 c 50.7s | 18 | 707079 | 308152 | 2137 281 | 4 | 7 720.98/721.11 c 52.7s | 18 | 731607 | 319952 | 2137 292 | 4 | 7 722.98/723.11 c 54.7s | 18 | 757483 | 331852 | 2137 302 | 4 | 7 724.98/725.11 c 56.7s | 18 | 785938 | 344452 | 2137 314 | 4 | 7 726.98/727.12 c 58.7s | 18 | 815783 | 357552 | 2137 326 | 4 | 7 728.98/729.13 c 60.7s | 18 | 844138 | 370252 | 2137 338 | 4 | 7 730.98/731.16 c 62.7s | 18 | 875374 | 383352 | 2137 350 | 4 | 7 732.98/733.17 c 64.7s | 18 | 905573 | 396252 | 2137 361 | 4 | 7 734.97/735.18 c 66.7s | 18 | 933162 | 408752 | 2137 373 | 4 | 7 736.98/737.19 c 68.8s | 18 | 962740 | 421652 | 2137 384 | 4 | 7 738.97/739.20 c 70.8s | 18 | 990214 | 434152 | 2137 396 | 4 | 7 740.77/740.98 c 72.5s | 19 | 1013394 | 444482 | 2137 405 | 4 | 7 742.77/742.99 c 74.6s | 19 | 1043065 | 457482 | 2137 417 | 4 | 7 744.77/744.99 c 76.6s | 19 | 1074703 | 470882 | 2137 429 | 4 | 7 746.78/746.99 c 78.6s | 19 | 1104962 | 484082 | 2137 441 | 4 | 7 748.77/748.99 c 80.6s | 19 | 1133657 | 496782 | 2137 453 | 4 | 7 750.87/751.00 c 82.6s | 19 | 1162362 | 509382 | 2137 465 | 4 | 7 752.87/753.01 c 84.6s | 19 | 1190884 | 521682 | 2137 476 | 4 | 7 754.86/755.01 c 86.6s | 19 | 1218861 | 534282 | 2137 487 | 4 | 7 756.86/757.03 c 88.6s | 19 | 1247158 | 547082 | 2137 499 | 4 | 7 758.87/759.04 c 90.6s | 19 | 1273214 | 558982 | 2137 510 | 4 | 7 760.86/761.04 c 92.6s | 19 | 1306357 | 570982 | 2137 521 | 4 | 7 762.86/763.05 c 94.6s | 19 | 1338287 | 583482 | 2137 532 | 4 | 7 764.86/765.07 c 96.6s | 19 | 1368610 | 596182 | 2137 544 | 4 | 7 766.86/767.07 c 98.6s | 19 | 1397132 | 609282 | 2137 556 | 4 | 7 768.86/769.09 c 100s | 19 | 1421981 | 621682 | 2137 567 | 4 | 7 770.96/771.11 c 102s | 19 | 1448293 | 634082 | 2137 578 | 4 | 7 772.96/773.11 c 104s | 19 | 1480135 | 646782 | 2137 590 | 4 | 7 774.95/775.12 c 106s | 19 | 1513819 | 660082 | 2137 602 | 4 | 7 775.95/776.14 c 107s | 20 | 1530458 | 666827 | 2137 608 | 4 | 7 777.95/778.14 c 109s | 20 | 1558143 | 679227 | 2137 620 | 4 | 7 779.95/780.15 c 111s | 20 | 1586425 | 691627 | 2137 631 | 4 | 7 781.96/782.16 c 113s | 20 | 1616030 | 704327 | 2137 643 | 4 | 7 784.04/784.21 c 115s | 20 | 1644985 | 717427 | 2137 655 | 4 | 7 786.04/786.21 c 117s | 20 | 1673110 | 729727 | 2137 666 | 4 | 7 788.04/788.22 c 119s | 20 | 1700995 | 742427 | 2351 677 | 4 | 7 790.04/790.24 c 121s | 20 | 1727888 | 754427 | 2351 687 | 4 | 7 792.04/792.24 c 123s | 20 | 1754791 | 766827 | 2351 697 | 4 | 7 794.05/794.25 c 125s | 20 | 1785386 | 779227 | 2351 707 | 4 | 7 796.04/796.26 c 127s | 20 | 1815045 | 791827 | 2351 718 | 4 | 7 798.04/798.26 c 129s | 20 | 1844443 | 804327 | 2351 728 | 4 | 7 800.04/800.27 c 131s | 20 | 1873298 | 816927 | 2351 739 | 4 | 7 802.04/802.28 c 133s | 20 | 1900618 | 829527 | 2351 749 | 4 | 7 804.05/804.29 c 135s | 20 | 1927383 | 841527 | 2351 759 | 4 | 7 806.15/806.31 c 137s | 20 | 1955382 | 854327 | 2351 770 | 4 | 7 808.14/808.32 c 139s | 20 | 1981292 | 866527 | 2351 780 | 4 | 7 810.14/810.33 c 141s | 20 | 2008240 | 878427 | 2351 790 | 4 | 7 812.14/812.34 c 143s | 20 | 2034653 | 890127 | 2351 800 | 4 | 7 814.13/814.35 c 145s | 20 | 2063202 | 902327 | 2351 810 | 4 | 7 816.14/816.36 c 147s | 20 | 2089967 | 914127 | 2351 820 | 4 | 7 818.13/818.37 c 149s | 20 | 2117172 | 926127 | 2351 830 | 4 | 7 820.13/820.38 c 151s | 20 | 2146294 | 938627 | 2351 840 | 4 | 7 822.13/822.38 c 153s | 20 | 2174620 | 951027 | 2351 850 | 4 | 7 824.12/824.39 c 155s | 20 | 2202143 | 963227 | 2351 860 | 4 | 7 826.13/826.39 c 157s | 20 | 2228588 | 974527 | 2351 870 | 4 | 7 828.14/828.40 c 159s | 20 | 2254870 | 986427 | 2351 880 | 4 | 7 830.23/830.41 c 161s | 20 | 2283614 | 998527 | 2351 890 | 4 | 7 830.53/830.71 c 162s | 21 | 2287949 | 1000345 | 2351 891 | 4 | 7 832.54/832.71 c 164s | 21 | 2318010 | 1012745 | 2351 902 | 4 | 7 834.53/834.72 c 166s | 21 | 2347634 | 1025045 | 2351 912 | 4 | 7 836.53/836.73 c 168s | 21 | 2373878 | 1036945 | 2351 922 | 4 | 7 838.53/838.74 c 170s | 21 | 2398084 | 1048145 | 2351 931 | 4 | 7 840.53/840.76 c 172s | 21 | 2434754 | 1060045 | 2351 941 | 4 | 7 842.53/842.78 c 174s | 21 | 2474579 | 1072245 | 2351 951 | 4 | 7 844.52/844.78 c 176s | 21 | 2507912 | 1084045 | 2351 961 | 4 | 7 846.52/846.79 c 178s | 21 | 2537568 | 1096445 | 2351 971 | 4 | 7 848.52/848.79 c 180s | 21 | 2566194 | 1108745 | 2351 981 | 4 | 7 850.62/850.80 c 182s | 21 | 2592038 | 1120645 | 2351 991 | 4 | 7 852.62/852.81 c 184s | 21 | 2620480 | 1133045 | 2351 1002 | 4 | 7 854.63/854.83 c 186s | 21 | 2647125 | 1144545 | 2351 1011 | 4 | 7 856.62/856.83 c 188s | 21 | 2675611 | 1156145 | 2351 1021 | 4 | 7 858.62/858.83 c 190s | 21 | 2705788 | 1167745 | 2351 1030 | 4 | 7 860.62/860.84 c 192s | 21 | 2737785 | 1180645 | 2351 1041 | 4 | 7 862.62/862.85 c 194s | 21 | 2773245 | 1193245 | 2351 1052 | 4 | 7 864.61/864.86 c 196s | 21 | 2805797 | 1206045 | 2351 1062 | 4 | 7 866.62/866.86 c 198s | 21 | 2840165 | 1218545 | 2351 1073 | 4 | 7 868.61/868.87 c 200s | 21 | 2876789 | 1231145 | 2351 1083 | 4 | 7 870.61/870.87 c 202s | 21 | 2912612 | 1244045 | 2351 1094 | 4 | 7 872.61/872.88 c 204s | 21 | 2949387 | 1256445 | 2351 1104 | 4 | 7 874.61/874.89 c 206s | 21 | 2980623 | 1269245 | 2351 1115 | 4 | 7 876.62/876.89 c 208s | 21 | 3013797 | 1281245 | 2351 1125 | 4 | 7 878.61/878.90 c 210s | 21 | 3054953 | 1293745 | 2351 1135 | 4 | 7 880.71/880.91 c 212s | 21 | 3091904 | 1306645 | 2351 1146 | 4 | 7 882.70/882.92 c 214s | 21 | 3123130 | 1318045 | 2351 1155 | 4 | 7 884.70/884.92 c 216s | 21 | 3161578 | 1330745 | 2351 1166 | 4 | 7 886.70/886.93 c 218s | 21 | 3200355 | 1343545 | 2351 1177 | 4 | 7 888.71/888.95 c 220s | 21 | 3237014 | 1356245 | 2351 1187 | 4 | 7 890.70/890.96 c 222s | 21 | 3268408 | 1368245 | 2351 1197 | 4 | 7 892.71/892.97 c 224s | 21 | 3302978 | 1380845 | 2351 1208 | 4 | 7 894.71/894.97 c 226s | 21 | 3339823 | 1393545 | 2351 1218 | 4 | 7 896.71/896.98 c 228s | 21 | 3372156 | 1406245 | 2351 1229 | 4 | 7 898.71/898.98 c 230s | 21 | 3410370 | 1419045 | 2351 1239 | 4 | 7 900.71/901.00 c 232s | 21 | 3446567 | 1432345 | 2351 1251 | 4 | 7 902.80/903.01 c 234s | 21 | 3476892 | 1445145 | 2351 1261 | 4 | 7 904.80/905.02 c 236s | 21 | 3512810 | 1457545 | 2351 1272 | 4 | 7 906.80/907.03 c 238s | 21 | 3544574 | 1469745 | 2351 1282 | 4 | 7 908.80/909.03 c 240s | 21 | 3593332 | 1481845 | 2351 1292 | 4 | 7 910.80/911.03 c 242s | 21 | 3642196 | 1494245 | 2351 1302 | 4 | 7 911.81/912.05 c 243s | 22 | 3661788 | 1500622 | 2351 1307 | 4 | 7 913.79/914.06 c 245s | 22 | 3700473 | 1511822 | 2351 1317 | 4 | 7 915.79/916.07 c 247s | 22 | 3733382 | 1524122 | 2351 1327 | 4 | 7 917.79/918.08 c 249s | 22 | 3766217 | 1535822 | 2351 1337 | 4 | 7 919.79/920.08 c 251s | 22 | 3793234 | 1548222 | 2351 1347 | 4 | 7 921.89/922.10 c 253s | 22 | 3820609 | 1560422 | 2351 1357 | 4 | 7 923.80/924.10 c 255s | 22 | 3851807 | 1572722 | 2351 1367 | 4 | 7 925.89/926.12 c 257s | 22 | 3880907 | 1584922 | 2351 1378 | 4 | 7 927.89/928.12 c 259s | 22 | 3913413 | 1597622 | 2351 1388 | 4 | 7 929.89/930.12 c 261s | 22 | 3945405 | 1610122 | 2351 1398 | 4 | 7 931.89/932.13 c 263s | 22 | 3976752 | 1622522 | 2351 1409 | 4 | 7 933.88/934.15 c 265s | 22 | 4005532 | 1634222 | 2351 1418 | 4 | 7 935.89/936.16 c 267s | 22 | 4036625 | 1645922 | 2351 1428 | 4 | 7 937.88/938.16 c 269s | 22 | 4066928 | 1658122 | 2351 1438 | 4 | 7 939.88/940.16 c 271s | 22 | 4093339 | 1670622 | 2351 1449 | 4 | 7 941.88/942.18 c 273s | 22 | 4122158 | 1683022 | 2351 1459 | 4 | 7 943.88/944.18 c 275s | 22 | 4153959 | 1695922 | 2351 1470 | 4 | 7 945.98/946.26 c 277s | 22 | 4181999 | 1708722 | 2351 1480 | 4 | 7 947.98/948.27 c 279s | 22 | 4210677 | 1720322 | 2351 1490 | 4 | 7 949.98/950.27 c 281s | 22 | 4241160 | 1733422 | 2351 1501 | 4 | 7 951.97/952.27 c 283s | 22 | 4270247 | 1746522 | 2351 1512 | 4 | 7 953.97/954.29 c 285s | 22 | 4297661 | 1758222 | 2351 1522 | 4 | 7 955.97/956.29 c 287s | 22 | 4327387 | 1770722 | 2351 1532 | 4 | 7 958.07/958.30 c 289s | 22 | 4356130 | 1782822 | 2351 1542 | 4 | 7 960.08/960.32 c 291s | 22 | 4384341 | 1795422 | 2351 1553 | 4 | 7 962.07/962.32 c 293s | 22 | 4410993 | 1808022 | 2351 1563 | 4 | 7 964.07/964.33 c 295s | 22 | 4440257 | 1821122 | 2351 1574 | 4 | 7 966.07/966.33 c 297s | 22 | 4470033 | 1833522 | 2351 1584 | 4 | 7 968.07/968.34 c 299s | 22 | 4498867 | 1846522 | 2351 1595 | 4 | 7 970.07/970.36 c 301s | 22 | 4527633 | 1859122 | 2351 1606 | 4 | 7 972.07/972.36 c 303s | 22 | 4554953 | 1871722 | 2351 1616 | 4 | 7 974.07/974.38 c 305s | 22 | 4581036 | 1884322 | 2351 1627 | 4 | 7 976.07/976.39 c 307s | 22 | 4608548 | 1896322 | 2351 1637 | 4 | 7 978.17/978.40 c 309s | 22 | 4634433 | 1908922 | 2351 1647 | 4 | 7 980.17/980.41 c 311s | 22 | 4661532 | 1921222 | 2351 1657 | 4 | 7 982.17/982.42 c 313s | 22 | 4688648 | 1933622 | 2351 1668 | 4 | 7 984.16/984.42 c 315s | 22 | 4722212 | 1945822 | 2351 1678 | 4 | 7 986.16/986.43 c 317s | 22 | 4756343 | 1958222 | 2351 1688 | 4 | 7 988.16/988.45 c 320s | 22 | 4787353 | 1970422 | 2351 1698 | 4 | 7 990.16/990.45 c 322s | 22 | 4822806 | 1982722 | 2351 1708 | 4 | 7 992.16/992.47 c 324s | 22 | 4857164 | 1995922 | 2351 1719 | 4 | 7 994.16/994.47 c 326s | 22 | 4889242 | 2009022 | 2351 1730 | 4 | 7 996.16/996.48 c 328s | 22 | 4920282 | 2021222 | 2351 1740 | 4 | 7 998.16/998.48 c 330s | 22 | 4951067 | 2034122 | 2351 1751 | 4 | 7 1000.16/1000.48 c 332s | 22 | 4982843 | 2047122 | 2351 1762 | 4 | 7 1002.16/1002.49 c 334s | 22 | 5012821 | 2059322 | 2351 1772 | 4 | 7 1004.16/1004.49 c 336s | 22 | 5044494 | 2072122 | 2351 1783 | 4 | 7 1006.26/1006.51 c 338s | 22 | 5077747 | 2084522 | 2351 1793 | 4 | 7 1008.25/1008.51 c 340s | 22 | 5107027 | 2096422 | 2351 1803 | 4 | 7 1010.25/1010.52 c 342s | 22 | 5134117 | 2108122 | 2351 1813 | 4 | 7 1012.25/1012.52 c 344s | 22 | 5163960 | 2120222 | 2351 1823 | 4 | 7 1014.24/1014.53 c 346s | 22 | 5194793 | 2132122 | 2351 1833 | 4 | 7 1016.25/1016.55 c 348s | 22 | 5224740 | 2144222 | 2351 1843 | 4 | 7 1018.24/1018.56 c 350s | 22 | 5256160 | 2156722 | 2351 1853 | 4 | 7 1020.24/1020.58 c 352s | 22 | 5288902 | 2170022 | 2351 1864 | 4 | 7 1022.24/1022.59 c 354s | 22 | 5320186 | 2183122 | 2351 1875 | 4 | 7 1024.24/1024.59 c 356s | 22 | 5350697 | 2196022 | 2351 1886 | 4 | 7 1026.34/1026.61 c 358s | 22 | 5382148 | 2208922 | 2351 1897 | 4 | 7 1028.34/1028.61 c 360s | 22 | 5415558 | 2222122 | 2351 1908 | 4 | 7 1030.33/1030.62 c 362s | 22 | 5443108 | 2234622 | 2351 1918 | 4 | 7 1032.33/1032.62 c 364s | 22 | 5474270 | 2247622 | 2351 1929 | 4 | 7 1032.84/1033.14 c 364s | 23 | 5481779 | 2251038 | 2351 1932 | 4 | 7 1034.85/1035.15 c 366s | 23 | 5514835 | 2262838 | 2351 1941 | 4 | 7 1036.84/1037.15 c 368s | 23 | 5542471 | 2275138 | 2351 1952 | 4 | 7 1038.84/1039.16 c 370s | 23 | 5570143 | 2287538 | 2351 1962 | 4 | 7 1040.84/1041.17 c 372s | 23 | 5596156 | 2299738 | 2351 1972 | 4 | 7 1042.84/1043.19 c 374s | 23 | 5623105 | 2311638 | 2351 1982 | 4 | 7 1044.84/1045.19 c 376s | 23 | 5651617 | 2324038 | 2351 1992 | 4 | 7 1046.94/1047.22 c 378s | 23 | 5680007 | 2336438 | 2351 2003 | 4 | 7 1048.93/1049.23 c 380s | 23 | 5707071 | 2348838 | 2351 2013 | 4 | 7 1050.93/1051.23 c 382s | 23 | 5733070 | 2361038 | 2351 2023 | 4 | 7 1052.93/1053.24 c 384s | 23 | 5760301 | 2372738 | 2351 2033 | 4 | 7 1054.93/1055.25 c 386s | 23 | 5787024 | 2385238 | 2351 2043 | 4 | 7 1056.93/1057.26 c 388s | 23 | 5814939 | 2397838 | 2351 2054 | 4 | 7 1058.93/1059.27 c 390s | 23 | 5842434 | 2410238 | 2351 2064 | 4 | 7 1060.93/1061.28 c 392s | 23 | 5869347 | 2422738 | 2351 2075 | 4 | 7 1062.93/1063.28 c 394s | 23 | 5896340 | 2435238 | 2351 2085 | 4 | 7 1065.02/1065.38 c 396s | 23 | 5920474 | 2447038 | 2351 2095 | 4 | 7 1067.02/1067.39 c 398s | 23 | 5951953 | 2459538 | 2351 2105 | 4 | 7 1069.03/1069.39 c 400s | 23 | 5986280 | 2472738 | 2351 2116 | 4 | 7 1071.02/1071.39 c 402s | 23 | 6019927 | 2485838 | 2351 2127 | 4 | 7 1073.02/1073.39 c 404s | 23 | 6052660 | 2499138 | 2351 2138 | 4 | 7 1075.12/1075.40 c 406s | 23 | 6083811 | 2512238 | 2351 2149 | 4 | 7 1077.12/1077.42 c 408s | 23 | 6114185 | 2524338 | 2351 2159 | 4 | 7 1079.12/1079.43 c 410s | 23 | 6148839 | 2537738 | 2351 2170 | 4 | 7 1081.12/1081.44 c 413s | 23 | 6183144 | 2551038 | 2351 2181 | 4 | 7 1083.11/1083.44 c 415s | 23 | 6214281 | 2563938 | 2351 2192 | 4 | 7 1085.11/1085.46 c 417s | 23 | 6243298 | 2576638 | 2351 2203 | 4 | 7 1087.11/1087.46 c 419s | 23 | 6272984 | 2589238 | 2351 2213 | 4 | 7 1089.11/1089.48 c 421s | 23 | 6302081 | 2601738 | 2351 2223 | 4 | 7 1091.11/1091.49 c 423s | 23 | 6332205 | 2615038 | 2351 2235 | 4 | 7 1093.12/1093.50 c 425s | 23 | 6363456 | 2627638 | 2351 2245 | 4 | 7 1095.21/1095.51 c 427s | 23 | 6393241 | 2639438 | 2351 2255 | 4 | 7 1097.21/1097.51 c 429s | 23 | 6424563 | 2652238 | 2351 2266 | 4 | 7 1099.20/1099.52 c 431s | 23 | 6458164 | 2665538 | 2351 2277 | 4 | 7 1101.20/1101.52 c 433s | 23 | 6489951 | 2678638 | 2351 2287 | 4 | 7 1103.20/1103.52 c 435s | 23 | 6520633 | 2691138 | 2351 2298 | 4 | 7 1105.21/1105.53 c 437s | 23 | 6553710 | 2704738 | 2351 2309 | 4 | 7 1107.20/1107.53 c 439s | 23 | 6584241 | 2718138 | 2351 2320 | 4 | 7 1109.20/1109.55 c 441s | 23 | 6611311 | 2730338 | 2351 2330 | 4 | 7 1111.20/1111.56 c 443s | 23 | 6642112 | 2742638 | 2351 2341 | 4 | 7 1113.20/1113.57 c 445s | 23 | 6672687 | 2755338 | 2351 2351 | 4 | 7 1115.20/1115.59 c 447s | 23 | 6702738 | 2767938 | 2351 2362 | 4 | 7 1117.19/1117.59 c 449s | 23 | 6733368 | 2780438 | 2351 2372 | 4 | 7 1119.29/1119.61 c 451s | 23 | 6761679 | 2792938 | 2351 2383 | 4 | 7 1121.29/1121.62 c 453s | 23 | 6788467 | 2804638 | 2351 2392 | 4 | 7 1123.29/1123.63 c 455s | 23 | 6819135 | 2817338 | 2351 2403 | 4 | 7 1125.29/1125.64 c 457s | 23 | 6849152 | 2829838 | 2351 2413 | 4 | 7 1127.29/1127.66 c 459s | 23 | 6875870 | 2842038 | 2351 2423 | 4 | 7 1129.28/1129.66 c 461s | 23 | 6901527 | 2854038 | 2351 2433 | 4 | 7 1131.29/1131.67 c 463s | 23 | 6931107 | 2866238 | 2351 2444 | 4 | 7 1133.29/1133.67 c 465s | 23 | 6961308 | 2878938 | 2351 2454 | 4 | 7 1135.29/1135.68 c 467s | 23 | 6989366 | 2891138 | 2351 2464 | 4 | 7 1137.29/1137.69 c 469s | 23 | 7018083 | 2903338 | 2351 2475 | 4 | 7 1139.29/1139.69 c 471s | 23 | 7047345 | 2916038 | 2351 2485 | 4 | 7 1141.38/1141.70 c 473s | 23 | 7077716 | 2928738 | 2351 2496 | 4 | 7 1143.38/1143.70 c 475s | 23 | 7106021 | 2941538 | 2351 2506 | 4 | 7 1145.38/1145.71 c 477s | 23 | 7134157 | 2953738 | 2351 2517 | 4 | 7 1147.38/1147.73 c 479s | 23 | 7162392 | 2966238 | 2351 2527 | 4 | 7 1149.38/1149.73 c 481s | 23 | 7188061 | 2978038 | 2351 2537 | 4 | 7 1151.38/1151.73 c 483s | 23 | 7211248 | 2989638 | 2351 2546 | 4 | 7 1153.37/1153.74 c 485s | 23 | 7235830 | 3001538 | 2351 2556 | 4 | 7 1155.37/1155.74 c 487s | 23 | 7261505 | 3013538 | 2351 2566 | 4 | 7 1157.37/1157.76 c 489s | 23 | 7285272 | 3025238 | 2351 2576 | 4 | 7 1159.37/1159.76 c 491s | 23 | 7308263 | 3036538 | 2351 2585 | 4 | 7 1161.37/1161.78 c 493s | 23 | 7333820 | 3048638 | 2351 2596 | 4 | 7 1163.37/1163.80 c 495s | 23 | 7359750 | 3060638 | 2351 2606 | 4 | 7 1165.46/1165.81 c 497s | 23 | 7384107 | 3072438 | 2351 2615 | 4 | 7 1167.46/1167.81 c 499s | 23 | 7407016 | 3084038 | 2351 2625 | 4 | 7 1169.47/1169.82 c 501s | 23 | 7431499 | 3096138 | 2351 2635 | 4 | 7 1171.47/1171.83 c 503s | 23 | 7451207 | 3106438 | 2351 2644 | 4 | 7 1173.48/1173.84 c 505s | 23 | 7472302 | 3117138 | 2351 2653 | 4 | 7 1175.47/1175.84 c 507s | 23 | 7492337 | 3128138 | 2351 2662 | 4 | 7 1177.47/1177.86 c 509s | 23 | 7511439 | 3138838 | 2351 2671 | 4 | 7 1179.46/1179.87 c 511s | 23 | 7531267 | 3150238 | 2351 2680 | 4 | 7 1181.46/1181.89 c 513s | 23 | 7549809 | 3160838 | 2351 2689 | 4 | 7 1183.56/1183.90 c 515s | 23 | 7569971 | 3171538 | 2351 2698 | 4 | 7 1185.57/1185.91 c 517s | 23 | 7591849 | 3182638 | 2351 2707 | 4 | 7 1187.56/1187.91 c 519s | 23 | 7614061 | 3193838 | 2351 2716 | 4 | 7 1189.56/1189.92 c 521s | 23 | 7637343 | 3205438 | 2351 2726 | 4 | 7 1191.56/1191.92 c 523s | 23 | 7658030 | 3216438 | 2351 2735 | 4 | 7 1193.56/1193.93 c 525s | 23 | 7678694 | 3227038 | 2351 2744 | 4 | 7 1195.56/1195.93 c 527s | 23 | 7700064 | 3237738 | 2351 2753 | 4 | 7 1197.56/1197.95 c 529s | 23 | 7721650 | 3248338 | 2351 2762 | 4 | 7 1199.55/1199.97 c 531s | 23 | 7742643 | 3258838 | 2587 2770 | 4 | 7 1201.55/1201.97 c 533s | 23 | 7765702 | 3270238 | 2587 2778 | 4 | 7 1203.55/1203.98 c 535s | 23 | 7789094 | 3281438 | 2587 2787 | 4 | 7 1205.65/1206.01 c 537s | 23 | 7812201 | 3292638 | 2587 2795 | 4 | 7 1207.65/1208.02 c 539s | 23 | 7834317 | 3303338 | 2587 2803 | 4 | 7 1209.65/1210.02 c 541s | 23 | 7856574 | 3314538 | 2587 2812 | 4 | 7 1211.65/1212.02 c 543s | 23 | 7878794 | 3325838 | 2587 2820 | 4 | 7 1213.64/1214.03 c 545s | 23 | 7900461 | 3336738 | 2587 2829 | 4 | 7 1215.64/1216.04 c 547s | 23 | 7923604 | 3348038 | 2587 2837 | 4 | 7 1217.64/1218.05 c 549s | 23 | 7946128 | 3359438 | 2587 2846 | 4 | 7 1219.64/1220.06 c 551s | 23 | 7970136 | 3371038 | 2587 2855 | 4 | 7 1220.64/1221.02 c 552s | 24 | 7982339 | 3376662 | 2587 2859 | 4 | 7 1222.64/1223.02 c 554s | 24 | 8007026 | 3388162 | 2587 2868 | 4 | 7 1224.63/1225.02 c 556s | 24 | 8032654 | 3399862 | 2587 2877 | 4 | 7 1226.63/1227.04 c 558s | 24 | 8059200 | 3411862 | 2587 2886 | 4 | 7 1228.63/1229.04 c 560s | 24 | 8084996 | 3423462 | 2587 2894 | 4 | 7 1230.63/1231.05 c 562s | 24 | 8111870 | 3435562 | 2587 2904 | 4 | 7 1232.63/1233.05 c 564s | 24 | 8139226 | 3447962 | 2587 2913 | 4 | 7 1234.62/1235.05 c 566s | 24 | 8163003 | 3459462 | 2587 2922 | 4 | 7 1236.62/1237.06 c 568s | 24 | 8187140 | 3471762 | 2587 2931 | 4 | 7 1238.63/1239.07 c 570s | 24 | 8209723 | 3483862 | 2587 2940 | 4 | 7 1240.63/1241.08 c 572s | 24 | 8236643 | 3496362 | 2587 2950 | 4 | 7 1242.64/1243.09 c 574s | 24 | 8262840 | 3508462 | 2587 2959 | 4 | 7 1244.73/1245.10 c 576s | 24 | 8289593 | 3520562 | 2587 2968 | 4 | 7 1246.73/1247.12 c 578s | 24 | 8316980 | 3532562 | 2587 2977 | 4 | 7 1248.73/1249.12 c 580s | 24 | 8344427 | 3544162 | 2587 2986 | 4 | 7 1250.72/1251.13 c 582s | 24 | 8370720 | 3556062 | 2587 2995 | 4 | 7 1252.72/1253.14 c 584s | 24 | 8400358 | 3568462 | 2587 3004 | 4 | 7 1254.73/1255.15 c 586s | 24 | 8428822 | 3580962 | 2587 3014 | 4 | 7 1256.72/1257.16 c 588s | 24 | 8456809 | 3593862 | 2587 3024 | 4 | 7 1258.72/1259.18 c 590s | 24 | 8483365 | 3606362 | 2587 3033 | 4 | 7 1260.72/1261.18 c 592s | 24 | 8509667 | 3618462 | 2587 3042 | 4 | 7 1262.72/1263.19 c 594s | 24 | 8535334 | 3630062 | 2587 3051 | 4 | 7 1264.82/1265.20 c 596s | 24 | 8560152 | 3641462 | 2587 3060 | 4 | 7 1266.82/1267.21 c 598s | 24 | 8585517 | 3652662 | 2587 3068 | 4 | 7 1268.81/1269.23 c 600s | 24 | 8614998 | 3665062 | 2587 3078 | 4 | 7 1270.81/1271.23 c 602s | 24 | 8642459 | 3677362 | 2587 3087 | 4 | 7 1272.82/1273.25 c 604s | 24 | 8668847 | 3688962 | 2587 3096 | 4 | 7 1274.81/1275.26 c 606s | 24 | 8700622 | 3700662 | 2587 3104 | 4 | 7 1276.82/1277.26 c 608s | 24 | 8730393 | 3712662 | 2587 3114 | 4 | 7 1278.81/1279.26 c 610s | 24 | 8758935 | 3724362 | 2587 3122 | 4 | 7 1280.81/1281.27 c 612s | 24 | 8786066 | 3736062 | 2587 3131 | 4 | 7 1282.81/1283.28 c 614s | 24 | 8813863 | 3747962 | 2587 3140 | 4 | 7 1284.80/1285.28 c 616s | 24 | 8843079 | 3760162 | 2587 3150 | 4 | 7 1286.80/1287.29 c 618s | 24 | 8871819 | 3772462 | 2587 3159 | 4 | 7 1288.91/1289.31 c 620s | 24 | 8900492 | 3785262 | 2587 3169 | 4 | 7 1290.90/1291.33 c 622s | 24 | 8928964 | 3797462 | 2587 3178 | 4 | 7 1292.90/1293.33 c 624s | 24 | 8957747 | 3810062 | 2587 3187 | 4 | 7 1294.90/1295.34 c 626s | 24 | 8984773 | 3822762 | 2587 3197 | 4 | 7 1296.90/1297.34 c 628s | 24 | 9008813 | 3834362 | 2587 3206 | 4 | 7 1298.90/1299.35 c 630s | 24 | 9035133 | 3846562 | 2587 3215 | 4 | 7 1300.90/1301.35 c 632s | 24 | 9061851 | 3859062 | 2587 3224 | 4 | 7 1302.89/1303.35 c 634s | 24 | 9089964 | 3871062 | 2587 3234 | 4 | 7 1304.89/1305.36 c 636s | 24 | 9119360 | 3884062 | 2587 3243 | 4 | 7 1306.89/1307.37 c 638s | 24 | 9144963 | 3895962 | 2587 3252 | 4 | 7 1308.89/1309.38 c 640s | 24 | 9170880 | 3907562 | 2587 3261 | 4 | 7 1310.89/1311.39 c 642s | 24 | 9195685 | 3919262 | 2587 3270 | 4 | 7 1312.99/1313.40 c 644s | 24 | 9222108 | 3931262 | 2587 3279 | 4 | 7 1314.98/1315.41 c 646s | 24 | 9249012 | 3943162 | 2587 3288 | 4 | 7 1316.98/1317.42 c 648s | 24 | 9278345 | 3955462 | 2587 3298 | 4 | 7 1318.99/1319.43 c 650s | 24 | 9305453 | 3967562 | 2587 3307 | 4 | 7 1320.99/1321.44 c 653s | 24 | 9334520 | 3979762 | 2587 3316 | 4 | 7 1322.99/1323.45 c 655s | 24 | 9361934 | 3991762 | 2587 3325 | 4 | 7 1324.98/1325.45 c 657s | 24 | 9389233 | 4003962 | 2587 3334 | 4 | 7 1326.98/1327.46 c 659s | 24 | 9418590 | 4016762 | 2587 3344 | 4 | 7 1328.98/1329.47 c 661s | 24 | 9448282 | 4030262 | 2587 3354 | 4 | 7 1330.98/1331.48 c 663s | 24 | 9473297 | 4041562 | 2587 3363 | 4 | 7 1332.98/1333.49 c 665s | 24 | 9498339 | 4052362 | 2587 3371 | 4 | 7 1335.09/1335.51 c 667s | 24 | 9521948 | 4063262 | 2587 3379 | 4 | 7 1337.08/1337.51 c 669s | 24 | 9547032 | 4074562 | 2587 3388 | 4 | 7 1339.08/1339.53 c 671s | 24 | 9573533 | 4085762 | 2587 3396 | 4 | 7 1341.08/1341.53 c 673s | 24 | 9600453 | 4096962 | 2587 3405 | 4 | 7 1343.08/1343.54 c 675s | 24 | 9625383 | 4107862 | 2587 3413 | 4 | 7 1345.07/1345.54 c 677s | 24 | 9649962 | 4118962 | 2587 3421 | 4 | 7 1347.08/1347.55 c 679s | 24 | 9675950 | 4130262 | 2587 3430 | 4 | 7 1349.07/1349.55 c 681s | 24 | 9702930 | 4141962 | 2587 3439 | 4 | 7 1351.07/1351.56 c 683s | 24 | 9726944 | 4152662 | 2587 3447 | 4 | 7 1353.07/1353.57 c 685s | 24 | 9757180 | 4164962 | 2587 3456 | 4 | 7 1355.07/1355.59 c 687s | 24 | 9785074 | 4176762 | 2587 3465 | 4 | 7 1357.17/1357.60 c 689s | 24 | 9811670 | 4187562 | 2587 3473 | 4 | 7 1359.18/1359.61 c 691s | 24 | 9838671 | 4199662 | 2587 3483 | 4 | 7 1361.17/1361.61 c 693s | 24 | 9866162 | 4211562 | 2587 3492 | 4 | 7 1363.17/1363.62 c 695s | 24 | 9892334 | 4222762 | 2587 3500 | 4 | 7 1365.17/1365.62 c 697s | 24 | 9914408 | 4233262 | 2587 3508 | 4 | 7 1367.16/1367.64 c 699s | 24 | 9942205 | 4244662 | 2587 3517 | 4 | 7 1369.17/1369.64 c 701s | 24 | 9967801 | 4255962 | 2587 3525 | 4 | 7 1371.16/1371.66 c 703s | 24 | 9995056 | 4267862 | 2587 3534 | 4 | 7 1373.16/1373.67 c 705s | 24 | 10020014 | 4278462 | 2587 3542 | 4 | 7 1375.16/1375.68 c 707s | 24 | 10045826 | 4290162 | 2587 3551 | 4 | 7 1377.16/1377.68 c 709s | 24 | 10071818 | 4301762 | 2587 3560 | 4 | 7 1379.16/1379.68 c 711s | 24 | 10097737 | 4313262 | 2587 3569 | 4 | 7 1381.17/1381.70 c 713s | 24 | 10123600 | 4324762 | 2587 3578 | 4 | 7 1383.26/1383.70 c 715s | 24 | 10148964 | 4336062 | 2587 3586 | 4 | 7 1385.26/1385.71 c 717s | 24 | 10172130 | 4347062 | 2587 3594 | 4 | 7 1387.26/1387.71 c 719s | 24 | 10196768 | 4358462 | 2587 3603 | 4 | 7 1389.26/1389.73 c 721s | 24 | 10222419 | 4369162 | 2587 3611 | 4 | 7 1391.26/1391.73 c 723s | 24 | 10249876 | 4380362 | 2587 3620 | 4 | 7 1393.26/1393.74 c 725s | 24 | 10274097 | 4391562 | 2587 3628 | 4 | 7 1395.26/1395.75 c 727s | 24 | 10299613 | 4403062 | 2587 3637 | 4 | 7 1397.26/1397.77 c 729s | 24 | 10326098 | 4414462 | 2587 3646 | 4 | 7 1399.26/1399.78 c 731s | 24 | 10352828 | 4426262 | 2587 3654 | 4 | 7 1401.26/1401.80 c 733s | 24 | 10378931 | 4438362 | 2587 3664 | 4 | 7 1403.35/1403.80 c 735s | 24 | 10409023 | 4450362 | 2587 3673 | 4 | 7 1405.36/1405.80 c 737s | 24 | 10438088 | 4462262 | 2587 3682 | 4 | 7 1407.35/1407.84 c 739s | 24 | 10464767 | 4473962 | 2587 3691 | 4 | 7 1409.35/1409.86 c 741s | 24 | 10493304 | 4485762 | 2587 3700 | 4 | 7 1411.35/1411.86 c 743s | 24 | 10520789 | 4497762 | 2587 3709 | 4 | 7 1413.35/1413.87 c 745s | 24 | 10546613 | 4509262 | 2587 3717 | 4 | 7 1415.36/1415.88 c 747s | 24 | 10573297 | 4520862 | 2587 3726 | 4 | 7 1417.35/1417.89 c 749s | 24 | 10600386 | 4532662 | 2587 3735 | 4 | 7 1419.45/1419.90 c 751s | 24 | 10627764 | 4544362 | 2587 3744 | 4 | 7 1421.45/1421.91 c 753s | 24 | 10653121 | 4555862 | 2587 3753 | 4 | 7 1423.46/1423.91 c 755s | 24 | 10679831 | 4567162 | 2587 3761 | 4 | 7 1425.46/1425.93 c 757s | 24 | 10707523 | 4578462 | 2587 3770 | 4 | 7 1427.46/1427.94 c 759s | 24 | 10730247 | 4589162 | 2587 3778 | 4 | 7 1429.46/1429.95 c 761s | 24 | 10754787 | 4600462 | 2587 3787 | 4 | 7 1431.46/1431.95 c 763s | 24 | 10779625 | 4612162 | 2587 3795 | 4 | 7 1433.46/1433.96 c 765s | 24 | 10805588 | 4623262 | 2587 3804 | 4 | 7 1435.46/1435.97 c 767s | 24 | 10832684 | 4634862 | 2587 3813 | 4 | 7 1437.45/1437.97 c 769s | 24 | 10860415 | 4646162 | 2587 3821 | 4 | 7 1439.46/1439.99 c 771s | 24 | 10888661 | 4657862 | 2587 3830 | 4 | 7 1441.55/1442.00 c 773s | 24 | 10917290 | 4669862 | 2587 3839 | 4 | 7 1443.55/1444.00 c 775s | 24 | 10944201 | 4682162 | 2587 3849 | 4 | 7 1445.55/1446.00 c 777s | 24 | 10973271 | 4694662 | 2587 3858 | 4 | 7 1447.55/1448.01 c 779s | 24 | 11003247 | 4707162 | 2587 3868 | 4 | 7 1449.55/1450.02 c 781s | 24 | 11028371 | 4718162 | 2587 3876 | 4 | 7 1451.56/1452.04 c 783s | 24 | 11055802 | 4730262 | 2587 3885 | 4 | 7 1453.55/1454.05 c 785s | 24 | 11082628 | 4742362 | 2587 3894 | 4 | 7 1455.55/1456.06 c 787s | 24 | 11108429 | 4754362 | 2587 3903 | 4 | 7 1457.55/1458.06 c 789s | 24 | 11132600 | 4765862 | 2587 3912 | 4 | 7 1459.55/1460.07 c 791s | 24 | 11158626 | 4777662 | 2587 3921 | 4 | 7 1461.55/1462.07 c 793s | 24 | 11182020 | 4788762 | 2587 3929 | 4 | 7 1463.55/1464.07 c 795s | 24 | 11209423 | 4800862 | 2587 3939 | 4 | 7 1465.55/1466.08 c 797s | 24 | 11236703 | 4813362 | 2587 3948 | 4 | 7 1467.65/1468.10 c 799s | 24 | 11262256 | 4825662 | 2587 3957 | 4 | 7 1469.65/1470.10 c 801s | 24 | 11285655 | 4838062 | 2587 3967 | 4 | 7 1471.65/1472.12 c 803s | 24 | 11312503 | 4849662 | 2587 3976 | 4 | 7 1473.65/1474.14 c 805s | 24 | 11343188 | 4862662 | 2587 3985 | 4 | 7 1475.64/1476.14 c 807s | 24 | 11370201 | 4874962 | 2587 3995 | 4 | 7 1477.64/1478.15 c 809s | 24 | 11396827 | 4886762 | 2587 4004 | 4 | 7 1479.64/1480.16 c 811s | 24 | 11423172 | 4898962 | 2587 4013 | 4 | 7 1481.64/1482.18 c 813s | 24 | 11446903 | 4910962 | 2587 4022 | 4 | 7 1483.74/1484.20 c 815s | 24 | 11471620 | 4922562 | 2587 4031 | 4 | 7 1485.75/1486.21 c 817s | 24 | 11498118 | 4934762 | 2587 4040 | 4 | 7 1487.74/1488.22 c 819s | 24 | 11522938 | 4946762 | 2587 4049 | 4 | 7 1489.74/1490.23 c 821s | 24 | 11547881 | 4958462 | 2587 4058 | 4 | 7 1491.74/1492.24 c 823s | 24 | 11570997 | 4969962 | 2587 4067 | 4 | 7 1493.75/1494.25 c 825s | 24 | 11593776 | 4981562 | 2587 4076 | 4 | 7 1495.75/1496.25 c 827s | 24 | 11618517 | 4993262 | 2587 4085 | 4 | 7 1497.76/1498.26 c 829s | 24 | 11643921 | 5005162 | 2587 4094 | 4 | 7 1499.75/1500.27 c 831s | 24 | 11671337 | 5016762 | 2587 4102 | 4 | 7 1501.75/1502.28 c 833s | 24 | 11700368 | 5029162 | 2587 4112 | 4 | 7 1503.75/1504.29 c 835s | 24 | 11728197 | 5041362 | 2587 4121 | 4 | 7 1505.85/1506.30 c 837s | 24 | 11757895 | 5053862 | 2587 4131 | 4 | 7 1507.65/1508.16 c 839s | 25 | 11784380 | 5065098 | 2587 4139 | 4 | 7 1509.64/1510.17 c 841s | 25 | 11812628 | 5076698 | 2587 4148 | 4 | 7 1511.64/1512.18 c 843s | 25 | 11839799 | 5088798 | 2587 4157 | 4 | 7 1513.64/1514.19 c 845s | 25 | 11867600 | 5100998 | 2587 4166 | 4 | 7 1515.64/1516.19 c 847s | 25 | 11894487 | 5112998 | 2587 4175 | 4 | 7 1517.74/1518.20 c 849s | 25 | 11919872 | 5124798 | 2587 4184 | 4 | 7 1519.75/1520.22 c 851s | 25 | 11949131 | 5137098 | 2587 4194 | 4 | 7 1521.74/1522.23 c 853s | 25 | 11974193 | 5148798 | 2587 4202 | 4 | 7 1523.74/1524.23 c 855s | 25 | 12002856 | 5160598 | 2587 4211 | 4 | 7 1525.74/1526.23 c 857s | 25 | 12030273 | 5172698 | 2587 4220 | 4 | 7 1527.74/1528.23 c 859s | 25 | 12059199 | 5184998 | 2587 4230 | 4 | 7 1529.75/1530.25 c 861s | 25 | 12087296 | 5197498 | 2587 4239 | 4 | 7 1531.74/1532.25 c 863s | 25 | 12114389 | 5209498 | 2587 4248 | 4 | 7 1533.74/1534.26 c 865s | 25 | 12141299 | 5221398 | 2587 4257 | 4 | 7 1535.74/1536.27 c 867s | 25 | 12168221 | 5233598 | 2587 4267 | 4 | 7 1537.74/1538.28 c 869s | 25 | 12193472 | 5244698 | 2587 4275 | 4 | 7 1539.74/1540.29 c 871s | 25 | 12221287 | 5256998 | 2587 4284 | 4 | 7 1541.75/1542.29 c 873s | 25 | 12251265 | 5269698 | 2587 4294 | 4 | 7 1543.84/1544.31 c 875s | 25 | 12280213 | 5282398 | 2587 4304 | 4 | 7 1545.84/1546.31 c 877s | 25 | 12308572 | 5294898 | 2587 4313 | 4 | 7 1547.84/1548.33 c 879s | 25 | 12337718 | 5307298 | 2587 4322 | 4 | 7 1549.84/1550.33 c 881s | 25 | 12363058 | 5318498 | 2587 4331 | 4 | 7 1551.84/1552.33 c 883s | 25 | 12388792 | 5329998 | 2587 4340 | 4 | 7 1553.84/1554.34 c 885s | 25 | 12415578 | 5341598 | 2587 4348 | 4 | 7 1555.84/1556.36 c 887s | 25 | 12441669 | 5353398 | 2587 4357 | 4 | 7 1557.84/1558.37 c 889s | 25 | 12469075 | 5364798 | 2587 4366 | 4 | 7 1559.84/1560.38 c 891s | 25 | 12497528 | 5376398 | 2587 4375 | 4 | 7 1561.94/1562.40 c 893s | 25 | 12524900 | 5388298 | 2587 4384 | 4 | 7 1563.94/1564.41 c 895s | 25 | 12550599 | 5399698 | 2587 4392 | 4 | 7 1565.94/1566.41 c 897s | 25 | 12576713 | 5411498 | 2587 4401 | 4 | 7 1567.93/1568.42 c 899s | 25 | 12603770 | 5423698 | 2587 4411 | 4 | 7 1569.93/1570.42 c 901s | 25 | 12629976 | 5436198 | 2587 4420 | 4 | 7 1571.93/1572.43 c 903s | 25 | 12653535 | 5448098 | 2587 4429 | 4 | 7 1573.93/1574.43 c 906s | 25 | 12676276 | 5458998 | 2587 4437 | 4 | 7 1575.94/1576.44 c 908s | 25 | 12701515 | 5471098 | 2587 4447 | 4 | 7 1577.93/1578.45 c 910s | 25 | 12729346 | 5483498 | 2587 4456 | 4 | 7 1579.93/1580.46 c 912s | 25 | 12753300 | 5495498 | 2587 4465 | 4 | 7 1581.93/1582.47 c 914s | 25 | 12780763 | 5508098 | 2587 4475 | 4 | 7 1583.93/1584.48 c 916s | 25 | 12808161 | 5520898 | 2587 4484 | 4 | 7 1585.93/1586.49 c 918s | 25 | 12835511 | 5532798 | 2587 4493 | 4 | 7 1588.04/1588.50 c 920s | 25 | 12862434 | 5544898 | 2587 4502 | 4 | 7 1590.03/1590.51 c 922s | 25 | 12888045 | 5556998 | 2587 4512 | 4 | 7 1592.03/1592.51 c 924s | 25 | 12917022 | 5569598 | 2587 4521 | 4 | 7 1594.03/1594.51 c 926s | 25 | 12943051 | 5581398 | 2587 4530 | 4 | 7 1596.03/1596.52 c 928s | 25 | 12969404 | 5594098 | 2587 4540 | 4 | 7 1598.03/1598.53 c 930s | 25 | 12994430 | 5605998 | 2587 4549 | 4 | 7 1600.03/1600.53 c 932s | 25 | 13022904 | 5618798 | 2587 4559 | 4 | 7 1602.02/1602.54 c 934s | 25 | 13050556 | 5631798 | 2587 4568 | 4 | 7 1604.02/1604.54 c 936s | 25 | 13075448 | 5643698 | 2587 4577 | 4 | 7 1606.02/1606.55 c 938s | 25 | 13101163 | 5655798 | 2587 4587 | 4 | 7 1608.02/1608.55 c 940s | 25 | 13127238 | 5668098 | 2587 4596 | 4 | 7 1610.03/1610.55 c 942s | 25 | 13155843 | 5680898 | 2587 4606 | 4 | 7 1612.02/1612.56 c 944s | 25 | 13184846 | 5693798 | 2587 4615 | 4 | 7 1614.03/1614.56 c 946s | 25 | 13213618 | 5704298 | 2587 4623 | 4 | 7 1616.03/1616.57 c 948s | 25 | 13245495 | 5715698 | 2587 4632 | 4 | 7 1618.03/1618.58 c 950s | 25 | 13277505 | 5728098 | 2587 4641 | 4 | 7 1620.03/1620.59 c 952s | 25 | 13307031 | 5739998 | 2587 4650 | 4 | 7 1622.03/1622.59 c 954s | 25 | 13334764 | 5751998 | 2587 4660 | 4 | 7 1624.13/1624.61 c 956s | 25 | 13363844 | 5763398 | 2587 4668 | 4 | 7 1626.13/1626.61 c 958s | 25 | 13391589 | 5774798 | 2587 4677 | 4 | 7 1628.13/1628.62 c 960s | 25 | 13422969 | 5787098 | 2587 4686 | 4 | 7 1630.12/1630.64 c 962s | 25 | 13452468 | 5799098 | 2587 4695 | 4 | 7 1632.12/1632.64 c 964s | 25 | 13482343 | 5811598 | 2587 4705 | 4 | 7 1634.13/1634.65 c 966s | 25 | 13510235 | 5822898 | 2587 4713 | 4 | 7 1636.12/1636.65 c 968s | 25 | 13540104 | 5835098 | 2587 4722 | 4 | 7 1638.12/1638.66 c 970s | 25 | 13571820 | 5847698 | 2587 4732 | 4 | 7 1640.12/1640.66 c 972s | 25 | 13601568 | 5860198 | 2587 4741 | 4 | 7 1642.12/1642.68 c 974s | 25 | 13628625 | 5871998 | 2587 4750 | 4 | 7 1644.13/1644.68 c 976s | 25 | 13659321 | 5884898 | 2587 4760 | 4 | 7 1646.12/1646.68 c 978s | 25 | 13686825 | 5896498 | 2587 4769 | 4 | 7 1648.22/1648.70 c 980s | 25 | 13712475 | 5907898 | 2587 4778 | 4 | 7 1650.22/1650.70 c 982s | 25 | 13741894 | 5919698 | 2587 4786 | 4 | 7 1652.22/1652.70 c 984s | 25 | 13771142 | 5931598 | 2587 4795 | 4 | 7 1654.22/1654.71 c 986s | 25 | 13799178 | 5943598 | 2587 4805 | 4 | 7 1656.23/1656.72 c 988s | 25 | 13827356 | 5955398 | 2587 4813 | 4 | 7 1658.22/1658.73 c 990s | 25 | 13852806 | 5967198 | 2587 4822 | 4 | 7 1660.22/1660.74 c 992s | 25 | 13880262 | 5979298 | 2587 4832 | 4 | 7 1662.22/1662.74 c 994s | 25 | 13909336 | 5991798 | 2587 4841 | 4 | 7 1664.22/1664.75 c 996s | 25 | 13937296 | 6003998 | 2587 4850 | 4 | 7 1666.22/1666.75 c 998s | 25 | 13967389 | 6015898 | 2587 4859 | 4 | 7 1668.23/1668.76 c 1000s | 25 | 13996325 | 6027898 | 2587 4868 | 4 | 7 1670.22/1670.78 c 1002s | 25 | 14019371 | 6038398 | 2587 4876 | 4 | 7 1672.22/1672.79 c 1004s | 25 | 14042695 | 6049298 | 2587 4885 | 4 | 7 1674.22/1674.79 c 1006s | 25 | 14069011 | 6061398 | 2587 4894 | 4 | 7 1676.32/1676.80 c 1008s | 25 | 14098347 | 6073998 | 2587 4903 | 4 | 7 1678.32/1678.80 c 1010s | 25 | 14126102 | 6086898 | 2587 4913 | 4 | 7 1680.32/1680.81 c 1012s | 25 | 14154999 | 6100198 | 2587 4923 | 4 | 7 1682.32/1682.81 c 1014s | 25 | 14178836 | 6111498 | 2587 4932 | 4 | 7 1684.32/1684.83 c 1016s | 25 | 14205915 | 6123498 | 2587 4941 | 4 | 7 1686.32/1686.83 c 1018s | 25 | 14234838 | 6136098 | 2587 4950 | 4 | 7 1688.32/1688.84 c 1020s | 25 | 14263340 | 6148598 | 2587 4960 | 4 | 7 1690.32/1690.84 c 1022s | 25 | 14291010 | 6160898 | 2587 4969 | 4 | 7 1692.31/1692.84 c 1024s | 25 | 14317996 | 6173198 | 2587 4978 | 4 | 7 1694.31/1694.86 c 1026s | 25 | 14347999 | 6186498 | 2587 4989 | 4 | 7 1696.31/1696.86 c 1028s | 25 | 14379142 | 6199898 | 2587 4999 | 4 | 7 1698.31/1698.86 c 1030s | 25 | 14407540 | 6212398 | 2587 5008 | 4 | 7 1700.31/1700.87 c 1032s | 25 | 14438710 | 6225298 | 2587 5018 | 4 | 7 1702.32/1702.89 c 1034s | 25 | 14470038 | 6238098 | 2587 5028 | 4 | 7 1704.31/1704.89 c 1036s | 25 | 14497875 | 6250498 | 2587 5037 | 4 | 7 1706.31/1706.89 c 1038s | 25 | 14524131 | 6262198 | 2587 5046 | 4 | 7 1708.41/1708.90 c 1040s | 25 | 14550935 | 6273598 | 2587 5054 | 4 | 7 1710.41/1710.91 c 1042s | 25 | 14576569 | 6285098 | 2587 5063 | 4 | 7 1712.41/1712.92 c 1044s | 25 | 14606907 | 6297398 | 2587 5073 | 4 | 7 1714.42/1714.93 c 1046s | 25 | 14638064 | 6309498 | 2587 5082 | 4 | 7 1716.41/1716.94 c 1048s | 25 | 14670137 | 6322298 | 2587 5091 | 4 | 7 1718.41/1718.95 c 1050s | 25 | 14700599 | 6334598 | 2587 5101 | 4 | 7 1720.41/1720.96 c 1052s | 25 | 14732124 | 6347098 | 2587 5110 | 4 | 7 1722.41/1722.96 c 1054s | 25 | 14763762 | 6359698 | 2587 5120 | 4 | 7 1724.41/1724.97 c 1056s | 25 | 14794610 | 6371998 | 2587 5129 | 4 | 7 1726.41/1726.98 c 1058s | 25 | 14823665 | 6384398 | 2587 5138 | 4 | 7 1728.41/1728.98 c 1060s | 25 | 14852038 | 6397098 | 2587 5148 | 4 | 7 1730.41/1730.99 c 1062s | 25 | 14880999 | 6409998 | 2587 5158 | 4 | 7 1732.50/1733.00 c 1064s | 25 | 14911045 | 6422598 | 2587 5167 | 4 | 7 1734.50/1735.02 c 1066s | 25 | 14943277 | 6434898 | 2587 5177 | 4 | 7 1736.51/1737.02 c 1068s | 25 | 14974185 | 6447898 | 2587 5186 | 4 | 7 1738.50/1739.02 c 1070s | 25 | 15002755 | 6460598 | 2587 5196 | 4 | 7 1740.50/1741.03 c 1072s | 25 | 15029422 | 6472498 | 2587 5205 | 4 | 7 1742.50/1743.04 c 1074s | 25 | 15057191 | 6484598 | 2587 5214 | 4 | 7 1744.51/1745.06 c 1076s | 25 | 15084198 | 6496898 | 2587 5224 | 4 | 7 1746.51/1747.07 c 1078s | 25 | 15111457 | 6508798 | 2587 5233 | 4 | 7 1748.52/1749.07 c 1080s | 25 | 15140167 | 6521198 | 2587 5242 | 4 | 7 1750.51/1751.07 c 1082s | 25 | 15165018 | 6532998 | 2587 5251 | 4 | 7 1752.51/1753.09 c 1084s | 25 | 15195022 | 6545698 | 2587 5261 | 4 | 7 1754.61/1755.10 c 1086s | 25 | 15225543 | 6558798 | 2587 5270 | 4 | 7 1756.61/1757.11 c 1088s | 25 | 15253688 | 6570698 | 2587 5279 | 4 | 7 1758.61/1759.11 c 1090s | 25 | 15280812 | 6582998 | 2587 5289 | 4 | 7 1760.61/1761.11 c 1092s | 25 | 15310288 | 6595898 | 2587 5299 | 4 | 7 1762.61/1763.12 c 1094s | 25 | 15334905 | 6607198 | 2587 5307 | 4 | 7 1764.61/1765.13 c 1096s | 25 | 15363192 | 6619698 | 2587 5317 | 4 | 7 1766.61/1767.14 c 1098s | 25 | 15388385 | 6631798 | 2587 5326 | 4 | 7 1768.61/1769.14 c 1100s | 25 | 15413501 | 6642998 | 2587 5334 | 4 | 7 1770.61/1771.16 c 1102s | 25 | 15440073 | 6655198 | 2587 5344 | 4 | 7 1772.61/1773.17 c 1104s | 25 | 15467024 | 6667498 | 2587 5353 | 4 | 7 1774.61/1775.18 c 1106s | 25 | 15498061 | 6680698 | 2587 5363 | 4 | 7 1776.61/1777.18 c 1108s | 25 | 15525043 | 6692698 | 2587 5372 | 4 | 7 1778.60/1779.19 c 1110s | 25 | 15551352 | 6704798 | 2587 5381 | 4 | 7 1780.70/1781.20 c 1112s | 25 | 15578920 | 6716798 | 2587 5390 | 4 | 7 1782.71/1783.21 c 1114s | 25 | 15606262 | 6728898 | 2587 5399 | 4 | 7 1784.70/1785.22 c 1116s | 25 | 15631204 | 6740598 | 2587 5408 | 4 | 7 1786.70/1787.22 c 1118s | 25 | 15658038 | 6752798 | 2587 5418 | 4 | 7 1788.70/1789.23 c 1120s | 25 | 15683800 | 6764798 | 2587 5427 | 4 | 7 1790.70/1791.24 c 1122s | 25 | 15711581 | 6777298 | 2587 5436 | 4 | 7 1792.70/1793.25 c 1124s | 25 | 15737126 | 6788698 | 2587 5445 | 4 | 7 1794.71/1795.25 c 1126s | 25 | 15760290 | 6800198 | 2587 5453 | 4 | 7 1796.70/1797.26 c 1128s | 25 | 15785418 | 6812298 | 2587 5463 | 4 | 7 1798.70/1799.27 c 1130s | 25 | 15813357 | 6824698 | 2587 5472 | 4 | 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-4093496-1466111406/watcher-4093496-1466111406 -o /tmp/evaluation-result-4093496-1466111406/solver-4093496-1466111406 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466109573-18930 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093496-1466111406.wbo pid=19225 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.01 2.02 2.19 3/180 19228 /proc/meminfo: memFree=31539356/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=734652 CPUtime=0 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 2740 0 0 0 0 0 0 0 20 0 4 0 13187253 752283648 3102 33554432000 4194304 16246674 140735866315072 140735866314496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19228/statm: 184175 3111 441 2943 0 181069 0 [pid=19228/tid=19229] ppid=19225 vsize=752060 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 770109440 3172 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=757180 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 775352320 3189 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=761276 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13187253 779546624 3204 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100175 s] /proc/loadavg: 2.01 2.02 2.19 3/180 19228 /proc/meminfo: memFree=31539356/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 15901 0 0 0 7 2 0 0 20 0 4 0 13187253 1247350784 16255 33554432000 4194304 16246674 140735866315072 140735866314496 12459048 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19228/statm: 304529 16258 611 2943 0 301423 0 [pid=19228/tid=19229] ppid=19225 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1247350784 16260 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1247350784 16261 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13187253 1247350784 16264 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200497 s] /proc/loadavg: 2.01 2.02 2.19 3/180 19228 /proc/meminfo: memFree=31539356/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 23958 0 0 0 16 3 0 0 20 0 4 0 13187253 1247350784 24312 33554432000 4194304 16246674 140735866315072 140735866296960 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19228/statm: 304529 24314 611 2943 0 301423 0 [pid=19228/tid=19229] ppid=19225 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1247350784 24316 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1247350784 24316 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13187253 1247350784 24319 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300407 s] /proc/loadavg: 2.01 2.02 2.19 3/180 19228 /proc/meminfo: memFree=31539356/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 30825 0 0 0 25 4 0 0 20 0 4 0 13187253 1247350784 31179 33554432000 4194304 16246674 140735866315072 140735866296960 12486453 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19228/statm: 304529 31180 611 2943 0 301423 0 [pid=19228/tid=19229] ppid=19225 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1247350784 31180 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1247350784 31180 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13187253 1247350784 31180 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700381 s] /proc/loadavg: 2.01 2.02 2.19 3/180 19228 /proc/meminfo: memFree=31539356/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 52778 0 0 0 63 6 0 0 20 0 4 0 13187253 1247350784 53132 33554432000 4194304 16246674 140735866315072 140735866296960 6145278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19228/statm: 304529 53134 613 2943 0 301423 0 [pid=19228/tid=19229] ppid=19225 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1247350784 53135 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1247350784 53138 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13187253 1247350784 53138 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50039 s] /proc/loadavg: 2.01 2.02 2.19 3/184 19232 /proc/meminfo: memFree=31025032/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1218116 CPUtime=1.49 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 99767 0 0 0 136 13 0 0 20 0 4 0 13187253 1247350784 100113 33554432000 4194304 16246674 140735866315072 140735866296960 5585885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19228/statm: 304529 100124 821 2943 0 301423 0 [pid=19228/tid=19229] ppid=19225 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1247350784 100130 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1247350784 100136 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13187253 1247350784 100142 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.10042 s] /proc/loadavg: 2.01 2.02 2.19 3/184 19232 /proc/meminfo: memFree=29788744/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1219140 CPUtime=3.09 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 245822 0 0 0 275 34 0 0 20 0 4 0 13187253 1248399360 246147 33554432000 4194304 16246674 140735866315072 140735866314384 5711576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19228/statm: 304785 246147 881 2943 0 301679 0 [pid=19228/tid=19229] ppid=19225 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1248399360 246147 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1248399360 246147 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13187253 1248399360 246147 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1219140 [startup+6.30042 s] /proc/loadavg: 2.01 2.02 2.19 3/184 19232 /proc/meminfo: memFree=29467604/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 267554 0 0 0 592 37 0 0 20 0 4 0 13187253 1337528320 267879 33554432000 4194304 16246674 140735866315072 140735866296960 6836714 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19228/statm: 326545 267879 882 2943 0 323439 0 [pid=19228/tid=19229] ppid=19225 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1337528320 267879 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1337528320 267879 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13187253 1337528320 267879 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.01 2.02 2.19 4/184 19232 /proc/meminfo: memFree=29466488/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1306180 CPUtime=12.68 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 267674 0 0 0 1231 37 0 0 20 0 4 0 13187253 1337528320 267999 33554432000 4194304 16246674 140735866315072 140735866296960 13775088 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19228/statm: 326545 267999 882 2943 0 323439 0 [pid=19228/tid=19229] ppid=19225 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1337528320 267999 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1337528320 267999 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13187253 1337528320 267999 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.00 2.02 2.18 3/184 19232 /proc/meminfo: memFree=29463668/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1308228 CPUtime=25.48 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 268186 0 0 0 2511 37 0 0 20 0 4 0 13187253 1339625472 268511 33554432000 4194304 16246674 140735866315072 140735866296960 5828013 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19228/statm: 327057 268511 882 2943 0 323951 0 [pid=19228/tid=19229] ppid=19225 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1339625472 268511 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1339625472 268511 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13187253 1339625472 268511 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.00 2.02 2.18 3/184 19232 /proc/meminfo: memFree=29459944/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1311300 CPUtime=51.08 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 268949 0 0 0 5070 38 0 0 20 0 4 0 13187253 1342771200 269274 33554432000 4194304 16246674 140735866315072 140735866296960 5711496 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19228/statm: 327825 269274 883 2943 0 324719 0 [pid=19228/tid=19229] ppid=19225 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1342771200 269274 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1342771200 269274 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13187253 1342771200 269274 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1311300 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.17 4/183 19233 /proc/meminfo: memFree=29454916/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1311300 CPUtime=102.27 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 268955 0 0 0 10189 38 0 0 20 0 4 0 13187253 1342771200 269280 33554432000 4194304 16246674 140735866315072 140735866296960 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19228/statm: 327825 269280 883 2943 0 324719 0 [pid=19228/tid=19229] ppid=19225 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1342771200 269280 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1342771200 269280 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13187253 1342771200 269280 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1311300 ################ # More data... # ################ /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1337924 [startup+1362.3 s] /proc/loadavg: 2.04 2.02 2.04 3/183 19264 /proc/meminfo: memFree=29400728/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1337924 CPUtime=1361.87 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 275976 0 0 0 136130 57 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 140735866296960 13820907 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19228/statm: 334481 275942 886 2943 0 331375 0 [pid=19228/tid=19229] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1337924 [startup+1422.3 s] /proc/loadavg: 2.06 2.03 2.04 3/182 19265 /proc/meminfo: memFree=29400820/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1337924 CPUtime=1421.86 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 275983 0 0 0 142129 57 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 140735866296960 6011700 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19228/statm: 334481 275942 886 2943 0 331375 0 [pid=19228/tid=19229] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1337924 [startup+1482.3 s] /proc/loadavg: 2.02 2.02 2.03 3/183 19267 /proc/meminfo: memFree=29400568/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1337924 CPUtime=1481.84 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 275983 0 0 0 148126 58 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 140735866296960 13198546 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19228/statm: 334481 275942 886 2943 0 331375 0 [pid=19228/tid=19229] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1337924 [startup+1542.31 s] /proc/loadavg: 2.04 2.03 2.03 4/183 19268 /proc/meminfo: memFree=29400808/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1337924 CPUtime=1541.85 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 275983 0 0 0 154126 59 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 140735866296960 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19228/statm: 334481 275942 886 2943 0 331375 0 [pid=19228/tid=19229] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1337924 [startup+1602.3 s] /proc/loadavg: 2.12 2.05 2.03 3/183 19269 /proc/meminfo: memFree=29396716/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1337924 CPUtime=1601.82 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 275983 0 0 0 160123 59 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 140735866296960 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19228/statm: 334481 275942 886 2943 0 331375 0 [pid=19228/tid=19229] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1337924 [startup+1662.3 s] /proc/loadavg: 2.14 2.07 2.04 3/183 19270 /proc/meminfo: memFree=29395564/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1337924 CPUtime=1661.82 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 275983 0 0 0 166121 61 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 140735866296960 5599968 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19228/statm: 334481 275942 886 2943 0 331375 0 [pid=19228/tid=19229] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1337924 [startup+1722.3 s] /proc/loadavg: 2.29 2.12 2.05 3/183 19271 /proc/meminfo: memFree=29395436/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1337924 CPUtime=1721.81 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 275983 0 0 0 172120 61 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 140735866296960 5823863 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19228/statm: 334481 275942 886 2943 0 331375 0 [pid=19228/tid=19229] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1337924 [startup+1782.3 s] /proc/loadavg: 2.20 2.12 2.06 3/183 19273 /proc/meminfo: memFree=29395060/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1337924 CPUtime=1781.8 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 275983 0 0 0 178118 62 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 140735866296960 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19228/statm: 334481 275942 886 2943 0 331375 0 [pid=19228/tid=19229] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1337924 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.22 2.13 2.06 3/184 19276 /proc/meminfo: memFree=29394536/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1337924 CPUtime=1800 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 275983 0 0 0 179938 62 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 140735866296960 5823340 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19228/statm: 334481 275942 886 2943 0 331375 0 [pid=19228/tid=19229] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1337924 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 19228 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.22 2.13 2.06 3/184 19276 /proc/meminfo: memFree=29394536/32872528 swapFree=302776/319128 [pid=19228] ppid=19225 vsize=1337924 CPUtime=1800 cores=1,3,5,7 /proc/19228/stat : 19228 (toysat) R 19225 19228 16914 0 -1 4202496 275983 0 0 0 179938 62 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 140735866296960 5823340 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19228/statm: 334481 275942 886 2943 0 331375 0 [pid=19228/tid=19229] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19229/stat : 19229 (toysat) S 19225 19228 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925741612272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19228/tid=19230] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19230/stat : 19230 (toysat) S 19225 19228 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925731122416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=19228/tid=19231] ppid=19225 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/19228/task/19231/stat : 19231 (toysat) S 19225 19228 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13187253 1370034176 275942 33554432000 4194304 16246674 140735866315072 139925720648880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1337924 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.01 CPU user time (s): 1799.39 CPU system time (s): 0.621905 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 1337924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.39 system time used= 0.621905 maximum resident set size= 1103768 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275983 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= 380 involuntary context switches= 1839 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.78927 second user time and 6.73698 second system time The end
Begin job on node128 at 2016-06-16 23:10:06 IDJOB=4093496 IDBENCH=79659 IDSOLVER=2553 FILE ID=node128/4093496-1466111406 RUNJOBID= node128-1466109573-18930 PBS_JOBID= 19904049 Free space on /tmp= 71692 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-geom30a-3_wcsp.wbo COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093496-1466111406/watcher-4093496-1466111406 -o /tmp/evaluation-result-4093496-1466111406/solver-4093496-1466111406 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466109573-18930 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093496-1466111406.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 531d8636127ef9c1ca088d2ef0ec4c38 RANDOM SEED=1083329456 node128.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.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 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.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 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.768 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.57 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.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 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.56 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.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31546308 kB Buffers: 63624 kB Cached: 172220 kB SwapCached: 2096 kB Active: 199532 kB Inactive: 101832 kB Active(anon): 66292 kB Inactive(anon): 1600 kB Active(file): 133240 kB Inactive(file): 100232 kB Unevictable: 319128 kB Mlocked: 302776 kB SwapTotal: 67108856 kB SwapFree: 67098972 kB Dirty: 33264 kB Writeback: 0 kB AnonPages: 390004 kB Mapped: 9524 kB Shmem: 0 kB Slab: 571676 kB SReclaimable: 15256 kB SUnreclaim: 556420 kB KernelStack: 1528 kB PageTables: 6992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1447696 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 24576 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= 71676 MiB End job on node128 at 2016-06-16 23:40:07