| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.3 | 1800.65 |
| Name | /OPT-BIGINT-LIN/zahidi/Large/ normalized-minisat100_16_6_8_ic.opb |
| MD5SUM | 5ed7f30965bba8f3ce61500e35e903e9 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 19677987 |
| Best CPU time to get the best result obtained on this benchmark | 1800.84 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1000400 |
| Total number of constraints | 2000307 |
| Number of constraints which are clauses | 980300 |
| Number of constraints which are cardinality constraints (but not clauses) | 7 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1020000 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 4950 |
| Number of terms in the objective function | 29800 |
| Biggest coefficient in the objective function | 155720872 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 180815007696 |
| Number of bits of the sum of numbers in the objective function | 38 |
| Biggest number in a constraint | 155720872 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 180815007696 |
| Number of bits of the biggest sum of numbers | 38 |
| 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-07T19:10:25+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-4079363-1465319422.opb"] 0.00/0.01 c use --random-gen="1339929774 1913325133 338669921 1380863799 1697439911 3310335864 4023183704 3710946591 1690865461 2771729299 3952573368 3255932238 2693218783 2722029268 1907909542 1608970783 2054309915 1267369692 814348289 1344803901 2320832479 856259936 394542457 932530982 3537073427 787191749 3544065509 918660126 1392275938 2640186033 104204072 1504611209 3810440698 3334319504 2497270514 1411081792 3953921883 994878508 4006197102 2614163768 2611689786 2089618046 1108383181 3011130794 2165799078 1845617650 766694945 1942562278 2175561680 2300194455 4190305040 3361969149 723921110 679456660 1283840087 537227346 849310323 3077391709 3141797152 3614244318 3578399222 2741880718 3684364039 1909011399 3877010581 2419590402 1429161877 16907965 1499181246 3265146800 836394251 1056751827 3850166963 2969503534 1855733512 3833169314 3632176326 796076220 3813153172 3500220131 153647679 2854091901 3892828812 1574750820 42326381 1438047854 1749141371 132503940 1691526738 1933544272 978666495 705672807 1317359232 2077294863 3679602170 4138579685 760152285 3508797378 2405552450 244297982 1389861104 1667647748 2110759345 4044210903 2832614958 2418572801 2196723504 3418603522 3475455873 2378543969 2936248002 2299835785 898438387 1196564770 1443004651 2618646735 1923450252 1349260272 2137419827 416480432 2542462025 3300614606 978437946 1751791112 990612320 2464482885 876038129 3222538719 59615448 2636861458 2685627935 3153708369 817963713 98269827 2277153908 3384069166 628968003 717722803 646717139 838782899 3590614376 3297708678 1715916940 3061729378 3416554117 1131388814 3957780337 1550265721 1027602731 4258867818 1085279702 3520449230 2843006318 1959872890 1986657204 2527502379 3994129443 2450343342 1593556466 388752167 3918765331 30227161 3936967905 3843193996 1203023749 473467743 2889103986 443233980 1257540230 1952887109 1737929100 2205233852 1904189325 3153115957 434200906 3121959793 1123920451 2309673749 3357843980 1225832317 694965483 1142360896 640562958 3613260205 3358511868 2388169691 275423450 2195992660 1640127096 1584615031 1248220422 2925736524 606291729 151638389 4212895553 1375017165 2850968531 3635299314 1346789451 1409543642 845428598 243566465 67666070 3453771532 2077118965 796453995 839538021 2967569610 1062944529 45901052 2874563767 3891113011 2068517252 731251196 3388667278 707568718 2840988605 2150563249 3521311130 3056098896 4251033468 2872826959 1160397008 3531423369 3237166430 2362111242 382162407 1682472965 3397913268 211887217 2669215222 4234394506 719003688 980179276 2794602266 4040344093 253693159 2551398926 1539304157 2165814721 608290029 3001373230 1884120126 2553757225 2149867214 3026060300 1002487056 2684562401 3788624900 2819229598 2724824367 276605739 3046387746 133805010 2248646145 2290280107 255 362436" option to reproduce the execution 17.18/17.24 c #vars 1000400 17.18/17.24 c #constraints 2000307 60.78/60.88 c BCD2: Hardening is enabled. 60.78/60.88 c BCD2: BiasedSearch is enabled. 60.78/60.88 c Solving starts ... 60.78/60.88 c ============================[ Search Statistics ]============================ 60.78/60.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 60.78/60.88 c | | | | Limit GC | Var | Constra 60.78/60.88 c ============================================================================= 60.78/60.89 c 0.0s | 0 | 0 | 0 | 1010136 0 | 300 | 0 214.45/214.57 c 153s | 0 | 166 | 100 | 1010136 0 | 300 | 0 215.25/215.30 c 154s | 1 | 166 | 100 | 1010136 0 | 300 | 0 228.55/228.68 c 167s | 1 | 554 | 200 | 1111150 0 | 300 | 0 235.85/235.97 c 175s | 2 | 605 | 250 | 1111150 0 | 300 | 0 249.05/249.14 c 188s | 2 | 5178 | 350 | 1222265 0 | 300 | 0 257.35/257.47 c 196s | 2 | 5321 | 450 | 1222265 0 | 300 | 0 260.85/260.96 c 200s | 3 | 5350 | 475 | 1222265 0 | 300 | 0 271.14/271.25 c 210s | 3 | 10847 | 575 | 1344492 0 | 300 | 0 279.54/279.65 c 218s | 3 | 10948 | 675 | 1344492 0 | 300 | 0 283.75/283.88 c 222s | 3 | 11048 | 775 | 1344492 0 | 300 | 0 287.04/287.18 c 226s | 4 | 11089 | 813 | 1344492 0 | 300 | 0 297.05/297.12 c 236s | 4 | 12638 | 913 | 1478942 0 | 300 | 0 302.34/302.44 c 241s | 4 | 12742 | 1013 | 1478942 0 | 300 | 0 308.14/308.27 c 247s | 4 | 12850 | 1113 | 1478942 0 | 300 | 0 313.84/313.99 c 253s | 4 | 12954 | 1213 | 1478942 0 | 300 | 0 318.94/319.05 c 258s | 4 | 13049 | 1313 | 1478942 0 | 300 | 0 320.74/320.86 c 259s | 5 | 13056 | 1320 | 1478942 0 | 300 | 0 341.13/341.27 c 280s | 5 | 16056 | 1420 | 1626837 0 | 300 | 0 343.13/343.29 c 282s | 5 | 16164 | 1520 | 1626837 0 | 300 | 0 345.53/345.66 c 284s | 5 | 16266 | 1620 | 1626837 0 | 300 | 0 349.93/350.04 c 289s | 5 | 16467 | 1820 | 1626837 0 | 300 | 0 352.23/352.39 c 291s | 5 | 16565 | 1920 | 1626837 0 | 300 | 0 354.43/354.56 c 293s | 5 | 16666 | 2020 | 1626837 0 | 300 | 0 357.03/357.18 c 296s | 6 | 16729 | 2081 | 1789521 0 | 300 | 0 366.53/366.65 c 305s | 6 | 18103 | 2181 | 1789521 0 | 300 | 0 370.53/370.69 c 309s | 6 | 18214 | 2281 | 1789521 0 | 300 | 0 374.82/374.91 c 314s | 6 | 18324 | 2381 | 1789521 0 | 300 | 0 379.13/379.22 c 318s | 6 | 18433 | 2481 | 1789521 0 | 300 | 0 386.73/386.85 c 325s | 6 | 18546 | 2581 | 1789521 0 | 300 | 0 390.52/390.66 c 329s | 6 | 18655 | 2681 | 1789521 0 | 300 | 0 394.33/394.44 c 333s | 6 | 18764 | 2781 | 1789521 0 | 300 | 0 397.62/397.78 c 336s | 6 | 18873 | 2881 | 1789521 0 | 300 | 0 401.32/401.48 c 340s | 6 | 18982 | 2981 | 1789521 0 | 300 | 0 405.52/405.69 c 344s | 6 | 19087 | 3081 | 1789521 0 | 300 | 0 409.42/409.55 c 348s | 6 | 19200 | 3181 | 1789521 0 | 300 | 0 412.62/412.78 c 351s | 7 | 19241 | 3223 | 1968474 0 | 300 | 0 423.81/423.96 c 363s | 7 | 23797 | 3323 | 1968474 0 | 300 | 0 436.62/436.75 c 375s | 7 | 24012 | 3423 | 1968474 0 | 300 | 0 446.71/446.81 c 385s | 7 | 24147 | 3523 | 1968474 0 | 300 | 0 456.61/456.77 c 395s | 7 | 24316 | 3623 | 1968474 0 | 300 | 0 467.10/467.21 c 406s | 7 | 24489 | 3723 | 1968474 0 | 300 | 0 474.71/474.89 c 414s | 7 | 24624 | 3823 | 1968474 0 | 300 | 0 482.50/482.65 c 421s | 7 | 24789 | 3923 | 1968474 0 | 300 | 0 490.00/490.18 c 429s | 7 | 24958 | 4023 | 1968474 0 | 300 | 0 496.90/497.05 c 436s | 7 | 25114 | 4123 | 1968474 0 | 300 | 0 505.59/505.77 c 444s | 7 | 25414 | 4223 | 1968474 0 | 300 | 0 512.39/512.56 c 451s | 7 | 25606 | 4323 | 1968474 0 | 300 | 0 520.09/520.26 c 459s | 7 | 25742 | 4423 | 1968474 0 | 300 | 0 527.69/527.80 c 466s | 7 | 25878 | 4523 | 1968474 0 | 300 | 0 537.09/537.28 c 476s | 7 | 26047 | 4623 | 1968474 0 | 300 | 0 543.40/543.52 c 482s | 7 | 26229 | 4723 | 1968474 0 | 300 | 0 551.69/551.85 c 490s | 7 | 26385 | 4823 | 1968474 0 | 300 | 0 558.79/558.93 c 498s | 7 | 26522 | 4923 | 2165322 0 | 300 | 0 561.09/561.27 c 500s | 8 | 26536 | 4936 | 2165322 0 | 300 | 0 568.59/568.77 c 507s | 8 | 27630 | 5036 | 2165322 0 | 300 | 0 575.38/575.50 c 514s | 8 | 27743 | 5136 | 2165322 0 | 300 | 0 578.18/578.38 c 517s | 8 | 27852 | 5236 | 2165322 0 | 300 | 0 580.58/580.79 c 519s | 8 | 27965 | 5336 | 2165322 0 | 300 | 0 583.29/583.45 c 522s | 8 | 28071 | 5436 | 2165322 0 | 300 | 0 586.29/586.41 c 525s | 8 | 28179 | 5536 | 2165322 0 | 300 | 0 589.28/589.47 c 528s | 8 | 28302 | 5636 | 2165322 0 | 300 | 0 592.29/592.47 c 531s | 8 | 28410 | 5736 | 2165322 0 | 300 | 0 594.88/595.05 c 534s | 8 | 28516 | 5836 | 2165322 0 | 300 | 0 597.58/597.75 c 536s | 8 | 28631 | 5936 | 2165322 0 | 300 | 0 600.08/600.23 c 539s | 8 | 28742 | 6036 | 2165322 0 | 300 | 0 603.37/603.51 c 542s | 8 | 28845 | 6136 | 2165322 0 | 300 | 0 606.48/606.68 c 545s | 8 | 28961 | 6236 | 2165322 0 | 300 | 0 610.38/610.51 c 549s | 8 | 29073 | 6336 | 2165322 0 | 300 | 0 618.08/618.26 c 557s | 8 | 29180 | 6436 | 2165322 0 | 300 | 0 621.87/622.00 c 561s | 8 | 29282 | 6536 | 2165322 0 | 300 | 0 625.68/625.87 c 564s | 8 | 29392 | 6636 | 2165322 0 | 300 | 0 628.87/629.05 c 568s | 8 | 29506 | 6736 | 2165322 0 | 300 | 0 632.27/632.43 c 571s | 8 | 29606 | 6836 | 2165322 0 | 300 | 0 635.67/635.89 c 575s | 8 | 29711 | 6936 | 2165322 0 | 300 | 0 639.97/640.16 c 579s | 8 | 29823 | 7036 | 2165322 0 | 300 | 0 643.47/643.67 c 582s | 8 | 29934 | 7136 | 2165322 0 | 300 | 0 647.37/647.52 c 586s | 8 | 30039 | 7236 | 2165322 0 | 300 | 0 655.36/655.51 c 594s | 8 | 30144 | 7336 | 2165322 0 | 300 | 0 659.46/659.62 c 598s | 8 | 30242 | 7436 | 2165322 0 | 300 | 0 663.97/664.13 c 603s | 9 | 30316 | 7506 | 2381855 0 | 300 | 0 673.07/673.26 c 612s | 9 | 34970 | 7606 | 2381855 0 | 300 | 0 681.06/681.28 c 620s | 9 | 35121 | 7706 | 2381855 0 | 300 | 0 689.16/689.38 c 628s | 9 | 35364 | 7806 | 2381855 0 | 300 | 0 696.36/696.50 c 635s | 9 | 35504 | 7906 | 2381855 0 | 300 | 0 703.36/703.59 c 642s | 9 | 35642 | 8006 | 2381855 0 | 300 | 0 715.66/715.86 c 654s | 9 | 35770 | 8106 | 2381855 0 | 300 | 0 723.45/723.60 c 662s | 9 | 35895 | 8206 | 2381855 0 | 300 | 0 731.05/731.29 c 670s | 9 | 36033 | 8306 | 2381855 0 | 300 | 0 736.36/736.54 c 675s | 9 | 36155 | 8406 | 2381855 0 | 300 | 0 743.36/743.55 c 682s | 9 | 36305 | 8506 | 2381855 0 | 300 | 0 752.36/752.51 c 691s | 9 | 36435 | 8606 | 2381855 0 | 300 | 0 761.55/761.70 c 700s | 9 | 36569 | 8706 | 2381855 0 | 300 | 0 766.56/766.71 c 705s | 9 | 36718 | 8806 | 2381855 0 | 300 | 0 772.35/772.54 c 711s | 9 | 36863 | 8906 | 2381855 0 | 300 | 0 781.45/781.60 c 720s | 9 | 36993 | 9006 | 2381855 0 | 300 | 0 788.66/788.83 c 727s | 9 | 37142 | 9106 | 2381855 0 | 300 | 0 795.25/795.47 c 734s | 9 | 37277 | 9206 | 2381855 0 | 300 | 0 802.14/802.30 c 741s | 9 | 37467 | 9306 | 2381855 0 | 300 | 0 810.14/810.32 c 749s | 9 | 37646 | 9406 | 2381855 0 | 300 | 0 817.25/817.48 c 756s | 9 | 37927 | 9506 | 2381855 0 | 300 | 0 828.94/829.15 c 768s | 9 | 38062 | 9606 | 2381855 0 | 300 | 0 835.24/835.42 c 774s | 9 | 38196 | 9706 | 2381855 0 | 300 | 0 844.75/844.95 c 784s | 9 | 38329 | 9806 | 2381855 0 | 300 | 0 852.13/852.33 c 791s | 9 | 38444 | 9906 | 2381855 0 | 300 | 0 858.33/858.57 c 797s | 9 | 38639 | 10006 | 2381855 0 | 300 | 0 864.73/864.92 c 804s | 9 | 38781 | 10106 | 2381855 0 | 300 | 0 871.23/871.43 c 810s | 9 | 39024 | 10206 | 2381855 0 | 300 | 0 877.52/877.80 c 816s | 9 | 39260 | 10306 | 2381855 0 | 300 | 0 882.13/882.39 c 821s | 9 | 39382 | 10406 | 2381855 0 | 300 | 0 889.42/889.63 c 828s | 9 | 39514 | 10506 | 2381855 0 | 300 | 0 900.82/901.01 c 840s | 9 | 39623 | 10606 | 2381855 0 | 300 | 0 906.52/906.75 c 845s | 9 | 39767 | 10706 | 2381855 0 | 300 | 0 913.82/914.04 c 853s | 9 | 39929 | 10806 | 2381855 0 | 300 | 0 922.32/922.52 c 861s | 9 | 40115 | 10906 | 2381855 0 | 300 | 0 928.23/928.49 c 867s | 9 | 40265 | 11006 | 2381855 0 | 300 | 0 936.62/936.87 c 875s | 9 | 40430 | 11106 | 2381855 0 | 300 | 0 945.71/945.92 c 885s | 9 | 40557 | 11206 | 2381855 0 | 300 | 0 956.71/956.90 c 896s | 9 | 40713 | 11306 | 2620041 0 | 300 | 0 961.22/961.41 c 900s | 10 | 40865 | 11361 | 2620041 0 | 300 | 0 970.30/970.53 c 909s | 10 | 42577 | 11461 | 2620041 0 | 300 | 0 972.81/973.06 c 912s | 10 | 42711 | 11561 | 2620041 0 | 300 | 0 975.21/975.48 c 914s | 10 | 42893 | 11661 | 2620041 0 | 300 | 0 978.11/978.33 c 917s | 10 | 43009 | 11761 | 2620041 0 | 300 | 0 980.71/980.98 c 920s | 10 | 43161 | 11861 | 2620041 0 | 300 | 0 983.40/983.64 c 922s | 10 | 43300 | 11961 | 2620041 0 | 300 | 0 986.21/986.50 c 925s | 10 | 43409 | 12061 | 2620041 0 | 300 | 0 988.71/988.93 c 928s | 10 | 43510 | 12161 | 2620041 0 | 300 | 0 990.91/991.13 c 930s | 10 | 43626 | 12261 | 2620041 0 | 300 | 0 993.70/993.93 c 933s | 10 | 43749 | 12361 | 2620041 0 | 300 | 0 996.41/996.65 c 935s | 10 | 43861 | 12461 | 2620041 0 | 300 | 0 999.50/999.74 c 938s | 10 | 43987 | 12561 | 2620041 0 | 300 | 0 1002.20/1002.45 c 941s | 10 | 44106 | 12661 | 2620041 0 | 300 | 0 1005.10/1005.32 c 944s | 10 | 44240 | 12761 | 2620041 0 | 300 | 0 1007.89/1008.15 c 947s | 10 | 44335 | 12861 | 2620041 0 | 300 | 0 1010.49/1010.75 c 949s | 10 | 44452 | 12961 | 2620041 0 | 300 | 0 1012.70/1012.98 c 952s | 10 | 44579 | 13061 | 2620041 0 | 300 | 0 1014.90/1015.18 c 954s | 10 | 45279 | 13661 | 2620041 0 | 300 | 0 1017.09/1017.34 c 956s | 10 | 45969 | 14261 | 2620041 0 | 300 | 0 1019.39/1019.66 c 958s | 10 | 46664 | 14861 | 2620041 0 | 300 | 0 1021.50/1021.70 c 960s | 10 | 47235 | 15361 | 2620041 0 | 300 | 0 1023.79/1024.06 c 963s | 10 | 47915 | 15961 | 2620041 0 | 300 | 0 1029.00/1029.25 c 968s | 10 | 48254 | 16261 | 2620041 0 | 300 | 0 1031.40/1031.63 c 970s | 10 | 48954 | 16861 | 2620041 0 | 300 | 0 1034.00/1034.24 c 973s | 11 | 49277 | 17144 | 2882046 0 | 300 | 0 1042.80/1043.01 c 982s | 11 | 49482 | 17244 | 2882046 0 | 300 | 0 1049.59/1049.87 c 988s | 11 | 49604 | 17344 | 2882046 0 | 300 | 0 1053.19/1053.44 c 992s | 11 | 49853 | 17544 | 2882046 0 | 300 | 0 1060.99/1061.24 c 1000s | 11 | 49970 | 17644 | 2882046 0 | 300 | 0 1064.19/1064.49 c 1003s | 11 | 50097 | 17744 | 2882046 0 | 300 | 0 1067.39/1067.60 c 1006s | 11 | 50213 | 17844 | 2882046 0 | 300 | 0 1070.10/1070.37 c 1009s | 11 | 50339 | 17944 | 2882046 0 | 300 | 0 1073.68/1073.90 c 1013s | 11 | 50457 | 18044 | 2882046 0 | 300 | 0 1080.58/1080.83 c 1019s | 11 | 50589 | 18144 | 2882046 0 | 300 | 0 1084.28/1084.57 c 1023s | 11 | 50843 | 18344 | 2882046 0 | 300 | 0 1088.49/1088.73 c 1027s | 11 | 51076 | 18544 | 2882046 0 | 300 | 0 1092.38/1092.69 c 1031s | 11 | 51331 | 18744 | 2882046 0 | 300 | 0 1095.28/1095.50 c 1034s | 11 | 51445 | 18844 | 2882046 0 | 300 | 0 1097.59/1097.82 c 1036s | 11 | 51552 | 18944 | 2882046 0 | 300 | 0 1099.98/1100.26 c 1039s | 11 | 51675 | 19044 | 2882046 0 | 300 | 0 1107.88/1108.16 c 1047s | 11 | 51787 | 19144 | 2882046 0 | 300 | 0 1115.78/1116.02 c 1055s | 11 | 51905 | 19244 | 2882046 0 | 300 | 0 1119.28/1119.58 c 1058s | 11 | 52020 | 19344 | 2882046 0 | 300 | 0 1122.78/1123.04 c 1062s | 11 | 52134 | 19444 | 2882046 0 | 300 | 0 1125.67/1125.94 c 1065s | 11 | 52257 | 19544 | 2882046 0 | 300 | 0 1128.18/1128.48 c 1067s | 11 | 52381 | 19644 | 2882046 0 | 300 | 0 1131.07/1131.33 c 1070s | 11 | 52512 | 19744 | 2882046 0 | 300 | 0 1133.78/1134.00 c 1073s | 11 | 52620 | 19844 | 2882046 0 | 300 | 0 1136.67/1136.98 c 1076s | 11 | 52742 | 19944 | 2882046 0 | 300 | 0 1139.77/1140.08 c 1079s | 11 | 52882 | 20044 | 2882046 0 | 300 | 0 1147.27/1147.57 c 1086s | 11 | 53018 | 20144 | 2882046 0 | 300 | 0 1149.47/1149.70 c 1088s | 11 | 53138 | 20244 | 2882046 0 | 300 | 0 1153.07/1153.37 c 1092s | 11 | 53398 | 20444 | 2882046 0 | 300 | 0 1156.67/1156.93 c 1096s | 11 | 53653 | 20644 | 2882046 0 | 300 | 0 1160.66/1160.90 c 1100s | 11 | 53896 | 20844 | 2882046 0 | 300 | 0 1162.67/1162.92 c 1102s | 11 | 54007 | 20944 | 2882046 0 | 300 | 0 1166.37/1166.62 c 1105s | 11 | 54250 | 21144 | 2882046 0 | 300 | 0 1169.46/1169.74 c 1108s | 11 | 54502 | 21344 | 2882046 0 | 300 | 0 1172.76/1173.03 c 1112s | 11 | 54729 | 21544 | 2882046 0 | 300 | 0 1176.66/1176.98 c 1116s | 11 | 54976 | 21744 | 2882046 0 | 300 | 0 1179.97/1180.28 c 1119s | 11 | 55231 | 21944 | 2882046 0 | 300 | 0 1183.77/1184.02 c 1123s | 11 | 55488 | 22144 | 2882046 0 | 300 | 0 1186.77/1187.07 c 1126s | 11 | 55760 | 22344 | 2882046 0 | 300 | 0 1189.67/1189.90 c 1129s | 11 | 55988 | 22544 | 2882046 0 | 300 | 0 1194.96/1195.29 c 1134s | 11 | 56110 | 22644 | 2882046 0 | 300 | 0 1197.96/1198.23 c 1137s | 11 | 56357 | 22844 | 2882046 0 | 300 | 0 1200.66/1200.91 c 1140s | 11 | 56591 | 23044 | 2882046 0 | 300 | 0 1204.27/1204.57 c 1143s | 11 | 56835 | 23244 | 2882046 0 | 300 | 0 1207.46/1207.79 c 1146s | 11 | 57058 | 23444 | 2882046 0 | 300 | 0 1210.87/1211.12 c 1150s | 11 | 57301 | 23644 | 2882046 0 | 300 | 0 1219.56/1219.80 c 1158s | 11 | 57531 | 23844 | 2882046 0 | 300 | 0 1223.46/1223.70 c 1162s | 11 | 57765 | 24044 | 2882046 0 | 300 | 0 1227.36/1227.66 c 1166s | 11 | 57989 | 24244 | 2882046 0 | 300 | 0 1231.36/1231.64 c 1170s | 11 | 58238 | 24444 | 2882046 0 | 300 | 0 1235.06/1235.38 c 1174s | 11 | 58479 | 24644 | 2882046 0 | 300 | 0 1237.55/1237.84 c 1176s | 11 | 58588 | 24744 | 2882046 0 | 300 | 0 1239.95/1240.27 c 1179s | 11 | 58701 | 24844 | 2882046 0 | 300 | 0 1243.26/1243.58 c 1182s | 11 | 58949 | 25044 | 2882046 0 | 300 | 0 1246.85/1247.13 c 1186s | 11 | 59203 | 25244 | 2882046 0 | 300 | 0 1250.06/1250.33 c 1189s | 11 | 59446 | 25444 | 2882046 0 | 300 | 0 1252.86/1253.11 c 1192s | 11 | 59704 | 25644 | 2882046 0 | 300 | 0 1257.45/1257.74 c 1196s | 12 | 59922 | 25819 | 3170251 0 | 300 | 0 1269.65/1269.94 c 1209s | 12 | 60147 | 25919 | 3170251 0 | 300 | 0 1272.25/1272.60 c 1211s | 12 | 60286 | 26019 | 3170251 0 | 300 | 0 1275.15/1275.47 c 1214s | 12 | 60417 | 26119 | 3170251 0 | 300 | 0 1277.75/1278.02 c 1217s | 12 | 60553 | 26219 | 3170251 0 | 300 | 0 1280.55/1280.87 c 1219s | 12 | 60658 | 26319 | 3170251 0 | 300 | 0 1283.55/1283.82 c 1222s | 12 | 60797 | 26419 | 3170251 0 | 300 | 0 1286.15/1286.48 c 1225s | 12 | 60919 | 26519 | 3170251 0 | 300 | 0 1288.25/1288.59 c 1227s | 12 | 61046 | 26619 | 3170251 0 | 300 | 0 1290.95/1291.25 c 1230s | 12 | 61178 | 26719 | 3170251 0 | 300 | 0 1294.35/1294.69 c 1233s | 12 | 61291 | 26819 | 3170251 0 | 300 | 0 1297.15/1297.47 c 1236s | 12 | 61407 | 26919 | 3170251 0 | 300 | 0 1300.05/1300.40 c 1239s | 12 | 61524 | 27019 | 3170251 0 | 300 | 0 1303.65/1303.91 c 1243s | 12 | 61651 | 27119 | 3170251 0 | 300 | 0 1307.24/1307.51 c 1246s | 12 | 61766 | 27219 | 3170251 0 | 300 | 0 1310.74/1311.08 c 1250s | 12 | 61895 | 27319 | 3170251 0 | 300 | 0 1313.84/1314.12 c 1253s | 12 | 62038 | 27419 | 3170251 0 | 300 | 0 1316.45/1316.74 c 1255s | 12 | 62192 | 27519 | 3170251 0 | 300 | 0 1319.54/1319.83 c 1258s | 12 | 62320 | 27619 | 3170251 0 | 300 | 0 1322.44/1322.78 c 1261s | 12 | 62441 | 27719 | 3170251 0 | 300 | 0 1325.44/1325.75 c 1264s | 12 | 62565 | 27819 | 3170251 0 | 300 | 0 1328.34/1328.63 c 1267s | 12 | 62692 | 27919 | 3170251 0 | 300 | 0 1331.64/1331.92 c 1271s | 12 | 62809 | 28019 | 3170251 0 | 300 | 0 1334.74/1335.01 c 1274s | 12 | 62937 | 28119 | 3170251 0 | 300 | 0 1337.93/1338.21 c 1277s | 12 | 63056 | 28219 | 3170251 0 | 300 | 0 1341.33/1341.66 c 1280s | 12 | 63166 | 28319 | 3170251 0 | 300 | 0 1344.43/1344.73 c 1283s | 12 | 63290 | 28419 | 3170251 0 | 300 | 0 1347.93/1348.25 c 1287s | 12 | 63402 | 28519 | 3170251 0 | 300 | 0 1350.34/1350.67 c 1289s | 12 | 63547 | 28619 | 3170251 0 | 300 | 0 1358.53/1358.86 c 1297s | 12 | 63654 | 28719 | 3170251 0 | 300 | 0 1361.84/1362.11 c 1301s | 12 | 63776 | 28819 | 3170251 0 | 300 | 0 1364.84/1365.15 c 1304s | 12 | 63890 | 28919 | 3170251 0 | 300 | 0 1368.33/1368.62 c 1307s | 12 | 64013 | 29019 | 3170251 0 | 300 | 0 1371.23/1371.57 c 1310s | 12 | 64145 | 29119 | 3170251 0 | 300 | 0 1375.13/1375.42 c 1314s | 12 | 64260 | 29219 | 3170251 0 | 300 | 0 1378.73/1379.08 c 1318s | 12 | 64385 | 29319 | 3170251 0 | 300 | 0 1381.63/1381.93 c 1321s | 12 | 64516 | 29419 | 3170251 0 | 300 | 0 1384.23/1384.52 c 1323s | 12 | 64650 | 29519 | 3170251 0 | 300 | 0 1387.03/1387.33 c 1326s | 12 | 64767 | 29619 | 3170251 0 | 300 | 0 1389.83/1390.16 c 1329s | 12 | 64892 | 29719 | 3170251 0 | 300 | 0 1393.13/1393.42 c 1332s | 12 | 65011 | 29819 | 3170251 0 | 300 | 0 1396.43/1396.72 c 1335s | 12 | 65139 | 29919 | 3170251 0 | 300 | 0 1399.62/1399.95 c 1339s | 12 | 65269 | 30019 | 3170251 0 | 300 | 0 1403.13/1403.49 c 1342s | 12 | 65379 | 30119 | 3170251 0 | 300 | 0 1410.42/1410.79 c 1349s | 12 | 65513 | 30219 | 3170251 0 | 300 | 0 1414.43/1414.76 c 1353s | 12 | 65788 | 30419 | 3170251 0 | 300 | 0 1418.13/1418.40 c 1357s | 12 | 66084 | 30619 | 3170251 0 | 300 | 0 1420.12/1420.46 c 1359s | 12 | 66211 | 30719 | 3170251 0 | 300 | 0 1422.33/1422.64 c 1361s | 12 | 66340 | 30819 | 3170251 0 | 300 | 0 1424.82/1425.10 c 1364s | 12 | 66461 | 30919 | 3170251 0 | 300 | 0 1427.63/1427.91 c 1367s | 12 | 66571 | 31019 | 3170251 0 | 300 | 0 1430.22/1430.59 c 1369s | 12 | 66689 | 31119 | 3170251 0 | 300 | 0 1433.51/1433.82 c 1372s | 12 | 66802 | 31219 | 3170251 0 | 300 | 0 1440.02/1440.35 c 1379s | 12 | 66913 | 31319 | 3170251 0 | 300 | 0 1442.92/1443.23 c 1382s | 12 | 67032 | 31419 | 3170251 0 | 300 | 0 1445.41/1445.77 c 1384s | 12 | 67151 | 31519 | 3170251 0 | 300 | 0 1447.92/1448.26 c 1387s | 12 | 67265 | 31619 | 3170251 0 | 300 | 0 1450.31/1450.67 c 1389s | 12 | 67397 | 31719 | 3170251 0 | 300 | 0 1452.71/1453.10 c 1392s | 12 | 67534 | 31819 | 3170251 0 | 300 | 0 1454.81/1455.16 c 1394s | 12 | 67652 | 31919 | 3170251 0 | 300 | 0 1456.92/1457.25 c 1396s | 12 | 67770 | 32019 | 3170251 0 | 300 | 0 1460.71/1461.05 c 1400s | 12 | 68005 | 32219 | 3170251 0 | 300 | 0 1463.02/1463.39 c 1402s | 12 | 68115 | 32319 | 3170251 0 | 300 | 0 1466.31/1466.62 c 1405s | 12 | 68369 | 32519 | 3170251 0 | 300 | 0 1469.32/1469.64 c 1408s | 12 | 68617 | 32719 | 3170251 0 | 300 | 0 1473.71/1474.06 c 1413s | 12 | 68850 | 32919 | 3170251 0 | 300 | 0 1475.81/1476.17 c 1415s | 12 | 68960 | 33019 | 3170251 0 | 300 | 0 1479.70/1480.02 c 1419s | 12 | 69197 | 33219 | 3170251 0 | 300 | 0 1481.71/1482.09 c 1421s | 12 | 69333 | 33319 | 3170251 0 | 300 | 0 1484.11/1484.41 c 1423s | 12 | 69443 | 33419 | 3170251 0 | 300 | 0 1486.91/1487.28 c 1426s | 12 | 69554 | 33519 | 3170251 0 | 300 | 0 1490.40/1490.76 c 1429s | 12 | 69796 | 33719 | 3170251 0 | 300 | 0 1493.90/1494.25 c 1433s | 12 | 70030 | 33919 | 3170251 0 | 300 | 0 1496.20/1496.52 c 1435s | 12 | 70145 | 34019 | 3170251 0 | 300 | 0 1498.20/1498.53 c 1437s | 12 | 70258 | 34119 | 3170251 0 | 300 | 0 1500.61/1500.99 c 1440s | 12 | 70373 | 34219 | 3170251 0 | 300 | 0 1507.30/1507.64 c 1446s | 12 | 70483 | 34319 | 3170251 0 | 300 | 0 1510.20/1510.58 c 1449s | 12 | 70601 | 34419 | 3170251 0 | 300 | 0 1515.00/1515.37 c 1454s | 12 | 70831 | 34619 | 3170251 0 | 300 | 0 1518.20/1518.56 c 1457s | 12 | 71084 | 34819 | 3170251 0 | 300 | 0 1520.50/1520.90 c 1460s | 12 | 71202 | 34919 | 3170251 0 | 300 | 0 1523.70/1524.01 c 1463s | 12 | 71482 | 35119 | 3170251 0 | 300 | 0 1527.20/1527.50 c 1466s | 12 | 71733 | 35319 | 3170251 0 | 300 | 0 1531.30/1531.62 c 1470s | 12 | 71955 | 35519 | 3170251 0 | 300 | 0 1533.29/1533.66 c 1472s | 12 | 72091 | 35619 | 3170251 0 | 300 | 0 1536.90/1537.23 c 1476s | 12 | 72324 | 35819 | 3170251 0 | 300 | 0 1539.09/1539.42 c 1478s | 12 | 72443 | 35919 | 3170251 0 | 300 | 0 1542.69/1543.08 c 1482s | 12 | 72671 | 36119 | 3170251 0 | 300 | 0 1544.90/1545.22 c 1484s | 12 | 72812 | 36219 | 3170251 0 | 300 | 0 1547.00/1547.33 c 1486s | 12 | 72934 | 36319 | 3170251 0 | 300 | 0 1548.99/1549.36 c 1488s | 12 | 73053 | 36419 | 3170251 0 | 300 | 0 1552.59/1552.97 c 1492s | 12 | 73299 | 36619 | 3170251 0 | 300 | 0 1556.20/1556.55 c 1495s | 12 | 73532 | 36819 | 3170251 0 | 300 | 0 1559.89/1560.21 c 1499s | 12 | 73779 | 37019 | 3170251 0 | 300 | 0 1563.49/1563.88 c 1502s | 12 | 74014 | 37219 | 3170251 0 | 300 | 0 1567.49/1567.82 c 1506s | 12 | 74263 | 37419 | 3170251 0 | 300 | 0 1569.58/1569.93 c 1509s | 12 | 74382 | 37519 | 3170251 0 | 300 | 0 1575.49/1575.89 c 1515s | 12 | 74502 | 37619 | 3170251 0 | 300 | 0 1577.59/1577.95 c 1517s | 12 | 74622 | 37719 | 3170251 0 | 300 | 0 1581.29/1581.65 c 1520s | 12 | 74853 | 37919 | 3170251 0 | 300 | 0 1584.68/1585.02 c 1524s | 12 | 75075 | 38119 | 3170251 0 | 300 | 0 1587.89/1588.29 c 1527s | 12 | 75304 | 38319 | 3170251 0 | 300 | 0 1591.50/1591.84 c 1530s | 12 | 75569 | 38519 | 3170251 0 | 300 | 0 1593.49/1593.86 c 1532s | 12 | 75685 | 38619 | 3487277 0 | 300 | 0 1596.69/1597.08 c 1536s | 12 | 75913 | 38819 | 3487277 0 | 300 | 0 1598.29/1598.60 c 1537s | 13 | 75933 | 38832 | 3487277 0 | 300 | 0 1606.79/1607.19 c 1546s | 13 | 76132 | 38932 | 3487277 0 | 300 | 0 1613.68/1614.03 c 1553s | 13 | 76250 | 39032 | 3487277 0 | 300 | 0 1620.28/1620.60 c 1559s | 13 | 76365 | 39132 | 3487277 0 | 300 | 0 1623.78/1624.16 c 1563s | 13 | 76584 | 39332 | 3487277 0 | 300 | 0 1626.98/1627.34 c 1566s | 13 | 76830 | 39532 | 3487277 0 | 300 | 0 1630.48/1630.82 c 1569s | 13 | 77087 | 39732 | 3487277 0 | 300 | 0 1642.28/1642.60 c 1581s | 13 | 77224 | 39832 | 3487277 0 | 300 | 0 1644.37/1644.74 c 1583s | 13 | 77336 | 39932 | 3487277 0 | 300 | 0 1646.49/1646.84 c 1585s | 13 | 77450 | 40032 | 3487277 0 | 300 | 0 1652.28/1652.64 c 1591s | 13 | 77565 | 40132 | 3487277 0 | 300 | 0 1656.28/1656.65 c 1595s | 13 | 77814 | 40332 | 3487277 0 | 300 | 0 1658.48/1658.89 c 1598s | 13 | 77924 | 40432 | 3487277 0 | 300 | 0 1660.58/1660.96 c 1600s | 13 | 78058 | 40532 | 3487277 0 | 300 | 0 1664.17/1664.57 c 1603s | 13 | 78296 | 40732 | 3487277 0 | 300 | 0 1667.87/1668.20 c 1607s | 13 | 78529 | 40932 | 3487277 0 | 300 | 0 1671.48/1671.89 c 1611s | 13 | 78784 | 41132 | 3487277 0 | 300 | 0 1673.77/1674.12 c 1613s | 13 | 78901 | 41232 | 3487277 0 | 300 | 0 1675.87/1676.20 c 1615s | 13 | 79016 | 41332 | 3487277 0 | 300 | 0 1679.57/1679.90 c 1619s | 13 | 79254 | 41532 | 3487277 0 | 300 | 0 1681.68/1682.06 c 1621s | 13 | 79373 | 41632 | 3487277 0 | 300 | 0 1684.98/1685.35 c 1624s | 13 | 79604 | 41832 | 3487277 0 | 300 | 0 1688.57/1688.93 c 1628s | 13 | 79860 | 42032 | 3487277 0 | 300 | 0 1692.37/1692.75 c 1631s | 13 | 80103 | 42232 | 3487277 0 | 300 | 0 1695.36/1695.70 c 1634s | 13 | 80214 | 42332 | 3487277 0 | 300 | 0 1697.37/1697.77 c 1636s | 13 | 80324 | 42432 | 3487277 0 | 300 | 0 1700.97/1701.38 c 1640s | 13 | 80577 | 42632 | 3487277 0 | 300 | 0 1704.87/1705.20 c 1644s | 13 | 80813 | 42832 | 3487277 0 | 300 | 0 1708.57/1708.97 c 1648s | 13 | 81052 | 43032 | 3487277 0 | 300 | 0 1712.47/1712.83 c 1651s | 13 | 81277 | 43232 | 3487277 0 | 300 | 0 1714.47/1714.88 c 1654s | 13 | 81383 | 43332 | 3487277 0 | 300 | 0 1720.76/1721.17 c 1660s | 13 | 81492 | 43432 | 3487277 0 | 300 | 0 1723.87/1724.24 c 1663s | 13 | 81707 | 43632 | 3487277 0 | 300 | 0 1727.27/1727.69 c 1666s | 13 | 81946 | 43832 | 3487277 0 | 300 | 0 1730.76/1731.11 c 1670s | 13 | 82172 | 44032 | 3487277 0 | 300 | 0 1734.66/1735.00 c 1674s | 13 | 82389 | 44232 | 3487277 0 | 300 | 0 1738.06/1738.49 c 1677s | 13 | 82606 | 44432 | 3487277 0 | 300 | 0 1741.37/1741.74 c 1680s | 13 | 82823 | 44632 | 3487277 0 | 300 | 0 1743.46/1743.81 c 1682s | 13 | 82928 | 44732 | 3487277 0 | 300 | 0 1747.46/1747.88 c 1686s | 13 | 83140 | 44932 | 3487277 0 | 300 | 0 1751.26/1751.69 c 1690s | 13 | 83375 | 45132 | 3487277 0 | 300 | 0 1755.06/1755.48 c 1694s | 13 | 83605 | 45332 | 3487277 0 | 300 | 0 1758.57/1758.93 c 1698s | 13 | 83828 | 45532 | 3487277 0 | 300 | 0 1762.36/1762.76 c 1701s | 13 | 84038 | 45732 | 3487277 0 | 300 | 0 1765.05/1765.44 c 1704s | 13 | 84259 | 45932 | 3487277 0 | 300 | 0 1768.76/1769.10 c 1708s | 13 | 84475 | 46132 | 3487277 0 | 300 | 0 1770.96/1771.31 c 1710s | 13 | 84578 | 46232 | 3487277 0 | 300 | 0 1775.26/1775.66 c 1714s | 13 | 84804 | 46432 | 3487277 0 | 300 | 0 1779.15/1779.59 c 1718s | 13 | 85022 | 46632 | 3487277 0 | 300 | 0 1790.75/1791.19 c 1730s | 13 | 85130 | 46732 | 3487277 0 | 300 | 0 1794.15/1794.58 c 1733s | 13 | 85343 | 46932 | 3487277 0 | 300 | 0 1797.35/1797.75 c 1736s | 13 | 85557 | 47132 | 3487277 0 | 300 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079363-1465319422/watcher-4079363-1465319422 -o /tmp/evaluation-result-4079363-1465319422/solver-4079363-1465319422 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12875 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079363-1465319422.opb pid=13669 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.10 2.04 2.01 3/173 13672 /proc/meminfo: memFree=31224804/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=854460 CPUtime=0 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 3213 0 0 0 0 0 0 0 20 0 4 0 113877204 874967040 3062 33554432000 4194304 16246674 140737020411408 140737020410832 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13672/statm: 214383 3073 441 2943 0 211277 0 [pid=13672/tid=13673] ppid=13669 vsize=873916 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 894889984 3135 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=876988 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 898035712 3150 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=882108 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877204 903278592 3169 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100182 s] /proc/loadavg: 2.10 2.04 2.01 3/173 13672 /proc/meminfo: memFree=31224804/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=1303108 CPUtime=0.09 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 30814 0 0 0 4 5 0 0 20 0 4 0 113877204 1334382592 30602 33554432000 4194304 16246674 140737020411408 140737020410720 7369730 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13672/statm: 325777 30620 800 2943 0 322671 0 [pid=13672/tid=13673] ppid=13669 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 1334382592 30628 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 1334382592 30641 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 1334382592 30656 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1303108 [startup+0.200558 s] /proc/loadavg: 2.10 2.04 2.01 3/173 13672 /proc/meminfo: memFree=31224804/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=1311300 CPUtime=0.19 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 48111 0 0 0 11 8 0 0 20 0 4 0 113877204 1342771200 48409 33554432000 4194304 16246674 140737020411408 140737020410720 7371468 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13672/statm: 327825 48429 801 2943 0 324719 0 [pid=13672/tid=13673] ppid=13669 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 1342771200 48440 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 1342771200 48451 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 1342771200 48463 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1311300 [startup+0.30052 s] /proc/loadavg: 2.10 2.04 2.01 3/173 13672 /proc/meminfo: memFree=31224804/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=1312324 CPUtime=0.29 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 56995 0 0 0 19 10 0 0 20 0 4 0 113877204 1343819776 57293 33554432000 4194304 16246674 140737020411408 140737020410720 8055506 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13672/statm: 328081 57293 801 2943 0 324975 0 [pid=13672/tid=13673] ppid=13669 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 1343819776 57293 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 1343819776 57293 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 1343819776 57293 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1312324 [startup+0.700417 s] /proc/loadavg: 2.10 2.04 2.01 3/173 13672 /proc/meminfo: memFree=31224804/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 63748 0 0 0 53 16 0 0 20 0 4 0 113877204 1344868352 64046 33554432000 4194304 16246674 140737020411408 140737020394400 8058600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13672/statm: 328337 64046 802 2943 0 325231 0 [pid=13672/tid=13673] ppid=13669 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 1344868352 64046 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 1344868352 64046 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 1344868352 64046 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50041 s] /proc/loadavg: 2.17 2.06 2.01 3/175 13676 /proc/meminfo: memFree=30835372/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=1313348 CPUtime=1.49 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 85265 0 0 0 123 26 0 0 20 0 4 0 113877204 1344868352 85563 33554432000 4194304 16246674 140737020411408 140737020394400 7918792 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13672/statm: 328337 85563 802 2943 0 325231 0 [pid=13672/tid=13673] ppid=13669 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 1344868352 85563 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 1344868352 85563 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 1344868352 85563 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10048 s] /proc/loadavg: 2.17 2.06 2.01 3/184 13690 /proc/meminfo: memFree=30472656/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=1337924 CPUtime=3.09 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 157272 0 0 0 258 51 0 0 20 0 4 0 113877204 1370034176 162169 33554432000 4194304 16246674 140737020411408 140737020394400 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13672/statm: 334481 162169 802 2943 0 331375 0 [pid=13672/tid=13673] ppid=13669 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 1370034176 162169 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 1370034176 162169 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 1370034176 162169 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1337924 [startup+6.30041 s] /proc/loadavg: 2.17 2.06 2.01 3/184 13690 /proc/meminfo: memFree=29464260/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=1387076 CPUtime=6.29 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 226882 0 0 0 537 92 0 0 20 0 4 0 113877204 1420365824 242510 33554432000 4194304 16246674 140737020411408 140737020409216 13927493 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13672/statm: 346769 242510 802 2943 0 343663 0 [pid=13672/tid=13673] ppid=13669 vsize=1387076 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 1420365824 242510 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=1387076 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 1420365824 242510 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=1387076 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 1420365824 242510 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1387076 [startup+12.7005 s] /proc/loadavg: 2.22 2.07 2.02 3/184 13690 /proc/meminfo: memFree=28765128/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=1584708 CPUtime=12.69 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 294831 0 0 0 1144 125 0 0 20 0 4 0 113877204 1622740992 332432 33554432000 4194304 16246674 140737020411408 140737020410504 8055451 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13672/statm: 396177 332432 802 2943 0 393071 0 [pid=13672/tid=13673] ppid=13669 vsize=1584708 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 1622740992 332432 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=1584708 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 1622740992 332432 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=1584708 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 1622740992 332432 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1584708 [startup+25.5005 s] /proc/loadavg: 2.18 2.07 2.01 3/184 13690 /proc/meminfo: memFree=25272320/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=3841604 CPUtime=25.49 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 858966 0 0 0 2344 205 0 0 20 0 4 0 113877204 3933802496 901423 33554432000 4194304 16246674 140737020411408 140737020410072 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13672/statm: 960401 901429 848 2943 0 957295 0 [pid=13672/tid=13673] ppid=13669 vsize=3841604 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 3933802496 901433 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=3841604 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 3933802496 901437 33554432000 4194304 16246674 140737020411408 140537341385744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=3841604 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 3933802496 901441 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 3841604 [startup+51.1005 s] /proc/loadavg: 2.26 2.09 2.02 3/183 13690 /proc/meminfo: memFree=19338172/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=5501508 CPUtime=51.08 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 1274092 0 0 0 4761 347 0 0 20 0 4 0 113877204 5633544192 1316546 33554432000 4194304 16246674 140737020411408 140737020410072 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13672/statm: 1375377 1316553 848 2943 0 1372271 0 [pid=13672/tid=13673] ppid=13669 vsize=5501508 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 5633544192 1316557 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=5501508 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 5633544192 1316562 33554432000 4194304 16246674 140737020411408 140537341385744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=5501508 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 5633544192 1316566 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 5501508 [startup+102.301 s] /proc/loadavg: 2.10 2.08 2.02 3/183 13692 /proc/meminfo: memFree=14898632/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=6413892 CPUtime=102.28 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 1502257 0 0 0 9752 476 0 0 20 0 4 0 113877204 6567825408 1544711 33554432000 4194304 16246674 140737020411408 140737020410584 13898991 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13672/statm: 1603473 1544711 894 2943 0 1600367 0 [pid=13672/tid=13673] ppid=13669 vsize=6413892 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 6567825408 1544711 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=6413892 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 6567825408 1544711 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=6413892 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 6567825408 1544711 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 6413892 ################ # More data... # ################ /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 7631428 [startup+1362.3 s] /proc/loadavg: 2.02 2.04 2.00 3/183 13724 /proc/meminfo: memFree=11681280/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=7631428 CPUtime=1362.04 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 1806728 0 0 0 134648 1556 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140737020393280 13943608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13672/statm: 1907857 1849101 898 2943 0 1904751 0 [pid=13672/tid=13673] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 7631428 [startup+1422.3 s] /proc/loadavg: 2.08 2.05 2.00 3/183 13725 /proc/meminfo: memFree=11680940/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=7631428 CPUtime=1422.02 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 1806736 0 0 0 140636 1566 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140737020410584 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13672/statm: 1907857 1849101 898 2943 0 1904751 0 [pid=13672/tid=13673] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1422.02 Current children cumulated vsize (KiB) 7631428 [startup+1482.3 s] /proc/loadavg: 2.07 2.05 2.00 3/183 13726 /proc/meminfo: memFree=11680716/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=7631428 CPUtime=1482.01 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 1806748 0 0 0 146623 1578 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140737020410504 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13672/statm: 1907857 1849101 898 2943 0 1904751 0 [pid=13672/tid=13673] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1482.01 Current children cumulated vsize (KiB) 7631428 [startup+1542.31 s] /proc/loadavg: 2.02 2.04 2.00 3/183 13727 /proc/meminfo: memFree=11681108/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=7631428 CPUtime=1542 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 1806759 0 0 0 152611 1589 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140737020410504 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13672/statm: 1907857 1849101 898 2943 0 1904751 0 [pid=13672/tid=13673] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 7631428 [startup+1602.3 s] /proc/loadavg: 2.06 2.04 2.00 3/183 13729 /proc/meminfo: memFree=11681012/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=7631428 CPUtime=1601.98 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 1806765 0 0 0 158599 1599 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140737020410584 13898695 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13672/statm: 1907857 1849101 898 2943 0 1904751 0 [pid=13672/tid=13673] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 7631428 [startup+1662.3 s] /proc/loadavg: 2.02 2.03 2.00 3/183 13730 /proc/meminfo: memFree=11681032/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=7631428 CPUtime=1661.97 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 1806765 0 0 0 164588 1609 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140737020410584 4220489 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13672/statm: 1907857 1849101 898 2943 0 1904751 0 [pid=13672/tid=13673] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 7631428 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.00 3/183 13731 /proc/meminfo: memFree=11681056/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=7631428 CPUtime=1721.96 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 1806769 0 0 0 170576 1620 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140737020410584 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13672/statm: 1907857 1849101 898 2943 0 1904751 0 [pid=13672/tid=13673] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 7631428 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/184 13735 /proc/meminfo: memFree=11679164/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=7631428 CPUtime=1781.95 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 1806771 0 0 0 176562 1633 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140737020393280 12483481 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13672/statm: 1907857 1849101 898 2943 0 1904751 0 [pid=13672/tid=13673] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 7631428 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.02 2.00 3/184 13736 /proc/meminfo: memFree=11679688/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=7631428 CPUtime=1800.05 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) R 13669 13672 11961 0 -1 4202496 1806771 0 0 0 178340 1665 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140737020393280 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13672/statm: 1907857 1849101 898 2943 0 1904751 0 [pid=13672/tid=13673] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) S 13669 13672 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537351875824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13672/tid=13674] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13674/stat : 13674 (toysat) S 13669 13672 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537341385968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13672/tid=13675] ppid=13669 vsize=7631428 CPUtime=0 cores=1,3,5,7 /proc/13672/task/13675/stat : 13675 (toysat) S 13669 13672 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113877204 7814582272 1849101 33554432000 4194304 16246674 140737020411408 140537330912432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 7631428 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 13672 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.00 2.02 2.00 3/184 13736 /proc/meminfo: memFree=11679688/32872528 swapFree=12744/274376 [pid=13672] ppid=13669 vsize=0 CPUtime=1800.25 cores=1,3,5,7 /proc/13672/stat : 13672 (toysat) Z 13669 13672 11961 0 -1 4203532 1806771 0 0 0 178341 1684 0 0 20 0 2 0 113877204 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13672/statm: 0 0 0 0 0 0 0 [pid=13672/tid=13673] ppid=13669 vsize=0 CPUtime=0.18 cores=1,3,5,7 /proc/13672/task/13673/stat : 13673 (toysat) R 13669 13672 11961 0 -1 4203588 10 0 0 0 0 18 0 0 20 0 2 0 113877204 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.65 CPU time (s): 1800.3 CPU user time (s): 1783.41 CPU system time (s): 16.8924 CPU usage (%): 99.9806 Max. virtual memory (cumulated for all children) (KiB): 7631428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.41 system time used= 16.8924 maximum resident set size= 7396404 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1806771 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= 268 involuntary context switches= 1963 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.64053 second user time and 7.2029 second system time The end
Begin job on node107 at 2016-06-07 19:10:25 IDJOB=4079363 IDBENCH=92643 IDSOLVER=2542 FILE ID=node107/4079363-1465319422 RUNJOBID= node107-1465310409-12875 PBS_JOBID= 19848089 Free space on /tmp= 71492 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_8_ic.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079363-1465319422/watcher-4079363-1465319422 -o /tmp/evaluation-result-4079363-1465319422/solver-4079363-1465319422 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12875 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079363-1465319422.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5ed7f30965bba8f3ce61500e35e903e9 RANDOM SEED=124241632 node107.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.441 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.441 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.441 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 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.441 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.441 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.441 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.56 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.441 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: 31226464 kB Buffers: 96860 kB Cached: 514316 kB SwapCached: 1648 kB Active: 198456 kB Inactive: 419940 kB Active(anon): 6664 kB Inactive(anon): 2796 kB Active(file): 191792 kB Inactive(file): 417144 kB Unevictable: 274376 kB Mlocked: 12744 kB SwapTotal: 67108856 kB SwapFree: 67098592 kB Dirty: 283252 kB Writeback: 0 kB AnonPages: 283128 kB Mapped: 7072 kB Shmem: 0 kB Slab: 620652 kB SReclaimable: 59820 kB SUnreclaim: 560832 kB KernelStack: 1416 kB PageTables: 4608 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 375868 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 266240 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= 71400 MiB End job on node107 at 2016-06-07 19:40:25