| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.11 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3700.opb |
| MD5SUM | 5e0d90a4cb8c7b885a60ac97183595d3 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 155000 |
| Total number of constraints | 5150 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 3000 |
| Number of terms in the objective function | 155000 |
| Biggest coefficient in the objective function | 76 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 653701 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262144 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 653701 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-18T02:29:06+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4099969-1466209746.opb"] 0.00/0.01 c use --random-gen="1466597372 3613088537 940628722 4220508997 1455252224 2406121202 2228337687 2174217504 1144807299 1374299931 750254840 2326410324 3761273325 4083316010 4050780378 2047464384 2967520164 923096158 1175146713 4243928482 2614645402 2304052503 1973536991 2336496206 2928147919 2271265764 3772497640 1190530936 748501496 1559293942 3789435706 1461168255 677767153 3680850126 3953487688 3383002498 3715057200 678580682 3891022868 1417232794 830153189 2383805448 3782286505 3095863025 1098675748 2623985198 4082849767 4011691163 3179426189 4022413194 74750632 2553909068 1139290014 2513206981 4086138270 1977697631 3023669274 2080997982 3038684323 849908289 41017317 3641750245 1339173944 2273703366 4002268743 3231027386 804972819 1227932626 219248562 4008570708 1877372249 3355508598 4087735129 22930284 642340349 2058507650 1877115087 3302825209 3115072539 3570606179 2002739390 1640307333 2429946232 91463536 602906051 1777848638 3906221070 2757057634 1465623934 2316276670 1792969850 2474023143 149066490 3098728232 3293696446 3783971792 962625580 723181991 3828702671 1152228225 1891375191 996215161 2964849266 2514463135 1950161721 1621395564 1762604233 472824810 2993847979 2981494387 2157117295 3325719469 1212495754 3464424631 2208727206 782452129 2776814416 12192525 974531484 2647272781 4217696060 2620207412 908361776 1503292982 104822730 1276963034 1961814434 544391243 3405645164 3099084275 3205472589 2758322665 1659237943 2722476975 3627497722 2927157901 3546593058 2020793238 381801739 40313158 1558071179 3329636918 2119916566 1666249282 4027658155 1441960313 24636195 3815054951 4201979205 1840707512 1594651006 960564518 22752279 925329931 1743538952 3963125816 307940045 1393973615 2567620546 3593041644 3411277353 3862402582 886434230 1928899238 1152051625 2119764160 1095049694 819470581 1572935950 489120030 205802225 824895090 1701112650 3404816410 2507751670 3110609168 3259273678 356783926 3371838885 1878358728 3058551693 3352710680 2153282838 1146644959 2486481188 3798471837 4132006294 2055982684 3029211297 723077936 3183745796 1905506087 820506132 3704902684 4142456990 710821046 1394894104 2904466224 1523247221 1753851689 434329348 859067168 3882039577 1968831459 65895177 1674150312 300488050 238000482 3017566920 1983728684 2640897579 1726921111 2515737748 2445181576 2533886081 3160307730 2966748923 4269785316 1744305798 635075574 2544246701 4036587459 3744206869 1782312712 3568812766 4108290036 901449526 1646180108 1489385443 409603660 2812394842 204238721 4110189982 569092919 2214202913 4067405424 3314248212 284934212 696050652 3105308023 3811140984 2007975431 931961488 1281460006 1891569631 2598737661 764149425 777690014 3262304025 259777706 284297081 4269164825 1946762525 378747759 1375808275 1627879849 255 362436" option to reproduce the execution 0.99/1.05 c #vars 155000 0.99/1.05 c #constraints 5150 3.29/3.39 c BCD2: Hardening is enabled. 3.29/3.39 c BCD2: BiasedSearch is enabled. 3.29/3.39 c Solving starts ... 3.29/3.39 c ============================[ Search Statistics ]============================ 3.29/3.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.29/3.39 c | | | | Limit GC | Var | Constra 3.29/3.39 c ============================================================================= 3.49/3.51 c 0.0s | 0 | 0 | 0 | 53433 0 | 60853 | 0 10.18/10.22 c 6.7s | 0 | 5267 | 100 | 53433 0 | 60853 | 0 10.18/10.30 c 6.8s | 1 | 5267 | 100 | 53433 0 | 60853 | 0 11.28/11.34 c 7.8s | 2 | 6366 | 250 | 58777 0 | 60853 | 0 12.59/12.64 c 9.1s | 3 | 7595 | 475 | 64655 0 | 60853 | 0 14.59/14.64 c 11.1s | 4 | 9036 | 813 | 71121 0 | 60853 | 0 16.89/17.00 c 13.5s | 4 | 10553 | 1213 | 78234 0 | 60853 | 0 17.69/17.73 c 14.2s | 5 | 10695 | 1320 | 78234 0 | 60853 | 0 20.08/20.16 c 16.7s | 5 | 12103 | 1620 | 86058 0 | 60853 | 0 22.18/22.20 c 18.7s | 5 | 12535 | 1920 | 86058 0 | 60853 | 0 23.19/23.29 c 19.8s | 6 | 12739 | 2081 | 94664 0 | 60853 | 0 25.39/25.47 c 22.0s | 6 | 14177 | 2481 | 94664 0 | 60853 | 0 27.38/27.47 c 24.0s | 6 | 14691 | 2881 | 94664 0 | 60853 | 0 29.48/29.54 c 26.0s | 6 | 15065 | 3181 | 94664 0 | 60853 | 0 29.79/29.84 c 26.3s | 7 | 15127 | 3223 | 104131 0 | 60853 | 0 32.09/32.15 c 28.6s | 7 | 16492 | 3523 | 104131 0 | 60853 | 0 34.09/34.18 c 30.7s | 7 | 16850 | 3823 | 104131 0 | 60853 | 0 36.18/36.20 c 32.7s | 7 | 17213 | 4123 | 104131 0 | 60853 | 0 38.28/38.33 c 34.8s | 7 | 17603 | 4423 | 104131 0 | 60853 | 0 40.38/40.47 c 37.0s | 7 | 18027 | 4723 | 104131 0 | 60853 | 0 41.98/42.00 c 38.5s | 8 | 18353 | 4936 | 114545 0 | 60853 | 0 44.58/44.65 c 41.1s | 8 | 19759 | 5236 | 114545 0 | 60853 | 0 47.28/47.37 c 43.9s | 8 | 20329 | 5636 | 114545 0 | 60853 | 0 49.49/49.55 c 46.0s | 8 | 20716 | 5936 | 114545 0 | 60853 | 0 51.69/51.75 c 48.2s | 8 | 21102 | 6236 | 114545 0 | 60853 | 0 53.68/53.78 c 50.3s | 8 | 21512 | 6536 | 114545 0 | 60853 | 0 55.98/56.07 c 52.6s | 8 | 21928 | 6836 | 114545 0 | 60853 | 0 58.29/58.37 c 54.9s | 8 | 22319 | 7136 | 114545 0 | 60853 | 0 60.38/60.45 c 56.9s | 8 | 22709 | 7436 | 114545 0 | 60853 | 0 60.78/60.88 c 57.4s | 9 | 22811 | 7506 | 126000 0 | 60853 | 0 63.48/63.57 c 60.1s | 9 | 24224 | 7806 | 126000 0 | 60853 | 0 65.58/65.67 c 62.2s | 9 | 24593 | 8106 | 126000 0 | 60853 | 0 67.98/68.03 c 64.5s | 9 | 24945 | 8406 | 126000 0 | 60853 | 0 70.28/70.36 c 66.8s | 9 | 25329 | 8706 | 126000 0 | 60853 | 0 72.59/72.62 c 69.1s | 9 | 25710 | 9006 | 126000 0 | 60853 | 0 74.78/74.81 c 71.3s | 9 | 26081 | 9306 | 126000 0 | 60853 | 0 76.77/76.88 c 73.4s | 9 | 26478 | 9606 | 126000 0 | 60853 | 0 79.07/79.20 c 75.7s | 9 | 26869 | 9906 | 126000 0 | 60853 | 0 81.38/81.44 c 77.9s | 9 | 27214 | 10206 | 126000 0 | 60853 | 0 83.58/83.62 c 80.1s | 9 | 27574 | 10506 | 126000 0 | 60853 | 0 85.78/85.84 c 82.3s | 9 | 27957 | 10806 | 126000 0 | 60853 | 0 87.77/87.87 c 84.4s | 9 | 28322 | 11106 | 126000 0 | 60853 | 0 89.67/89.79 c 86.3s | 10 | 28607 | 11361 | 138600 0 | 60853 | 0 91.87/91.90 c 88.4s | 10 | 29831 | 11561 | 138600 0 | 60853 | 0 94.07/94.19 c 90.7s | 10 | 30227 | 11861 | 138600 0 | 60853 | 0 96.47/96.51 c 93.0s | 10 | 30597 | 12161 | 138600 0 | 60853 | 0 98.77/98.89 c 95.4s | 10 | 30953 | 12461 | 138600 0 | 60853 | 0 101.18/101.24 c 97.7s | 10 | 31320 | 12761 | 138600 0 | 60853 | 0 103.77/103.82 c 100s | 10 | 31696 | 13061 | 138600 0 | 60853 | 0 106.17/106.26 c 102s | 10 | 32079 | 13361 | 138600 0 | 60853 | 0 108.27/108.30 c 104s | 10 | 32490 | 13661 | 138600 0 | 60853 | 0 110.27/110.32 c 106s | 10 | 32905 | 13961 | 138600 0 | 60853 | 0 112.47/112.54 c 109s | 10 | 33299 | 14261 | 138600 0 | 60853 | 0 114.67/114.75 c 111s | 10 | 33726 | 14561 | 138600 0 | 60853 | 0 117.17/117.22 c 113s | 10 | 34134 | 14861 | 138600 0 | 60853 | 0 119.27/119.33 c 115s | 10 | 34507 | 15161 | 138600 0 | 60853 | 0 121.47/121.50 c 117s | 10 | 34892 | 15461 | 138600 0 | 60853 | 0 123.47/123.50 c 119s | 10 | 35265 | 15761 | 138600 0 | 60853 | 0 125.57/125.60 c 122s | 10 | 35663 | 16061 | 138600 0 | 60853 | 0 127.87/127.97 c 124s | 10 | 35994 | 16361 | 138600 0 | 60853 | 0 129.96/130.06 c 126s | 10 | 36383 | 16661 | 138600 0 | 60853 | 0 132.17/132.28 c 128s | 10 | 36792 | 16961 | 138600 0 | 60853 | 0 133.47/133.58 c 130s | 11 | 36996 | 17144 | 152460 0 | 60853 | 0 136.17/136.25 c 132s | 11 | 38199 | 17344 | 152460 0 | 60853 | 0 138.58/138.61 c 135s | 11 | 38558 | 17644 | 152460 0 | 60853 | 0 140.67/140.76 c 137s | 11 | 38926 | 17944 | 152460 0 | 60853 | 0 143.17/143.27 c 139s | 11 | 39294 | 18244 | 152460 0 | 60853 | 0 145.67/145.75 c 142s | 11 | 39628 | 18544 | 152460 0 | 60853 | 0 148.07/148.11 c 144s | 11 | 39963 | 18844 | 152460 0 | 60853 | 0 150.47/150.52 c 147s | 11 | 40311 | 19144 | 152460 0 | 60853 | 0 152.56/152.63 c 149s | 11 | 40652 | 19444 | 152460 0 | 60853 | 0 154.86/154.93 c 151s | 11 | 40973 | 19744 | 152460 0 | 60853 | 0 157.46/157.52 c 154s | 11 | 41300 | 20044 | 152460 0 | 60853 | 0 159.76/159.87 c 156s | 11 | 41637 | 20344 | 152460 0 | 60853 | 0 161.96/162.01 c 158s | 11 | 41944 | 20644 | 152460 0 | 60853 | 0 164.46/164.52 c 161s | 11 | 42289 | 20944 | 152460 0 | 60853 | 0 166.87/166.97 c 163s | 11 | 42609 | 21244 | 152460 0 | 60853 | 0 169.17/169.22 c 165s | 11 | 42961 | 21544 | 152460 0 | 60853 | 0 171.16/171.29 c 167s | 11 | 43288 | 21844 | 152460 0 | 60853 | 0 173.36/173.47 c 169s | 11 | 43625 | 22144 | 152460 0 | 60853 | 0 175.66/175.78 c 172s | 11 | 43950 | 22444 | 152460 0 | 60853 | 0 178.06/178.11 c 174s | 11 | 44296 | 22744 | 152460 0 | 60853 | 0 180.76/180.88 c 177s | 11 | 44633 | 23044 | 152460 0 | 60853 | 0 183.16/183.21 c 179s | 11 | 44981 | 23344 | 152460 0 | 60853 | 0 185.66/185.73 c 182s | 11 | 45325 | 23644 | 152460 0 | 60853 | 0 188.17/188.25 c 184s | 11 | 45646 | 23944 | 152460 0 | 60853 | 0 190.46/190.58 c 187s | 11 | 45979 | 24244 | 152460 0 | 60853 | 0 192.96/193.06 c 189s | 11 | 46311 | 24544 | 152460 0 | 60853 | 0 195.66/195.73 c 192s | 11 | 46625 | 24844 | 152460 0 | 60853 | 0 197.86/197.91 c 194s | 11 | 46981 | 25144 | 152460 0 | 60853 | 0 200.06/200.11 c 196s | 11 | 47310 | 25444 | 152460 0 | 60853 | 0 202.25/202.35 c 198s | 11 | 47635 | 25744 | 167706 0 | 60853 | 0 202.75/202.87 c 199s | 12 | 47717 | 25819 | 167706 0 | 60853 | 0 205.25/205.31 c 201s | 12 | 48807 | 25919 | 167706 0 | 60853 | 0 207.26/207.31 c 203s | 12 | 49140 | 26219 | 167706 0 | 60853 | 0 209.76/209.83 c 206s | 12 | 49610 | 26619 | 167706 0 | 60853 | 0 212.06/212.14 c 208s | 12 | 50075 | 27019 | 167706 0 | 60853 | 0 214.26/214.30 c 210s | 12 | 50502 | 27419 | 167706 0 | 60853 | 0 216.46/216.59 c 213s | 12 | 50933 | 27819 | 167706 0 | 60853 | 0 218.56/218.61 c 215s | 12 | 51246 | 28119 | 167706 0 | 60853 | 0 220.76/220.85 c 217s | 12 | 51559 | 28419 | 167706 0 | 60853 | 0 223.16/223.26 c 219s | 12 | 51885 | 28719 | 167706 0 | 60853 | 0 225.46/225.57 c 222s | 12 | 52346 | 29119 | 167706 0 | 60853 | 0 227.55/227.64 c 224s | 12 | 52731 | 29419 | 167706 0 | 60853 | 0 229.65/229.73 c 226s | 12 | 53111 | 29719 | 167706 0 | 60853 | 0 232.25/232.30 c 228s | 12 | 53492 | 30019 | 167706 0 | 60853 | 0 234.85/234.99 c 231s | 12 | 53881 | 30319 | 167706 0 | 60853 | 0 237.56/237.63 c 234s | 12 | 54248 | 30619 | 167706 0 | 60853 | 0 240.15/240.27 c 236s | 12 | 54627 | 30919 | 167706 0 | 60853 | 0 242.66/242.73 c 239s | 12 | 54962 | 31219 | 167706 0 | 60853 | 0 245.26/245.33 c 241s | 12 | 55292 | 31519 | 167706 0 | 60853 | 0 247.56/247.62 c 244s | 12 | 55602 | 31819 | 167706 0 | 60853 | 0 250.05/250.14 c 246s | 12 | 55932 | 32119 | 167706 0 | 60853 | 0 252.55/252.61 c 249s | 12 | 56380 | 32519 | 167706 0 | 60853 | 0 254.85/254.90 c 251s | 12 | 56844 | 32919 | 167706 0 | 60853 | 0 256.95/257.00 c 253s | 12 | 57218 | 33219 | 167706 0 | 60853 | 0 259.15/259.21 c 255s | 12 | 57577 | 33519 | 167706 0 | 60853 | 0 261.35/261.48 c 257s | 12 | 57901 | 33819 | 167706 0 | 60853 | 0 263.85/263.96 c 260s | 12 | 58233 | 34119 | 167706 0 | 60853 | 0 266.45/266.51 c 262s | 12 | 58559 | 34419 | 167706 0 | 60853 | 0 268.84/268.97 c 265s | 12 | 58883 | 34719 | 167706 0 | 60853 | 0 271.44/271.53 c 268s | 12 | 59220 | 35019 | 167706 0 | 60853 | 0 273.54/273.69 c 270s | 12 | 59452 | 35219 | 167706 0 | 60853 | 0 276.16/276.27 c 272s | 12 | 59670 | 35419 | 167706 0 | 60853 | 0 278.44/278.59 c 275s | 12 | 59889 | 35619 | 167706 0 | 60853 | 0 280.64/280.70 c 277s | 12 | 60100 | 35819 | 167706 0 | 60853 | 0 283.54/283.63 c 280s | 12 | 60466 | 36119 | 167706 0 | 60853 | 0 286.24/286.37 c 282s | 12 | 60820 | 36419 | 167706 0 | 60853 | 0 288.34/288.43 c 284s | 12 | 61068 | 36619 | 167706 0 | 60853 | 0 291.34/291.46 c 287s | 12 | 61392 | 36919 | 167706 0 | 60853 | 0 293.54/293.62 c 290s | 12 | 61600 | 37119 | 167706 0 | 60853 | 0 296.24/296.34 c 292s | 12 | 61918 | 37419 | 167706 0 | 60853 | 0 298.23/298.39 c 294s | 12 | 62128 | 37619 | 167706 0 | 60853 | 0 301.23/301.30 c 297s | 12 | 62447 | 37919 | 167706 0 | 60853 | 0 303.33/303.42 c 299s | 12 | 62690 | 38119 | 167706 0 | 60853 | 0 305.33/305.46 c 301s | 12 | 62912 | 38319 | 167706 0 | 60853 | 0 307.52/307.65 c 304s | 12 | 63251 | 38619 | 184477 0 | 60853 | 0 309.32/309.48 c 305s | 13 | 63498 | 38832 | 184477 0 | 60853 | 0 312.82/312.90 c 309s | 13 | 64574 | 38932 | 184477 0 | 60853 | 0 315.32/315.42 c 311s | 13 | 64906 | 39232 | 184477 0 | 60853 | 0 318.12/318.24 c 314s | 13 | 65305 | 39532 | 184477 0 | 60853 | 0 320.82/320.95 c 317s | 13 | 65713 | 39832 | 184477 0 | 60853 | 0 323.72/323.80 c 320s | 13 | 66070 | 40132 | 184477 0 | 60853 | 0 326.52/326.61 c 323s | 13 | 66454 | 40432 | 184477 0 | 60853 | 0 328.62/328.77 c 325s | 13 | 66698 | 40632 | 184477 0 | 60853 | 0 331.02/331.20 c 327s | 13 | 67098 | 40932 | 184477 0 | 60853 | 0 333.32/333.46 c 329s | 13 | 67484 | 41232 | 184477 0 | 60853 | 0 335.52/335.67 c 332s | 13 | 67868 | 41532 | 184477 0 | 60853 | 0 338.32/338.48 c 334s | 13 | 68216 | 41832 | 184477 0 | 60853 | 0 340.62/340.76 c 337s | 13 | 68613 | 42132 | 184477 0 | 60853 | 0 343.62/343.72 c 340s | 13 | 68959 | 42432 | 184477 0 | 60853 | 0 346.02/346.14 c 342s | 13 | 69315 | 42732 | 184477 0 | 60853 | 0 348.52/348.69 c 345s | 13 | 69674 | 43032 | 184477 0 | 60853 | 0 351.11/351.20 c 347s | 13 | 70026 | 43332 | 184477 0 | 60853 | 0 353.71/353.81 c 350s | 13 | 70368 | 43632 | 184477 0 | 60853 | 0 356.21/356.36 c 352s | 13 | 70712 | 43932 | 184477 0 | 60853 | 0 358.81/358.95 c 355s | 13 | 71055 | 44232 | 184477 0 | 60853 | 0 361.82/361.94 c 358s | 13 | 71410 | 44532 | 184477 0 | 60853 | 0 364.51/364.61 c 361s | 13 | 71775 | 44832 | 184477 0 | 60853 | 0 367.01/367.16 c 363s | 13 | 72120 | 45132 | 184477 0 | 60853 | 0 369.70/369.90 c 366s | 13 | 72476 | 45432 | 184477 0 | 60853 | 0 372.40/372.52 c 369s | 13 | 72839 | 45732 | 184477 0 | 60853 | 0 375.20/375.38 c 371s | 13 | 73216 | 46032 | 184477 0 | 60853 | 0 377.31/377.42 c 373s | 13 | 73465 | 46232 | 184477 0 | 60853 | 0 380.00/380.17 c 376s | 13 | 73815 | 46532 | 184477 0 | 60853 | 0 382.90/383.00 c 379s | 13 | 74199 | 46832 | 184477 0 | 60853 | 0 384.91/385.01 c 381s | 13 | 74436 | 47032 | 184477 0 | 60853 | 0 386.90/387.05 c 383s | 13 | 74660 | 47232 | 184477 0 | 60853 | 0 389.10/389.21 c 385s | 13 | 74886 | 47432 | 184477 0 | 60853 | 0 391.51/391.68 c 388s | 13 | 75124 | 47632 | 184477 0 | 60853 | 0 394.40/394.58 c 391s | 13 | 75521 | 47932 | 184477 0 | 60853 | 0 396.40/396.59 c 393s | 13 | 75771 | 48132 | 184477 0 | 60853 | 0 399.09/399.26 c 395s | 13 | 76209 | 48432 | 184477 0 | 60853 | 0 401.69/401.85 c 398s | 13 | 76563 | 48732 | 184477 0 | 60853 | 0 404.49/404.66 c 401s | 13 | 76909 | 49032 | 184477 0 | 60853 | 0 407.01/407.19 c 403s | 13 | 77329 | 49332 | 184477 0 | 60853 | 0 409.10/409.23 c 405s | 13 | 77553 | 49532 | 184477 0 | 60853 | 0 411.79/411.93 c 408s | 13 | 77927 | 49832 | 184477 0 | 60853 | 0 414.09/414.21 c 410s | 13 | 78326 | 50132 | 184477 0 | 60853 | 0 416.19/416.31 c 412s | 13 | 78661 | 50432 | 184477 0 | 60853 | 0 418.89/419.07 c 415s | 13 | 79044 | 50732 | 184477 0 | 60853 | 0 421.49/421.60 c 418s | 13 | 79381 | 51032 | 184477 0 | 60853 | 0 423.89/424.07 c 420s | 13 | 79728 | 51332 | 184477 0 | 60853 | 0 426.59/426.73 c 423s | 13 | 80151 | 51732 | 184477 0 | 60853 | 0 429.28/429.40 c 425s | 13 | 80496 | 52032 | 184477 0 | 60853 | 0 431.78/431.90 c 428s | 13 | 80845 | 52332 | 184477 0 | 60853 | 0 433.88/434.00 c 430s | 13 | 81204 | 52632 | 184477 0 | 60853 | 0 436.28/436.44 c 432s | 13 | 81524 | 52932 | 184477 0 | 60853 | 0 438.79/439.00 c 435s | 13 | 81851 | 53232 | 184477 0 | 60853 | 0 441.37/441.50 c 437s | 13 | 82178 | 53532 | 184477 0 | 60853 | 0 443.67/443.86 c 440s | 13 | 82529 | 53832 | 184477 0 | 60853 | 0 445.87/446.05 c 442s | 13 | 82859 | 54132 | 184477 0 | 60853 | 0 448.27/448.48 c 444s | 13 | 83184 | 54432 | 184477 0 | 60853 | 0 450.88/451.02 c 447s | 13 | 83501 | 54732 | 184477 0 | 60853 | 0 453.67/453.89 c 450s | 13 | 83859 | 55032 | 184477 0 | 60853 | 0 455.87/456.03 c 452s | 13 | 84067 | 55232 | 184477 0 | 60853 | 0 458.68/458.89 c 455s | 13 | 84395 | 55532 | 184477 0 | 60853 | 0 461.58/461.75 c 458s | 13 | 84847 | 55832 | 184477 0 | 60853 | 0 463.98/464.16 c 460s | 13 | 85184 | 56132 | 184477 0 | 60853 | 0 466.58/466.78 c 463s | 13 | 85519 | 56432 | 184477 0 | 60853 | 0 469.07/469.21 c 465s | 13 | 85837 | 56732 | 184477 0 | 60853 | 0 471.78/471.95 c 468s | 13 | 86157 | 57032 | 184477 0 | 60853 | 0 474.47/474.64 c 471s | 13 | 86498 | 57332 | 184477 0 | 60853 | 0 476.47/476.65 c 473s | 13 | 86715 | 57532 | 184477 0 | 60853 | 0 478.57/478.78 c 475s | 13 | 86980 | 57732 | 184477 0 | 60853 | 0 481.67/481.80 c 478s | 13 | 87322 | 58032 | 202925 0 | 60853 | 0 484.07/484.26 c 480s | 13 | 87536 | 58232 | 202925 0 | 60853 | 0 485.37/485.55 c 482s | 14 | 87668 | 58352 | 202925 0 | 60853 | 0 489.87/490.06 c 486s | 14 | 88762 | 58452 | 202925 0 | 60853 | 0 493.07/493.23 c 489s | 14 | 89090 | 58752 | 202925 0 | 60853 | 0 495.37/495.54 c 492s | 14 | 89295 | 58952 | 202925 0 | 60853 | 0 497.36/497.59 c 494s | 14 | 89525 | 59152 | 202925 0 | 60853 | 0 499.96/500.10 c 496s | 14 | 89868 | 59452 | 202925 0 | 60853 | 0 502.46/502.61 c 499s | 14 | 90211 | 59752 | 202925 0 | 60853 | 0 504.87/505.05 c 501s | 14 | 90588 | 60052 | 202925 0 | 60853 | 0 507.76/507.98 c 504s | 14 | 90964 | 60352 | 202925 0 | 60853 | 0 509.96/510.12 c 506s | 14 | 91198 | 60552 | 202925 0 | 60853 | 0 512.16/512.30 c 508s | 14 | 91449 | 60752 | 202925 0 | 60853 | 0 514.16/514.30 c 510s | 14 | 91691 | 60952 | 202925 0 | 60853 | 0 516.16/516.37 c 512s | 14 | 91925 | 61152 | 202925 0 | 60853 | 0 519.25/519.42 c 515s | 14 | 92278 | 61452 | 202925 0 | 60853 | 0 521.36/521.60 c 518s | 14 | 92495 | 61652 | 202925 0 | 60853 | 0 523.46/523.68 c 520s | 14 | 92727 | 61852 | 202925 0 | 60853 | 0 526.35/526.56 c 523s | 14 | 93081 | 62152 | 202925 0 | 60853 | 0 528.45/528.69 c 525s | 14 | 93300 | 62352 | 202925 0 | 60853 | 0 530.54/530.75 c 527s | 14 | 93539 | 62552 | 202925 0 | 60853 | 0 532.65/532.88 c 529s | 14 | 93767 | 62752 | 202925 0 | 60853 | 0 534.95/535.19 c 531s | 14 | 94082 | 63052 | 202925 0 | 60853 | 0 537.05/537.21 c 533s | 14 | 94318 | 63252 | 202925 0 | 60853 | 0 539.04/539.27 c 535s | 14 | 94556 | 63452 | 202925 0 | 60853 | 0 541.15/541.34 c 537s | 14 | 94812 | 63652 | 202925 0 | 60853 | 0 543.14/543.39 c 539s | 14 | 95049 | 63852 | 202925 0 | 60853 | 0 545.34/545.54 c 542s | 14 | 95276 | 64052 | 202925 0 | 60853 | 0 547.44/547.61 c 544s | 14 | 95514 | 64252 | 202925 0 | 60853 | 0 549.44/549.62 c 546s | 14 | 95742 | 64452 | 202925 0 | 60853 | 0 552.24/552.47 c 548s | 14 | 96077 | 64752 | 202925 0 | 60853 | 0 554.24/554.49 c 550s | 14 | 96312 | 64952 | 202925 0 | 60853 | 0 557.13/557.34 c 553s | 14 | 96639 | 65252 | 202925 0 | 60853 | 0 559.14/559.35 c 555s | 14 | 96854 | 65452 | 202925 0 | 60853 | 0 561.43/561.65 c 558s | 14 | 97060 | 65652 | 202925 0 | 60853 | 0 564.24/564.42 c 560s | 14 | 97268 | 65852 | 202925 0 | 60853 | 0 566.73/566.97 c 563s | 14 | 97504 | 66052 | 202925 0 | 60853 | 0 569.02/569.28 c 565s | 14 | 97737 | 66252 | 202925 0 | 60853 | 0 572.03/572.20 c 568s | 14 | 98068 | 66552 | 202925 0 | 60853 | 0 574.73/574.96 c 571s | 14 | 98435 | 66852 | 202925 0 | 60853 | 0 577.34/577.53 c 574s | 14 | 98800 | 67152 | 202925 0 | 60853 | 0 579.64/579.85 c 576s | 14 | 99167 | 67452 | 202925 0 | 60853 | 0 582.33/582.55 c 579s | 14 | 99520 | 67752 | 202925 0 | 60853 | 0 585.03/585.23 c 581s | 14 | 99835 | 68052 | 202925 0 | 60853 | 0 587.53/587.71 c 584s | 14 | 100168 | 68352 | 202925 0 | 60853 | 0 590.13/590.31 c 586s | 14 | 100506 | 68652 | 202925 0 | 60853 | 0 592.62/592.81 c 589s | 14 | 100853 | 68952 | 202925 0 | 60853 | 0 595.22/595.46 c 591s | 14 | 101191 | 69252 | 202925 0 | 60853 | 0 597.82/598.07 c 594s | 14 | 101536 | 69552 | 202925 0 | 60853 | 0 600.12/600.37 c 596s | 14 | 101872 | 69852 | 202925 0 | 60853 | 0 603.11/603.35 c 599s | 14 | 102234 | 70152 | 202925 0 | 60853 | 0 605.32/605.59 c 602s | 14 | 102466 | 70352 | 202925 0 | 60853 | 0 608.22/608.41 c 604s | 14 | 102813 | 70652 | 202925 0 | 60853 | 0 611.01/611.28 c 607s | 14 | 103130 | 70952 | 202925 0 | 60853 | 0 613.01/613.29 c 609s | 14 | 103343 | 71152 | 202925 0 | 60853 | 0 615.31/615.56 c 612s | 14 | 103565 | 71352 | 202925 0 | 60853 | 0 618.02/618.25 c 614s | 14 | 103900 | 71652 | 202925 0 | 60853 | 0 620.81/621.02 c 617s | 14 | 104202 | 71952 | 202925 0 | 60853 | 0 623.41/623.62 c 620s | 14 | 104523 | 72252 | 202925 0 | 60853 | 0 626.01/626.24 c 622s | 14 | 104866 | 72552 | 202925 0 | 60853 | 0 628.91/629.16 c 625s | 14 | 105217 | 72852 | 202925 0 | 60853 | 0 631.81/632.06 c 628s | 14 | 105571 | 73152 | 202925 0 | 60853 | 0 634.80/635.00 c 631s | 14 | 105889 | 73452 | 202925 0 | 60853 | 0 637.00/637.27 c 633s | 14 | 106097 | 73652 | 202925 0 | 60853 | 0 639.70/639.90 c 636s | 14 | 106410 | 73952 | 202925 0 | 60853 | 0 642.40/642.60 c 639s | 14 | 106733 | 74252 | 202925 0 | 60853 | 0 644.91/645.18 c 641s | 14 | 107042 | 74552 | 202925 0 | 60853 | 0 647.41/647.62 c 644s | 14 | 107348 | 74852 | 202925 0 | 60853 | 0 649.81/650.06 c 646s | 14 | 107656 | 75152 | 202925 0 | 60853 | 0 652.51/652.73 c 649s | 14 | 107962 | 75452 | 202925 0 | 60853 | 0 655.31/655.53 c 652s | 14 | 119871 | 75652 | 202925 0 | 60853 | 0 658.71/658.92 c 655s | 14 | 119972 | 75752 | 202925 0 | 60853 | 0 662.11/662.32 c 658s | 14 | 120068 | 75852 | 202925 0 | 60853 | 0 665.50/665.70 c 662s | 14 | 120168 | 75952 | 202925 0 | 60853 | 0 669.10/669.30 c 665s | 14 | 120733 | 76052 | 202925 0 | 60853 | 0 672.90/673.13 c 669s | 14 | 120829 | 76152 | 202925 0 | 60853 | 0 676.80/677.00 c 673s | 14 | 120931 | 76252 | 202925 0 | 60853 | 0 680.60/680.83 c 677s | 14 | 121035 | 76352 | 202925 0 | 60853 | 0 684.40/684.68 c 681s | 14 | 121128 | 76452 | 202925 0 | 60853 | 0 688.30/688.53 c 685s | 14 | 121231 | 76552 | 202925 0 | 60853 | 0 692.10/692.37 c 688s | 14 | 121335 | 76652 | 202925 0 | 60853 | 0 696.00/696.22 c 692s | 14 | 121436 | 76752 | 202925 0 | 60853 | 0 699.80/700.09 c 696s | 14 | 121529 | 76852 | 202925 0 | 60853 | 0 703.70/703.92 c 700s | 14 | 121635 | 76952 | 202925 0 | 60853 | 0 707.50/707.76 c 704s | 14 | 121738 | 77052 | 202925 0 | 60853 | 0 711.40/711.63 c 708s | 14 | 121837 | 77152 | 202925 0 | 60853 | 0 715.20/715.49 c 711s | 14 | 121930 | 77252 | 202925 0 | 60853 | 0 719.10/719.35 c 715s | 14 | 122040 | 77352 | 202925 0 | 60853 | 0 722.89/723.18 c 719s | 14 | 122130 | 77452 | 202925 0 | 60853 | 0 726.79/727.03 c 723s | 14 | 122231 | 77552 | 202925 0 | 60853 | 0 730.59/730.89 c 727s | 14 | 122336 | 77652 | 202925 0 | 60853 | 0 734.49/734.75 c 731s | 14 | 122431 | 77752 | 202925 0 | 60853 | 0 738.39/738.62 c 735s | 14 | 122535 | 77852 | 202925 0 | 60853 | 0 742.99/743.25 c 739s | 14 | 124496 | 77952 | 202925 0 | 60853 | 0 748.19/748.41 c 744s | 14 | 124597 | 78052 | 202925 0 | 60853 | 0 753.29/753.55 c 750s | 14 | 124699 | 78152 | 202925 0 | 60853 | 0 758.48/758.71 c 755s | 14 | 124795 | 78252 | 202925 0 | 60853 | 0 763.58/763.88 c 760s | 14 | 124896 | 78352 | 202925 0 | 60853 | 0 768.79/769.04 c 765s | 14 | 125000 | 78452 | 202925 0 | 60853 | 0 773.88/774.19 c 770s | 14 | 125094 | 78552 | 202925 0 | 60853 | 0 779.08/779.37 c 775s | 14 | 125196 | 78652 | 202925 0 | 60853 | 0 784.28/784.54 c 781s | 14 | 125298 | 78752 | 202925 0 | 60853 | 0 789.48/789.73 c 786s | 14 | 125399 | 78852 | 202925 0 | 60853 | 0 794.68/794.91 c 791s | 14 | 125501 | 78952 | 202925 0 | 60853 | 0 799.77/800.08 c 796s | 14 | 125597 | 79052 | 202925 0 | 60853 | 0 804.98/805.27 c 801s | 14 | 125696 | 79152 | 202925 0 | 60853 | 0 810.17/810.46 c 806s | 14 | 125797 | 79252 | 202925 0 | 60853 | 0 815.38/815.63 c 812s | 14 | 125895 | 79352 | 202925 0 | 60853 | 0 820.58/820.81 c 817s | 14 | 125997 | 79452 | 202925 0 | 60853 | 0 825.67/825.99 c 822s | 14 | 126098 | 79552 | 202925 0 | 60853 | 0 830.97/831.20 c 827s | 14 | 126200 | 79652 | 202925 0 | 60853 | 0 836.17/836.40 c 832s | 14 | 126297 | 79752 | 202925 0 | 60853 | 0 841.38/841.60 c 838s | 14 | 126396 | 79852 | 202925 0 | 60853 | 0 846.57/846.80 c 843s | 14 | 126500 | 79952 | 202925 0 | 60853 | 0 851.67/851.99 c 848s | 14 | 126595 | 80052 | 202925 0 | 60853 | 0 856.96/857.21 c 853s | 14 | 126698 | 80152 | 202925 0 | 60853 | 0 862.07/862.36 c 858s | 14 | 126795 | 80252 | 202925 0 | 60853 | 0 867.27/867.51 c 863s | 14 | 126897 | 80352 | 202925 0 | 60853 | 0 872.36/872.66 c 869s | 14 | 126999 | 80452 | 202925 0 | 60853 | 0 877.57/877.81 c 874s | 14 | 127095 | 80552 | 202925 0 | 60853 | 0 882.66/882.95 c 879s | 14 | 127195 | 80652 | 202925 0 | 60853 | 0 887.86/888.12 c 884s | 14 | 127300 | 80752 | 202925 0 | 60853 | 0 892.97/893.29 c 889s | 14 | 127396 | 80852 | 202925 0 | 60853 | 0 898.16/898.48 c 894s | 14 | 127501 | 80952 | 202925 0 | 60853 | 0 903.36/903.63 c 900s | 14 | 127602 | 81052 | 202925 0 | 60853 | 0 908.46/908.78 c 905s | 14 | 127707 | 81152 | 202925 0 | 60853 | 0 913.66/913.94 c 910s | 14 | 127804 | 81252 | 202925 0 | 60853 | 0 918.86/919.11 c 915s | 14 | 127902 | 81352 | 202925 0 | 60853 | 0 924.36/924.64 c 921s | 14 | 128006 | 81452 | 202925 0 | 60853 | 0 929.46/929.75 c 926s | 14 | 128102 | 81552 | 202925 0 | 60853 | 0 934.66/934.90 c 931s | 14 | 128205 | 81652 | 202925 0 | 60853 | 0 939.75/940.03 c 936s | 14 | 128300 | 81752 | 202925 0 | 60853 | 0 944.85/945.17 c 941s | 14 | 128405 | 81852 | 202925 0 | 60853 | 0 950.05/950.30 c 946s | 14 | 128506 | 81952 | 202925 0 | 60853 | 0 955.15/955.41 c 951s | 14 | 128604 | 82052 | 202925 0 | 60853 | 0 960.25/960.53 c 957s | 14 | 128706 | 82152 | 202925 0 | 60853 | 0 965.35/965.64 c 962s | 14 | 128804 | 82252 | 202925 0 | 60853 | 0 970.45/970.74 c 967s | 14 | 128903 | 82352 | 202925 0 | 60853 | 0 975.55/975.82 c 972s | 14 | 129004 | 82452 | 202925 0 | 60853 | 0 980.64/980.91 c 977s | 14 | 129104 | 82552 | 202925 0 | 60853 | 0 985.64/985.99 c 982s | 14 | 129205 | 82652 | 202925 0 | 60853 | 0 990.74/991.04 c 987s | 14 | 129307 | 82752 | 202925 0 | 60853 | 0 995.74/996.07 c 992s | 14 | 129404 | 82852 | 202925 0 | 60853 | 0 1000.75/1001.09 c 997s | 14 | 129503 | 82952 | 202925 0 | 60853 | 0 1005.74/1006.10 c 1002s | 14 | 129603 | 83052 | 202925 0 | 60853 | 0 1010.74/1011.08 c 1007s | 14 | 129704 | 83152 | 202925 0 | 60853 | 0 1015.74/1016.06 c 1012s | 14 | 129801 | 83252 | 202925 0 | 60853 | 0 1020.73/1021.04 c 1017s | 14 | 129903 | 83352 | 202925 0 | 60853 | 0 1025.73/1026.02 c 1022s | 14 | 130007 | 83452 | 202925 0 | 60853 | 0 1030.63/1030.97 c 1027s | 14 | 130104 | 83552 | 202925 0 | 60853 | 0 1035.63/1035.94 c 1032s | 14 | 130201 | 83652 | 202925 0 | 60853 | 0 1040.63/1040.91 c 1037s | 14 | 130303 | 83752 | 202925 0 | 60853 | 0 1045.53/1045.88 c 1042s | 14 | 130405 | 83852 | 202925 0 | 60853 | 0 1050.53/1050.85 c 1047s | 14 | 130504 | 83952 | 202925 0 | 60853 | 0 1055.53/1055.82 c 1052s | 14 | 130606 | 84052 | 202925 0 | 60853 | 0 1060.53/1060.81 c 1057s | 14 | 130707 | 84152 | 202925 0 | 60853 | 0 1065.43/1065.79 c 1062s | 14 | 130809 | 84252 | 202925 0 | 60853 | 0 1070.43/1070.78 c 1067s | 14 | 130907 | 84352 | 202925 0 | 60853 | 0 1075.43/1075.77 c 1072s | 14 | 131004 | 84452 | 202925 0 | 60853 | 0 1080.42/1080.78 c 1077s | 14 | 131106 | 84552 | 202925 0 | 60853 | 0 1085.43/1085.80 c 1082s | 14 | 131210 | 84652 | 202925 0 | 60853 | 0 1090.52/1090.80 c 1087s | 14 | 131308 | 84752 | 202925 0 | 60853 | 0 1095.43/1095.79 c 1092s | 14 | 131406 | 84852 | 202925 0 | 60853 | 0 1100.42/1100.79 c 1097s | 14 | 131508 | 84952 | 202925 0 | 60853 | 0 1105.42/1105.79 c 1102s | 14 | 131605 | 85052 | 202925 0 | 60853 | 0 1110.42/1110.79 c 1107s | 14 | 131705 | 85152 | 202925 0 | 60853 | 0 1115.52/1115.81 c 1112s | 14 | 131806 | 85252 | 202925 0 | 60853 | 0 1120.52/1120.83 c 1117s | 14 | 131905 | 85352 | 202925 0 | 60853 | 0 1125.51/1125.86 c 1122s | 14 | 132008 | 85452 | 202925 0 | 60853 | 0 1130.52/1130.86 c 1127s | 14 | 132108 | 85552 | 202925 0 | 60853 | 0 1135.51/1135.87 c 1132s | 14 | 132205 | 85652 | 202925 0 | 60853 | 0 1140.52/1140.89 c 1137s | 14 | 132306 | 85752 | 202925 0 | 60853 | 0 1145.61/1145.92 c 1142s | 14 | 132403 | 85852 | 202925 0 | 60853 | 0 1150.61/1150.91 c 1147s | 14 | 132511 | 85952 | 202925 0 | 60853 | 0 1155.51/1155.87 c 1152s | 14 | 132607 | 86052 | 202925 0 | 60853 | 0 1160.51/1160.84 c 1157s | 14 | 132705 | 86152 | 202925 0 | 60853 | 0 1165.52/1165.81 c 1162s | 14 | 132807 | 86252 | 202925 0 | 60853 | 0 1170.42/1170.79 c 1167s | 14 | 132906 | 86352 | 202925 0 | 60853 | 0 1175.41/1175.78 c 1172s | 14 | 133010 | 86452 | 202925 0 | 60853 | 0 1180.41/1180.76 c 1177s | 14 | 133105 | 86552 | 202925 0 | 60853 | 0 1185.41/1185.74 c 1182s | 14 | 133206 | 86652 | 202925 0 | 60853 | 0 1190.41/1190.73 c 1187s | 14 | 133311 | 86752 | 202925 0 | 60853 | 0 1195.42/1195.73 c 1192s | 14 | 133408 | 86852 | 202925 0 | 60853 | 0 1200.41/1200.73 c 1197s | 14 | 133514 | 86952 | 202925 0 | 60853 | 0 1205.41/1205.74 c 1202s | 14 | 133614 | 87052 | 223218 0 | 60853 | 0 1210.41/1210.74 c 1207s | 14 | 133711 | 87152 | 223218 0 | 60853 | 0 1215.41/1215.75 c 1212s | 14 | 133814 | 87252 | 223218 0 | 60853 | 0 1220.41/1220.75 c 1217s | 14 | 133911 | 87352 | 223218 0 | 60853 | 0 1225.40/1225.76 c 1222s | 14 | 134014 | 87452 | 223218 0 | 60853 | 0 1230.40/1230.76 c 1227s | 14 | 134114 | 87552 | 223218 0 | 60853 | 0 1234.50/1234.84 c 1231s | 15 | 134191 | 87632 | 223218 0 | 60853 | 0 1245.60/1245.94 c 1242s | 15 | 164683 | 87732 | 223218 0 | 60853 | 0 1252.00/1252.39 c 1248s | 15 | 164783 | 87832 | 223218 0 | 60853 | 0 1259.10/1259.46 c 1255s | 15 | 164896 | 87932 | 223218 0 | 60853 | 0 1267.50/1267.84 c 1264s | 15 | 165057 | 88032 | 223218 0 | 60853 | 0 1276.50/1276.82 c 1273s | 15 | 165304 | 88132 | 223218 0 | 60853 | 0 1283.19/1283.55 c 1280s | 15 | 165445 | 88232 | 223218 0 | 60853 | 0 1289.49/1289.86 c 1286s | 15 | 165552 | 88332 | 223218 0 | 60853 | 0 1296.89/1297.23 c 1293s | 15 | 165717 | 88432 | 223218 0 | 60853 | 0 1309.68/1310.05 c 1306s | 15 | 166197 | 88532 | 223218 0 | 60853 | 0 1317.18/1317.50 c 1313s | 15 | 166415 | 88632 | 223218 0 | 60853 | 0 1324.88/1325.20 c 1321s | 15 | 167349 | 88732 | 223218 0 | 60853 | 0 1332.19/1332.54 c 1329s | 15 | 167671 | 88832 | 223218 0 | 60853 | 0 1348.98/1349.33 c 1345s | 15 | 168191 | 88932 | 223218 0 | 60853 | 0 1360.49/1360.81 c 1357s | 15 | 168568 | 89032 | 223218 0 | 60853 | 0 1375.89/1376.25 c 1372s | 15 | 169316 | 89132 | 223218 0 | 60853 | 0 1404.77/1405.15 c 1401s | 15 | 169852 | 89232 | 223218 0 | 60853 | 0 1433.97/1434.40 c 1430s | 15 | 169989 | 89332 | 223218 0 | 60853 | 0 1465.86/1466.30 c 1462s | 15 | 170140 | 89432 | 223218 0 | 60853 | 0 1498.04/1498.45 c 1494s | 15 | 170497 | 89532 | 223218 0 | 60853 | 0 1528.54/1528.99 c 1525s | 15 | 170926 | 89632 | 223218 0 | 60853 | 0 1561.33/1561.76 c 1558s | 15 | 171214 | 89732 | 223218 0 | 60853 | 0 1590.34/1590.76 c 1587s | 15 | 171712 | 89832 | 223218 0 | 60853 | 0 1624.22/1624.64 c 1621s | 15 | 172211 | 89932 | 223218 0 | 60853 | 0 1659.52/1659.92 c 1656s | 15 | 172619 | 90032 | 223218 0 | 60853 | 0 1681.61/1682.01 c 1678s | 15 | 172985 | 90132 | 223218 0 | 60853 | 0 1711.41/1711.83 c 1708s | 15 | 173419 | 90232 | 223218 0 | 60853 | 0 1745.10/1745.53 c 1742s | 15 | 173672 | 90332 | 223218 0 | 60853 | 0 1778.59/1779.01 c 1775s | 15 | 173869 | 90432 | 223218 0 | 60853 | 0
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-4099969-1466209746/watcher-4099969-1466209746 -o /tmp/evaluation-result-4099969-1466209746/solver-4099969-1466209746 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099969-1466209746.opb pid=2316 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.12 2.09 2.02 5/179 2319 /proc/meminfo: memFree=30120504/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=703932 CPUtime=0 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 2623 0 0 0 0 0 0 0 20 0 4 0 23023849 720826368 2984 33554432000 4194304 16246674 140734031660544 140734031659968 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 176495 2991 441 2943 0 173389 0 [pid=2319/tid=2320] ppid=2316 vsize=721340 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 738652160 3053 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=725436 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 742846464 3070 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=729532 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 747040768 3086 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100127 s] /proc/loadavg: 2.12 2.09 2.02 5/179 2319 /proc/meminfo: memFree=30120504/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=1301060 CPUtime=0.09 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 28396 0 0 0 5 4 0 0 20 0 4 0 23023849 1332285440 28695 33554432000 4194304 16246674 140734031660544 140734031659856 8056990 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 325265 28711 799 2943 0 322159 0 [pid=2319/tid=2320] ppid=2316 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 1332285440 28722 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 1332285440 28734 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 1332285440 28745 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1301060 [startup+0.20048 s] /proc/loadavg: 2.12 2.09 2.02 5/179 2319 /proc/meminfo: memFree=30120504/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=1314372 CPUtime=0.19 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 47862 0 0 0 12 7 0 0 20 0 4 0 23023849 1345916928 48671 33554432000 4194304 16246674 140734031660544 140734031643536 8058930 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 328593 48671 799 2943 0 325487 0 [pid=2319/tid=2320] ppid=2316 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 1345916928 48671 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 1345916928 48671 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 1345916928 48671 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.300486 s] /proc/loadavg: 2.12 2.09 2.02 5/179 2319 /proc/meminfo: memFree=30120504/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 55525 0 0 0 21 8 0 0 20 0 4 0 23023849 1345916928 56334 33554432000 4194304 16246674 140734031660544 140734031643536 4222992 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 328593 56334 799 2943 0 325487 0 [pid=2319/tid=2320] ppid=2316 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 1345916928 56334 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 1345916928 56334 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 1345916928 56334 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700366 s] /proc/loadavg: 2.12 2.09 2.02 5/179 2319 /proc/meminfo: memFree=30120504/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=1314372 CPUtime=0.69 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 67941 0 0 0 59 10 0 0 20 0 4 0 23023849 1345916928 68750 33554432000 4194304 16246674 140734031660544 140734031643536 7374549 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 328593 68750 801 2943 0 325487 0 [pid=2319/tid=2320] ppid=2316 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 1345916928 68750 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 1345916928 68750 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 1345916928 68750 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.12 2.09 2.02 3/183 2323 /proc/meminfo: memFree=29839920/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=1380932 CPUtime=1.49 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 86641 0 0 0 136 13 0 0 20 0 4 0 23023849 1414074368 90516 33554432000 4194304 16246674 140734031660544 140734031659640 4221116 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 345233 90516 834 2943 0 342127 0 [pid=2319/tid=2320] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 90516 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 90516 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 90516 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1380932 [startup+3.10037 s] /proc/loadavg: 2.12 2.09 2.02 3/183 2323 /proc/meminfo: memFree=29733160/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=1380932 CPUtime=3.09 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 93501 0 0 0 295 14 0 0 20 0 4 0 23023849 1414074368 97376 33554432000 4194304 16246674 140734031660544 140734031659720 13763657 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 345233 97376 845 2943 0 342127 0 [pid=2319/tid=2320] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 97376 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 97376 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 97376 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1380932 [startup+6.30041 s] /proc/loadavg: 2.19 2.11 2.02 3/183 2323 /proc/meminfo: memFree=29427272/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=1380932 CPUtime=6.28 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 169916 0 0 0 604 24 0 0 20 0 4 0 23023849 1414074368 173791 33554432000 4194304 16246674 140734031660544 140734031642432 13780585 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 345233 173791 897 2943 0 342127 0 [pid=2319/tid=2320] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 173791 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 173791 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 173791 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1380932 [startup+12.7004 s] /proc/loadavg: 2.18 2.10 2.02 3/182 2323 /proc/meminfo: memFree=29405968/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=1380932 CPUtime=12.69 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 169916 0 0 0 1244 25 0 0 20 0 4 0 23023849 1414074368 173791 33554432000 4194304 16246674 140734031660544 140734031659720 5582168 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 345233 173791 897 2943 0 342127 0 [pid=2319/tid=2320] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 173791 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 173791 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 173791 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1380932 [startup+25.5005 s] /proc/loadavg: 2.22 2.11 2.03 3/183 2324 /proc/meminfo: memFree=29396428/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=1380932 CPUtime=25.48 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 172386 0 0 0 2523 25 0 0 20 0 4 0 23023849 1414074368 176261 33554432000 4194304 16246674 140734031660544 140734031659720 13752941 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 345233 176261 897 2943 0 342127 0 [pid=2319/tid=2320] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 176261 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 176261 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 176261 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1380932 [startup+51.1005 s] /proc/loadavg: 2.30 2.14 2.04 3/183 2324 /proc/meminfo: memFree=28965876/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=1380932 CPUtime=51.09 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 280064 0 0 0 5067 42 0 0 20 0 4 0 23023849 1414074368 283939 33554432000 4194304 16246674 140734031660544 140734031642432 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 345233 283939 897 2943 0 342127 0 [pid=2319/tid=2320] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 283939 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 283939 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 283939 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1380932 [startup+102.301 s] /proc/loadavg: 2.27 2.15 2.04 3/184 2328 /proc/meminfo: memFree=28954648/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=1380932 CPUtime=102.28 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 282853 0 0 0 10184 44 0 0 20 0 4 0 23023849 1414074368 286728 33554432000 4194304 16246674 140734031660544 140734031642432 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 345233 286728 897 2943 0 342127 0 [pid=2319/tid=2320] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 286728 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 286728 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=1380932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 1414074368 286728 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1380932 ################ # More data... # ################ /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 2269712384 495866 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 2216516 [startup+1362.3 s] /proc/loadavg: 2.04 2.05 2.03 3/183 2408 /proc/meminfo: memFree=28051224/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=2359876 CPUtime=1361.98 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 527575 0 0 0 136087 111 0 0 20 0 4 0 23023849 2416513024 531525 33554432000 4194304 16246674 140734031660544 140734031659720 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 589969 531525 899 2943 0 586863 0 [pid=2319/tid=2320] ppid=2316 vsize=2359876 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 2416513024 531525 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=2359876 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 2416513024 531525 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=2359876 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 2416513024 531525 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 2359876 [startup+1422.3 s] /proc/loadavg: 2.10 2.07 2.03 3/183 2409 /proc/meminfo: memFree=27912624/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=2497092 CPUtime=1421.98 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 562035 0 0 0 142079 119 0 0 20 0 4 0 23023849 2557022208 565985 33554432000 4194304 16246674 140734031660544 140734031659720 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 624273 565985 899 2943 0 621167 0 [pid=2319/tid=2320] ppid=2316 vsize=2497092 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 2557022208 565985 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=2497092 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 2557022208 565985 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=2497092 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 2557022208 565985 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 2497092 [startup+1482.3 s] /proc/loadavg: 2.04 2.05 2.03 3/183 2410 /proc/meminfo: memFree=27893796/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=2516548 CPUtime=1481.95 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 566759 0 0 0 148070 125 0 0 20 0 4 0 23023849 2576945152 570696 33554432000 4194304 16246674 140734031660544 140734031642432 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 629137 570696 899 2943 0 626031 0 [pid=2319/tid=2320] ppid=2316 vsize=2516548 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 2576945152 570696 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=2516548 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 2576945152 570696 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=2516548 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 2576945152 570696 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 2516548 [startup+1542.31 s] /proc/loadavg: 2.07 2.06 2.03 3/183 2412 /proc/meminfo: memFree=27877824/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=2532932 CPUtime=1541.94 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 570868 0 0 0 154065 129 0 0 20 0 4 0 23023849 2593722368 574794 33554432000 4194304 16246674 140734031660544 140734031659720 5711968 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 633233 574794 899 2943 0 630127 0 [pid=2319/tid=2320] ppid=2316 vsize=2532932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 2593722368 574794 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=2532932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 2593722368 574794 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=2532932 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 2593722368 574794 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 2532932 [startup+1602.3 s] /proc/loadavg: 2.15 2.08 2.03 3/183 2413 /proc/meminfo: memFree=27860732/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=2548292 CPUtime=1601.93 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 574900 0 0 0 160059 134 0 0 20 0 4 0 23023849 2609451008 578826 33554432000 4194304 16246674 140734031660544 140734031642432 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 637073 578826 899 2943 0 633967 0 [pid=2319/tid=2320] ppid=2316 vsize=2548292 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 2609451008 578826 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=2548292 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 2609451008 578826 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=2548292 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 2609451008 578826 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 2548292 [startup+1662.3 s] /proc/loadavg: 2.10 2.08 2.03 3/183 2414 /proc/meminfo: memFree=27830860/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=2579012 CPUtime=1661.91 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 582408 0 0 0 166052 139 0 0 20 0 4 0 23023849 2640908288 586322 33554432000 4194304 16246674 140734031660544 140734031659720 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 644753 586322 899 2943 0 641647 0 [pid=2319/tid=2320] ppid=2316 vsize=2579012 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 2640908288 586322 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=2579012 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 2640908288 586322 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=2579012 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 2640908288 586322 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 2579012 [startup+1722.3 s] /proc/loadavg: 2.13 2.09 2.03 3/183 2415 /proc/meminfo: memFree=27816336/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=2591300 CPUtime=1721.91 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 585664 0 0 0 172047 144 0 0 20 0 4 0 23023849 2653491200 589578 33554432000 4194304 16246674 140734031660544 140734031642432 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 647825 589578 899 2943 0 644719 0 [pid=2319/tid=2320] ppid=2316 vsize=2591300 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 2653491200 589578 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=2591300 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 2653491200 589578 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=2591300 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 2653491200 589578 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 2591300 [startup+1782.3 s] /proc/loadavg: 2.15 2.10 2.04 3/183 2416 /proc/meminfo: memFree=27800660/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=2606660 CPUtime=1781.89 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 589504 0 0 0 178041 148 0 0 20 0 4 0 23023849 2669219840 593418 33554432000 4194304 16246674 140734031660544 140734031659720 5711968 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 651665 593418 899 2943 0 648559 0 [pid=2319/tid=2320] ppid=2316 vsize=2606660 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 2669219840 593418 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=2606660 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 2669219840 593418 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=2606660 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 2669219840 593418 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 2606660 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.11 2.09 2.04 3/183 2416 /proc/meminfo: memFree=27786868/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=2620996 CPUtime=1800.09 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 593088 0 0 0 179859 150 0 0 20 0 4 0 23023849 2683899904 597002 33554432000 4194304 16246674 140734031660544 140734031642432 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 655249 597002 899 2943 0 652143 0 [pid=2319/tid=2320] ppid=2316 vsize=2620996 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 2683899904 597002 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=2620996 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 2683899904 597002 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=2620996 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 2683899904 597002 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 2620996 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 2319 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.11 2.09 2.04 3/183 2416 /proc/meminfo: memFree=27786868/32872528 swapFree=681964/737152 [pid=2319] ppid=2316 vsize=2620996 CPUtime=1800.09 cores=0,2,4,6 /proc/2319/stat : 2319 (toysat) R 2316 2319 1377 0 -1 4202496 593088 0 0 0 179859 150 0 0 20 0 4 0 23023849 2683899904 597002 33554432000 4194304 16246674 140734031660544 140734031642432 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2319/statm: 655249 597002 899 2943 0 652143 0 [pid=2319/tid=2320] ppid=2316 vsize=2620996 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2320/stat : 2320 (toysat) S 2316 2319 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23023849 2683899904 597002 33554432000 4194304 16246674 140734031660544 140102662597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=2319/tid=2321] ppid=2316 vsize=2620996 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2321/stat : 2321 (toysat) S 2316 2319 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23023849 2683899904 597002 33554432000 4194304 16246674 140734031660544 140102652108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=2319/tid=2322] ppid=2316 vsize=2620996 CPUtime=0 cores=0,2,4,6 /proc/2319/task/2322/stat : 2322 (toysat) S 2316 2319 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23023849 2683899904 597002 33554432000 4194304 16246674 140734031660544 140102571388080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 2620996 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.11 CPU user time (s): 1798.6 CPU system time (s): 1.50877 CPU usage (%): 99.9773 Max. virtual memory (cumulated for all children) (KiB): 2620996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.6 system time used= 1.50877 maximum resident set size= 2388008 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 593088 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= 319 involuntary context switches= 2043 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.66683 second user time and 8.88865 second system time The end
Begin job on node112 at 2016-06-18 02:29:06 IDJOB=4099969 IDBENCH=1557 IDSOLVER=2542 FILE ID=node112/4099969-1466209746 RUNJOBID= node112-1466206100-1394 PBS_JOBID= 19918164 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3700.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099969-1466209746/watcher-4099969-1466209746 -o /tmp/evaluation-result-4099969-1466209746/solver-4099969-1466209746 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099969-1466209746.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5e0d90a4cb8c7b885a60ac97183595d3 RANDOM SEED=1458824809 node112.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.734 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.46 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.734 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.734 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 : 5321.48 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.734 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.734 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.734 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.734 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.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30124384 kB Buffers: 40924 kB Cached: 116804 kB SwapCached: 1940 kB Active: 1240676 kB Inactive: 65540 kB Active(anon): 1149448 kB Inactive(anon): 1528 kB Active(file): 91228 kB Inactive(file): 64012 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096920 kB Dirty: 22912 kB Writeback: 0 kB AnonPages: 2008124 kB Mapped: 10876 kB Shmem: 0 kB Slab: 570592 kB SReclaimable: 14740 kB SUnreclaim: 555852 kB KernelStack: 1520 kB PageTables: 7832 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2030884 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1318912 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71676 MiB End job on node112 at 2016-06-18 02:59:07