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.02 | 1800.41 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_011_area_delay.opb |
| MD5SUM | 2f74e16682a12ef5378f741d09271472 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 26 |
| Best CPU time to get the best result obtained on this benchmark | 0.204968 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 26 |
| Optimality of the best value was proved | YES |
| Number of variables | 13304 |
| Total number of constraints | 43326 |
| Number of constraints which are clauses | 43326 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 6504 |
| 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 | 6504 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 6504 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T23:23:48+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079838-1465248228.opb"] 0.00/0.01 c use --random-gen="2034172894 3663412171 3916424860 3971657054 2624208835 3247934689 3868008949 750308220 1516113636 1054548180 3820134792 620751661 1109429786 1832653027 890516700 3983251584 3591439483 2783071162 3742251240 2946268908 1680221240 2689097109 3629004291 2329192184 3972492176 2688010720 4136424438 4153928150 1535735633 201145603 830640002 4189016021 908278402 3748194527 4010912292 3968824361 1497637618 1392838618 2929715541 4216461783 4113817990 3229956595 2297938060 2821151566 2979080601 3435272271 830124866 1050086223 1670125806 2147866562 1944995418 3299220096 4087010279 447198411 1261960799 2377408455 2542855274 556788919 2176730564 1917145797 3775736100 2449611398 3813164458 3556003654 4129954382 1320832051 2064098620 4103516842 270339297 251049253 402551206 1620357734 1119778322 3645474362 1564322757 3303324425 4283748133 3463038941 2377008871 2145485250 3368101001 1176866494 344845140 1732059105 3930685830 3529433316 3561175262 462482823 3747866233 2521870245 3511193686 557518571 1672774513 4039880428 942731498 526482820 1169109591 8933001 3226160663 68281786 2020797775 3576852949 2840642777 694285410 1733708550 2166549673 3241572955 3476443490 588367390 4203791673 890665946 56120581 785553058 2311763329 2810764241 2088748807 1946611704 2806653603 1100990100 1591626933 963298855 2708801814 1895711283 939875580 4079849423 816119372 2105243209 3520093259 2535814158 100854868 3062832736 786258338 1307072475 810347589 630421988 2233310780 3361350953 3993511261 3003290884 2570102519 2972530866 3035918566 1193394630 174649974 1524936056 1376017524 412483086 4269111669 77959086 3554253003 572884 4194756981 3064492110 1717636475 204743834 2322053007 749677606 3880047231 4091072204 953960740 3897219082 1402266625 2977982100 1056046604 171490016 3570343705 2046617923 100300843 580117535 1676133728 858814069 1218238871 2082814064 1594410979 3881130995 2861008919 1198572421 3172170852 3609606523 251271069 1639467522 2198389739 2918920800 3509871244 868511264 4192049065 1875715719 561110438 3309759748 579176775 496163133 3197748287 2859863254 2184907915 3323896112 1249525011 1206017169 1288672270 1572844664 694880649 3250950236 2795674468 2108360622 1902382390 1621095716 2184612954 4265487216 2549640963 410860685 4043239162 1751740135 2788307170 686730483 1313602339 660469895 3292906974 643426288 1553188797 1067855386 3572460037 3879246421 2312427677 3658379720 2893393526 1356174467 311347620 2406993137 1039865091 1332775040 4124727088 1047432299 625198073 2840115184 397960984 3306978922 2626654602 1805956046 2824527416 1906792559 3046859432 1542983736 753499372 93421927 3304378682 2757686708 3054045749 2215047518 3963167046 4230590550 2905574508 2188998444 2635595092 4255621728 671411726 2730831503 2553839036 255 362436" option to reproduce the execution 0.29/0.30 c #vars 13304 0.29/0.30 c #constraints 43326 0.79/0.81 c BCD2: Hardening is enabled. 0.79/0.81 c BCD2: BiasedSearch is enabled. 0.79/0.81 c Solving starts ... 0.79/0.81 c ============================[ Search Statistics ]============================ 0.79/0.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.81 c | | | | Limit GC | Var | Constra 0.79/0.81 c ============================================================================= 0.79/0.89 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 0 0.89/0.94 c 0.1s | 0 | 2640 | 0 | 18397 0 | 2788 | 7441 0.89/0.94 c #cpu_time = 0.051s 0.89/0.94 c #wall_clock_time = 0.051s 0.89/0.94 c #decision = 2640 0.89/0.94 c #random_decision = 7 0.89/0.94 c #conflict = 0 0.89/0.94 c #restart = 0 0.89/0.94 o 2645 0.89/1.00 c BCD2: updating upper bound: 6504 -> 2644 0.99/1.05 c BCD2: 0 <= obj <= 2644 0.99/1.05 c BCD2: #cores=0, #unrelaxed=6504, #relaxed=0, #hardened=0 0.99/1.05 c BCD2: #sat=1 #unsat=1 bias=1/2 0.99/1.05 c Solving starts ... 0.99/1.05 c ============================[ Search Statistics ]============================ 0.99/1.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.05 c | | | | Limit GC | Var | Constra 0.99/1.05 c ============================================================================= 0.99/1.05 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 0.99/1.08 c 0.0s | 0 | 30 | 1 | 18397 0 | 2788 | 7441 0.99/1.08 c #cpu_time = 0.022s 0.99/1.08 c #wall_clock_time = 0.022s 0.99/1.08 c #decision = 30 0.99/1.08 c #random_decision = 0 0.99/1.08 c #conflict = 1 0.99/1.08 c #restart = 0 0.99/1.08 c BCD2: found a new core of size 4: cost of the new core is >=1 0.99/1.08 c lower bound updated to 1 0.99/1.08 c BCD2: 1 <= obj <= 2644 0.99/1.08 c BCD2: #cores=1, #unrelaxed=6500, #relaxed=4, #hardened=0 0.99/1.08 c BCD2: #sat=1 #unsat=2 bias=2/3 0.99/1.09 c Solving starts ... 0.99/1.09 c ============================[ Search Statistics ]============================ 0.99/1.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.09 c | | | | Limit GC | Var | Constra 0.99/1.09 c ============================================================================= 0.99/1.09 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 0.99/1.10 c 0.0s | 0 | 26 | 0 | 18397 0 | 2788 | 7441 0.99/1.10 c #cpu_time = 0.012s 0.99/1.10 c #wall_clock_time = 0.012s 0.99/1.10 c #decision = 26 0.99/1.10 c #random_decision = 0 0.99/1.10 c #conflict = 0 0.99/1.10 c #restart = 0 0.99/1.10 c BCD2: found a new core of size 13: cost of the new core is >=1 0.99/1.10 c lower bound updated to 2 1.09/1.10 c BCD2: 2 <= obj <= 2644 1.09/1.10 c BCD2: #cores=2, #unrelaxed=6487, #relaxed=17, #hardened=0 1.09/1.10 c BCD2: #sat=1 #unsat=3 bias=3/4 1.09/1.10 c Solving starts ... 1.09/1.10 c ============================[ Search Statistics ]============================ 1.09/1.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.10 c | | | | Limit GC | Var | Constra 1.09/1.10 c ============================================================================= 1.09/1.11 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.09/1.12 c 0.0s | 0 | 31 | 0 | 18397 0 | 2788 | 7441 1.09/1.12 c #cpu_time = 0.012s 1.09/1.12 c #wall_clock_time = 0.012s 1.09/1.12 c #decision = 31 1.09/1.12 c #random_decision = 0 1.09/1.12 c #conflict = 0 1.09/1.12 c #restart = 0 1.09/1.12 c BCD2: found a new core of size 11: cost of the new core is >=1 1.09/1.12 c lower bound updated to 3 1.09/1.12 c BCD2: 3 <= obj <= 2644 1.09/1.12 c BCD2: #cores=3, #unrelaxed=6476, #relaxed=28, #hardened=0 1.09/1.12 c BCD2: #sat=1 #unsat=4 bias=4/5 1.09/1.12 c Solving starts ... 1.09/1.12 c ============================[ Search Statistics ]============================ 1.09/1.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.12 c | | | | Limit GC | Var | Constra 1.09/1.12 c ============================================================================= 1.09/1.12 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.09/1.14 c 0.0s | 0 | 35 | 0 | 18397 0 | 2788 | 7441 1.09/1.14 c #cpu_time = 0.015s 1.09/1.14 c #wall_clock_time = 0.015s 1.09/1.14 c #decision = 35 1.09/1.14 c #random_decision = 0 1.09/1.14 c #conflict = 0 1.09/1.14 c #restart = 0 1.09/1.14 c BCD2: found a new core of size 1: cost of the new core is >=1 1.09/1.14 c lower bound updated to 4 1.09/1.14 c BCD2: 4 <= obj <= 2644 1.09/1.14 c BCD2: #cores=4, #unrelaxed=6475, #relaxed=29, #hardened=0 1.09/1.14 c BCD2: #sat=1 #unsat=5 bias=5/6 1.09/1.14 c Solving starts ... 1.09/1.14 c ============================[ Search Statistics ]============================ 1.09/1.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.14 c | | | | Limit GC | Var | Constra 1.09/1.14 c ============================================================================= 1.09/1.14 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.09/1.15 c 0.0s | 0 | 186 | 0 | 18397 0 | 2788 | 7441 1.09/1.15 c #cpu_time = 0.014s 1.09/1.15 c #wall_clock_time = 0.014s 1.09/1.15 c #decision = 186 1.09/1.15 c #random_decision = 0 1.09/1.15 c #conflict = 0 1.09/1.15 c #restart = 0 1.09/1.15 c BCD2: found a new core of size 11: cost of the new core is >=1 1.09/1.15 c lower bound updated to 5 1.09/1.16 c BCD2: 5 <= obj <= 2644 1.09/1.16 c BCD2: #cores=5, #unrelaxed=6464, #relaxed=40, #hardened=0 1.09/1.16 c BCD2: #sat=1 #unsat=6 bias=6/7 1.09/1.16 c Solving starts ... 1.09/1.16 c ============================[ Search Statistics ]============================ 1.09/1.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.16 c | | | | Limit GC | Var | Constra 1.09/1.16 c ============================================================================= 1.09/1.16 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.09/1.18 c 0.0s | 0 | 602 | 0 | 18397 0 | 2788 | 7441 1.09/1.18 c #cpu_time = 0.015s 1.09/1.18 c #wall_clock_time = 0.015s 1.09/1.18 c #decision = 602 1.09/1.18 c #random_decision = 0 1.09/1.18 c #conflict = 0 1.09/1.18 c #restart = 0 1.09/1.18 c BCD2: found a new core of size 3: cost of the new core is >=1 1.09/1.18 c lower bound updated to 6 1.09/1.18 c BCD2: 6 <= obj <= 2644 1.09/1.18 c BCD2: #cores=6, #unrelaxed=6461, #relaxed=43, #hardened=0 1.09/1.18 c BCD2: #sat=1 #unsat=7 bias=7/8 1.09/1.18 c Solving starts ... 1.09/1.18 c ============================[ Search Statistics ]============================ 1.09/1.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.18 c | | | | Limit GC | Var | Constra 1.09/1.18 c ============================================================================= 1.09/1.18 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.09/1.20 c 0.0s | 0 | 731 | 0 | 18397 0 | 2788 | 7441 1.09/1.20 c #cpu_time = 0.015s 1.09/1.20 c #wall_clock_time = 0.015s 1.09/1.20 c #decision = 731 1.09/1.20 c #random_decision = 0 1.09/1.20 c #conflict = 0 1.09/1.20 c #restart = 0 1.09/1.20 c BCD2: found a new core of size 42: cost of the new core is >=1 1.09/1.20 c lower bound updated to 7 1.09/1.20 c BCD2: 7 <= obj <= 2644 1.09/1.20 c BCD2: #cores=7, #unrelaxed=6419, #relaxed=85, #hardened=0 1.09/1.20 c BCD2: #sat=1 #unsat=8 bias=8/9 1.09/1.20 c Solving starts ... 1.09/1.20 c ============================[ Search Statistics ]============================ 1.09/1.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.20 c | | | | Limit GC | Var | Constra 1.09/1.20 c ============================================================================= 1.19/1.20 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.19/1.22 c 0.0s | 0 | 771 | 0 | 18397 0 | 2788 | 7441 1.19/1.22 c #cpu_time = 0.013s 1.19/1.22 c #wall_clock_time = 0.013s 1.19/1.22 c #decision = 771 1.19/1.22 c #random_decision = 0 1.19/1.22 c #conflict = 0 1.19/1.22 c #restart = 0 1.19/1.22 c BCD2: found a new core of size 33: cost of the new core is >=1 1.19/1.22 c lower bound updated to 8 1.19/1.22 c BCD2: 8 <= obj <= 2644 1.19/1.22 c BCD2: #cores=8, #unrelaxed=6386, #relaxed=118, #hardened=0 1.19/1.22 c BCD2: #sat=1 #unsat=9 bias=9/10 1.19/1.22 c Solving starts ... 1.19/1.22 c ============================[ Search Statistics ]============================ 1.19/1.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.22 c | | | | Limit GC | Var | Constra 1.19/1.22 c ============================================================================= 1.19/1.22 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.19/1.24 c 0.0s | 0 | 819 | 0 | 18397 0 | 2788 | 7441 1.19/1.24 c #cpu_time = 0.019s 1.19/1.24 c #wall_clock_time = 0.019s 1.19/1.24 c #decision = 819 1.19/1.24 c #random_decision = 0 1.19/1.24 c #conflict = 0 1.19/1.24 c #restart = 0 1.19/1.24 c BCD2: found a new core of size 39: cost of the new core is >=1 1.19/1.24 c lower bound updated to 9 1.19/1.24 c BCD2: 9 <= obj <= 2644 1.19/1.24 c BCD2: #cores=9, #unrelaxed=6347, #relaxed=157, #hardened=0 1.19/1.24 c BCD2: #sat=1 #unsat=10 bias=10/11 1.19/1.24 c Solving starts ... 1.19/1.24 c ============================[ Search Statistics ]============================ 1.19/1.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.24 c | | | | Limit GC | Var | Constra 1.19/1.24 c ============================================================================= 1.19/1.24 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.19/1.26 c 0.0s | 0 | 855 | 0 | 18397 0 | 2788 | 7441 1.19/1.26 c #cpu_time = 0.013s 1.19/1.26 c #wall_clock_time = 0.013s 1.19/1.26 c #decision = 855 1.19/1.26 c #random_decision = 0 1.19/1.26 c #conflict = 0 1.19/1.26 c #restart = 0 1.19/1.26 c BCD2: found a new core of size 38: cost of the new core is >=1 1.19/1.26 c lower bound updated to 10 1.19/1.26 c BCD2: 10 <= obj <= 2644 1.19/1.26 c BCD2: #cores=10, #unrelaxed=6309, #relaxed=195, #hardened=0 1.19/1.26 c BCD2: #sat=1 #unsat=11 bias=11/12 1.19/1.26 c Solving starts ... 1.19/1.26 c ============================[ Search Statistics ]============================ 1.19/1.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.26 c | | | | Limit GC | Var | Constra 1.19/1.26 c ============================================================================= 1.19/1.26 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.19/1.28 c 0.0s | 0 | 969 | 0 | 18397 0 | 2788 | 7441 1.19/1.28 c #cpu_time = 0.013s 1.19/1.28 c #wall_clock_time = 0.014s 1.19/1.28 c #decision = 969 1.19/1.28 c #random_decision = 0 1.19/1.28 c #conflict = 0 1.19/1.28 c #restart = 0 1.19/1.28 c BCD2: found a new core of size 66: cost of the new core is >=1 1.19/1.28 c lower bound updated to 11 1.19/1.28 c BCD2: 11 <= obj <= 2644 1.19/1.28 c BCD2: #cores=11, #unrelaxed=6243, #relaxed=261, #hardened=0 1.19/1.28 c BCD2: #sat=1 #unsat=12 bias=12/13 1.19/1.28 c Solving starts ... 1.19/1.28 c ============================[ Search Statistics ]============================ 1.19/1.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.28 c | | | | Limit GC | Var | Constra 1.19/1.28 c ============================================================================= 1.19/1.28 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.29/1.30 c 0.0s | 0 | 919 | 0 | 18397 0 | 2788 | 7441 1.29/1.30 c #cpu_time = 0.013s 1.29/1.30 c #wall_clock_time = 0.013s 1.29/1.30 c #decision = 919 1.29/1.30 c #random_decision = 0 1.29/1.30 c #conflict = 0 1.29/1.30 c #restart = 0 1.29/1.30 c BCD2: found a new core of size 26: cost of the new core is >=1 1.29/1.30 c lower bound updated to 12 1.29/1.30 c BCD2: 12 <= obj <= 2644 1.29/1.30 c BCD2: #cores=12, #unrelaxed=6217, #relaxed=287, #hardened=0 1.29/1.30 c BCD2: #sat=1 #unsat=13 bias=13/14 1.29/1.30 c Solving starts ... 1.29/1.30 c ============================[ Search Statistics ]============================ 1.29/1.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.30 c | | | | Limit GC | Var | Constra 1.29/1.30 c ============================================================================= 1.29/1.30 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.29/1.32 c 0.0s | 0 | 1699 | 0 | 18397 0 | 2788 | 7441 1.29/1.32 c #cpu_time = 0.016s 1.29/1.32 c #wall_clock_time = 0.016s 1.29/1.32 c #decision = 1699 1.29/1.32 c #random_decision = 0 1.29/1.32 c #conflict = 0 1.29/1.32 c #restart = 0 1.29/1.32 c BCD2: found a new core of size 9: cost of the new core is >=1 1.29/1.32 c lower bound updated to 13 1.29/1.32 c BCD2: 13 <= obj <= 2644 1.29/1.32 c BCD2: #cores=13, #unrelaxed=6208, #relaxed=296, #hardened=0 1.29/1.32 c BCD2: #sat=1 #unsat=14 bias=14/15 1.29/1.32 c Solving starts ... 1.29/1.32 c ============================[ Search Statistics ]============================ 1.29/1.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.32 c | | | | Limit GC | Var | Constra 1.29/1.32 c ============================================================================= 1.29/1.32 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.29/1.35 c 0.0s | 0 | 1884 | 0 | 18397 0 | 2788 | 7441 1.29/1.35 c #cpu_time = 0.021s 1.29/1.35 c #wall_clock_time = 0.021s 1.29/1.35 c #decision = 1884 1.29/1.35 c #random_decision = 0 1.29/1.35 c #conflict = 0 1.29/1.35 c #restart = 0 1.29/1.35 c BCD2: found a new core of size 11: cost of the new core is >=1 1.29/1.35 c lower bound updated to 14 1.29/1.35 c BCD2: 14 <= obj <= 2644 1.29/1.35 c BCD2: #cores=14, #unrelaxed=6197, #relaxed=307, #hardened=0 1.29/1.35 c BCD2: #sat=1 #unsat=15 bias=15/16 1.29/1.35 c Solving starts ... 1.29/1.35 c ============================[ Search Statistics ]============================ 1.29/1.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.35 c | | | | Limit GC | Var | Constra 1.29/1.35 c ============================================================================= 1.29/1.35 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.29/1.37 c 0.0s | 0 | 2645 | 0 | 18397 0 | 2788 | 7441 1.29/1.37 c #cpu_time = 0.017s 1.29/1.37 c #wall_clock_time = 0.017s 1.29/1.37 c #decision = 2645 1.29/1.37 c #random_decision = 0 1.29/1.37 c #conflict = 0 1.29/1.37 c #restart = 0 1.29/1.37 c BCD2: found a new core of size 105: cost of the new core is >=1 1.29/1.37 c lower bound updated to 15 1.29/1.38 c BCD2: 15 <= obj <= 2644 1.29/1.38 c BCD2: #cores=15, #unrelaxed=6092, #relaxed=412, #hardened=0 1.29/1.38 c BCD2: #sat=1 #unsat=16 bias=16/17 1.29/1.38 c Solving starts ... 1.29/1.38 c ============================[ Search Statistics ]============================ 1.29/1.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.38 c | | | | Limit GC | Var | Constra 1.29/1.38 c ============================================================================= 1.29/1.38 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.29/1.39 c 0.0s | 0 | 2572 | 0 | 18397 0 | 2788 | 7441 1.29/1.39 c #cpu_time = 0.016s 1.29/1.39 c #wall_clock_time = 0.016s 1.29/1.39 c #decision = 2572 1.29/1.39 c #random_decision = 0 1.29/1.39 c #conflict = 0 1.29/1.39 c #restart = 0 1.29/1.39 c BCD2: found a new core of size 9: cost of the new core is >=1 1.29/1.39 c lower bound updated to 16 1.39/1.40 c BCD2: 16 <= obj <= 2644 1.39/1.40 c BCD2: #cores=16, #unrelaxed=6083, #relaxed=421, #hardened=0 1.39/1.40 c BCD2: #sat=1 #unsat=17 bias=17/18 1.39/1.40 c Solving starts ... 1.39/1.40 c ============================[ Search Statistics ]============================ 1.39/1.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.40 c | | | | Limit GC | Var | Constra 1.39/1.40 c ============================================================================= 1.39/1.40 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.39/1.42 c 0.0s | 0 | 2829 | 0 | 18397 0 | 2788 | 7441 1.39/1.42 c #cpu_time = 0.017s 1.39/1.42 c #wall_clock_time = 0.017s 1.39/1.42 c #decision = 2829 1.39/1.42 c #random_decision = 0 1.39/1.42 c #conflict = 0 1.39/1.42 c #restart = 0 1.39/1.42 c BCD2: found a new core of size 59: cost of the new core is >=1 1.39/1.42 c lower bound updated to 17 1.39/1.42 c BCD2: 17 <= obj <= 2644 1.39/1.42 c BCD2: #cores=17, #unrelaxed=6024, #relaxed=480, #hardened=0 1.39/1.42 c BCD2: #sat=1 #unsat=18 bias=18/19 1.39/1.42 c Solving starts ... 1.39/1.42 c ============================[ Search Statistics ]============================ 1.39/1.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.42 c | | | | Limit GC | Var | Constra 1.39/1.42 c ============================================================================= 1.39/1.43 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.39/1.45 c 0.0s | 0 | 3188 | 0 | 18397 0 | 2788 | 7441 1.39/1.45 c #cpu_time = 0.017s 1.39/1.45 c #wall_clock_time = 0.017s 1.39/1.45 c #decision = 3188 1.39/1.45 c #random_decision = 0 1.39/1.45 c #conflict = 0 1.39/1.45 c #restart = 0 1.39/1.45 c BCD2: found a new core of size 100: cost of the new core is >=1 1.39/1.45 c lower bound updated to 18 1.39/1.45 c BCD2: 18 <= obj <= 2644 1.39/1.45 c BCD2: #cores=18, #unrelaxed=5924, #relaxed=580, #hardened=0 1.39/1.45 c BCD2: #sat=1 #unsat=19 bias=19/20 1.39/1.45 c Solving starts ... 1.39/1.45 c ============================[ Search Statistics ]============================ 1.39/1.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.45 c | | | | Limit GC | Var | Constra 1.39/1.45 c ============================================================================= 1.39/1.45 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.39/1.47 c 0.0s | 0 | 3663 | 0 | 18397 0 | 2788 | 7441 1.39/1.47 c #cpu_time = 0.023s 1.39/1.47 c #wall_clock_time = 0.023s 1.39/1.47 c #decision = 3663 1.39/1.47 c #random_decision = 0 1.39/1.47 c #conflict = 0 1.39/1.47 c #restart = 0 1.39/1.47 c BCD2: found a new core of size 48: cost of the new core is >=1 1.39/1.47 c lower bound updated to 19 1.39/1.48 c BCD2: 19 <= obj <= 2644 1.39/1.48 c BCD2: #cores=19, #unrelaxed=5876, #relaxed=628, #hardened=0 1.39/1.48 c BCD2: #sat=1 #unsat=20 bias=20/21 1.39/1.48 c Solving starts ... 1.39/1.48 c ============================[ Search Statistics ]============================ 1.39/1.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.48 c | | | | Limit GC | Var | Constra 1.39/1.48 c ============================================================================= 1.39/1.48 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.49/1.50 c 0.0s | 0 | 4008 | 0 | 18397 0 | 2788 | 7441 1.49/1.50 c #cpu_time = 0.020s 1.49/1.50 c #wall_clock_time = 0.020s 1.49/1.50 c #decision = 4008 1.49/1.50 c #random_decision = 0 1.49/1.50 c #conflict = 0 1.49/1.50 c #restart = 0 1.49/1.50 c BCD2: found a new core of size 88: cost of the new core is >=1 1.49/1.50 c lower bound updated to 20 1.49/1.51 c BCD2: 20 <= obj <= 2644 1.49/1.51 c BCD2: #cores=20, #unrelaxed=5788, #relaxed=716, #hardened=0 1.49/1.51 c BCD2: #sat=1 #unsat=21 bias=21/22 1.49/1.51 c Solving starts ... 1.49/1.51 c ============================[ Search Statistics ]============================ 1.49/1.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.51 c | | | | Limit GC | Var | Constra 1.49/1.51 c ============================================================================= 1.49/1.51 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.49/1.53 c 0.0s | 0 | 4413 | 0 | 18397 0 | 2788 | 7441 1.49/1.53 c #cpu_time = 0.020s 1.49/1.53 c #wall_clock_time = 0.020s 1.49/1.53 c #decision = 4413 1.49/1.53 c #random_decision = 0 1.49/1.53 c #conflict = 0 1.49/1.53 c #restart = 0 1.49/1.53 c BCD2: found a new core of size 69: cost of the new core is >=1 1.49/1.53 c lower bound updated to 21 1.49/1.54 c BCD2: 21 <= obj <= 2644 1.49/1.54 c BCD2: #cores=21, #unrelaxed=5719, #relaxed=785, #hardened=0 1.49/1.54 c BCD2: #sat=1 #unsat=22 bias=22/23 1.49/1.54 c Solving starts ... 1.49/1.54 c ============================[ Search Statistics ]============================ 1.49/1.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.54 c | | | | Limit GC | Var | Constra 1.49/1.54 c ============================================================================= 1.49/1.54 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7441 1.49/1.58 c 0.0s | 0 | 5030 | 0 | 18397 0 | 2788 | 7441 1.49/1.58 c #cpu_time = 0.028s 1.49/1.58 c #wall_clock_time = 0.028s 1.49/1.58 c #decision = 5030 1.49/1.58 c #random_decision = 0 1.49/1.58 c #conflict = 0 1.49/1.58 c #restart = 0 1.49/1.58 o 44 1.49/1.58 c BCD2: updating upper bound: 2644 -> 43 1.58/1.60 c BCD2: 21 <= obj <= 43 1.58/1.60 c BCD2: #cores=21, #unrelaxed=5719, #relaxed=785, #hardened=0 1.58/1.60 c BCD2: #sat=2 #unsat=22 bias=22/24 1.58/1.60 c Solving starts ... 1.58/1.60 c ============================[ Search Statistics ]============================ 1.58/1.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.58/1.60 c | | | | Limit GC | Var | Constra 1.58/1.60 c ============================================================================= 1.58/1.61 c 0.0s | 0 | 0 | 0 | 18397 0 | 2788 | 7442 1.58/1.69 c 0.1s | 0 | 21465 | 14 | 18397 0 | 2788 | 7442 1.58/1.69 c #cpu_time = 0.082s 1.58/1.69 c #wall_clock_time = 0.082s 1.58/1.69 c #decision = 21465 1.58/1.69 c #random_decision = 1 1.58/1.69 c #conflict = 14 1.58/1.69 c #restart = 0 1.58/1.69 c BCD2: relaxing 41 and merging with 8 cores into a new core of size 167: cost of the new core is >=9 1.58/1.69 c lower bound updated to 22 1.58/1.69 c BCD2: 22 <= obj <= 43 1.58/1.69 c BCD2: #cores=14, #unrelaxed=5678, #relaxed=826, #hardened=0 1.58/1.69 c BCD2: #sat=2 #unsat=23 bias=23/25 1.58/1.69 c Solving starts ... 1.58/1.69 c ============================[ Search Statistics ]============================ 1.58/1.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.58/1.69 c | | | | Limit GC | Var | Constra 1.58/1.69 c ============================================================================= 1.58/1.69 c 0.0s | 0 | 0 | 0 | 18397 0 | 2812 | 7442 1.68/1.78 c 0.1s | 0 | 5191 | 99 | 20237 0 | 2812 | 7482 1.68/1.78 c #cpu_time = 0.080s 1.68/1.78 c #wall_clock_time = 0.080s 1.68/1.78 c #decision = 5191 1.68/1.78 c #random_decision = 3 1.68/1.78 c #conflict = 99 1.68/1.78 c #restart = 0 1.68/1.78 o 35 1.68/1.79 c BCD2: updating upper bound: 43 -> 34 1.78/1.81 c BCD2: 22 <= obj <= 34 1.78/1.81 c BCD2: #cores=14, #unrelaxed=5678, #relaxed=826, #hardened=0 1.78/1.81 c BCD2: #sat=3 #unsat=23 bias=23/26 1.78/1.81 c Solving starts ... 1.78/1.81 c ============================[ Search Statistics ]============================ 1.78/1.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.78/1.81 c | | | | Limit GC | Var | Constra 1.78/1.81 c ============================================================================= 1.78/1.81 c 0.0s | 0 | 0 | 0 | 20237 0 | 2812 | 7483 1.88/1.93 c 0.1s | 1 | 4649 | 100 | 20237 0 | 2812 | 7483 2.08/2.11 c 0.3s | 2 | 9654 | 250 | 22261 0 | 2812 | 7483 2.29/2.33 c 0.5s | 3 | 17225 | 475 | 24488 0 | 2812 | 7483 2.58/2.67 c 0.9s | 4 | 23779 | 813 | 26937 0 | 2812 | 7483 3.19/3.23 c 1.4s | 5 | 29374 | 1320 | 29631 0 | 2812 | 7483 3.59/3.60 c 1.8s | 5 | 34520 | 1704 | 29631 0 | 2812 | 7483 3.59/3.60 c #cpu_time = 1.780s 3.59/3.60 c #wall_clock_time = 1.784s 3.59/3.60 c #decision = 34520 3.59/3.60 c #random_decision = 4 3.59/3.60 c #conflict = 1704 3.59/3.60 c #restart = 5 3.59/3.60 o 31 3.59/3.60 c BCD2: updating upper bound: 34 -> 30 3.59/3.63 c BCD2: 22 <= obj <= 30 3.59/3.63 c BCD2: #cores=14, #unrelaxed=5678, #relaxed=826, #hardened=0 3.59/3.63 c BCD2: #sat=4 #unsat=23 bias=23/27 3.59/3.63 c Solving starts ... 3.59/3.63 c ============================[ Search Statistics ]============================ 3.59/3.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.59/3.63 c | | | | Limit GC | Var | Constra 3.59/3.63 c ============================================================================= 3.59/3.63 c 0.0s | 0 | 0 | 0 | 29631 0 | 2812 | 7484 3.69/3.74 c 0.1s | 1 | 4458 | 100 | 29631 0 | 2812 | 7484 3.79/3.86 c 0.2s | 2 | 9148 | 250 | 29631 0 | 2812 | 7484 4.09/4.15 c 0.5s | 3 | 17608 | 475 | 32595 0 | 2812 | 7484 4.40/4.50 c 0.9s | 4 | 22784 | 813 | 32595 0 | 2812 | 7484 4.89/4.92 c 1.3s | 5 | 33296 | 1320 | 32595 0 | 2812 | 7484 5.50/5.54 c 1.9s | 6 | 43398 | 2081 | 35855 0 | 2812 | 7484 6.19/6.26 c 2.6s | 7 | 54039 | 3223 | 39441 0 | 2812 | 7484 7.29/7.34 c 3.7s | 8 | 65920 | 4936 | 39441 0 | 2812 | 7484 8.59/8.70 c 5.1s | 9 | 81718 | 7506 | 43386 0 | 2812 | 7484 10.69/10.71 c 7.1s | 9 | 98625 | 10506 | 47725 0 | 2812 | 7484 11.29/11.31 c 7.7s | 10 | 102906 | 11361 | 47725 0 | 2812 | 7484 13.30/13.32 c 9.7s | 10 | 120634 | 13961 | 47725 0 | 2812 | 7484 15.29/15.37 c 11.7s | 10 | 130959 | 16861 | 52498 0 | 2812 | 7484 15.50/15.59 c 12.0s | 11 | 132168 | 17144 | 52498 0 | 2812 | 7484 17.60/17.65 c 14.0s | 11 | 146222 | 19744 | 52498 0 | 2812 | 7484 19.69/19.72 c 16.1s | 11 | 154564 | 22044 | 52498 0 | 2812 | 7484 21.69/21.75 c 18.1s | 11 | 161283 | 24244 | 57748 0 | 2812 | 7484 23.20/23.22 c 19.6s | 12 | 165793 | 25819 | 57748 0 | 2812 | 7484 25.19/25.30 c 21.7s | 12 | 180880 | 28319 | 57748 0 | 2812 | 7484 27.29/27.38 c 23.8s | 12 | 188247 | 30319 | 57748 0 | 2812 | 7484 29.39/29.49 c 25.9s | 12 | 194228 | 32219 | 57748 0 | 2812 | 7484 31.49/31.56 c 27.9s | 12 | 204487 | 34519 | 57748 0 | 2812 | 7484 33.59/33.66 c 30.0s | 12 | 212346 | 36519 | 57748 0 | 2812 | 7484 35.69/35.78 c 32.1s | 12 | 219171 | 38419 | 63523 0 | 2812 | 7484 36.19/36.29 c 32.7s | 13 | 220287 | 38832 | 63523 0 | 2812 | 7484 38.29/38.36 c 34.7s | 13 | 229242 | 40432 | 63523 0 | 2812 | 7484 40.39/40.46 c 36.8s | 13 | 233290 | 41932 | 63523 0 | 2812 | 7484 42.39/42.48 c 38.9s | 13 | 237750 | 43432 | 63523 0 | 2812 | 7484 44.59/44.60 c 41.0s | 13 | 243573 | 45032 | 63523 0 | 2812 | 7484 46.58/46.61 c 43.0s | 13 | 248414 | 46432 | 63523 0 | 2812 | 7484 48.58/48.64 c 45.0s | 13 | 252838 | 47832 | 63523 0 | 2812 | 7484 50.69/50.72 c 47.1s | 13 | 257038 | 49232 | 63523 0 | 2812 | 7484 52.68/52.80 c 49.2s | 13 | 261957 | 50732 | 63523 0 | 2812 | 7484 54.78/54.86 c 51.2s | 13 | 271076 | 52632 | 63523 0 | 2812 | 7484 56.78/56.89 c 53.3s | 13 | 276214 | 54132 | 63523 0 | 2812 | 7484 58.98/59.00 c 55.4s | 13 | 282234 | 55732 | 63523 0 | 2812 | 7484 60.98/61.06 c 57.4s | 13 | 288547 | 57332 | 69876 0 | 2812 | 7484 62.58/62.67 c 59.0s | 14 | 291785 | 58352 | 69876 0 | 2812 | 7484 64.68/64.79 c 61.2s | 14 | 300562 | 59652 | 69876 0 | 2812 | 7484 66.78/66.89 c 63.3s | 14 | 308070 | 61252 | 69876 0 | 2812 | 7484 68.98/69.03 c 65.4s | 14 | 311830 | 62552 | 69876 0 | 2812 | 7484 70.98/71.09 c 67.5s | 14 | 316956 | 63952 | 69876 0 | 2812 | 7484 73.08/73.12 c 69.5s | 14 | 320603 | 65152 | 69876 0 | 2812 | 7484 75.08/75.19 c 71.6s | 14 | 325059 | 66352 | 69876 0 | 2812 | 7484 77.18/77.21 c 73.6s | 14 | 329795 | 67652 | 69876 0 | 2812 | 7484 79.19/79.25 c 75.6s | 14 | 333701 | 68852 | 69876 0 | 2812 | 7484 81.18/81.26 c 77.6s | 14 | 337385 | 70052 | 69876 0 | 2812 | 7484 83.28/83.38 c 79.8s | 14 | 343520 | 71552 | 69876 0 | 2812 | 7484 85.38/85.45 c 81.8s | 14 | 350782 | 73152 | 69876 0 | 2812 | 7484 87.38/87.46 c 83.8s | 14 | 357749 | 74652 | 69876 0 | 2812 | 7484 89.48/89.51 c 85.9s | 14 | 367200 | 76352 | 69876 0 | 2812 | 7484 91.48/91.55 c 87.9s | 14 | 375838 | 77752 | 69876 0 | 2812 | 7484 93.48/93.59 c 90.0s | 14 | 385572 | 79452 | 69876 0 | 2812 | 7484 95.78/95.86 c 92.2s | 14 | 390843 | 80052 | 69876 1 | 2812 | 7484 105.27/105.38 c 101s | 14 | 397311 | 81252 | 69876 1 | 2812 | 7484 107.37/107.41 c 103s | 14 | 399544 | 81852 | 69876 1 | 2812 | 7484 109.37/109.48 c 105s | 14 | 405967 | 83752 | 69876 1 | 2812 | 7484 111.47/111.57 c 107s | 14 | 413780 | 85652 | 76864 1 | 2812 | 7484 113.97/114.08 c 110s | 14 | 422982 | 87352 | 76864 1 | 2812 | 7484 114.27/114.38 c 110s | 15 | 424021 | 87632 | 76864 1 | 2812 | 7484 116.37/116.44 c 112s | 15 | 433492 | 89332 | 76864 1 | 2812 | 7484 118.37/118.50 c 114s | 15 | 437262 | 90932 | 76864 1 | 2812 | 7484 120.47/120.57 c 116s | 15 | 441668 | 92832 | 76864 1 | 2812 | 7484 122.47/122.59 c 118s | 15 | 447967 | 94632 | 76864 1 | 2812 | 7484 124.57/124.69 c 121s | 15 | 452171 | 96032 | 76864 1 | 2812 | 7484 126.67/126.77 c 123s | 15 | 457582 | 97432 | 76864 1 | 2812 | 7484 128.67/128.79 c 125s | 15 | 461518 | 98732 | 76864 1 | 2812 | 7484 131.17/131.25 c 127s | 15 | 465228 | 99832 | 76864 1 | 2812 | 7484 133.47/133.59 c 129s | 15 | 465503 | 99932 | 76864 1 | 2812 | 7484 135.57/135.66 c 132s | 15 | 469276 | 101232 | 76864 1 | 2812 | 7484 137.77/137.80 c 134s | 15 | 472942 | 102532 | 76864 1 | 2812 | 7484 139.78/139.85 c 136s | 15 | 477082 | 103832 | 76864 1 | 2812 | 7484 141.88/141.97 c 138s | 15 | 480998 | 105232 | 76864 1 | 2812 | 7484 144.08/144.13 c 140s | 15 | 485655 | 106532 | 76864 1 | 2812 | 7484 146.07/146.16 c 142s | 15 | 490325 | 107732 | 76864 1 | 2812 | 7484 148.07/148.18 c 144s | 15 | 494398 | 108932 | 76864 1 | 2812 | 7484 150.17/150.26 c 146s | 15 | 498446 | 110232 | 76864 1 | 2812 | 7484 152.17/152.27 c 148s | 15 | 501585 | 111432 | 76864 1 | 2812 | 7484 154.27/154.37 c 150s | 15 | 505487 | 112732 | 76864 1 | 2812 | 7484 156.47/156.54 c 152s | 15 | 510449 | 114032 | 76864 1 | 2812 | 7484 158.57/158.63 c 155s | 15 | 515465 | 115532 | 76864 1 | 2812 | 7484 160.68/160.70 c 157s | 15 | 519580 | 116832 | 76864 1 | 2812 | 7484 162.67/162.75 c 159s | 15 | 523797 | 118232 | 76864 1 | 2812 | 7484 164.67/164.77 c 161s | 15 | 527343 | 119532 | 76864 1 | 2812 | 7484 166.77/166.84 c 163s | 15 | 532215 | 121132 | 76864 1 | 2812 | 7484 168.77/168.89 c 165s | 15 | 536021 | 122632 | 76864 1 | 2812 | 7484 170.97/171.00 c 167s | 15 | 540339 | 124032 | 76864 1 | 2812 | 7484 173.07/173.11 c 169s | 15 | 543730 | 125332 | 76864 1 | 2812 | 7484 175.07/175.12 c 171s | 15 | 547953 | 126732 | 76864 1 | 2812 | 7484 177.07/177.18 c 173s | 15 | 550370 | 127632 | 76864 2 | 2812 | 7484 179.16/179.28 c 175s | 15 | 551403 | 128132 | 76864 2 | 2812 | 7484 181.26/181.36 c 177s | 15 | 556433 | 129932 | 84551 2 | 2812 | 7484 183.36/183.43 c 179s | 15 | 561001 | 131532 | 84551 2 | 2812 | 7484 183.36/183.45 c 179s | 16 | 561043 | 131552 | 84551 2 | 2812 | 7484 187.26/187.32 c 183s | 16 | 569653 | 132852 | 84551 2 | 2812 | 7484 190.27/190.37 c 186s | 16 | 569948 | 132952 | 84551 2 | 2812 | 7484 192.36/192.45 c 188s | 16 | 574405 | 134552 | 84551 2 | 2812 | 7484 194.46/194.50 c 190s | 16 | 582033 | 136452 | 84551 2 | 2812 | 7484 198.16/198.25 c 194s | 16 | 584363 | 137252 | 84551 2 | 2812 | 7484 200.27/200.36 c 196s | 16 | 587870 | 138352 | 84551 2 | 2812 | 7484 202.37/202.46 c 198s | 16 | 592661 | 139752 | 84551 2 | 2812 | 7484 204.46/204.58 c 200s | 16 | 596894 | 141252 | 84551 2 | 2812 | 7484 206.56/206.61 c 202s | 16 | 600792 | 142452 | 84551 2 | 2812 | 7484 208.56/208.65 c 205s | 16 | 606446 | 143852 | 84551 2 | 2812 | 7484 210.66/210.77 c 207s | 16 | 611527 | 145252 | 84551 2 | 2812 | 7484 212.66/212.78 c 209s | 16 | 617363 | 146552 | 84551 2 | 2812 | 7484 214.76/214.86 c 211s | 16 | 624106 | 148052 | 84551 2 | 2812 | 7484 216.86/216.92 c 213s | 16 | 629191 | 149452 | 84551 2 | 2812 | 7484 218.87/218.95 c 215s | 16 | 632940 | 150652 | 84551 2 | 2812 | 7484 221.07/221.11 c 217s | 16 | 636526 | 151852 | 84551 2 | 2812 | 7484 223.16/223.25 c 219s | 16 | 641682 | 153252 | 84551 2 | 2812 | 7484 225.26/225.32 c 221s | 16 | 647880 | 154752 | 84551 2 | 2812 | 7484 227.26/227.35 c 223s | 16 | 653436 | 156252 | 84551 2 | 2812 | 7484 229.36/229.41 c 225s | 16 | 658793 | 157652 | 84551 2 | 2812 | 7484 231.46/231.52 c 227s | 16 | 664712 | 159052 | 84551 2 | 2812 | 7484 233.46/233.54 c 229s | 16 | 670454 | 160352 | 84551 2 | 2812 | 7484 235.56/235.63 c 232s | 16 | 676361 | 161752 | 84551 2 | 2812 | 7484 237.56/237.69 c 234s | 16 | 682798 | 163252 | 84551 2 | 2812 | 7484 239.76/239.83 c 236s | 16 | 688194 | 164652 | 84551 2 | 2812 | 7484 241.76/241.87 c 238s | 16 | 693424 | 165852 | 84551 2 | 2812 | 7484 243.96/244.00 c 240s | 16 | 698822 | 167052 | 84551 2 | 2812 | 7484 245.96/246.07 c 242s | 16 | 704240 | 168252 | 84551 2 | 2812 | 7484 248.06/248.10 c 244s | 16 | 709338 | 169452 | 84551 2 | 2812 | 7484 250.06/250.19 c 246s | 16 | 714890 | 170852 | 84551 2 | 2812 | 7484 252.15/252.28 c 248s | 16 | 721376 | 172152 | 84551 2 | 2812 | 7484 254.25/254.33 c 250s | 16 | 727539 | 173452 | 84551 2 | 2812 | 7484 256.36/256.47 c 252s | 16 | 734529 | 174752 | 84551 2 | 2812 | 7484 258.35/258.50 c 254s | 16 | 740413 | 175952 | 84551 2 | 2812 | 7484 260.45/260.58 c 256s | 16 | 745663 | 177052 | 84551 2 | 2812 | 7484 262.55/262.67 c 259s | 16 | 749924 | 178152 | 84551 2 | 2812 | 7484 264.75/264.80 c 261s | 16 | 755410 | 179452 | 84551 2 | 2812 | 7484 266.95/267.02 c 263s | 16 | 760447 | 180652 | 84551 3 | 2812 | 7484 268.95/269.03 c 265s | 16 | 768513 | 182252 | 84551 3 | 2812 | 7484 271.05/271.12 c 267s | 16 | 776653 | 183952 | 84551 3 | 2812 | 7484 273.15/273.20 c 269s | 16 | 786391 | 186052 | 84551 3 | 2812 | 7484 275.15/275.27 c 271s | 16 | 796308 | 188352 | 84551 3 | 2812 | 7484 277.25/277.31 c 273s | 16 | 806389 | 190452 | 84551 3 | 2812 | 7484 279.25/279.36 c 275s | 16 | 815433 | 192552 | 84551 3 | 2812 | 7484 281.35/281.42 c 277s | 16 | 824580 | 194652 | 93007 3 | 2812 | 7484 283.35/283.45 c 279s | 16 | 834284 | 196652 | 93007 3 | 2812 | 7484 284.15/284.26 c 280s | 17 | 838032 | 197432 | 93007 3 | 2812 | 7484 286.44/286.55 c 282s | 17 | 844086 | 197832 | 93007 3 | 2812 | 7484 295.64/295.75 c 292s | 17 | 847033 | 198432 | 93007 3 | 2812 | 7484 297.74/297.88 c 294s | 17 | 852799 | 199832 | 93007 3 | 2812 | 7484 299.84/299.94 c 296s | 17 | 858429 | 201232 | 93007 3 | 2812 | 7484 301.94/302.06 c 298s | 17 | 862647 | 202732 | 93007 3 | 2812 | 7484 304.04/304.11 c 300s | 17 | 867756 | 203832 | 93007 3 | 2812 | 7484 306.14/306.21 c 302s | 17 | 874341 | 205332 | 93007 3 | 2812 | 7484 308.24/308.31 c 304s | 17 | 880883 | 206932 | 93007 3 | 2812 | 7484 310.34/310.40 c 306s | 17 | 887772 | 208532 | 93007 3 | 2812 | 7484 312.45/312.51 c 308s | 17 | 894689 | 210232 | 93007 3 | 2812 | 7484 314.55/314.68 c 311s | 17 | 900661 | 211732 | 93007 3 | 2812 | 7484 316.54/316.69 c 313s | 17 | 905583 | 212732 | 93007 3 | 2812 | 7484 318.64/318.76 c 315s | 17 | 910514 | 213832 | 93007 3 | 2812 | 7484 320.74/320.83 c 317s | 17 | 916822 | 215232 | 93007 3 | 2812 | 7484 322.84/322.95 c 319s | 17 | 923840 | 216832 | 93007 3 | 2812 | 7484 324.94/325.04 c 321s | 17 | 929562 | 218332 | 93007 3 | 2812 | 7484 327.04/327.15 c 323s | 17 | 936439 | 220032 | 93007 3 | 2812 | 7484 329.14/329.23 c 325s | 17 | 941626 | 221432 | 93007 3 | 2812 | 7484 331.24/331.34 c 327s | 17 | 945252 | 222732 | 93007 3 | 2812 | 7484 333.34/333.47 c 329s | 17 | 948157 | 223932 | 93007 3 | 2812 | 7484 335.44/335.51 c 331s | 17 | 953080 | 225132 | 93007 3 | 2812 | 7484 337.53/337.61 c 333s | 17 | 959854 | 226532 | 93007 3 | 2812 | 7484 339.63/339.76 c 336s | 17 | 964984 | 227932 | 93007 3 | 2812 | 7484 341.83/341.93 c 338s | 17 | 969988 | 229332 | 93007 3 | 2812 | 7484 343.93/344.00 c 340s | 17 | 973936 | 230532 | 93007 3 | 2812 | 7484 346.03/346.11 c 342s | 17 | 978835 | 231732 | 93007 3 | 2812 | 7484 348.23/348.31 c 344s | 17 | 983667 | 232932 | 93007 3 | 2812 | 7484 350.33/350.46 c 346s | 17 | 988558 | 234132 | 93007 3 | 2812 | 7484 352.43/352.50 c 348s | 17 | 993106 | 235232 | 93007 3 | 2812 | 7484 354.73/354.88 c 351s | 17 | 998178 | 236432 | 93007 4 | 2812 | 7484 358.64/358.73 c 355s | 17 | 998697 | 236532 | 93007 4 | 2812 | 7484 360.64/360.74 c 357s | 17 | 1001328 | 237232 | 93007 4 | 2812 | 7484 362.63/362.78 c 359s | 17 | 1009658 | 239232 | 93007 4 | 2812 | 7484 364.93/365.01 c 361s | 17 | 1019934 | 241332 | 93007 4 | 2812 | 7484 379.03/379.10 c 375s | 17 | 1026607 | 242832 | 93007 4 | 2812 | 7484 381.83/381.96 c 378s | 17 | 1028597 | 243332 | 93007 4 | 2812 | 7484 383.94/384.04 c 380s | 17 | 1037339 | 245332 | 93007 4 | 2812 | 7484 385.93/386.10 c 382s | 17 | 1044743 | 247332 | 93007 4 | 2812 | 7484 388.03/388.15 c 384s | 17 | 1052658 | 249332 | 93007 4 | 2812 | 7484 395.23/395.31 c 391s | 17 | 1057752 | 250732 | 93007 4 | 2812 | 7484 397.23/397.34 c 393s | 17 | 1063193 | 252232 | 93007 4 | 2812 | 7484 399.23/399.36 c 395s | 17 | 1067348 | 253732 | 93007 4 | 2812 | 7484 401.33/401.42 c 397s | 17 | 1073818 | 255132 | 93007 4 | 2812 | 7484 403.42/403.55 c 399s | 17 | 1079609 | 256732 | 93007 4 | 2812 | 7484 405.62/405.71 c 402s | 17 | 1084008 | 258032 | 93007 4 | 2812 | 7484 407.62/407.74 c 404s | 17 | 1089186 | 259132 | 93007 4 | 2812 | 7484 409.72/409.83 c 406s | 17 | 1095801 | 260432 | 93007 4 | 2812 | 7484 411.82/411.92 c 408s | 17 | 1102807 | 261932 | 93007 4 | 2812 | 7484 413.82/413.99 c 410s | 17 | 1109354 | 263432 | 93007 4 | 2812 | 7484 415.92/416.07 c 412s | 17 | 1116393 | 265132 | 93007 4 | 2812 | 7484 417.93/418.09 c 414s | 17 | 1120635 | 266332 | 93007 4 | 2812 | 7484 420.02/420.20 c 416s | 17 | 1126010 | 267632 | 93007 4 | 2812 | 7484 422.22/422.33 c 418s | 17 | 1130278 | 268932 | 93007 4 | 2812 | 7484 424.22/424.33 c 420s | 17 | 1135327 | 270232 | 93007 4 | 2812 | 7484 426.22/426.38 c 422s | 17 | 1141553 | 271632 | 93007 4 | 2812 | 7484 428.32/428.44 c 424s | 17 | 1147317 | 272832 | 93007 4 | 2812 | 7484 430.32/430.46 c 426s | 17 | 1153677 | 274032 | 93007 4 | 2812 | 7484 432.42/432.51 c 428s | 17 | 1160530 | 275432 | 93007 4 | 2812 | 7484 434.43/434.57 c 430s | 17 | 1167714 | 276832 | 93007 4 | 2812 | 7484 436.42/436.57 c 432s | 17 | 1175108 | 278332 | 93007 4 | 2812 | 7484 438.62/438.70 c 435s | 17 | 1181997 | 279932 | 93007 4 | 2812 | 7484 440.62/440.71 c 437s | 17 | 1188991 | 281332 | 93007 4 | 2812 | 7484 442.62/442.76 c 439s | 17 | 1194874 | 282532 | 93007 4 | 2812 | 7484 444.72/444.85 c 441s | 17 | 1200702 | 283932 | 93007 4 | 2812 | 7484 446.82/446.91 c 443s | 17 | 1206380 | 285332 | 93007 4 | 2812 | 7484 448.92/449.06 c 445s | 17 | 1212009 | 286532 | 93007 4 | 2812 | 7484 451.02/451.18 c 447s | 17 | 1217778 | 287932 | 93007 4 | 2812 | 7484 453.12/453.29 c 449s | 17 | 1221178 | 288932 | 93007 5 | 2812 | 7484 463.03/463.15 c 459s | 17 | 1224029 | 289632 | 93007 5 | 2812 | 7484 465.02/465.19 c 461s | 17 | 1228115 | 290532 | 93007 5 | 2812 | 7484 467.22/467.37 c 463s | 17 | 1232351 | 291532 | 93007 5 | 2812 | 7484 469.32/469.45 c 465s | 17 | 1240629 | 293332 | 102308 5 | 2812 | 7484 471.42/471.53 c 467s | 17 | 1249171 | 295532 | 102308 5 | 2812 | 7484 472.22/472.30 c 468s | 18 | 1252229 | 296252 | 102308 5 | 2812 | 7484 474.22/474.39 c 470s | 18 | 1264472 | 298052 | 102308 5 | 2812 | 7484 476.33/476.44 c 472s | 18 | 1272491 | 299952 | 102308 5 | 2812 | 7484 478.32/478.47 c 474s | 18 | 1282009 | 301852 | 102308 5 | 2812 | 7484 480.42/480.51 c 476s | 18 | 1291126 | 303852 | 102308 5 | 2812 | 7484 482.42/482.53 c 478s | 18 | 1299636 | 305752 | 102308 5 | 2812 | 7484 484.42/484.55 c 480s | 18 | 1307195 | 307352 | 102308 5 | 2812 | 7484 486.52/486.65 c 483s | 18 | 1314688 | 309052 | 102308 5 | 2812 | 7484 488.62/488.72 c 485s | 18 | 1320266 | 310552 | 102308 5 | 2812 | 7484 490.72/490.84 c 487s | 18 | 1326476 | 311852 | 102308 5 | 2812 | 7484 492.83/492.93 c 489s | 18 | 1333432 | 313252 | 102308 5 | 2812 | 7484 494.93/495.05 c 491s | 18 | 1340629 | 314852 | 102308 5 | 2812 | 7484 497.13/497.23 c 493s | 18 | 1347465 | 316452 | 102308 5 | 2812 | 7484 499.22/499.33 c 495s | 18 | 1353564 | 317852 | 102308 5 | 2812 | 7484 501.32/501.41 c 497s | 18 | 1360182 | 319252 | 102308 5 | 2812 | 7484 503.42/503.57 c 499s | 18 | 1366862 | 320552 | 102308 5 | 2812 | 7484 505.62/505.71 c 502s | 18 | 1373702 | 321852 | 102308 5 | 2812 | 7484 507.72/507.83 c 504s | 18 | 1380361 | 323252 | 102308 5 | 2812 | 7484 509.82/509.93 c 506s | 18 | 1387528 | 324752 | 102308 5 | 2812 | 7484 511.82/511.95 c 508s | 18 | 1394855 | 326352 | 102308 5 | 2812 | 7484 513.81/513.96 c 510s | 18 | 1403201 | 327952 | 102308 5 | 2812 | 7484 515.92/516.02 c 512s | 18 | 1410878 | 329652 | 102308 5 | 2812 | 7484 518.02/518.13 c 514s | 18 | 1418421 | 331452 | 102308 5 | 2812 | 7484 520.01/520.19 c 516s | 18 | 1425791 | 333052 | 102308 5 | 2812 | 7484 522.11/522.22 c 518s | 18 | 1432515 | 334652 | 102308 5 | 2812 | 7484 524.11/524.28 c 520s | 18 | 1439330 | 336352 | 102308 5 | 2812 | 7484 528.11/528.29 c 524s | 18 | 1440238 | 336552 | 102308 5 | 2812 | 7484 551.20/551.33 c 547s | 18 | 1441430 | 336852 | 102308 5 | 2812 | 7484 553.21/553.39 c 549s | 18 | 1448302 | 338552 | 102308 5 | 2812 | 7484 555.30/555.46 c 551s | 18 | 1454435 | 340052 | 102308 5 | 2812 | 7484 557.30/557.47 c 553s | 18 | 1459657 | 341452 | 102308 5 | 2812 | 7484 559.30/559.48 c 555s | 18 | 1466680 | 343052 | 102308 5 | 2812 | 7484 561.40/561.58 c 557s | 18 | 1470968 | 344252 | 102308 5 | 2812 | 7484 563.50/563.62 c 559s | 18 | 1475957 | 345752 | 102308 5 | 2812 | 7484 565.60/565.79 c 562s | 18 | 1482895 | 347252 | 102308 5 | 2812 | 7484 567.70/567.86 c 564s | 18 | 1487276 | 348452 | 102308 5 | 2812 | 7484 569.71/569.90 c 566s | 18 | 1490435 | 349452 | 102308 5 | 2812 | 7484 603.30/603.43 c 599s | 18 | 1494062 | 350452 | 102308 6 | 2812 | 7484 605.39/605.56 c 601s | 18 | 1497974 | 351352 | 102308 6 | 2812 | 7484 608.00/608.10 c 604s | 18 | 1499729 | 351852 | 102308 6 | 2812 | 7484 612.79/612.94 c 609s | 18 | 1503528 | 352652 | 102308 6 | 2812 | 7484 614.80/614.95 c 611s | 18 | 1511092 | 354352 | 102308 6 | 2812 | 7484 616.89/617.06 c 613s | 18 | 1518140 | 356252 | 102308 6 | 2812 | 7484 618.89/619.06 c 615s | 18 | 1524574 | 357952 | 102308 6 | 2812 | 7484 620.89/621.07 c 617s | 18 | 1531838 | 359752 | 102308 6 | 2812 | 7484 622.99/623.18 c 619s | 18 | 1537242 | 361552 | 102308 6 | 2812 | 7484 625.09/625.24 c 621s | 18 | 1543315 | 363252 | 102308 6 | 2812 | 7484 627.09/627.28 c 623s | 18 | 1552034 | 365152 | 102308 6 | 2812 | 7484 632.19/632.30 c 628s | 18 | 1558886 | 366552 | 102308 6 | 2812 | 7484 634.29/634.41 c 630s | 18 | 1565456 | 368152 | 102308 6 | 2812 | 7484 636.39/636.51 c 632s | 18 | 1574308 | 369952 | 102308 6 | 2812 | 7484 638.39/638.52 c 634s | 18 | 1580961 | 371552 | 102308 6 | 2812 | 7484 640.49/640.62 c 636s | 18 | 1587935 | 373252 | 102308 6 | 2812 | 7484 642.59/642.72 c 639s | 18 | 1594010 | 374852 | 102308 6 | 2812 | 7484 644.60/644.72 c 641s | 18 | 1599621 | 376252 | 102308 6 | 2812 | 7484 646.59/646.79 c 643s | 18 | 1604268 | 377452 | 102308 6 | 2812 | 7484 648.79/648.91 c 645s | 18 | 1611480 | 378952 | 102308 6 | 2812 | 7484 650.79/650.94 c 647s | 18 | 1620742 | 380252 | 102308 6 | 2812 | 7484 652.99/653.10 c 649s | 18 | 1625121 | 381452 | 102308 6 | 2812 | 7484 654.99/655.17 c 651s | 18 | 1632603 | 382552 | 102308 6 | 2812 | 7484 657.09/657.24 c 653s | 18 | 1638420 | 384052 | 102308 6 | 2812 | 7484 659.19/659.30 c 655s | 18 | 1643563 | 385252 | 102308 6 | 2812 | 7484 661.19/661.38 c 657s | 18 | 1649357 | 386652 | 102308 6 | 2812 | 7484 663.30/663.44 c 659s | 18 | 1654427 | 387952 | 102308 6 | 2812 | 7484 665.29/665.45 c 661s | 18 | 1659413 | 389252 | 102308 6 | 2812 | 7484 667.49/667.60 c 663s | 18 | 1664409 | 390552 | 102308 6 | 2812 | 7484 669.49/669.64 c 666s | 18 | 1669104 | 391652 | 102308 6 | 2812 | 7484 671.49/671.67 c 668s | 18 | 1673153 | 392752 | 102308 6 | 2812 | 7484 673.59/673.71 c 670s | 18 | 1677703 | 393952 | 102308 6 | 2812 | 7484 675.59/675.77 c 672s | 18 | 1682994 | 395252 | 102308 6 | 2812 | 7484 677.69/677.86 c 674s | 18 | 1688028 | 396452 | 102308 6 | 2812 | 7484 679.79/679.93 c 676s | 18 | 1693646 | 397652 | 102308 6 | 2812 | 7484 681.89/682.09 c 678s | 18 | 1698983 | 398952 | 102308 6 | 2812 | 7484 684.09/684.23 c 680s | 18 | 1703222 | 400052 | 102308 6 | 2812 | 7484 686.19/686.31 c 682s | 18 | 1708933 | 401352 | 102308 6 | 2812 | 7484 688.19/688.32 c 684s | 18 | 1714685 | 402652 | 102308 6 | 2812 | 7484 690.19/690.39 c 686s | 18 | 1719381 | 403852 | 102308 6 | 2812 | 7484 692.28/692.47 c 688s | 18 | 1723576 | 404952 | 102308 6 | 2812 | 7484 694.38/694.59 c 690s | 18 | 1728112 | 405952 | 102308 6 | 2812 | 7484 696.68/696.87 c 693s | 18 | 1735505 | 406852 | 102308 7 | 2812 | 7484 705.78/705.91 c 702s | 18 | 1737749 | 406952 | 102308 7 | 2812 | 7484 707.88/708.01 c 704s | 18 | 1741972 | 407552 | 102308 7 | 2812 | 7484 727.78/727.97 c 724s | 18 | 1747380 | 408852 | 102308 7 | 2812 | 7484 731.08/731.22 c 727s | 18 | 1747720 | 408952 | 102308 7 | 2812 | 7484 733.18/733.36 c 729s | 18 | 1753415 | 410452 | 102308 7 | 2812 | 7484 735.28/735.43 c 731s | 18 | 1762231 | 412452 | 102308 7 | 2812 | 7484 737.28/737.46 c 733s | 18 | 1769706 | 414152 | 102308 7 | 2812 | 7484 739.28/739.49 c 735s | 18 | 1792499 | 415952 | 102308 7 | 2812 | 7484 741.38/741.56 c 737s | 18 | 1799632 | 417652 | 102308 7 | 2812 | 7484 743.48/743.68 c 740s | 18 | 1806574 | 419352 | 102308 7 | 2812 | 7484 747.98/748.18 c 744s | 18 | 1810380 | 420152 | 102308 7 | 2812 | 7484 750.18/750.32 c 746s | 18 | 1816817 | 421452 | 102308 7 | 2812 | 7484 752.17/752.38 c 748s | 18 | 1824806 | 422952 | 102308 7 | 2812 | 7484 754.27/754.40 c 750s | 18 | 1832540 | 424452 | 102308 7 | 2812 | 7484 756.27/756.44 c 752s | 18 | 1837100 | 425752 | 102308 7 | 2812 | 7484 758.27/758.46 c 754s | 18 | 1842270 | 427052 | 102308 7 | 2812 | 7484 760.37/760.57 c 756s | 18 | 1847270 | 428252 | 102308 7 | 2812 | 7484 762.37/762.59 c 758s | 18 | 1854603 | 429752 | 102308 7 | 2812 | 7484 764.48/764.60 c 760s | 18 | 1861581 | 431352 | 102308 7 | 2812 | 7484 766.47/766.67 c 763s | 18 | 1867923 | 432652 | 102308 7 | 2812 | 7484 768.57/768.74 c 765s | 18 | 1874202 | 433952 | 102308 7 | 2812 | 7484 770.66/770.86 c 767s | 18 | 1880338 | 435452 | 102308 7 | 2812 | 7484 772.86/773.00 c 769s | 18 | 1886353 | 437052 | 102308 7 | 2812 | 7484 775.06/775.20 c 771s | 18 | 1891271 | 438152 | 102308 7 | 2812 | 7484 777.06/777.23 c 773s | 18 | 1895199 | 439252 | 102308 7 | 2812 | 7484 779.26/779.46 c 775s | 18 | 1899883 | 440452 | 112539 7 | 2812 | 7484 781.36/781.53 c 777s | 18 | 1903201 | 441452 | 112539 7 | 2812 | 7484 783.46/783.67 c 780s | 18 | 1906661 | 442452 | 112539 7 | 2812 | 7484 785.66/785.88 c 782s | 18 | 1910492 | 443552 | 112539 7 | 2812 | 7484 787.57/787.77 c 784s | 19 | 1913603 | 444482 | 112539 7 | 2812 | 7484 789.56/789.79 c 786s | 19 | 1921402 | 445482 | 112539 7 | 2812 | 7484 791.66/791.82 c 788s | 19 | 1927319 | 446882 | 112539 7 | 2812 | 7484 793.76/793.90 c 790s | 19 | 1931964 | 448082 | 112539 7 | 2812 | 7484 795.86/796.02 c 792s | 19 | 1937381 | 449182 | 112539 7 | 2812 | 7484 797.86/798.09 c 794s | 19 | 1943746 | 450582 | 112539 7 | 2812 | 7484 799.96/800.18 c 796s | 19 | 1949177 | 451782 | 112539 7 | 2812 | 7484 802.06/802.25 c 798s | 19 | 1954360 | 452982 | 112539 7 | 2812 | 7484 804.16/804.33 c 800s | 19 | 1958535 | 454082 | 112539 7 | 2812 | 7484 806.16/806.34 c 802s | 19 | 1963655 | 455182 | 112539 7 | 2812 | 7484 808.26/808.50 c 804s | 19 | 1969010 | 456382 | 112539 7 | 2812 | 7484 810.35/810.59 c 806s | 19 | 1973668 | 457482 | 112539 7 | 2812 | 7484 812.55/812.71 c 809s | 19 | 1978448 | 458682 | 112539 7 | 2812 | 7484 814.65/814.85 c 811s | 19 | 1983499 | 459782 | 112539 7 | 2812 | 7484 816.85/817.09 c 813s | 19 | 1987954 | 460882 | 112539 7 | 2812 | 7484 818.95/819.18 c 815s | 19 | 1992357 | 461682 | 112539 7 | 2812 | 7484 821.05/821.27 c 817s | 19 | 1996398 | 462582 | 112539 7 | 2812 | 7484 823.26/823.45 c 819s | 19 | 2000914 | 463582 | 112539 7 | 2812 | 7484 825.36/825.55 c 821s | 19 | 2005528 | 464582 | 112539 7 | 2812 | 7484 827.46/827.64 c 824s | 19 | 2009632 | 465582 | 112539 7 | 2812 | 7484 829.46/829.67 c 826s | 19 | 2014539 | 466582 | 112539 7 | 2812 | 7484 831.66/831.88 c 828s | 19 | 2019397 | 467582 | 112539 7 | 2812 | 7484 833.86/834.05 c 830s | 19 | 2025568 | 468882 | 112539 7 | 2812 | 7484 835.97/836.19 c 832s | 19 | 2032255 | 470182 | 112539 7 | 2812 | 7484 837.96/838.19 c 834s | 19 | 2037253 | 471282 | 112539 7 | 2812 | 7484 840.16/840.37 c 836s | 19 | 2040982 | 472382 | 112539 7 | 2812 | 7484 842.36/842.54 c 838s | 19 | 2046429 | 473482 | 112539 7 | 2812 | 7484 844.35/844.55 c 840s | 19 | 2051023 | 474482 | 112539 7 | 2812 | 7484 846.65/846.87 c 843s | 19 | 2051635 | 474682 | 112539 8 | 2812 | 7484 848.85/849.02 c 845s | 19 | 2054443 | 475382 | 112539 8 | 2812 | 7484 850.95/851.13 c 847s | 19 | 2062611 | 476982 | 112539 8 | 2812 | 7484 853.05/853.23 c 849s | 19 | 2070127 | 478682 | 112539 8 | 2812 | 7484 855.05/855.24 c 851s | 19 | 2076223 | 480182 | 112539 8 | 2812 | 7484 857.15/857.33 c 853s | 19 | 2083920 | 481782 | 112539 8 | 2812 | 7484 859.15/859.38 c 855s | 19 | 2090569 | 483382 | 112539 8 | 2812 | 7484 861.15/861.38 c 857s | 19 | 2097734 | 484982 | 112539 8 | 2812 | 7484 863.35/863.57 c 859s | 19 | 2104576 | 486682 | 112539 8 | 2812 | 7484 865.34/865.58 c 861s | 19 | 2112095 | 488282 | 112539 8 | 2812 | 7484 867.44/867.69 c 864s | 19 | 2115737 | 489182 | 112539 8 | 2812 | 7484 869.54/869.78 c 866s | 19 | 2117465 | 489782 | 112539 8 | 2812 | 7484 885.45/885.64 c 882s | 19 | 2121283 | 491082 | 112539 8 | 2812 | 7484 887.55/887.72 c 884s | 19 | 2124393 | 492382 | 112539 8 | 2812 | 7484 889.63/889.80 c 886s | 19 | 2128205 | 493682 | 112539 8 | 2812 | 7484 891.63/891.83 c 888s | 19 | 2132226 | 495082 | 112539 8 | 2812 | 7484 893.73/893.96 c 890s | 19 | 2137052 | 496482 | 112539 8 | 2812 | 7484 895.73/895.97 c 892s | 19 | 2140054 | 497582 | 112539 8 | 2812 | 7484 897.83/898.05 c 894s | 19 | 2143418 | 498782 | 112539 8 | 2812 | 7484 899.83/900.07 c 896s | 19 | 2145491 | 499782 | 112539 8 | 2812 | 7484 901.94/902.16 c 898s | 19 | 2147725 | 500882 | 112539 8 | 2812 | 7484 904.04/904.26 c 900s | 19 | 2151939 | 501982 | 112539 8 | 2812 | 7484 906.03/906.29 c 902s | 19 | 2155887 | 503382 | 112539 8 | 2812 | 7484 908.23/908.47 c 904s | 19 | 2159392 | 504682 | 112539 8 | 2812 | 7484 910.32/910.55 c 906s | 19 | 2162057 | 505782 | 112539 8 | 2812 | 7484 912.42/912.64 c 909s | 19 | 2165206 | 506882 | 112539 8 | 2812 | 7484 914.42/914.64 c 911s | 19 | 2168587 | 507982 | 112539 8 | 2812 | 7484 916.52/916.77 c 913s | 19 | 2173600 | 509182 | 112539 8 | 2812 | 7484 918.62/918.86 c 915s | 19 | 2177675 | 510482 | 112539 8 | 2812 | 7484 920.72/920.97 c 917s | 19 | 2180917 | 511782 | 112539 8 | 2812 | 7484 971.31/971.57 c 967s | 19 | 2184007 | 512782 | 112539 8 | 2812 | 7484 973.32/973.58 c 969s | 19 | 2188764 | 514182 | 112539 8 | 2812 | 7484 975.52/975.72 c 972s | 19 | 2194163 | 515382 | 112539 8 | 2812 | 7484 977.51/977.79 c 974s | 19 | 2230594 | 516582 | 112539 8 | 2812 | 7484 979.61/979.89 c 976s | 19 | 2237981 | 518082 | 112539 8 | 2812 | 7484 981.82/982.06 c 978s | 19 | 2244102 | 519482 | 112539 8 | 2812 | 7484 983.92/984.14 c 980s | 19 | 2248248 | 520482 | 112539 8 | 2812 | 7484 986.12/986.34 c 982s | 19 | 2252865 | 521582 | 112539 8 | 2812 | 7484 988.22/988.44 c 984s | 19 | 2257276 | 522582 | 112539 8 | 2812 | 7484 990.22/990.45 c 986s | 19 | 2261878 | 523782 | 112539 8 | 2812 | 7484 992.32/992.52 c 988s | 19 | 2266995 | 524982 | 112539 8 | 2812 | 7484 994.52/994.71 c 991s | 19 | 2271681 | 526182 | 112539 8 | 2812 | 7484 996.62/996.82 c 993s | 19 | 2275185 | 526982 | 112539 8 | 2812 | 7484 998.72/998.94 c 995s | 19 | 2279747 | 527982 | 112539 8 | 2812 | 7484 1000.72/1000.97 c 997s | 19 | 2283901 | 528982 | 112539 8 | 2812 | 7484 1002.92/1003.15 c 999s | 19 | 2288737 | 530082 | 112539 8 | 2812 | 7484 1005.02/1005.20 c 1001s | 19 | 2293307 | 531082 | 112539 8 | 2812 | 7484 1007.12/1007.31 c 1003s | 19 | 2297700 | 532082 | 112539 8 | 2812 | 7484 1009.11/1009.31 c 1005s | 19 | 2302120 | 532982 | 112539 8 | 2812 | 7484 1011.21/1011.42 c 1007s | 19 | 2307321 | 533982 | 112539 8 | 2812 | 7484 1013.41/1013.64 c 1010s | 19 | 2312305 | 534982 | 112539 8 | 2812 | 7484 1015.41/1015.69 c 1012s | 19 | 2316221 | 535882 | 112539 8 | 2812 | 7484 1017.81/1018.01 c 1014s | 19 | 2319815 | 536682 | 112539 9 | 2812 | 7484 1027.10/1027.31 c 1023s | 19 | 2321545 | 537082 | 112539 9 | 2812 | 7484 1029.30/1029.56 c 1025s | 19 | 2327105 | 538482 | 112539 9 | 2812 | 7484 1031.30/1031.58 c 1027s | 19 | 2334692 | 540382 | 112539 9 | 2812 | 7484 1033.40/1033.61 c 1029s | 19 | 2339708 | 542082 | 112539 9 | 2812 | 7484 1035.40/1035.66 c 1032s | 19 | 2344784 | 543582 | 112539 9 | 2812 | 7484 1037.60/1037.84 c 1034s | 19 | 2351783 | 545282 | 112539 9 | 2812 | 7484 1039.70/1039.92 c 1036s | 19 | 2357321 | 546882 | 112539 9 | 2812 | 7484 1041.80/1042.02 c 1038s | 19 | 2363649 | 548582 | 112539 9 | 2812 | 7484 1043.90/1044.11 c 1040s | 19 | 2368936 | 550182 | 112539 9 | 2812 | 7484 1045.90/1046.12 c 1042s | 19 | 2374884 | 551682 | 112539 9 | 2812 | 7484 1047.99/1048.20 c 1044s | 19 | 2380806 | 553282 | 112539 9 | 2812 | 7484 1050.09/1050.36 c 1046s | 19 | 2385456 | 554682 | 112539 9 | 2812 | 7484 1052.29/1052.50 c 1048s | 19 | 2390333 | 555982 | 112539 9 | 2812 | 7484 1054.29/1054.51 c 1050s | 19 | 2396455 | 557382 | 112539 9 | 2812 | 7484 1056.39/1056.61 c 1052s | 19 | 2402080 | 558682 | 112539 9 | 2812 | 7484 1058.39/1058.66 c 1055s | 19 | 2406513 | 559982 | 112539 9 | 2812 | 7484 1060.49/1060.74 c 1057s | 19 | 2411018 | 561382 | 112539 9 | 2812 | 7484 1062.59/1062.88 c 1059s | 19 | 2415568 | 562682 | 112539 9 | 2812 | 7484 1064.69/1064.99 c 1061s | 19 | 2420317 | 563982 | 112539 9 | 2812 | 7484 1066.79/1067.02 c 1063s | 19 | 2423828 | 565082 | 112539 9 | 2812 | 7484 1068.78/1069.04 c 1065s | 19 | 2428285 | 566282 | 112539 9 | 2812 | 7484 1070.88/1071.13 c 1067s | 19 | 2432370 | 567482 | 112539 9 | 2812 | 7484 1072.98/1073.25 c 1069s | 19 | 2438079 | 568882 | 112539 9 | 2812 | 7484 1075.08/1075.35 c 1071s | 19 | 2442455 | 570082 | 112539 9 | 2812 | 7484 1077.08/1077.38 c 1073s | 19 | 2448492 | 571282 | 112539 9 | 2812 | 7484 1079.18/1079.47 c 1075s | 19 | 2452890 | 572382 | 112539 9 | 2812 | 7484 1081.28/1081.53 c 1077s | 19 | 2457298 | 573382 | 112539 9 | 2812 | 7484 1083.29/1083.54 c 1079s | 19 | 2460909 | 574482 | 112539 9 | 2812 | 7484 1085.49/1085.72 c 1082s | 19 | 2466229 | 575682 | 112539 9 | 2812 | 7484 1087.69/1087.94 c 1084s | 19 | 2469702 | 576682 | 112539 9 | 2812 | 7484 1089.67/1089.99 c 1086s | 19 | 2473777 | 577782 | 112539 9 | 2812 | 7484 1091.77/1092.09 c 1088s | 19 | 2477979 | 578882 | 112539 9 | 2812 | 7484 1094.07/1094.32 c 1090s | 19 | 2481184 | 579882 | 112539 9 | 2812 | 7484 1096.07/1096.36 c 1092s | 19 | 2485261 | 580882 | 112539 9 | 2812 | 7484 1098.27/1098.53 c 1094s | 19 | 2488722 | 581682 | 112539 9 | 2812 | 7484 1100.47/1100.73 c 1097s | 19 | 2492109 | 582382 | 112539 9 | 2812 | 7484 1102.67/1102.91 c 1099s | 19 | 2495451 | 583182 | 112539 9 | 2812 | 7484 1104.77/1105.08 c 1101s | 19 | 2498510 | 584182 | 112539 9 | 2812 | 7484 1106.97/1107.26 c 1103s | 19 | 2504948 | 584982 | 112539 9 | 2812 | 7484 1109.06/1109.30 c 1105s | 19 | 2508524 | 585782 | 112539 9 | 2812 | 7484 1111.06/1111.38 c 1107s | 19 | 2511071 | 586582 | 112539 9 | 2812 | 7484 1113.26/1113.52 c 1109s | 19 | 2513984 | 587282 | 112539 9 | 2812 | 7484 1115.27/1115.56 c 1111s | 19 | 2517158 | 587982 | 112539 9 | 2812 | 7484 1117.26/1117.56 c 1113s | 19 | 2520690 | 588782 | 112539 9 | 2812 | 7484 1119.46/1119.78 c 1116s | 19 | 2523794 | 589682 | 112539 9 | 2812 | 7484 1121.66/1121.97 c 1118s | 19 | 2526437 | 590582 | 112539 9 | 2812 | 7484 1123.96/1124.27 c 1120s | 19 | 2529663 | 591482 | 112539 9 | 2812 | 7484 1126.06/1126.31 c 1122s | 19 | 2532472 | 592382 | 112539 9 | 2812 | 7484 1128.06/1128.35 c 1124s | 19 | 2535281 | 593282 | 112539 9 | 2812 | 7484 1130.25/1130.55 c 1126s | 19 | 2538227 | 594182 | 112539 9 | 2812 | 7484 1132.35/1132.69 c 1129s | 19 | 2540553 | 595082 | 112539 9 | 2812 | 7484 1134.45/1134.71 c 1131s | 19 | 2544268 | 595982 | 112539 9 | 2812 | 7484 1136.75/1137.01 c 1133s | 19 | 2548012 | 596782 | 112539 9 | 2812 | 7484 1138.75/1139.04 c 1135s | 19 | 2551189 | 597482 | 112539 9 | 2812 | 7484 1141.05/1141.35 c 1137s | 19 | 2554849 | 598282 | 112539 9 | 2812 | 7484 1143.65/1143.95 c 1140s | 19 | 2556881 | 598982 | 112539 10 | 2812 | 7484 1145.75/1146.00 c 1142s | 19 | 2561224 | 600282 | 112539 10 | 2812 | 7484 1148.95/1149.24 c 1145s | 19 | 2564252 | 601282 | 112539 10 | 2812 | 7484 1150.95/1151.26 c 1147s | 19 | 2567852 | 602382 | 112539 10 | 2812 | 7484 1153.05/1153.36 c 1149s | 19 | 2570413 | 602982 | 112539 10 | 2812 | 7484 1155.15/1155.44 c 1151s | 19 | 2574246 | 604182 | 112539 10 | 2812 | 7484 1157.15/1157.45 c 1153s | 19 | 2578418 | 605282 | 112539 10 | 2812 | 7484 1159.25/1159.57 c 1155s | 19 | 2582433 | 606482 | 112539 10 | 2812 | 7484 1161.35/1161.61 c 1157s | 19 | 2586027 | 607582 | 112539 10 | 2812 | 7484 1168.24/1168.59 c 1164s | 19 | 2589747 | 608682 | 112539 10 | 2812 | 7484 1170.44/1170.73 c 1167s | 19 | 2593627 | 609882 | 112539 10 | 2812 | 7484 1172.54/1172.84 c 1169s | 19 | 2598722 | 611182 | 112539 10 | 2812 | 7484 1174.54/1174.85 c 1171s | 19 | 2602030 | 612182 | 112539 10 | 2812 | 7484 1176.55/1176.85 c 1173s | 19 | 2607481 | 613482 | 112539 10 | 2812 | 7484 1178.84/1179.19 c 1175s | 19 | 2609116 | 613882 | 112539 10 | 2812 | 7484 1180.94/1181.23 c 1177s | 19 | 2614068 | 615182 | 112539 10 | 2812 | 7484 1182.94/1183.29 c 1179s | 19 | 2619368 | 616282 | 112539 10 | 2812 | 7484 1185.04/1185.35 c 1181s | 19 | 2624187 | 617682 | 112539 10 | 2812 | 7484 1187.04/1187.38 c 1183s | 19 | 2630001 | 619182 | 112539 10 | 2812 | 7484 1189.04/1189.39 c 1185s | 19 | 2635172 | 620682 | 112539 10 | 2812 | 7484 1191.14/1191.49 c 1187s | 19 | 2645389 | 622382 | 112539 10 | 2812 | 7484 1193.24/1193.53 c 1189s | 19 | 2653014 | 624182 | 112539 10 | 2812 | 7484 1195.24/1195.58 c 1191s | 19 | 2658455 | 625482 | 112539 10 | 2812 | 7484 1197.34/1197.60 c 1193s | 19 | 2664053 | 626982 | 112539 10 | 2812 | 7484 1199.43/1199.73 c 1196s | 19 | 2668679 | 628282 | 112539 10 | 2812 | 7484 1201.43/1201.74 c 1198s | 19 | 2673943 | 629582 | 112539 10 | 2812 | 7484 1203.53/1203.82 c 1200s | 19 | 2679517 | 631082 | 112539 10 | 2812 | 7484 1205.63/1205.94 c 1202s | 19 | 2685719 | 632482 | 112539 10 | 2812 | 7484 1207.73/1208.04 c 1204s | 19 | 2691341 | 633882 | 112539 10 | 2812 | 7484 1209.73/1210.04 c 1206s | 19 | 2696239 | 635182 | 112539 10 | 2812 | 7484 1211.83/1212.14 c 1208s | 19 | 2700373 | 636382 | 112539 10 | 2812 | 7484 1214.42/1214.74 c 1211s | 19 | 2702388 | 636982 | 112539 10 | 2812 | 7484 1216.52/1216.84 c 1213s | 19 | 2706784 | 638082 | 112539 10 | 2812 | 7484 1218.63/1218.98 c 1215s | 19 | 2711172 | 639082 | 112539 10 | 2812 | 7484 1220.73/1221.05 c 1217s | 19 | 2715086 | 640082 | 112539 10 | 2812 | 7484 1222.72/1223.08 c 1219s | 19 | 2719578 | 641182 | 112539 10 | 2812 | 7484 1224.82/1225.13 c 1221s | 19 | 2724228 | 642382 | 112539 10 | 2812 | 7484 1226.92/1227.27 c 1223s | 19 | 2729233 | 643482 | 112539 10 | 2812 | 7484 1229.12/1229.40 c 1225s | 19 | 2733025 | 644382 | 112539 10 | 2812 | 7484 1231.22/1231.54 c 1227s | 19 | 2737080 | 645382 | 112539 10 | 2812 | 7484 1233.42/1233.76 c 1230s | 19 | 2741251 | 646382 | 112539 10 | 2812 | 7484 1235.52/1235.82 c 1232s | 19 | 2745740 | 647382 | 112539 10 | 2812 | 7484 1237.61/1237.94 c 1234s | 19 | 2750291 | 648482 | 112539 10 | 2812 | 7484 1239.61/1239.97 c 1236s | 19 | 2753997 | 649382 | 112539 10 | 2812 | 7484 1241.81/1242.12 c 1238s | 19 | 2758645 | 650282 | 112539 10 | 2812 | 7484 1243.92/1244.25 c 1240s | 19 | 2762304 | 651182 | 112539 10 | 2812 | 7484 1246.02/1246.37 c 1242s | 19 | 2766447 | 652082 | 112539 10 | 2812 | 7484 1248.22/1248.56 c 1244s | 19 | 2770199 | 653082 | 112539 10 | 2812 | 7484 1250.32/1250.68 c 1247s | 19 | 2774248 | 654082 | 112539 10 | 2812 | 7484 1252.52/1252.84 c 1249s | 19 | 2776970 | 654982 | 112539 10 | 2812 | 7484 1254.62/1254.90 c 1251s | 19 | 2780691 | 655982 | 112539 10 | 2812 | 7484 1256.72/1257.04 c 1253s | 19 | 2785132 | 656982 | 112539 10 | 2812 | 7484 1259.02/1259.31 c 1255s | 19 | 2788684 | 657882 | 112539 10 | 2812 | 7484 1261.22/1261.55 c 1257s | 19 | 2791669 | 658782 | 112539 10 | 2812 | 7484 1263.51/1263.81 c 1260s | 19 | 2795040 | 659582 | 112539 10 | 2812 | 7484 1265.61/1265.96 c 1262s | 19 | 2797255 | 660382 | 123793 10 | 2812 | 7484 1267.91/1268.24 c 1264s | 19 | 2800239 | 661382 | 123793 10 | 2812 | 7484 1269.91/1270.28 c 1266s | 19 | 2802309 | 662182 | 123793 10 | 2812 | 7484 1272.11/1272.42 c 1268s | 19 | 2804978 | 662982 | 123793 10 | 2812 | 7484 1274.41/1274.71 c 1271s | 19 | 2808001 | 663882 | 123793 10 | 2812 | 7484 1276.61/1276.93 c 1273s | 19 | 2811047 | 664782 | 123793 10 | 2812 | 7484 1278.81/1279.15 c 1275s | 19 | 2814074 | 665482 | 123793 10 | 2812 | 7484 1280.90/1281.24 c 1277s | 19 | 2818551 | 666682 | 123793 10 | 2812 | 7484 1281.21/1281.51 c 1277s | 20 | 2819025 | 666827 | 123793 10 | 2812 | 7484 1290.01/1290.37 c 1286s | 20 | 2823568 | 666927 | 123793 11 | 2812 | 7484 1353.38/1353.76 c 1350s | 20 | 2825169 | 667527 | 123793 11 | 2812 | 7484 1355.49/1355.85 c 1352s | 20 | 2829445 | 669027 | 123793 11 | 2812 | 7484 1375.58/1375.96 c 1372s | 20 | 2830577 | 669327 | 123793 11 | 2812 | 7484 1377.78/1378.13 c 1374s | 20 | 2834915 | 670527 | 123793 11 | 2812 | 7484 1379.78/1380.15 c 1376s | 20 | 2837813 | 671327 | 123793 11 | 2812 | 7484 1381.88/1382.24 c 1378s | 20 | 2841760 | 672327 | 123793 11 | 2812 | 7484 1383.88/1384.29 c 1380s | 20 | 2848062 | 674027 | 123793 11 | 2812 | 7484 1385.98/1386.33 c 1382s | 20 | 2853672 | 675727 | 123793 11 | 2812 | 7484 1387.99/1388.37 c 1384s | 20 | 2858932 | 677327 | 123793 11 | 2812 | 7484 1390.09/1390.46 c 1386s | 20 | 2864506 | 679027 | 123793 11 | 2812 | 7484 1392.08/1392.46 c 1388s | 20 | 2868412 | 680427 | 123793 11 | 2812 | 7484 1394.18/1394.52 c 1390s | 20 | 2873622 | 681827 | 123793 11 | 2812 | 7484 1396.28/1396.60 c 1392s | 20 | 2877885 | 683427 | 123793 11 | 2812 | 7484 1398.28/1398.64 c 1395s | 20 | 2881133 | 684527 | 123793 11 | 2812 | 7484 1400.28/1400.65 c 1397s | 20 | 2887098 | 685927 | 123793 11 | 2812 | 7484 1402.38/1402.72 c 1399s | 20 | 2892902 | 687427 | 123793 11 | 2812 | 7484 1404.38/1404.76 c 1401s | 20 | 2896865 | 688627 | 123793 11 | 2812 | 7484 1406.38/1406.77 c 1403s | 20 | 2900091 | 689527 | 123793 11 | 2812 | 7484 1408.38/1408.79 c 1405s | 20 | 2905282 | 690927 | 123793 11 | 2812 | 7484 1410.47/1410.87 c 1407s | 20 | 2911661 | 692327 | 123793 11 | 2812 | 7484 1412.47/1412.89 c 1409s | 20 | 2916374 | 693427 | 123793 11 | 2812 | 7484 1414.57/1414.97 c 1411s | 20 | 2920473 | 694527 | 123793 11 | 2812 | 7484 1416.67/1417.09 c 1413s | 20 | 2925609 | 695927 | 123793 11 | 2812 | 7484 1418.78/1419.17 c 1415s | 20 | 2930221 | 697327 | 123793 11 | 2812 | 7484 1420.88/1421.30 c 1417s | 20 | 2934289 | 698527 | 123793 11 | 2812 | 7484 1422.97/1423.36 c 1419s | 20 | 2937738 | 699627 | 123793 11 | 2812 | 7484 1425.07/1425.44 c 1421s | 20 | 2943178 | 701027 | 123793 11 | 2812 | 7484 1427.17/1427.50 c 1423s | 20 | 2946887 | 702227 | 123793 11 | 2812 | 7484 1429.37/1429.70 c 1426s | 20 | 2950685 | 703427 | 123793 11 | 2812 | 7484 1431.37/1431.76 c 1428s | 20 | 2954648 | 704627 | 123793 11 | 2812 | 7484 1433.47/1433.87 c 1430s | 20 | 2960025 | 706027 | 123793 11 | 2812 | 7484 1435.57/1435.99 c 1432s | 20 | 2964855 | 707427 | 123793 11 | 2812 | 7484 1437.77/1438.12 c 1434s | 20 | 2968524 | 708527 | 123793 11 | 2812 | 7484 1439.86/1440.29 c 1436s | 20 | 2972485 | 709627 | 123793 11 | 2812 | 7484 1442.16/1442.51 c 1438s | 20 | 2976118 | 710827 | 123793 11 | 2812 | 7484 1444.26/1444.62 c 1440s | 20 | 2978010 | 711527 | 123793 11 | 2812 | 7484 1446.36/1446.74 c 1443s | 20 | 2983188 | 712527 | 123793 11 | 2812 | 7484 1448.37/1448.76 c 1445s | 20 | 2986729 | 713527 | 123793 11 | 2812 | 7484 1450.57/1450.93 c 1447s | 20 | 2990182 | 714627 | 123793 11 | 2812 | 7484 1452.87/1453.26 c 1449s | 20 | 2993754 | 715427 | 123793 11 | 2812 | 7484 1455.07/1455.45 c 1451s | 20 | 2997081 | 716527 | 123793 11 | 2812 | 7484 1457.27/1457.69 c 1454s | 20 | 3000908 | 717627 | 123793 11 | 2812 | 7484 1459.37/1459.75 c 1456s | 20 | 3003955 | 718527 | 123793 11 | 2812 | 7484 1461.66/1462.01 c 1458s | 20 | 3006887 | 719427 | 123793 11 | 2812 | 7484 1463.76/1464.13 c 1460s | 20 | 3009796 | 720227 | 123793 11 | 2812 | 7484 1465.96/1466.32 c 1462s | 20 | 3013578 | 721227 | 123793 11 | 2812 | 7484 1467.96/1468.36 c 1464s | 20 | 3015888 | 722027 | 123793 11 | 2812 | 7484 1470.06/1470.46 c 1466s | 20 | 3018792 | 722927 | 123793 11 | 2812 | 7484 1472.16/1472.52 c 1468s | 20 | 3022199 | 723827 | 123793 11 | 2812 | 7484 1474.26/1474.64 c 1471s | 20 | 3026309 | 725127 | 123793 11 | 2812 | 7484 1476.36/1476.76 c 1473s | 20 | 3030145 | 726227 | 123793 11 | 2812 | 7484 1478.46/1478.82 c 1475s | 20 | 3032429 | 726827 | 123793 11 | 2812 | 7484 1480.66/1481.04 c 1477s | 20 | 3036585 | 727827 | 123793 11 | 2812 | 7484 1482.65/1483.05 c 1479s | 20 | 3039916 | 728627 | 123793 11 | 2812 | 7484 1484.76/1485.11 c 1481s | 20 | 3043712 | 729527 | 123793 11 | 2812 | 7484 1486.75/1487.12 c 1483s | 20 | 3045618 | 730127 | 123793 11 | 2812 | 7484 1488.75/1489.12 c 1485s | 20 | 3049169 | 730927 | 123793 11 | 2812 | 7484 1490.85/1491.27 c 1487s | 20 | 3052315 | 731727 | 123793 11 | 2812 | 7484 1493.05/1493.42 c 1489s | 20 | 3055675 | 732827 | 123793 11 | 2812 | 7484 1495.25/1495.64 c 1492s | 20 | 3058176 | 733527 | 123793 11 | 2812 | 7484 1497.35/1497.72 c 1494s | 20 | 3060060 | 734227 | 123793 11 | 2812 | 7484 1499.55/1499.90 c 1496s | 20 | 3062683 | 735027 | 123793 11 | 2812 | 7484 1501.55/1501.95 c 1498s | 20 | 3065709 | 735727 | 123793 11 | 2812 | 7484 1503.75/1504.18 c 1500s | 20 | 3068275 | 736427 | 123793 11 | 2812 | 7484 1506.05/1506.41 c 1502s | 20 | 3070457 | 737127 | 123793 11 | 2812 | 7484 1508.15/1508.58 c 1504s | 20 | 3072274 | 737527 | 123793 12 | 2812 | 7484 1510.35/1510.78 c 1507s | 20 | 3075667 | 738327 | 123793 12 | 2812 | 7484 1512.45/1512.89 c 1509s | 20 | 3079239 | 739327 | 123793 12 | 2812 | 7484 1514.55/1514.96 c 1511s | 20 | 3085032 | 740627 | 123793 12 | 2812 | 7484 1516.56/1516.96 c 1513s | 20 | 3089456 | 741927 | 123793 12 | 2812 | 7484 1525.55/1525.96 c 1522s | 20 | 3093108 | 742927 | 123793 12 | 2812 | 7484 1560.35/1560.72 c 1557s | 20 | 3100553 | 743427 | 123793 12 | 2812 | 7484 1563.44/1563.88 c 1560s | 20 | 3101450 | 743527 | 123793 12 | 2812 | 7484 1565.54/1565.94 c 1562s | 20 | 3109946 | 744727 | 123793 12 | 2812 | 7484 1567.54/1567.94 c 1564s | 20 | 3113427 | 745827 | 123793 12 | 2812 | 7484 1569.54/1569.96 c 1566s | 20 | 3117363 | 747027 | 123793 12 | 2812 | 7484 1571.65/1572.01 c 1568s | 20 | 3121616 | 748227 | 123793 12 | 2812 | 7484 1573.64/1574.02 c 1570s | 20 | 3126282 | 749527 | 123793 12 | 2812 | 7484 1575.84/1576.28 c 1572s | 20 | 3132187 | 750827 | 123793 12 | 2812 | 7484 1577.94/1578.30 c 1574s | 20 | 3135953 | 751827 | 123793 12 | 2812 | 7484 1580.04/1580.45 c 1576s | 20 | 3140968 | 753127 | 123793 12 | 2812 | 7484 1582.14/1582.53 c 1578s | 20 | 3144960 | 754227 | 123793 12 | 2812 | 7484 1584.24/1584.69 c 1581s | 20 | 3149032 | 755427 | 123793 12 | 2812 | 7484 1586.44/1586.88 c 1583s | 20 | 3152347 | 756327 | 123793 12 | 2812 | 7484 1588.64/1589.03 c 1585s | 20 | 3156387 | 757327 | 123793 12 | 2812 | 7484 1590.74/1591.19 c 1587s | 20 | 3160076 | 758127 | 123793 12 | 2812 | 7484 1592.93/1593.39 c 1589s | 20 | 3163504 | 759127 | 123793 12 | 2812 | 7484 1595.13/1595.52 c 1591s | 20 | 3165545 | 759627 | 123793 12 | 2812 | 7484 1597.23/1597.69 c 1594s | 20 | 3169150 | 760327 | 123793 12 | 2812 | 7484 1599.53/1599.98 c 1596s | 20 | 3172698 | 761127 | 123793 12 | 2812 | 7484 1601.83/1602.29 c 1598s | 20 | 3175809 | 761927 | 123793 12 | 2812 | 7484 1604.03/1604.44 c 1600s | 20 | 3180135 | 762927 | 123793 12 | 2812 | 7484 1606.03/1606.47 c 1602s | 20 | 3184276 | 763927 | 123793 12 | 2812 | 7484 1608.13/1608.52 c 1604s | 20 | 3188350 | 765027 | 123793 12 | 2812 | 7484 1610.14/1610.58 c 1606s | 20 | 3191862 | 766127 | 123793 12 | 2812 | 7484 1612.24/1612.62 c 1608s | 20 | 3195795 | 767327 | 123793 12 | 2812 | 7484 1614.23/1614.69 c 1611s | 20 | 3199467 | 768527 | 123793 12 | 2812 | 7484 1616.33/1616.77 c 1613s | 20 | 3202536 | 769427 | 123793 12 | 2812 | 7484 1618.53/1619.00 c 1615s | 20 | 3207596 | 770527 | 123793 12 | 2812 | 7484 1620.93/1621.34 c 1617s | 20 | 3212132 | 771527 | 123793 12 | 2812 | 7484 1623.13/1623.55 c 1619s | 20 | 3215520 | 772327 | 123793 12 | 2812 | 7484 1625.33/1625.78 c 1622s | 20 | 3219531 | 773227 | 123793 12 | 2812 | 7484 1627.53/1627.95 c 1624s | 20 | 3224282 | 774127 | 123793 12 | 2812 | 7484 1629.73/1630.10 c 1626s | 20 | 3228719 | 775027 | 123793 12 | 2812 | 7484 1631.83/1632.22 c 1628s | 20 | 3232503 | 776027 | 123793 12 | 2812 | 7484 1634.13/1634.57 c 1630s | 20 | 3237011 | 777027 | 123793 12 | 2812 | 7484 1636.43/1636.82 c 1633s | 20 | 3240879 | 777827 | 123793 12 | 2812 | 7484 1638.53/1638.91 c 1635s | 20 | 3243703 | 778627 | 123793 12 | 2812 | 7484 1640.53/1640.97 c 1637s | 20 | 3246984 | 779327 | 123793 12 | 2812 | 7484 1642.63/1643.02 c 1639s | 20 | 3250367 | 780027 | 123793 12 | 2812 | 7484 1644.63/1645.06 c 1641s | 20 | 3253460 | 780727 | 123793 12 | 2812 | 7484 1646.73/1647.14 c 1643s | 20 | 3257726 | 781627 | 123793 12 | 2812 | 7484 1648.83/1649.28 c 1645s | 20 | 3261469 | 782527 | 123793 12 | 2812 | 7484 1651.13/1651.54 c 1647s | 20 | 3263566 | 783027 | 123793 12 | 2812 | 7484 1653.52/1653.98 c 1650s | 20 | 3266562 | 783627 | 123793 12 | 2812 | 7484 1655.82/1656.27 c 1652s | 20 | 3268960 | 784227 | 123793 12 | 2812 | 7484 1658.12/1658.50 c 1654s | 20 | 3271790 | 784927 | 123793 12 | 2812 | 7484 1660.32/1660.74 c 1657s | 20 | 3275268 | 785727 | 123793 12 | 2812 | 7484 1662.42/1662.84 c 1659s | 20 | 3278461 | 786427 | 123793 12 | 2812 | 7484 1664.62/1665.05 c 1661s | 20 | 3281721 | 787227 | 123793 12 | 2812 | 7484 1666.82/1667.22 c 1663s | 20 | 3284514 | 787827 | 123793 12 | 2812 | 7484 1669.02/1669.43 c 1665s | 20 | 3287067 | 788427 | 123793 12 | 2812 | 7484 1671.02/1671.44 c 1667s | 20 | 3289920 | 789027 | 123793 12 | 2812 | 7484 1673.22/1673.61 c 1669s | 20 | 3292762 | 789727 | 123793 12 | 2812 | 7484 1675.42/1675.85 c 1672s | 20 | 3296865 | 790727 | 123793 12 | 2812 | 7484 1677.72/1678.18 c 1674s | 20 | 3299964 | 791427 | 123793 12 | 2812 | 7484 1680.02/1680.48 c 1676s | 20 | 3303476 | 792127 | 123793 12 | 2812 | 7484 1682.03/1682.48 c 1678s | 20 | 3306815 | 792927 | 123793 12 | 2812 | 7484 1684.23/1684.61 c 1680s | 20 | 3310532 | 793827 | 123793 12 | 2812 | 7484 1686.33/1686.71 c 1683s | 20 | 3314031 | 794727 | 123793 12 | 2812 | 7484 1688.53/1688.97 c 1685s | 20 | 3317736 | 795727 | 123793 12 | 2812 | 7484 1690.73/1691.18 c 1687s | 20 | 3321284 | 796527 | 123793 12 | 2812 | 7484 1692.93/1693.39 c 1689s | 20 | 3324470 | 797427 | 123793 12 | 2812 | 7484 1695.03/1695.40 c 1691s | 20 | 3327295 | 798127 | 123793 12 | 2812 | 7484 1697.33/1697.71 c 1694s | 20 | 3330943 | 799127 | 123793 12 | 2812 | 7484 1699.53/1699.91 c 1696s | 20 | 3334881 | 800027 | 123793 12 | 2812 | 7484 1701.63/1702.03 c 1698s | 20 | 3338509 | 801027 | 123793 12 | 2812 | 7484 1703.83/1704.23 c 1700s | 20 | 3341835 | 801827 | 123793 12 | 2812 | 7484 1705.83/1706.30 c 1702s | 20 | 3345382 | 802527 | 123793 12 | 2812 | 7484 1708.03/1708.41 c 1704s | 20 | 3348552 | 803327 | 123793 12 | 2812 | 7484 1710.13/1710.59 c 1706s | 20 | 3351229 | 804027 | 123793 12 | 2812 | 7484 1712.43/1712.82 c 1709s | 20 | 3353667 | 804827 | 123793 12 | 2812 | 7484 1717.82/1718.26 c 1714s | 20 | 3354731 | 805127 | 123793 13 | 2812 | 7484 1719.92/1720.32 c 1716s | 20 | 3359239 | 806427 | 123793 13 | 2812 | 7484 1722.02/1722.41 c 1718s | 20 | 3362799 | 807527 | 123793 13 | 2812 | 7484 1724.43/1724.88 c 1721s | 20 | 3366455 | 808427 | 123793 13 | 2812 | 7484 1727.42/1727.80 c 1724s | 20 | 3367133 | 808627 | 123793 13 | 2812 | 7484 1729.52/1729.98 c 1726s | 20 | 3372642 | 809827 | 123793 13 | 2812 | 7484 1731.62/1732.07 c 1728s | 20 | 3378205 | 810927 | 123793 13 | 2812 | 7484 1733.72/1734.13 c 1730s | 20 | 3383081 | 812027 | 123793 13 | 2812 | 7484 1735.82/1736.20 c 1732s | 20 | 3389242 | 813127 | 123793 13 | 2812 | 7484 1737.82/1738.25 c 1734s | 20 | 3394659 | 814327 | 123793 13 | 2812 | 7484 1739.93/1740.32 c 1736s | 20 | 3400689 | 815427 | 123793 13 | 2812 | 7484 1742.82/1743.26 c 1739s | 20 | 3404629 | 816227 | 123793 13 | 2812 | 7484 1744.82/1745.27 c 1741s | 20 | 3410517 | 817227 | 123793 13 | 2812 | 7484 1747.02/1747.45 c 1743s | 20 | 3416613 | 818427 | 123793 13 | 2812 | 7484 1766.71/1767.12 c 1763s | 20 | 3417338 | 818627 | 123793 13 | 2812 | 7484 1786.12/1786.51 c 1782s | 20 | 3417934 | 818827 | 123793 13 | 2812 | 7484 1788.11/1788.54 c 1784s | 20 | 3423956 | 820327 | 123793 13 | 2812 | 7484 1790.11/1790.58 c 1786s | 20 | 3427982 | 821527 | 123793 13 | 2812 | 7484 1799.81/1800.20 c 1796s | 20 | 3428482 | 821627 | 123793 13 | 2812 | 7484
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-4079838-1465248228/watcher-4079838-1465248228 -o /tmp/evaluation-result-4079838-1465248228/solver-4079838-1465248228 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32471 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079838-1465248228.opb pid=3155 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.14 2.21 2.18 4/179 3158 /proc/meminfo: memFree=29223044/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=701884 CPUtime=0 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 2611 0 0 0 0 0 0 0 20 0 4 0 106756371 718729216 2971 33554432000 4194304 16246674 140733643300592 140733643300016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 175983 2981 441 2943 0 172877 0 [pid=3158/tid=3159] ppid=3155 vsize=745916 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 763817984 3144 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=751036 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 769060864 3163 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=755132 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106756371 773255168 3180 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100185 s] /proc/loadavg: 2.14 2.21 2.18 4/179 3158 /proc/meminfo: memFree=29223044/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 28258 0 0 0 6 3 0 0 20 0 4 0 106756371 1249447936 28556 33554432000 4194304 16246674 140733643300592 140733643299904 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 305041 28556 801 2943 0 301935 0 [pid=3158/tid=3159] ppid=3155 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1249447936 28556 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1249447936 28556 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1249447936 28556 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200549 s] /proc/loadavg: 2.14 2.21 2.18 4/179 3158 /proc/meminfo: memFree=29223044/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 50813 0 0 0 13 6 0 0 20 0 4 0 106756371 1344868352 51622 33554432000 4194304 16246674 140733643300592 140733643299904 7377139 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 328337 51626 801 2943 0 325231 0 [pid=3158/tid=3159] ppid=3155 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1344868352 51630 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1344868352 51630 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1344868352 51630 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300482 s] /proc/loadavg: 2.14 2.21 2.18 4/179 3158 /proc/meminfo: memFree=29223044/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1314372 CPUtime=0.29 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 61879 0 0 0 21 8 0 0 20 0 4 0 106756371 1345916928 62688 33554432000 4194304 16246674 140733643300592 140733643299904 7392327 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 328593 62688 801 2943 0 325487 0 [pid=3158/tid=3159] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 62688 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 62688 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 62688 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700415 s] /proc/loadavg: 2.14 2.21 2.18 4/179 3158 /proc/meminfo: memFree=29223044/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1314372 CPUtime=0.69 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 108056 0 0 0 54 15 0 0 20 0 4 0 106756371 1345916928 108865 33554432000 4194304 16246674 140733643300592 140733643282496 5889452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 328593 108874 839 2943 0 325487 0 [pid=3158/tid=3159] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 108879 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 108884 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 108889 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50042 s] /proc/loadavg: 2.14 2.21 2.18 4/183 3162 /proc/meminfo: memFree=28704160/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1314372 CPUtime=1.49 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 129230 0 0 0 131 18 0 0 20 0 4 0 106756371 1345916928 130039 33554432000 4194304 16246674 140733643300592 140733643282496 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 328593 130039 912 2943 0 325487 0 [pid=3158/tid=3159] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 130039 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 130039 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 130039 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.10041 s] /proc/loadavg: 2.14 2.21 2.18 3/183 3162 /proc/meminfo: memFree=28703788/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1314372 CPUtime=3.09 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 203772 0 0 0 280 29 0 0 20 0 4 0 106756371 1345916928 204582 33554432000 4194304 16246674 140733643300592 140733643282496 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 328593 204587 912 2943 0 325487 0 [pid=3158/tid=3159] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 204588 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 204590 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 204591 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1314372 [startup+6.30031 s] /proc/loadavg: 2.13 2.20 2.18 3/183 3162 /proc/meminfo: memFree=28144204/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1314372 CPUtime=6.29 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 269293 0 0 0 591 38 0 0 20 0 4 0 106756371 1345916928 270102 33554432000 4194304 16246674 140733643300592 140733643282496 5513450 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 328593 270102 912 2943 0 325487 0 [pid=3158/tid=3159] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 270102 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 270102 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 270102 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1314372 [startup+12.7004 s] /proc/loadavg: 2.12 2.20 2.18 3/183 3162 /proc/meminfo: memFree=28145104/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1314372 CPUtime=12.69 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 269293 0 0 0 1231 38 0 0 20 0 4 0 106756371 1345916928 270102 33554432000 4194304 16246674 140733643300592 140733643282496 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 328593 270102 912 2943 0 325487 0 [pid=3158/tid=3159] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 270102 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 270102 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 270102 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1314372 [startup+25.5005 s] /proc/loadavg: 2.09 2.19 2.17 3/183 3162 /proc/meminfo: memFree=28145448/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1314372 CPUtime=25.49 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 269296 0 0 0 2511 38 0 0 20 0 4 0 106756371 1345916928 270105 33554432000 4194304 16246674 140733643300592 140733643282496 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 328593 270105 915 2943 0 325487 0 [pid=3158/tid=3159] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 270105 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 270105 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 270105 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1314372 [startup+51.1005 s] /proc/loadavg: 2.21 2.21 2.18 3/183 3163 /proc/meminfo: memFree=28144736/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1314372 CPUtime=51.08 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 269296 0 0 0 5070 38 0 0 20 0 4 0 106756371 1345916928 270105 33554432000 4194304 16246674 140733643300592 140733643282496 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 328593 270105 915 2943 0 325487 0 [pid=3158/tid=3159] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 270105 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 270105 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1345916928 270105 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1314372 [startup+102.3 s] /proc/loadavg: 2.28 2.22 2.18 3/183 3164 /proc/meminfo: memFree=28107336/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1351236 CPUtime=102.28 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 278512 0 0 0 10188 40 0 0 20 0 4 0 106756371 1383665664 279321 33554432000 4194304 16246674 140733643300592 140733643299768 13874759 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 337809 279321 915 2943 0 334703 0 [pid=3158/tid=3159] ppid=3155 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1383665664 279321 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1383665664 279321 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1383665664 279321 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1351236 ################ # More data... # ################ /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1438191616 292637 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 1404484 [startup+1302.3 s] /proc/loadavg: 2.34 2.23 2.18 3/183 3195 /proc/meminfo: memFree=28051344/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1404484 CPUtime=1301.99 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 292010 0 0 0 130121 78 0 0 20 0 4 0 106756371 1438191616 292637 33554432000 4194304 16246674 140733643300592 140733643299688 13198488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 351121 292637 916 2943 0 348015 0 [pid=3158/tid=3159] ppid=3155 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1438191616 292637 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1438191616 292637 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1438191616 292637 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1404484 [startup+1362.3 s] /proc/loadavg: 2.29 2.24 2.19 3/183 3196 /proc/meminfo: memFree=28051128/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1404484 CPUtime=1361.98 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 292014 0 0 0 136113 85 0 0 20 0 4 0 106756371 1438191616 292637 33554432000 4194304 16246674 140733643300592 140733643299688 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 351121 292637 916 2943 0 348015 0 [pid=3158/tid=3159] ppid=3155 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1438191616 292637 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1438191616 292637 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1438191616 292637 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 1404484 [startup+1422.3 s] /proc/loadavg: 2.32 2.26 2.19 3/183 3197 /proc/meminfo: memFree=28051360/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1404484 CPUtime=1421.98 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 292018 0 0 0 142110 88 0 0 20 0 4 0 106756371 1438191616 292637 33554432000 4194304 16246674 140733643300592 140733643282496 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 351121 292637 916 2943 0 348015 0 [pid=3158/tid=3159] ppid=3155 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1438191616 292637 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1438191616 292637 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1438191616 292637 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 1404484 [startup+1482.3 s] /proc/loadavg: 2.16 2.22 2.18 3/183 3198 /proc/meminfo: memFree=28051332/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1404484 CPUtime=1481.95 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 292027 0 0 0 148107 88 0 0 20 0 4 0 106756371 1438191616 292637 33554432000 4194304 16246674 140733643300592 140733643282496 5677720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 351121 292637 916 2943 0 348015 0 [pid=3158/tid=3159] ppid=3155 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1438191616 292637 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1438191616 292637 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1438191616 292637 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 1404484 [startup+1542.31 s] /proc/loadavg: 2.22 2.23 2.18 3/183 3199 /proc/meminfo: memFree=28038940/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1416772 CPUtime=1541.96 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 295099 0 0 0 154104 92 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140733643299688 4224552 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 354193 295709 916 2943 0 351087 0 [pid=3158/tid=3159] ppid=3155 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.96 Current children cumulated vsize (KiB) 1416772 [startup+1602.3 s] /proc/loadavg: 2.34 2.26 2.19 3/184 3204 /proc/meminfo: memFree=28038716/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1416772 CPUtime=1601.93 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 295099 0 0 0 160098 95 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140733643282496 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 354193 295709 916 2943 0 351087 0 [pid=3158/tid=3159] ppid=3155 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 1416772 [startup+1662.3 s] /proc/loadavg: 2.20 2.24 2.19 3/183 3205 /proc/meminfo: memFree=28038728/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1416772 CPUtime=1661.92 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 295099 0 0 0 166097 95 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140733643282496 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 354193 295709 916 2943 0 351087 0 [pid=3158/tid=3159] ppid=3155 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1416772 [startup+1722.3 s] /proc/loadavg: 2.27 2.25 2.19 3/183 3206 /proc/meminfo: memFree=28038620/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1416772 CPUtime=1721.92 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 295099 0 0 0 172096 96 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140733643298432 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 354193 295709 916 2943 0 351087 0 [pid=3158/tid=3159] ppid=3155 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 1416772 [startup+1782.3 s] /proc/loadavg: 2.26 2.25 2.19 3/184 3218 /proc/meminfo: memFree=28036916/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1416772 CPUtime=1781.91 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 295099 0 0 0 178090 101 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140733643298432 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 354193 295709 916 2943 0 351087 0 [pid=3158/tid=3159] ppid=3155 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1416772 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.20 2.24 2.18 3/184 3267 /proc/meminfo: memFree=28079672/32872528 swapFree=16080/1655368 [pid=3158] ppid=3155 vsize=1416772 CPUtime=1800.01 cores=1,3,5,7 /proc/3158/stat : 3158 (toysat) R 3155 3158 32454 0 -1 4202496 295099 0 0 0 179898 103 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140733643298432 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3158/statm: 354193 295709 916 2943 0 351087 0 [pid=3158/tid=3159] ppid=3155 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3159/stat : 3159 (toysat) S 3155 3158 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140406014586096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=3158/tid=3160] ppid=3155 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3160/stat : 3160 (toysat) S 3155 3158 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140406004096240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=3158/tid=3161] ppid=3155 vsize=1416772 CPUtime=0 cores=1,3,5,7 /proc/3158/task/3161/stat : 3161 (toysat) S 3155 3158 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106756371 1450774528 295709 33554432000 4194304 16246674 140733643300592 140405993622704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1416772 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 3158 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.02 CPU user time (s): 1798.99 CPU system time (s): 1.03084 CPU usage (%): 99.9785 Max. virtual memory (cumulated for all children) (KiB): 1416772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.99 system time used= 1.03084 maximum resident set size= 1182836 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 295099 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= 220 involuntary context switches= 1849 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.73228 second user time and 6.77497 second system time The end
Begin job on node122 at 2016-06-06 23:23:48 IDJOB=4079838 IDBENCH=24977 IDSOLVER=2542 FILE ID=node122/4079838-1465248228 RUNJOBID= node122-1465218907-32471 PBS_JOBID= 19843205 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_011_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079838-1465248228/watcher-4079838-1465248228 -o /tmp/evaluation-result-4079838-1465248228/solver-4079838-1465248228 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32471 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079838-1465248228.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2f74e16682a12ef5378f741d09271472 RANDOM SEED=1090234181 node122.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.898 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 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.898 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.898 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.54 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.898 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.898 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.898 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 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.898 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29223184 kB Buffers: 55256 kB Cached: 114392 kB SwapCached: 860 kB Active: 1203652 kB Inactive: 84320 kB Active(anon): 1119292 kB Inactive(anon): 1584 kB Active(file): 84360 kB Inactive(file): 82736 kB Unevictable: 1655368 kB Mlocked: 16080 kB SwapTotal: 67108856 kB SwapFree: 67099464 kB Dirty: 39164 kB Writeback: 28 kB AnonPages: 2758956 kB Mapped: 10644 kB Shmem: 0 kB Slab: 569164 kB SReclaimable: 13052 kB SUnreclaim: 556112 kB KernelStack: 1488 kB PageTables: 9940 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2920072 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1630208 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= 71708 MiB End job on node122 at 2016-06-06 23:53:49