Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.51 |
Name | /PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j605_10-unsat--soft-33-100-0.wbo |
MD5SUM | 511a250f181b5f88452d86a600065d28 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MSAT |
Best cost obtained on this benchmark | 379 |
Best CPU time to get the best result obtained on this benchmark | 1290.78 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 9638 |
Total number of constraints | 30220 |
Number of soft constraints | 20091 |
Number of constraints which are clauses | 29908 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 312 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 38 |
Top cost | 1014619 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 1014618 |
Biggest number in a constraint | 20 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 254 |
Number of bits of the biggest sum of numbers | 8 |
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-16T16:34:37+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093472-1466087677.wbo"] 0.00/0.01 c use --random-gen="3886382131 2322754951 3336288236 833639641 1288946207 3368630539 2384113523 1471815170 3701545835 3756480863 267247580 207091410 1549144385 674825484 1486635876 1637305381 255557717 2452741786 204415349 2032406141 3608102733 1563980623 2076096458 2475660511 2187549315 661060912 4067285143 4042607856 114332456 3767950481 4019000880 1859140677 2913483715 1902478682 2269413953 749255633 3297632614 4055551723 453006731 1669476365 3048297989 386906239 2573344136 2834515250 2904053992 2246660667 725603496 3739922511 2362284044 2587149878 2312290915 3483316023 1982285363 3702638505 3712317831 3488674141 751882305 482121988 884113037 3010924480 276396966 819494385 1953946479 175514897 2914420311 2985699965 1265716192 1398973189 1986696446 2219647594 1611484597 3380264478 962750809 1281367659 4079918398 3929183325 507194429 905460713 3182210877 3412300485 91727123 4151882801 1850632492 655355116 1241792092 2726576934 2569904084 3281380534 779843193 661554982 3627374637 3727969566 1953375858 1822144505 1028015525 1299246672 2604250066 2551193954 1807724324 3765215890 3594942824 4118781247 2826536539 2416914883 228751854 528662268 814760183 4253773424 1297875890 255701597 3843958517 1098303559 3704798495 2462774151 2017567139 1062162309 169077477 3189582921 3782518267 2499381137 1327069678 4131477472 1461315975 3968955662 870144944 685963467 2716084849 3304450886 946869453 935315115 4090706834 2330909000 3592966212 1136601788 2976002976 1348828437 275276669 3721969408 429906241 4204435776 2448701441 3189076227 2840558525 672592273 2114669951 3792551325 1285795821 1909326744 2536777382 3206451827 2752390867 4269584109 3858945831 2796923194 3957026430 122286364 1489424467 2505774655 4031942340 1487134661 3784196248 1491701723 4162342874 2695614009 1467496563 2325059184 2346455802 1440108193 2390761608 2432880123 1194056442 1073249300 3247301026 207790241 824479727 1671534572 4061909629 774160510 3890649025 102686237 3893339590 4222662930 243807665 2153504005 274481873 2918709610 673943279 3446923335 3236794650 756357390 3313081053 4114004833 663520890 2206327855 2075541329 2475182572 2789029274 36768516 226070711 3245451191 2693752777 516836681 2051737322 1499432400 2194301971 960479605 2956646897 2235832973 2316251716 2128830858 3905581444 616788155 1095160039 1065609385 836381663 2184700565 3241192444 2546455813 4154991366 1256255373 708360152 80441612 229013161 1753985107 108746415 3491326618 2039320736 1973475368 3142528806 259614554 2544132627 1343552287 1530751894 836689738 266521794 3366568695 3158879138 749084578 4216422695 2200354688 758581600 862430486 2282262965 743579697 3792940820 2861429209 4114215118 3993507962 1712618855 3624949992 440662881 3725551265 2373038819 2895844019 1799940912 2016337053 255 362436" option to reproduce the execution 2.59/2.60 c #vars 9638 2.59/2.60 c #constraints 30220 3.09/3.17 c BCD2: Hardening is enabled. 3.09/3.17 c BCD2: BiasedSearch is enabled. 3.09/3.17 c Solving starts ... 3.09/3.17 c ============================[ Search Statistics ]============================ 3.09/3.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.09/3.17 c | | | | Limit GC | Var | Constra 3.09/3.17 c ============================================================================= 3.09/3.18 c 0.0s | 0 | 0 | 0 | 19381 0 | 345 | 0 3.30/3.33 c 0.2s | 1 | 14657 | 100 | 19381 0 | 345 | 1040 3.40/3.41 c 0.2s | 1 | 35169 | 101 | 21320 0 | 345 | 1040 3.40/3.41 c #cpu_time = 0.219s 3.40/3.41 c #wall_clock_time = 0.219s 3.40/3.41 c #decision = 35169 3.40/3.41 c #random_decision = 132 3.40/3.41 c #conflict = 101 3.40/3.41 c #restart = 1 3.40/3.42 o 25505 3.40/3.48 c BCD2: updating upper bound: 1021356 -> 32242 3.59/3.64 c BCD2: 0 <= obj <= 32242 3.59/3.64 c BCD2: #cores=0, #unrelaxed=20021, #relaxed=0, #hardened=0 3.59/3.64 c BCD2: #sat=1 #unsat=1 bias=1/2 3.59/3.65 c Solving starts ... 3.59/3.65 c ============================[ Search Statistics ]============================ 3.59/3.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.59/3.65 c | | | | Limit GC | Var | Constra 3.59/3.65 c ============================================================================= 3.59/3.65 c 0.0s | 0 | 0 | 0 | 21320 0 | 345 | 1040 3.59/3.67 c 0.0s | 0 | 0 | 0 | 21320 0 | 345 | 1040 3.59/3.67 c #cpu_time = 0.021s 3.59/3.67 c #wall_clock_time = 0.021s 3.59/3.67 c #decision = 0 3.59/3.67 c #random_decision = 0 3.59/3.67 c #conflict = 0 3.59/3.67 c #restart = 0 3.59/3.67 c BCD2: found a new core of size 1: cost of the new core is >=6738 3.59/3.67 c lower bound updated to 0 3.59/3.68 c BCD2: 6738 <= obj <= 32242 3.59/3.68 c BCD2: #cores=1, #unrelaxed=20020, #relaxed=1, #hardened=0 3.59/3.68 c BCD2: #sat=1 #unsat=2 bias=2/3 3.59/3.68 c Solving starts ... 3.59/3.68 c ============================[ Search Statistics ]============================ 3.59/3.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.59/3.68 c | | | | Limit GC | Var | Constra 3.59/3.68 c ============================================================================= 3.59/3.68 c 0.0s | 0 | 0 | 0 | 21320 0 | 345 | 1040 3.79/3.86 c 0.2s | 1 | 20156 | 100 | 21320 0 | 345 | 1040 4.09/4.15 c 0.5s | 2 | 40386 | 250 | 23453 0 | 345 | 1040 4.50/4.58 c 0.9s | 3 | 60671 | 475 | 25799 0 | 345 | 1040 5.19/5.23 c 1.5s | 4 | 81084 | 813 | 28379 0 | 345 | 1040 6.29/6.38 c 2.7s | 5 | 101703 | 1320 | 31217 0 | 345 | 1040 8.09/8.15 c 4.5s | 6 | 122681 | 2081 | 34339 0 | 345 | 1040 10.29/10.30 c 6.6s | 6 | 143818 | 2881 | 34339 0 | 345 | 1040 10.79/10.88 c 7.2s | 7 | 144282 | 3223 | 37773 0 | 345 | 1040 13.09/13.11 c 9.4s | 7 | 165441 | 4123 | 37773 0 | 345 | 1040 15.18/15.27 c 11.6s | 7 | 166354 | 4823 | 41551 0 | 345 | 1040 15.79/15.89 c 12.2s | 8 | 166500 | 4936 | 41551 0 | 345 | 1040 17.99/18.04 c 14.4s | 8 | 187271 | 5536 | 41551 0 | 345 | 1040 20.19/20.24 c 16.6s | 8 | 188354 | 6336 | 41551 0 | 345 | 1040 22.29/22.39 c 18.7s | 8 | 189076 | 6936 | 41551 0 | 345 | 1040 24.48/24.59 c 20.9s | 9 | 189757 | 7506 | 45707 0 | 345 | 1040 26.69/26.70 c 23.0s | 9 | 210272 | 7906 | 45707 0 | 345 | 1040 28.70/28.78 c 25.1s | 9 | 210898 | 8406 | 45707 0 | 345 | 1040 30.99/31.02 c 27.3s | 9 | 212043 | 9206 | 45707 0 | 345 | 1040 33.29/33.33 c 29.6s | 9 | 212947 | 9906 | 45707 0 | 345 | 1040 35.29/35.34 c 31.7s | 9 | 213565 | 10406 | 45707 0 | 345 | 1040 37.68/37.70 c 34.0s | 9 | 214349 | 11006 | 45707 0 | 345 | 1040 39.09/39.19 c 35.5s | 10 | 214802 | 11361 | 50278 0 | 345 | 1040 41.49/41.53 c 37.8s | 10 | 235278 | 11761 | 50278 0 | 345 | 1040 43.49/43.57 c 39.9s | 10 | 236049 | 12361 | 50278 0 | 345 | 1040 45.59/45.70 c 42.0s | 10 | 236837 | 12961 | 50278 0 | 345 | 1040 47.68/47.72 c 44.0s | 10 | 237525 | 13461 | 50278 0 | 345 | 1040 49.88/49.94 c 46.3s | 10 | 238294 | 14061 | 50278 0 | 345 | 1040 52.08/52.11 c 48.4s | 10 | 238952 | 14561 | 50278 0 | 345 | 1040 54.28/54.33 c 50.6s | 10 | 239581 | 15061 | 50278 0 | 345 | 1040 56.38/56.46 c 52.8s | 10 | 240203 | 15561 | 50278 0 | 345 | 1040 58.68/58.77 c 55.1s | 10 | 240955 | 16161 | 50278 0 | 345 | 1040 60.98/61.02 c 57.3s | 10 | 241574 | 16661 | 50278 0 | 345 | 1040 62.98/63.06 c 59.4s | 11 | 242210 | 17144 | 55306 0 | 345 | 1040 65.09/65.14 c 61.5s | 11 | 262558 | 17444 | 55306 0 | 345 | 1040 67.19/67.22 c 63.5s | 11 | 263161 | 17944 | 55306 0 | 345 | 1040 69.48/69.52 c 65.8s | 11 | 263965 | 18544 | 55306 0 | 345 | 1040 71.49/71.56 c 67.9s | 11 | 264610 | 19044 | 55306 0 | 345 | 1040 73.98/74.02 c 70.3s | 11 | 265215 | 19544 | 55306 0 | 345 | 1040 76.37/76.43 c 72.7s | 11 | 265951 | 20144 | 55306 0 | 345 | 1040 78.48/78.58 c 74.9s | 11 | 266432 | 20544 | 55306 0 | 345 | 1040 80.88/80.96 c 77.3s | 11 | 267061 | 21044 | 55306 0 | 345 | 1040 83.38/83.41 c 79.7s | 11 | 267540 | 21444 | 55306 0 | 345 | 1040 85.97/86.01 c 82.3s | 11 | 268024 | 21844 | 55306 0 | 345 | 1040 88.17/88.26 c 84.6s | 11 | 268507 | 22244 | 55306 0 | 345 | 1040 90.47/90.51 c 86.8s | 11 | 269132 | 22744 | 55306 0 | 345 | 1040 92.78/92.80 c 89.1s | 11 | 269625 | 23144 | 55306 0 | 345 | 1040 95.18/95.24 c 91.6s | 11 | 270108 | 23544 | 55306 0 | 345 | 1040 97.37/97.46 c 93.8s | 11 | 270604 | 23944 | 55306 0 | 345 | 1040 99.98/100.02 c 96.3s | 11 | 271134 | 24344 | 55306 0 | 345 | 1040 101.98/102.08 c 98.4s | 11 | 271534 | 24644 | 55306 0 | 345 | 1040 104.77/104.81 c 101s | 11 | 272005 | 25044 | 55306 0 | 345 | 1040 107.47/107.50 c 103s | 11 | 272501 | 25444 | 55306 0 | 345 | 1040 108.47/108.55 c 104s | 11 | 272641 | 25549 | 55306 0 | 345 | 1040 108.47/108.55 c #cpu_time = 104.866s 108.47/108.55 c #wall_clock_time = 104.860s 108.47/108.55 c #decision = 272641 108.47/108.55 c #random_decision = 12 108.47/108.55 c #conflict = 25549 108.47/108.55 c #restart = 11 108.47/108.56 c BCD2: found a new core of size 3227: cost of the new core is >=1 108.47/108.56 c lower bound updated to 1 108.47/108.58 c BCD2: 6739 <= obj <= 32242 108.47/108.58 c BCD2: #cores=2, #unrelaxed=16793, #relaxed=3228, #hardened=0 108.47/108.58 c BCD2: #sat=1 #unsat=3 bias=3/4 108.47/108.59 c Solving starts ... 108.47/108.59 c ============================[ Search Statistics ]============================ 108.47/108.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 108.47/108.59 c | | | | Limit GC | Var | Constra 108.47/108.59 c ============================================================================= 108.47/108.59 c 0.0s | 0 | 0 | 0 | 55306 0 | 345 | 1040 109.98/110.01 c 1.4s | 1 | 20143 | 100 | 60837 0 | 345 | 1040 110.97/111.06 c 2.5s | 1 | 40274 | 102 | 60837 0 | 345 | 1040 110.97/111.06 c #cpu_time = 2.450s 110.97/111.06 c #wall_clock_time = 2.450s 110.97/111.06 c #decision = 40274 110.97/111.06 c #random_decision = 6 110.97/111.06 c #conflict = 102 110.97/111.06 c #restart = 1 110.97/111.07 o 3497 110.97/111.08 c BCD2: updating upper bound: 32242 -> 10234 111.18/111.22 c BCD2: 6739 <= obj <= 10234 111.18/111.22 c BCD2: #cores=2, #unrelaxed=16793, #relaxed=3228, #hardened=0 111.18/111.22 c BCD2: #sat=2 #unsat=3 bias=3/5 111.18/111.24 c Solving starts ... 111.18/111.24 c ============================[ Search Statistics ]============================ 111.18/111.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 111.18/111.24 c | | | | Limit GC | Var | Constra 111.18/111.24 c ============================================================================= 111.18/111.24 c 0.0s | 0 | 0 | 0 | 60837 0 | 345 | 1041 112.47/112.50 c 1.3s | 1 | 18107 | 100 | 60837 0 | 345 | 1041 115.07/115.16 c 3.9s | 1 | 35077 | 200 | 60837 0 | 345 | 1041 116.17/116.28 c 5.0s | 2 | 35128 | 250 | 60837 0 | 345 | 1041 117.97/118.00 c 6.8s | 3 | 53115 | 475 | 60837 0 | 345 | 1041 120.58/120.63 c 9.4s | 3 | 70079 | 575 | 60837 0 | 345 | 1041 125.38/125.45 c 14.2s | 3 | 70322 | 775 | 60837 0 | 345 | 1041 126.18/126.22 c 15.0s | 4 | 70378 | 813 | 60837 0 | 345 | 1041 128.78/128.85 c 17.6s | 4 | 87355 | 913 | 60837 0 | 345 | 1041 132.57/132.63 c 21.4s | 4 | 87629 | 1113 | 60837 0 | 345 | 1041 136.17/136.23 c 25.0s | 4 | 87926 | 1313 | 60837 0 | 345 | 1041 136.27/136.39 c 25.2s | 5 | 87939 | 1320 | 60837 0 | 345 | 1041 139.07/139.10 c 27.9s | 5 | 104884 | 1420 | 60837 0 | 345 | 1041 142.67/142.75 c 31.5s | 5 | 105147 | 1620 | 60837 0 | 345 | 1041 144.97/145.09 c 33.9s | 5 | 105288 | 1720 | 60837 0 | 345 | 1041 148.67/148.72 c 37.5s | 5 | 105572 | 1920 | 60837 0 | 345 | 1041 151.67/151.76 c 40.5s | 6 | 105810 | 2081 | 60837 0 | 345 | 1041 154.67/154.78 c 43.5s | 6 | 122745 | 2181 | 60837 0 | 345 | 1041 157.87/157.97 c 46.7s | 6 | 123087 | 2381 | 60837 0 | 345 | 1041 160.17/160.22 c 49.0s | 6 | 123208 | 2481 | 60837 0 | 345 | 1041 162.37/162.41 c 51.2s | 6 | 123350 | 2581 | 60837 0 | 345 | 1041 166.37/166.43 c 55.2s | 6 | 123605 | 2781 | 60837 0 | 345 | 1041 168.47/168.53 c 57.3s | 6 | 123748 | 2881 | 60837 0 | 345 | 1041 170.58/170.63 c 59.4s | 6 | 123903 | 2981 | 60837 0 | 345 | 1041 172.77/172.86 c 61.6s | 6 | 124070 | 3081 | 60837 0 | 345 | 1041 175.07/175.17 c 63.9s | 6 | 124194 | 3181 | 60837 0 | 345 | 1041 175.97/176.02 c 64.8s | 7 | 124236 | 3223 | 60837 0 | 345 | 1041 179.47/179.54 c 68.3s | 7 | 141190 | 3323 | 60837 0 | 345 | 1041 182.07/182.14 c 70.9s | 7 | 141321 | 3423 | 60837 0 | 345 | 1041 184.57/184.65 c 73.4s | 7 | 141463 | 3523 | 60837 0 | 345 | 1041 187.47/187.51 c 76.3s | 7 | 141603 | 3623 | 60837 0 | 345 | 1041 189.97/190.09 c 78.9s | 7 | 141732 | 3723 | 60837 0 | 345 | 1041 192.06/192.11 c 80.9s | 7 | 141887 | 3823 | 60837 0 | 345 | 1041 194.56/194.60 c 83.4s | 7 | 142003 | 3923 | 60837 0 | 345 | 1041 197.06/197.18 c 85.9s | 7 | 142130 | 4023 | 60837 0 | 345 | 1041 200.17/200.30 c 89.1s | 7 | 142277 | 4123 | 60837 0 | 345 | 1041 203.16/203.21 c 92.0s | 7 | 142397 | 4223 | 60837 0 | 345 | 1041 205.96/206.08 c 94.8s | 7 | 142542 | 4323 | 60837 0 | 345 | 1041 208.76/208.80 c 97.6s | 7 | 142680 | 4423 | 60837 0 | 345 | 1041 211.86/211.93 c 100s | 7 | 142791 | 4523 | 60837 0 | 345 | 1041 214.36/214.48 c 103s | 7 | 142940 | 4623 | 60837 0 | 345 | 1041 217.26/217.34 c 106s | 7 | 143076 | 4723 | 60837 0 | 345 | 1041 220.26/220.31 c 109s | 7 | 143202 | 4823 | 60837 0 | 345 | 1041 222.46/222.53 c 111s | 7 | 143332 | 4923 | 60837 0 | 345 | 1041 222.76/222.88 c 111s | 8 | 143357 | 4936 | 60837 0 | 345 | 1041 226.26/226.38 c 115s | 8 | 160329 | 5036 | 60837 0 | 345 | 1041 229.46/229.59 c 118s | 8 | 160478 | 5136 | 60837 0 | 345 | 1041 232.76/232.89 c 121s | 8 | 160611 | 5236 | 60837 0 | 345 | 1041 238.56/238.70 c 127s | 8 | 160737 | 5336 | 60837 0 | 345 | 1041 241.16/241.24 c 130s | 8 | 160938 | 5436 | 60837 0 | 345 | 1041 244.65/244.73 c 133s | 8 | 161084 | 5536 | 60837 0 | 345 | 1041 246.75/246.85 c 135s | 8 | 161220 | 5636 | 60837 0 | 345 | 1041 249.55/249.69 c 138s | 8 | 161352 | 5736 | 60837 0 | 345 | 1041 252.55/252.66 c 141s | 8 | 161491 | 5836 | 60837 0 | 345 | 1041 255.45/255.50 c 144s | 8 | 161624 | 5936 | 60837 0 | 345 | 1041 259.05/259.18 c 147s | 8 | 161754 | 6036 | 60837 0 | 345 | 1041 263.65/263.74 c 152s | 8 | 161868 | 6136 | 60837 0 | 345 | 1041 267.15/267.21 c 155s | 8 | 162000 | 6236 | 60837 0 | 345 | 1041 271.85/271.90 c 160s | 8 | 162137 | 6336 | 60837 0 | 345 | 1041 274.15/274.29 c 163s | 8 | 162267 | 6436 | 60837 0 | 345 | 1041 278.95/279.05 c 167s | 8 | 162394 | 6536 | 60837 0 | 345 | 1041 284.45/284.50 c 173s | 8 | 162507 | 6636 | 60837 0 | 345 | 1041 287.95/288.06 c 176s | 8 | 162641 | 6736 | 60837 0 | 345 | 1041 291.65/291.74 c 180s | 8 | 162765 | 6836 | 60837 0 | 345 | 1041 294.75/294.82 c 183s | 8 | 162910 | 6936 | 60837 0 | 345 | 1041 297.05/297.14 c 185s | 8 | 163040 | 7036 | 60837 0 | 345 | 1041 299.65/299.76 c 188s | 8 | 163223 | 7136 | 60837 0 | 345 | 1041 302.35/302.40 c 191s | 8 | 163371 | 7236 | 60837 0 | 345 | 1041 304.45/304.59 c 193s | 8 | 163538 | 7336 | 60837 0 | 345 | 1041 306.85/306.91 c 195s | 8 | 163711 | 7436 | 60837 0 | 345 | 1041 308.45/308.59 c 197s | 9 | 163787 | 7506 | 60837 0 | 345 | 1041 312.04/312.15 c 200s | 9 | 180739 | 7606 | 60837 0 | 345 | 1041 314.44/314.53 c 203s | 9 | 180858 | 7706 | 60837 0 | 345 | 1041 316.44/316.55 c 205s | 9 | 180973 | 7806 | 60837 0 | 345 | 1041 318.74/318.88 c 207s | 9 | 181109 | 7906 | 60837 0 | 345 | 1041 321.04/321.15 c 209s | 9 | 181241 | 8006 | 60837 0 | 345 | 1041 323.64/323.78 c 212s | 9 | 181357 | 8106 | 60837 0 | 345 | 1041 326.84/326.91 c 215s | 9 | 181490 | 8206 | 60837 0 | 345 | 1041 329.04/329.12 c 217s | 9 | 181621 | 8306 | 60837 0 | 345 | 1041 331.74/331.87 c 220s | 9 | 181729 | 8406 | 60837 0 | 345 | 1041 334.45/334.54 c 223s | 9 | 181857 | 8506 | 60837 0 | 345 | 1041 336.55/336.66 c 225s | 9 | 181998 | 8606 | 60837 0 | 345 | 1041 339.24/339.33 c 228s | 9 | 182129 | 8706 | 60837 0 | 345 | 1041 342.15/342.28 c 231s | 9 | 182285 | 8806 | 60837 0 | 345 | 1041 344.54/344.64 c 233s | 9 | 182413 | 8906 | 60837 0 | 345 | 1041 347.54/347.65 c 236s | 9 | 182573 | 9006 | 60837 0 | 345 | 1041 350.24/350.31 c 239s | 9 | 182729 | 9106 | 60837 0 | 345 | 1041 353.44/353.58 c 242s | 9 | 182866 | 9206 | 60837 0 | 345 | 1041 356.34/356.49 c 245s | 9 | 182997 | 9306 | 60837 0 | 345 | 1041 358.44/358.54 c 247s | 9 | 183168 | 9406 | 60837 0 | 345 | 1041 361.34/361.43 c 250s | 9 | 183299 | 9506 | 60837 0 | 345 | 1041 363.74/363.83 c 252s | 9 | 183437 | 9606 | 60837 0 | 345 | 1041 366.54/366.68 c 255s | 9 | 183565 | 9706 | 60837 0 | 345 | 1041 370.74/370.83 c 259s | 9 | 183691 | 9806 | 60837 0 | 345 | 1041 374.33/374.48 c 263s | 9 | 183829 | 9906 | 60837 0 | 345 | 1041 379.03/379.12 c 267s | 9 | 183947 | 10006 | 60837 0 | 345 | 1041 383.43/383.58 c 272s | 9 | 184057 | 10106 | 60837 0 | 345 | 1041 387.24/387.37 c 276s | 9 | 184189 | 10206 | 60837 0 | 345 | 1041 390.63/390.71 c 279s | 9 | 184320 | 10306 | 60837 0 | 345 | 1041 393.93/394.01 c 282s | 9 | 184445 | 10406 | 60837 0 | 345 | 1041 396.83/396.97 c 285s | 9 | 184566 | 10506 | 60837 0 | 345 | 1041 400.53/400.62 c 289s | 9 | 184738 | 10606 | 60837 0 | 345 | 1041 402.93/403.09 c 291s | 9 | 184930 | 10706 | 60837 0 | 345 | 1041 405.84/405.99 c 294s | 9 | 185092 | 10806 | 60837 0 | 345 | 1041 409.43/409.59 c 298s | 9 | 185232 | 10906 | 60837 0 | 345 | 1041 412.83/412.99 c 301s | 9 | 185342 | 11006 | 60837 0 | 345 | 1041 416.73/416.83 c 305s | 9 | 185458 | 11106 | 60837 0 | 345 | 1041 419.33/419.47 c 308s | 9 | 185605 | 11206 | 60837 0 | 345 | 1041 422.93/423.01 c 311s | 9 | 185720 | 11306 | 60837 0 | 345 | 1041 424.93/425.01 c 313s | 10 | 185794 | 11361 | 60837 0 | 345 | 1041 428.82/428.97 c 317s | 10 | 202739 | 11461 | 60837 0 | 345 | 1041 431.23/431.34 c 320s | 10 | 202882 | 11561 | 60837 0 | 345 | 1041 433.82/433.91 c 322s | 10 | 203033 | 11661 | 60837 0 | 345 | 1041 436.12/436.24 c 325s | 10 | 203193 | 11761 | 60837 0 | 345 | 1041 438.93/439.01 c 327s | 10 | 203339 | 11861 | 60837 0 | 345 | 1041 441.82/441.95 c 330s | 10 | 203475 | 11961 | 60837 0 | 345 | 1041 445.72/445.84 c 334s | 10 | 203635 | 12061 | 60837 0 | 345 | 1041 450.32/450.49 c 339s | 10 | 203771 | 12161 | 60837 0 | 345 | 1041 453.62/453.78 c 342s | 10 | 203888 | 12261 | 60837 0 | 345 | 1041 456.61/456.73 c 345s | 10 | 204036 | 12361 | 60837 0 | 345 | 1041 459.01/459.17 c 347s | 10 | 204148 | 12461 | 60837 0 | 345 | 1041 462.11/462.22 c 350s | 10 | 204306 | 12561 | 60837 0 | 345 | 1041 465.61/465.79 c 354s | 10 | 204417 | 12661 | 60837 0 | 345 | 1041 469.11/469.22 c 357s | 10 | 204553 | 12761 | 60837 0 | 345 | 1041 473.41/473.57 c 362s | 10 | 204679 | 12861 | 66921 0 | 345 | 1041 477.70/477.89 c 366s | 10 | 204814 | 12961 | 66921 0 | 345 | 1041 482.20/482.34 c 371s | 10 | 204925 | 13061 | 66921 0 | 345 | 1041 485.90/486.00 c 374s | 10 | 205052 | 13161 | 66921 0 | 345 | 1041 489.20/489.33 c 378s | 10 | 205173 | 13261 | 66921 0 | 345 | 1041 491.71/491.81 c 380s | 10 | 205316 | 13361 | 66921 0 | 345 | 1041 494.80/494.97 c 383s | 10 | 205439 | 13461 | 66921 0 | 345 | 1041 498.20/498.32 c 387s | 10 | 205552 | 13561 | 66921 0 | 345 | 1041 501.00/501.11 c 389s | 10 | 205694 | 13661 | 66921 0 | 345 | 1041 504.60/504.76 c 393s | 10 | 205807 | 13761 | 66921 0 | 345 | 1041 507.89/508.07 c 396s | 10 | 205920 | 13861 | 66921 0 | 345 | 1041 511.29/511.44 c 400s | 10 | 206038 | 13961 | 66921 0 | 345 | 1041 515.29/515.41 c 404s | 10 | 206166 | 14061 | 66921 0 | 345 | 1041 519.49/519.60 c 408s | 10 | 206301 | 14161 | 66921 0 | 345 | 1041 523.09/523.26 c 412s | 10 | 206426 | 14261 | 66921 0 | 345 | 1041 527.48/527.67 c 416s | 10 | 206557 | 14361 | 66921 0 | 345 | 1041 531.88/532.10 c 420s | 10 | 206677 | 14461 | 66921 0 | 345 | 1041 535.98/536.10 c 424s | 10 | 206828 | 14561 | 66921 0 | 345 | 1041 540.48/540.61 c 429s | 10 | 206967 | 14661 | 66921 0 | 345 | 1041 544.28/544.40 c 433s | 10 | 207099 | 14761 | 66921 0 | 345 | 1041 548.17/548.35 c 437s | 10 | 207230 | 14861 | 66921 0 | 345 | 1041 553.07/553.25 c 442s | 10 | 207361 | 14961 | 66921 0 | 345 | 1041 557.57/557.79 c 446s | 10 | 207500 | 15061 | 66921 0 | 345 | 1041 561.56/561.73 c 450s | 10 | 207626 | 15161 | 66921 0 | 345 | 1041 565.06/565.28 c 454s | 10 | 207753 | 15261 | 66921 0 | 345 | 1041 569.06/569.20 c 457s | 10 | 207880 | 15361 | 66921 0 | 345 | 1041 572.96/573.12 c 461s | 10 | 207998 | 15461 | 66921 0 | 345 | 1041 576.26/576.49 c 465s | 10 | 208115 | 15561 | 66921 0 | 345 | 1041 580.05/580.22 c 468s | 10 | 208253 | 15661 | 66921 0 | 345 | 1041 583.15/583.34 c 472s | 10 | 208401 | 15761 | 66921 0 | 345 | 1041 586.74/586.98 c 475s | 10 | 208527 | 15861 | 66921 0 | 345 | 1041 590.14/590.33 c 479s | 10 | 208657 | 15961 | 66921 0 | 345 | 1041 593.34/593.53 c 482s | 10 | 208784 | 16061 | 66921 0 | 345 | 1041 596.34/596.58 c 485s | 10 | 208911 | 16161 | 66921 0 | 345 | 1041 599.34/599.60 c 488s | 10 | 209022 | 16261 | 66921 0 | 345 | 1041 601.94/602.15 c 490s | 10 | 209243 | 16361 | 66921 0 | 345 | 1041 605.84/606.05 c 494s | 10 | 209368 | 16461 | 66921 0 | 345 | 1041 608.93/609.16 c 497s | 10 | 209500 | 16561 | 66921 0 | 345 | 1041 612.33/612.51 c 501s | 10 | 209647 | 16661 | 66921 0 | 345 | 1041 616.53/616.71 c 505s | 10 | 209770 | 16761 | 66921 0 | 345 | 1041 620.33/620.57 c 509s | 10 | 209882 | 16861 | 66921 0 | 345 | 1041 623.82/624.04 c 512s | 10 | 210023 | 16961 | 66921 0 | 345 | 1041 626.22/626.46 c 515s | 10 | 210158 | 17061 | 66921 0 | 345 | 1041 630.02/630.24 c 519s | 11 | 210261 | 17144 | 66921 0 | 345 | 1041 634.31/634.53 c 523s | 11 | 227218 | 17244 | 66921 0 | 345 | 1041 637.11/637.35 c 526s | 11 | 227348 | 17344 | 66921 0 | 345 | 1041 640.12/640.32 c 529s | 11 | 227494 | 17444 | 66921 0 | 345 | 1041 642.81/643.01 c 531s | 11 | 227642 | 17544 | 66921 0 | 345 | 1041 645.41/645.63 c 534s | 11 | 227785 | 17644 | 66921 0 | 345 | 1041 648.81/649.00 c 537s | 11 | 227909 | 17744 | 66921 0 | 345 | 1041 652.70/652.93 c 541s | 11 | 228045 | 17844 | 66921 0 | 345 | 1041 656.20/656.43 c 545s | 11 | 228176 | 17944 | 66921 0 | 345 | 1041 660.00/660.27 c 549s | 11 | 228284 | 18044 | 66921 0 | 345 | 1041 663.20/663.45 c 552s | 11 | 228418 | 18144 | 66921 0 | 345 | 1041 667.60/667.86 c 556s | 11 | 228555 | 18244 | 66921 0 | 345 | 1041 670.99/671.20 c 559s | 11 | 228686 | 18344 | 66921 0 | 345 | 1041 674.19/674.44 c 563s | 11 | 228799 | 18444 | 66921 0 | 345 | 1041 678.49/678.72 c 567s | 11 | 228928 | 18544 | 66921 0 | 345 | 1041 682.28/682.59 c 571s | 11 | 229042 | 18644 | 66921 0 | 345 | 1041 685.98/686.29 c 575s | 11 | 229176 | 18744 | 66921 0 | 345 | 1041 689.08/689.30 c 578s | 11 | 229311 | 18844 | 66921 0 | 345 | 1041 693.07/693.32 c 582s | 11 | 229435 | 18944 | 66921 0 | 345 | 1041 696.18/696.49 c 585s | 11 | 229573 | 19044 | 66921 0 | 345 | 1041 700.37/700.62 c 589s | 11 | 229684 | 19144 | 66921 0 | 345 | 1041 703.57/703.81 c 592s | 11 | 229808 | 19244 | 66921 0 | 345 | 1041 706.86/707.19 c 595s | 11 | 229940 | 19344 | 66921 0 | 345 | 1041 710.96/711.25 c 600s | 11 | 230068 | 19444 | 66921 0 | 345 | 1041 714.87/715.14 c 603s | 11 | 230183 | 19544 | 66921 0 | 345 | 1041 718.86/719.19 c 607s | 11 | 230309 | 19644 | 66921 0 | 345 | 1041 723.16/723.42 c 612s | 11 | 230433 | 19744 | 66921 0 | 345 | 1041 726.86/727.16 c 615s | 11 | 230561 | 19844 | 66921 0 | 345 | 1041 730.45/730.79 c 619s | 11 | 230692 | 19944 | 66921 0 | 345 | 1041 733.75/734.02 c 622s | 11 | 230809 | 20044 | 66921 0 | 345 | 1041 737.15/737.49 c 626s | 11 | 230919 | 20144 | 66921 0 | 345 | 1041 740.75/741.06 c 629s | 11 | 231056 | 20244 | 66921 0 | 345 | 1041 743.15/743.41 c 632s | 11 | 231189 | 20344 | 66921 0 | 345 | 1041 745.75/746.01 c 634s | 11 | 231319 | 20444 | 66921 0 | 345 | 1041 751.54/751.81 c 640s | 11 | 231442 | 20544 | 66921 0 | 345 | 1041 756.55/756.85 c 645s | 11 | 231568 | 20644 | 66921 0 | 345 | 1041 760.84/761.20 c 649s | 11 | 231707 | 20744 | 66921 0 | 345 | 1041 764.74/765.02 c 653s | 11 | 231830 | 20844 | 66921 0 | 345 | 1041 768.54/768.84 c 657s | 11 | 231933 | 20944 | 66921 0 | 345 | 1041 772.44/772.77 c 661s | 11 | 232054 | 21044 | 66921 0 | 345 | 1041 776.94/777.22 c 665s | 11 | 232163 | 21144 | 66921 0 | 345 | 1041 780.44/780.77 c 669s | 11 | 232285 | 21244 | 66921 0 | 345 | 1041 783.05/783.37 c 672s | 11 | 232435 | 21344 | 66921 0 | 345 | 1041 786.14/786.43 c 675s | 11 | 232587 | 21444 | 66921 0 | 345 | 1041 789.24/789.58 c 678s | 11 | 232733 | 21544 | 66921 0 | 345 | 1041 792.64/792.92 c 681s | 11 | 232845 | 21644 | 66921 0 | 345 | 1041 795.94/796.20 c 684s | 11 | 233002 | 21744 | 66921 0 | 345 | 1041 799.34/799.66 c 688s | 11 | 233159 | 21844 | 66921 0 | 345 | 1041 803.33/803.66 c 692s | 11 | 233261 | 21944 | 66921 0 | 345 | 1041 807.24/807.56 c 696s | 11 | 233370 | 22044 | 66921 0 | 345 | 1041 810.73/811.06 c 699s | 11 | 233483 | 22144 | 66921 0 | 345 | 1041 814.13/814.47 c 703s | 11 | 233600 | 22244 | 66921 0 | 345 | 1041 818.03/818.37 c 707s | 11 | 233708 | 22344 | 66921 0 | 345 | 1041 822.33/822.66 c 711s | 11 | 233829 | 22444 | 66921 0 | 345 | 1041 826.63/826.92 c 715s | 11 | 233969 | 22544 | 66921 0 | 345 | 1041 830.13/830.44 c 719s | 11 | 234074 | 22644 | 66921 0 | 345 | 1041 834.03/834.35 c 723s | 11 | 234186 | 22744 | 66921 0 | 345 | 1041 838.13/838.41 c 727s | 11 | 234304 | 22844 | 66921 0 | 345 | 1041 843.73/844.03 c 732s | 11 | 234434 | 22944 | 66921 0 | 345 | 1041 847.94/848.22 c 736s | 11 | 234555 | 23044 | 66921 0 | 345 | 1041 852.63/852.92 c 741s | 11 | 234684 | 23144 | 66921 0 | 345 | 1041 856.23/856.58 c 745s | 11 | 234800 | 23244 | 66921 0 | 345 | 1041 860.73/861.05 c 749s | 11 | 234920 | 23344 | 66921 0 | 345 | 1041 864.93/865.23 c 753s | 11 | 235035 | 23444 | 66921 0 | 345 | 1041 868.73/869.08 c 757s | 11 | 235169 | 23544 | 66921 0 | 345 | 1041 874.12/874.43 c 763s | 11 | 235318 | 23644 | 66921 0 | 345 | 1041 878.83/879.13 c 767s | 11 | 235444 | 23744 | 66921 0 | 345 | 1041 884.14/884.50 c 773s | 11 | 235579 | 23844 | 66921 0 | 345 | 1041 889.43/889.73 c 778s | 11 | 235690 | 23944 | 66921 0 | 345 | 1041 895.63/895.99 c 784s | 11 | 235816 | 24044 | 66921 0 | 345 | 1041 900.83/901.16 c 789s | 11 | 235955 | 24144 | 66921 0 | 345 | 1041 904.63/904.90 c 793s | 11 | 236088 | 24244 | 66921 0 | 345 | 1041 908.63/908.96 c 797s | 11 | 236216 | 24344 | 66921 0 | 345 | 1041 913.93/914.26 c 803s | 11 | 236333 | 24444 | 66921 0 | 345 | 1041 919.43/919.78 c 808s | 11 | 236453 | 24544 | 66921 0 | 345 | 1041 924.03/924.32 c 813s | 11 | 236581 | 24644 | 66921 0 | 345 | 1041 928.13/928.44 c 817s | 11 | 236709 | 24744 | 66921 0 | 345 | 1041 933.42/933.70 c 822s | 11 | 236827 | 24844 | 66921 0 | 345 | 1041 937.62/937.96 c 826s | 11 | 236938 | 24944 | 66921 0 | 345 | 1041 942.22/942.54 c 831s | 11 | 237055 | 25044 | 66921 0 | 345 | 1041 946.72/947.02 c 835s | 11 | 237183 | 25144 | 66921 0 | 345 | 1041 950.23/950.51 c 839s | 11 | 237316 | 25244 | 66921 0 | 345 | 1041 953.22/953.57 c 842s | 11 | 237441 | 25344 | 66921 0 | 345 | 1041 956.32/956.68 c 845s | 11 | 237580 | 25444 | 66921 0 | 345 | 1041 959.92/960.22 c 848s | 11 | 237718 | 25544 | 66921 0 | 345 | 1041 964.12/964.50 c 853s | 11 | 237833 | 25644 | 66921 0 | 345 | 1041 967.52/967.89 c 856s | 11 | 237963 | 25744 | 66921 0 | 345 | 1041 970.12/970.49 c 859s | 12 | 238046 | 25819 | 66921 0 | 345 | 1041 975.02/975.38 c 864s | 12 | 254994 | 25919 | 66921 0 | 345 | 1041 978.02/978.36 c 867s | 12 | 255147 | 26019 | 66921 0 | 345 | 1041 983.41/983.70 c 872s | 12 | 255273 | 26119 | 66921 0 | 345 | 1041 986.52/986.81 c 875s | 12 | 255445 | 26219 | 66921 0 | 345 | 1041 989.61/989.92 c 878s | 12 | 255570 | 26319 | 66921 0 | 345 | 1041 993.81/994.18 c 882s | 12 | 255692 | 26419 | 66921 0 | 345 | 1041 997.42/997.73 c 886s | 12 | 255821 | 26519 | 66921 0 | 345 | 1041 1002.01/1002.32 c 891s | 12 | 255961 | 26619 | 66921 0 | 345 | 1041 1005.81/1006.18 c 894s | 12 | 256076 | 26719 | 66921 0 | 345 | 1041 1010.41/1010.77 c 899s | 12 | 256200 | 26819 | 66921 0 | 345 | 1041 1013.81/1014.16 c 902s | 12 | 256344 | 26919 | 66921 0 | 345 | 1041 1017.91/1018.20 c 906s | 12 | 256468 | 27019 | 66921 0 | 345 | 1041 1021.31/1021.67 c 910s | 12 | 256598 | 27119 | 66921 0 | 345 | 1041 1024.61/1024.95 c 913s | 12 | 256720 | 27219 | 66921 0 | 345 | 1041 1028.51/1028.80 c 917s | 12 | 256849 | 27319 | 66921 0 | 345 | 1041 1032.51/1032.88 c 921s | 12 | 256962 | 27419 | 66921 0 | 345 | 1041 1036.71/1037.01 c 925s | 12 | 257101 | 27519 | 66921 0 | 345 | 1041 1040.11/1040.44 c 929s | 12 | 257232 | 27619 | 66921 0 | 345 | 1041 1044.31/1044.64 c 933s | 12 | 257338 | 27719 | 66921 0 | 345 | 1041 1047.01/1047.39 c 936s | 12 | 257501 | 27819 | 66921 0 | 345 | 1041 1051.41/1051.74 c 940s | 12 | 257626 | 27919 | 66921 0 | 345 | 1041 1057.40/1057.78 c 946s | 12 | 257769 | 28019 | 66921 0 | 345 | 1041 1061.00/1061.37 c 950s | 12 | 257902 | 28119 | 66921 0 | 345 | 1041 1064.30/1064.66 c 953s | 12 | 258037 | 28219 | 66921 0 | 345 | 1041 1068.20/1068.56 c 957s | 12 | 258144 | 28319 | 66921 0 | 345 | 1041 1071.00/1071.37 c 960s | 12 | 258266 | 28419 | 66921 0 | 345 | 1041 1074.00/1074.33 c 963s | 12 | 258372 | 28519 | 66921 0 | 345 | 1041 1076.71/1077.06 c 965s | 12 | 258494 | 28619 | 66921 0 | 345 | 1041 1078.91/1079.29 c 968s | 12 | 258668 | 28719 | 66921 0 | 345 | 1041 1082.00/1082.30 c 971s | 12 | 258787 | 28819 | 66921 0 | 345 | 1041 1085.20/1085.53 c 974s | 12 | 258931 | 28919 | 66921 0 | 345 | 1041 1089.20/1089.56 c 978s | 12 | 259050 | 29019 | 66921 0 | 345 | 1041 1092.30/1092.67 c 981s | 12 | 259168 | 29119 | 66921 0 | 345 | 1041 1096.30/1096.63 c 985s | 12 | 259303 | 29219 | 66921 0 | 345 | 1041 1099.20/1099.51 c 988s | 12 | 259412 | 29319 | 66921 0 | 345 | 1041 1101.70/1102.05 c 990s | 12 | 259585 | 29419 | 66921 0 | 345 | 1041 1105.90/1106.27 c 995s | 12 | 259704 | 29519 | 66921 0 | 345 | 1041 1110.10/1110.46 c 999s | 12 | 259839 | 29619 | 66921 0 | 345 | 1041 1117.49/1117.82 c 1006s | 12 | 259956 | 29719 | 66921 0 | 345 | 1041 1121.19/1121.58 c 1010s | 12 | 260072 | 29819 | 66921 0 | 345 | 1041 1125.00/1125.40 c 1014s | 12 | 260182 | 29919 | 66921 0 | 345 | 1041 1128.99/1129.37 c 1018s | 12 | 260312 | 30019 | 66921 0 | 345 | 1041 1132.49/1132.81 c 1021s | 12 | 260432 | 30119 | 66921 0 | 345 | 1041 1136.79/1137.14 c 1025s | 12 | 260565 | 30219 | 66921 0 | 345 | 1041 1140.09/1140.47 c 1029s | 12 | 260672 | 30319 | 66921 0 | 345 | 1041 1143.89/1144.27 c 1033s | 12 | 260824 | 30419 | 66921 0 | 345 | 1041 1147.89/1148.21 c 1036s | 12 | 260954 | 30519 | 66921 0 | 345 | 1041 1152.09/1152.46 c 1041s | 12 | 261089 | 30619 | 66921 0 | 345 | 1041 1154.99/1155.30 c 1044s | 12 | 261246 | 30719 | 66921 0 | 345 | 1041 1158.79/1159.17 c 1047s | 12 | 261364 | 30819 | 66921 0 | 345 | 1041 1161.89/1162.22 c 1050s | 12 | 261506 | 30919 | 66921 0 | 345 | 1041 1165.39/1165.77 c 1054s | 12 | 261655 | 31019 | 66921 0 | 345 | 1041 1168.09/1168.47 c 1057s | 12 | 261804 | 31119 | 66921 0 | 345 | 1041 1172.58/1172.90 c 1061s | 12 | 261949 | 31219 | 66921 0 | 345 | 1041 1177.48/1177.82 c 1066s | 12 | 262089 | 31319 | 66921 0 | 345 | 1041 1180.68/1181.02 c 1069s | 12 | 262222 | 31419 | 66921 0 | 345 | 1041 1183.98/1184.38 c 1073s | 12 | 262359 | 31519 | 66921 0 | 345 | 1041 1187.69/1188.09 c 1076s | 12 | 262480 | 31619 | 66921 0 | 345 | 1041 1191.18/1191.52 c 1080s | 12 | 262618 | 31719 | 66921 0 | 345 | 1041 1195.18/1195.59 c 1084s | 12 | 262742 | 31819 | 66921 0 | 345 | 1041 1198.58/1198.90 c 1087s | 12 | 262856 | 31919 | 66921 0 | 345 | 1041 1201.99/1202.32 c 1091s | 12 | 262997 | 32019 | 66921 0 | 345 | 1041 1205.78/1206.18 c 1094s | 12 | 263100 | 32119 | 66921 0 | 345 | 1041 1209.08/1209.49 c 1098s | 12 | 263233 | 32219 | 73614 0 | 345 | 1041 1212.28/1212.68 c 1101s | 12 | 263369 | 32319 | 73614 0 | 345 | 1041 1215.98/1216.33 c 1105s | 12 | 263520 | 32419 | 73614 0 | 345 | 1041 1219.68/1220.05 c 1108s | 12 | 263625 | 32519 | 73614 0 | 345 | 1041 1222.98/1223.35 c 1112s | 12 | 263755 | 32619 | 73614 0 | 345 | 1041 1227.08/1227.47 c 1116s | 12 | 263899 | 32719 | 73614 0 | 345 | 1041 1234.68/1235.04 c 1123s | 12 | 264021 | 32819 | 73614 0 | 345 | 1041 1239.38/1239.73 c 1128s | 12 | 264156 | 32919 | 73614 0 | 345 | 1041 1243.78/1244.12 c 1132s | 12 | 264292 | 33019 | 73614 0 | 345 | 1041 1248.28/1248.65 c 1137s | 12 | 264421 | 33119 | 73614 0 | 345 | 1041 1253.37/1253.78 c 1142s | 12 | 264573 | 33219 | 73614 0 | 345 | 1041 1257.77/1258.16 c 1146s | 12 | 264721 | 33319 | 73614 0 | 345 | 1041 1262.37/1262.71 c 1151s | 12 | 264854 | 33419 | 73614 0 | 345 | 1041 1266.88/1267.22 c 1155s | 12 | 264986 | 33519 | 73614 0 | 345 | 1041 1271.38/1271.76 c 1160s | 12 | 265114 | 33619 | 73614 0 | 345 | 1041 1275.17/1275.50 c 1164s | 12 | 265248 | 33719 | 73614 0 | 345 | 1041 1278.67/1279.08 c 1167s | 12 | 265393 | 33819 | 73614 0 | 345 | 1041 1283.07/1283.48 c 1172s | 12 | 265525 | 33919 | 73614 0 | 345 | 1041 1287.67/1288.06 c 1176s | 12 | 265649 | 34019 | 73614 0 | 345 | 1041 1291.27/1291.61 c 1180s | 12 | 265779 | 34119 | 73614 0 | 345 | 1041 1295.17/1295.53 c 1184s | 12 | 265898 | 34219 | 73614 0 | 345 | 1041 1299.26/1299.66 c 1188s | 12 | 266057 | 34319 | 73614 0 | 345 | 1041 1304.56/1304.93 c 1193s | 12 | 266173 | 34419 | 73614 0 | 345 | 1041 1308.77/1309.19 c 1197s | 12 | 266329 | 34519 | 73614 0 | 345 | 1041 1313.76/1314.14 c 1202s | 12 | 266469 | 34619 | 73614 0 | 345 | 1041 1320.06/1320.45 c 1209s | 12 | 266590 | 34719 | 73614 0 | 345 | 1041 1324.86/1325.23 c 1213s | 12 | 266712 | 34819 | 73614 0 | 345 | 1041 1330.86/1331.24 c 1220s | 12 | 266859 | 34919 | 73614 0 | 345 | 1041 1335.06/1335.45 c 1224s | 12 | 266978 | 35019 | 73614 0 | 345 | 1041 1338.56/1338.97 c 1227s | 12 | 267110 | 35119 | 73614 0 | 345 | 1041 1342.16/1342.55 c 1231s | 12 | 267238 | 35219 | 73614 0 | 345 | 1041 1347.56/1347.92 c 1236s | 12 | 267413 | 35319 | 73614 0 | 345 | 1041 1352.96/1353.37 c 1242s | 12 | 267517 | 35419 | 73614 0 | 345 | 1041 1357.75/1358.10 c 1246s | 12 | 267655 | 35519 | 73614 0 | 345 | 1041 1362.75/1363.13 c 1251s | 12 | 267790 | 35619 | 73614 0 | 345 | 1041 1368.55/1368.91 c 1257s | 12 | 267932 | 35719 | 73614 0 | 345 | 1041 1373.25/1373.63 c 1262s | 12 | 268046 | 35819 | 73614 0 | 345 | 1041 1376.86/1377.22 c 1265s | 12 | 268171 | 35919 | 73614 0 | 345 | 1041 1380.55/1380.97 c 1269s | 12 | 268287 | 36019 | 73614 0 | 345 | 1041 1383.46/1383.83 c 1272s | 12 | 268429 | 36119 | 73614 0 | 345 | 1041 1385.95/1386.32 c 1275s | 12 | 268561 | 36219 | 73614 0 | 345 | 1041 1389.25/1389.64 c 1278s | 12 | 268704 | 36319 | 73614 0 | 345 | 1041 1396.55/1396.97 c 1285s | 12 | 268824 | 36419 | 73614 0 | 345 | 1041 1399.95/1400.39 c 1289s | 12 | 268945 | 36519 | 73614 0 | 345 | 1041 1403.75/1404.14 c 1292s | 12 | 269066 | 36619 | 73614 0 | 345 | 1041 1406.45/1406.85 c 1295s | 12 | 269224 | 36719 | 73614 0 | 345 | 1041 1409.05/1409.50 c 1298s | 12 | 269384 | 36819 | 73614 0 | 345 | 1041 1411.75/1412.13 c 1300s | 12 | 269509 | 36919 | 73614 0 | 345 | 1041 1415.94/1416.31 c 1305s | 12 | 269625 | 37019 | 73614 0 | 345 | 1041 1419.75/1420.18 c 1308s | 12 | 269746 | 37119 | 73614 0 | 345 | 1041 1424.54/1424.94 c 1313s | 12 | 269866 | 37219 | 73614 0 | 345 | 1041 1429.24/1429.63 c 1318s | 12 | 269990 | 37319 | 73614 0 | 345 | 1041 1434.05/1434.48 c 1323s | 12 | 270125 | 37419 | 73614 0 | 345 | 1041 1436.84/1437.24 c 1325s | 12 | 270248 | 37519 | 73614 0 | 345 | 1041 1439.55/1439.94 c 1328s | 12 | 270365 | 37619 | 73614 0 | 345 | 1041 1444.05/1444.49 c 1333s | 12 | 270498 | 37719 | 73614 0 | 345 | 1041 1449.55/1449.99 c 1338s | 12 | 270623 | 37819 | 73614 0 | 345 | 1041 1453.14/1453.55 c 1342s | 12 | 270750 | 37919 | 73614 0 | 345 | 1041 1458.24/1458.64 c 1347s | 12 | 270862 | 38019 | 73614 0 | 345 | 1041 1462.44/1462.80 c 1351s | 12 | 270999 | 38119 | 73614 0 | 345 | 1041 1467.83/1468.27 c 1357s | 12 | 271119 | 38219 | 73614 0 | 345 | 1041 1472.73/1473.17 c 1361s | 12 | 271259 | 38319 | 73614 0 | 345 | 1041 1477.33/1477.75 c 1366s | 12 | 271368 | 38419 | 73614 0 | 345 | 1041 1480.73/1481.18 c 1369s | 12 | 271501 | 38519 | 73614 0 | 345 | 1041 1484.13/1484.57 c 1373s | 12 | 271624 | 38619 | 73614 0 | 345 | 1041 1486.63/1487.03 c 1375s | 12 | 271799 | 38719 | 73614 0 | 345 | 1041 1489.83/1490.27 c 1379s | 12 | 271949 | 38819 | 73614 0 | 345 | 1041 1490.33/1490.77 c 1379s | 13 | 271959 | 38832 | 73614 0 | 345 | 1041 1494.65/1495.08 c 1383s | 13 | 288922 | 38932 | 73614 0 | 345 | 1041 1499.05/1499.47 c 1388s | 13 | 289030 | 39032 | 73614 0 | 345 | 1041 1503.44/1503.89 c 1392s | 13 | 289159 | 39132 | 73614 0 | 345 | 1041 1507.34/1507.79 c 1396s | 13 | 289292 | 39232 | 73614 0 | 345 | 1041 1510.84/1511.24 c 1399s | 13 | 289407 | 39332 | 73614 0 | 345 | 1041 1513.34/1513.73 c 1402s | 13 | 289573 | 39432 | 73614 0 | 345 | 1041 1516.54/1516.99 c 1405s | 13 | 289683 | 39532 | 73614 0 | 345 | 1041 1519.94/1520.34 c 1409s | 13 | 289804 | 39632 | 73614 0 | 345 | 1041 1523.03/1523.48 c 1412s | 13 | 289935 | 39732 | 73614 0 | 345 | 1041 1526.54/1526.94 c 1415s | 13 | 290063 | 39832 | 73614 0 | 345 | 1041 1531.33/1531.70 c 1420s | 13 | 290175 | 39932 | 73614 0 | 345 | 1041 1534.63/1535.00 c 1423s | 13 | 290305 | 40032 | 73614 0 | 345 | 1041 1538.33/1538.73 c 1427s | 13 | 290428 | 40132 | 73614 0 | 345 | 1041 1542.03/1542.49 c 1431s | 13 | 290563 | 40232 | 73614 0 | 345 | 1041 1546.13/1546.54 c 1435s | 13 | 290695 | 40332 | 73614 0 | 345 | 1041 1551.53/1551.97 c 1440s | 13 | 290805 | 40432 | 73614 0 | 345 | 1041 1555.83/1556.28 c 1445s | 13 | 290920 | 40532 | 73614 0 | 345 | 1041 1560.13/1560.55 c 1449s | 13 | 291037 | 40632 | 73614 0 | 345 | 1041 1564.13/1564.55 c 1453s | 13 | 291158 | 40732 | 73614 0 | 345 | 1041 1567.43/1567.89 c 1456s | 13 | 291278 | 40832 | 73614 0 | 345 | 1041 1570.63/1571.07 c 1459s | 13 | 291402 | 40932 | 73614 0 | 345 | 1041 1574.52/1574.92 c 1463s | 13 | 291515 | 41032 | 73614 0 | 345 | 1041 1578.13/1578.58 c 1467s | 13 | 291642 | 41132 | 73614 0 | 345 | 1041 1583.32/1583.76 c 1472s | 13 | 291756 | 41232 | 73614 0 | 345 | 1041 1587.32/1587.78 c 1476s | 13 | 291878 | 41332 | 73614 0 | 345 | 1041 1592.32/1592.71 c 1481s | 13 | 292009 | 41432 | 73614 0 | 345 | 1041 1596.02/1596.45 c 1485s | 13 | 292131 | 41532 | 73614 0 | 345 | 1041 1599.32/1599.70 c 1488s | 13 | 292282 | 41632 | 73614 0 | 345 | 1041 1601.92/1602.38 c 1491s | 13 | 292427 | 41732 | 73614 0 | 345 | 1041 1604.62/1605.03 c 1493s | 13 | 292590 | 41832 | 73614 0 | 345 | 1041 1607.02/1607.48 c 1496s | 13 | 292704 | 41932 | 73614 0 | 345 | 1041 1611.02/1611.43 c 1500s | 13 | 292813 | 42032 | 73614 0 | 345 | 1041 1614.92/1615.34 c 1504s | 13 | 292958 | 42132 | 73614 0 | 345 | 1041 1619.11/1619.58 c 1508s | 13 | 293074 | 42232 | 73614 0 | 345 | 1041 1622.91/1623.39 c 1512s | 13 | 293201 | 42332 | 73614 0 | 345 | 1041 1626.71/1627.15 c 1515s | 13 | 293327 | 42432 | 73614 0 | 345 | 1041 1630.01/1630.44 c 1519s | 13 | 293457 | 42532 | 73614 0 | 345 | 1041 1633.01/1633.40 c 1522s | 13 | 293578 | 42632 | 73614 0 | 345 | 1041 1638.01/1638.47 c 1527s | 13 | 293689 | 42732 | 73614 0 | 345 | 1041 1642.91/1643.36 c 1532s | 13 | 293805 | 42832 | 73614 0 | 345 | 1041 1647.11/1647.51 c 1536s | 13 | 293940 | 42932 | 73614 0 | 345 | 1041 1653.41/1653.83 c 1542s | 13 | 294084 | 43032 | 73614 0 | 345 | 1041 1658.51/1658.90 c 1547s | 13 | 294226 | 43132 | 73614 0 | 345 | 1041 1665.01/1665.44 c 1554s | 13 | 294365 | 43232 | 73614 0 | 345 | 1041 1671.30/1671.73 c 1560s | 13 | 294481 | 43332 | 73614 0 | 345 | 1041 1675.50/1675.96 c 1564s | 13 | 294602 | 43432 | 73614 0 | 345 | 1041 1679.00/1679.45 c 1568s | 13 | 294745 | 43532 | 73614 0 | 345 | 1041 1683.60/1684.05 c 1572s | 13 | 294881 | 43632 | 73614 0 | 345 | 1041 1688.00/1688.47 c 1577s | 13 | 295003 | 43732 | 73614 0 | 345 | 1041 1691.80/1692.24 c 1581s | 13 | 295151 | 43832 | 73614 0 | 345 | 1041 1695.60/1696.09 c 1584s | 13 | 295245 | 43932 | 73614 0 | 345 | 1041 1698.60/1699.08 c 1587s | 13 | 295376 | 44032 | 73614 0 | 345 | 1041 1702.30/1702.71 c 1591s | 13 | 295494 | 44132 | 73614 0 | 345 | 1041 1706.20/1706.65 c 1595s | 13 | 295619 | 44232 | 73614 0 | 345 | 1041 1710.30/1710.75 c 1599s | 13 | 295732 | 44332 | 73614 0 | 345 | 1041 1715.00/1715.40 c 1604s | 13 | 295865 | 44432 | 73614 0 | 345 | 1041 1720.00/1720.43 c 1609s | 13 | 296011 | 44532 | 73614 0 | 345 | 1041 1724.00/1724.46 c 1613s | 13 | 296133 | 44632 | 73614 0 | 345 | 1041 1730.10/1730.57 c 1619s | 13 | 296262 | 44732 | 73614 0 | 345 | 1041 1734.80/1735.20 c 1623s | 13 | 296399 | 44832 | 73614 0 | 345 | 1041 1739.49/1739.94 c 1628s | 13 | 296540 | 44932 | 73614 0 | 345 | 1041 1743.69/1744.10 c 1632s | 13 | 296659 | 45032 | 73614 0 | 345 | 1041 1747.89/1748.31 c 1637s | 13 | 296810 | 45132 | 73614 0 | 345 | 1041 1751.49/1751.96 c 1640s | 13 | 296940 | 45232 | 73614 0 | 345 | 1041 1754.89/1755.35 c 1644s | 13 | 297087 | 45332 | 73614 0 | 345 | 1041 1759.70/1760.12 c 1648s | 13 | 297197 | 45432 | 73614 0 | 345 | 1041 1764.10/1764.59 c 1653s | 13 | 297345 | 45532 | 73614 0 | 345 | 1041 1767.69/1768.10 c 1656s | 13 | 297473 | 45632 | 73614 0 | 345 | 1041 1770.70/1771.17 c 1659s | 13 | 297608 | 45732 | 73614 0 | 345 | 1041 1773.69/1774.19 c 1662s | 13 | 297728 | 45832 | 73614 0 | 345 | 1041 1777.79/1778.24 c 1667s | 13 | 297857 | 45932 | 73614 0 | 345 | 1041 1780.89/1781.35 c 1670s | 13 | 297989 | 46032 | 73614 0 | 345 | 1041 1784.99/1785.47 c 1674s | 13 | 298128 | 46132 | 73614 0 | 345 | 1041 1789.39/1789.82 c 1678s | 13 | 298242 | 46232 | 73614 0 | 345 | 1041 1793.69/1794.14 c 1682s | 13 | 298378 | 46332 | 73614 0 | 345 | 1041 1797.49/1797.94 c 1686s | 13 | 298512 | 46432 | 73614 0 | 345 | 1041
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-4093472-1466087677/watcher-4093472-1466087677 -o /tmp/evaluation-result-4093472-1466087677/solver-4093472-1466087677 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16983 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093472-1466087677.wbo pid=19919 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.45 2.38 2.30 3/179 19922 /proc/meminfo: memFree=30246752/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=716220 CPUtime=0 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 2673 0 0 0 0 0 0 0 20 0 4 0 10813462 733409280 3034 33554432000 4194304 16246674 140737359980656 140737359980080 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 179823 3042 441 2943 0 176717 0 [pid=19922/tid=19923] ppid=19919 vsize=732604 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 750186496 3098 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=736700 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 754380800 3114 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=741820 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 759623680 3132 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100177 s] /proc/loadavg: 2.45 2.38 2.30 3/179 19922 /proc/meminfo: memFree=30246752/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 25158 0 0 0 7 2 0 0 20 0 4 0 10813462 1333334016 25460 33554432000 4194304 16246674 140737359980656 140737359979968 8058796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 325521 25473 800 2943 0 322415 0 [pid=19922/tid=19923] ppid=19919 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1333334016 25483 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1333334016 25494 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1333334016 25504 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200506 s] /proc/loadavg: 2.45 2.38 2.30 3/179 19922 /proc/meminfo: memFree=30246752/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 45998 0 0 0 14 5 0 0 20 0 4 0 10813462 1344868352 46810 33554432000 4194304 16246674 140737359980656 140737359979968 8055400 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 328337 46810 801 2943 0 325231 0 [pid=19922/tid=19923] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 46810 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 46810 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 46810 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300496 s] /proc/loadavg: 2.45 2.38 2.30 3/179 19922 /proc/meminfo: memFree=30246752/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 46120 0 0 0 23 6 0 0 20 0 4 0 10813462 1344868352 46932 33554432000 4194304 16246674 140737359980656 140737359979968 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 328337 46932 823 2943 0 325231 0 [pid=19922/tid=19923] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 46932 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 46932 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 46932 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700374 s] /proc/loadavg: 2.45 2.38 2.30 3/179 19922 /proc/meminfo: memFree=30246752/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 46132 0 0 0 63 6 0 0 20 0 4 0 10813462 1344868352 46944 33554432000 4194304 16246674 140737359980656 140737359979968 13774212 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 328337 46944 833 2943 0 325231 0 [pid=19922/tid=19923] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 46944 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 46944 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 46944 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50038 s] /proc/loadavg: 2.45 2.38 2.30 3/183 19926 /proc/meminfo: memFree=29511776/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 199590 0 0 0 123 26 0 0 20 0 4 0 10813462 1344868352 200403 33554432000 4194304 16246674 140737359980656 140737359962560 12459121 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 328337 200408 839 2943 0 325231 0 [pid=19922/tid=19923] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 200414 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 200421 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1344868352 200427 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10035 s] /proc/loadavg: 2.41 2.37 2.30 3/183 19926 /proc/meminfo: memFree=28387592/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1334852 CPUtime=3.09 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 274367 0 0 0 274 35 0 0 20 0 4 0 10813462 1366888448 275179 33554432000 4194304 16246674 140737359980656 140737359978496 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 333713 275179 870 2943 0 330607 0 [pid=19922/tid=19923] ppid=19919 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1366888448 275179 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1366888448 275179 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1366888448 275179 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1334852 [startup+6.3004 s] /proc/loadavg: 2.41 2.37 2.30 3/183 19926 /proc/meminfo: memFree=28230412/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1336900 CPUtime=6.29 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 274941 0 0 0 594 35 0 0 20 0 4 0 10813462 1368985600 275753 33554432000 4194304 16246674 140737359980656 140737359979832 5822761 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 334225 275753 932 2943 0 331119 0 [pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275753 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275753 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275753 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1336900 [startup+12.7004 s] /proc/loadavg: 2.42 2.37 2.30 3/183 19926 /proc/meminfo: memFree=28229924/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1336900 CPUtime=12.69 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 274945 0 0 0 1234 35 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140737359979832 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 334225 275757 936 2943 0 331119 0 [pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1336900 [startup+25.5005 s] /proc/loadavg: 2.43 2.38 2.30 3/183 19926 /proc/meminfo: memFree=28230844/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1336900 CPUtime=25.48 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 274945 0 0 0 2512 36 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140737359978496 5523188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 334225 275757 936 2943 0 331119 0 [pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1336900 [startup+51.1005 s] /proc/loadavg: 2.43 2.38 2.30 4/183 20073 /proc/meminfo: memFree=28230384/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1336900 CPUtime=51.08 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 274945 0 0 0 5070 38 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140737359979752 4206921 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 334225 275757 936 2943 0 331119 0 [pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 275757 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1336900 [startup+102.3 s] /proc/loadavg: 2.35 2.36 2.29 4/183 20269 /proc/meminfo: memFree=28528580/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1336900 CPUtime=102.29 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 274945 0 0 0 10187 42 0 0 20 0 4 0 10813462 1368985600 276013 33554432000 4194304 16246674 140737359980656 140737359979832 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 334225 276013 936 2943 0 331119 0 [pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276013 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276013 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276013 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1336900 ################ # More data... # ################ /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1336900 [startup+1362.3 s] /proc/loadavg: 2.15 2.23 2.25 3/182 20349 /proc/meminfo: memFree=27181592/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1336900 CPUtime=1361.95 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 136151 44 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 334225 276015 938 2943 0 331119 0 [pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1336900 [startup+1422.3 s] /proc/loadavg: 2.26 2.26 2.26 3/183 20351 /proc/meminfo: memFree=27071732/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1336900 CPUtime=1421.95 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 142151 44 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 334225 276015 938 2943 0 331119 0 [pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1336900 [startup+1482.3 s] /proc/loadavg: 2.35 2.28 2.27 3/183 20352 /proc/meminfo: memFree=27027340/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1336900 CPUtime=1481.93 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 148149 44 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 334225 276015 938 2943 0 331119 0 [pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1336900 [startup+1542.31 s] /proc/loadavg: 2.30 2.27 2.26 3/184 20356 /proc/meminfo: memFree=27006800/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1336900 CPUtime=1541.94 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 154149 45 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 334225 276015 938 2943 0 331119 0 [pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 1336900 [startup+1602.3 s] /proc/loadavg: 2.21 2.25 2.26 3/184 20380 /proc/meminfo: memFree=26993144/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1336900 CPUtime=1601.92 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 160147 45 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 5712672 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 334225 276015 938 2943 0 331119 0 [pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 1336900 [startup+1662.3 s] /proc/loadavg: 2.27 2.26 2.26 3/183 20381 /proc/meminfo: memFree=26977740/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1336900 CPUtime=1661.91 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 166146 45 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 5712756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 334225 276015 938 2943 0 331119 0 [pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 1336900 [startup+1722.3 s] /proc/loadavg: 2.20 2.24 2.25 3/183 20383 /proc/meminfo: memFree=26953220/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1336900 CPUtime=1721.9 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 172145 45 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 334225 276015 938 2943 0 331119 0 [pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 1336900 [startup+1782.3 s] /proc/loadavg: 2.28 2.25 2.26 3/183 20384 /proc/meminfo: memFree=26943668/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1336900 CPUtime=1781.89 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 178144 45 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 5712756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 334225 276015 938 2943 0 331119 0 [pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 1336900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.33 2.27 2.26 3/183 20384 /proc/meminfo: memFree=26938780/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1336900 CPUtime=1800.09 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 179964 45 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 334225 276015 938 2943 0 331119 0 [pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1336900 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 19922 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.33 2.27 2.26 3/183 20384 /proc/meminfo: memFree=26938780/32872528 swapFree=1402008/1579836 [pid=19922] ppid=19919 vsize=1336900 CPUtime=1800.09 cores=0,2,4,6 /proc/19922/stat : 19922 (toysat) R 19919 19922 13870 0 -1 4202496 275136 0 0 0 179964 45 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140737359962560 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19922/statm: 334225 276015 938 2943 0 331119 0 [pid=19922/tid=19923] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19923/stat : 19923 (toysat) S 19919 19922 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360266263792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=19922/tid=19924] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19924/stat : 19924 (toysat) S 19919 19922 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360255773936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=19922/tid=19925] ppid=19919 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/19922/task/19925/stat : 19925 (toysat) S 19919 19922 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10813462 1368985600 276015 33554432000 4194304 16246674 140737359980656 140360135208112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1336900 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.1 CPU user time (s): 1799.64 CPU system time (s): 0.45793 CPU usage (%): 99.9775 Max. virtual memory (cumulated for all children) (KiB): 1336900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.64 system time used= 0.45793 maximum resident set size= 1104060 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275136 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= 204 involuntary context switches= 1847 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.45632 second user time and 7.03993 second system time The end
Begin job on node139 at 2016-06-16 16:34:37 IDJOB=4093472 IDBENCH=79086 IDSOLVER=2553 FILE ID=node139/4093472-1466087677 RUNJOBID= node139-1466075487-16983 PBS_JOBID= 19904001 Free space on /tmp= 71612 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j605_10-unsat--soft-33-100-0.wbo COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093472-1466087677/watcher-4093472-1466087677 -o /tmp/evaluation-result-4093472-1466087677/solver-4093472-1466087677 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16983 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093472-1466087677.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 511a250f181b5f88452d86a600065d28 RANDOM SEED=1709252756 node139.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.500 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.00 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.500 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.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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.56 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.500 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.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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.500 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: 30247188 kB Buffers: 39388 kB Cached: 113460 kB SwapCached: 960 kB Active: 269016 kB Inactive: 72680 kB Active(anon): 189332 kB Inactive(anon): 1240 kB Active(file): 79684 kB Inactive(file): 71440 kB Unevictable: 1579836 kB Mlocked: 1402008 kB SwapTotal: 67108856 kB SwapFree: 67100120 kB Dirty: 35400 kB Writeback: 0 kB AnonPages: 1767380 kB Mapped: 10184 kB Shmem: 0 kB Slab: 569460 kB SReclaimable: 13008 kB SUnreclaim: 556452 kB KernelStack: 1520 kB PageTables: 9728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2802968 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 182272 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= 71592 MiB End job on node139 at 2016-06-16 17:04:38