0.00/0.00 c 2016-06-06T15:53:27+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-4078623-1465221207.opb"]
0.00/0.01 c use --random-gen="102349031 3194960904 2436919835 623696389 1971538453 3740310089 804551564 232189223 3615854021 376008317 1740301725 2144931933 1234103617 444653483 1519828021 626634080 3411651284 2648419479 3462149655 3059148078 329335964 3523334328 4115616230 282746173 3916197398 1157903351 2656715915 814627175 1337499270 802006677 3818628499 2630726527 3188883534 481244498 3979835585 1739994209 141341622 3833402040 2868019980 3984114551 420712488 1351699293 3374859664 2590187961 2921568482 2672046336 2224602882 2632715995 4222381255 3571871930 2132340909 4062360241 1263471510 3698210712 488729651 266131474 952967260 274708984 1306098593 1703348982 4251992346 3672174163 2214363363 3996753931 591401847 1390762371 1654530796 2032083018 3725047581 2406389130 1208757581 2575422518 1587678560 2995775840 3517837051 1406555623 1129090828 1455586989 1070059414 1918238946 1124634089 2648490571 839499393 852249895 3149625096 3196475244 2246033062 2449258589 1074069532 2232529254 2694577754 2278012084 2758067502 2222164530 144646290 515999146 2201057185 164949096 1790803480 2921819458 3119820327 840704803 952581194 2323668566 1921821248 3319801380 820525293 1987413729 3079362389 30386975 2995843276 2118864422 2823887572 2805703638 353086607 16864717 158673972 3866531079 3989622366 2674916044 2160936283 1525560375 395847099 3299463274 834303093 3139855772 2282064559 3282557633 376367871 1886499858 3452461482 1141703853 495130394 1650265671 380959898 635031085 3912887287 3440078462 870360079 943411990 232997479 3790315246 654765797 269741621 1986417273 1160275626 161632420 3920896992 249863059 1791939479 3370995714 3516783030 2858646547 3630048599 1690663284 3959214147 3704585091 3219251356 352049295 2369621284 643305786 1916484149 4098487355 2663041112 3326719565 4027710556 3914761440 1485911606 169924408 223446783 3639330910 906874846 3321622602 513176325 2243676447 208755734 2748801475 2621224515 4080317485 1106202031 3102816999 2936350 357412514 3156974725 1118524684 1607045841 1172793004 721570546 3401132625 1111381375 2198645642 3440913037 3775415340 1454270004 1008016214 3609267855 1331391008 2597721378 1132468867 2519360870 4252941906 3015504922 1119583538 922928695 231508627 3520063420 470537464 1527767757 3115190737 2090845984 245739803 1337968665 928341612 1140118749 262055568 4273420249 4012856135 3800717177 295824457 4249571865 1394634911 3104388750 1196133699 1750720429 4254132624 1085820519 3364973703 3350680438 2798640596 3860206398 38245729 3740584725 1399113336 3758029686 526021243 1900759365 3467046136 2188568510 3961596705 2685773495 624389761 1123251487 3038700289 4197851946 3656040402 3912392721 2350478699 115346573 796394468 1394715862 3021822541 2706761477 43600080 3635726516 3157187076 1506075584 255 362436" option to reproduce the execution
0.00/0.07 c #vars 2280
0.00/0.07 c #constraints 1636
0.09/0.16 c Solving starts ...
0.09/0.16 c ============================[ Search Statistics ]============================
0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.16 c | | | | Limit GC | Var | Constra
0.09/0.16 c =============================================================================
0.09/0.16 c 0.0s | 0 | 0 | 0 | 1305 0 | 0 | 0
0.29/0.35 c 0.2s | 1 | 187 | 100 | 1305 0 | 0 | 0
0.39/0.47 c 0.3s | 2 | 1097 | 250 | 1436 0 | 0 | 0
0.69/0.72 c 0.6s | 3 | 2206 | 475 | 1580 0 | 0 | 0
0.89/0.95 c 0.8s | 4 | 3821 | 813 | 1739 0 | 0 | 0
1.20/1.25 c 1.1s | 5 | 5506 | 1320 | 1913 0 | 0 | 0
1.49/1.54 c 1.4s | 6 | 7635 | 2081 | 2316 0 | 0 | 0
1.99/2.09 c 1.9s | 7 | 9780 | 3223 | 2548 0 | 0 | 0
3.49/3.59 c 3.4s | 8 | 12413 | 4936 | 2803 1 | 0 | 0
4.40/4.44 c 4.3s | 9 | 16291 | 7506 | 3084 2 | 0 | 0
5.99/6.06 c 5.9s | 10 | 21651 | 11361 | 3393 4 | 0 | 0
5.99/6.09 c 5.9s | 10 | 22487 | 11361 | 3393 4 | 0 | 0
5.99/6.09 c #cpu_time = 5.916s
5.99/6.09 c #wall_clock_time = 5.931s
5.99/6.09 c #decision = 22487
5.99/6.09 c #random_decision = 71
5.99/6.09 c #conflict = 11361
5.99/6.09 c #restart = 10
5.99/6.09 s SATISFIABLE
5.99/6.10 v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10
5.99/6.10 v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
5.99/6.10 v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
5.99/6.10 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
5.99/6.10 v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
5.99/6.10 v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
5.99/6.10 v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
5.99/6.10 v -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
5.99/6.10 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
5.99/6.10 v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
5.99/6.10 v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
5.99/6.10 v x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
5.99/6.10 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
5.99/6.10 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
5.99/6.10 v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
5.99/6.10 v -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160
5.99/6.10 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
5.99/6.10 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
5.99/6.10 v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
5.99/6.10 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200
5.99/6.10 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
5.99/6.10 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
5.99/6.10 v -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230
5.99/6.10 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
5.99/6.10 v x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
5.99/6.10 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
5.99/6.10 v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
5.99/6.10 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
5.99/6.10 v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
5.99/6.10 v -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300
5.99/6.10 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
5.99/6.10 v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
5.99/6.10 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
5.99/6.10 v -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
5.99/6.10 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
5.99/6.10 v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
5.99/6.10 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
5.99/6.10 v -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380
5.99/6.10 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
5.99/6.10 v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
5.99/6.10 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
5.99/6.10 v -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420
5.99/6.10 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
5.99/6.10 v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
5.99/6.10 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
5.99/6.10 v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
5.99/6.10 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470
5.99/6.10 v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
5.99/6.10 v -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490
5.99/6.10 v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
5.99/6.10 v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
5.99/6.10 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
5.99/6.10 v -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
5.99/6.10 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
5.99/6.10 v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
5.99/6.10 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
5.99/6.10 v -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570
5.99/6.10 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
5.99/6.10 v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
5.99/6.10 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
5.99/6.10 v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
5.99/6.10 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
5.99/6.10 v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630
5.99/6.10 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
5.99/6.10 v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
5.99/6.10 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
5.99/6.10 v -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670
5.99/6.10 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
5.99/6.10 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
5.99/6.10 v -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
5.99/6.10 v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
5.99/6.10 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
5.99/6.10 v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
5.99/6.10 v -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740
5.99/6.10 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
5.99/6.10 v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
5.99/6.10 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
5.99/6.10 v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
5.99/6.10 v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
5.99/6.10 v -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800
5.99/6.10 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
5.99/6.10 v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
5.99/6.10 v -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
5.99/6.10 v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
5.99/6.10 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850
5.99/6.10 v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
5.99/6.10 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
5.99/6.10 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
5.99/6.10 v -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890
5.99/6.10 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
5.99/6.10 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
5.99/6.10 v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
5.99/6.10 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930
5.99/6.10 v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
5.99/6.10 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
5.99/6.10 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960
5.99/6.10 v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970
5.99/6.10 v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980
5.99/6.10 v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
5.99/6.10 v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
5.99/6.10 v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
5.99/6.10 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
6.09/6.10 v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
6.09/6.10 v -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
6.09/6.10 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
6.09/6.10 v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
6.09/6.10 v -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070
6.09/6.10 v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
6.09/6.10 v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
6.09/6.10 v x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
6.09/6.10 v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
6.09/6.10 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
6.09/6.10 v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
6.09/6.10 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
6.09/6.10 v x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
6.09/6.10 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
6.09/6.10 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
6.09/6.10 v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
6.09/6.10 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
6.09/6.10 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200
6.09/6.10 v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
6.09/6.10 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
6.09/6.10 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230
6.09/6.10 v -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
6.09/6.10 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
6.09/6.10 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260
6.09/6.10 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
6.09/6.10 v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
6.09/6.10 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
6.09/6.10 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
6.09/6.10 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310
6.09/6.10 v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
6.09/6.10 v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
6.09/6.10 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340
6.09/6.10 v -x1341 -x1342 -x1343 -x1344 x1345 -x1346 -x1347 -x1348 -x1349 -x1350
6.09/6.10 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
6.09/6.10 v -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370
6.09/6.10 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
6.09/6.10 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
6.09/6.10 v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
6.09/6.10 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
6.09/6.10 v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
6.09/6.10 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
6.09/6.10 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440
6.09/6.10 v -x1441 -x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
6.09/6.10 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
6.09/6.10 v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
6.09/6.10 v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480
6.09/6.10 v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
6.09/6.10 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 -x1500
6.09/6.10 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
6.09/6.10 v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
6.09/6.10 v -x1521 x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
6.09/6.10 v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
6.09/6.10 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
6.09/6.10 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 x1558 -x1559 -x1560
6.09/6.10 v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570
6.09/6.10 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
6.09/6.10 v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590
6.09/6.10 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
6.09/6.10 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610
6.09/6.10 v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 x1619 -x1620
6.09/6.10 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630
6.09/6.10 v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640
6.09/6.10 v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650
6.09/6.10 v -x1651 -x1652 -x1653 -x1654 -x1655 x1656 -x1657 -x1658 -x1659 -x1660
6.09/6.10 v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
6.09/6.10 v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680
6.09/6.10 v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
6.09/6.10 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
6.09/6.10 v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 x1708 -x1709 -x1710
6.09/6.10 v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
6.09/6.10 v -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 x1730
6.09/6.10 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
6.09/6.10 v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750
6.09/6.10 v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
6.09/6.10 v -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770
6.09/6.10 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780
6.09/6.10 v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
6.09/6.10 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
6.09/6.10 v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
6.09/6.10 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
6.09/6.10 v x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
6.09/6.10 v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840
6.09/6.10 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850
6.09/6.10 v x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
6.09/6.10 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870
6.09/6.10 v -x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
6.09/6.10 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890
6.09/6.10 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
6.09/6.10 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
6.09/6.10 v -x1911 -x1912 -x1913 x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
6.09/6.10 v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
6.09/6.10 v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
6.09/6.10 v -x1941 -x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950
6.09/6.10 v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
6.09/6.10 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
6.09/6.10 v -x1971 -x1972 -x1973 -x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x1980
6.09/6.10 v -x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 -x1989 -x1990
6.09/6.10 v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2000
6.09/6.10 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
6.09/6.10 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
6.09/6.10 v -x2021 -x2022 -x2023 x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
6.09/6.10 v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
6.09/6.10 v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 x2049 -x2050
6.09/6.10 v -x2051 -x2052 x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
6.09/6.10 v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
6.09/6.10 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
6.09/6.10 v -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090
6.09/6.10 v -x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100
6.09/6.10 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
6.09/6.10 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
6.09/6.10 v -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
6.09/6.10 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
6.09/6.10 v -x2141 -x2142 -x2143 -x2144 -x2145 x2146 -x2147 -x2148 -x2149 -x2150
6.09/6.10 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160
6.09/6.10 v -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 x2170
6.09/6.10 v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
6.09/6.10 v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 x2188 -x2189 -x2190
6.09/6.10 v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
6.09/6.10 v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210
6.09/6.10 v -x2211 -x2212 -x2213 -x2214 x2215 -x2216 -x2217 -x2218 -x2219 -x2220
6.09/6.10 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230
6.09/6.10 v x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240
6.09/6.10 v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
6.09/6.10 v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2257 -x2258 -x2259 -x2260
6.09/6.10 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 x2267 -x2268 -x2269 -x2270
6.09/6.10 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
6.09/6.10 c total CPU time = 6.083s
6.09/6.10 c total wall clock time = 6.099s
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-4078623-1465221207/watcher-4078623-1465221207 -o /tmp/evaluation-result-4078623-1465221207/solver-4078623-1465221207 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078623-1465221207.opb
pid=29394
running on 8 cores: 4-7,12-15
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.18 2.13 2.10 3/261 29397
/proc/meminfo: memFree=30972148/32872528 swapFree=9196/9196
[pid=29397] ppid=29394 vsize=1127868 CPUtime=0 cores=4-7,12-15
/proc/29397/stat : 29397 (toysat) R 29394 29397 25889 0 -1 4202496 4277 0 0 0 0 0 0 0 20 0 4 0 103962741 1154936832 4638 33554432000 4194304 16246674 140735809719888 140735809719312 13880264 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29397/statm: 282479 4647 441 2943 0 279373 0
[pid=29397/tid=29398] ppid=29394 vsize=1149372 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29398/stat : 29398 (toysat) S 29394 29397 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962741 1176956928 4723 33554432000 4194304 16246674 140735809719888 139828947561712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29397/tid=29399] ppid=29394 vsize=1154492 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29399/stat : 29399 (toysat) S 29394 29397 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962741 1182199808 4740 33554432000 4194304 16246674 140735809719888 139828937071856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29397/tid=29400] ppid=29394 vsize=1158588 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29400/stat : 29400 (toysat) S 29394 29397 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103962741 1186394112 4758 33554432000 4194304 16246674 140735809719888 139828926598320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
[startup+0.100174 s]
/proc/loadavg: 2.18 2.13 2.10 3/261 29397
/proc/meminfo: memFree=30972148/32872528 swapFree=9196/9196
[pid=29397] ppid=29394 vsize=1220164 CPUtime=0.09 cores=4-7,12-15
/proc/29397/stat : 29397 (toysat) R 29394 29397 25889 0 -1 4202496 27575 0 0 0 6 3 0 0 20 0 4 0 103962741 1249447936 27873 33554432000 4194304 16246674 140735809719888 140735809719200 13930238 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29397/statm: 305041 27885 831 2943 0 301935 0
[pid=29397/tid=29398] ppid=29394 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29398/stat : 29398 (toysat) S 29394 29397 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962741 1249447936 27892 33554432000 4194304 16246674 140735809719888 139828947561712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29397/tid=29399] ppid=29394 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29399/stat : 29399 (toysat) S 29394 29397 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962741 1249447936 27900 33554432000 4194304 16246674 140735809719888 139828937071856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29397/tid=29400] ppid=29394 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29400/stat : 29400 (toysat) S 29394 29397 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962741 1249447936 27908 33554432000 4194304 16246674 140735809719888 139828926598320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164
[startup+0.200535 s]
/proc/loadavg: 2.18 2.13 2.10 3/261 29397
/proc/meminfo: memFree=30972148/32872528 swapFree=9196/9196
[pid=29397] ppid=29394 vsize=1220164 CPUtime=0.19 cores=4-7,12-15
/proc/29397/stat : 29397 (toysat) R 29394 29397 25889 0 -1 4202496 55340 0 0 0 13 6 0 0 20 0 4 0 103962741 1249447936 55638 33554432000 4194304 16246674 140735809719888 140735809719200 5546181 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29397/statm: 305041 55662 870 2943 0 301935 0
[pid=29397/tid=29398] ppid=29394 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29398/stat : 29398 (toysat) S 29394 29397 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962741 1249447936 55676 33554432000 4194304 16246674 140735809719888 139828947561712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29397/tid=29399] ppid=29394 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29399/stat : 29399 (toysat) S 29394 29397 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962741 1249447936 55692 33554432000 4194304 16246674 140735809719888 139828937071856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29397/tid=29400] ppid=29394 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29400/stat : 29400 (toysat) S 29394 29397 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962741 1249447936 55704 33554432000 4194304 16246674 140735809719888 139828926598320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164
[startup+0.300522 s]
/proc/loadavg: 2.18 2.13 2.10 3/261 29397
/proc/meminfo: memFree=30972148/32872528 swapFree=9196/9196
[pid=29397] ppid=29394 vsize=1220164 CPUtime=0.29 cores=4-7,12-15
/proc/29397/stat : 29397 (toysat) R 29394 29397 25889 0 -1 4202496 87647 0 0 0 19 10 0 0 20 0 4 0 103962741 1249447936 87946 33554432000 4194304 16246674 140735809719888 140735809701760 5546181 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29397/statm: 305041 87959 870 2943 0 301935 0
[pid=29397/tid=29398] ppid=29394 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29398/stat : 29398 (toysat) S 29394 29397 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962741 1249447936 87973 33554432000 4194304 16246674 140735809719888 139828947561712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29397/tid=29399] ppid=29394 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29399/stat : 29399 (toysat) S 29394 29397 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962741 1249447936 87978 33554432000 4194304 16246674 140735809719888 139828937071856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29397/tid=29400] ppid=29394 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29400/stat : 29400 (toysat) S 29394 29397 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962741 1249447936 87989 33554432000 4194304 16246674 140735809719888 139828926598320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164
[startup+0.70044 s]
/proc/loadavg: 2.18 2.13 2.10 3/261 29397
/proc/meminfo: memFree=30972148/32872528 swapFree=9196/9196
[pid=29397] ppid=29394 vsize=1302084 CPUtime=0.69 cores=4-7,12-15
/proc/29397/stat : 29397 (toysat) R 29394 29397 25889 0 -1 4202496 212078 0 0 0 43 26 0 0 20 0 4 0 103962741 1333334016 212376 33554432000 4194304 16246674 140735809719888 140735809719200 13192419 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29397/statm: 325521 212376 873 2943 0 322415 0
[pid=29397/tid=29398] ppid=29394 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29398/stat : 29398 (toysat) S 29394 29397 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962741 1333334016 212376 33554432000 4194304 16246674 140735809719888 139828947561712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29397/tid=29399] ppid=29394 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29399/stat : 29399 (toysat) S 29394 29397 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962741 1333334016 212376 33554432000 4194304 16246674 140735809719888 139828937071856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29397/tid=29400] ppid=29394 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29400/stat : 29400 (toysat) S 29394 29397 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962741 1333334016 212376 33554432000 4194304 16246674 140735809719888 139828926598320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084
[startup+1.50044 s]
/proc/loadavg: 2.17 2.12 2.10 3/265 29401
/proc/meminfo: memFree=29900716/32872528 swapFree=9196/9196
[pid=29397] ppid=29394 vsize=1307204 CPUtime=1.49 cores=4-7,12-15
/proc/29397/stat : 29397 (toysat) R 29394 29397 25889 0 -1 4202496 267863 0 0 0 117 32 0 0 20 0 4 0 103962741 1338576896 268161 33554432000 4194304 16246674 140735809719888 140735809702888 13949872 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29397/statm: 326801 268161 873 2943 0 323695 0
[pid=29397/tid=29398] ppid=29394 vsize=1307204 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29398/stat : 29398 (toysat) S 29394 29397 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962741 1338576896 268161 33554432000 4194304 16246674 140735809719888 139828947561712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29397/tid=29399] ppid=29394 vsize=1307204 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29399/stat : 29399 (toysat) S 29394 29397 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962741 1338576896 268161 33554432000 4194304 16246674 140735809719888 139828937071856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29397/tid=29400] ppid=29394 vsize=1307204 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29400/stat : 29400 (toysat) S 29394 29397 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962741 1338576896 268161 33554432000 4194304 16246674 140735809719888 139828926598320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204
[startup+3.10041 s]
/proc/loadavg: 2.17 2.12 2.10 3/265 29401
/proc/meminfo: memFree=29898732/32872528 swapFree=9196/9196
[pid=29397] ppid=29394 vsize=1308228 CPUtime=3.09 cores=4-7,12-15
/proc/29397/stat : 29397 (toysat) R 29394 29397 25889 0 -1 4202496 268236 0 0 0 277 32 0 0 20 0 4 0 103962741 1339625472 268534 33554432000 4194304 16246674 140735809719888 140735809701760 5822252 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29397/statm: 327057 268534 881 2943 0 323951 0
[pid=29397/tid=29398] ppid=29394 vsize=1308228 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29398/stat : 29398 (toysat) S 29394 29397 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962741 1339625472 268534 33554432000 4194304 16246674 140735809719888 139828947561712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29397/tid=29399] ppid=29394 vsize=1308228 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29399/stat : 29399 (toysat) S 29394 29397 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962741 1339625472 268534 33554432000 4194304 16246674 140735809719888 139828937071856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29397/tid=29400] ppid=29394 vsize=1308228 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29400/stat : 29400 (toysat) S 29394 29397 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962741 1339625472 268534 33554432000 4194304 16246674 140735809719888 139828926598320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29397 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2005 s]
/proc/loadavg: 2.17 2.12 2.10 3/265 29401
/proc/meminfo: memFree=29898732/32872528 swapFree=9196/9196
[pid=29397] ppid=29394 vsize=1308228 CPUtime=3.19 cores=4-7,12-15
/proc/29397/stat : 29397 (toysat) R 29394 29397 25889 0 -1 4202496 268236 0 0 0 287 32 0 0 20 0 4 0 103962741 1339625472 268534 33554432000 4194304 16246674 140735809719888 140735809701760 5546023 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29397/statm: 327057 268534 881 2943 0 323951 0
[pid=29397/tid=29398] ppid=29394 vsize=1308228 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29398/stat : 29398 (toysat) S 29394 29397 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962741 1339625472 268534 33554432000 4194304 16246674 140735809719888 139828947561712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29397/tid=29399] ppid=29394 vsize=1308228 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29399/stat : 29399 (toysat) S 29394 29397 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962741 1339625472 268534 33554432000 4194304 16246674 140735809719888 139828937071856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29397/tid=29400] ppid=29394 vsize=1308228 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29400/stat : 29400 (toysat) S 29394 29397 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962741 1339625472 268534 33554432000 4194304 16246674 140735809719888 139828926598320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 1308228
[startup+4.8004 s]
/proc/loadavg: 2.17 2.12 2.10 3/265 29401
/proc/meminfo: memFree=29899024/32872528 swapFree=9196/9196
[pid=29397] ppid=29394 vsize=1309252 CPUtime=4.79 cores=4-7,12-15
/proc/29397/stat : 29397 (toysat) R 29394 29397 25889 0 -1 4202496 268272 0 0 0 447 32 0 0 20 0 4 0 103962741 1340674048 268570 33554432000 4194304 16246674 140735809719888 140735809701760 13943664 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29397/statm: 327313 268570 884 2943 0 324207 0
[pid=29397/tid=29398] ppid=29394 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29398/stat : 29398 (toysat) S 29394 29397 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962741 1340674048 268570 33554432000 4194304 16246674 140735809719888 139828947561712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29397/tid=29399] ppid=29394 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29399/stat : 29399 (toysat) S 29394 29397 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962741 1340674048 268570 33554432000 4194304 16246674 140735809719888 139828937071856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29397/tid=29400] ppid=29394 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29400/stat : 29400 (toysat) S 29394 29397 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962741 1340674048 268570 33554432000 4194304 16246674 140735809719888 139828926598320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 1309252
[startup+5.61112 s]
/proc/loadavg: 2.15 2.12 2.10 3/265 29401
/proc/meminfo: memFree=29899032/32872528 swapFree=9196/9196
[pid=29397] ppid=29394 vsize=1309252 CPUtime=5.6 cores=4-7,12-15
/proc/29397/stat : 29397 (toysat) R 29394 29397 25889 0 -1 4202496 268272 0 0 0 528 32 0 0 20 0 4 0 103962741 1340674048 268570 33554432000 4194304 16246674 140735809719888 140735809701760 5754961 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29397/statm: 327313 268570 884 2943 0 324207 0
[pid=29397/tid=29398] ppid=29394 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29398/stat : 29398 (toysat) S 29394 29397 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962741 1340674048 268570 33554432000 4194304 16246674 140735809719888 139828947561712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29397/tid=29399] ppid=29394 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29399/stat : 29399 (toysat) S 29394 29397 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962741 1340674048 268570 33554432000 4194304 16246674 140735809719888 139828937071856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29397/tid=29400] ppid=29394 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29400/stat : 29400 (toysat) S 29394 29397 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962741 1340674048 268570 33554432000 4194304 16246674 140735809719888 139828926598320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 1309252
[startup+6.0004 s]
/proc/loadavg: 2.15 2.12 2.10 3/265 29401
/proc/meminfo: memFree=29899032/32872528 swapFree=9196/9196
[pid=29397] ppid=29394 vsize=1309252 CPUtime=5.99 cores=4-7,12-15
/proc/29397/stat : 29397 (toysat) R 29394 29397 25889 0 -1 4202496 268272 0 0 0 567 32 0 0 20 0 4 0 103962741 1340674048 268570 33554432000 4194304 16246674 140735809719888 140735809701760 5523360 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29397/statm: 327313 268570 884 2943 0 324207 0
[pid=29397/tid=29398] ppid=29394 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29398/stat : 29398 (toysat) S 29394 29397 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962741 1340674048 268570 33554432000 4194304 16246674 140735809719888 139828947561712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29397/tid=29399] ppid=29394 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29399/stat : 29399 (toysat) S 29394 29397 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962741 1340674048 268570 33554432000 4194304 16246674 140735809719888 139828937071856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29397/tid=29400] ppid=29394 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29400/stat : 29400 (toysat) S 29394 29397 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962741 1340674048 268570 33554432000 4194304 16246674 140735809719888 139828926598320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 1309252
[startup+6.10039 s]
/proc/loadavg: 2.15 2.12 2.10 3/265 29401
/proc/meminfo: memFree=29899032/32872528 swapFree=9196/9196
[pid=29397] ppid=29394 vsize=1309252 CPUtime=6.09 cores=4-7,12-15
/proc/29397/stat : 29397 (toysat) R 29394 29397 25889 0 -1 4202496 268276 0 0 0 577 32 0 0 20 0 4 0 103962741 1340674048 268574 33554432000 4194304 16246674 140735809719888 140735809701760 14073233 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29397/statm: 327313 268574 887 2943 0 324207 0
[pid=29397/tid=29398] ppid=29394 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29398/stat : 29398 (toysat) S 29394 29397 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103962741 1340674048 268574 33554432000 4194304 16246674 140735809719888 139828947561712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29397/tid=29399] ppid=29394 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29399/stat : 29399 (toysat) S 29394 29397 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103962741 1340674048 268574 33554432000 4194304 16246674 140735809719888 139828937071856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29397/tid=29400] ppid=29394 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/29397/task/29400/stat : 29400 (toysat) S 29394 29397 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103962741 1340674048 268574 33554432000 4194304 16246674 140735809719888 139828926598320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 1309252
Child status: 0
Real time (s): 6.16049
CPU time (s): 6.15806
CPU user time (s): 5.77212
CPU system time (s): 0.385941
CPU usage (%): 99.9606
Max. virtual memory (cumulated for all children) (KiB): 1309252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.77212
system time used= 0.385941
maximum resident set size= 1074304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268279
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= 22
involuntary context switches= 7
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054991 second user time and 0.065989 second system time
The end
Begin job on node132 at 2016-06-06 15:53:27
IDJOB=4078623
IDBENCH=1419
IDSOLVER=2542
FILE ID=node132/4078623-1465221207
RUNJOBID= node132-1465216787-25906
PBS_JOBID= 19843203
Free space on /tmp= 71732 MiB
SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078623-1465221207/watcher-4078623-1465221207 -o /tmp/evaluation-result-4078623-1465221207/solver-4078623-1465221207 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078623-1465221207.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8
MD5SUM BENCH= 3df4b6f92f1f3083d4934635de2b04ef
RANDOM SEED=452373238
node132.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.209
cache size : 8192 KB
physical id : 0
siblings : 8
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.41
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.209
cache size : 8192 KB
physical id : 0
siblings : 8
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.51
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.209
cache size : 8192 KB
physical id : 0
siblings : 8
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.51
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.209
cache size : 8192 KB
physical id : 0
siblings : 8
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.51
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.209
cache size : 8192 KB
physical id : 1
siblings : 8
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 : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
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 : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
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 : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
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:
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 4
apicid : 1
initial apicid : 1
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 : 9
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 4
apicid : 3
initial apicid : 3
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 : 10
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 4
apicid : 5
initial apicid : 5
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 : 11
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 4
apicid : 7
initial apicid : 7
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 : 12
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 4
apicid : 17
initial apicid : 17
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 : 13
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 4
apicid : 19
initial apicid : 19
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 : 14
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 4
apicid : 21
initial apicid : 21
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 : 15
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 4
apicid : 23
initial apicid : 23
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: 30972608 kB
Buffers: 11828 kB
Cached: 77208 kB
SwapCached: 3232 kB
Active: 1149528 kB
Inactive: 29408 kB
Active(anon): 1089588 kB
Inactive(anon): 3236 kB
Active(file): 59940 kB
Inactive(file): 26172 kB
Unevictable: 9196 kB
Mlocked: 9196 kB
SwapTotal: 67108856 kB
SwapFree: 67094520 kB
Dirty: 16676 kB
Writeback: 0 kB
AnonPages: 1099116 kB
Mapped: 10396 kB
Shmem: 0 kB
Slab: 572856 kB
SReclaimable: 12960 kB
SUnreclaim: 559896 kB
KernelStack: 2248 kB
PageTables: 6420 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545120 kB
Committed_AS: 1239132 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346412 kB
VmallocChunk: 34341987140 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 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= 71716 MiB
End job on node132 at 2016-06-06 15:53:33