Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
toysat 2016-05-02 | OPTIMUM | 587.621 | 587.71 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo |
MD5SUM | 765d2479315862ebcb627a16e181d11d |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.314952 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 110 |
Total number of constraints | 21 |
Number of soft constraints | 21 |
Number of constraints which are clauses | 11 |
Number of constraints which are cardinality constraints (but not clauses) | 10 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 11 |
Top cost | 827 |
Min constraint cost | 1 |
Max constraint cost | 88 |
Sum of constraints costs | 826 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 12 |
Number of bits of the biggest sum of numbers | 4 |
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-16T18:04:40+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093706-1466093080.wbo"] 0.00/0.01 c use --random-gen="1875842948 1935512709 4193733082 448377904 3840156876 2868584801 1514831145 2851973946 4170270476 3063168769 89897910 828949203 2501990655 3011457447 3174364173 3197237115 617673101 1961230905 425578516 1563781481 4266475644 3523042456 4195260072 2195994112 2534837756 474966331 2491999173 1769114078 1151940116 1635283512 589534668 2767545026 2249424695 3361552530 3474831227 1534869041 2936671128 2928131260 652285644 3404948301 2478747421 1390614963 130089564 821960512 3509887663 1008578268 1857912028 2576797810 2799830311 1767159317 1911740961 3001674154 3878788908 1726635850 973007767 4208438077 340146993 2064689950 2402084905 787655983 605791468 4262170789 123179690 773825447 2327172310 3530094545 2949910930 4203534291 3400620961 2969250811 1335902626 769053362 975867840 3430631682 3704076949 2371656545 1740874132 3090783292 1284739665 2921344726 3703257223 914462654 2319549953 1597540320 3130661256 4199334763 3272497525 42812538 1264353933 138016093 2405204420 1433230897 1322873613 3268880306 1951833697 736536768 2168424536 3275868272 2158010803 1857915605 164997785 1811776811 2692711528 3662954236 1678743944 3271860632 1935113654 2204929197 2741976198 8558809 3601994507 161124919 3154232271 652627939 3166745297 466137941 2471600397 3854819307 3183675895 3833072061 2730320622 1074755879 2593878419 4248432825 4106107230 1592092975 1397220471 3854776670 257441131 1004016969 1418142459 3780266693 3898426802 3411476721 992124752 51637457 1998119301 830994822 583345701 1334738326 3352532247 3366992848 2860487588 4099989609 1299047358 2485210089 146725619 2769790591 1983724030 598180797 2411529468 1997448057 4294558367 1614655597 4189948040 4181652176 3558663015 2357780247 2437998392 1573184649 1264086897 2601569726 1818345601 3991317402 3701659899 3093356669 3129218427 188666180 4124142311 3028137119 1398677863 293681113 3262543121 864540863 2672814495 3178846136 826388344 1417836191 1527259679 338917022 729643307 4120248317 2437931001 1121242139 1907422167 2225811367 3029391554 2384678019 2936454236 2835149651 2584302318 2765964142 3540530395 1186891266 614913220 817707240 2948692625 3598186243 3536268211 880127684 513727982 2395539977 3670814441 1156301082 3512349676 275340222 406742951 3680095716 2049667478 180445052 681440885 3250923324 1461539208 3770481527 35305792 695859927 3392443177 4142117687 1107832214 273177723 1284556036 133170472 1403911010 3687696152 3090319787 1923701776 344463669 1123227675 3781456131 2622751062 1952105104 3964030652 426675214 2484055502 2848290519 3150674782 2909514962 1994361696 2705418004 2892751957 2075134793 813197743 3618298614 3949683292 673299816 987440517 2754681245 1833214824 377062981 2842963540 797709965 1920559890 2005944579 2413865929 294480313 1695952650 255 362436" option to reproduce the execution 0.00/0.01 c #vars 110 0.00/0.01 c #constraints 21 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 50 0 | 0 | 0 0.00/0.01 c 0.0s | 0 | 31 | 0 | 50 0 | 0 | 0 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 31 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 o 400 0.00/0.01 c BCD2: updating upper bound: 826 -> 399 0.00/0.01 c BCD2: 0 <= obj <= 399 0.00/0.01 c BCD2: #cores=0, #unrelaxed=21, #relaxed=0, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 50 0 | 0 | 0 0.00/0.03 c 0.0s | 1 | 143 | 100 | 50 0 | 0 | 0 0.00/0.05 c 0.0s | 2 | 468 | 250 | 56 2 | 0 | 0 0.00/0.09 c 0.1s | 3 | 1129 | 475 | 62 6 | 0 | 0 0.09/0.16 c 0.1s | 4 | 1771 | 813 | 69 12 | 0 | 0 0.19/0.27 c 0.3s | 5 | 2561 | 1320 | 76 19 | 0 | 0 0.39/0.42 c 0.4s | 6 | 3799 | 2081 | 93 30 | 0 | 0 0.59/0.64 c 0.6s | 7 | 5297 | 3223 | 103 45 | 0 | 0 0.89/0.95 c 0.9s | 8 | 7767 | 4936 | 114 65 | 0 | 0 1.29/1.31 c 1.3s | 9 | 11106 | 7506 | 126 93 | 0 | 0 1.79/1.85 c 1.8s | 10 | 15962 | 11361 | 139 134 | 0 | 0 2.49/2.58 c 2.6s | 11 | 22814 | 17144 | 153 190 | 0 | 0 3.59/3.68 c 3.7s | 12 | 32977 | 25819 | 169 264 | 0 | 0 5.39/5.45 c 5.4s | 13 | 48315 | 38832 | 186 371 | 0 | 0 7.39/7.46 c 7.5s | 13 | 65497 | 52932 | 186 480 | 0 | 0 8.19/8.27 c 8.3s | 14 | 71866 | 58352 | 205 521 | 0 | 0 10.19/10.28 c 10.3s | 14 | 89310 | 73252 | 205 627 | 0 | 0 12.19/12.29 c 12.3s | 14 | 105820 | 87352 | 226 728 | 0 | 0 12.29/12.33 c 12.3s | 15 | 106140 | 87632 | 226 730 | 0 | 0 14.29/14.34 c 14.3s | 15 | 121939 | 100832 | 226 817 | 0 | 0 16.29/16.35 c 16.3s | 15 | 137612 | 113832 | 226 903 | 0 | 0 18.28/18.36 c 18.3s | 15 | 153961 | 127032 | 226 992 | 0 | 0 18.98/19.05 c 19.0s | 16 | 159402 | 131552 | 249 1022 | 0 | 0 20.99/21.05 c 21.0s | 16 | 175482 | 144552 | 249 1102 | 0 | 0 22.98/23.05 c 23.0s | 16 | 192289 | 158352 | 249 1186 | 0 | 0 24.98/25.05 c 25.0s | 16 | 208798 | 172152 | 249 1272 | 0 | 0 26.99/27.06 c 27.0s | 16 | 224530 | 185152 | 249 1354 | 0 | 0 28.99/29.01 c 29.0s | 17 | 239468 | 197432 | 274 1430 | 0 | 0 30.99/31.01 c 31.0s | 17 | 255353 | 211132 | 274 1508 | 0 | 0 33.00/33.02 c 33.0s | 17 | 270822 | 224532 | 274 1585 | 0 | 0 34.99/35.02 c 35.0s | 17 | 286933 | 238432 | 274 1664 | 0 | 0 36.99/37.04 c 37.0s | 17 | 303156 | 251932 | 274 1741 | 0 | 0 38.99/39.05 c 39.0s | 17 | 318926 | 264832 | 274 1814 | 0 | 0 40.98/41.05 c 41.0s | 17 | 334379 | 277132 | 274 1885 | 0 | 0 42.99/43.07 c 43.1s | 17 | 348686 | 289532 | 274 1956 | 0 | 0 44.09/44.18 c 44.2s | 18 | 356519 | 296252 | 302 1994 | 0 | 0 46.08/46.19 c 46.2s | 18 | 371316 | 308652 | 302 2058 | 0 | 0 48.08/48.19 c 48.2s | 18 | 386570 | 322052 | 302 2127 | 0 | 0 50.18/50.20 c 50.2s | 18 | 402699 | 335852 | 302 2200 | 0 | 0 52.18/52.21 c 52.2s | 18 | 418209 | 349252 | 302 2270 | 0 | 0 54.18/54.21 c 54.2s | 18 | 432841 | 362152 | 302 2338 | 0 | 0 56.19/56.22 c 56.2s | 18 | 447982 | 375352 | 302 2407 | 0 | 0 58.19/58.22 c 58.2s | 18 | 463145 | 388452 | 302 2475 | 0 | 0 60.19/60.23 c 60.2s | 18 | 478497 | 401952 | 302 2546 | 0 | 0 62.19/62.24 c 62.2s | 18 | 494091 | 415152 | 302 2615 | 0 | 0 64.19/64.24 c 64.2s | 18 | 509006 | 427952 | 302 2683 | 0 | 0 66.18/66.26 c 66.2s | 18 | 524168 | 441152 | 302 2752 | 0 | 0 66.68/66.78 c 66.8s | 19 | 527862 | 444482 | 333 2769 | 0 | 0 68.78/68.80 c 68.8s | 19 | 542971 | 457282 | 333 2833 | 0 | 0 70.78/70.80 c 70.8s | 19 | 558032 | 470282 | 333 2899 | 0 | 0 72.78/72.80 c 72.8s | 19 | 573182 | 483082 | 333 2962 | 0 | 0 74.79/74.82 c 74.8s | 19 | 587806 | 495282 | 333 3022 | 0 | 0 76.78/76.83 c 76.8s | 19 | 601308 | 506782 | 333 3078 | 0 | 0 78.78/78.85 c 78.8s | 19 | 616097 | 518782 | 333 3137 | 0 | 0 80.78/80.85 c 80.8s | 19 | 630310 | 530682 | 333 3196 | 0 | 0 82.78/82.85 c 82.8s | 19 | 644341 | 542382 | 333 3253 | 0 | 0 84.79/84.86 c 84.8s | 19 | 659100 | 554882 | 333 3314 | 0 | 0 86.78/86.87 c 86.9s | 19 | 673742 | 567082 | 333 3375 | 0 | 0 88.78/88.87 c 88.9s | 19 | 688640 | 579482 | 333 3436 | 0 | 0 90.78/90.89 c 90.9s | 19 | 702790 | 591682 | 333 3496 | 0 | 0 92.87/92.90 c 92.9s | 19 | 716919 | 603782 | 333 3555 | 0 | 0 94.87/94.90 c 94.9s | 19 | 730532 | 615782 | 333 3615 | 0 | 0 96.88/96.91 c 96.9s | 19 | 745445 | 628882 | 333 3681 | 0 | 0 98.88/98.92 c 98.9s | 19 | 760397 | 641982 | 333 3746 | 0 | 0 100.88/100.93 c 100s | 19 | 774893 | 654682 | 333 3809 | 0 | 0 102.78/102.88 c 102s | 20 | 788841 | 666827 | 367 3868 | 0 | 0 104.78/104.89 c 104s | 20 | 804144 | 679827 | 367 3927 | 0 | 0 106.78/106.89 c 106s | 20 | 819099 | 692727 | 367 3987 | 0 | 0 108.88/108.90 c 108s | 20 | 834080 | 705727 | 367 4047 | 0 | 0 110.88/110.92 c 110s | 20 | 849192 | 718927 | 367 4107 | 0 | 0 112.88/112.92 c 112s | 20 | 863807 | 731827 | 367 4165 | 0 | 0 114.88/114.93 c 114s | 20 | 878250 | 744127 | 367 4221 | 0 | 0 116.88/116.94 c 116s | 20 | 891987 | 756227 | 367 4276 | 0 | 0 118.88/118.95 c 118s | 20 | 905579 | 768127 | 367 4330 | 0 | 0 120.87/120.95 c 120s | 20 | 919216 | 780127 | 367 4385 | 0 | 0 122.87/122.96 c 122s | 20 | 933255 | 792527 | 367 4441 | 0 | 0 124.87/124.96 c 124s | 20 | 946900 | 804527 | 367 4496 | 0 | 0 126.87/126.97 c 126s | 20 | 960659 | 816627 | 367 4551 | 0 | 0 128.87/128.99 c 128s | 20 | 973916 | 828127 | 367 4603 | 0 | 0 130.88/131.00 c 130s | 20 | 987149 | 839627 | 367 4655 | 0 | 0 132.97/133.00 c 132s | 20 | 1001848 | 851227 | 367 4708 | 0 | 0 134.97/135.00 c 134s | 20 | 1014930 | 862227 | 367 4757 | 0 | 0 136.97/137.01 c 136s | 20 | 1028136 | 873327 | 367 4808 | 0 | 0 138.97/139.03 c 139s | 20 | 1041639 | 885127 | 367 4861 | 0 | 0 140.97/141.04 c 141s | 20 | 1055015 | 896527 | 367 4913 | 0 | 0 142.97/143.04 c 143s | 20 | 1067752 | 907627 | 367 4963 | 0 | 0 144.97/145.07 c 145s | 20 | 1081439 | 919427 | 367 5018 | 0 | 0 146.96/147.08 c 147s | 20 | 1095082 | 930927 | 367 5070 | 0 | 0 148.96/149.09 c 149s | 20 | 1107837 | 941927 | 367 5120 | 0 | 0 151.06/151.10 c 151s | 20 | 1120799 | 953127 | 367 5170 | 0 | 0 153.07/153.11 c 153s | 20 | 1133780 | 964527 | 367 5222 | 0 | 0 155.08/155.11 c 155s | 20 | 1146902 | 976027 | 367 5274 | 0 | 0 157.07/157.12 c 157s | 20 | 1160409 | 987827 | 367 5328 | 0 | 0 159.07/159.13 c 159s | 20 | 1173838 | 999527 | 404 5380 | 0 | 0 159.17/159.26 c 159s | 21 | 1174739 | 1000345 | 404 5383 | 0 | 0 161.17/161.27 c 161s | 21 | 1188356 | 1011845 | 404 5431 | 0 | 0 163.17/163.27 c 163s | 21 | 1202169 | 1023745 | 404 5482 | 0 | 0 165.17/165.28 c 165s | 21 | 1216222 | 1035845 | 404 5533 | 0 | 0 167.17/167.29 c 167s | 21 | 1229863 | 1047645 | 404 5583 | 0 | 0 169.26/169.31 c 169s | 21 | 1243828 | 1059945 | 404 5635 | 0 | 0 171.26/171.31 c 171s | 21 | 1258542 | 1072845 | 404 5690 | 0 | 0 173.26/173.33 c 173s | 21 | 1272291 | 1084845 | 404 5741 | 0 | 0 175.26/175.34 c 175s | 21 | 1285755 | 1096745 | 404 5792 | 0 | 0 177.26/177.35 c 177s | 21 | 1299453 | 1108445 | 404 5841 | 0 | 0 179.27/179.35 c 179s | 21 | 1312651 | 1119945 | 404 5890 | 0 | 0 181.26/181.35 c 181s | 21 | 1327110 | 1132445 | 404 5944 | 0 | 0 183.26/183.36 c 183s | 21 | 1340749 | 1144445 | 404 5995 | 0 | 0 185.26/185.37 c 185s | 21 | 1355133 | 1157045 | 404 6049 | 0 | 0 187.26/187.38 c 187s | 21 | 1368948 | 1169245 | 404 6100 | 0 | 0 189.27/189.39 c 189s | 21 | 1383093 | 1181745 | 404 6154 | 0 | 0 191.26/191.40 c 191s | 21 | 1397040 | 1194045 | 404 6207 | 0 | 0 193.36/193.41 c 193s | 21 | 1410823 | 1206145 | 404 6258 | 0 | 0 195.36/195.43 c 195s | 21 | 1424469 | 1218245 | 404 6310 | 0 | 0 197.36/197.43 c 197s | 21 | 1438588 | 1230645 | 404 6363 | 0 | 0 199.36/199.45 c 199s | 21 | 1451904 | 1241945 | 404 6410 | 0 | 0 201.36/201.45 c 201s | 21 | 1464560 | 1253145 | 404 6457 | 0 | 0 203.36/203.46 c 203s | 21 | 1477805 | 1264645 | 404 6505 | 0 | 0 205.36/205.47 c 205s | 21 | 1491278 | 1276545 | 404 6554 | 0 | 0 207.36/207.48 c 207s | 21 | 1504862 | 1288545 | 404 6604 | 0 | 0 209.36/209.49 c 209s | 21 | 1518349 | 1300345 | 404 6653 | 0 | 0 211.35/211.49 c 211s | 21 | 1531922 | 1312145 | 404 6702 | 0 | 0 213.36/213.50 c 213s | 21 | 1545549 | 1324145 | 404 6752 | 0 | 0 215.35/215.50 c 215s | 21 | 1558001 | 1335245 | 404 6799 | 0 | 0 217.45/217.51 c 217s | 21 | 1570434 | 1346245 | 404 6845 | 0 | 0 219.45/219.52 c 219s | 21 | 1583213 | 1357445 | 404 6892 | 0 | 0 221.45/221.54 c 221s | 21 | 1596032 | 1368845 | 404 6939 | 0 | 0 223.45/223.54 c 223s | 21 | 1609322 | 1380345 | 404 6987 | 0 | 0 225.46/225.55 c 225s | 21 | 1623610 | 1392145 | 404 7037 | 0 | 0 227.46/227.56 c 227s | 21 | 1637267 | 1403345 | 404 7084 | 0 | 0 229.46/229.56 c 229s | 21 | 1650156 | 1414645 | 404 7131 | 0 | 0 231.46/231.56 c 231s | 21 | 1663177 | 1425845 | 404 7178 | 0 | 0 233.46/233.58 c 233s | 21 | 1676564 | 1437545 | 404 7227 | 0 | 0 235.56/235.60 c 235s | 21 | 1689527 | 1448745 | 404 7273 | 0 | 0 237.46/237.60 c 237s | 21 | 1702533 | 1459945 | 404 7320 | 0 | 0 239.56/239.61 c 239s | 21 | 1715471 | 1471245 | 404 7368 | 0 | 0 241.56/241.62 c 241s | 21 | 1729248 | 1483045 | 404 7418 | 0 | 0 243.56/243.64 c 243s | 21 | 1743025 | 1494645 | 445 7465 | 0 | 0 244.56/244.66 c 244s | 22 | 1749878 | 1500622 | 445 7488 | 0 | 0 246.56/246.66 c 246s | 22 | 1763350 | 1512022 | 445 7532 | 0 | 0 248.56/248.67 c 248s | 22 | 1776274 | 1523322 | 445 7576 | 0 | 0 250.55/250.69 c 250s | 22 | 1789624 | 1534922 | 445 7621 | 0 | 0 252.65/252.70 c 252s | 22 | 1802351 | 1546222 | 445 7666 | 0 | 0 254.65/254.70 c 254s | 22 | 1815792 | 1557922 | 445 7711 | 0 | 0 256.65/256.71 c 256s | 22 | 1828915 | 1569422 | 445 7756 | 0 | 0 258.65/258.73 c 258s | 22 | 1842843 | 1581522 | 445 7803 | 0 | 0 260.66/260.73 c 260s | 22 | 1855809 | 1592922 | 445 7848 | 0 | 0 262.65/262.74 c 262s | 22 | 1869550 | 1605022 | 445 7895 | 0 | 0 264.65/264.75 c 264s | 22 | 1883273 | 1617022 | 445 7943 | 0 | 0 266.65/266.76 c 266s | 22 | 1896402 | 1628322 | 445 7987 | 0 | 0 268.65/268.77 c 268s | 22 | 1910044 | 1640122 | 445 8033 | 0 | 0 270.66/270.78 c 270s | 22 | 1924012 | 1652322 | 445 8080 | 0 | 0 272.65/272.80 c 272s | 22 | 1937384 | 1664022 | 445 8125 | 0 | 0 274.75/274.80 c 274s | 22 | 1950735 | 1675722 | 445 8170 | 0 | 0 276.75/276.80 c 276s | 22 | 1963442 | 1687022 | 445 8214 | 0 | 0 278.75/278.81 c 278s | 22 | 1976625 | 1698722 | 445 8259 | 0 | 0 280.75/280.81 c 280s | 22 | 1989435 | 1709922 | 445 8303 | 0 | 0 282.75/282.81 c 282s | 22 | 2002082 | 1721222 | 445 8347 | 0 | 0 284.75/284.81 c 284s | 22 | 2014186 | 1731922 | 445 8389 | 0 | 0 286.75/286.82 c 286s | 22 | 2026814 | 1743022 | 445 8432 | 0 | 0 288.75/288.82 c 288s | 22 | 2040632 | 1754522 | 445 8476 | 0 | 0 290.74/290.83 c 290s | 22 | 2053009 | 1765322 | 445 8518 | 0 | 0 292.74/292.83 c 292s | 22 | 2065763 | 1776222 | 445 8561 | 0 | 0 294.75/294.85 c 294s | 22 | 2077871 | 1786822 | 445 8601 | 0 | 0 296.74/296.86 c 296s | 22 | 2090202 | 1797622 | 445 8643 | 0 | 0 298.74/298.87 c 298s | 22 | 2102112 | 1808222 | 445 8684 | 0 | 0 300.74/300.88 c 300s | 22 | 2114074 | 1818822 | 445 8725 | 0 | 0 302.74/302.89 c 302s | 22 | 2125370 | 1828822 | 445 8764 | 0 | 0 304.85/304.90 c 304s | 22 | 2137392 | 1839422 | 445 8805 | 0 | 0 306.75/306.90 c 306s | 22 | 2149163 | 1849822 | 445 8846 | 0 | 0 308.85/308.92 c 308s | 22 | 2162261 | 1861122 | 445 8890 | 0 | 0 310.85/310.92 c 310s | 22 | 2174954 | 1872322 | 445 8933 | 0 | 0 312.85/312.93 c 312s | 22 | 2187451 | 1883022 | 445 8974 | 0 | 0 314.85/314.93 c 314s | 22 | 2199122 | 1893122 | 445 9014 | 0 | 0 316.85/316.95 c 316s | 22 | 2212686 | 1904722 | 445 9058 | 0 | 0 318.84/318.95 c 318s | 22 | 2224626 | 1915222 | 445 9099 | 0 | 0 320.84/320.96 c 320s | 22 | 2237331 | 1926322 | 445 9142 | 0 | 0 322.84/322.96 c 322s | 22 | 2249120 | 1936822 | 445 9182 | 0 | 0 324.84/324.97 c 324s | 22 | 2260989 | 1947222 | 445 9223 | 0 | 0 326.84/326.98 c 326s | 22 | 2274376 | 1959022 | 445 9269 | 0 | 0 328.85/328.99 c 328s | 22 | 2287593 | 1970722 | 445 9314 | 0 | 0 330.84/330.99 c 330s | 22 | 2300286 | 1982022 | 445 9358 | 0 | 0 332.94/333.00 c 332s | 22 | 2312744 | 1993022 | 445 9401 | 0 | 0 334.94/335.00 c 334s | 22 | 2325942 | 2004522 | 445 9446 | 0 | 0 336.94/337.01 c 336s | 22 | 2338695 | 2015722 | 445 9489 | 0 | 0 338.94/339.01 c 338s | 22 | 2350558 | 2026222 | 445 9530 | 0 | 0 340.95/341.02 c 341s | 22 | 2362873 | 2037022 | 445 9572 | 0 | 0 342.94/343.03 c 343s | 22 | 2375816 | 2048222 | 445 9616 | 0 | 0 344.94/345.04 c 345s | 22 | 2388609 | 2059422 | 445 9659 | 0 | 0 346.94/347.05 c 347s | 22 | 2400479 | 2069922 | 445 9700 | 0 | 0 348.94/349.05 c 349s | 22 | 2412857 | 2080822 | 445 9742 | 0 | 0 350.94/351.06 c 351s | 22 | 2426001 | 2092122 | 445 9786 | 0 | 0 352.94/353.06 c 353s | 22 | 2438830 | 2103222 | 445 9829 | 0 | 0 354.94/355.07 c 355s | 22 | 2451414 | 2114122 | 445 9872 | 0 | 0 356.93/357.09 c 357s | 22 | 2464331 | 2125422 | 445 9916 | 0 | 0 358.93/359.09 c 359s | 22 | 2477563 | 2136922 | 445 9960 | 0 | 0 361.03/361.10 c 361s | 22 | 2490537 | 2148222 | 445 10004 | 0 | 0 363.04/363.11 c 363s | 22 | 2503381 | 2159322 | 445 10047 | 0 | 0 365.03/365.11 c 365s | 22 | 2516691 | 2170822 | 445 10092 | 0 | 0 367.03/367.13 c 367s | 22 | 2529813 | 2182222 | 445 10136 | 0 | 0 369.03/369.13 c 369s | 22 | 2542426 | 2193422 | 445 10180 | 0 | 0 371.03/371.14 c 371s | 22 | 2554587 | 2204322 | 445 10223 | 0 | 0 373.03/373.16 c 373s | 22 | 2568030 | 2216022 | 445 10268 | 0 | 0 375.04/375.17 c 375s | 22 | 2580940 | 2227322 | 445 10313 | 0 | 0 377.03/377.18 c 377s | 22 | 2593499 | 2238322 | 490 10354 | 0 | 0 379.03/379.19 c 379s | 22 | 2605553 | 2249122 | 490 10393 | 0 | 0 379.44/379.56 c 379s | 23 | 2607675 | 2251038 | 490 10400 | 0 | 0 381.43/381.57 c 381s | 23 | 2621742 | 2263138 | 490 10443 | 0 | 0 383.43/383.57 c 383s | 23 | 2634921 | 2274538 | 490 10484 | 0 | 0 385.43/385.58 c 385s | 23 | 2647979 | 2285938 | 490 10525 | 0 | 0 387.43/387.59 c 387s | 23 | 2660315 | 2296838 | 490 10563 | 0 | 0 389.43/389.59 c 389s | 23 | 2672607 | 2307638 | 490 10601 | 0 | 0 391.43/391.59 c 391s | 23 | 2685549 | 2318938 | 490 10642 | 0 | 0 393.53/393.60 c 393s | 23 | 2698198 | 2329838 | 490 10681 | 0 | 0 395.53/395.61 c 395s | 23 | 2711204 | 2341338 | 490 10721 | 0 | 0 397.53/397.63 c 397s | 23 | 2724378 | 2352438 | 490 10760 | 0 | 0 399.53/399.65 c 399s | 23 | 2736737 | 2362938 | 490 10798 | 0 | 0 401.54/401.67 c 401s | 23 | 2748946 | 2373438 | 490 10835 | 0 | 0 403.53/403.68 c 403s | 23 | 2760241 | 2383438 | 490 10870 | 0 | 0 405.53/405.68 c 405s | 23 | 2772895 | 2394238 | 490 10908 | 0 | 0 407.53/407.69 c 407s | 23 | 2785178 | 2404838 | 490 10946 | 0 | 0 409.53/409.69 c 409s | 23 | 2796809 | 2414938 | 490 10981 | 0 | 0 411.63/411.70 c 411s | 23 | 2809557 | 2426038 | 490 11020 | 0 | 0 413.64/413.72 c 413s | 23 | 2821647 | 2436538 | 490 11058 | 0 | 0 415.63/415.73 c 415s | 23 | 2833713 | 2446938 | 490 11094 | 0 | 0 417.63/417.75 c 417s | 23 | 2846211 | 2457938 | 490 11133 | 0 | 0 419.63/419.77 c 419s | 23 | 2858580 | 2468938 | 490 11172 | 0 | 0 421.63/421.78 c 421s | 23 | 2870565 | 2479538 | 490 11210 | 0 | 0 423.63/423.78 c 423s | 23 | 2882794 | 2490338 | 490 11248 | 0 | 0 425.64/425.79 c 425s | 23 | 2894673 | 2500938 | 490 11285 | 0 | 0 427.73/427.81 c 427s | 23 | 2906508 | 2511438 | 490 11323 | 0 | 0 429.73/429.82 c 429s | 23 | 2918660 | 2522038 | 490 11360 | 0 | 0 431.73/431.83 c 431s | 23 | 2931117 | 2533038 | 490 11399 | 0 | 0 433.73/433.85 c 433s | 23 | 2943255 | 2543738 | 490 11437 | 0 | 0 435.72/435.86 c 435s | 23 | 2955889 | 2554438 | 490 11475 | 0 | 0 437.73/437.87 c 437s | 23 | 2968200 | 2565238 | 490 11514 | 0 | 0 439.72/439.88 c 439s | 23 | 2980164 | 2575738 | 490 11551 | 0 | 0 441.72/441.89 c 441s | 23 | 2992593 | 2586638 | 490 11590 | 0 | 0 443.82/443.90 c 443s | 23 | 3004398 | 2596938 | 490 11627 | 0 | 0 445.82/445.92 c 445s | 23 | 3016632 | 2607738 | 490 11665 | 0 | 0 447.82/447.92 c 447s | 23 | 3029203 | 2618638 | 490 11704 | 0 | 0 449.83/449.94 c 449s | 23 | 3040888 | 2628938 | 490 11741 | 0 | 0 451.82/451.95 c 451s | 23 | 3053492 | 2640038 | 490 11781 | 0 | 0 453.82/453.96 c 453s | 23 | 3064971 | 2650238 | 490 11817 | 0 | 0 455.82/455.98 c 455s | 23 | 3077556 | 2661238 | 490 11856 | 0 | 0 457.82/457.99 c 457s | 23 | 3089940 | 2672038 | 490 11895 | 0 | 0 459.92/460.00 c 459s | 23 | 3102657 | 2683238 | 490 11934 | 0 | 0 461.93/462.02 c 462s | 23 | 3115478 | 2694538 | 490 11974 | 0 | 0 463.92/464.03 c 464s | 23 | 3127935 | 2705538 | 490 12013 | 0 | 0 465.92/466.04 c 466s | 23 | 3140477 | 2716638 | 490 12052 | 0 | 0 467.92/468.04 c 468s | 23 | 3152847 | 2727638 | 490 12092 | 0 | 0 469.92/470.05 c 470s | 23 | 3164594 | 2738038 | 490 12128 | 0 | 0 471.92/472.06 c 472s | 23 | 3176178 | 2748238 | 490 12165 | 0 | 0 473.92/474.08 c 474s | 23 | 3187792 | 2758538 | 490 12202 | 0 | 0 475.92/476.09 c 476s | 23 | 3199249 | 2768738 | 490 12238 | 0 | 0 477.92/478.09 c 478s | 23 | 3210347 | 2778638 | 490 12273 | 0 | 0 479.92/480.09 c 480s | 23 | 3221803 | 2788738 | 490 12309 | 0 | 0 481.91/482.09 c 482s | 23 | 3233204 | 2798738 | 490 12345 | 0 | 0 484.02/484.11 c 484s | 23 | 3245678 | 2809738 | 490 12384 | 0 | 0 486.01/486.12 c 486s | 23 | 3257810 | 2820538 | 490 12422 | 0 | 0 488.01/488.12 c 488s | 23 | 3269996 | 2831338 | 490 12460 | 0 | 0 490.01/490.13 c 490s | 23 | 3282376 | 2842338 | 490 12500 | 0 | 0 492.01/492.13 c 492s | 23 | 3294116 | 2852838 | 490 12537 | 0 | 0 494.02/494.15 c 494s | 23 | 3306043 | 2863238 | 490 12574 | 0 | 0 496.02/496.15 c 496s | 23 | 3318188 | 2873938 | 490 12612 | 0 | 0 498.02/498.16 c 498s | 23 | 3330254 | 2884638 | 490 12650 | 0 | 0 500.02/500.16 c 500s | 23 | 3342293 | 2895138 | 490 12688 | 0 | 0 502.02/502.16 c 502s | 23 | 3354376 | 2905838 | 490 12726 | 0 | 0 504.02/504.17 c 504s | 23 | 3366251 | 2916338 | 490 12763 | 0 | 0 506.02/506.19 c 506s | 23 | 3378804 | 2927438 | 490 12803 | 0 | 0 508.02/508.20 c 508s | 23 | 3390967 | 2938138 | 490 12841 | 0 | 0 510.12/510.21 c 510s | 23 | 3403222 | 2948938 | 490 12879 | 0 | 0 512.12/512.23 c 512s | 23 | 3415713 | 2959938 | 490 12919 | 0 | 0 514.11/514.24 c 514s | 23 | 3428029 | 2970738 | 490 12957 | 0 | 0 516.11/516.25 c 516s | 23 | 3439856 | 2981038 | 490 12994 | 0 | 0 518.12/518.26 c 518s | 23 | 3451634 | 2991138 | 490 13031 | 0 | 0 520.11/520.27 c 520s | 23 | 3463442 | 3001538 | 490 13068 | 0 | 0 522.11/522.29 c 522s | 23 | 3475177 | 3011838 | 490 13105 | 0 | 0 524.21/524.30 c 524s | 23 | 3486757 | 3022038 | 490 13141 | 0 | 0 526.21/526.31 c 526s | 23 | 3498732 | 3032538 | 490 13179 | 0 | 0 528.21/528.33 c 528s | 23 | 3510863 | 3043138 | 490 13217 | 0 | 0 530.22/530.33 c 530s | 23 | 3522176 | 3053038 | 490 13252 | 0 | 0 532.21/532.33 c 532s | 23 | 3533490 | 3062938 | 490 13288 | 0 | 0 534.21/534.33 c 534s | 23 | 3546076 | 3073938 | 490 13327 | 0 | 0 536.21/536.33 c 536s | 23 | 3558258 | 3084738 | 490 13365 | 0 | 0 538.21/538.34 c 538s | 23 | 3570982 | 3095938 | 490 13405 | 0 | 0 540.21/540.36 c 540s | 23 | 3583436 | 3106938 | 490 13444 | 0 | 0 542.22/542.37 c 542s | 23 | 3595292 | 3117538 | 490 13482 | 0 | 0 544.21/544.38 c 544s | 23 | 3607652 | 3128438 | 490 13520 | 0 | 0 546.21/546.38 c 546s | 23 | 3620275 | 3139538 | 490 13560 | 0 | 0 548.31/548.40 c 548s | 23 | 3633147 | 3150838 | 490 13600 | 0 | 0 550.31/550.40 c 550s | 23 | 3645501 | 3161838 | 490 13639 | 0 | 0 552.31/552.42 c 552s | 23 | 3657012 | 3172038 | 490 13676 | 0 | 0 554.31/554.42 c 554s | 23 | 3669650 | 3182738 | 490 13714 | 0 | 0 556.31/556.43 c 556s | 23 | 3682039 | 3193538 | 490 13753 | 0 | 0 558.31/558.45 c 558s | 23 | 3693906 | 3203938 | 490 13790 | 0 | 0 560.30/560.46 c 560s | 23 | 3705495 | 3214138 | 490 13827 | 0 | 0 562.30/562.47 c 562s | 23 | 3718072 | 3225238 | 490 13867 | 0 | 0 564.31/564.49 c 564s | 23 | 3731228 | 3236538 | 490 13908 | 0 | 0 566.30/566.49 c 566s | 23 | 3744090 | 3247638 | 490 13948 | 0 | 0 568.30/568.49 c 568s | 23 | 3757059 | 3259038 | 490 13989 | 0 | 0 570.40/570.50 c 570s | 23 | 3768627 | 3269338 | 490 14026 | 0 | 0 572.40/572.52 c 572s | 23 | 3781140 | 3280138 | 490 14065 | 0 | 0 574.40/574.53 c 574s | 23 | 3794646 | 3291938 | 490 14108 | 0 | 0 576.41/576.53 c 576s | 23 | 3808330 | 3304038 | 490 14152 | 0 | 0 578.40/578.54 c 578s | 23 | 3821384 | 3315538 | 490 14193 | 0 | 0 580.40/580.54 c 580s | 23 | 3833282 | 3325938 | 490 14231 | 0 | 0 582.41/582.55 c 582s | 23 | 3846409 | 3337138 | 490 14272 | 0 | 0 584.41/584.56 c 584s | 23 | 3859431 | 3348238 | 490 14312 | 0 | 0 586.40/586.57 c 586s | 23 | 3872644 | 3359538 | 539 14351 | 0 | 0 587.50/587.62 c 587s | 23 | 3879534 | 3365470 | 539 14371 | 0 | 0 587.50/587.62 c #cpu_time = 587.639s 587.50/587.62 c #wall_clock_time = 587.610s 587.50/587.62 c #decision = 3879534 587.50/587.62 c #random_decision = 14165 587.50/587.62 c #conflict = 3365470 587.50/587.62 c #restart = 23 587.50/587.62 c BCD2: found a new core of size 21: cost of the new core is >=1 587.50/587.62 c lower bound updated to 1 587.50/587.62 c BCD2: 1 <= obj <= 399 587.50/587.62 c BCD2: #cores=1, #unrelaxed=0, #relaxed=21, #hardened=0 587.50/587.62 c BCD2: #sat=1 #unsat=2 bias=2/3 587.50/587.62 c Solving starts ... 587.50/587.62 c ============================[ Search Statistics ]============================ 587.50/587.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 587.50/587.62 c | | | | Limit GC | Var | Constra 587.50/587.62 c ============================================================================= 587.50/587.62 c 0.0s | 0 | 0 | 0 | 539 0 | 0 | 0 587.50/587.63 c 0.0s | 0 | 77 | 7 | 539 0 | 0 | 0 587.50/587.63 c #cpu_time = 0.002s 587.50/587.63 c #wall_clock_time = 0.002s 587.50/587.63 c #decision = 77 587.50/587.63 c #random_decision = 0 587.50/587.63 c #conflict = 7 587.50/587.63 c #restart = 0 587.50/587.63 o 75 587.50/587.63 c BCD2: hardening fixes 4 literals 587.50/587.63 c BCD2: updating upper bound: 399 -> 74 587.50/587.63 c BCD2: 1 <= obj <= 74 587.50/587.63 c BCD2: #cores=1, #unrelaxed=0, #relaxed=17, #hardened=4 587.50/587.63 c BCD2: #sat=2 #unsat=2 bias=2/4 587.50/587.63 c Solving starts ... 587.50/587.63 c ============================[ Search Statistics ]============================ 587.50/587.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 587.50/587.63 c | | | | Limit GC | Var | Constra 587.50/587.63 c ============================================================================= 587.50/587.63 c 0.0s | 0 | 0 | 0 | 539 0 | 4 | 2 587.50/587.63 c 0.0s | 0 | 51 | 1 | 539 0 | 4 | 2 587.50/587.63 c #cpu_time = 0.002s 587.50/587.63 c #wall_clock_time = 0.002s 587.50/587.63 c #decision = 51 587.50/587.63 c #random_decision = 0 587.50/587.63 c #conflict = 1 587.50/587.63 c #restart = 0 587.50/587.63 o 25 587.50/587.63 c BCD2: hardening fixes 9 literals 587.50/587.63 c BCD2: updating upper bound: 74 -> 24 587.50/587.63 c BCD2: 1 <= obj <= 24 587.50/587.63 c BCD2: #cores=1, #unrelaxed=0, #relaxed=8, #hardened=13 587.50/587.63 c BCD2: #sat=3 #unsat=2 bias=2/5 587.50/587.63 c Solving starts ... 587.50/587.63 c ============================[ Search Statistics ]============================ 587.50/587.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 587.50/587.63 c | | | | Limit GC | Var | Constra 587.50/587.63 c ============================================================================= 587.50/587.63 c 0.0s | 0 | 0 | 0 | 539 0 | 13 | 4 587.50/587.64 c 0.0s | 1 | 159 | 100 | 539 0 | 13 | 4 587.50/587.64 c 0.0s | 1 | 213 | 101 | 539 0 | 13 | 4 587.50/587.64 c #cpu_time = 0.013s 587.50/587.64 c #wall_clock_time = 0.013s 587.50/587.64 c #decision = 213 587.50/587.64 c #random_decision = 0 587.50/587.64 c #conflict = 101 587.50/587.64 c #restart = 1 587.50/587.64 o 1 587.50/587.64 s OPTIMUM FOUND 587.50/587.64 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 587.50/587.64 v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 587.50/587.64 v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 587.50/587.64 v -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 587.50/587.64 v x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 587.50/587.64 v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 587.50/587.64 v -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 587.50/587.64 v -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 587.50/587.64 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 587.50/587.64 v -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 587.50/587.64 v -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 587.50/587.64 c total CPU time = 587.675s 587.50/587.64 c total wall clock time = 587.646s
OK 1
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-4093706-1466093080/watcher-4093706-1466093080 -o /tmp/evaluation-result-4093706-1466093080/solver-4093706-1466093080 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16983 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093706-1466093080.wbo pid=20831 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.29 2.24 2.19 3/179 20834 /proc/meminfo: memFree=29334844/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=741956 CPUtime=0 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 2776 0 0 0 0 0 0 0 20 0 4 0 11353767 759762944 2626 33554432000 4194304 16246674 140735023263280 140735023262704 15002730 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 186257 2635 442 2943 0 183151 0 [pid=20834/tid=20835] ppid=20831 vsize=759364 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 777588736 2691 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=764484 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 782831616 2709 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=768580 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11353767 787025920 2727 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100201 s] /proc/loadavg: 2.29 2.24 2.19 3/179 20834 /proc/meminfo: memFree=29334844/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 27339 0 0 0 5 4 0 0 20 0 4 0 11353767 1247350784 27174 33554432000 4194304 16246674 140735023263280 140735023246272 12875570 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 304529 27186 814 2943 0 301423 0 [pid=20834/tid=20835] ppid=20831 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1247350784 27194 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1247350784 27199 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11353767 1247350784 27204 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200486 s] /proc/loadavg: 2.29 2.24 2.19 3/179 20834 /proc/meminfo: memFree=29334844/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 54028 0 0 0 12 7 0 0 20 0 4 0 11353767 1247350784 53863 33554432000 4194304 16246674 140735023263280 140735023246272 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 304529 53880 814 2943 0 301423 0 [pid=20834/tid=20835] ppid=20831 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1247350784 53888 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1247350784 53891 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11353767 1247350784 53898 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300472 s] /proc/loadavg: 2.29 2.24 2.19 3/179 20834 /proc/meminfo: memFree=29334844/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 81566 0 0 0 19 10 0 0 20 0 4 0 11353767 1247350784 81402 33554432000 4194304 16246674 140735023263280 140735023246272 12874965 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 304529 81412 814 2943 0 301423 0 [pid=20834/tid=20835] ppid=20831 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1247350784 81417 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1247350784 81424 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11353767 1247350784 81433 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700392 s] /proc/loadavg: 2.29 2.24 2.19 3/179 20834 /proc/meminfo: memFree=29334844/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 192698 0 0 0 44 25 0 0 20 0 4 0 11353767 1247350784 192533 33554432000 4194304 16246674 140735023263280 140735023246272 5676613 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 304529 192541 814 2943 0 301423 0 [pid=20834/tid=20835] ppid=20831 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1247350784 192548 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1247350784 192556 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11353767 1247350784 192566 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 2.26 2.24 2.19 3/183 20838 /proc/meminfo: memFree=28354212/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1306180 CPUtime=1.49 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 265861 0 0 0 114 35 0 0 20 0 4 0 11353767 1337528320 265674 33554432000 4194304 16246674 140735023263280 140735023246280 5677277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 326545 265681 876 2943 0 323439 0 [pid=20834/tid=20835] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 265688 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 265696 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 265703 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1306180 [startup+3.10041 s] /proc/loadavg: 2.26 2.24 2.19 3/183 20838 /proc/meminfo: memFree=28266172/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 267506 0 0 0 274 35 0 0 20 0 4 0 11353767 1337528320 267319 33554432000 4194304 16246674 140735023263280 140735023246280 5721633 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 326545 267319 876 2943 0 323439 0 [pid=20834/tid=20835] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267319 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267319 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267319 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30043 s] /proc/loadavg: 2.32 2.25 2.19 4/183 20838 /proc/meminfo: memFree=28266388/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 267510 0 0 0 594 35 0 0 20 0 4 0 11353767 1337528320 267323 33554432000 4194304 16246674 140735023263280 140735023246280 5722972 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 326545 267323 876 2943 0 323439 0 [pid=20834/tid=20835] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267323 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267323 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267323 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.30 2.24 2.19 3/183 20838 /proc/meminfo: memFree=28266712/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1306180 CPUtime=12.69 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 267514 0 0 0 1234 35 0 0 20 0 4 0 11353767 1337528320 267327 33554432000 4194304 16246674 140735023263280 140735023246280 5861192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 326545 267327 876 2943 0 323439 0 [pid=20834/tid=20835] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267327 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267327 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267327 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.30 2.25 2.19 3/183 20838 /proc/meminfo: memFree=28267460/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1306180 CPUtime=25.49 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 267515 0 0 0 2513 36 0 0 20 0 4 0 11353767 1337528320 267328 33554432000 4194304 16246674 140735023263280 140735023245184 13950232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 326545 267328 876 2943 0 323439 0 [pid=20834/tid=20835] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267328 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267328 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267328 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.41 2.28 2.20 3/183 20838 /proc/meminfo: memFree=28267624/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1306180 CPUtime=51.08 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 267536 0 0 0 5072 36 0 0 20 0 4 0 11353767 1337528320 267349 33554432000 4194304 16246674 140735023263280 140735023246280 7252812 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 326545 267349 876 2943 0 323439 0 [pid=20834/tid=20835] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267349 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267349 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267349 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1306180 [startup+102.301 s] /proc/loadavg: 2.50 2.32 2.22 3/183 20839 /proc/meminfo: memFree=28267372/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1306180 CPUtime=102.29 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 267564 0 0 0 10191 38 0 0 20 0 4 0 11353767 1337528320 267377 33554432000 4194304 16246674 140735023263280 140735023245184 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 326545 267377 876 2943 0 323439 0 [pid=20834/tid=20835] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267377 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267377 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267377 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ Current children cumulated vsize (KiB) 1306180 [startup+342.3 s] /proc/loadavg: 2.32 2.32 2.23 3/184 20895 /proc/meminfo: memFree=28269580/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1306180 CPUtime=342.24 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 267579 0 0 0 34183 41 0 0 20 0 4 0 11353767 1337528320 267392 33554432000 4194304 16246674 140735023263280 140735023245184 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 326545 267392 877 2943 0 323439 0 [pid=20834/tid=20835] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267392 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267392 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267392 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 1306180 [startup+402.3 s] /proc/loadavg: 2.37 2.33 2.24 4/183 20896 /proc/meminfo: memFree=28268980/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1306180 CPUtime=402.23 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 267581 0 0 0 40181 42 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140735023245184 6020448 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 326545 267394 877 2943 0 323439 0 [pid=20834/tid=20835] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 1306180 [startup+462.3 s] /proc/loadavg: 2.40 2.35 2.25 3/183 20897 /proc/meminfo: memFree=28268976/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1306180 CPUtime=462.22 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 267581 0 0 0 46180 42 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140735023245184 12474899 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 326545 267394 877 2943 0 323439 0 [pid=20834/tid=20835] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 1306180 [startup+522.3 s] /proc/loadavg: 2.34 2.33 2.25 3/182 20898 /proc/meminfo: memFree=28269824/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1306180 CPUtime=522.21 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 267581 0 0 0 52178 43 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140735023246280 5545894 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 326545 267394 877 2943 0 323439 0 [pid=20834/tid=20835] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 1306180 [startup+582.3 s] /proc/loadavg: 2.36 2.33 2.25 4/183 20901 /proc/meminfo: memFree=28257556/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1306180 CPUtime=582.21 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 267581 0 0 0 58177 44 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140735023246280 12477701 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 326545 267394 877 2943 0 323439 0 [pid=20834/tid=20835] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 582.21 Current children cumulated vsize (KiB) 1306180 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 20834 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+582.4 s] /proc/loadavg: 2.36 2.33 2.25 4/183 20901 /proc/meminfo: memFree=28257556/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1306180 CPUtime=582.31 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 267581 0 0 0 58187 44 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140735023246280 5711697 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 326545 267394 877 2943 0 323439 0 [pid=20834/tid=20835] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1306180 [startup+585.6 s] /proc/loadavg: 2.41 2.34 2.26 4/183 20901 /proc/meminfo: memFree=28257556/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1306180 CPUtime=585.51 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 267581 0 0 0 58507 44 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140735023246280 6022807 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 326545 267394 877 2943 0 323439 0 [pid=20834/tid=20835] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 585.51 Current children cumulated vsize (KiB) 1306180 [startup+586.407 s] /proc/loadavg: 2.41 2.34 2.26 3/183 20901 /proc/meminfo: memFree=28257432/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1306180 CPUtime=586.31 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 267581 0 0 0 58587 44 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140735023246280 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 326545 267394 877 2943 0 323439 0 [pid=20834/tid=20835] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 586.31 Current children cumulated vsize (KiB) 1306180 [startup+587.2 s] /proc/loadavg: 2.41 2.34 2.26 3/183 20901 /proc/meminfo: memFree=28257432/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1306180 CPUtime=587.1 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 267581 0 0 0 58666 44 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140735023246280 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 326545 267394 877 2943 0 323439 0 [pid=20834/tid=20835] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 587.1 Current children cumulated vsize (KiB) 1306180 [startup+587.6 s] /proc/loadavg: 2.41 2.34 2.26 3/183 20901 /proc/meminfo: memFree=28257556/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=1306180 CPUtime=587.5 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202496 267581 0 0 0 58706 44 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140735023246280 5823877 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 326545 267394 877 2943 0 323439 0 [pid=20834/tid=20835] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20835/stat : 20835 (toysat) S 20831 20834 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101439958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20834/tid=20836] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20836/stat : 20836 (toysat) S 20831 20834 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101429468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20834/tid=20837] ppid=20831 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/20834/task/20837/stat : 20837 (toysat) S 20831 20834 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11353767 1337528320 267394 33554432000 4194304 16246674 140735023263280 140101418994864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 587.5 Current children cumulated vsize (KiB) 1306180 [startup+587.7 s] /proc/loadavg: 2.41 2.34 2.26 3/183 20901 /proc/meminfo: memFree=28257556/32872528 swapFree=1402008/1579836 [pid=20834] ppid=20831 vsize=0 CPUtime=587.6 cores=0,2,4,6 /proc/20834/stat : 20834 (toysat) R 20831 20834 13870 0 -1 4202500 267594 0 0 0 58711 49 0 0 20 0 1 0 11353767 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20834/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 587.6 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 587.71 CPU time (s): 587.621 CPU user time (s): 587.116 CPU system time (s): 0.504923 CPU usage (%): 99.9848 Max. virtual memory (cumulated for all children) (KiB): 1306180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 587.116 system time used= 0.504923 maximum resident set size= 1069624 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 267594 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= 19 involuntary context switches= 606 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.55276 second user time and 2.21366 second system time The end
Begin job on node139 at 2016-06-16 18:04:40 IDJOB=4093706 IDBENCH=79175 IDSOLVER=2553 FILE ID=node139/4093706-1466093080 RUNJOBID= node139-1466075487-16983 PBS_JOBID= 19904001 Free space on /tmp= 71612 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093706-1466093080/watcher-4093706-1466093080 -o /tmp/evaluation-result-4093706-1466093080/solver-4093706-1466093080 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16983 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093706-1466093080.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 765d2479315862ebcb627a16e181d11d RANDOM SEED=1069662451 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29335396 kB Buffers: 48280 kB Cached: 115644 kB SwapCached: 960 kB Active: 1169932 kB Inactive: 83472 kB Active(anon): 1090852 kB Inactive(anon): 1240 kB Active(file): 79080 kB Inactive(file): 82232 kB Unevictable: 1579836 kB Mlocked: 1402008 kB SwapTotal: 67108856 kB SwapFree: 67100120 kB Dirty: 16336 kB Writeback: 0 kB AnonPages: 2767088 kB Mapped: 10584 kB Shmem: 0 kB Slab: 568864 kB SReclaimable: 13156 kB SUnreclaim: 555708 kB KernelStack: 1520 kB PageTables: 9328 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2810328 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1359872 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= 71596 MiB End job on node139 at 2016-06-16 18:14:28