| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | UNSAT | 661.968 | 662.28 |
| Name | PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n94-d3-i2-r2.cnf.gz-plain.pb.metafix.opb |
| MD5SUM | 651e6e4d56f2f5ed63e52f29c55253d1 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 6.11907 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 141 |
| Total number of constraints | 376 |
| Number of constraints which are clauses | 376 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 5 |
| Number of bits of the biggest sum of numbers | 3 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-30T20:09:12+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-4120162-1467310152.opb"] 0.00/0.01 c use --random-gen="2944677597 2550368339 2871538195 2262219047 120671985 712780685 2911891490 3536602968 3759173166 189445462 1377863479 2334313676 3827036865 1339580301 1361491330 317589564 3558614194 2849540682 177947272 506474392 3554314047 4210510036 733988634 1966776794 3830367721 403093581 2701483073 1315624285 12909482 1861895141 4042357540 3095309406 836490527 2328540079 3391415843 980659186 355081809 4240664420 474171605 325070570 463645037 118483740 25207017 285033142 3900544967 1979911042 2082905136 2445202732 2303435415 1482691963 212170206 3624797303 3893670822 1247897715 3253587439 4232177230 526225140 2471779641 1216737717 4267981168 2255900022 2776330082 2732008831 2186414910 1615715598 1906936471 2299272210 3570071865 3480225056 1940173315 1724327832 2763062211 3497146195 1505209793 2668827927 3963952544 1057655 2761977347 3611441102 2406413927 1032099303 2087361332 577389210 2634947385 1001789343 2248628531 2089045861 1598479098 2988029621 1859687654 2998936922 4042257055 2398959738 3804217726 34122619 814790917 1350510712 272282974 1073082006 3632501186 1535340563 2614742667 2419280259 1175960580 2205978817 2673125885 3827870563 334954653 2305806252 2951132051 2402636753 3031557665 2798603715 197470051 4029514314 4221461312 2724325147 4227396922 3657686161 1008783243 2460079843 689394132 1770935382 550338642 398148551 2224294318 2773822310 79756422 2303658027 1103942768 2350180947 2983147934 3312785293 4181679066 1040305842 419696414 2718848073 59623028 2007274100 2555621243 2254089385 4200526297 3364944531 3799277692 3371275879 2159630098 1396568944 1203404242 1916765304 3666313382 4081464411 3701458862 104608286 4135252143 3561329454 3081390276 1192033356 1233333629 4244038418 1966469271 800682310 2981797449 3151212351 1242276686 2251368623 2514120192 3693071567 2586203848 2588797926 2397472767 3886216266 407564505 2688009064 3346830243 4031670697 3606452065 1004946472 867035685 229780806 2140069632 3662426357 1745289835 906674782 2508911828 2890006195 2674792134 776095004 2149250804 3891238916 2367060408 328401449 1574200658 3747368114 1330274384 202545216 3695350666 55845488 2655147841 3396816399 1433565032 2733542867 2608108309 1416787467 3517933168 3838611183 63378416 2385583806 384734790 663434902 2997218902 3715422995 1301777995 3995943096 2964060101 1602554062 997300205 3237009270 458643611 844982549 1348193747 2944426250 3877465384 1080142676 1718281466 1560383801 4228757630 4066121 357959332 3575743981 1368909273 8630630 1164086131 2309268472 2250568419 4110976700 761712170 785953698 2586630764 4278276148 610010046 2625030887 3386754798 2712336530 1487729223 3295752916 4002701081 3377460096 1533839852 959236787 3910886208 2224680543 3665605971 1797966127 1305940000 3516715084 3546590937 255 362436" option to reproduce the execution 0.00/0.01 c #vars 141 0.00/0.01 c #constraints 376 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 172 0 | 0 | 0 0.00/0.03 c 0.0s | 1 | 223 | 100 | 172 0 | 0 | 0 0.00/0.04 c 0.0s | 2 | 445 | 250 | 190 0 | 0 | 0 0.00/0.06 c 0.0s | 3 | 836 | 475 | 210 2 | 0 | 0 0.00/0.09 c 0.1s | 4 | 1270 | 813 | 232 4 | 0 | 0 0.08/0.13 c 0.1s | 5 | 2086 | 1320 | 256 7 | 0 | 0 0.19/0.20 c 0.2s | 6 | 3082 | 2081 | 311 12 | 0 | 0 0.28/0.30 c 0.3s | 7 | 4740 | 3223 | 343 18 | 0 | 0 0.39/0.46 c 0.4s | 8 | 7002 | 4936 | 378 28 | 0 | 0 0.59/0.67 c 0.7s | 9 | 10882 | 7506 | 416 40 | 0 | 0 0.99/1.03 c 1.0s | 10 | 16674 | 11361 | 458 58 | 0 | 0 1.48/1.51 c 1.5s | 11 | 22975 | 17144 | 504 82 | 0 | 0 2.08/2.14 c 2.1s | 12 | 35094 | 25819 | 555 114 | 0 | 0 2.88/3.00 c 3.0s | 13 | 54758 | 38832 | 611 160 | 0 | 0 4.29/4.32 c 4.3s | 14 | 82233 | 58352 | 673 222 | 0 | 0 6.29/6.33 c 6.3s | 14 | 119685 | 86652 | 673 304 | 0 | 0 6.29/6.39 c 6.4s | 15 | 121021 | 87632 | 741 306 | 0 | 0 8.39/8.40 c 8.4s | 15 | 163954 | 117632 | 741 386 | 0 | 0 9.29/9.32 c 9.3s | 16 | 184047 | 131552 | 816 422 | 0 | 0 11.29/11.33 c 11.3s | 16 | 226183 | 161052 | 816 493 | 0 | 0 13.29/13.33 c 13.3s | 16 | 268604 | 190852 | 816 565 | 0 | 0 13.68/13.76 c 13.7s | 17 | 278895 | 197432 | 898 581 | 0 | 0 15.68/15.77 c 15.7s | 17 | 316745 | 224732 | 898 641 | 0 | 0 17.69/17.77 c 17.7s | 17 | 351812 | 250832 | 898 698 | 0 | 0 19.68/19.77 c 19.8s | 17 | 390671 | 278032 | 898 758 | 0 | 0 21.08/21.11 c 21.1s | 18 | 414664 | 296252 | 988 797 | 0 | 0 23.09/23.11 c 23.1s | 18 | 450945 | 322152 | 988 849 | 0 | 0 25.08/25.11 c 25.1s | 18 | 484777 | 347152 | 988 899 | 0 | 0 27.08/27.11 c 27.1s | 18 | 521067 | 373252 | 988 951 | 0 | 0 29.09/29.12 c 29.1s | 18 | 554053 | 397952 | 988 1001 | 0 | 0 31.09/31.13 c 31.1s | 18 | 589680 | 424052 | 988 1053 | 0 | 0 32.78/32.80 c 32.8s | 19 | 617998 | 444482 | 1087 1093 | 0 | 0 34.78/34.80 c 34.8s | 19 | 653039 | 470082 | 1087 1139 | 0 | 0 36.78/36.81 c 36.8s | 19 | 689060 | 496682 | 1087 1188 | 0 | 0 38.78/38.82 c 38.8s | 19 | 723176 | 521782 | 1087 1234 | 0 | 0 40.79/40.82 c 40.8s | 19 | 757360 | 547482 | 1087 1280 | 0 | 0 42.78/42.83 c 42.8s | 19 | 795028 | 574482 | 1087 1330 | 0 | 0 44.78/44.83 c 44.8s | 19 | 832179 | 601382 | 1087 1379 | 0 | 0 46.78/46.84 c 46.8s | 19 | 868647 | 628082 | 1087 1428 | 0 | 0 48.78/48.84 c 48.8s | 19 | 901549 | 653882 | 1087 1475 | 0 | 0 49.78/49.85 c 49.8s | 20 | 919119 | 666827 | 1196 1497 | 0 | 0 51.79/51.85 c 51.8s | 20 | 949984 | 690127 | 1196 1536 | 0 | 0 53.78/53.86 c 53.8s | 20 | 983691 | 713927 | 1196 1575 | 0 | 0 55.78/55.86 c 55.8s | 20 | 1018466 | 739227 | 1196 1617 | 0 | 0 57.78/57.86 c 57.8s | 20 | 1054597 | 764827 | 1196 1660 | 0 | 0 59.78/59.87 c 59.8s | 20 | 1090962 | 790227 | 1196 1702 | 0 | 0 61.78/61.87 c 61.9s | 20 | 1129343 | 816127 | 1196 1745 | 0 | 0 63.78/63.87 c 63.9s | 20 | 1165082 | 842127 | 1196 1788 | 0 | 0 65.78/65.88 c 65.9s | 20 | 1201487 | 867527 | 1196 1830 | 0 | 0 67.77/67.88 c 67.9s | 20 | 1235722 | 892827 | 1196 1872 | 0 | 0 69.77/69.89 c 69.9s | 20 | 1271954 | 918927 | 1196 1915 | 0 | 0 71.77/71.89 c 71.9s | 20 | 1308001 | 944827 | 1196 1958 | 0 | 0 73.78/73.89 c 73.9s | 20 | 1341960 | 969627 | 1196 1999 | 0 | 0 75.77/75.90 c 75.9s | 20 | 1375532 | 994727 | 1316 2041 | 0 | 0 76.27/76.35 c 76.3s | 21 | 1383498 | 1000345 | 1316 2049 | 0 | 0 78.27/78.35 c 78.3s | 21 | 1415733 | 1024745 | 1316 2086 | 0 | 0 80.28/80.35 c 80.3s | 21 | 1449309 | 1049945 | 1316 2124 | 0 | 0 82.27/82.35 c 82.3s | 21 | 1484887 | 1075345 | 1316 2162 | 0 | 0 84.28/84.36 c 84.3s | 21 | 1516842 | 1099945 | 1316 2199 | 0 | 0 86.27/86.36 c 86.3s | 21 | 1551148 | 1123645 | 1316 2235 | 0 | 0 88.27/88.37 c 88.3s | 21 | 1583698 | 1148345 | 1316 2272 | 0 | 0 90.28/90.37 c 90.3s | 21 | 1615018 | 1172245 | 1316 2308 | 0 | 0 92.27/92.37 c 92.4s | 21 | 1646487 | 1195945 | 1316 2344 | 0 | 0 94.27/94.38 c 94.4s | 21 | 1678775 | 1219345 | 1316 2379 | 0 | 0 96.27/96.38 c 96.4s | 21 | 1714165 | 1244545 | 1316 2417 | 0 | 0 98.27/98.38 c 98.4s | 21 | 1748238 | 1270045 | 1316 2456 | 0 | 0 100.27/100.39 c 100s | 21 | 1779801 | 1294645 | 1316 2493 | 0 | 0 102.28/102.39 c 102s | 21 | 1814007 | 1320145 | 1316 2532 | 0 | 0 104.37/104.40 c 104s | 21 | 1847716 | 1345045 | 1316 2569 | 0 | 0 106.37/106.41 c 106s | 21 | 1883509 | 1370345 | 1316 2607 | 0 | 0 108.37/108.41 c 108s | 21 | 1914688 | 1393945 | 1316 2643 | 0 | 0 110.37/110.42 c 110s | 21 | 1947161 | 1418245 | 1316 2680 | 0 | 0 112.36/112.42 c 112s | 21 | 1980222 | 1442645 | 1316 2717 | 0 | 0 114.37/114.43 c 114s | 21 | 2012530 | 1466745 | 1316 2753 | 0 | 0 116.36/116.44 c 116s | 21 | 2044716 | 1490945 | 1448 2789 | 0 | 0 117.16/117.25 c 117s | 22 | 2057722 | 1500622 | 1448 2803 | 0 | 0 119.16/119.25 c 119s | 22 | 2083060 | 1520522 | 1448 2830 | 0 | 0 121.16/121.25 c 121s | 22 | 2113034 | 1541622 | 1448 2858 | 0 | 0 123.17/123.26 c 123s | 22 | 2142995 | 1563022 | 1448 2888 | 0 | 0 125.16/125.26 c 125s | 22 | 2173571 | 1585422 | 1448 2918 | 0 | 0 127.16/127.26 c 127s | 22 | 2203257 | 1607322 | 1448 2948 | 0 | 0 129.16/129.27 c 129s | 22 | 2231258 | 1628622 | 1448 2977 | 0 | 0 131.16/131.27 c 131s | 22 | 2262259 | 1650722 | 1448 3007 | 0 | 0 133.17/133.28 c 133s | 22 | 2292584 | 1672422 | 1448 3037 | 0 | 0 135.16/135.29 c 135s | 22 | 2321045 | 1693122 | 1448 3065 | 0 | 0 137.16/137.29 c 137s | 22 | 2351386 | 1715722 | 1448 3096 | 0 | 0 139.16/139.29 c 139s | 22 | 2380800 | 1738722 | 1448 3128 | 0 | 0 141.26/141.30 c 141s | 22 | 2411086 | 1761422 | 1448 3159 | 0 | 0 143.26/143.30 c 143s | 22 | 2438967 | 1782622 | 1448 3188 | 0 | 0 145.26/145.31 c 145s | 22 | 2469530 | 1805122 | 1448 3219 | 0 | 0 147.25/147.31 c 147s | 22 | 2499515 | 1827522 | 1448 3249 | 0 | 0 149.25/149.31 c 149s | 22 | 2528547 | 1849622 | 1448 3280 | 0 | 0 151.25/151.32 c 151s | 22 | 2558439 | 1872122 | 1448 3311 | 0 | 0 153.25/153.33 c 153s | 22 | 2589940 | 1895422 | 1448 3343 | 0 | 0 155.25/155.33 c 155s | 22 | 2619867 | 1917822 | 1448 3373 | 0 | 0 157.25/157.34 c 157s | 22 | 2649153 | 1939822 | 1448 3404 | 0 | 0 159.25/159.35 c 159s | 22 | 2679950 | 1962322 | 1448 3434 | 0 | 0 161.25/161.35 c 161s | 22 | 2710464 | 1985222 | 1448 3466 | 0 | 0 163.25/163.36 c 163s | 22 | 2736660 | 2006522 | 1448 3495 | 0 | 0 165.24/165.37 c 165s | 22 | 2766536 | 2028622 | 1448 3525 | 0 | 0 167.25/167.37 c 167s | 22 | 2792363 | 2048322 | 1448 3553 | 0 | 0 169.24/169.37 c 169s | 22 | 2821687 | 2070022 | 1448 3582 | 0 | 0 171.25/171.38 c 171s | 22 | 2849808 | 2090922 | 1448 3611 | 0 | 0 173.25/173.39 c 173s | 22 | 2880456 | 2114422 | 1448 3643 | 0 | 0 175.24/175.39 c 175s | 22 | 2913513 | 2139222 | 1448 3677 | 0 | 0 177.24/177.40 c 177s | 22 | 2945103 | 2163222 | 1448 3710 | 0 | 0 179.25/179.40 c 179s | 22 | 2976561 | 2187322 | 1448 3743 | 0 | 0 181.34/181.40 c 181s | 22 | 3007678 | 2210522 | 1448 3775 | 0 | 0 183.34/183.40 c 183s | 22 | 3035703 | 2231622 | 1448 3804 | 0 | 0 185.14/185.26 c 185s | 23 | 3062840 | 2251038 | 1593 3829 | 0 | 0 187.14/187.26 c 187s | 23 | 3089315 | 2271038 | 1593 3854 | 0 | 0 189.14/189.26 c 189s | 23 | 3117848 | 2292238 | 1593 3880 | 0 | 0 191.14/191.28 c 191s | 23 | 3143597 | 2312638 | 1593 3906 | 0 | 0 193.13/193.28 c 193s | 23 | 3174481 | 2334938 | 1593 3933 | 0 | 0 195.13/195.29 c 195s | 23 | 3204142 | 2356138 | 1593 3960 | 0 | 0 197.13/197.29 c 197s | 23 | 3232307 | 2377038 | 1593 3986 | 0 | 0 199.23/199.30 c 199s | 23 | 3257267 | 2396938 | 1593 4011 | 0 | 0 201.23/201.31 c 201s | 23 | 3283850 | 2417138 | 1593 4036 | 0 | 0 203.23/203.31 c 203s | 23 | 3313246 | 2439038 | 1593 4063 | 0 | 0 205.22/205.31 c 205s | 23 | 3338595 | 2459438 | 1593 4089 | 0 | 0 207.23/207.31 c 207s | 23 | 3365726 | 2480438 | 1593 4115 | 0 | 0 209.23/209.32 c 209s | 23 | 3392020 | 2501138 | 1593 4141 | 0 | 0 211.23/211.32 c 211s | 23 | 3417792 | 2521838 | 1593 4166 | 0 | 0 213.23/213.33 c 213s | 23 | 3444664 | 2543138 | 1593 4193 | 0 | 0 215.22/215.34 c 215s | 23 | 3471047 | 2563838 | 1593 4218 | 0 | 0 217.22/217.35 c 217s | 23 | 3498280 | 2583338 | 1593 4243 | 0 | 0 219.22/219.36 c 219s | 23 | 3524754 | 2603138 | 1593 4267 | 0 | 0 221.22/221.37 c 221s | 23 | 3549675 | 2622338 | 1593 4291 | 0 | 0 223.22/223.37 c 223s | 23 | 3576549 | 2642038 | 1593 4316 | 0 | 0 225.22/225.38 c 225s | 23 | 3605990 | 2663438 | 1593 4343 | 0 | 0 227.21/227.39 c 227s | 23 | 3636176 | 2685838 | 1593 4371 | 0 | 0 229.22/229.39 c 229s | 23 | 3662970 | 2707438 | 1593 4398 | 0 | 0 231.22/231.40 c 231s | 23 | 3692230 | 2729638 | 1593 4425 | 0 | 0 233.32/233.40 c 233s | 23 | 3723655 | 2753138 | 1593 4455 | 0 | 0 235.22/235.40 c 235s | 23 | 3754586 | 2776238 | 1593 4484 | 0 | 0 237.32/237.40 c 237s | 23 | 3787246 | 2800138 | 1593 4514 | 0 | 0 239.32/239.41 c 239s | 23 | 3813789 | 2821438 | 1593 4540 | 0 | 0 241.32/241.41 c 241s | 23 | 3845602 | 2844338 | 1593 4569 | 0 | 0 243.32/243.41 c 243s | 23 | 3875283 | 2866638 | 1593 4596 | 0 | 0 245.32/245.42 c 245s | 23 | 3904906 | 2888938 | 1593 4624 | 0 | 0 247.31/247.42 c 247s | 23 | 3936047 | 2911738 | 1593 4653 | 0 | 0 249.31/249.42 c 249s | 23 | 3966057 | 2933738 | 1593 4680 | 0 | 0 251.31/251.43 c 251s | 23 | 3997629 | 2957038 | 1593 4709 | 0 | 0 253.31/253.44 c 253s | 23 | 4023439 | 2977538 | 1593 4735 | 0 | 0 255.31/255.44 c 255s | 23 | 4055244 | 3000038 | 1593 4763 | 0 | 0 257.32/257.45 c 257s | 23 | 4086271 | 3023338 | 1593 4792 | 0 | 0 259.31/259.45 c 259s | 23 | 4119044 | 3047038 | 1593 4822 | 0 | 0 261.31/261.45 c 261s | 23 | 4149601 | 3069338 | 1593 4850 | 0 | 0 263.31/263.46 c 263s | 23 | 4177350 | 3091038 | 1593 4877 | 0 | 0 265.31/265.47 c 265s | 23 | 4208394 | 3113438 | 1593 4905 | 0 | 0 267.31/267.47 c 267s | 23 | 4240013 | 3136738 | 1593 4934 | 0 | 0 269.30/269.47 c 269s | 23 | 4273095 | 3160738 | 1593 4964 | 0 | 0 271.30/271.48 c 271s | 23 | 4308276 | 3185938 | 1593 4996 | 0 | 0 273.30/273.48 c 273s | 23 | 4342980 | 3211138 | 1593 5027 | 0 | 0 275.31/275.48 c 275s | 23 | 4373197 | 3234438 | 1593 5056 | 0 | 0 277.31/277.49 c 277s | 23 | 4403611 | 3257038 | 1593 5085 | 0 | 0 279.31/279.49 c 279s | 23 | 4429515 | 3277638 | 1593 5110 | 0 | 0 281.41/281.50 c 281s | 23 | 4455964 | 3298638 | 1593 5136 | 0 | 0 283.41/283.51 c 283s | 23 | 4484252 | 3320738 | 1593 5164 | 0 | 0 285.40/285.51 c 285s | 23 | 4515201 | 3343838 | 1593 5193 | 0 | 0 287.40/287.52 c 287s | 23 | 4544905 | 3366338 | 1753 5219 | 0 | 0 288.30/288.45 c 288s | 24 | 4558829 | 3376662 | 1753 5231 | 0 | 0 290.30/290.45 c 290s | 24 | 4590545 | 3400062 | 1753 5258 | 0 | 0 292.29/292.46 c 292s | 24 | 4622355 | 3422862 | 1753 5284 | 0 | 0 294.29/294.46 c 294s | 24 | 4651192 | 3444262 | 1753 5308 | 0 | 0 296.29/296.47 c 296s | 24 | 4679687 | 3465562 | 1753 5332 | 0 | 0 298.29/298.47 c 298s | 24 | 4709319 | 3487662 | 1753 5357 | 0 | 0 300.30/300.47 c 300s | 24 | 4739245 | 3510262 | 1753 5383 | 0 | 0 302.29/302.48 c 302s | 24 | 4765168 | 3530862 | 1753 5406 | 0 | 0 304.29/304.48 c 304s | 24 | 4793006 | 3551962 | 1753 5430 | 0 | 0 306.29/306.48 c 306s | 24 | 4821582 | 3573862 | 1753 5455 | 0 | 0 308.29/308.48 c 308s | 24 | 4849965 | 3595762 | 1753 5480 | 0 | 0 310.28/310.49 c 310s | 24 | 4878805 | 3617862 | 1753 5505 | 0 | 0 312.29/312.50 c 312s | 24 | 4907486 | 3639362 | 1753 5529 | 0 | 0 314.38/314.50 c 314s | 24 | 4936569 | 3661162 | 1753 5554 | 0 | 0 316.38/316.50 c 316s | 24 | 4963157 | 3682562 | 1753 5579 | 0 | 0 318.38/318.51 c 318s | 24 | 4993769 | 3705362 | 1753 5604 | 0 | 0 320.38/320.51 c 320s | 24 | 5026018 | 3728762 | 1753 5631 | 0 | 0 322.38/322.52 c 322s | 24 | 5057114 | 3752162 | 1753 5658 | 0 | 0 324.39/324.52 c 324s | 24 | 5090984 | 3776462 | 1753 5685 | 0 | 0 326.38/326.52 c 326s | 24 | 5121309 | 3799262 | 1753 5711 | 0 | 0 328.38/328.52 c 328s | 24 | 5152306 | 3822262 | 1753 5737 | 0 | 0 330.38/330.53 c 330s | 24 | 5185960 | 3845562 | 1753 5764 | 0 | 0 332.38/332.53 c 332s | 24 | 5217192 | 3868962 | 1753 5791 | 0 | 0 334.39/334.54 c 334s | 24 | 5246852 | 3891662 | 1753 5816 | 0 | 0 336.38/336.54 c 336s | 24 | 5279495 | 3915962 | 1753 5844 | 0 | 0 338.38/338.55 c 338s | 24 | 5311926 | 3939662 | 1753 5871 | 0 | 0 340.38/340.55 c 340s | 24 | 5340986 | 3962162 | 1753 5897 | 0 | 0 342.37/342.55 c 342s | 24 | 5372080 | 3985362 | 1753 5923 | 0 | 0 344.37/344.56 c 344s | 24 | 5402534 | 4007662 | 1753 5948 | 0 | 0 346.38/346.56 c 346s | 24 | 5430098 | 4029062 | 1753 5973 | 0 | 0 348.37/348.56 c 348s | 24 | 5459464 | 4051162 | 1753 5998 | 0 | 0 350.37/350.56 c 350s | 24 | 5488783 | 4073462 | 1753 6023 | 0 | 0 352.37/352.57 c 352s | 24 | 5519099 | 4096362 | 1753 6049 | 0 | 0 354.37/354.57 c 354s | 24 | 5548017 | 4118062 | 1753 6074 | 0 | 0 356.36/356.58 c 356s | 24 | 5574903 | 4139162 | 1753 6098 | 0 | 0 358.36/358.58 c 358s | 24 | 5604738 | 4160962 | 1753 6122 | 0 | 0 360.36/360.58 c 360s | 24 | 5633645 | 4182662 | 1753 6147 | 0 | 0 362.36/362.59 c 362s | 24 | 5663197 | 4204462 | 1753 6172 | 0 | 0 364.36/364.60 c 364s | 24 | 5694519 | 4226962 | 1753 6197 | 0 | 0 366.36/366.60 c 366s | 24 | 5725067 | 4248662 | 1753 6222 | 0 | 0 368.37/368.60 c 368s | 24 | 5755261 | 4270762 | 1753 6247 | 0 | 0 370.46/370.61 c 370s | 24 | 5784364 | 4292762 | 1753 6272 | 0 | 0 372.46/372.61 c 372s | 24 | 5813447 | 4314662 | 1753 6297 | 0 | 0 374.46/374.62 c 374s | 24 | 5844354 | 4337762 | 1753 6323 | 0 | 0 376.45/376.62 c 376s | 24 | 5876467 | 4360362 | 1753 6349 | 0 | 0 378.45/378.62 c 378s | 24 | 5908633 | 4383462 | 1753 6375 | 0 | 0 380.45/380.63 c 380s | 24 | 5939523 | 4405662 | 1753 6401 | 0 | 0 382.44/382.64 c 382s | 24 | 5968957 | 4427962 | 1753 6426 | 0 | 0 384.44/384.64 c 384s | 24 | 5999146 | 4450762 | 1753 6452 | 0 | 0 386.44/386.65 c 386s | 24 | 6026521 | 4472062 | 1753 6476 | 0 | 0 388.44/388.65 c 388s | 24 | 6052592 | 4493562 | 1753 6500 | 0 | 0 390.44/390.67 c 390s | 24 | 6081617 | 4514762 | 1753 6525 | 0 | 0 392.44/392.67 c 392s | 24 | 6110678 | 4537262 | 1753 6550 | 0 | 0 394.44/394.67 c 394s | 24 | 6143019 | 4561162 | 1753 6577 | 0 | 0 396.44/396.67 c 396s | 24 | 6174411 | 4584462 | 1753 6604 | 0 | 0 398.44/398.68 c 398s | 24 | 6203781 | 4606762 | 1753 6629 | 0 | 0 400.44/400.68 c 400s | 24 | 6234305 | 4629362 | 1753 6655 | 0 | 0 402.45/402.69 c 402s | 24 | 6266271 | 4653362 | 1753 6682 | 0 | 0 404.44/404.70 c 404s | 24 | 6297909 | 4677062 | 1753 6709 | 0 | 0 406.53/406.70 c 406s | 24 | 6330229 | 4700962 | 1753 6736 | 0 | 0 408.53/408.70 c 408s | 24 | 6361070 | 4724162 | 1753 6762 | 0 | 0 410.53/410.70 c 410s | 24 | 6391968 | 4747262 | 1753 6788 | 0 | 0 412.53/412.72 c 412s | 24 | 6425170 | 4772062 | 1753 6817 | 0 | 0 414.53/414.72 c 414s | 24 | 6457275 | 4795962 | 1753 6844 | 0 | 0 416.52/416.73 c 416s | 24 | 6488973 | 4819262 | 1753 6870 | 0 | 0 418.52/418.73 c 418s | 24 | 6519333 | 4841762 | 1753 6895 | 0 | 0 420.52/420.74 c 420s | 24 | 6549018 | 4864162 | 1753 6920 | 1 | 4 422.53/422.74 c 422s | 24 | 6574867 | 4884862 | 1753 6944 | 1 | 4 424.53/424.75 c 424s | 24 | 6600284 | 4905262 | 1753 6967 | 1 | 4 426.52/426.75 c 426s | 24 | 6626331 | 4925462 | 1753 6990 | 1 | 4 428.52/428.76 c 428s | 24 | 6654108 | 4946362 | 1753 7013 | 1 | 4 430.52/430.76 c 430s | 24 | 6680132 | 4966862 | 1753 7037 | 1 | 4 432.52/432.77 c 432s | 24 | 6706482 | 4986962 | 1753 7059 | 1 | 4 434.51/434.77 c 434s | 24 | 6732145 | 5007062 | 1753 7082 | 1 | 4 436.52/436.77 c 436s | 24 | 6760911 | 5027762 | 1753 7106 | 1 | 4 438.51/438.77 c 438s | 24 | 6787177 | 5046962 | 1929 7125 | 1 | 4 440.41/440.63 c 440s | 25 | 6811609 | 5065098 | 1929 7144 | 1 | 4 442.41/442.63 c 442s | 25 | 6837448 | 5084998 | 1929 7165 | 1 | 4 444.41/444.64 c 444s | 25 | 6864720 | 5105998 | 1929 7186 | 1 | 4 446.41/446.64 c 446s | 25 | 6893428 | 5127098 | 1929 7208 | 1 | 4 448.40/448.64 c 448s | 25 | 6919789 | 5147598 | 1929 7229 | 1 | 4 450.40/450.65 c 450s | 25 | 6947690 | 5168498 | 1929 7251 | 1 | 4 452.40/452.65 c 452s | 25 | 6976655 | 5190298 | 1929 7273 | 1 | 4 454.40/454.66 c 454s | 25 | 7006884 | 5212798 | 1929 7296 | 1 | 4 456.40/456.67 c 456s | 25 | 7036083 | 5233898 | 1929 7318 | 1 | 4 458.40/458.67 c 458s | 25 | 7063089 | 5254398 | 1929 7339 | 1 | 4 460.40/460.68 c 460s | 25 | 7089775 | 5274498 | 1929 7360 | 1 | 4 462.40/462.68 c 462s | 25 | 7117105 | 5294898 | 1929 7381 | 1 | 4 464.40/464.68 c 464s | 25 | 7143886 | 5315898 | 1929 7403 | 1 | 4 466.40/466.68 c 466s | 25 | 7170064 | 5335998 | 1929 7424 | 1 | 4 468.40/468.68 c 468s | 25 | 7196079 | 5355898 | 1929 7444 | 1 | 4 470.39/470.69 c 470s | 25 | 7225202 | 5377198 | 1929 7466 | 1 | 4 472.39/472.69 c 472s | 25 | 7253396 | 5397998 | 1929 7488 | 1 | 4 474.49/474.70 c 474s | 25 | 7280178 | 5418198 | 1929 7508 | 1 | 4 476.49/476.70 c 476s | 25 | 7306556 | 5438098 | 1929 7529 | 1 | 4 478.49/478.71 c 478s | 25 | 7333572 | 5458098 | 1929 7550 | 1 | 4 480.49/480.72 c 480s | 25 | 7357942 | 5477298 | 1929 7569 | 1 | 4 482.48/482.73 c 482s | 25 | 7380760 | 5495798 | 1929 7589 | 1 | 4 484.48/484.73 c 484s | 25 | 7405728 | 5514898 | 1929 7608 | 1 | 4 486.48/486.74 c 486s | 25 | 7427692 | 5532398 | 1929 7626 | 1 | 4 488.48/488.74 c 488s | 25 | 7447612 | 5549398 | 1929 7644 | 1 | 4 490.48/490.74 c 490s | 25 | 7471230 | 5568098 | 1929 7663 | 1 | 4 492.48/492.74 c 492s | 25 | 7492283 | 5585298 | 1929 7681 | 1 | 4 494.48/494.75 c 494s | 25 | 7517253 | 5603998 | 1929 7700 | 1 | 4 496.47/496.76 c 496s | 25 | 7537931 | 5621198 | 1929 7718 | 1 | 4 498.47/498.78 c 498s | 25 | 7559407 | 5638098 | 1929 7736 | 1 | 4 500.47/500.78 c 500s | 25 | 7583383 | 5655698 | 1929 7754 | 1 | 4 502.48/502.78 c 502s | 25 | 7606035 | 5673998 | 1929 7773 | 1 | 4 504.48/504.79 c 504s | 25 | 7629547 | 5692698 | 1929 7792 | 1 | 4 506.47/506.79 c 506s | 25 | 7654368 | 5712398 | 1929 7812 | 1 | 4 508.57/508.80 c 508s | 25 | 7678724 | 5731798 | 1929 7832 | 1 | 4 510.57/510.81 c 510s | 25 | 7703817 | 5750898 | 1929 7852 | 1 | 4 512.57/512.81 c 512s | 25 | 7728760 | 5769798 | 1929 7872 | 1 | 4 514.58/514.82 c 514s | 25 | 7754612 | 5790098 | 1929 7893 | 1 | 4 516.56/516.82 c 516s | 25 | 7780433 | 5810398 | 1929 7914 | 1 | 4 518.56/518.82 c 518s | 25 | 7804822 | 5829898 | 1929 7934 | 1 | 4 520.56/520.83 c 520s | 25 | 7829838 | 5848798 | 1929 7953 | 1 | 4 522.56/522.83 c 522s | 25 | 7854608 | 5867798 | 1929 7973 | 1 | 4 524.57/524.83 c 524s | 25 | 7882402 | 5888398 | 1929 7994 | 1 | 4 526.56/526.84 c 526s | 25 | 7909101 | 5908898 | 1929 8016 | 1 | 4 528.56/528.85 c 528s | 25 | 7936507 | 5929598 | 1929 8037 | 1 | 4 530.56/530.85 c 530s | 25 | 7962385 | 5948998 | 1929 8057 | 1 | 4 532.56/532.86 c 532s | 25 | 7989966 | 5968498 | 1929 8077 | 1 | 4 534.55/534.86 c 534s | 25 | 8018604 | 5990098 | 1929 8100 | 1 | 4 536.56/536.87 c 536s | 25 | 8044659 | 6010198 | 1929 8120 | 1 | 4 538.55/538.88 c 538s | 25 | 8070796 | 6030698 | 1929 8142 | 1 | 4 540.55/540.88 c 540s | 25 | 8097772 | 6050898 | 1929 8162 | 1 | 4 542.55/542.89 c 542s | 25 | 8123827 | 6070798 | 1929 8183 | 1 | 4 544.65/544.91 c 544s | 25 | 8153212 | 6091798 | 1929 8205 | 1 | 4 546.65/546.91 c 546s | 25 | 8180473 | 6112098 | 1929 8226 | 1 | 4 548.65/548.92 c 548s | 25 | 8209003 | 6132498 | 1929 8247 | 1 | 4 550.65/550.92 c 550s | 25 | 8236425 | 6152998 | 1929 8268 | 1 | 4 552.65/552.92 c 552s | 25 | 8263470 | 6173298 | 1929 8289 | 1 | 4 554.64/554.93 c 554s | 25 | 8292822 | 6194498 | 1929 8311 | 1 | 4 556.64/556.94 c 556s | 25 | 8320797 | 6215098 | 1929 8332 | 1 | 4 558.65/558.94 c 558s | 25 | 8350042 | 6236098 | 1929 8353 | 1 | 4 560.64/560.95 c 560s | 25 | 8377835 | 6255398 | 1929 8373 | 1 | 4 562.64/562.96 c 562s | 25 | 8403596 | 6274998 | 1929 8394 | 1 | 4 564.64/564.97 c 564s | 25 | 8431070 | 6295098 | 1929 8414 | 1 | 4 566.63/566.97 c 566s | 25 | 8458353 | 6315498 | 1929 8435 | 1 | 4 568.63/568.98 c 568s | 25 | 8484197 | 6335698 | 1929 8456 | 1 | 4 570.64/570.99 c 570s | 25 | 8512424 | 6357198 | 1929 8478 | 1 | 4 572.63/572.99 c 572s | 25 | 8539973 | 6377798 | 1929 8500 | 1 | 4 574.73/575.01 c 574s | 25 | 8568958 | 6398998 | 1929 8522 | 1 | 4 576.72/577.02 c 576s | 25 | 8596511 | 6419598 | 1929 8543 | 1 | 4 578.72/579.02 c 578s | 25 | 8624710 | 6441298 | 1929 8565 | 1 | 4 580.72/581.03 c 581s | 25 | 8653312 | 6462698 | 1929 8587 | 1 | 4 582.73/583.04 c 583s | 25 | 8681030 | 6483898 | 1929 8609 | 1 | 4 584.72/585.04 c 585s | 25 | 8708504 | 6504298 | 1929 8630 | 1 | 4 586.72/587.05 c 587s | 25 | 8736894 | 6525898 | 1929 8652 | 1 | 4 588.72/589.05 c 589s | 25 | 8759043 | 6544298 | 1929 8671 | 2 | 8 590.72/591.05 c 591s | 25 | 8783062 | 6563398 | 1929 8690 | 2 | 8 592.73/593.05 c 593s | 25 | 8809707 | 6583298 | 1929 8711 | 2 | 8 594.72/595.06 c 595s | 25 | 8835011 | 6603198 | 1929 8731 | 2 | 8 596.72/597.07 c 597s | 25 | 8863582 | 6624598 | 1929 8754 | 2 | 8 598.72/599.08 c 599s | 25 | 8893493 | 6646298 | 1929 8776 | 2 | 8 600.72/601.08 c 601s | 25 | 8923937 | 6668298 | 1929 8799 | 2 | 8 602.72/603.09 c 603s | 25 | 8949814 | 6687898 | 1929 8819 | 2 | 8 604.72/605.09 c 605s | 25 | 8976607 | 6707498 | 1929 8839 | 2 | 8 606.71/607.09 c 607s | 25 | 9007439 | 6729298 | 1929 8862 | 2 | 8 608.81/609.10 c 609s | 25 | 9038441 | 6751498 | 1929 8885 | 2 | 8 610.81/611.11 c 611s | 25 | 9069683 | 6774298 | 1929 8908 | 2 | 8 612.81/613.11 c 613s | 25 | 9099160 | 6795798 | 1929 8930 | 2 | 8 614.81/615.12 c 615s | 25 | 9128808 | 6816798 | 1929 8952 | 2 | 8 616.81/617.12 c 617s | 25 | 9160501 | 6839298 | 1929 8975 | 2 | 8 618.80/619.13 c 619s | 25 | 9189660 | 6860998 | 1929 8998 | 2 | 8 620.80/621.13 c 621s | 25 | 9218243 | 6882198 | 1929 9020 | 2 | 8 622.80/623.14 c 623s | 25 | 9249061 | 6903998 | 1929 9042 | 2 | 8 624.80/625.14 c 625s | 25 | 9276572 | 6924898 | 1929 9064 | 2 | 8 626.80/627.14 c 627s | 25 | 9307426 | 6947798 | 1929 9087 | 2 | 8 628.79/629.15 c 629s | 25 | 9339348 | 6970698 | 1929 9111 | 2 | 8 630.79/631.15 c 631s | 25 | 9369578 | 6992998 | 1929 9134 | 2 | 8 632.79/633.15 c 633s | 25 | 9398460 | 7014698 | 1929 9156 | 3 | 12 634.79/635.15 c 635s | 25 | 9427260 | 7036398 | 1929 9178 | 3 | 12 636.79/637.16 c 637s | 25 | 9454855 | 7057298 | 1929 9200 | 3 | 12 638.79/639.17 c 639s | 25 | 9482947 | 7078898 | 1929 9222 | 3 | 12 640.79/641.17 c 641s | 25 | 9510098 | 7099898 | 1929 9243 | 3 | 12 642.78/643.18 c 643s | 25 | 9540246 | 7122298 | 1929 9267 | 3 | 12 644.78/645.18 c 645s | 25 | 9569736 | 7144498 | 1929 9288 | 4 | 16 646.78/647.19 c 647s | 25 | 9598064 | 7165398 | 1929 9310 | 4 | 16 648.79/649.19 c 649s | 25 | 9626389 | 7187198 | 1929 9332 | 4 | 16 650.78/651.19 c 651s | 25 | 9653312 | 7208298 | 1929 9354 | 4 | 16 652.88/653.20 c 653s | 25 | 9681874 | 7230398 | 1929 9375 | 5 | 20 654.89/655.20 c 655s | 25 | 9711531 | 7252498 | 1929 9397 | 6 | 24 656.88/657.21 c 657s | 25 | 9736579 | 7271998 | 1929 9417 | 6 | 24 658.88/659.21 c 659s | 25 | 9761328 | 7291098 | 1929 9436 | 6 | 24 660.89/661.21 c 661s | 25 | 9789008 | 7312898 | 1929 9457 | 8 | 32 661.89/662.27 c 662s | 25 | 9804593 | 7325089 | 1929 9467 | 23 | 80 661.89/662.27 c #cpu_time = 662.041s 661.89/662.27 c #wall_clock_time = 662.250s 661.89/662.27 c #decision = 9804593 661.89/662.27 c #random_decision = 47462 661.89/662.27 c #conflict = 7325089 661.89/662.27 c #restart = 25 661.89/662.27 s UNSATISFIABLE 661.89/662.27 c total CPU time = 662.062s 661.89/662.27 c total wall clock time = 662.270s
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-4120162-1467310152/watcher-4120162-1467310152 -o /tmp/evaluation-result-4120162-1467310152/solver-4120162-1467310152 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16108 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120162-1467310152.opb pid=16581 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.33 2.28 2.04 3/179 16584 /proc/meminfo: memFree=28011556/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=427452 CPUtime=0 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 1540 0 0 0 0 0 0 0 20 0 4 0 11976016 437710848 1902 33554432000 4194304 16246674 140736027526672 140736027526096 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 107375 1910 441 2943 0 104269 0 [pid=16584/tid=16585] ppid=16581 vsize=444860 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 455536640 1971 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=448956 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 459730944 1989 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=454076 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11976017 464973824 2006 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100154 s] /proc/loadavg: 2.33 2.28 2.04 3/179 16584 /proc/meminfo: memFree=28011556/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 25004 0 0 0 5 3 0 0 20 0 4 0 11976016 1247350784 25355 33554432000 4194304 16246674 140736027526672 140736027526096 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 304529 25365 707 2943 0 301423 0 [pid=16584/tid=16585] ppid=16581 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1247350784 25371 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1247350784 25378 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11976017 1247350784 25387 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200521 s] /proc/loadavg: 2.33 2.28 2.04 3/179 16584 /proc/meminfo: memFree=28011556/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 48822 0 0 0 12 7 0 0 20 0 4 0 11976016 1247350784 49172 33554432000 4194304 16246674 140736027526672 140736027526096 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 304529 49187 707 2943 0 301423 0 [pid=16584/tid=16585] ppid=16581 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1247350784 49195 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1247350784 49197 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11976017 1247350784 49200 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300499 s] /proc/loadavg: 2.33 2.28 2.04 3/179 16584 /proc/meminfo: memFree=28011556/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1218116 CPUtime=0.28 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 72429 0 0 0 18 10 0 0 20 0 4 0 11976016 1247350784 72780 33554432000 4194304 16246674 140736027526672 140736027526096 12478189 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 304529 72792 707 2943 0 301423 0 [pid=16584/tid=16585] ppid=16581 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1247350784 72798 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1247350784 72804 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11976017 1247350784 72811 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700393 s] /proc/loadavg: 2.33 2.28 2.04 3/179 16584 /proc/meminfo: memFree=28011556/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 165039 0 0 0 46 23 0 0 20 0 4 0 11976016 1247350784 165390 33554432000 4194304 16246674 140736027526672 140736027509672 6010073 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 304529 165401 707 2943 0 301423 0 [pid=16584/tid=16585] ppid=16581 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1247350784 165411 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1247350784 165417 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11976017 1247350784 165422 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50038 s] /proc/loadavg: 2.33 2.28 2.04 3/183 16588 /proc/meminfo: memFree=27029356/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1219140 CPUtime=1.48 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 245607 0 0 0 116 32 0 0 20 0 4 0 11976016 1248399360 245937 33554432000 4194304 16246674 140736027526672 140736027525984 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 304785 245937 786 2943 0 301679 0 [pid=16584/tid=16585] ppid=16581 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1248399360 245937 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1248399360 245937 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11976017 1248399360 245937 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1219140 [startup+3.10038 s] /proc/loadavg: 2.33 2.28 2.04 3/183 16588 /proc/meminfo: memFree=26941812/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1306180 CPUtime=3.08 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 267424 0 0 0 273 35 0 0 20 0 4 0 11976016 1337528320 267754 33554432000 4194304 16246674 140736027526672 140736027509672 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 326545 267754 786 2943 0 323439 0 [pid=16584/tid=16585] ppid=16581 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1337528320 267754 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1337528320 267754 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11976017 1337528320 267754 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1306180 [startup+6.30038 s] /proc/loadavg: 2.39 2.29 2.05 4/183 16588 /proc/meminfo: memFree=26941200/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 267455 0 0 0 593 36 0 0 20 0 4 0 11976016 1337528320 267785 33554432000 4194304 16246674 140736027526672 140736027508544 5546252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 326545 267785 786 2943 0 323439 0 [pid=16584/tid=16585] ppid=16581 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1337528320 267785 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1337528320 267785 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11976017 1337528320 267785 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.36 2.28 2.05 3/183 16588 /proc/meminfo: memFree=26941028/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1306180 CPUtime=12.69 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 267479 0 0 0 1233 36 0 0 20 0 4 0 11976016 1337528320 267809 33554432000 4194304 16246674 140736027526672 140736027509672 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 326545 267809 786 2943 0 323439 0 [pid=16584/tid=16585] ppid=16581 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1337528320 267809 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1337528320 267809 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11976017 1337528320 267809 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.28 2.27 2.05 3/183 16588 /proc/meminfo: memFree=26941064/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1307204 CPUtime=25.48 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 267655 0 0 0 2512 36 0 0 20 0 4 0 11976016 1338576896 268240 33554432000 4194304 16246674 140736027526672 140736027508544 5661285 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 326801 268240 788 2943 0 323695 0 [pid=16584/tid=16585] ppid=16581 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1338576896 268240 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1338576896 268240 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11976017 1338576896 268240 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1307204 [startup+51.1005 s] /proc/loadavg: 2.26 2.26 2.05 4/184 16591 /proc/meminfo: memFree=26940580/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1307204 CPUtime=51.08 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 267655 0 0 0 5071 37 0 0 20 0 4 0 11976016 1338576896 268240 33554432000 4194304 16246674 140736027526672 140736027509672 5677884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 326801 268240 788 2943 0 323695 0 [pid=16584/tid=16585] ppid=16581 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1338576896 268240 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1338576896 268240 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11976017 1338576896 268240 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1307204 [startup+102.301 s] /proc/loadavg: 2.16 2.23 2.05 3/184 16593 /proc/meminfo: memFree=26940280/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1307204 CPUtime=102.28 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 267741 0 0 0 10189 39 0 0 20 0 4 0 11976016 1338576896 268317 33554432000 4194304 16246674 140736027526672 140736027508544 5721529 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 326801 268317 788 2943 0 323695 0 [pid=16584/tid=16585] ppid=16581 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1338576896 268317 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1338576896 268317 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11976017 1338576896 268317 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1307204 ################ # More data... # ################ /proc/16584/statm: 327057 268531 789 2943 0 323951 0 [pid=16584/tid=16585] ppid=16581 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1339625472 268531 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1339625472 268531 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11976017 1339625472 268531 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 1308228 [startup+462.3 s] /proc/loadavg: 2.16 2.18 2.08 3/183 16601 /proc/meminfo: memFree=26939340/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1308228 CPUtime=462.1 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 268129 0 0 0 46160 50 0 0 20 0 4 0 11976016 1339625472 268531 33554432000 4194304 16246674 140736027526672 140736027509672 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 327057 268531 789 2943 0 323951 0 [pid=16584/tid=16585] ppid=16581 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1339625472 268531 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1339625472 268531 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11976017 1339625472 268531 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 1308228 [startup+522.3 s] /proc/loadavg: 2.20 2.19 2.09 3/183 16602 /proc/meminfo: memFree=26939168/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1308228 CPUtime=522.06 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 268175 0 0 0 52155 51 0 0 20 0 4 0 11976016 1339625472 268531 33554432000 4194304 16246674 140736027526672 140736027508544 5827838 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 327057 268531 789 2943 0 323951 0 [pid=16584/tid=16585] ppid=16581 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1339625472 268531 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1339625472 268531 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11976017 1339625472 268531 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 1308228 [startup+582.3 s] /proc/loadavg: 2.12 2.17 2.09 3/183 16651 /proc/meminfo: memFree=26942740/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1308228 CPUtime=582.02 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 268222 0 0 0 58151 51 0 0 20 0 4 0 11976016 1339625472 268531 33554432000 4194304 16246674 140736027526672 140736027509672 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 327057 268531 789 2943 0 323951 0 [pid=16584/tid=16585] ppid=16581 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1339625472 268531 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1339625472 268531 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11976017 1339625472 268531 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 1308228 [startup+642.3 s] /proc/loadavg: 2.28 2.20 2.10 3/183 16652 /proc/meminfo: memFree=26940616/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1309252 CPUtime=641.99 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 268593 0 0 0 64147 52 0 0 20 0 4 0 11976016 1340674048 268863 33554432000 4194304 16246674 140736027526672 140736027508544 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 327313 268863 789 2943 0 324207 0 [pid=16584/tid=16585] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 1309252 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 16584 sig 9 ??? kill -16584 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+652.8 s] /proc/loadavg: 2.24 2.19 2.10 3/184 16656 /proc/meminfo: memFree=26939676/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1309252 CPUtime=652.48 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 268598 0 0 0 65196 52 0 0 20 0 4 0 11976016 1340674048 268863 33554432000 4194304 16246674 140736027526672 140736027509672 5523091 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 327313 268863 789 2943 0 324207 0 [pid=16584/tid=16585] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 652.48 Current children cumulated vsize (KiB) 1309252 [startup+659.2 s] /proc/loadavg: 2.22 2.19 2.10 3/184 16656 /proc/meminfo: memFree=26939932/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1309252 CPUtime=658.88 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 268606 0 0 0 65835 53 0 0 20 0 4 0 11976016 1340674048 268863 33554432000 4194304 16246674 140736027526672 140736027508544 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 327313 268863 789 2943 0 324207 0 [pid=16584/tid=16585] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 658.88 Current children cumulated vsize (KiB) 1309252 [startup+660.8 s] /proc/loadavg: 2.20 2.18 2.10 3/184 16656 /proc/meminfo: memFree=26939932/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1309252 CPUtime=660.48 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 268606 0 0 0 65995 53 0 0 20 0 4 0 11976016 1340674048 268863 33554432000 4194304 16246674 140736027526672 140736027508544 5754767 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 327313 268863 789 2943 0 324207 0 [pid=16584/tid=16585] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 660.48 Current children cumulated vsize (KiB) 1309252 [startup+661.6 s] /proc/loadavg: 2.20 2.18 2.10 3/184 16656 /proc/meminfo: memFree=26940056/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1309252 CPUtime=661.28 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 268606 0 0 0 66075 53 0 0 20 0 4 0 11976016 1340674048 268863 33554432000 4194304 16246674 140736027526672 140736027508544 6861672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 327313 268863 789 2943 0 324207 0 [pid=16584/tid=16585] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 661.28 Current children cumulated vsize (KiB) 1309252 [startup+662 s] /proc/loadavg: 2.20 2.18 2.10 3/184 16656 /proc/meminfo: memFree=26940056/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1309252 CPUtime=661.68 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 268606 0 0 0 66115 53 0 0 20 0 4 0 11976016 1340674048 268863 33554432000 4194304 16246674 140736027526672 140736027508544 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 327313 268863 789 2943 0 324207 0 [pid=16584/tid=16585] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 661.68 Current children cumulated vsize (KiB) 1309252 [startup+662.2 s] /proc/loadavg: 2.20 2.18 2.10 3/184 16656 /proc/meminfo: memFree=26940060/32872528 swapFree=1254912/1391860 [pid=16584] ppid=16581 vsize=1309252 CPUtime=661.89 cores=1,3,5,7 /proc/16584/stat : 16584 (toysat) R 16581 16584 16091 0 -1 4202496 268606 0 0 0 66136 53 0 0 20 0 4 0 11976016 1340674048 268863 33554432000 4194304 16246674 140736027526672 140736027508544 13906983 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16584/statm: 327313 268863 789 2943 0 324207 0 [pid=16584/tid=16585] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16585/stat : 16585 (toysat) S 16581 16584 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424915168496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=16584/tid=16586] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16586/stat : 16586 (toysat) S 16581 16584 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424828136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=16584/tid=16587] ppid=16581 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/16584/task/16587/stat : 16587 (toysat) S 16581 16584 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11976017 1340674048 268863 33554432000 4194304 16246674 140736027526672 140424817663152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 661.89 Current children cumulated vsize (KiB) 1309252 Child status: 0 Real time (s): 662.28 CPU time (s): 661.968 CPU user time (s): 661.428 CPU system time (s): 0.539917 CPU usage (%): 99.9529 Max. virtual memory (cumulated for all children) (KiB): 1309252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 661.428 system time used= 0.539917 maximum resident set size= 1075464 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268611 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= 349 involuntary context switches= 664 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.65175 second user time and 2.5986 second system time The end
Begin job on node119 at 2016-06-30 20:09:12 IDJOB=4120162 IDBENCH=109737 IDSOLVER=2542 FILE ID=node119/4120162-1467310152 RUNJOBID= node119-1467308805-16108 PBS_JOBID= 20005280 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i2-r2.cnf.gz-plain.pb.metafix.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120162-1467310152/watcher-4120162-1467310152 -o /tmp/evaluation-result-4120162-1467310152/solver-4120162-1467310152 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16108 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120162-1467310152.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 651e6e4d56f2f5ed63e52f29c55253d1 RANDOM SEED=104769360 node119.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.444 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.88 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.444 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.444 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 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.444 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.444 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.444 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.444 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: 28011912 kB Buffers: 197820 kB Cached: 1430752 kB SwapCached: 0 kB Active: 1346252 kB Inactive: 1373456 kB Active(anon): 1088036 kB Inactive(anon): 5936 kB Active(file): 258216 kB Inactive(file): 1367520 kB Unevictable: 1391860 kB Mlocked: 1254912 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 16676 kB Writeback: 0 kB AnonPages: 2485288 kB Mapped: 17104 kB Shmem: 204 kB Slab: 612276 kB SReclaimable: 55840 kB SUnreclaim: 556436 kB KernelStack: 1520 kB PageTables: 8500 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2617596 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1214464 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= 71700 MiB End job on node119 at 2016-06-30 20:20:14