| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.68 | 1801.01 |
| Name | /DEC-SMALLINT-LIN/lopes/ normalized-173.opb |
| MD5SUM | b029850fdc398224d6c6edaf54638c01 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 268241 |
| Total number of constraints | 5985144 |
| Number of constraints which are clauses | 5358445 |
| Number of constraints which are cardinality constraints (but not clauses) | 21283 |
| Number of constraints which are nor clauses,nor cardinality constraints | 605416 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2337 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2338 |
| Number of bits of the biggest sum of numbers | 12 |
| 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-19T01:35:15+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-4108967-1466292908.opb"] 0.00/0.01 c use --random-gen="509355862 2367471933 1174635223 4127957446 1268655182 3664984558 3101559487 4149598524 3990101268 1533493864 3276538763 3761060849 3127432897 609351155 4036890116 3089415138 4056468742 1141057676 4231239199 1212681284 339560792 595414562 2456616600 3958326625 2022017230 3704186894 3492483638 610151255 306389683 1510936707 1836250096 326366788 3635357044 3091196843 3043022412 3111226526 2441308192 117506966 1048425448 495885763 1245713905 4132966637 2068062830 1657837657 3234986283 461127047 1077391635 2431927042 2666577537 3257560547 1957371506 318051080 1331755074 3603937458 2792156167 898658800 522881412 803058351 3303659661 368847459 692275539 1198161461 3580215367 1929714543 620266100 2511978405 3250578770 3018122281 1103103328 443022403 1425871514 85408102 201885803 76916838 4140518295 2268493843 3287202663 842234401 1213847697 84720762 1112390073 1316780868 4194427525 931442436 1120883931 2965466338 4018002180 3303271821 1027876820 1533262326 427506943 3595978832 1554119883 3518426621 1221524328 1253894201 2411826123 2980314061 2017188449 4129794311 724461098 2882917772 1678904549 65473794 2350253117 2279889367 2703562295 1462602398 3992081024 1434313741 1976135268 2651488536 1363420926 1323191679 2757039718 3819540262 3102736131 2265911752 2951954027 2921709185 1680691421 522222415 2523539031 578197540 3488251866 639864293 3149661373 3381986728 961322184 3846701445 1189652911 2009104855 3493706421 23592613 4279741884 237359661 3148795112 335813037 3439293726 3958400177 1861420710 4030157837 376902708 772536716 2997681615 1646129688 4256278402 2506706868 2206770516 710750744 280543854 1534173434 2054275540 1166257982 1128153930 3199419822 3076441492 2678213089 3207376469 2405178693 1551949302 171589288 2190373199 2706905091 266123438 383732816 4012846295 983434457 587652083 865915210 955770754 621597118 978884742 3737965634 1149188699 2682182023 728045554 3095217493 1334728705 3239754042 2205752245 120867986 1896651254 2903782202 2552918742 3187860355 3268393868 3958808435 595389445 2203963957 3068605245 4259524673 33602714 70272378 1027117035 2691925219 1819807922 1111531558 541485100 1828757868 4202123383 2864059301 3067004671 2368948985 2947731104 587465224 1542146057 41987947 2981158645 1635503971 132353809 2659196039 2610663056 622862027 1319319146 3246929209 2535460598 3352283826 3753099356 2443844636 2681167870 867356830 3663658905 880486051 474358100 2028984102 3463544700 3243365160 2736236075 4170758594 3444796566 1653063839 1113190152 2030395198 1163665297 2739419826 3324159959 1382504041 3669763877 3124053844 937672267 3317506671 96343389 2482591304 1568843758 1358214307 1325463882 4067635207 1701853045 776148984 2715651522 4167203757 1770900539 1293281022 1621180317 2860327536 255 362436" option to reproduce the execution 50.38/50.40 c #vars 268241 50.38/50.40 c #constraints 5985144 173.76/173.89 c Solving starts ... 173.76/173.89 c ============================[ Search Statistics ]============================ 173.76/173.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 173.76/173.89 c | | | | Limit GC | Var | Constra 173.76/173.89 c ============================================================================= 173.86/173.93 c 0.0s | 0 | 0 | 0 | 2088015 0 | 0 | 0 177.55/177.64 c 3.7s | 0 | 203 | 100 | 2088015 0 | 0 | 0 177.55/177.67 c 3.8s | 1 | 203 | 100 | 2088015 0 | 0 | 0 185.65/185.72 c 11.8s | 1 | 9686 | 200 | 2296817 0 | 0 | 0 186.44/186.59 c 12.7s | 2 | 9753 | 250 | 2296817 0 | 0 | 0 190.94/191.04 c 17.1s | 2 | 10792 | 350 | 2526499 0 | 0 | 0 192.45/192.58 c 18.7s | 3 | 11231 | 475 | 2526499 0 | 0 | 0 197.35/197.44 c 23.5s | 3 | 12050 | 575 | 2779149 0 | 0 | 0 200.34/200.48 c 26.6s | 3 | 12268 | 775 | 2779149 0 | 0 | 0 201.14/201.22 c 27.3s | 4 | 12306 | 813 | 2779149 0 | 0 | 0 205.64/205.74 c 31.9s | 4 | 13707 | 913 | 3057064 0 | 0 | 0 208.14/208.25 c 34.4s | 4 | 14138 | 1113 | 3057064 0 | 0 | 0 211.74/211.86 c 38.0s | 4 | 14382 | 1313 | 3057064 0 | 0 | 0 211.94/212.07 c 38.2s | 5 | 14385 | 1320 | 3057064 0 | 0 | 0 226.14/226.28 c 52.4s | 5 | 43178 | 1420 | 3362771 0 | 0 | 0 234.03/234.13 c 60.2s | 5 | 60219 | 1620 | 3362771 0 | 0 | 0 236.45/236.52 c 62.6s | 5 | 60482 | 1820 | 3362771 0 | 0 | 0 238.64/238.73 c 64.8s | 5 | 60721 | 2020 | 3362771 0 | 0 | 0 239.13/239.26 c 65.4s | 6 | 60777 | 2081 | 3699049 0 | 0 | 0 243.94/244.08 c 70.2s | 6 | 61751 | 2181 | 3699049 0 | 0 | 0 247.24/247.33 c 73.4s | 6 | 62092 | 2381 | 3699049 0 | 0 | 0 249.24/249.39 c 75.5s | 6 | 62233 | 2481 | 3699049 0 | 0 | 0 251.33/251.47 c 77.6s | 6 | 62329 | 2581 | 3699049 0 | 0 | 0 254.44/254.59 c 80.7s | 6 | 62563 | 2781 | 3699049 0 | 0 | 0 258.03/258.17 c 84.3s | 6 | 62798 | 2981 | 3699049 0 | 0 | 0 261.14/261.25 c 87.4s | 6 | 63084 | 3181 | 3699049 0 | 0 | 0 261.94/262.00 c 88.1s | 7 | 63140 | 3223 | 4068954 0 | 0 | 0 299.93/300.02 c 126s | 7 | 99233 | 3323 | 4068954 0 | 0 | 0 306.32/306.46 c 132s | 7 | 118621 | 3423 | 4068954 0 | 0 | 0 312.92/313.08 c 139s | 7 | 139214 | 3523 | 4068954 0 | 0 | 0 317.22/317.32 c 143s | 7 | 139565 | 3723 | 4068954 0 | 0 | 0 320.33/320.47 c 146s | 7 | 139687 | 3823 | 4068954 0 | 0 | 0 322.62/322.74 c 148s | 7 | 139851 | 3923 | 4068954 0 | 0 | 0 324.92/325.09 c 151s | 7 | 139982 | 4023 | 4068954 0 | 0 | 0 328.83/328.98 c 155s | 7 | 140222 | 4223 | 4068954 0 | 0 | 0 332.83/332.94 c 159s | 7 | 140510 | 4423 | 4068954 0 | 0 | 0 334.92/335.05 c 161s | 7 | 140614 | 4523 | 4068954 0 | 0 | 0 338.83/338.97 c 165s | 7 | 140876 | 4723 | 4068954 0 | 0 | 0 341.12/341.24 c 167s | 7 | 140999 | 4823 | 4068954 0 | 0 | 0 343.23/343.37 c 169s | 7 | 141097 | 4923 | 4475850 0 | 0 | 0 343.62/343.74 c 169s | 8 | 141108 | 4936 | 4475850 0 | 0 | 0 348.02/348.12 c 174s | 8 | 142025 | 5036 | 4475850 0 | 0 | 0 350.02/350.16 c 176s | 8 | 142263 | 5236 | 4475850 0 | 0 | 0 352.32/352.48 c 178s | 8 | 142494 | 5436 | 4475850 0 | 0 | 0 354.82/354.98 c 181s | 8 | 142711 | 5636 | 4475850 0 | 0 | 0 357.62/357.74 c 183s | 8 | 142943 | 5836 | 4475850 0 | 0 | 0 359.92/360.07 c 186s | 8 | 143157 | 6036 | 4475850 0 | 0 | 0 362.12/362.24 c 188s | 8 | 143376 | 6236 | 4475850 0 | 0 | 0 365.02/365.16 c 191s | 8 | 143697 | 6536 | 4475850 0 | 0 | 0 367.11/367.20 c 193s | 8 | 143924 | 6736 | 4475850 0 | 0 | 0 369.72/369.81 c 195s | 8 | 144228 | 6936 | 4475850 0 | 0 | 0 373.61/373.75 c 199s | 8 | 144450 | 7136 | 4475850 0 | 0 | 0 376.91/377.00 c 203s | 8 | 144696 | 7336 | 4475850 0 | 0 | 0 379.43/379.58 c 205s | 9 | 144895 | 7506 | 4923435 0 | 0 | 0 409.12/409.21 c 235s | 9 | 210804 | 7606 | 4923435 0 | 0 | 0 423.70/423.83 c 249s | 9 | 271176 | 7706 | 4923435 0 | 0 | 0 427.20/427.34 c 253s | 9 | 273157 | 7906 | 4923435 0 | 0 | 0 448.30/448.49 c 274s | 9 | 345541 | 8006 | 4923435 0 | 0 | 0 464.00/464.19 c 290s | 9 | 405185 | 8106 | 4923435 0 | 0 | 0 490.99/491.11 c 317s | 9 | 491895 | 8206 | 4923435 0 | 0 | 0 493.20/493.34 c 319s | 9 | 494142 | 8306 | 4923435 0 | 0 | 0 496.10/496.26 c 322s | 9 | 494414 | 8506 | 4923435 0 | 0 | 0 498.79/498.90 c 325s | 9 | 494665 | 8706 | 4923435 0 | 0 | 0 501.29/501.42 c 327s | 9 | 494918 | 8906 | 4923435 0 | 0 | 0 504.09/504.20 c 330s | 9 | 495172 | 9106 | 4923435 0 | 0 | 0 506.99/507.11 c 333s | 9 | 495529 | 9406 | 4923435 0 | 0 | 0 509.59/509.72 c 335s | 9 | 495753 | 9606 | 4923435 0 | 0 | 0 511.99/512.16 c 338s | 9 | 496000 | 9806 | 4923435 0 | 0 | 0 514.80/514.93 c 341s | 9 | 496239 | 10006 | 4923435 0 | 0 | 0 517.19/517.35 c 343s | 9 | 496476 | 10206 | 4923435 0 | 0 | 0 519.79/519.90 c 346s | 9 | 496685 | 10406 | 4923435 0 | 0 | 0 522.08/522.25 c 348s | 9 | 496932 | 10606 | 4923435 0 | 0 | 0 524.59/524.73 c 350s | 9 | 497151 | 10806 | 4923435 0 | 0 | 0 527.38/527.52 c 353s | 9 | 497442 | 11006 | 4923435 0 | 0 | 0 530.69/530.82 c 356s | 9 | 497664 | 11206 | 4923435 0 | 0 | 0 532.98/533.11 c 359s | 10 | 497841 | 11361 | 5415779 0 | 0 | 0 548.39/548.50 c 374s | 10 | 541242 | 11461 | 5415779 0 | 0 | 0 561.28/561.48 c 387s | 10 | 597836 | 11561 | 5415779 0 | 0 | 0 564.38/564.51 c 390s | 10 | 598071 | 11761 | 5415779 0 | 0 | 0 567.88/568.07 c 394s | 10 | 598358 | 11961 | 5415779 0 | 0 | 0 570.78/570.96 c 397s | 10 | 598602 | 12161 | 5415779 0 | 0 | 0 579.98/580.16 c 406s | 10 | 598845 | 12361 | 5415779 0 | 0 | 0 582.67/582.82 c 408s | 10 | 599072 | 12561 | 5415779 0 | 0 | 0 585.08/585.28 c 411s | 10 | 599298 | 12761 | 5415779 0 | 0 | 0 587.68/587.86 c 413s | 10 | 599566 | 12961 | 5415779 0 | 0 | 0 589.87/590.00 c 416s | 10 | 599796 | 13161 | 5415779 0 | 0 | 0 591.97/592.19 c 418s | 10 | 600043 | 13361 | 5415779 0 | 0 | 0 594.28/594.40 c 420s | 10 | 600270 | 13561 | 5415779 0 | 0 | 0 596.87/597.08 c 423s | 10 | 600610 | 13861 | 5415779 0 | 0 | 0 600.27/600.50 c 426s | 10 | 603260 | 14061 | 5415779 0 | 0 | 0 602.37/602.51 c 428s | 10 | 603487 | 14261 | 5415779 0 | 0 | 0 609.28/609.48 c 435s | 10 | 622747 | 14461 | 5415779 0 | 0 | 0 629.08/629.21 c 455s | 10 | 718495 | 14561 | 5415779 0 | 0 | 0 631.97/632.13 c 458s | 10 | 719754 | 14761 | 5415779 0 | 0 | 0 648.07/648.28 c 474s | 10 | 796259 | 14861 | 5415779 0 | 0 | 0 652.47/652.66 c 478s | 10 | 805862 | 14961 | 5415779 0 | 0 | 0 689.46/689.61 c 515s | 10 | 950199 | 15061 | 5415779 0 | 0 | 0 699.86/700.02 c 526s | 10 | 993578 | 15161 | 5415779 0 | 0 | 0 702.66/702.86 c 528s | 10 | 994329 | 15361 | 5415779 0 | 0 | 0 705.56/705.77 c 531s | 10 | 994739 | 15561 | 5415779 0 | 0 | 0 708.66/708.89 c 535s | 10 | 995049 | 15761 | 5415779 0 | 0 | 0 711.56/711.77 c 537s | 10 | 995432 | 15961 | 5415779 0 | 0 | 0 714.56/714.70 c 540s | 10 | 995695 | 16161 | 5415779 0 | 0 | 0 717.45/717.69 c 543s | 10 | 995924 | 16361 | 5415779 0 | 0 | 0 720.46/720.64 c 546s | 10 | 996164 | 16561 | 5415779 0 | 0 | 0 723.16/723.38 c 549s | 10 | 996410 | 16761 | 5415779 0 | 0 | 0 726.05/726.27 c 552s | 10 | 996647 | 16961 | 5415779 0 | 0 | 0 729.05/729.23 c 555s | 11 | 996899 | 17144 | 5957357 0 | 0 | 0 733.66/733.87 c 559s | 11 | 998014 | 17244 | 5957357 0 | 0 | 0 737.05/737.29 c 563s | 11 | 999109 | 17444 | 5957357 0 | 0 | 0 739.65/739.89 c 565s | 11 | 999329 | 17644 | 5957357 0 | 0 | 0 742.46/742.63 c 568s | 11 | 999569 | 17844 | 5957357 0 | 0 | 0 745.35/745.58 c 571s | 11 | 999787 | 18044 | 5957357 0 | 0 | 0 748.05/748.24 c 574s | 11 | 1000011 | 18244 | 5957357 0 | 0 | 0 750.85/751.07 c 577s | 11 | 1000282 | 18444 | 5957357 0 | 0 | 0 754.35/754.52 c 580s | 11 | 1000525 | 18644 | 5957357 0 | 0 | 0 756.95/757.12 c 583s | 11 | 1000781 | 18844 | 5957357 0 | 0 | 0 759.35/759.56 c 585s | 11 | 1001154 | 19044 | 5957357 0 | 0 | 0 762.16/762.34 c 588s | 11 | 1001396 | 19244 | 5957357 0 | 0 | 0 770.15/770.39 c 596s | 11 | 1001520 | 19344 | 5957357 0 | 0 | 0 772.64/772.89 c 599s | 11 | 1001887 | 19544 | 5957357 0 | 0 | 0 774.85/775.04 c 601s | 11 | 1002143 | 19644 | 5957357 0 | 0 | 0 779.25/779.49 c 605s | 11 | 1002448 | 19844 | 5957357 0 | 0 | 0 783.44/783.69 c 609s | 11 | 1002785 | 20044 | 5957357 0 | 0 | 0 786.94/787.10 c 613s | 11 | 1003095 | 20244 | 5957357 0 | 0 | 0 790.15/790.37 c 616s | 11 | 1003413 | 20444 | 5957357 0 | 0 | 0 792.45/792.61 c 618s | 11 | 1003608 | 20544 | 5957357 0 | 0 | 0 795.04/795.28 c 621s | 11 | 1003722 | 20644 | 5957357 0 | 0 | 0 798.95/799.14 c 625s | 11 | 1003980 | 20844 | 5957357 0 | 0 | 0 802.75/803.00 c 629s | 11 | 1004243 | 21044 | 5957357 0 | 0 | 0 806.44/806.62 c 632s | 11 | 1004490 | 21244 | 5957357 0 | 0 | 0 808.74/808.94 c 635s | 11 | 1004636 | 21344 | 5957357 0 | 0 | 0 810.74/810.96 c 637s | 11 | 1004752 | 21444 | 5957357 0 | 0 | 0 813.84/814.06 c 640s | 11 | 1005024 | 21644 | 5957357 0 | 0 | 0 816.15/816.34 c 642s | 11 | 1005216 | 21744 | 5957357 0 | 0 | 0 820.14/820.34 c 646s | 11 | 1005483 | 21944 | 5957357 0 | 0 | 0 824.44/824.68 c 650s | 11 | 1005731 | 22144 | 5957357 0 | 0 | 0 826.93/827.10 c 653s | 11 | 1005845 | 22244 | 5957357 0 | 0 | 0 829.14/829.36 c 655s | 11 | 1005981 | 22344 | 5957357 0 | 0 | 0 831.63/831.88 c 657s | 11 | 1006097 | 22444 | 5957357 0 | 0 | 0 834.24/834.42 c 660s | 11 | 1006208 | 22544 | 5957357 0 | 0 | 0 836.74/836.95 c 663s | 11 | 1006322 | 22644 | 5957357 0 | 0 | 0 839.15/839.35 c 665s | 11 | 1006461 | 22744 | 5957357 0 | 0 | 0 841.44/841.61 c 667s | 11 | 1006587 | 22844 | 5957357 0 | 0 | 0 844.94/845.14 c 671s | 11 | 1006798 | 23044 | 5957357 0 | 0 | 0 853.44/853.68 c 679s | 11 | 1006944 | 23144 | 5957357 0 | 0 | 0 855.53/855.73 c 681s | 11 | 1007078 | 23244 | 5957357 0 | 0 | 0 859.33/859.58 c 685s | 11 | 1007362 | 23444 | 5957357 0 | 0 | 0 862.53/862.74 c 688s | 11 | 1007688 | 23644 | 5957357 0 | 0 | 0 865.33/865.54 c 691s | 11 | 1007953 | 23844 | 5957357 0 | 0 | 0 868.13/868.37 c 694s | 11 | 1008192 | 24044 | 5957357 0 | 0 | 0 871.33/871.54 c 697s | 11 | 1008434 | 24244 | 5957357 0 | 0 | 0 874.34/874.53 c 700s | 11 | 1008664 | 24444 | 5957357 0 | 0 | 0 877.43/877.61 c 703s | 11 | 1008917 | 24644 | 5957357 0 | 0 | 0 880.43/880.68 c 706s | 11 | 1009115 | 24844 | 5957357 0 | 0 | 0 883.83/884.07 c 710s | 11 | 1009371 | 25044 | 5957357 0 | 0 | 0 886.83/887.05 c 713s | 11 | 1009631 | 25244 | 5957357 0 | 0 | 0 888.83/889.07 c 715s | 11 | 1009747 | 25344 | 5957357 0 | 0 | 0 892.43/892.66 c 718s | 11 | 1009969 | 25544 | 5957357 0 | 0 | 0 895.23/895.46 c 721s | 11 | 1010205 | 25744 | 6553093 0 | 0 | 0 896.13/896.34 c 722s | 12 | 1010291 | 25819 | 6553093 0 | 0 | 0 900.74/900.95 c 727s | 12 | 1011177 | 25919 | 6553093 0 | 0 | 0 903.92/904.20 c 730s | 12 | 1011733 | 26119 | 6553093 0 | 0 | 0 907.02/907.21 c 733s | 12 | 1012119 | 26319 | 6553093 0 | 0 | 0 910.03/910.26 c 736s | 12 | 1012347 | 26519 | 6553093 0 | 0 | 0 913.03/913.26 c 739s | 12 | 1012954 | 26719 | 6553093 0 | 0 | 0 915.72/915.97 c 742s | 12 | 1013900 | 26819 | 6553093 0 | 0 | 0 918.43/918.69 c 744s | 12 | 1015454 | 26919 | 6553093 0 | 0 | 0 921.22/921.49 c 747s | 12 | 1016325 | 27019 | 6553093 0 | 0 | 0 923.83/924.09 c 750s | 12 | 1016893 | 27119 | 6553093 0 | 0 | 0 927.42/927.68 c 753s | 12 | 1018847 | 27219 | 6553093 0 | 0 | 0 930.12/930.35 c 756s | 12 | 1019905 | 27319 | 6553093 0 | 0 | 0 939.42/939.63 c 765s | 12 | 1020428 | 27419 | 6553093 0 | 0 | 0 941.53/941.76 c 767s | 12 | 1021080 | 27519 | 6553093 0 | 0 | 0 945.52/945.76 c 771s | 12 | 1021346 | 27719 | 6553093 0 | 0 | 0 948.52/948.78 c 774s | 12 | 1021498 | 27819 | 6553093 0 | 0 | 0 951.81/952.04 c 778s | 12 | 1021631 | 27919 | 6553093 0 | 0 | 0 955.31/955.52 c 781s | 12 | 1021743 | 28019 | 6553093 0 | 0 | 0 958.03/958.30 c 784s | 12 | 1021937 | 28119 | 6553093 0 | 0 | 0 960.72/960.91 c 787s | 12 | 1022070 | 28219 | 6553093 0 | 0 | 0 963.21/963.45 c 789s | 12 | 1022201 | 28319 | 6553093 0 | 0 | 0 965.52/965.75 c 791s | 12 | 1022325 | 28419 | 6553093 0 | 0 | 0 967.62/967.89 c 794s | 12 | 1022604 | 28519 | 6553093 0 | 0 | 0 970.52/970.71 c 796s | 12 | 1022758 | 28619 | 6553093 0 | 0 | 0 973.12/973.39 c 799s | 12 | 1022904 | 28719 | 6553093 0 | 0 | 0 976.02/976.21 c 802s | 12 | 1023033 | 28819 | 6553093 0 | 0 | 0 978.82/979.07 c 805s | 12 | 1023151 | 28919 | 6553093 0 | 0 | 0 981.72/981.97 c 808s | 12 | 1023295 | 29019 | 6553093 0 | 0 | 0 985.12/985.31 c 811s | 12 | 1023413 | 29119 | 6553093 0 | 0 | 0 988.31/988.58 c 814s | 12 | 1023550 | 29219 | 6553093 0 | 0 | 0 991.22/991.48 c 817s | 12 | 1023651 | 29319 | 6553093 0 | 0 | 0 994.32/994.53 c 820s | 12 | 1023802 | 29419 | 6553093 0 | 0 | 0 997.31/997.50 c 823s | 12 | 1023914 | 29519 | 6553093 0 | 0 | 0 1000.61/1000.81 c 826s | 12 | 1024067 | 29619 | 6553093 0 | 0 | 0 1003.81/1004.02 c 830s | 12 | 1024173 | 29719 | 6553093 0 | 0 | 0 1007.11/1007.37 c 833s | 12 | 1024309 | 29819 | 6553093 0 | 0 | 0 1016.71/1016.94 c 843s | 12 | 1024463 | 29919 | 6553093 0 | 0 | 0 1019.41/1019.66 c 845s | 12 | 1024651 | 30019 | 6553093 0 | 0 | 0 1021.71/1021.98 c 848s | 12 | 1024803 | 30119 | 6553093 0 | 0 | 0 1024.02/1024.25 c 850s | 12 | 1024922 | 30219 | 6553093 0 | 0 | 0 1026.91/1027.12 c 853s | 12 | 1025041 | 30319 | 6553093 0 | 0 | 0 1028.90/1029.18 c 855s | 12 | 1025158 | 30419 | 6553093 0 | 0 | 0 1032.91/1033.11 c 859s | 12 | 1025477 | 30619 | 6553093 0 | 0 | 0 1036.71/1036.95 c 863s | 12 | 1025794 | 30819 | 6553093 0 | 0 | 0 1039.31/1039.54 c 865s | 12 | 1025936 | 30919 | 6553093 0 | 0 | 0 1042.31/1042.55 c 868s | 12 | 1026057 | 31019 | 6553093 0 | 0 | 0 1045.40/1045.61 c 871s | 12 | 1026293 | 31219 | 6553093 0 | 0 | 0 1049.90/1050.14 c 876s | 12 | 1026575 | 31419 | 6553093 0 | 0 | 0 1052.20/1052.47 c 878s | 12 | 1026708 | 31519 | 6553093 0 | 0 | 0 1054.80/1055.04 c 881s | 12 | 1026851 | 31619 | 6553093 0 | 0 | 0 1057.30/1057.54 c 883s | 12 | 1026965 | 31719 | 6553093 0 | 0 | 0 1059.90/1060.10 c 886s | 12 | 1027111 | 31819 | 6553093 0 | 0 | 0 1062.80/1063.02 c 889s | 12 | 1027254 | 31919 | 6553093 0 | 0 | 0 1065.50/1065.78 c 891s | 12 | 1027384 | 32019 | 6553093 0 | 0 | 0 1067.69/1067.93 c 894s | 12 | 1027498 | 32119 | 6553093 0 | 0 | 0 1070.30/1070.51 c 896s | 12 | 1027619 | 32219 | 6553093 0 | 0 | 0 1072.89/1073.11 c 899s | 12 | 1027744 | 32319 | 6553093 0 | 0 | 0 1076.00/1076.21 c 902s | 12 | 1027857 | 32419 | 6553093 0 | 0 | 0 1078.60/1078.86 c 904s | 12 | 1027978 | 32519 | 6553093 0 | 0 | 0 1081.49/1081.71 c 907s | 12 | 1028093 | 32619 | 6553093 0 | 0 | 0 1083.69/1083.93 c 910s | 12 | 1028228 | 32719 | 6553093 0 | 0 | 0 1086.20/1086.46 c 912s | 12 | 1028357 | 32819 | 6553093 0 | 0 | 0 1095.29/1095.57 c 921s | 12 | 1028479 | 32919 | 6553093 0 | 0 | 0 1097.89/1098.12 c 924s | 12 | 1028585 | 33019 | 6553093 0 | 0 | 0 1101.00/1101.25 c 927s | 12 | 1028705 | 33119 | 6553093 0 | 0 | 0 1104.10/1104.38 c 930s | 12 | 1028829 | 33219 | 6553093 0 | 0 | 0 1107.20/1107.42 c 933s | 12 | 1028950 | 33319 | 6553093 0 | 0 | 0 1109.89/1110.10 c 936s | 12 | 1029079 | 33419 | 6553093 0 | 0 | 0 1112.39/1112.63 c 938s | 12 | 1029186 | 33519 | 6553093 0 | 0 | 0 1115.09/1115.30 c 941s | 12 | 1029291 | 33619 | 6553093 0 | 0 | 0 1117.79/1118.08 c 944s | 12 | 1029415 | 33719 | 6553093 0 | 0 | 0 1120.89/1121.19 c 947s | 12 | 1029529 | 33819 | 6553093 0 | 0 | 0 1124.19/1124.42 c 950s | 12 | 1029648 | 33919 | 6553093 0 | 0 | 0 1127.30/1127.53 c 953s | 12 | 1029763 | 34019 | 6553093 0 | 0 | 0 1130.49/1130.74 c 956s | 12 | 1029909 | 34119 | 6553093 0 | 0 | 0 1133.68/1133.90 c 960s | 12 | 1030037 | 34219 | 6553093 0 | 0 | 0 1136.39/1136.63 c 962s | 12 | 1030142 | 34319 | 6553093 0 | 0 | 0 1138.98/1139.23 c 965s | 12 | 1030277 | 34419 | 6553093 0 | 0 | 0 1141.59/1141.87 c 967s | 12 | 1030393 | 34519 | 6553093 0 | 0 | 0 1144.38/1144.60 c 970s | 12 | 1030527 | 34619 | 6553093 0 | 0 | 0 1147.10/1147.40 c 973s | 12 | 1030645 | 34719 | 6553093 0 | 0 | 0 1149.68/1149.92 c 976s | 12 | 1030778 | 34819 | 6553093 0 | 0 | 0 1152.88/1153.12 c 979s | 12 | 1030903 | 34919 | 6553093 0 | 0 | 0 1155.79/1156.00 c 982s | 12 | 1031007 | 35019 | 6553093 0 | 0 | 0 1158.68/1158.96 c 985s | 12 | 1031127 | 35119 | 6553093 0 | 0 | 0 1161.58/1161.87 c 987s | 12 | 1031244 | 35219 | 6553093 0 | 0 | 0 1171.18/1171.41 c 997s | 12 | 1031382 | 35319 | 6553093 0 | 0 | 0 1173.79/1174.06 c 1000s | 12 | 1031495 | 35419 | 6553093 0 | 0 | 0 1176.78/1177.09 c 1003s | 12 | 1031620 | 35519 | 6553093 0 | 0 | 0 1179.98/1180.22 c 1006s | 12 | 1031751 | 35619 | 6553093 0 | 0 | 0 1182.68/1182.92 c 1009s | 12 | 1031904 | 35719 | 6553093 0 | 0 | 0 1185.38/1185.66 c 1011s | 12 | 1032010 | 35819 | 6553093 0 | 0 | 0 1188.18/1188.42 c 1014s | 12 | 1032146 | 35919 | 6553093 0 | 0 | 0 1191.18/1191.41 c 1017s | 12 | 1032274 | 36019 | 6553093 0 | 0 | 0 1193.98/1194.22 c 1020s | 12 | 1032402 | 36119 | 6553093 0 | 0 | 0 1196.78/1197.03 c 1023s | 12 | 1032523 | 36219 | 6553093 0 | 0 | 0 1200.28/1200.55 c 1026s | 12 | 1032636 | 36319 | 6553093 0 | 0 | 0 1203.97/1204.22 c 1030s | 12 | 1032762 | 36419 | 6553093 0 | 0 | 0 1206.77/1207.09 c 1033s | 12 | 1032895 | 36519 | 6553093 0 | 0 | 0 1210.17/1210.43 c 1036s | 12 | 1033047 | 36619 | 6553093 0 | 0 | 0 1213.48/1213.75 c 1039s | 12 | 1033149 | 36719 | 6553093 0 | 0 | 0 1216.49/1216.76 c 1042s | 12 | 1033277 | 36819 | 6553093 0 | 0 | 0 1218.97/1219.23 c 1045s | 12 | 1033388 | 36919 | 6553093 0 | 0 | 0 1221.27/1221.51 c 1047s | 12 | 1033496 | 37019 | 6553093 0 | 0 | 0 1224.37/1224.69 c 1050s | 12 | 1033634 | 37119 | 6553093 0 | 0 | 0 1227.57/1227.80 c 1053s | 12 | 1033753 | 37219 | 6553093 0 | 0 | 0 1230.78/1231.06 c 1057s | 12 | 1033882 | 37319 | 6553093 0 | 0 | 0 1233.98/1234.22 c 1060s | 12 | 1034026 | 37419 | 6553093 0 | 0 | 0 1243.57/1243.87 c 1069s | 12 | 1034160 | 37519 | 6553093 0 | 0 | 0 1246.47/1246.74 c 1072s | 12 | 1034293 | 37619 | 6553093 0 | 0 | 0 1249.87/1250.15 c 1076s | 12 | 1034419 | 37719 | 6553093 0 | 0 | 0 1253.17/1253.48 c 1079s | 12 | 1034539 | 37819 | 6553093 0 | 0 | 0 1256.17/1256.44 c 1082s | 12 | 1034651 | 37919 | 6553093 0 | 0 | 0 1259.46/1259.77 c 1085s | 12 | 1034764 | 38019 | 6553093 0 | 0 | 0 1262.17/1262.45 c 1088s | 12 | 1034868 | 38119 | 6553093 0 | 0 | 0 1264.78/1265.06 c 1091s | 12 | 1034981 | 38219 | 6553093 0 | 0 | 0 1267.46/1267.70 c 1093s | 12 | 1035083 | 38319 | 6553093 0 | 0 | 0 1270.57/1270.86 c 1096s | 12 | 1035206 | 38419 | 6553093 0 | 0 | 0 1273.77/1274.05 c 1100s | 12 | 1035349 | 38519 | 6553093 0 | 0 | 0 1276.76/1277.00 c 1103s | 12 | 1035544 | 38619 | 7208403 0 | 0 | 0 1280.07/1280.30 c 1106s | 12 | 1035833 | 38719 | 7208403 0 | 0 | 0 1283.76/1284.08 c 1110s | 12 | 1035955 | 38819 | 7208403 0 | 0 | 0 1284.26/1284.52 c 1110s | 13 | 1035976 | 38832 | 7208403 0 | 0 | 0 1290.76/1291.05 c 1117s | 13 | 1037230 | 38932 | 7208403 0 | 0 | 0 1293.76/1294.04 c 1120s | 13 | 1037405 | 39032 | 7208403 0 | 0 | 0 1296.57/1296.81 c 1122s | 13 | 1037519 | 39132 | 7208403 0 | 0 | 0 1300.46/1300.77 c 1126s | 13 | 1039256 | 39232 | 7208403 0 | 0 | 0 1320.66/1320.90 c 1147s | 13 | 1108997 | 39332 | 7208403 0 | 0 | 0 1336.45/1336.74 c 1162s | 13 | 1246363 | 39432 | 7208403 0 | 0 | 0 1341.46/1341.71 c 1167s | 13 | 1275363 | 39532 | 7208403 0 | 0 | 0 1344.56/1344.87 c 1170s | 13 | 1276181 | 39732 | 7208403 0 | 0 | 0 1347.95/1348.20 c 1174s | 13 | 1277085 | 39932 | 7208403 0 | 0 | 0 1352.05/1352.35 c 1178s | 13 | 1277512 | 40132 | 7208403 0 | 0 | 0 1354.56/1354.86 c 1180s | 13 | 1277638 | 40232 | 7208403 0 | 0 | 0 1358.05/1358.37 c 1184s | 13 | 1278024 | 40432 | 7208403 0 | 0 | 0 1361.75/1362.09 c 1188s | 13 | 1278354 | 40632 | 7208403 0 | 0 | 0 1364.54/1364.87 c 1190s | 13 | 1278715 | 40832 | 7208403 0 | 0 | 0 1368.55/1368.84 c 1194s | 13 | 1278990 | 41032 | 7208403 0 | 0 | 0 1370.74/1371.02 c 1197s | 13 | 1279148 | 41132 | 7208403 0 | 0 | 0 1372.85/1373.16 c 1199s | 13 | 1279264 | 41232 | 7208403 0 | 0 | 0 1375.96/1376.27 c 1202s | 13 | 1279582 | 41432 | 7208403 0 | 0 | 0 1379.35/1379.65 c 1205s | 13 | 1279828 | 41632 | 7208403 0 | 0 | 0 1383.05/1383.34 c 1209s | 13 | 1280073 | 41832 | 7208403 0 | 0 | 0 1385.85/1386.13 c 1212s | 13 | 1280306 | 42032 | 7208403 0 | 0 | 0 1388.14/1388.40 c 1214s | 13 | 1280453 | 42132 | 7208403 0 | 0 | 0 1390.74/1391.04 c 1217s | 13 | 1280566 | 42232 | 7208403 0 | 0 | 0 1395.04/1395.30 c 1221s | 13 | 1280834 | 42432 | 7208403 0 | 0 | 0 1397.55/1397.89 c 1223s | 13 | 1280951 | 42532 | 7208403 0 | 0 | 0 1399.74/1400.04 c 1226s | 13 | 1281063 | 42632 | 7208403 0 | 0 | 0 1410.53/1410.88 c 1236s | 13 | 1281319 | 42832 | 7208403 0 | 0 | 0 1412.94/1413.25 c 1239s | 13 | 1281413 | 42932 | 7208403 0 | 0 | 0 1415.24/1415.57 c 1241s | 13 | 1281564 | 43032 | 7208403 0 | 0 | 0 1418.44/1418.75 c 1244s | 13 | 1281811 | 43232 | 7208403 0 | 0 | 0 1421.54/1421.86 c 1247s | 13 | 1282072 | 43432 | 7208403 0 | 0 | 0 1424.73/1425.08 c 1251s | 13 | 1282300 | 43632 | 7208403 0 | 0 | 0 1428.44/1428.71 c 1254s | 13 | 1282610 | 43832 | 7208403 0 | 0 | 0 1431.83/1432.19 c 1258s | 13 | 1282841 | 44032 | 7208403 0 | 0 | 0 1434.64/1434.96 c 1261s | 13 | 1283071 | 44232 | 7208403 0 | 0 | 0 1437.63/1437.92 c 1264s | 13 | 1283313 | 44432 | 7208403 0 | 0 | 0 1440.94/1441.24 c 1267s | 13 | 1283553 | 44632 | 7208403 0 | 0 | 0 1444.44/1444.76 c 1270s | 13 | 1283786 | 44832 | 7208403 0 | 0 | 0 1448.45/1448.78 c 1274s | 13 | 1284750 | 45032 | 7208403 0 | 0 | 0 1452.14/1452.46 c 1278s | 13 | 1285105 | 45232 | 7208403 0 | 0 | 0 1455.43/1455.75 c 1281s | 13 | 1285452 | 45432 | 7208403 0 | 0 | 0 1457.54/1457.86 c 1283s | 13 | 1285764 | 45632 | 7208403 0 | 0 | 0 1459.83/1460.17 c 1286s | 13 | 1286002 | 45832 | 7208403 0 | 0 | 0 1462.43/1462.70 c 1288s | 13 | 1286251 | 46032 | 7208403 0 | 0 | 0 1464.54/1464.88 c 1290s | 13 | 1286358 | 46132 | 7208403 0 | 0 | 0 1467.93/1468.30 c 1294s | 13 | 1286613 | 46332 | 7208403 0 | 0 | 0 1470.93/1471.24 c 1297s | 13 | 1286850 | 46532 | 7208403 0 | 0 | 0 1474.03/1474.37 c 1300s | 13 | 1287072 | 46732 | 7208403 0 | 0 | 0 1477.63/1477.93 c 1304s | 13 | 1287309 | 46932 | 7208403 0 | 0 | 0 1480.73/1481.04 c 1307s | 13 | 1287526 | 47132 | 7208403 0 | 0 | 0 1483.93/1484.25 c 1310s | 13 | 1287841 | 47332 | 7208403 0 | 0 | 0 1487.63/1487.99 c 1314s | 13 | 1288101 | 47532 | 7208403 0 | 0 | 0 1495.03/1495.34 c 1321s | 13 | 1310408 | 47632 | 7208403 0 | 0 | 0 1518.43/1518.70 c 1344s | 13 | 1424718 | 47732 | 7208403 0 | 0 | 0 1538.72/1539.05 c 1365s | 13 | 1619326 | 47832 | 7208403 0 | 0 | 0 1561.91/1562.23 c 1388s | 13 | 1807353 | 47932 | 7208403 0 | 0 | 0 1574.01/1574.35 c 1400s | 13 | 1837531 | 48032 | 7208403 0 | 0 | 0 1607.91/1608.25 c 1434s | 13 | 1970514 | 48132 | 7208403 0 | 0 | 0 1616.60/1616.98 c 1443s | 13 | 2009197 | 48232 | 7208403 0 | 0 | 0 1620.11/1620.42 c 1446s | 13 | 2009317 | 48332 | 7208403 0 | 0 | 0 1623.31/1623.62 c 1449s | 13 | 2009427 | 48432 | 7208403 0 | 0 | 0 1625.80/1626.19 c 1452s | 13 | 2009553 | 48532 | 7208403 0 | 0 | 0 1628.40/1628.70 c 1454s | 13 | 2009675 | 48632 | 7208403 0 | 0 | 0 1630.90/1631.27 c 1457s | 13 | 2009779 | 48732 | 7208403 0 | 0 | 0 1633.31/1633.66 c 1459s | 13 | 2009886 | 48832 | 7208403 0 | 0 | 0 1645.41/1645.75 c 1471s | 13 | 2044465 | 48932 | 7208403 0 | 0 | 0 1649.20/1649.55 c 1475s | 13 | 2044718 | 49132 | 7208403 0 | 0 | 0 1664.99/1665.39 c 1491s | 13 | 2101324 | 49332 | 7208403 0 | 0 | 0 1701.40/1701.77 c 1527s | 13 | 2248984 | 49432 | 7208403 0 | 0 | 0 1736.18/1736.58 c 1562s | 13 | 2404464 | 49532 | 7208403 0 | 0 | 0 1769.78/1770.18 c 1596s | 13 | 2528736 | 49632 | 7208403 0 | 0 | 0 1771.98/1772.37 c 1598s | 13 | 2529672 | 49732 | 7208403 0 | 0 | 0 1775.27/1775.60 c 1601s | 13 | 2529922 | 49932 | 7208403 0 | 0 | 0 1778.48/1778.86 c 1604s | 13 | 2530199 | 50132 | 7208403 0 | 0 | 0 1780.78/1781.15 c 1607s | 13 | 2530448 | 50332 | 7208403 0 | 0 | 0 1783.57/1783.91 c 1610s | 13 | 2530708 | 50532 | 7208403 0 | 0 | 0 1796.68/1797.01 c 1623s | 13 | 2567160 | 50632 | 7208403 0 | 0 | 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-4108967-1466292908/watcher-4108967-1466292908 -o /tmp/evaluation-result-4108967-1466292908/solver-4108967-1466292908 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10297 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108967-1466292908.opb pid=12089 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.02 2.06 2.02 4/179 12092 /proc/meminfo: memFree=29782892/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=552380 CPUtime=0 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 2026 0 0 0 0 0 0 0 20 0 4 0 31341616 565637120 2898 33554432000 4194304 16246674 140734108270656 140734108270080 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 138863 2909 441 2943 0 135757 0 [pid=12092/tid=12093] ppid=12089 vsize=569788 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 583462912 2969 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=574908 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 588705792 2986 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=579004 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31341616 592900096 3004 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100157 s] /proc/loadavg: 2.02 2.06 2.02 4/179 12092 /proc/meminfo: memFree=29782892/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=1301060 CPUtime=0.08 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 24339 0 0 0 5 3 0 0 20 0 4 0 31341616 1332285440 25149 33554432000 4194304 16246674 140734108270656 140734108269968 7364033 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 325265 25164 801 2943 0 322159 0 [pid=12092/tid=12093] ppid=12089 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 1332285440 25176 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 1332285440 25188 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 1332285440 25198 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1301060 [startup+0.200521 s] /proc/loadavg: 2.02 2.06 2.02 4/179 12092 /proc/meminfo: memFree=29782892/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=1309252 CPUtime=0.19 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 48144 0 0 0 12 7 0 0 20 0 4 0 31341616 1340674048 49465 33554432000 4194304 16246674 140734108270656 140734108269968 4221105 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 327313 49471 802 2943 0 324207 0 [pid=12092/tid=12093] ppid=12089 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 1340674048 49476 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 1340674048 49479 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 1341722624 49487 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1309252 [startup+0.300486 s] /proc/loadavg: 2.02 2.06 2.02 4/179 12092 /proc/meminfo: memFree=29782892/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=1314372 CPUtime=0.29 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 62052 0 0 0 20 9 0 0 20 0 4 0 31341616 1345916928 63372 33554432000 4194304 16246674 140734108270656 140734108269968 4207071 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 328593 63372 802 2943 0 325487 0 [pid=12092/tid=12093] ppid=12089 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 1345916928 63372 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 1345916928 63372 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 1345916928 63372 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700423 s] /proc/loadavg: 2.02 2.06 2.02 4/179 12092 /proc/meminfo: memFree=29782892/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=1314372 CPUtime=0.69 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 71214 0 0 0 57 12 0 0 20 0 4 0 31341616 1345916928 72534 33554432000 4194304 16246674 140734108270656 140734108252544 4220850 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 328593 72534 802 2943 0 325487 0 [pid=12092/tid=12093] ppid=12089 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 1345916928 72534 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 1345916928 72534 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 1345916928 72534 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50042 s] /proc/loadavg: 2.02 2.06 2.02 4/183 12096 /proc/meminfo: memFree=29462012/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=1314372 CPUtime=1.49 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 86822 0 0 0 131 18 0 0 20 0 4 0 31341616 1345916928 88143 33554432000 4194304 16246674 140734108270656 140734108252544 8058197 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 328593 88162 803 2943 0 325487 0 [pid=12092/tid=12093] ppid=12089 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 1345916928 88173 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 1345916928 88184 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 1345916928 88195 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.10042 s] /proc/loadavg: 2.18 2.09 2.03 3/183 12096 /proc/meminfo: memFree=29385528/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=1338948 CPUtime=3.09 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 136876 0 0 0 282 27 0 0 20 0 4 0 31341616 1371082752 142284 33554432000 4194304 16246674 140734108270656 140734108268544 7924992 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 334737 142284 803 2943 0 331631 0 [pid=12092/tid=12093] ppid=12089 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 1371082752 142284 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 1371082752 142284 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 1371082752 142284 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1338948 [startup+6.30043 s] /proc/loadavg: 2.18 2.09 2.03 3/183 12096 /proc/meminfo: memFree=28888920/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=1388100 CPUtime=6.29 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 212197 0 0 0 588 41 0 0 20 0 4 0 31341616 1421414400 227314 33554432000 4194304 16246674 140734108270656 140734108268480 7387532 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 347025 227314 803 2943 0 343919 0 [pid=12092/tid=12093] ppid=12089 vsize=1388100 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 1421414400 227314 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=1388100 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 1421414400 227314 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=1388100 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 1421414400 227314 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1388100 [startup+12.7004 s] /proc/loadavg: 2.15 2.09 2.03 3/183 12096 /proc/meminfo: memFree=28587244/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=1439300 CPUtime=12.69 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 282521 0 0 0 1216 53 0 0 20 0 4 0 31341616 1473843200 301726 33554432000 4194304 16246674 140734108270656 140734108269832 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 359825 301726 803 2943 0 356719 0 [pid=12092/tid=12093] ppid=12089 vsize=1439300 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 1473843200 301726 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=1439300 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 1473843200 301726 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=1439300 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 1473843200 301726 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1439300 [startup+25.5005 s] /proc/loadavg: 2.12 2.09 2.03 3/183 12096 /proc/meminfo: memFree=26295896/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=3844676 CPUtime=25.49 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 883720 0 0 0 2413 136 0 0 20 0 4 0 31341616 3936948224 902926 33554432000 4194304 16246674 140734108270656 140734108269320 4223718 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 961169 902933 803 2943 0 958063 0 [pid=12092/tid=12093] ppid=12089 vsize=3844676 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 3936948224 902937 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=3844676 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 3936948224 902941 33554432000 4194304 16246674 140734108270656 139791857331216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=3844676 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 3936948224 902945 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 3844676 [startup+51.1005 s] /proc/loadavg: 2.08 2.08 2.03 3/183 12145 /proc/meminfo: memFree=23016372/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=7188036 CPUtime=51.08 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 1719747 0 0 0 4844 264 0 0 20 0 4 0 31341616 7360548864 1738952 33554432000 4194304 16246674 140734108270656 140734108269752 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 1797009 1738952 847 2943 0 1793903 0 [pid=12092/tid=12093] ppid=12089 vsize=7188036 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 7360548864 1738952 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=7188036 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 7360548864 1738952 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=7188036 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 7360548864 1738952 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 7188036 [startup+102.3 s] /proc/loadavg: 2.10 2.08 2.03 3/183 12146 /proc/meminfo: memFree=11278796/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=11845188 CPUtime=102.27 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 2884049 0 0 0 9791 436 0 0 20 0 4 0 31341616 12129472512 2903254 33554432000 4194304 16246674 140734108270656 140734108269832 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 2961297 2903254 850 2943 0 2958191 0 [pid=12092/tid=12093] ppid=12089 vsize=11845188 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 12129472512 2903254 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=11845188 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 12129472512 2903254 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=11845188 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 12129472512 2903254 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 11845188 ################ # More data... # ################ [pid=12092] ppid=12089 vsize=14186052 CPUtime=1362.05 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 3469368 0 0 0 135433 772 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 140734108269832 6022060 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 3546513 3488523 898 2943 0 3543407 0 [pid=12092/tid=12093] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 14186052 [startup+1422.3 s] /proc/loadavg: 2.13 2.11 2.06 4/183 12226 /proc/meminfo: memFree=16068728/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=14186052 CPUtime=1422.04 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 3469372 0 0 0 141421 783 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 140734108269752 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 3546513 3488523 898 2943 0 3543407 0 [pid=12092/tid=12093] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 14186052 [startup+1482.3 s] /proc/loadavg: 2.09 2.10 2.06 3/183 12227 /proc/meminfo: memFree=16068764/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=14186052 CPUtime=1482.03 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 3469372 0 0 0 147404 799 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 140734108269832 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 3546513 3488523 898 2943 0 3543407 0 [pid=12092/tid=12093] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 14186052 [startup+1542.31 s] /proc/loadavg: 2.09 2.11 2.06 3/184 12232 /proc/meminfo: memFree=16050580/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=14186052 CPUtime=1542.02 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 3469375 0 0 0 153396 806 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 140734108269752 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 3546513 3488523 898 2943 0 3543407 0 [pid=12092/tid=12093] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 14186052 [startup+1602.3 s] /proc/loadavg: 2.04 2.09 2.05 3/184 12255 /proc/meminfo: memFree=16049948/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=14186052 CPUtime=1602.01 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 3469379 0 0 0 159388 813 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 140734108269752 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 3546513 3488523 898 2943 0 3543407 0 [pid=12092/tid=12093] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 14186052 [startup+1662.3 s] /proc/loadavg: 2.05 2.08 2.05 3/183 12256 /proc/meminfo: memFree=16049372/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=14186052 CPUtime=1662 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 3469382 0 0 0 165379 821 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 140734108269832 13774516 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 3546513 3488523 898 2943 0 3543407 0 [pid=12092/tid=12093] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 14186052 [startup+1722.3 s] /proc/loadavg: 2.14 2.10 2.06 3/183 12257 /proc/meminfo: memFree=16049388/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=14186052 CPUtime=1721.98 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 3469383 0 0 0 171371 827 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 140734108269832 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 3546513 3488523 898 2943 0 3543407 0 [pid=12092/tid=12093] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 14186052 [startup+1782.3 s] /proc/loadavg: 2.05 2.08 2.05 3/183 12258 /proc/meminfo: memFree=16049172/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=14186052 CPUtime=1781.98 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 3469385 0 0 0 177363 835 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 140734108269832 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 3546513 3488523 898 2943 0 3543407 0 [pid=12092/tid=12093] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 14186052 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.04 2.07 2.05 3/182 12259 /proc/meminfo: memFree=16048652/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=14186052 CPUtime=1800.07 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) R 12089 12092 10280 0 -1 4202496 3469385 0 0 0 179170 837 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 140734108269752 13759557 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 3546513 3488523 898 2943 0 3543407 0 [pid=12092/tid=12093] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12093/stat : 12093 (toysat) S 12089 12092 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791941217520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) S 12089 12092 10280 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791857331440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12092/tid=12095] ppid=12089 vsize=14186052 CPUtime=0 cores=1,3,5,7 /proc/12092/task/12095/stat : 12095 (toysat) S 12089 12092 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31341616 14526517248 3488523 33554432000 4194304 16246674 140734108270656 139791846857904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 14186052 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 12092 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 2.04 2.07 2.05 3/181 12260 /proc/meminfo: memFree=24291648/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=0 CPUtime=1800.48 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) Z 12089 12092 10280 0 -1 4203532 3469385 0 0 0 179171 877 0 0 20 0 2 0 31341616 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 0 0 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=0 CPUtime=0.39 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) R 12089 12092 10280 0 -1 4203588 7 0 0 0 0 39 0 0 20 0 2 0 31341616 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (KiB) 0 [startup+1801 s] /proc/loadavg: 2.04 2.07 2.05 3/181 12260 /proc/meminfo: memFree=24291648/32872528 swapFree=526336/559040 [pid=12092] ppid=12089 vsize=0 CPUtime=1800.67 cores=1,3,5,7 /proc/12092/stat : 12092 (toysat) Z 12089 12092 10280 0 -1 4203532 3469385 0 0 0 179171 896 0 0 20 0 2 0 31341616 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12092/statm: 0 0 0 0 0 0 0 [pid=12092/tid=12094] ppid=12089 vsize=0 CPUtime=0.58 cores=1,3,5,7 /proc/12092/task/12094/stat : 12094 (toysat) R 12089 12092 10280 0 -1 4203588 7 0 0 0 0 58 0 0 20 0 2 0 31341616 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.01 CPU time (s): 1800.68 CPU user time (s): 1791.71 CPU system time (s): 8.96464 CPU usage (%): 99.9818 Max. virtual memory (cumulated for all children) (KiB): 14186052 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.71 system time used= 8.96464 maximum resident set size= 13954092 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3469385 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= 175 involuntary context switches= 2309 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.54731 second user time and 7.28089 second system time The end
Begin job on node106 at 2016-06-19 01:35:15 IDJOB=4108967 IDBENCH=89769 IDSOLVER=2542 FILE ID=node106/4108967-1466292908 RUNJOBID= node106-1466277111-10297 PBS_JOBID= 19918270 Free space on /tmp= 71396 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-173.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108967-1466292908/watcher-4108967-1466292908 -o /tmp/evaluation-result-4108967-1466292908/solver-4108967-1466292908 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10297 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108967-1466292908.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b029850fdc398224d6c6edaf54638c01 RANDOM SEED=192493467 node106.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 : 2667.073 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 : 5334.14 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 : 2667.073 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 : 2667.073 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 : 2667.073 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 : 2667.073 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 : 2667.073 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 : 2667.073 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.38 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 : 2667.073 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: 29783312 kB Buffers: 116556 kB Cached: 545640 kB SwapCached: 1736 kB Active: 1502032 kB Inactive: 260640 kB Active(anon): 1099696 kB Inactive(anon): 3048 kB Active(file): 402336 kB Inactive(file): 257592 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 302820 kB Writeback: 0 kB AnonPages: 1658940 kB Mapped: 10784 kB Shmem: 0 kB Slab: 634292 kB SReclaimable: 73916 kB SUnreclaim: 560376 kB KernelStack: 1456 kB PageTables: 7320 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1800008 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1124352 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= 71384 MiB End job on node106 at 2016-06-19 02:05:16