Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.43 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_3.opb |
| MD5SUM | 31a0e10ee8ac2049545ec8eab33f6948 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 70 |
| Best CPU time to get the best result obtained on this benchmark | 1800.05 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 69 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 23 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 6316 |
| Sum of products size (including duplicates) | 12632 |
| Number of different products | 6316 |
| Sum of products size | 12632 |
0.00/0.00 c 2016-06-18T20:36:26+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106637-1466274985.opb"] 0.00/0.01 c use --random-gen="1552261055 95370504 3593610283 2687941383 3624761680 1533672856 4065907354 1107807081 2121913436 683774656 1567696161 2830634231 1121441133 2981719389 768905296 3337502486 301426712 1561065570 1187120502 1711307303 3943345641 2620511017 1579387317 467505985 635584629 2619088209 3796944930 1691712244 1014146802 3414786678 1239093415 3922359370 1880926606 1783447144 4196914181 758501135 1073713894 1092477142 2584115487 3698967170 2395533395 248826108 608873032 3851784910 4167798631 1682005518 914733793 3303981270 1622898049 3241111986 3834945231 1274896064 1844963926 2191944528 407325142 3352148454 3147566135 470346841 1921353001 1709163814 840979432 3919094589 1773004691 1195463778 4055234917 2643167176 2423708398 648493756 1812475644 1889712730 1730189207 159492267 1390031979 444505302 2154868568 4238861067 3974233069 37636984 1272064794 3613939467 936310102 1876142083 327362267 4053959185 2465090460 1748357743 2108443186 919489609 779366982 2672181374 2879300813 899826188 4225990995 1223849791 3076131873 1327923158 3393579046 2841512194 154780550 3363379843 632222556 1002171586 680063929 1812966939 1186971065 1406303794 3357934282 2528850990 1965174745 2991251078 3292599117 908829906 4023225340 3754749293 1100102955 3852254786 293180095 3834763242 983745564 1967775473 482672712 2785852771 3425569125 3058191407 3401917847 4093342127 4249765266 3737940383 1715814239 3578474262 2833926311 846403976 989477104 1412162299 3564503033 2735932983 3527279255 3969685114 1485212072 3663297461 1790341630 1062355725 2657421380 1257294894 2650074938 2227602525 589068289 3381511253 3595060393 1987876110 3131140354 128751960 3373639831 3448120116 1883113950 939135792 325037480 1902333027 4129843410 1411667984 3000918859 1138814047 3663829973 2278929669 2667082159 2857262596 1656632745 4206316656 664193087 3566326042 706417588 2469724016 4208800531 411013909 2671240480 3484251280 3602384753 2137670413 2014571766 447655667 4019503740 583131387 487676229 1587786456 1153648381 435618671 4115859955 4185469059 2793806284 2263289366 3602929744 2696630744 1851054636 465950495 749004724 2975914529 4070525035 305350201 1770962043 1050273516 2555990109 64861329 938523026 2027631710 3263995186 2699153121 1367956245 346805829 3596172943 4184168874 2907571482 515470979 1944770306 1907239623 1616171505 2810508371 1993574293 4186532348 968548109 1263961782 2643343249 428750853 1509335517 1608472610 3888996217 3361530770 2043241902 76361991 1043920338 138055897 3320166842 925478194 2641298033 403366686 723339561 2663477898 1106592705 3893043690 2337420529 1608842353 2244450196 2236763207 4233822169 2670158275 706718414 1646833695 116896053 188954247 1918931402 2246635801 338822391 535685111 1906280029 2312835181 607527487 45941149 255 362436" option to reproduce the execution 0.00/0.03 c #vars 500 0.00/0.03 c #constraints 500 0.09/0.14 c BCD2: Hardening is enabled. 0.09/0.14 c BCD2: BiasedSearch is enabled. 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.09/0.17 c 0.0s | 0 | 1146 | 0 | 6649 0 | 0 | 0 0.09/0.17 c #cpu_time = 0.020s 0.09/0.17 c #wall_clock_time = 0.020s 0.09/0.17 c #decision = 1146 0.09/0.17 c #random_decision = 2 0.09/0.17 c #conflict = 0 0.09/0.17 c #restart = 0 0.09/0.17 o 391 0.09/0.17 c BCD2: updating upper bound: 500 -> 390 0.09/0.17 c BCD2: 0 <= obj <= 390 0.09/0.17 c BCD2: #cores=0, #unrelaxed=500, #relaxed=0, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.09/0.18 c 0.0s | 0 | 351 | 0 | 6649 0 | 0 | 0 0.09/0.18 c #cpu_time = 0.015s 0.09/0.18 c #wall_clock_time = 0.015s 0.09/0.18 c #decision = 351 0.09/0.18 c #random_decision = 0 0.09/0.18 c #conflict = 0 0.09/0.18 c #restart = 0 0.09/0.18 c BCD2: found a new core of size 11: cost of the new core is >=1 0.09/0.18 c lower bound updated to 1 0.09/0.18 c BCD2: 1 <= obj <= 390 0.09/0.18 c BCD2: #cores=1, #unrelaxed=489, #relaxed=11, #hardened=0 0.09/0.18 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.19/0.22 c 0.0s | 0 | 354 | 0 | 6649 0 | 0 | 0 0.19/0.22 c #cpu_time = 0.013s 0.19/0.22 c #wall_clock_time = 0.013s 0.19/0.22 c #decision = 354 0.19/0.22 c #random_decision = 0 0.19/0.22 c #conflict = 0 0.19/0.22 c #restart = 0 0.19/0.22 c BCD2: found a new core of size 11: cost of the new core is >=1 0.19/0.22 c lower bound updated to 2 0.19/0.22 c BCD2: 2 <= obj <= 390 0.19/0.22 c BCD2: #cores=2, #unrelaxed=478, #relaxed=22, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=3 bias=3/4 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.19/0.24 c 0.0s | 0 | 354 | 0 | 6649 0 | 0 | 0 0.19/0.24 c #cpu_time = 0.013s 0.19/0.24 c #wall_clock_time = 0.013s 0.19/0.24 c #decision = 354 0.19/0.24 c #random_decision = 0 0.19/0.24 c #conflict = 0 0.19/0.24 c #restart = 0 0.19/0.24 c BCD2: found a new core of size 13: cost of the new core is >=1 0.19/0.24 c lower bound updated to 3 0.19/0.24 c BCD2: 3 <= obj <= 390 0.19/0.24 c BCD2: #cores=3, #unrelaxed=465, #relaxed=35, #hardened=0 0.19/0.24 c BCD2: #sat=1 #unsat=4 bias=4/5 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.19/0.25 c 0.0s | 0 | 344 | 0 | 6649 0 | 0 | 0 0.19/0.25 c #cpu_time = 0.012s 0.19/0.25 c #wall_clock_time = 0.012s 0.19/0.25 c #decision = 344 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 0 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: found a new core of size 12: cost of the new core is >=1 0.19/0.25 c lower bound updated to 4 0.19/0.25 c BCD2: 4 <= obj <= 390 0.19/0.25 c BCD2: #cores=4, #unrelaxed=453, #relaxed=47, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=5 bias=5/6 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.19/0.26 c 0.0s | 0 | 341 | 0 | 6649 0 | 0 | 0 0.19/0.26 c #cpu_time = 0.013s 0.19/0.26 c #wall_clock_time = 0.013s 0.19/0.26 c #decision = 341 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 14: cost of the new core is >=1 0.19/0.26 c lower bound updated to 5 0.19/0.26 c BCD2: 5 <= obj <= 390 0.19/0.26 c BCD2: #cores=5, #unrelaxed=439, #relaxed=61, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=6 bias=6/7 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.19/0.28 c 0.0s | 0 | 337 | 0 | 6649 0 | 0 | 0 0.19/0.28 c #cpu_time = 0.012s 0.19/0.28 c #wall_clock_time = 0.012s 0.19/0.28 c #decision = 337 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 0 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 14: cost of the new core is >=1 0.19/0.28 c lower bound updated to 6 0.19/0.28 c BCD2: 6 <= obj <= 390 0.19/0.28 c BCD2: #cores=6, #unrelaxed=425, #relaxed=75, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=7 bias=7/8 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.19/0.29 c 0.0s | 0 | 332 | 0 | 6649 0 | 0 | 0 0.19/0.29 c #cpu_time = 0.012s 0.19/0.29 c #wall_clock_time = 0.012s 0.19/0.29 c #decision = 332 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 12: cost of the new core is >=1 0.19/0.29 c lower bound updated to 7 0.19/0.29 c BCD2: 7 <= obj <= 390 0.19/0.29 c BCD2: #cores=7, #unrelaxed=413, #relaxed=87, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=8 bias=8/9 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.29/0.31 c 0.0s | 0 | 340 | 0 | 6649 0 | 0 | 0 0.29/0.31 c #cpu_time = 0.012s 0.29/0.31 c #wall_clock_time = 0.012s 0.29/0.31 c #decision = 340 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 0 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 11: cost of the new core is >=1 0.29/0.31 c lower bound updated to 8 0.29/0.31 c BCD2: 8 <= obj <= 390 0.29/0.31 c BCD2: #cores=8, #unrelaxed=402, #relaxed=98, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=9 bias=9/10 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.29/0.32 c 0.0s | 0 | 336 | 0 | 6649 0 | 0 | 0 0.29/0.32 c #cpu_time = 0.010s 0.29/0.32 c #wall_clock_time = 0.010s 0.29/0.32 c #decision = 336 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 11: cost of the new core is >=1 0.29/0.32 c lower bound updated to 9 0.29/0.32 c BCD2: 9 <= obj <= 390 0.29/0.32 c BCD2: #cores=9, #unrelaxed=391, #relaxed=109, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=10 bias=10/11 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.34 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.29/0.35 c 0.0s | 0 | 344 | 0 | 6649 0 | 0 | 0 0.29/0.35 c #cpu_time = 0.010s 0.29/0.35 c #wall_clock_time = 0.010s 0.29/0.35 c #decision = 344 0.29/0.35 c #random_decision = 0 0.29/0.35 c #conflict = 0 0.29/0.35 c #restart = 0 0.29/0.35 c BCD2: found a new core of size 13: cost of the new core is >=1 0.29/0.35 c lower bound updated to 10 0.29/0.35 c BCD2: 10 <= obj <= 390 0.29/0.35 c BCD2: #cores=10, #unrelaxed=378, #relaxed=122, #hardened=0 0.29/0.35 c BCD2: #sat=1 #unsat=11 bias=11/12 0.29/0.35 c Solving starts ... 0.29/0.35 c ============================[ Search Statistics ]============================ 0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.35 c | | | | Limit GC | Var | Constra 0.29/0.35 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.29/0.36 c 0.0s | 0 | 336 | 0 | 6649 0 | 0 | 0 0.29/0.36 c #cpu_time = 0.009s 0.29/0.36 c #wall_clock_time = 0.009s 0.29/0.36 c #decision = 336 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 0 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: found a new core of size 11: cost of the new core is >=1 0.29/0.36 c lower bound updated to 11 0.29/0.36 c BCD2: 11 <= obj <= 390 0.29/0.36 c BCD2: #cores=11, #unrelaxed=367, #relaxed=133, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=12 bias=12/13 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.36 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.29/0.37 c 0.0s | 0 | 355 | 0 | 6649 0 | 0 | 0 0.29/0.37 c #cpu_time = 0.010s 0.29/0.37 c #wall_clock_time = 0.010s 0.29/0.37 c #decision = 355 0.29/0.37 c #random_decision = 0 0.29/0.37 c #conflict = 0 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: found a new core of size 12: cost of the new core is >=1 0.29/0.37 c lower bound updated to 12 0.29/0.37 c BCD2: 12 <= obj <= 390 0.29/0.37 c BCD2: #cores=12, #unrelaxed=355, #relaxed=145, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=13 bias=13/14 0.29/0.37 c Solving starts ... 0.29/0.37 c ============================[ Search Statistics ]============================ 0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.37 c | | | | Limit GC | Var | Constra 0.29/0.37 c ============================================================================= 0.29/0.37 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.29/0.38 c 0.0s | 0 | 348 | 0 | 6649 0 | 0 | 0 0.29/0.38 c #cpu_time = 0.010s 0.29/0.38 c #wall_clock_time = 0.010s 0.29/0.38 c #decision = 348 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 0 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: found a new core of size 12: cost of the new core is >=1 0.29/0.38 c lower bound updated to 13 0.29/0.38 c BCD2: 13 <= obj <= 390 0.29/0.38 c BCD2: #cores=13, #unrelaxed=343, #relaxed=157, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=14 bias=14/15 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.29/0.39 c 0.0s | 0 | 340 | 0 | 6649 0 | 0 | 0 0.29/0.39 c #cpu_time = 0.009s 0.29/0.39 c #wall_clock_time = 0.009s 0.29/0.39 c #decision = 340 0.29/0.39 c #random_decision = 0 0.29/0.39 c #conflict = 0 0.29/0.39 c #restart = 0 0.29/0.39 c BCD2: found a new core of size 12: cost of the new core is >=1 0.29/0.39 c lower bound updated to 14 0.29/0.39 c BCD2: 14 <= obj <= 390 0.29/0.39 c BCD2: #cores=14, #unrelaxed=331, #relaxed=169, #hardened=0 0.29/0.39 c BCD2: #sat=1 #unsat=15 bias=15/16 0.29/0.40 c Solving starts ... 0.29/0.40 c ============================[ Search Statistics ]============================ 0.29/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.40 c | | | | Limit GC | Var | Constra 0.29/0.40 c ============================================================================= 0.29/0.40 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.39/0.41 c 0.0s | 0 | 332 | 0 | 6649 0 | 0 | 0 0.39/0.41 c #cpu_time = 0.009s 0.39/0.41 c #wall_clock_time = 0.009s 0.39/0.41 c #decision = 332 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 0 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: found a new core of size 13: cost of the new core is >=1 0.39/0.41 c lower bound updated to 15 0.39/0.41 c BCD2: 15 <= obj <= 390 0.39/0.41 c BCD2: #cores=15, #unrelaxed=318, #relaxed=182, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=16 bias=16/17 0.39/0.41 c Solving starts ... 0.39/0.41 c ============================[ Search Statistics ]============================ 0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.41 c | | | | Limit GC | Var | Constra 0.39/0.41 c ============================================================================= 0.39/0.41 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.39/0.42 c 0.0s | 0 | 321 | 0 | 6649 0 | 0 | 0 0.39/0.42 c #cpu_time = 0.009s 0.39/0.42 c #wall_clock_time = 0.009s 0.39/0.42 c #decision = 321 0.39/0.42 c #random_decision = 0 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 c BCD2: found a new core of size 11: cost of the new core is >=1 0.39/0.42 c lower bound updated to 16 0.39/0.42 c BCD2: 16 <= obj <= 390 0.39/0.42 c BCD2: #cores=16, #unrelaxed=307, #relaxed=193, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=17 bias=17/18 0.39/0.42 c Solving starts ... 0.39/0.42 c ============================[ Search Statistics ]============================ 0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.42 c | | | | Limit GC | Var | Constra 0.39/0.42 c ============================================================================= 0.39/0.42 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.39/0.43 c 0.0s | 0 | 318 | 0 | 6649 0 | 0 | 0 0.39/0.43 c #cpu_time = 0.009s 0.39/0.43 c #wall_clock_time = 0.009s 0.39/0.43 c #decision = 318 0.39/0.43 c #random_decision = 0 0.39/0.43 c #conflict = 0 0.39/0.43 c #restart = 0 0.39/0.43 c BCD2: found a new core of size 11: cost of the new core is >=1 0.39/0.43 c lower bound updated to 17 0.39/0.43 c BCD2: 17 <= obj <= 390 0.39/0.43 c BCD2: #cores=17, #unrelaxed=296, #relaxed=204, #hardened=0 0.39/0.43 c BCD2: #sat=1 #unsat=18 bias=18/19 0.39/0.43 c Solving starts ... 0.39/0.43 c ============================[ Search Statistics ]============================ 0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.43 c | | | | Limit GC | Var | Constra 0.39/0.43 c ============================================================================= 0.39/0.43 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.39/0.44 c 0.0s | 0 | 310 | 0 | 6649 0 | 0 | 0 0.39/0.44 c #cpu_time = 0.009s 0.39/0.44 c #wall_clock_time = 0.009s 0.39/0.44 c #decision = 310 0.39/0.44 c #random_decision = 0 0.39/0.44 c #conflict = 0 0.39/0.44 c #restart = 0 0.39/0.44 c BCD2: found a new core of size 13: cost of the new core is >=1 0.39/0.44 c lower bound updated to 18 0.39/0.44 c BCD2: 18 <= obj <= 390 0.39/0.44 c BCD2: #cores=18, #unrelaxed=283, #relaxed=217, #hardened=0 0.39/0.44 c BCD2: #sat=1 #unsat=19 bias=19/20 0.39/0.44 c Solving starts ... 0.39/0.44 c ============================[ Search Statistics ]============================ 0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.44 c | | | | Limit GC | Var | Constra 0.39/0.44 c ============================================================================= 0.39/0.44 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 0 0.39/0.46 c 0.0s | 0 | 1551 | 0 | 6649 0 | 0 | 0 0.39/0.46 c #cpu_time = 0.014s 0.39/0.46 c #wall_clock_time = 0.014s 0.39/0.46 c #decision = 1551 0.39/0.46 c #random_decision = 2 0.39/0.46 c #conflict = 0 0.39/0.46 c #restart = 0 0.39/0.46 o 107 0.39/0.46 c BCD2: updating upper bound: 390 -> 106 0.39/0.46 c BCD2: 18 <= obj <= 106 0.39/0.46 c BCD2: #cores=18, #unrelaxed=283, #relaxed=217, #hardened=0 0.39/0.46 c BCD2: #sat=2 #unsat=19 bias=19/21 0.39/0.46 c Solving starts ... 0.39/0.46 c ============================[ Search Statistics ]============================ 0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.46 c | | | | Limit GC | Var | Constra 0.39/0.46 c ============================================================================= 0.39/0.46 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 1 0.39/0.48 c 0.0s | 0 | 1228 | 3 | 6649 0 | 0 | 1 0.39/0.48 c #cpu_time = 0.015s 0.39/0.48 c #wall_clock_time = 0.015s 0.39/0.48 c #decision = 1228 0.39/0.48 c #random_decision = 6 0.39/0.48 c #conflict = 3 0.39/0.48 c #restart = 0 0.39/0.48 o 89 0.39/0.48 c BCD2: updating upper bound: 106 -> 88 0.39/0.48 c BCD2: 18 <= obj <= 88 0.39/0.48 c BCD2: #cores=18, #unrelaxed=283, #relaxed=217, #hardened=0 0.39/0.48 c BCD2: #sat=3 #unsat=19 bias=19/22 0.39/0.48 c Solving starts ... 0.39/0.48 c ============================[ Search Statistics ]============================ 0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.48 c | | | | Limit GC | Var | Constra 0.39/0.48 c ============================================================================= 0.39/0.48 c 0.0s | 0 | 0 | 0 | 6649 0 | 0 | 2 0.49/0.56 c 0.1s | 1 | 533 | 100 | 7314 0 | 0 | 2 0.59/0.68 c 0.2s | 2 | 1302 | 250 | 8046 0 | 0 | 2 0.89/0.92 c 0.4s | 3 | 2163 | 475 | 8851 0 | 0 | 2 1.28/1.38 c 0.9s | 4 | 2982 | 813 | 9737 0 | 0 | 2 1.98/2.03 c 1.5s | 5 | 3997 | 1320 | 10711 0 | 0 | 2 2.68/2.74 c 2.3s | 5 | 5748 | 1901 | 10711 0 | 0 | 2 2.68/2.74 c #cpu_time = 2.253s 2.68/2.74 c #wall_clock_time = 2.256s 2.68/2.74 c #decision = 5748 2.68/2.74 c #random_decision = 4 2.68/2.74 c #conflict = 1901 2.68/2.74 c #restart = 5 2.68/2.74 o 71 2.68/2.75 c BCD2: updating upper bound: 88 -> 70 2.68/2.75 c BCD2: 18 <= obj <= 70 2.68/2.75 c BCD2: #cores=18, #unrelaxed=283, #relaxed=217, #hardened=0 2.68/2.75 c BCD2: #sat=4 #unsat=19 bias=19/23 2.68/2.75 c Solving starts ... 2.68/2.75 c ============================[ Search Statistics ]============================ 2.68/2.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.68/2.75 c | | | | Limit GC | Var | Constra 2.68/2.75 c ============================================================================= 2.68/2.75 c 0.0s | 0 | 0 | 0 | 10711 0 | 0 | 3 2.78/2.87 c 0.1s | 1 | 462 | 100 | 10711 0 | 0 | 3 2.98/3.06 c 0.3s | 2 | 987 | 250 | 11783 0 | 0 | 3 3.29/3.37 c 0.6s | 3 | 1643 | 475 | 11783 0 | 0 | 3 3.68/3.77 c 1.0s | 4 | 2452 | 813 | 11783 0 | 0 | 3 4.28/4.36 c 1.6s | 5 | 3477 | 1320 | 12962 0 | 0 | 3 5.48/5.52 c 2.8s | 6 | 4846 | 2081 | 12962 0 | 0 | 3 7.37/7.40 c 4.7s | 7 | 6591 | 3223 | 14259 0 | 0 | 3 9.37/9.48 c 6.7s | 7 | 8244 | 4323 | 14259 0 | 0 | 3 10.67/10.77 c 8.0s | 8 | 9015 | 4936 | 14259 0 | 0 | 3 11.67/11.78 c 9.0s | 8 | 9773 | 5299 | 14259 0 | 0 | 3 11.67/11.78 c #cpu_time = 9.022s 11.67/11.78 c #wall_clock_time = 9.033s 11.67/11.78 c #decision = 9773 11.67/11.78 c #random_decision = 12 11.67/11.78 c #conflict = 5299 11.67/11.78 c #restart = 8 11.67/11.78 c BCD2: relaxing 283 and merging with 17 cores into a new core of size 489: cost of the new core is >=18 11.67/11.78 c lower bound updated to 19 11.67/11.78 c BCD2: 19 <= obj <= 70 11.67/11.78 c BCD2: #cores=2, #unrelaxed=0, #relaxed=500, #hardened=0 11.67/11.78 c BCD2: #sat=4 #unsat=20 bias=20/24 11.67/11.79 c Solving starts ... 11.67/11.79 c ============================[ Search Statistics ]============================ 11.67/11.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.67/11.79 c | | | | Limit GC | Var | Constra 11.67/11.79 c ============================================================================= 11.67/11.79 c 0.0s | 0 | 0 | 0 | 14259 0 | 72 | 3 12.27/12.35 c 0.6s | 1 | 1281 | 100 | 14259 0 | 72 | 130 12.97/13.09 c 1.3s | 2 | 2531 | 250 | 14259 0 | 72 | 130 13.97/14.03 c 2.2s | 3 | 3704 | 475 | 15685 0 | 72 | 130 15.57/15.62 c 3.8s | 4 | 6582 | 813 | 15685 0 | 72 | 130 17.57/17.62 c 5.8s | 4 | 9037 | 1313 | 15685 0 | 72 | 130 17.57/17.65 c 5.9s | 5 | 9053 | 1320 | 15685 0 | 72 | 130 19.77/19.85 c 8.1s | 5 | 12026 | 1820 | 15685 0 | 72 | 130 20.87/20.95 c 9.2s | 6 | 13350 | 2081 | 15685 0 | 72 | 130 23.07/23.16 c 11.4s | 6 | 15756 | 2581 | 15685 0 | 72 | 130 25.37/25.45 c 13.7s | 6 | 18191 | 3081 | 15685 0 | 72 | 130 25.96/26.03 c 14.2s | 7 | 18736 | 3223 | 15685 0 | 72 | 130 28.26/28.31 c 16.5s | 7 | 21567 | 3723 | 15685 0 | 72 | 130 30.66/30.77 c 19.0s | 7 | 23997 | 4223 | 17254 0 | 72 | 130 32.97/33.06 c 21.3s | 7 | 25905 | 4723 | 17254 0 | 72 | 130 34.07/34.20 c 22.4s | 8 | 26862 | 4936 | 17254 0 | 72 | 130 36.66/36.70 c 24.9s | 8 | 29393 | 5436 | 17254 0 | 72 | 130 38.86/38.98 c 27.2s | 8 | 31645 | 5936 | 17254 0 | 72 | 130 40.95/41.04 c 29.3s | 8 | 33621 | 6336 | 17254 0 | 72 | 130 43.35/43.43 c 31.6s | 8 | 35762 | 6836 | 17254 0 | 72 | 130 45.36/45.49 c 33.7s | 8 | 37484 | 7236 | 17254 0 | 72 | 130 46.66/46.75 c 35.0s | 9 | 38670 | 7506 | 17254 0 | 72 | 130 48.66/48.79 c 37.0s | 9 | 40634 | 7906 | 17254 0 | 72 | 130 51.16/51.21 c 39.4s | 9 | 43011 | 8406 | 17254 0 | 72 | 130 53.46/53.51 c 41.7s | 9 | 44857 | 8906 | 17254 0 | 72 | 130 55.66/55.79 c 44.0s | 9 | 46322 | 9406 | 17254 0 | 72 | 130 57.76/57.86 c 46.1s | 9 | 48217 | 9806 | 17254 0 | 72 | 130 60.06/60.17 c 48.4s | 9 | 49828 | 10306 | 18980 0 | 72 | 130 62.26/62.36 c 50.6s | 9 | 51924 | 10706 | 18980 0 | 72 | 130 64.26/64.36 c 52.6s | 9 | 53528 | 11106 | 18980 0 | 72 | 130 65.66/65.78 c 54.0s | 10 | 54557 | 11361 | 18980 0 | 72 | 130 68.06/68.17 c 56.4s | 10 | 56766 | 11861 | 18980 0 | 72 | 130 70.46/70.51 c 58.7s | 10 | 59046 | 12361 | 18980 0 | 72 | 130 72.66/72.74 c 61.0s | 10 | 60890 | 12861 | 18980 0 | 72 | 130 75.05/75.10 c 63.3s | 10 | 62540 | 13361 | 18980 0 | 72 | 130 77.15/77.27 c 65.5s | 10 | 64033 | 13861 | 18980 0 | 72 | 130 79.16/79.28 c 67.5s | 10 | 65535 | 14261 | 18980 0 | 72 | 130 81.46/81.55 c 69.8s | 10 | 67059 | 14661 | 18980 0 | 72 | 130 83.85/83.96 c 72.2s | 10 | 68546 | 15061 | 18980 0 | 72 | 130 86.25/86.40 c 74.6s | 10 | 70636 | 15461 | 18980 0 | 72 | 130 88.65/88.72 c 76.9s | 10 | 71826 | 15861 | 18980 0 | 72 | 130 90.85/90.93 c 79.1s | 10 | 73337 | 16261 | 18980 0 | 72 | 130 93.15/93.23 c 81.4s | 10 | 74801 | 16661 | 18980 0 | 72 | 130 95.45/95.56 c 83.8s | 10 | 76627 | 17061 | 18980 0 | 72 | 130 95.95/96.01 c 84.2s | 11 | 76955 | 17144 | 18980 0 | 72 | 130 98.15/98.24 c 86.5s | 11 | 78796 | 17544 | 18980 0 | 72 | 130 100.45/100.53 c 88.7s | 11 | 80349 | 17944 | 18980 0 | 72 | 130 102.75/102.81 c 91.0s | 11 | 81847 | 18344 | 18980 0 | 72 | 130 105.25/105.38 c 93.6s | 11 | 83860 | 18844 | 20878 0 | 72 | 130 107.55/107.62 c 95.8s | 11 | 85296 | 19244 | 20878 0 | 72 | 130 109.85/109.96 c 98.2s | 11 | 87809 | 19644 | 20878 0 | 72 | 130 112.16/112.25 c 100s | 11 | 89530 | 20044 | 20878 0 | 72 | 130 114.75/114.84 c 103s | 11 | 91588 | 20444 | 20878 0 | 72 | 130 117.25/117.39 c 105s | 11 | 93761 | 20844 | 20878 0 | 72 | 130 119.35/119.43 c 107s | 11 | 94899 | 21144 | 20878 0 | 72 | 130 121.35/121.44 c 109s | 11 | 96378 | 21444 | 20878 0 | 72 | 130 123.95/124.02 c 112s | 11 | 98049 | 21844 | 20878 0 | 72 | 130 125.94/126.07 c 114s | 11 | 99271 | 22144 | 20878 1 | 72 | 130 128.14/128.22 c 116s | 11 | 101130 | 22544 | 20878 1 | 72 | 130 130.24/130.34 c 118s | 11 | 102731 | 22944 | 20878 1 | 72 | 130 132.34/132.47 c 120s | 11 | 104033 | 23344 | 20878 1 | 72 | 130 134.54/134.66 c 122s | 11 | 105470 | 23744 | 20878 1 | 72 | 130 136.74/136.85 c 125s | 11 | 106998 | 24144 | 20878 1 | 72 | 130 138.74/138.89 c 127s | 11 | 108145 | 24544 | 20878 1 | 72 | 130 140.85/140.95 c 129s | 11 | 109599 | 24944 | 20878 1 | 72 | 130 142.95/143.01 c 131s | 11 | 110789 | 25344 | 20878 1 | 72 | 130 144.94/145.09 c 133s | 11 | 112344 | 25744 | 20878 1 | 72 | 130 145.34/145.48 c 133s | 12 | 112610 | 25819 | 20878 1 | 72 | 130 147.54/147.63 c 135s | 12 | 113999 | 26219 | 20878 1 | 72 | 130 149.64/149.70 c 137s | 12 | 115657 | 26619 | 20878 1 | 72 | 130 152.13/152.20 c 140s | 12 | 117981 | 27119 | 20878 1 | 72 | 130 154.44/154.54 c 142s | 12 | 119611 | 27519 | 20878 1 | 72 | 130 156.54/156.61 c 144s | 12 | 121395 | 27919 | 20878 1 | 72 | 130 158.74/158.87 c 147s | 12 | 123291 | 28319 | 20878 1 | 72 | 130 160.84/160.96 c 149s | 12 | 125664 | 28719 | 20878 1 | 72 | 130 162.94/163.06 c 151s | 12 | 127056 | 29119 | 20878 1 | 72 | 130 165.14/165.23 c 153s | 12 | 128966 | 29519 | 20878 1 | 72 | 130 167.34/167.40 c 155s | 12 | 130440 | 29919 | 20878 1 | 72 | 130 169.35/169.50 c 157s | 12 | 131827 | 30319 | 20878 1 | 72 | 130 171.44/171.58 c 159s | 12 | 133444 | 30719 | 20878 1 | 72 | 130 173.54/173.65 c 161s | 12 | 134706 | 31119 | 20878 1 | 72 | 130 175.54/175.69 c 163s | 12 | 136934 | 31519 | 22966 1 | 72 | 130 177.64/177.75 c 165s | 12 | 138446 | 31919 | 22966 1 | 72 | 130 180.04/180.14 c 168s | 12 | 140479 | 32419 | 22966 1 | 72 | 130 182.14/182.21 c 170s | 12 | 142374 | 32819 | 22966 1 | 72 | 130 184.24/184.39 c 172s | 12 | 144033 | 33219 | 22966 1 | 72 | 130 186.54/186.61 c 174s | 12 | 145797 | 33619 | 22966 1 | 72 | 130 188.54/188.65 c 176s | 12 | 147755 | 34019 | 22966 1 | 72 | 130 190.64/190.76 c 178s | 12 | 149050 | 34419 | 22966 1 | 72 | 130 192.74/192.84 c 181s | 12 | 150527 | 34819 | 22966 1 | 72 | 130 195.04/195.10 c 183s | 12 | 152267 | 35219 | 22966 1 | 72 | 130 197.44/197.51 c 185s | 12 | 154114 | 35619 | 22966 2 | 72 | 130 199.64/199.79 c 188s | 12 | 155772 | 36019 | 22966 2 | 72 | 130 202.04/202.16 c 190s | 12 | 157764 | 36419 | 22966 2 | 72 | 130 204.33/204.44 c 192s | 12 | 160120 | 36819 | 22966 2 | 72 | 130 206.53/206.68 c 194s | 12 | 161960 | 37219 | 22966 2 | 72 | 130 208.73/208.86 c 197s | 12 | 163944 | 37619 | 22966 2 | 72 | 130 211.03/211.10 c 199s | 12 | 165821 | 38019 | 22966 2 | 72 | 130 213.34/213.42 c 201s | 12 | 167442 | 38419 | 22966 2 | 72 | 130 215.54/215.60 c 203s | 12 | 169298 | 38819 | 22966 2 | 72 | 130 215.54/215.68 c 203s | 13 | 169385 | 38832 | 22966 2 | 72 | 130 217.93/218.06 c 206s | 13 | 171108 | 39232 | 22966 2 | 72 | 130 220.13/220.22 c 208s | 13 | 172635 | 39632 | 22966 2 | 72 | 130 222.24/222.39 c 210s | 13 | 175096 | 40032 | 22966 2 | 72 | 130 224.73/224.82 c 213s | 13 | 177126 | 40532 | 22966 2 | 72 | 130 226.73/226.83 c 215s | 13 | 179070 | 40932 | 22966 2 | 72 | 130 228.93/229.03 c 217s | 13 | 181392 | 41332 | 22966 2 | 72 | 130 231.13/231.20 c 219s | 13 | 183209 | 41732 | 22966 2 | 72 | 130 233.53/233.62 c 221s | 13 | 184981 | 42232 | 22966 2 | 72 | 130 235.63/235.73 c 223s | 13 | 186121 | 42632 | 22966 2 | 72 | 130 237.73/237.86 c 226s | 13 | 187959 | 43032 | 22966 2 | 72 | 130 239.93/240.09 c 228s | 13 | 189485 | 43432 | 22966 2 | 72 | 130 242.03/242.15 c 230s | 13 | 191190 | 43832 | 22966 2 | 72 | 130 244.23/244.38 c 232s | 13 | 192496 | 44232 | 22966 2 | 72 | 130 246.73/246.86 c 235s | 13 | 194750 | 44732 | 22966 2 | 72 | 130 248.83/248.99 c 237s | 13 | 196104 | 45132 | 22966 2 | 72 | 130 251.22/251.37 c 239s | 13 | 198025 | 45532 | 22966 2 | 72 | 130 253.42/253.52 c 241s | 13 | 199714 | 45932 | 22966 2 | 72 | 130 255.52/255.65 c 243s | 13 | 201935 | 46332 | 22966 2 | 72 | 130 257.72/257.83 c 246s | 13 | 203662 | 46732 | 22966 2 | 72 | 130 259.82/259.94 c 248s | 13 | 205290 | 47132 | 22966 2 | 72 | 130 262.12/262.24 c 250s | 13 | 206823 | 47532 | 22966 3 | 72 | 130 264.52/264.66 c 252s | 13 | 209293 | 48032 | 22966 3 | 72 | 130 267.02/267.11 c 255s | 13 | 211733 | 48532 | 22966 3 | 72 | 130 269.12/269.21 c 257s | 13 | 213731 | 48932 | 22966 3 | 72 | 130 271.12/271.27 c 259s | 13 | 215662 | 49332 | 22966 3 | 72 | 130 273.22/273.33 c 261s | 13 | 217223 | 49732 | 22966 3 | 72 | 130 275.62/275.78 c 263s | 13 | 219222 | 50232 | 22966 3 | 72 | 130 277.92/278.01 c 266s | 13 | 220774 | 50632 | 22966 3 | 72 | 130 280.43/280.56 c 268s | 13 | 223097 | 51132 | 25263 3 | 72 | 130 282.63/282.73 c 270s | 13 | 225265 | 51532 | 25263 3 | 72 | 130 285.02/285.14 c 273s | 13 | 227374 | 52032 | 25263 3 | 72 | 130 287.13/287.21 c 275s | 13 | 228577 | 52432 | 25263 3 | 72 | 130 289.12/289.23 c 277s | 13 | 229960 | 52832 | 25263 3 | 72 | 130 291.22/291.38 c 279s | 13 | 231760 | 53232 | 25263 3 | 72 | 130 293.52/293.61 c 281s | 13 | 233569 | 53632 | 25263 3 | 72 | 130 295.83/296.00 c 284s | 13 | 235115 | 54032 | 25263 3 | 72 | 130 298.22/298.34 c 286s | 13 | 236856 | 54432 | 25263 3 | 72 | 130 300.62/300.74 c 288s | 13 | 238337 | 54832 | 25263 3 | 72 | 130 303.22/303.36 c 291s | 13 | 239962 | 55232 | 25263 3 | 72 | 130 305.62/305.79 c 294s | 13 | 241503 | 55632 | 25263 3 | 72 | 130 307.72/307.80 c 296s | 13 | 242899 | 56032 | 25263 3 | 72 | 130 309.82/309.97 c 298s | 13 | 244631 | 56432 | 25263 3 | 72 | 130 312.32/312.49 c 300s | 13 | 246795 | 56932 | 25263 3 | 72 | 130 314.42/314.52 c 302s | 13 | 248018 | 57332 | 25263 3 | 72 | 130 316.51/316.63 c 304s | 13 | 249445 | 57732 | 25263 3 | 72 | 130 318.61/318.75 c 306s | 13 | 251345 | 58132 | 25263 3 | 72 | 130 319.71/319.81 c 308s | 14 | 251959 | 58352 | 25263 3 | 72 | 130 322.01/322.14 c 310s | 14 | 253756 | 58752 | 25263 3 | 72 | 130 324.21/324.32 c 312s | 14 | 255764 | 59052 | 25263 3 | 72 | 130 326.62/326.74 c 314s | 14 | 257597 | 59452 | 25263 3 | 72 | 130 329.11/329.21 c 317s | 14 | 259741 | 59852 | 25263 3 | 72 | 130 331.61/331.73 c 319s | 14 | 261671 | 60252 | 25263 3 | 72 | 130 334.11/334.27 c 322s | 14 | 264097 | 60652 | 25263 3 | 72 | 130 336.81/336.90 c 325s | 14 | 265810 | 61052 | 25263 3 | 72 | 130 339.21/339.32 c 327s | 14 | 268175 | 61452 | 25263 3 | 72 | 130 341.51/341.70 c 329s | 14 | 270044 | 61852 | 25263 4 | 72 | 130 343.81/343.94 c 332s | 14 | 272149 | 62252 | 25263 4 | 72 | 130 346.21/346.39 c 334s | 14 | 273826 | 62652 | 25263 4 | 72 | 130 348.41/348.58 c 336s | 14 | 275095 | 62952 | 25263 4 | 72 | 130 350.61/350.79 c 339s | 14 | 276753 | 63352 | 25263 4 | 72 | 130 352.91/353.07 c 341s | 14 | 278501 | 63752 | 25263 4 | 72 | 130 355.22/355.39 c 343s | 14 | 279982 | 64152 | 25263 4 | 72 | 130 357.52/357.63 c 345s | 14 | 281632 | 64552 | 25263 4 | 72 | 130 360.01/360.17 c 348s | 14 | 282868 | 64952 | 25263 4 | 72 | 130 362.51/362.68 c 350s | 14 | 284380 | 65352 | 25263 4 | 72 | 130 365.01/365.14 c 353s | 14 | 285863 | 65752 | 25263 4 | 72 | 130 367.11/367.26 c 355s | 14 | 287625 | 66052 | 25263 4 | 72 | 130 369.41/369.59 c 357s | 14 | 289622 | 66452 | 25263 4 | 72 | 130 371.71/371.86 c 360s | 14 | 291555 | 66852 | 25263 4 | 72 | 130 374.01/374.16 c 362s | 14 | 293686 | 67252 | 25263 4 | 72 | 130 376.41/376.57 c 364s | 14 | 295210 | 67652 | 25263 4 | 72 | 130 378.91/379.07 c 367s | 14 | 297137 | 68052 | 25263 4 | 72 | 130 381.31/381.49 c 369s | 14 | 298764 | 68452 | 25263 4 | 72 | 130 383.91/384.04 c 372s | 14 | 300502 | 68852 | 25263 4 | 72 | 130 386.20/386.37 c 374s | 14 | 301791 | 69252 | 25263 4 | 72 | 130 388.80/388.93 c 377s | 14 | 302881 | 69652 | 25263 4 | 72 | 130 390.90/391.02 c 379s | 14 | 303981 | 69952 | 25263 4 | 72 | 130 393.00/393.12 c 381s | 14 | 305009 | 70252 | 25263 4 | 72 | 130 395.70/395.80 c 384s | 14 | 306324 | 70652 | 25263 4 | 72 | 130 397.70/397.81 c 386s | 14 | 307871 | 70952 | 25263 4 | 72 | 130 400.20/400.38 c 388s | 14 | 309589 | 71352 | 25263 4 | 72 | 130 402.30/402.40 c 390s | 14 | 311038 | 71652 | 25263 4 | 72 | 130 404.30/404.41 c 392s | 14 | 312620 | 71952 | 25263 4 | 72 | 130 406.40/406.56 c 394s | 14 | 313914 | 72252 | 25263 4 | 72 | 130 408.90/409.02 c 397s | 14 | 315770 | 72652 | 25263 4 | 72 | 130 411.31/411.43 c 399s | 14 | 317379 | 73052 | 25263 4 | 72 | 130 413.70/413.89 c 402s | 14 | 318986 | 73452 | 25263 4 | 72 | 130 416.40/416.52 c 404s | 14 | 320667 | 73852 | 25263 4 | 72 | 130 418.70/418.89 c 407s | 14 | 322571 | 74252 | 25263 4 | 72 | 130 421.10/421.30 c 409s | 14 | 324302 | 74652 | 25263 4 | 72 | 130 423.60/423.73 c 411s | 14 | 325763 | 75052 | 25263 5 | 72 | 130 425.80/425.91 c 414s | 14 | 327150 | 75452 | 25263 5 | 72 | 130 428.00/428.10 c 416s | 14 | 329259 | 75852 | 25263 5 | 72 | 130 430.10/430.27 c 418s | 14 | 331218 | 76252 | 25263 5 | 72 | 130 432.20/432.36 c 420s | 14 | 332390 | 76652 | 25263 5 | 72 | 130 434.30/434.49 c 422s | 14 | 333761 | 77052 | 25263 5 | 72 | 130 436.90/437.03 c 425s | 14 | 336264 | 77552 | 25263 5 | 72 | 130 439.10/439.20 c 427s | 14 | 338605 | 77952 | 25263 5 | 72 | 130 441.50/441.66 c 429s | 14 | 340851 | 78452 | 25263 5 | 72 | 130 443.60/443.77 c 431s | 14 | 342134 | 78852 | 25263 5 | 72 | 130 446.20/446.38 c 434s | 14 | 344016 | 79352 | 25263 5 | 72 | 130 448.70/448.88 c 437s | 14 | 345737 | 79752 | 25263 5 | 72 | 130 451.29/451.44 c 439s | 14 | 347260 | 80152 | 27790 5 | 72 | 130 453.59/453.73 c 441s | 14 | 349065 | 80552 | 27790 5 | 72 | 130 455.99/456.12 c 444s | 14 | 351043 | 80952 | 27790 5 | 72 | 130 458.39/458.57 c 446s | 14 | 353145 | 81352 | 27790 5 | 72 | 130 460.90/461.09 c 449s | 14 | 355074 | 81752 | 27790 5 | 72 | 130 463.49/463.62 c 451s | 14 | 357122 | 82152 | 27790 5 | 72 | 130 465.89/466.10 c 454s | 14 | 359005 | 82552 | 27790 5 | 72 | 130 468.29/468.46 c 456s | 14 | 360820 | 82952 | 27790 5 | 72 | 130 470.70/470.84 c 459s | 14 | 362910 | 83352 | 27790 5 | 72 | 130 473.19/473.33 c 461s | 14 | 364465 | 83752 | 27790 5 | 72 | 130 475.29/475.43 c 463s | 14 | 365974 | 84152 | 27790 5 | 72 | 130 477.49/477.67 c 465s | 14 | 367604 | 84552 | 27790 5 | 72 | 130 479.99/480.18 c 468s | 14 | 369360 | 84952 | 27790 5 | 72 | 130 482.29/482.44 c 470s | 14 | 370826 | 85352 | 27790 5 | 72 | 130 484.79/484.90 c 473s | 14 | 371923 | 85752 | 27790 5 | 72 | 130 486.99/487.14 c 475s | 14 | 373809 | 86152 | 27790 5 | 72 | 130 489.39/489.51 c 477s | 14 | 375272 | 86552 | 27790 5 | 72 | 130 491.69/491.86 c 480s | 14 | 377206 | 86952 | 27790 5 | 72 | 130 493.99/494.10 c 482s | 14 | 379428 | 87352 | 27790 5 | 72 | 130 495.49/495.69 c 483s | 15 | 380678 | 87632 | 27790 5 | 72 | 130 497.89/498.04 c 486s | 15 | 382478 | 88032 | 27790 5 | 72 | 130 500.09/500.22 c 488s | 15 | 384004 | 88432 | 27790 5 | 72 | 130 502.49/502.65 c 490s | 15 | 385884 | 88832 | 27790 5 | 72 | 130 504.69/504.88 c 493s | 15 | 387529 | 89232 | 27790 5 | 72 | 130 507.18/507.38 c 495s | 15 | 389342 | 89632 | 27790 5 | 72 | 130 509.88/510.03 c 498s | 15 | 391286 | 90032 | 27790 5 | 72 | 130 512.38/512.52 c 500s | 15 | 393059 | 90432 | 27790 5 | 72 | 130 514.79/514.97 c 503s | 15 | 394875 | 90832 | 27790 6 | 72 | 130 516.89/517.08 c 505s | 15 | 396539 | 91232 | 27790 6 | 72 | 130 518.88/519.08 c 507s | 15 | 397884 | 91632 | 27790 6 | 72 | 130 521.08/521.27 c 509s | 15 | 399415 | 92032 | 27790 6 | 72 | 130 523.18/523.38 c 511s | 15 | 401087 | 92432 | 27790 6 | 72 | 130 525.69/525.81 c 514s | 15 | 403116 | 92832 | 27790 6 | 72 | 130 528.08/528.29 c 516s | 15 | 404686 | 93232 | 27790 6 | 72 | 130 530.58/530.75 c 518s | 15 | 406217 | 93632 | 27790 6 | 72 | 130 533.18/533.34 c 521s | 15 | 407876 | 94032 | 27790 6 | 72 | 130 535.69/535.88 c 524s | 15 | 409055 | 94432 | 27790 6 | 72 | 130 538.28/538.41 c 526s | 15 | 410684 | 94832 | 27790 6 | 72 | 130 540.68/540.83 c 529s | 15 | 412078 | 95232 | 27790 6 | 72 | 130 543.08/543.27 c 531s | 15 | 414119 | 95632 | 27790 6 | 72 | 130 545.58/545.74 c 533s | 15 | 415727 | 96032 | 27790 6 | 72 | 130 547.98/548.16 c 536s | 15 | 417252 | 96432 | 27790 6 | 72 | 130 550.38/550.51 c 538s | 15 | 418693 | 96832 | 27790 6 | 72 | 130 552.68/552.87 c 541s | 15 | 420133 | 97232 | 27790 6 | 72 | 130 554.98/555.12 c 543s | 15 | 421700 | 97632 | 27790 6 | 72 | 130 557.08/557.21 c 545s | 15 | 423698 | 98032 | 27790 6 | 72 | 130 559.28/559.40 c 547s | 15 | 425600 | 98432 | 27790 6 | 72 | 130 561.67/561.82 c 550s | 15 | 427518 | 98832 | 27790 6 | 72 | 130 563.77/563.95 c 552s | 15 | 429140 | 99232 | 27790 6 | 72 | 130 565.87/566.09 c 554s | 15 | 430813 | 99632 | 27790 6 | 72 | 130 567.97/568.16 c 556s | 15 | 432672 | 100032 | 27790 6 | 72 | 130 569.97/570.19 c 558s | 15 | 434570 | 100432 | 27790 6 | 72 | 130 572.07/572.21 c 560s | 15 | 436403 | 100832 | 27790 6 | 72 | 130 574.47/574.64 c 562s | 15 | 438109 | 101332 | 27790 6 | 72 | 130 576.77/577.00 c 565s | 15 | 440093 | 101732 | 27790 6 | 72 | 130 579.27/579.47 c 567s | 15 | 441754 | 102132 | 27790 6 | 72 | 130 581.78/581.97 c 570s | 15 | 443456 | 102532 | 27790 6 | 72 | 130 583.87/584.01 c 572s | 15 | 444605 | 102832 | 27790 6 | 72 | 130 586.37/586.59 c 574s | 15 | 446426 | 103232 | 27790 6 | 72 | 130 588.97/589.10 c 577s | 15 | 447828 | 103632 | 27790 6 | 72 | 130 591.37/591.55 c 579s | 15 | 449398 | 104032 | 27790 6 | 72 | 130 593.77/593.92 c 582s | 15 | 450756 | 104432 | 27790 6 | 72 | 130 595.97/596.19 c 584s | 15 | 452131 | 104832 | 27790 6 | 72 | 130 598.57/598.72 c 586s | 15 | 453445 | 105232 | 27790 7 | 72 | 130 600.77/600.92 c 589s | 15 | 454947 | 105632 | 27790 7 | 72 | 130 603.27/603.42 c 591s | 15 | 456879 | 106132 | 27790 7 | 72 | 130 605.37/605.52 c 593s | 15 | 458897 | 106532 | 27790 7 | 72 | 130 607.37/607.59 c 595s | 15 | 460785 | 106932 | 27790 7 | 72 | 130 609.47/609.60 c 597s | 15 | 462416 | 107332 | 27790 7 | 72 | 130 611.47/611.67 c 599s | 15 | 463937 | 107732 | 27790 7 | 72 | 130 613.47/613.69 c 601s | 15 | 465742 | 108132 | 27790 7 | 72 | 130 615.97/616.19 c 604s | 15 | 467766 | 108632 | 27790 7 | 72 | 130 618.37/618.50 c 606s | 15 | 469237 | 109032 | 27790 7 | 72 | 130 620.77/620.99 c 609s | 15 | 471379 | 109432 | 27790 7 | 72 | 130 623.07/623.20 c 611s | 15 | 472887 | 109832 | 27790 7 | 72 | 130 625.36/625.57 c 613s | 15 | 474779 | 110232 | 27790 7 | 72 | 130 627.66/627.87 c 616s | 15 | 476128 | 110632 | 27790 7 | 72 | 130 630.06/630.24 c 618s | 15 | 477586 | 111032 | 27790 7 | 72 | 130 632.16/632.30 c 620s | 15 | 479167 | 111432 | 27790 7 | 72 | 130 634.26/634.45 c 622s | 15 | 480229 | 111832 | 27790 7 | 72 | 130 636.46/636.65 c 624s | 15 | 481664 | 112232 | 27790 7 | 72 | 130 638.56/638.77 c 626s | 15 | 482643 | 112632 | 27790 7 | 72 | 130 640.66/640.87 c 629s | 15 | 484228 | 113032 | 27790 7 | 72 | 130 642.96/643.19 c 631s | 15 | 485858 | 113432 | 27790 7 | 72 | 130 645.16/645.36 c 633s | 15 | 487537 | 113832 | 27790 7 | 72 | 130 647.36/647.56 c 635s | 15 | 489696 | 114232 | 27790 7 | 72 | 130 649.66/649.84 c 638s | 15 | 491569 | 114632 | 27790 7 | 72 | 130 652.06/652.24 c 640s | 15 | 493068 | 115032 | 27790 7 | 72 | 130 654.37/654.54 c 642s | 15 | 495144 | 115432 | 27790 7 | 72 | 130 656.67/656.81 c 645s | 15 | 497472 | 115832 | 27790 7 | 72 | 130 658.96/659.11 c 647s | 15 | 499563 | 116232 | 27790 7 | 72 | 130 661.36/661.54 c 649s | 15 | 500537 | 116632 | 27790 7 | 72 | 130 663.66/663.89 c 652s | 15 | 502376 | 117032 | 27790 7 | 72 | 130 665.96/666.11 c 654s | 15 | 503775 | 117432 | 27790 7 | 72 | 130 668.16/668.39 c 656s | 15 | 505054 | 117832 | 27790 7 | 72 | 130 670.46/670.66 c 658s | 15 | 506948 | 118232 | 27790 7 | 72 | 130 672.56/672.78 c 660s | 15 | 508984 | 118632 | 27790 7 | 72 | 130 674.76/674.92 c 663s | 15 | 510668 | 119032 | 27790 7 | 72 | 130 677.16/677.34 c 665s | 15 | 512039 | 119432 | 27790 8 | 72 | 130 679.56/679.79 c 668s | 15 | 514390 | 119932 | 27790 8 | 72 | 130 682.06/682.26 c 670s | 15 | 516049 | 120432 | 27790 8 | 72 | 130 684.06/684.29 c 672s | 15 | 517249 | 120832 | 27790 8 | 72 | 130 686.26/686.50 c 674s | 15 | 519122 | 121232 | 27790 8 | 72 | 130 688.46/688.65 c 676s | 15 | 520799 | 121632 | 27790 8 | 72 | 130 690.66/690.82 c 679s | 15 | 522024 | 122032 | 27790 8 | 72 | 130 692.86/693.02 c 681s | 15 | 523714 | 122432 | 27790 8 | 72 | 130 694.85/695.02 c 683s | 15 | 524778 | 122832 | 27790 8 | 72 | 130 697.36/697.55 c 685s | 15 | 526275 | 123332 | 27790 8 | 72 | 130 699.85/700.02 c 688s | 15 | 528092 | 123832 | 30570 8 | 72 | 130 701.85/702.09 c 690s | 15 | 529540 | 124232 | 30570 8 | 72 | 130 704.15/704.30 c 692s | 15 | 531188 | 124632 | 30570 8 | 72 | 130 706.25/706.45 c 694s | 15 | 533271 | 125032 | 30570 8 | 72 | 130 708.36/708.59 c 696s | 15 | 535179 | 125432 | 30570 8 | 72 | 130 710.35/710.60 c 698s | 15 | 537035 | 125832 | 30570 8 | 72 | 130 712.55/712.70 c 700s | 15 | 538514 | 126232 | 30570 8 | 72 | 130 714.55/714.76 c 702s | 15 | 539965 | 126632 | 30570 8 | 72 | 130 716.65/716.81 c 705s | 15 | 541041 | 127032 | 30570 8 | 72 | 130 718.75/718.96 c 707s | 15 | 542696 | 127432 | 30570 8 | 72 | 130 720.75/720.99 c 709s | 15 | 544026 | 127832 | 30570 8 | 72 | 130 723.25/723.47 c 711s | 15 | 545994 | 128332 | 30570 8 | 72 | 130 725.45/725.67 c 713s | 15 | 547638 | 128732 | 30570 8 | 72 | 130 727.65/727.82 c 716s | 15 | 549084 | 129132 | 30570 8 | 72 | 130 729.65/729.86 c 718s | 15 | 550569 | 129532 | 30570 8 | 72 | 130 732.05/732.29 c 720s | 15 | 552424 | 130032 | 30570 8 | 72 | 130 734.55/734.80 c 723s | 15 | 554919 | 130532 | 30570 8 | 72 | 130 736.65/736.88 c 725s | 15 | 556448 | 130932 | 30570 8 | 72 | 130 738.85/739.00 c 727s | 15 | 557946 | 131332 | 30570 8 | 72 | 130 739.95/740.13 c 728s | 16 | 558934 | 131552 | 30570 8 | 72 | 130 742.85/743.02 c 731s | 16 | 560604 | 131952 | 30570 8 | 72 | 130 745.34/745.56 c 733s | 16 | 562399 | 132352 | 30570 8 | 72 | 130 747.65/747.84 c 736s | 16 | 563574 | 132652 | 30570 8 | 72 | 130 749.85/750.08 c 738s | 16 | 564631 | 132952 | 30570 8 | 72 | 130 752.05/752.22 c 740s | 16 | 565864 | 133252 | 30570 8 | 72 | 130 754.25/754.42 c 742s | 16 | 567164 | 133552 | 30570 8 | 72 | 130 756.25/756.48 c 744s | 16 | 568291 | 133852 | 30570 8 | 72 | 130 758.96/759.13 c 747s | 16 | 569464 | 134252 | 30570 8 | 72 | 130 760.95/761.18 c 749s | 16 | 570461 | 134552 | 30570 8 | 72 | 130 763.05/763.29 c 751s | 16 | 571595 | 134852 | 30570 8 | 72 | 130 765.35/765.52 c 753s | 16 | 572905 | 135152 | 30570 8 | 72 | 130 767.55/767.71 c 755s | 16 | 574333 | 135452 | 30570 8 | 72 | 130 769.86/770.02 c 758s | 16 | 575683 | 135752 | 30570 8 | 72 | 130 772.05/772.26 c 760s | 16 | 576858 | 136052 | 30570 8 | 72 | 130 774.35/774.54 c 762s | 16 | 578459 | 136352 | 30570 8 | 72 | 130 776.65/776.89 c 765s | 16 | 579670 | 136652 | 30570 9 | 72 | 130 779.15/779.32 c 767s | 16 | 581436 | 137052 | 30570 9 | 72 | 130 781.55/781.76 c 769s | 16 | 583259 | 137452 | 30570 9 | 72 | 130 783.95/784.16 c 772s | 16 | 584638 | 137852 | 30570 9 | 72 | 130 786.35/786.56 c 774s | 16 | 586152 | 138252 | 30570 9 | 72 | 130 788.75/788.98 c 777s | 16 | 587558 | 138652 | 30570 9 | 72 | 130 791.24/791.46 c 779s | 16 | 589067 | 139052 | 30570 9 | 72 | 130 793.74/793.96 c 782s | 16 | 590309 | 139452 | 30570 9 | 72 | 130 796.35/796.51 c 784s | 16 | 592166 | 139852 | 30570 9 | 72 | 130 798.94/799.11 c 787s | 16 | 593655 | 140252 | 30570 9 | 72 | 130 801.34/801.56 c 789s | 16 | 595329 | 140652 | 30570 9 | 72 | 130 803.84/804.02 c 792s | 16 | 596919 | 141052 | 30570 9 | 72 | 130 806.15/806.36 c 794s | 16 | 598348 | 141452 | 30570 9 | 72 | 130 808.54/808.76 c 796s | 16 | 599659 | 141852 | 30570 9 | 72 | 130 811.04/811.29 c 799s | 16 | 601076 | 142252 | 30570 9 | 72 | 130 813.74/813.94 c 802s | 16 | 602765 | 142652 | 30570 9 | 72 | 130 816.44/816.60 c 804s | 16 | 604412 | 143052 | 30570 9 | 72 | 130 818.44/818.60 c 806s | 16 | 605657 | 143352 | 30570 9 | 72 | 130 820.94/821.16 c 809s | 16 | 607309 | 143752 | 30570 9 | 72 | 130 823.44/823.66 c 811s | 16 | 608860 | 144152 | 30570 9 | 72 | 130 826.04/826.22 c 814s | 16 | 610443 | 144552 | 30570 9 | 72 | 130 828.64/828.80 c 817s | 16 | 611863 | 144952 | 30570 9 | 72 | 130 831.04/831.26 c 819s | 16 | 613047 | 145352 | 30570 9 | 72 | 130 833.44/833.67 c 821s | 16 | 614174 | 145752 | 30570 9 | 72 | 130 835.54/835.74 c 823s | 16 | 615503 | 146052 | 30570 9 | 72 | 130 837.94/838.19 c 826s | 16 | 617030 | 146452 | 30570 9 | 72 | 130 840.64/840.84 c 829s | 16 | 618718 | 146852 | 30570 9 | 72 | 130 842.83/843.09 c 831s | 16 | 620131 | 147252 | 30570 9 | 72 | 130 845.13/845.31 c 833s | 16 | 621546 | 147652 | 30570 9 | 72 | 130 847.33/847.57 c 835s | 16 | 622888 | 148052 | 30570 9 | 72 | 130 849.63/849.85 c 838s | 16 | 624126 | 148452 | 30570 9 | 72 | 130 851.93/852.13 c 840s | 16 | 625209 | 148852 | 30570 9 | 72 | 130 854.23/854.47 c 842s | 16 | 626874 | 149252 | 30570 9 | 72 | 130 856.63/856.83 c 845s | 16 | 628735 | 149652 | 30570 9 | 72 | 130 858.63/858.89 c 847s | 16 | 629724 | 149952 | 30570 9 | 72 | 130 861.03/861.24 c 849s | 16 | 631277 | 150352 | 30570 9 | 72 | 130 863.44/863.66 c 851s | 16 | 632688 | 150752 | 30570 9 | 72 | 130 865.83/866.03 c 854s | 16 | 634245 | 151152 | 30570 9 | 72 | 130 868.03/868.28 c 856s | 16 | 635660 | 151552 | 30570 9 | 72 | 130 870.33/870.52 c 858s | 16 | 636853 | 151952 | 30570 9 | 72 | 130 872.53/872.79 c 861s | 16 | 637757 | 152352 | 30570 9 | 72 | 130 875.03/875.24 c 863s | 16 | 639264 | 152752 | 30570 10 | 72 | 130 877.13/877.36 c 865s | 16 | 640657 | 153152 | 30570 10 | 72 | 130 879.23/879.40 c 867s | 16 | 641950 | 153552 | 30570 10 | 72 | 130 881.43/881.69 c 869s | 16 | 643250 | 153952 | 30570 10 | 72 | 130 883.63/883.84 c 872s | 16 | 645387 | 154352 | 30570 10 | 72 | 130 886.03/886.20 c 874s | 16 | 646958 | 154752 | 30570 10 | 72 | 130 888.03/888.20 c 876s | 16 | 648352 | 155052 | 30570 10 | 72 | 130 890.23/890.42 c 878s | 16 | 649708 | 155452 | 30570 10 | 72 | 130 892.43/892.69 c 880s | 16 | 651320 | 155852 | 30570 10 | 72 | 130 894.83/895.00 c 883s | 16 | 652831 | 156252 | 30570 10 | 72 | 130 897.03/897.28 c 885s | 16 | 654364 | 156652 | 30570 10 | 72 | 130 899.23/899.49 c 887s | 16 | 655595 | 157052 | 30570 10 | 72 | 130 901.53/901.74 c 889s | 16 | 656914 | 157452 | 30570 10 | 72 | 130 903.82/904.07 c 892s | 16 | 658617 | 157852 | 30570 10 | 72 | 130 906.23/906.50 c 894s | 16 | 660375 | 158252 | 30570 10 | 72 | 130 908.72/908.98 c 897s | 16 | 662253 | 158652 | 30570 10 | 72 | 130 911.22/911.47 c 899s | 16 | 663789 | 159052 | 30570 10 | 72 | 130 913.52/913.70 c 901s | 16 | 665187 | 159452 | 30570 10 | 72 | 130 915.72/915.90 c 904s | 16 | 666830 | 159852 | 30570 10 | 72 | 130 917.92/918.19 c 906s | 16 | 668445 | 160252 | 30570 10 | 72 | 130 920.12/920.30 c 908s | 16 | 669744 | 160652 | 30570 10 | 72 | 130 922.32/922.52 c 910s | 16 | 671105 | 161052 | 30570 10 | 72 | 130 924.62/924.88 c 913s | 16 | 672928 | 161452 | 30570 10 | 72 | 130 927.02/927.27 c 915s | 16 | 674504 | 161852 | 30570 10 | 72 | 130 929.43/929.66 c 917s | 16 | 676330 | 162252 | 30570 10 | 72 | 130 931.63/931.84 c 920s | 16 | 677863 | 162652 | 30570 10 | 72 | 130 933.73/934.00 c 922s | 16 | 679635 | 163052 | 30570 10 | 72 | 130 935.92/936.18 c 924s | 16 | 681142 | 163452 | 30570 10 | 72 | 130 938.22/938.41 c 926s | 16 | 682869 | 163852 | 30570 10 | 72 | 130 940.32/940.51 c 928s | 16 | 684391 | 164252 | 30570 10 | 72 | 130 942.42/942.67 c 930s | 16 | 685659 | 164652 | 30570 10 | 72 | 130 944.82/945.02 c 933s | 16 | 687379 | 165052 | 30570 10 | 72 | 130 947.22/947.43 c 935s | 16 | 689569 | 165452 | 30570 10 | 72 | 130 949.62/949.81 c 938s | 16 | 691142 | 165852 | 30570 10 | 72 | 130 952.02/952.21 c 940s | 16 | 692791 | 166252 | 30570 10 | 72 | 130 954.41/954.63 c 942s | 16 | 694436 | 166652 | 30570 10 | 72 | 130 956.82/957.10 c 945s | 16 | 695778 | 167052 | 30570 10 | 72 | 130 959.41/959.60 c 947s | 16 | 697614 | 167452 | 30570 10 | 72 | 130 961.91/962.15 c 950s | 16 | 699033 | 167852 | 30570 10 | 72 | 130 964.41/964.69 c 952s | 16 | 700503 | 168252 | 30570 10 | 72 | 130 966.51/966.70 c 954s | 16 | 701828 | 168552 | 30570 11 | 72 | 130 968.61/968.81 c 957s | 16 | 703246 | 168952 | 30570 11 | 72 | 130 970.81/971.01 c 959s | 16 | 704522 | 169352 | 30570 11 | 72 | 130 972.91/973.19 c 961s | 16 | 705956 | 169752 | 30570 11 | 72 | 130 975.11/975.39 c 963s | 16 | 707374 | 170152 | 30570 11 | 72 | 130 977.41/977.61 c 965s | 16 | 708763 | 170552 | 30570 11 | 72 | 130 979.71/979.97 c 968s | 16 | 710414 | 170952 | 30570 11 | 72 | 130 982.12/982.34 c 970s | 16 | 711679 | 171352 | 30570 11 | 72 | 130 984.42/984.62 c 972s | 16 | 713609 | 171752 | 30570 11 | 72 | 130 986.52/986.78 c 974s | 16 | 715137 | 172152 | 30570 11 | 72 | 130 988.82/989.09 c 977s | 16 | 716468 | 172552 | 30570 11 | 72 | 130 991.21/991.48 c 979s | 16 | 718080 | 172952 | 30570 11 | 72 | 130 993.41/993.69 c 981s | 16 | 720068 | 173352 | 30570 11 | 72 | 130 995.71/995.93 c 984s | 16 | 721948 | 173752 | 30570 11 | 72 | 130 997.91/998.17 c 986s | 16 | 723742 | 174152 | 30570 11 | 72 | 130 1000.21/1000.45 c 988s | 16 | 725692 | 174552 | 30570 11 | 72 | 130 1002.41/1002.65 c 990s | 16 | 727015 | 174952 | 30570 11 | 72 | 130 1004.71/1005.00 c 993s | 16 | 728447 | 175352 | 30570 11 | 72 | 130 1007.11/1007.37 c 995s | 16 | 730528 | 175752 | 30570 11 | 72 | 130 1009.41/1009.61 c 997s | 16 | 732384 | 176152 | 30570 11 | 72 | 130 1011.70/1011.92 c 1000s | 16 | 734299 | 176552 | 30570 11 | 72 | 130 1013.80/1014.08 c 1002s | 16 | 736051 | 176952 | 30570 11 | 72 | 130 1016.00/1016.27 c 1004s | 16 | 737902 | 177352 | 30570 11 | 72 | 130 1018.30/1018.55 c 1006s | 16 | 739757 | 177752 | 30570 11 | 72 | 130 1020.61/1020.83 c 1009s | 16 | 741167 | 178152 | 30570 11 | 72 | 130 1022.81/1023.08 c 1011s | 16 | 742444 | 178552 | 30570 11 | 72 | 130 1025.11/1025.35 c 1013s | 16 | 744164 | 178952 | 30570 11 | 72 | 130 1027.40/1027.67 c 1015s | 16 | 745816 | 179352 | 30570 11 | 72 | 130 1029.80/1030.05 c 1018s | 16 | 747089 | 179752 | 30570 11 | 72 | 130 1032.30/1032.54 c 1020s | 16 | 748423 | 180152 | 30570 11 | 72 | 130 1034.80/1035.00 c 1023s | 16 | 750045 | 180552 | 30570 11 | 72 | 130 1037.11/1037.35 c 1025s | 16 | 751406 | 180952 | 30570 11 | 72 | 130 1039.50/1039.70 c 1027s | 16 | 753054 | 181352 | 30570 11 | 72 | 130 1041.70/1041.90 c 1030s | 16 | 754498 | 181752 | 30570 11 | 72 | 130 1043.90/1044.18 c 1032s | 16 | 755915 | 182152 | 30570 11 | 72 | 130 1046.10/1046.36 c 1034s | 16 | 756964 | 182552 | 30570 11 | 72 | 130 1048.30/1048.59 c 1036s | 16 | 758499 | 182952 | 30570 11 | 72 | 130 1050.60/1050.87 c 1039s | 16 | 760461 | 183352 | 30570 11 | 72 | 130 1053.00/1053.25 c 1041s | 16 | 762228 | 183752 | 30570 11 | 72 | 130 1055.50/1055.76 c 1043s | 16 | 763577 | 184152 | 30570 12 | 72 | 130 1057.70/1057.99 c 1046s | 16 | 765072 | 184552 | 30570 12 | 72 | 130 1059.90/1060.10 c 1048s | 16 | 766636 | 184952 | 30570 12 | 72 | 130 1062.00/1062.24 c 1050s | 16 | 768188 | 185352 | 30570 12 | 72 | 130 1064.10/1064.33 c 1052s | 16 | 770066 | 185752 | 30570 12 | 72 | 130 1066.10/1066.38 c 1054s | 16 | 771416 | 186152 | 30570 12 | 72 | 130 1068.50/1068.78 c 1056s | 16 | 773136 | 186552 | 30570 12 | 72 | 130 1070.90/1071.15 c 1059s | 16 | 774658 | 186952 | 30570 12 | 72 | 130 1073.30/1073.55 c 1061s | 16 | 776458 | 187352 | 30570 12 | 72 | 130 1075.61/1075.83 c 1064s | 16 | 778265 | 187752 | 30570 12 | 72 | 130 1077.81/1078.03 c 1066s | 16 | 779914 | 188152 | 30570 12 | 72 | 130 1080.01/1080.23 c 1068s | 16 | 781551 | 188552 | 30570 12 | 72 | 130 1082.21/1082.44 c 1070s | 16 | 782924 | 188952 | 33627 12 | 72 | 130 1084.51/1084.76 c 1072s | 16 | 784636 | 189352 | 33627 12 | 72 | 130 1086.61/1086.89 c 1075s | 16 | 786094 | 189752 | 33627 12 | 72 | 130 1088.70/1089.00 c 1077s | 16 | 787814 | 190152 | 33627 12 | 72 | 130 1090.90/1091.16 c 1079s | 16 | 789849 | 190552 | 33627 12 | 72 | 130 1093.10/1093.37 c 1081s | 16 | 791402 | 190952 | 33627 12 | 72 | 130 1095.30/1095.58 c 1083s | 16 | 792970 | 191352 | 33627 12 | 72 | 130 1097.40/1097.66 c 1085s | 16 | 794560 | 191752 | 33627 12 | 72 | 130 1099.90/1100.11 c 1088s | 16 | 795892 | 191952 | 33627 12 | 72 | 130 1102.10/1102.39 c 1090s | 16 | 797021 | 192252 | 33627 12 | 72 | 130 1104.20/1104.49 c 1092s | 16 | 798245 | 192552 | 33627 12 | 72 | 130 1106.29/1106.57 c 1094s | 16 | 799528 | 192852 | 33627 12 | 72 | 130 1108.39/1108.65 c 1096s | 16 | 800852 | 193152 | 33627 12 | 72 | 130 1110.99/1111.21 c 1099s | 16 | 802518 | 193552 | 33627 12 | 72 | 130 1114.20/1114.43 c 1102s | 16 | 804672 | 193952 | 33627 12 | 72 | 130 1116.69/1116.90 c 1105s | 16 | 806239 | 194352 | 33627 12 | 72 | 130 1118.99/1119.26 c 1107s | 16 | 807721 | 194752 | 33627 12 | 72 | 130 1121.29/1121.54 c 1109s | 16 | 809550 | 195152 | 33627 12 | 72 | 130 1123.69/1123.94 c 1112s | 16 | 811060 | 195552 | 33627 12 | 72 | 130 1125.99/1126.24 c 1114s | 16 | 812954 | 195952 | 33627 12 | 72 | 130 1128.29/1128.60 c 1116s | 16 | 814721 | 196352 | 33627 12 | 72 | 130 1130.60/1130.82 c 1119s | 16 | 816073 | 196752 | 33627 12 | 72 | 130 1132.90/1133.14 c 1121s | 16 | 817876 | 197152 | 33627 12 | 72 | 130 1134.29/1134.56 c 1122s | 17 | 819012 | 197432 | 33627 12 | 72 | 130 1136.59/1136.89 c 1125s | 17 | 820488 | 197832 | 33627 12 | 72 | 130 1138.99/1139.25 c 1127s | 17 | 822159 | 198232 | 33627 12 | 72 | 130 1140.99/1141.28 c 1129s | 17 | 823396 | 198532 | 33627 12 | 72 | 130 1143.49/1143.79 c 1132s | 17 | 824766 | 198832 | 33627 12 | 72 | 130 1146.19/1146.42 c 1134s | 17 | 826361 | 199232 | 33627 12 | 72 | 130 1148.59/1148.83 c 1137s | 17 | 827759 | 199632 | 33627 12 | 72 | 130 1150.99/1151.22 c 1139s | 17 | 829279 | 200032 | 33627 12 | 72 | 130 1153.48/1153.77 c 1141s | 17 | 831313 | 200432 | 33627 12 | 72 | 130 1156.08/1156.38 c 1144s | 17 | 833697 | 200832 | 33627 12 | 72 | 130 1159.08/1159.38 c 1147s | 17 | 835990 | 201232 | 33627 12 | 72 | 130 1161.49/1161.76 c 1149s | 17 | 838579 | 201632 | 33627 12 | 72 | 130 1163.88/1164.19 c 1152s | 17 | 839955 | 202032 | 33627 12 | 72 | 130 1166.48/1166.79 c 1155s | 17 | 841912 | 202432 | 33627 12 | 72 | 130 1169.09/1169.35 c 1157s | 17 | 843657 | 202832 | 33627 12 | 72 | 130 1171.58/1171.88 c 1160s | 17 | 844909 | 203232 | 33627 13 | 72 | 130 1173.98/1174.27 c 1162s | 17 | 846631 | 203632 | 33627 13 | 72 | 130 1176.48/1176.71 c 1164s | 17 | 848570 | 204032 | 33627 13 | 72 | 130 1178.99/1179.20 c 1167s | 17 | 850310 | 204432 | 33627 13 | 72 | 130 1181.38/1181.62 c 1169s | 17 | 852285 | 204832 | 33627 13 | 72 | 130 1183.68/1183.90 c 1172s | 17 | 854105 | 205232 | 33627 13 | 72 | 130 1185.98/1186.20 c 1174s | 17 | 855486 | 205632 | 33627 13 | 72 | 130 1188.28/1188.57 c 1176s | 17 | 856794 | 206032 | 33627 13 | 72 | 130 1190.68/1190.91 c 1179s | 17 | 858151 | 206432 | 33627 13 | 72 | 130 1192.98/1193.22 c 1181s | 17 | 859503 | 206832 | 33627 13 | 72 | 130 1195.28/1195.50 c 1183s | 17 | 860530 | 207232 | 33627 13 | 72 | 130 1197.58/1197.80 c 1186s | 17 | 861664 | 207632 | 33627 13 | 72 | 130 1199.88/1200.14 c 1188s | 17 | 863265 | 208032 | 33627 13 | 72 | 130 1202.38/1202.65 c 1190s | 17 | 865096 | 208432 | 33627 13 | 72 | 130 1204.98/1205.21 c 1193s | 17 | 866698 | 208832 | 33627 13 | 72 | 130 1207.48/1207.79 c 1196s | 17 | 868915 | 209232 | 33627 13 | 72 | 130 1210.08/1210.39 c 1198s | 17 | 870265 | 209632 | 33627 13 | 72 | 130 1212.87/1213.18 c 1201s | 17 | 871728 | 210032 | 33627 13 | 72 | 130 1215.47/1215.70 c 1203s | 17 | 873254 | 210432 | 33627 13 | 72 | 130 1217.48/1217.73 c 1205s | 17 | 874315 | 210732 | 33627 13 | 72 | 130 1220.07/1220.37 c 1208s | 17 | 875614 | 211132 | 33627 13 | 72 | 130 1222.67/1222.98 c 1211s | 17 | 877124 | 211532 | 33627 13 | 72 | 130 1225.18/1225.50 c 1213s | 17 | 878059 | 211932 | 33627 13 | 72 | 130 1227.67/1227.96 c 1216s | 17 | 879207 | 212332 | 33627 13 | 72 | 130 1230.27/1230.51 c 1218s | 17 | 880449 | 212732 | 33627 13 | 72 | 130 1232.77/1233.04 c 1221s | 17 | 882264 | 213132 | 33627 13 | 72 | 130 1234.77/1235.09 c 1223s | 17 | 884124 | 213432 | 33627 13 | 72 | 130 1237.47/1237.75 c 1225s | 17 | 886082 | 213832 | 33627 13 | 72 | 130 1239.97/1240.27 c 1228s | 17 | 888115 | 214232 | 33627 13 | 72 | 130 1242.57/1242.89 c 1231s | 17 | 890042 | 214632 | 33627 13 | 72 | 130 1244.98/1245.26 c 1233s | 17 | 891928 | 215032 | 33627 13 | 72 | 130 1247.07/1247.36 c 1235s | 17 | 893235 | 215332 | 33627 13 | 72 | 130 1249.48/1249.79 c 1237s | 17 | 894955 | 215732 | 33627 13 | 72 | 130 1251.67/1251.97 c 1240s | 17 | 896516 | 216032 | 33627 13 | 72 | 130 1253.87/1254.11 c 1242s | 17 | 897827 | 216332 | 33627 13 | 72 | 130 1256.27/1256.56 c 1244s | 17 | 899185 | 216732 | 33627 13 | 72 | 130 1258.77/1259.00 c 1247s | 17 | 901344 | 217132 | 33627 13 | 72 | 130 1261.07/1261.35 c 1249s | 17 | 902849 | 217532 | 33627 13 | 72 | 130 1263.57/1263.82 c 1252s | 17 | 904374 | 217932 | 33627 13 | 72 | 130 1266.17/1266.48 c 1254s | 17 | 906318 | 218332 | 33627 13 | 72 | 130 1268.27/1268.53 c 1256s | 17 | 907769 | 218632 | 33627 13 | 72 | 130 1270.46/1270.72 c 1258s | 17 | 909179 | 218932 | 33627 13 | 72 | 130 1272.66/1272.90 c 1261s | 17 | 910660 | 219232 | 33627 13 | 72 | 130 1274.67/1274.97 c 1263s | 17 | 911847 | 219532 | 33627 13 | 72 | 130 1277.36/1277.60 c 1265s | 17 | 913747 | 219932 | 33627 13 | 72 | 130 1279.46/1279.79 c 1268s | 17 | 915023 | 220232 | 33627 13 | 72 | 130 1281.66/1281.99 c 1270s | 17 | 916157 | 220532 | 33627 14 | 72 | 130 1284.06/1284.35 c 1272s | 17 | 917842 | 220932 | 33627 14 | 72 | 130 1286.46/1286.70 c 1274s | 17 | 919335 | 221332 | 33627 14 | 72 | 130 1288.76/1289.05 c 1277s | 17 | 920779 | 221732 | 33627 14 | 72 | 130 1290.96/1291.26 c 1279s | 17 | 922016 | 222132 | 33627 14 | 72 | 130 1293.16/1293.44 c 1281s | 17 | 923376 | 222532 | 33627 14 | 72 | 130 1295.36/1295.68 c 1283s | 17 | 924751 | 222932 | 33627 14 | 72 | 130 1297.87/1298.19 c 1286s | 17 | 926678 | 223332 | 33627 14 | 72 | 130 1300.46/1300.75 c 1288s | 17 | 928473 | 223732 | 33627 14 | 72 | 130 1302.96/1303.29 c 1291s | 17 | 930420 | 224132 | 33627 14 | 72 | 130 1305.47/1305.80 c 1294s | 17 | 931788 | 224532 | 33627 14 | 72 | 130 1307.96/1308.28 c 1296s | 17 | 932952 | 224932 | 33627 14 | 72 | 130 1310.36/1310.60 c 1298s | 17 | 934196 | 225332 | 33627 14 | 72 | 130 1312.66/1312.97 c 1301s | 17 | 935348 | 225732 | 33627 14 | 72 | 130 1315.16/1315.44 c 1303s | 17 | 936604 | 226132 | 33627 14 | 72 | 130 1317.76/1318.03 c 1306s | 17 | 938450 | 226532 | 33627 14 | 72 | 130 1320.37/1320.60 c 1308s | 17 | 940084 | 226932 | 33627 14 | 72 | 130 1322.87/1323.17 c 1311s | 17 | 941475 | 227332 | 33627 14 | 72 | 130 1325.47/1325.72 c 1313s | 17 | 942716 | 227732 | 33627 14 | 72 | 130 1327.97/1328.23 c 1316s | 17 | 944222 | 228132 | 33627 14 | 72 | 130 1330.46/1330.71 c 1318s | 17 | 945968 | 228532 | 33627 14 | 72 | 130 1332.97/1333.24 c 1321s | 17 | 947585 | 228932 | 33627 14 | 72 | 130 1335.46/1335.76 c 1323s | 17 | 949694 | 229332 | 33627 14 | 72 | 130 1338.06/1338.34 c 1326s | 17 | 951174 | 229732 | 33627 14 | 72 | 130 1340.56/1340.88 c 1329s | 17 | 952748 | 230132 | 33627 14 | 72 | 130 1342.97/1343.25 c 1331s | 17 | 954083 | 230532 | 33627 14 | 72 | 130 1345.26/1345.59 c 1333s | 17 | 955399 | 230932 | 33627 14 | 72 | 130 1347.86/1348.19 c 1336s | 17 | 956866 | 231332 | 33627 14 | 72 | 130 1350.26/1350.59 c 1338s | 17 | 958341 | 231732 | 33627 14 | 72 | 130 1352.77/1353.04 c 1341s | 17 | 960130 | 232132 | 33627 14 | 72 | 130 1355.36/1355.61 c 1343s | 17 | 961807 | 232532 | 33627 14 | 72 | 130 1357.86/1358.15 c 1346s | 17 | 963451 | 232932 | 33627 14 | 72 | 130 1360.36/1360.66 c 1348s | 17 | 964782 | 233332 | 33627 14 | 72 | 130 1362.86/1363.16 c 1351s | 17 | 966199 | 233732 | 33627 14 | 72 | 130 1365.16/1365.49 c 1353s | 17 | 967575 | 234132 | 33627 14 | 72 | 130 1367.56/1367.89 c 1356s | 17 | 969058 | 234532 | 33627 14 | 72 | 130 1370.06/1370.39 c 1358s | 17 | 970681 | 234932 | 33627 14 | 72 | 130 1372.16/1372.48 c 1360s | 17 | 972090 | 235232 | 33627 14 | 72 | 130 1374.76/1375.00 c 1363s | 17 | 974122 | 235632 | 33627 14 | 72 | 130 1377.26/1377.59 c 1365s | 17 | 975788 | 236032 | 33627 14 | 72 | 130 1379.86/1380.17 c 1368s | 17 | 977246 | 236432 | 33627 14 | 72 | 130 1382.46/1382.74 c 1370s | 17 | 978666 | 236832 | 33627 14 | 72 | 130 1385.05/1385.32 c 1373s | 17 | 980250 | 237232 | 33627 14 | 72 | 130 1387.55/1387.80 c 1376s | 17 | 981898 | 237632 | 33627 14 | 72 | 130 1390.05/1390.35 c 1378s | 17 | 983392 | 238032 | 33627 15 | 72 | 130 1392.36/1392.65 c 1380s | 17 | 984766 | 238432 | 33627 15 | 72 | 130 1394.75/1395.01 c 1383s | 17 | 986486 | 238832 | 33627 15 | 72 | 130 1396.86/1397.11 c 1385s | 17 | 987858 | 239232 | 33627 15 | 72 | 130 1398.96/1399.28 c 1387s | 17 | 989354 | 239632 | 33627 15 | 72 | 130 1401.05/1401.36 c 1389s | 17 | 990750 | 240032 | 33627 15 | 72 | 130 1403.35/1403.62 c 1391s | 17 | 991913 | 240432 | 33627 15 | 72 | 130 1405.45/1405.77 c 1393s | 17 | 993176 | 240832 | 33627 15 | 72 | 130 1407.85/1408.15 c 1396s | 17 | 994474 | 241232 | 33627 15 | 72 | 130 1410.15/1410.43 c 1398s | 17 | 995744 | 241632 | 33627 15 | 72 | 130 1412.34/1412.62 c 1400s | 17 | 997020 | 242032 | 33627 15 | 72 | 130 1414.54/1414.81 c 1403s | 17 | 998447 | 242432 | 33627 15 | 72 | 130 1416.74/1417.06 c 1405s | 17 | 1000307 | 242832 | 33627 15 | 72 | 130 1419.04/1419.31 c 1407s | 17 | 1001851 | 243232 | 33627 15 | 72 | 130 1421.14/1421.44 c 1409s | 17 | 1003334 | 243632 | 33627 15 | 72 | 130 1423.34/1423.62 c 1411s | 17 | 1004784 | 244032 | 33627 15 | 72 | 130 1425.54/1425.85 c 1414s | 17 | 1006841 | 244432 | 33627 15 | 72 | 130 1427.65/1427.98 c 1416s | 17 | 1008224 | 244832 | 33627 15 | 72 | 130 1429.75/1430.04 c 1418s | 17 | 1009806 | 245232 | 33627 15 | 72 | 130 1431.84/1432.19 c 1420s | 17 | 1011492 | 245632 | 33627 15 | 72 | 130 1433.94/1434.29 c 1422s | 17 | 1013122 | 246032 | 33627 15 | 72 | 130 1436.24/1436.55 c 1424s | 17 | 1014333 | 246432 | 33627 15 | 72 | 130 1438.54/1438.87 c 1427s | 17 | 1015367 | 246832 | 33627 15 | 72 | 130 1440.74/1441.03 c 1429s | 17 | 1016890 | 247232 | 33627 15 | 72 | 130 1442.94/1443.22 c 1431s | 17 | 1017900 | 247632 | 33627 15 | 72 | 130 1445.04/1445.40 c 1433s | 17 | 1019923 | 248032 | 33627 15 | 72 | 130 1447.34/1447.70 c 1435s | 17 | 1021513 | 248432 | 33627 15 | 72 | 130 1449.54/1449.84 c 1438s | 17 | 1022864 | 248832 | 33627 15 | 72 | 130 1451.64/1451.99 c 1440s | 17 | 1024597 | 249232 | 33627 15 | 72 | 130 1453.94/1454.25 c 1442s | 17 | 1026316 | 249632 | 33627 15 | 72 | 130 1456.14/1456.47 c 1444s | 17 | 1027786 | 250032 | 33627 15 | 72 | 130 1458.34/1458.64 c 1446s | 17 | 1029575 | 250432 | 33627 15 | 72 | 130 1460.43/1460.71 c 1448s | 17 | 1031058 | 250832 | 33627 15 | 72 | 130 1462.63/1462.92 c 1451s | 17 | 1032180 | 251232 | 33627 15 | 72 | 130 1464.94/1465.21 c 1453s | 17 | 1033692 | 251632 | 33627 15 | 72 | 130 1467.14/1467.43 c 1455s | 17 | 1035373 | 252032 | 33627 15 | 72 | 130 1469.34/1469.66 c 1457s | 17 | 1037197 | 252432 | 33627 15 | 72 | 130 1471.54/1471.88 c 1460s | 17 | 1039155 | 252832 | 33627 15 | 72 | 130 1473.84/1474.18 c 1462s | 17 | 1040373 | 253232 | 33627 15 | 72 | 130 1476.13/1476.43 c 1464s | 17 | 1042427 | 253632 | 33627 15 | 72 | 130 1478.53/1478.86 c 1467s | 17 | 1044254 | 254032 | 33627 15 | 72 | 130 1480.92/1481.20 c 1469s | 17 | 1045436 | 254432 | 33627 15 | 72 | 130 1483.02/1483.39 c 1471s | 17 | 1046499 | 254832 | 33627 15 | 72 | 130 1485.52/1485.87 c 1474s | 17 | 1048487 | 255232 | 33627 16 | 72 | 130 1488.03/1488.37 c 1476s | 17 | 1050222 | 255732 | 33627 16 | 72 | 130 1490.12/1490.45 c 1478s | 17 | 1051810 | 256132 | 33627 16 | 72 | 130 1492.22/1492.52 c 1480s | 17 | 1054077 | 256532 | 33627 16 | 72 | 130 1494.73/1495.00 c 1483s | 17 | 1055944 | 257032 | 33627 16 | 72 | 130 1496.72/1497.08 c 1485s | 17 | 1057442 | 257432 | 33627 16 | 72 | 130 1498.92/1499.21 c 1487s | 17 | 1058890 | 257832 | 33627 16 | 72 | 130 1501.33/1501.65 c 1489s | 17 | 1060681 | 258332 | 33627 16 | 72 | 130 1503.42/1503.70 c 1491s | 17 | 1062272 | 258732 | 33627 16 | 72 | 130 1505.52/1505.80 c 1494s | 17 | 1064063 | 259132 | 33627 16 | 72 | 130 1507.62/1507.92 c 1496s | 17 | 1065828 | 259532 | 33627 16 | 72 | 130 1509.62/1509.99 c 1498s | 17 | 1067236 | 259932 | 33627 16 | 72 | 130 1511.62/1512.00 c 1500s | 17 | 1069075 | 260332 | 33627 16 | 72 | 130 1513.71/1514.00 c 1502s | 17 | 1070507 | 260732 | 33627 16 | 72 | 130 1515.71/1516.04 c 1504s | 17 | 1071827 | 261132 | 33627 16 | 72 | 130 1517.82/1518.14 c 1506s | 17 | 1073138 | 261532 | 33627 16 | 72 | 130 1519.92/1520.21 c 1508s | 17 | 1074812 | 261932 | 33627 16 | 72 | 130 1522.12/1522.47 c 1510s | 17 | 1076620 | 262332 | 33627 16 | 72 | 130 1524.21/1524.58 c 1512s | 17 | 1077934 | 262732 | 33627 16 | 72 | 130 1526.52/1526.86 c 1515s | 17 | 1079326 | 263132 | 33627 16 | 72 | 130 1528.61/1528.97 c 1517s | 17 | 1081142 | 263532 | 33627 16 | 72 | 130 1530.71/1531.06 c 1519s | 17 | 1082981 | 263932 | 33627 16 | 72 | 130 1532.81/1533.16 c 1521s | 17 | 1084462 | 264332 | 33627 16 | 72 | 130 1534.91/1535.24 c 1523s | 17 | 1086078 | 264732 | 33627 16 | 72 | 130 1537.11/1537.41 c 1525s | 17 | 1087551 | 265132 | 33627 16 | 72 | 130 1540.31/1540.60 c 1528s | 17 | 1089430 | 265532 | 33627 16 | 72 | 130 1542.80/1543.12 c 1531s | 17 | 1091439 | 265932 | 33627 16 | 72 | 130 1545.10/1545.44 c 1533s | 17 | 1093332 | 266332 | 33627 16 | 72 | 130 1547.70/1548.02 c 1536s | 17 | 1095692 | 266832 | 33627 16 | 72 | 130 1549.90/1550.25 c 1538s | 17 | 1097220 | 267232 | 33627 16 | 72 | 130 1552.10/1552.43 c 1540s | 17 | 1098769 | 267632 | 33627 16 | 72 | 130 1554.30/1554.63 c 1542s | 17 | 1100345 | 268032 | 33627 16 | 72 | 130 1556.40/1556.78 c 1544s | 17 | 1101828 | 268432 | 33627 16 | 72 | 130 1558.50/1558.86 c 1547s | 17 | 1103293 | 268832 | 33627 16 | 72 | 130 1561.00/1561.36 c 1549s | 17 | 1104937 | 269332 | 33627 16 | 72 | 130 1563.30/1563.66 c 1551s | 17 | 1106866 | 269732 | 33627 16 | 72 | 130 1565.40/1565.74 c 1553s | 17 | 1108032 | 270032 | 33627 16 | 72 | 130 1567.79/1568.11 c 1556s | 17 | 1110150 | 270432 | 33627 16 | 72 | 130 1569.79/1570.14 c 1558s | 17 | 1111151 | 270732 | 33627 16 | 72 | 130 1572.29/1572.69 c 1560s | 17 | 1112788 | 271132 | 33627 16 | 72 | 130 1574.90/1575.27 c 1563s | 17 | 1114461 | 271532 | 33627 16 | 72 | 130 1577.49/1577.88 c 1566s | 17 | 1116076 | 271932 | 33627 16 | 72 | 130 1579.99/1580.34 c 1568s | 17 | 1117596 | 272332 | 33627 16 | 72 | 130 1582.18/1582.54 c 1570s | 17 | 1118708 | 272632 | 33627 16 | 72 | 130 1584.38/1584.79 c 1573s | 17 | 1120044 | 273032 | 33627 17 | 72 | 130 1586.78/1587.15 c 1575s | 17 | 1121957 | 273432 | 33627 17 | 72 | 130 1588.98/1589.37 c 1577s | 17 | 1123352 | 273832 | 33627 17 | 72 | 130 1591.28/1591.67 c 1579s | 17 | 1124927 | 274232 | 33627 17 | 72 | 130 1593.58/1593.98 c 1582s | 17 | 1126464 | 274632 | 33627 17 | 72 | 130 1595.98/1596.32 c 1584s | 17 | 1128135 | 275032 | 33627 17 | 72 | 130 1598.28/1598.62 c 1586s | 17 | 1129642 | 275432 | 33627 17 | 72 | 130 1600.58/1600.94 c 1589s | 17 | 1130878 | 275832 | 33627 17 | 72 | 130 1602.87/1603.29 c 1591s | 17 | 1132336 | 276232 | 33627 17 | 72 | 130 1605.47/1605.83 c 1594s | 17 | 1133854 | 276632 | 33627 17 | 72 | 130 1608.07/1608.42 c 1596s | 17 | 1135612 | 277032 | 33627 17 | 72 | 130 1610.57/1610.93 c 1599s | 17 | 1137069 | 277432 | 33627 17 | 72 | 130 1613.07/1613.50 c 1601s | 17 | 1138585 | 277832 | 33627 17 | 72 | 130 1615.67/1616.02 c 1604s | 17 | 1140106 | 278232 | 33627 17 | 72 | 130 1618.07/1618.49 c 1606s | 17 | 1141561 | 278632 | 33627 17 | 72 | 130 1620.66/1621.01 c 1609s | 17 | 1142796 | 279032 | 33627 17 | 72 | 130 1623.16/1623.51 c 1611s | 17 | 1144268 | 279432 | 33627 17 | 72 | 130 1625.57/1625.97 c 1614s | 17 | 1145596 | 279832 | 33627 17 | 72 | 130 1627.86/1628.23 c 1616s | 17 | 1147167 | 280232 | 33627 17 | 72 | 130 1630.06/1630.43 c 1618s | 17 | 1149098 | 280632 | 33627 17 | 72 | 130 1632.26/1632.61 c 1620s | 17 | 1150778 | 281032 | 33627 17 | 72 | 130 1634.37/1634.78 c 1622s | 17 | 1152521 | 281432 | 33627 17 | 72 | 130 1636.57/1636.91 c 1625s | 17 | 1154269 | 281832 | 33627 17 | 72 | 130 1638.67/1639.05 c 1627s | 17 | 1155947 | 282232 | 33627 17 | 72 | 130 1640.76/1641.12 c 1629s | 17 | 1157625 | 282632 | 33627 17 | 72 | 130 1642.86/1643.26 c 1631s | 17 | 1159093 | 283032 | 33627 17 | 72 | 130 1645.26/1645.61 c 1633s | 17 | 1160540 | 283432 | 33627 17 | 72 | 130 1647.46/1647.84 c 1636s | 17 | 1162142 | 283832 | 33627 17 | 72 | 130 1649.66/1650.05 c 1638s | 17 | 1163736 | 284232 | 33627 17 | 72 | 130 1652.15/1652.56 c 1640s | 17 | 1165692 | 284632 | 33627 17 | 72 | 130 1654.45/1654.87 c 1643s | 17 | 1167014 | 285032 | 33627 17 | 72 | 130 1656.95/1657.35 c 1645s | 17 | 1168352 | 285432 | 33627 17 | 72 | 130 1659.45/1659.85 c 1648s | 17 | 1170088 | 285832 | 33627 17 | 72 | 130 1662.05/1662.48 c 1650s | 17 | 1171900 | 286232 | 33627 17 | 72 | 130 1664.45/1664.85 c 1653s | 17 | 1173619 | 286632 | 33627 17 | 72 | 130 1666.85/1667.21 c 1655s | 17 | 1175392 | 287032 | 36990 17 | 72 | 130 1669.15/1669.55 c 1657s | 17 | 1177334 | 287432 | 36990 17 | 72 | 130 1671.55/1671.91 c 1660s | 17 | 1178784 | 287832 | 36990 17 | 72 | 130 1673.85/1674.21 c 1662s | 17 | 1180360 | 288232 | 36990 17 | 72 | 130 1676.25/1676.62 c 1664s | 17 | 1182272 | 288632 | 36990 17 | 72 | 130 1678.35/1678.77 c 1666s | 17 | 1184309 | 289032 | 36990 17 | 72 | 130 1680.64/1681.00 c 1669s | 17 | 1185926 | 289432 | 36990 17 | 72 | 130 1682.84/1683.26 c 1671s | 17 | 1187554 | 289832 | 36990 17 | 72 | 130 1685.04/1685.49 c 1673s | 17 | 1189047 | 290232 | 36990 17 | 72 | 130 1687.34/1687.73 c 1675s | 17 | 1190535 | 290632 | 36990 17 | 72 | 130 1689.54/1690.00 c 1678s | 17 | 1192025 | 291032 | 36990 17 | 72 | 130 1691.74/1692.19 c 1680s | 17 | 1193907 | 291432 | 36990 17 | 72 | 130 1694.34/1694.76 c 1682s | 17 | 1195929 | 291832 | 36990 17 | 72 | 130 1696.54/1696.97 c 1685s | 17 | 1197744 | 292232 | 36990 17 | 72 | 130 1698.84/1699.28 c 1687s | 17 | 1199402 | 292632 | 36990 17 | 72 | 130 1701.35/1701.75 c 1689s | 17 | 1201167 | 293032 | 36990 17 | 72 | 130 1703.54/1703.96 c 1692s | 17 | 1202218 | 293332 | 36990 18 | 72 | 130 1705.84/1706.26 c 1694s | 17 | 1204515 | 293732 | 36990 18 | 72 | 130 1707.94/1708.36 c 1696s | 17 | 1206269 | 294132 | 36990 18 | 72 | 130 1710.04/1710.48 c 1698s | 17 | 1207467 | 294532 | 36990 18 | 72 | 130 1712.23/1712.67 c 1700s | 17 | 1208911 | 294932 | 36990 18 | 72 | 130 1714.43/1714.80 c 1703s | 17 | 1210058 | 295332 | 36990 18 | 72 | 130 1716.43/1716.85 c 1705s | 17 | 1211727 | 295732 | 36990 18 | 72 | 130 1718.94/1719.32 c 1707s | 17 | 1213721 | 296232 | 36990 18 | 72 | 130 1719.04/1719.43 c 1707s | 18 | 1213830 | 296252 | 36990 18 | 72 | 130 1721.43/1721.85 c 1710s | 18 | 1215721 | 296752 | 36990 18 | 72 | 130 1723.53/1723.96 c 1712s | 18 | 1217402 | 297152 | 36990 18 | 72 | 130 1725.63/1726.01 c 1714s | 18 | 1218779 | 297552 | 36990 18 | 72 | 130 1728.23/1728.68 c 1716s | 18 | 1220114 | 297852 | 36990 18 | 72 | 130 1730.42/1730.80 c 1719s | 18 | 1221334 | 298152 | 36990 18 | 72 | 130 1732.72/1733.11 c 1721s | 18 | 1223006 | 298552 | 36990 18 | 72 | 130 1734.82/1735.26 c 1723s | 18 | 1224602 | 298952 | 36990 18 | 72 | 130 1736.82/1737.27 c 1725s | 18 | 1226668 | 299352 | 36990 18 | 72 | 130 1739.02/1739.47 c 1727s | 18 | 1228736 | 299752 | 36990 18 | 72 | 130 1741.32/1741.71 c 1729s | 18 | 1231072 | 300152 | 36990 18 | 72 | 130 1743.41/1743.89 c 1732s | 18 | 1232940 | 300552 | 36990 18 | 72 | 130 1745.61/1746.08 c 1734s | 18 | 1234171 | 300952 | 36990 18 | 72 | 130 1747.71/1748.17 c 1736s | 18 | 1235604 | 301352 | 36990 18 | 72 | 130 1749.91/1750.31 c 1738s | 18 | 1237157 | 301752 | 36990 18 | 72 | 130 1752.11/1752.52 c 1740s | 18 | 1238458 | 302152 | 36990 18 | 72 | 130 1754.41/1754.84 c 1743s | 18 | 1240356 | 302552 | 36990 18 | 72 | 130 1756.81/1757.26 c 1745s | 18 | 1242252 | 302952 | 36990 18 | 72 | 130 1759.11/1759.59 c 1747s | 18 | 1244006 | 303352 | 36990 18 | 72 | 130 1761.71/1762.12 c 1750s | 18 | 1245422 | 303752 | 36990 18 | 72 | 130 1764.30/1764.70 c 1752s | 18 | 1247125 | 304152 | 36990 18 | 72 | 130 1766.80/1767.23 c 1755s | 18 | 1248805 | 304552 | 36990 18 | 72 | 130 1769.10/1769.52 c 1757s | 18 | 1251000 | 304952 | 36990 18 | 72 | 130 1771.40/1771.89 c 1760s | 18 | 1252509 | 305352 | 36990 18 | 72 | 130 1773.80/1774.25 c 1762s | 18 | 1253964 | 305752 | 36990 18 | 72 | 130 1776.20/1776.64 c 1764s | 18 | 1255705 | 306152 | 36990 18 | 72 | 130 1778.59/1779.00 c 1767s | 18 | 1257370 | 306552 | 36990 18 | 72 | 130 1780.89/1781.36 c 1769s | 18 | 1259188 | 306952 | 36990 18 | 72 | 130 1783.20/1783.69 c 1771s | 18 | 1260469 | 307352 | 36990 18 | 72 | 130 1785.60/1786.09 c 1774s | 18 | 1262025 | 307752 | 36990 18 | 72 | 130 1787.70/1788.18 c 1776s | 18 | 1263042 | 308052 | 36990 18 | 72 | 130 1789.90/1790.36 c 1778s | 18 | 1264475 | 308352 | 36990 18 | 72 | 130 1792.50/1792.90 c 1781s | 18 | 1266038 | 308752 | 36990 18 | 72 | 130 1794.70/1795.15 c 1783s | 18 | 1267483 | 309052 | 36990 18 | 72 | 130 1796.80/1797.29 c 1785s | 18 | 1268691 | 309352 | 36990 18 | 72 | 130 1799.40/1799.89 c 1788s | 18 | 1270229 | 309752 | 36990 18 | 72 | 130
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-4106637-1466274985/watcher-4106637-1466274985 -o /tmp/evaluation-result-4106637-1466274985/solver-4106637-1466274985 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24754 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106637-1466274985.opb pid=24776 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: 1.06 1.31 1.73 2/175 24782 /proc/meminfo: memFree=30242824/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=699836 CPUtime=0 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 2605 0 0 0 0 0 0 0 20 0 4 0 29545033 716632064 3477 33554432000 4194304 16246674 140734299303008 140734299302432 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24782/statm: 175471 3485 441 2943 0 172365 0 [pid=24782/tid=24786] ppid=24776 vsize=717244 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 734457856 3543 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=721340 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 738652160 3558 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=725436 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 742846464 3575 33554432000 4194304 16246674 140734299303008 140631791889584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100152 s] /proc/loadavg: 1.06 1.31 1.73 2/175 24782 /proc/meminfo: memFree=30242824/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1223236 CPUtime=0.09 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 23369 0 0 0 6 3 0 0 20 0 4 0 29545033 1252593664 24188 33554432000 4194304 16246674 140734299303008 140734299302320 6837348 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24782/statm: 305809 24188 835 2943 0 302703 0 [pid=24782/tid=24786] ppid=24776 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1252593664 24188 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1252593664 24188 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1252593664 24188 33554432000 4194304 16246674 140734299303008 140631791889584 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) 1223236 [startup+0.200495 s] /proc/loadavg: 1.06 1.31 1.73 2/175 24782 /proc/meminfo: memFree=30242824/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1223236 CPUtime=0.19 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 34361 0 0 0 15 4 0 0 20 0 4 0 29545033 1252593664 35180 33554432000 4194304 16246674 140734299303008 140734299302320 4220894 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24782/statm: 305809 35180 894 2943 0 302703 0 [pid=24782/tid=24786] ppid=24776 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1252593664 35180 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1252593664 35180 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1252593664 35180 33554432000 4194304 16246674 140734299303008 140631791889584 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) 1223236 [startup+0.300492 s] /proc/loadavg: 1.06 1.31 1.73 2/175 24782 /proc/meminfo: memFree=30242824/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1296964 CPUtime=0.29 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 50854 0 0 0 23 6 0 0 20 0 4 0 29545033 1328091136 51673 33554432000 4194304 16246674 140734299303008 140734299302320 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24782/statm: 324241 51680 894 2943 0 321135 0 [pid=24782/tid=24786] ppid=24776 vsize=1296964 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1328091136 51686 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1296964 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1328091136 51692 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1296964 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1328091136 51698 33554432000 4194304 16246674 140734299303008 140631791889584 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) 1296964 [startup+0.700395 s] /proc/loadavg: 1.06 1.31 1.73 2/175 24782 /proc/meminfo: memFree=30242824/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1307204 CPUtime=0.69 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 70836 0 0 0 60 9 0 0 20 0 4 0 29545033 1338576896 71655 33554432000 4194304 16246674 140734299303008 140734299286000 5523709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24782/statm: 326801 71666 909 2943 0 323695 0 [pid=24782/tid=24786] ppid=24776 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1338576896 71671 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1338576896 71677 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1338576896 71684 33554432000 4194304 16246674 140734299303008 140631791889584 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) 1307204 [startup+1.50039 s] /proc/loadavg: 1.06 1.31 1.73 5/183 24790 /proc/meminfo: memFree=28752592/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1308228 CPUtime=1.48 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 147510 0 0 0 130 18 0 0 20 0 4 0 29545033 1339625472 148329 33554432000 4194304 16246674 140734299303008 140734299284928 6010609 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24782/statm: 327057 148329 911 2943 0 323951 0 [pid=24782/tid=24786] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 148329 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 148329 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 148329 33554432000 4194304 16246674 140734299303008 140631791889584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1308228 [startup+3.10039 s] /proc/loadavg: 1.06 1.31 1.73 5/183 24790 /proc/meminfo: memFree=28583556/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1308228 CPUtime=3.08 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 147539 0 0 0 290 18 0 0 20 0 4 0 29545033 1339625472 148358 33554432000 4194304 16246674 140734299303008 140734299302184 5827966 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24782/statm: 327057 148358 911 2943 0 323951 0 [pid=24782/tid=24786] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 148358 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 148358 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 148358 33554432000 4194304 16246674 140734299303008 140631791889584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1308228 [startup+6.3004 s] /proc/loadavg: 1.13 1.32 1.73 5/183 24790 /proc/meminfo: memFree=28578124/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1308228 CPUtime=6.27 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 147708 0 0 0 607 20 0 0 20 0 4 0 29545033 1339625472 148527 33554432000 4194304 16246674 140734299303008 140734299284928 14066032 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24782/statm: 327057 148527 913 2943 0 323951 0 [pid=24782/tid=24786] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 148527 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 148527 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 148527 33554432000 4194304 16246674 140734299303008 140631791889584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 1.20 1.33 1.73 4/183 24790 /proc/meminfo: memFree=28556604/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1308228 CPUtime=12.67 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 260576 0 0 0 1233 34 0 0 20 0 4 0 29545033 1339625472 261395 33554432000 4194304 16246674 140734299303008 140734299284928 5675010 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24782/statm: 327057 261403 916 2943 0 323951 0 [pid=24782/tid=24786] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 261408 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 261413 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 261418 33554432000 4194304 16246674 140734299303008 140631791889584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 1.38 1.36 1.73 4/183 24790 /proc/meminfo: memFree=28095372/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1308228 CPUtime=25.46 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 268250 0 0 0 2511 35 0 0 20 0 4 0 29545033 1339625472 269069 33554432000 4194304 16246674 140734299303008 140734299284928 5677667 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24782/statm: 327057 269069 916 2943 0 323951 0 [pid=24782/tid=24786] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 269069 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 269069 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 269069 33554432000 4194304 16246674 140734299303008 140631791889584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 1308228 [startup+51.1004 s] /proc/loadavg: 1.65 1.43 1.74 4/183 24790 /proc/meminfo: memFree=28088660/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1308228 CPUtime=51.06 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 268250 0 0 0 5070 36 0 0 20 0 4 0 29545033 1339625472 269069 33554432000 4194304 16246674 140734299303008 140734299284928 5677720 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/24782/statm: 327057 269069 916 2943 0 323951 0 [pid=24782/tid=24786] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 269069 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 269069 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 269069 33554432000 4194304 16246674 140734299303008 140631791889584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 1308228 [startup+102.3 s] /proc/loadavg: 2.03 1.56 1.77 5/183 24792 /proc/meminfo: memFree=28088000/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1308228 CPUtime=102.26 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 268250 0 0 0 10190 36 0 0 20 0 4 0 29545033 1339625472 269069 33554432000 4194304 16246674 140734299303008 140734299284928 5675115 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24782/statm: 327057 269069 916 2943 0 323951 0 [pid=24782/tid=24786] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 269069 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 269069 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1339625472 269069 33554432000 4194304 16246674 140734299303008 140631791889584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1308228 ################ # More data... # ################ /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1359548416 273936 33554432000 4194304 16246674 140734299303008 140631791889584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 1327684 [startup+1302.3 s] /proc/loadavg: 2.31 2.27 2.11 4/183 24822 /proc/meminfo: memFree=28049960/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1327684 CPUtime=1302.06 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 273117 0 0 0 130167 39 0 0 20 0 4 0 29545033 1359548416 273936 33554432000 4194304 16246674 140734299303008 140734299284928 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24782/statm: 331921 273936 919 2943 0 328815 0 [pid=24782/tid=24786] ppid=24776 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1359548416 273936 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1359548416 273936 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1359548416 273936 33554432000 4194304 16246674 140734299303008 140631791889584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 1327684 [startup+1362.3 s] /proc/loadavg: 2.31 2.28 2.12 4/183 24823 /proc/meminfo: memFree=28050124/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1327684 CPUtime=1362.06 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 273117 0 0 0 136166 40 0 0 20 0 4 0 29545033 1359548416 273936 33554432000 4194304 16246674 140734299303008 140734299284928 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24782/statm: 331921 273936 919 2943 0 328815 0 [pid=24782/tid=24786] ppid=24776 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1359548416 273936 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1359548416 273936 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1359548416 273936 33554432000 4194304 16246674 140734299303008 140631791889584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 1327684 [startup+1422.3 s] /proc/loadavg: 2.23 2.26 2.12 4/184 24827 /proc/meminfo: memFree=28049052/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1327684 CPUtime=1422.05 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 273136 0 0 0 142165 40 0 0 20 0 4 0 29545033 1359548416 273939 33554432000 4194304 16246674 140734299303008 140734299284928 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24782/statm: 331921 273939 919 2943 0 328815 0 [pid=24782/tid=24786] ppid=24776 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1359548416 273939 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1359548416 273939 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1359548416 273939 33554432000 4194304 16246674 140734299303008 140631791889584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 1327684 [startup+1482.3 s] /proc/loadavg: 2.30 2.27 2.13 5/184 24851 /proc/meminfo: memFree=28049132/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1327684 CPUtime=1482.02 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 273150 0 0 0 148162 40 0 0 20 0 4 0 29545033 1359548416 273939 33554432000 4194304 16246674 140734299303008 140734299284928 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24782/statm: 331921 273939 919 2943 0 328815 0 [pid=24782/tid=24786] ppid=24776 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1359548416 273939 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1359548416 273939 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1359548416 273939 33554432000 4194304 16246674 140734299303008 140631791889584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 1327684 [startup+1542.31 s] /proc/loadavg: 2.17 2.23 2.13 4/183 24852 /proc/meminfo: memFree=28033056/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1345092 CPUtime=1542.01 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 277449 0 0 0 154160 41 0 0 20 0 4 0 29545033 1377374208 278220 33554432000 4194304 16246674 140734299303008 140734299284864 5675989 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24782/statm: 336273 278220 919 2943 0 333167 0 [pid=24782/tid=24786] ppid=24776 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1377374208 278220 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1377374208 278220 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1377374208 278220 33554432000 4194304 16246674 140734299303008 140631791889584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 1345092 [startup+1602.3 s] /proc/loadavg: 2.21 2.23 2.13 4/183 24854 /proc/meminfo: memFree=28032844/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1345092 CPUtime=1601.98 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 277481 0 0 0 160157 41 0 0 20 0 4 0 29545033 1377374208 278220 33554432000 4194304 16246674 140734299303008 140734299284928 5546321 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24782/statm: 336273 278220 919 2943 0 333167 0 [pid=24782/tid=24786] ppid=24776 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1377374208 278220 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1377374208 278220 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1377374208 278220 33554432000 4194304 16246674 140734299303008 140631791889584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 1345092 [startup+1662.3 s] /proc/loadavg: 2.24 2.23 2.13 4/183 24855 /proc/meminfo: memFree=28032132/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1345092 CPUtime=1661.95 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 277504 0 0 0 166154 41 0 0 20 0 4 0 29545033 1377374208 278220 33554432000 4194304 16246674 140734299303008 140734299284928 6836961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24782/statm: 336273 278220 919 2943 0 333167 0 [pid=24782/tid=24786] ppid=24776 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1377374208 278220 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1377374208 278220 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1377374208 278220 33554432000 4194304 16246674 140734299303008 140631791889584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.95 Current children cumulated vsize (KiB) 1345092 [startup+1722.3 s] /proc/loadavg: 2.28 2.24 2.14 4/183 24856 /proc/meminfo: memFree=28032284/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1345092 CPUtime=1721.93 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 277595 0 0 0 172152 41 0 0 20 0 4 0 29545033 1377374208 278291 33554432000 4194304 16246674 140734299303008 140734299302104 5675196 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24782/statm: 336273 278291 919 2943 0 333167 0 [pid=24782/tid=24786] ppid=24776 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1377374208 278291 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1377374208 278291 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1377374208 278291 33554432000 4194304 16246674 140734299303008 140631791889584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.93 Current children cumulated vsize (KiB) 1345092 [startup+1782.3 s] /proc/loadavg: 2.27 2.24 2.14 4/183 24857 /proc/meminfo: memFree=28031576/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1345092 CPUtime=1781.89 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 277640 0 0 0 178148 41 0 0 20 0 4 0 29545033 1377374208 278291 33554432000 4194304 16246674 140734299303008 140734299284928 12483578 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24782/statm: 336273 278291 919 2943 0 333167 0 [pid=24782/tid=24786] ppid=24776 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1377374208 278291 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1377374208 278291 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1377374208 278291 33554432000 4194304 16246674 140734299303008 140631791889584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 1345092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.26 2.24 2.14 4/183 24857 /proc/meminfo: memFree=28032040/32872528 swapFree=1370848/1518016 [pid=24782] ppid=24776 vsize=1345092 CPUtime=1800 cores=1,3,5,7 /proc/24782/stat : 24782 (toysat) R 24776 24782 24737 0 -1 4202496 277652 0 0 0 179958 42 0 0 20 0 4 0 29545033 1377374208 278291 33554432000 4194304 16246674 140734299303008 140734299284928 5822432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24782/statm: 336273 278291 919 2943 0 333167 0 [pid=24782/tid=24786] ppid=24776 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24786/stat : 24786 (toysat) S 24776 24782 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29545033 1377374208 278291 33554432000 4194304 16246674 140734299303008 140631921896688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24782/tid=24787] ppid=24776 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24787/stat : 24787 (toysat) S 24776 24782 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545033 1377374208 278291 33554432000 4194304 16246674 140734299303008 140631911406832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24782/tid=24788] ppid=24776 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/24782/task/24788/stat : 24788 (toysat) S 24776 24782 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545033 1377374208 278291 33554432000 4194304 16246674 140734299303008 140631791889584 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) 1345092 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 24782 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.43 CPU time (s): 1800.03 CPU user time (s): 1799.58 CPU system time (s): 0.440932 CPU usage (%): 99.9775 Max. virtual memory (cumulated for all children) (KiB): 1345092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.440932 maximum resident set size= 1113164 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277652 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= 195 involuntary context switches= 2072 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.47786 second user time and 9.8815 second system time The end
Begin job on node129 at 2016-06-18 20:36:25 IDJOB=4106637 IDBENCH=48157 IDSOLVER=2542 FILE ID=node129/4106637-1466274985 RUNJOBID= node129-1466274985-24754 PBS_JOBID= 19918243 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_3.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106637-1466274985/watcher-4106637-1466274985 -o /tmp/evaluation-result-4106637-1466274985/solver-4106637-1466274985 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24754 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106637-1466274985.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 31a0e10ee8ac2049545ec8eab33f6948 RANDOM SEED=1447823136 node129.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.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.28 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.143 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.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 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.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 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.54 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.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30244756 kB Buffers: 156364 kB Cached: 211920 kB SwapCached: 1940 kB Active: 129792 kB Inactive: 241512 kB Active(anon): 4952 kB Inactive(anon): 1076 kB Active(file): 124840 kB Inactive(file): 240436 kB Unevictable: 1518016 kB Mlocked: 1370848 kB SwapTotal: 67108856 kB SwapFree: 67099228 kB Dirty: 32596 kB Writeback: 0 kB AnonPages: 1520368 kB Mapped: 6776 kB Shmem: 0 kB Slab: 603272 kB SReclaimable: 47472 kB SUnreclaim: 555800 kB KernelStack: 1336 kB PageTables: 7340 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1614384 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 147456 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= 71704 MiB End job on node129 at 2016-06-18 21:06:26