Trace number 3724662

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2012-06-01OPT45008 242.844 242.887

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__16.opb
MD5SUM3c0b9d73d67a301539707b5cf6d0db6d
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark45008
Best CPU time to get the best result obtained on this benchmark1.00385
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1648
Total number of constraints150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)102
Number of constraints which are nor clauses,nor cardinality constraints48
Minimum length of a constraint16
Maximum length of a constraint145
Number of terms in the objective function 1600
Biggest coefficient in the objective function 126454
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 53704560
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 126454
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 53704560
Number of bits of the biggest sum of numbers26
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.19/0.28	c 2012-06-02T14:36:26+0200
0.19/0.28	c arch = x86_64
0.19/0.28	c os = linux
0.19/0.28	c compiler = ghc 7.4
0.19/0.28	c packages:
0.19/0.28	c   OptDir-0.0.1
0.19/0.28	c   array-0.4.0.0
0.19/0.28	c   base-4.5.0.0
0.19/0.28	c   bytestring-0.9.2.1
0.19/0.28	c   containers-0.4.2.1
0.19/0.28	c   deepseq-1.3.0.0
0.19/0.28	c   mtl-2.1.1
0.19/0.28	c   old_locale-1.0.0.4
0.19/0.28	c   parse_dimacs-1.2
0.19/0.28	c   parsec-3.1.2
0.19/0.28	c   queue-0.1.2
0.19/0.28	c   stm-2.3
0.19/0.28	c   time-1.4
0.19/0.28	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724662-1338640586.opb"]
0.19/0.28	c #vars 1648
0.19/0.28	c #constraints 150
0.19/0.28	c Solving starts ...
0.29/0.31	c solving time = 0.025s
0.29/0.31	c #decision = 2171
0.29/0.31	c #conflict = 31
0.29/0.31	c #restart = 0
0.29/0.31	o 72813
0.29/0.31	c Solving starts ...
50.88/50.95	c learnt constraints deletion: 1161 -> 581
66.38/66.49	c learnt constraints deletion: 1241 -> 627
111.37/111.44	c learnt constraints deletion: 2051 -> 1026
152.76/152.83	c learnt constraints deletion: 1874 -> 938
175.06/175.17	c learnt constraints deletion: 1651 -> 855
200.35/200.46	c learnt constraints deletion: 1594 -> 800
221.25/221.39	c learnt constraints deletion: 1536 -> 784
240.55/240.60	c solving time = 240.252s
240.55/240.60	c #decision = 50424
240.55/240.60	c #conflict = 6815
240.55/240.60	c #restart = 8
240.55/240.60	o 45008
240.55/240.61	c Solving starts ...
240.55/240.61	c learnt constraints deletion: 1306 -> 653
242.75/242.88	c solving time = 2.271s
242.75/242.88	c #decision = 51593
242.75/242.88	c #conflict = 7028
242.75/242.88	c #restart = 9
242.75/242.88	s OPTIMUM FOUND
242.75/242.88	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
242.75/242.88	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
242.75/242.88	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
242.75/242.88	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
242.75/242.88	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
242.75/242.88	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
242.75/242.88	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
242.75/242.88	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
242.75/242.88	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
242.75/242.88	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
242.75/242.88	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
242.75/242.88	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
242.75/242.88	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
242.75/242.88	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
242.75/242.88	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
242.75/242.88	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
242.75/242.88	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
242.75/242.88	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
242.75/242.88	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
242.75/242.88	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
242.75/242.88	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
242.75/242.88	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
242.75/242.88	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
242.75/242.88	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
242.75/242.88	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
242.75/242.88	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
242.75/242.88	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
242.75/242.88	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
242.75/242.88	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
242.75/242.88	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
242.75/242.88	v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
242.75/242.88	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
242.75/242.88	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
242.75/242.88	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
242.75/242.88	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
242.75/242.88	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
242.75/242.88	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
242.75/242.88	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
242.75/242.88	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
242.75/242.88	v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
242.75/242.88	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
242.75/242.88	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
242.75/242.88	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
242.75/242.88	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
242.75/242.88	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
242.75/242.88	v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
242.75/242.88	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
242.75/242.88	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
242.75/242.88	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
242.75/242.88	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
242.75/242.88	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
242.75/242.88	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
242.75/242.88	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
242.75/242.88	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
242.75/242.88	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
242.75/242.88	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560
242.75/242.88	v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
242.75/242.88	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
242.75/242.88	v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
242.75/242.88	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
242.75/242.88	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
242.75/242.88	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
242.75/242.88	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
242.75/242.88	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
242.75/242.88	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
242.75/242.88	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
242.75/242.88	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
242.75/242.88	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
242.75/242.88	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
242.75/242.88	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
242.75/242.88	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
242.75/242.88	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
242.75/242.88	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
242.75/242.88	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
242.75/242.88	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
242.75/242.88	v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
242.75/242.88	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
242.75/242.88	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
242.75/242.88	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
242.75/242.88	v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
242.75/242.88	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
242.75/242.88	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
242.75/242.88	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
242.75/242.88	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
242.75/242.88	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
242.75/242.88	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
242.75/242.88	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
242.75/242.88	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
242.75/242.88	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
242.75/242.88	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
242.75/242.88	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
242.75/242.88	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
242.75/242.88	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930
242.75/242.88	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
242.75/242.88	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
242.75/242.88	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
242.75/242.88	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
242.75/242.88	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980
242.75/242.88	v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
242.75/242.88	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
242.75/242.88	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
242.75/242.88	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
242.75/242.88	v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
242.75/242.88	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
242.75/242.88	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
242.75/242.88	v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
242.75/242.88	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
242.75/242.88	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
242.75/242.88	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
242.75/242.88	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
242.75/242.88	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
242.75/242.88	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
242.75/242.88	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
242.75/242.88	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
242.75/242.88	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
242.75/242.88	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
242.75/242.88	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
242.75/242.88	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
242.75/242.88	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
242.75/242.88	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
242.75/242.88	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
242.75/242.88	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
242.75/242.88	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230
242.75/242.88	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
242.75/242.88	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
242.75/242.88	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
242.75/242.88	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
242.75/242.88	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
242.75/242.88	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
242.75/242.88	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
242.75/242.88	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
242.75/242.88	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
242.75/242.88	v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
242.75/242.88	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340
242.75/242.88	v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
242.75/242.88	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
242.75/242.88	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
242.75/242.88	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
242.75/242.88	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
242.75/242.88	v -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
242.75/242.88	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
242.75/242.88	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
242.75/242.88	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
242.75/242.88	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
242.75/242.88	v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
242.75/242.88	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
242.75/242.88	v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
242.75/242.88	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480
242.75/242.88	v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
242.75/242.88	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
242.75/242.88	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
242.75/242.88	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
242.75/242.88	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
242.75/242.88	v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
242.75/242.88	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
242.75/242.88	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
242.75/242.88	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
242.75/242.88	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
242.75/242.88	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
242.75/242.88	v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
242.75/242.88	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
242.75/242.88	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 x1619 -x1620
242.75/242.88	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630
242.75/242.88	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640
242.75/242.88	v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648
242.75/242.88	c total time = 242.844s

Verifier Data

OK	45008

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3724662-1338640586/watcher-3724662-1338640586 -o /tmp/evaluation-result-3724662-1338640586/solver-3724662-1338640586 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724662-1338640586.opb 

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.04 2.01 2.00 3/176 15346
/proc/meminfo: memFree=27611228/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 837 0 0 0 0 0 0 0 20 0 1 0 330183544 7421952 757 33554432000 4194304 8989770 140734702503952 140737103755928 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 1812 757 424 1171 0 589 0

[startup+0.0461489 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 15346
/proc/meminfo: memFree=27611228/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=9296 CPUtime=0.04 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 1473 0 0 0 4 0 0 0 20 0 1 0 330183544 9519104 1393 33554432000 4194304 8989770 140734702503952 140737103755928 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 2324 1393 446 1171 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9296

[startup+0.100276 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 15346
/proc/meminfo: memFree=27611228/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=9296 CPUtime=0.09 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 1473 0 0 0 9 0 0 0 20 0 1 0 330183544 9519104 1393 33554432000 4194304 8989770 140734702503952 140737103755928 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 2324 1393 446 1171 0 1101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9296

[startup+0.300227 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 15346
/proc/meminfo: memFree=27611228/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=9296 CPUtime=0.29 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 1593 0 0 0 29 0 0 0 20 0 1 0 330183544 9519104 1513 33554432000 4194304 8989770 140734702503952 140734702503448 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 2324 1513 461 1171 0 1101 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9296

[startup+0.700268 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 15346
/proc/meminfo: memFree=27611228/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=12368 CPUtime=0.69 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 2417 0 0 0 69 0 0 0 20 0 1 0 330183544 12664832 2337 33554432000 4194304 8989770 140734702503952 140734702503448 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 3092 2337 472 1171 0 1869 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12368

[startup+1.50027 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15347
/proc/meminfo: memFree=27604044/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=12368 CPUtime=1.49 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 2417 0 0 0 148 1 0 0 20 0 1 0 330183544 12664832 2337 33554432000 4194304 8989770 140734702503952 140734702503448 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 3092 2337 472 1171 0 1869 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12368

[startup+3.10027 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15347
/proc/meminfo: memFree=27603532/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=12368 CPUtime=3.09 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 2417 0 0 0 308 1 0 0 20 0 1 0 330183544 12664832 2337 33554432000 4194304 8989770 140734702503952 140734702503448 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 3092 2337 472 1171 0 1869 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12368

[startup+6.30027 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 15347
/proc/meminfo: memFree=27603284/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=12368 CPUtime=6.29 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 2417 0 0 0 626 3 0 0 20 0 1 0 330183544 12664832 2337 33554432000 4194304 8989770 140734702503952 140734702503448 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 3092 2337 472 1171 0 1869 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12368

[startup+12.7003 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 15347
/proc/meminfo: memFree=27603192/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=12368 CPUtime=12.68 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 2417 0 0 0 1263 5 0 0 20 0 1 0 330183544 12664832 2337 33554432000 4194304 8989770 140734702503952 140734702503448 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 3092 2337 472 1171 0 1869 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 12368

[startup+25.5003 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 15347
/proc/meminfo: memFree=27602596/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=13392 CPUtime=25.49 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 2673 0 0 0 2538 11 0 0 20 0 1 0 330183544 13713408 2593 33554432000 4194304 8989770 140734702503952 140734702503216 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 3348 2593 472 1171 0 2125 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13392

[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 15347
/proc/meminfo: memFree=27599372/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=14416 CPUtime=51.08 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 2931 0 0 0 5086 22 0 0 20 0 1 0 330183544 14761984 2851 33554432000 4194304 8989770 140734702503952 140734702503216 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 3604 2851 474 1171 0 2381 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 14416

[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 15348
/proc/meminfo: memFree=27591064/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=16464 CPUtime=102.28 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 3443 0 0 0 10183 45 0 0 20 0 1 0 330183544 16859136 3363 33554432000 4194304 8989770 140734702503952 140734702503216 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 4116 3363 474 1171 0 2893 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 16464

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 15348
/proc/meminfo: memFree=27578144/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=17488 CPUtime=162.26 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 3704 0 0 0 16154 72 0 0 20 0 1 0 330183544 17907712 3624 33554432000 4194304 8989770 140734702503952 140734702503448 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 4372 3624 474 1171 0 3149 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 17488

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 15351
/proc/meminfo: memFree=27570912/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=17488 CPUtime=222.25 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 3704 0 0 0 22129 96 0 0 20 0 1 0 330183544 17907712 3624 33554432000 4194304 8989770 140734702503952 140734702501888 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 4372 3624 474 1171 0 3149 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 17488

Solver just ended. Dumping a history of the last processes samples

[startup+230.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 15351
/proc/meminfo: memFree=27570696/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=17488 CPUtime=230.25 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 3704 0 0 0 22924 101 0 0 20 0 1 0 330183544 17907712 3624 33554432000 4194304 8989770 140734702503952 140734702503448 4214379 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 4372 3624 474 1171 0 3149 0
Current children cumulated CPU time (s) 230.25
Current children cumulated vsize (KiB) 17488

[startup+236.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 15351
/proc/meminfo: memFree=27570696/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=17488 CPUtime=236.65 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 3704 0 0 0 23562 103 0 0 20 0 1 0 330183544 17907712 3624 33554432000 4194304 8989770 140734702503952 140734702503216 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 4372 3624 474 1171 0 3149 0
Current children cumulated CPU time (s) 236.65
Current children cumulated vsize (KiB) 17488

[startup+239.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 15351
/proc/meminfo: memFree=27570820/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=17488 CPUtime=239.85 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 3704 0 0 0 23880 105 0 0 20 0 1 0 330183544 17907712 3624 33554432000 4194304 8989770 140734702503952 140734702503448 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 4372 3624 474 1171 0 3149 0
Current children cumulated CPU time (s) 239.85
Current children cumulated vsize (KiB) 17488

[startup+241.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 15351
/proc/meminfo: memFree=27570820/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=17488 CPUtime=241.45 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 3704 0 0 0 24039 106 0 0 20 0 1 0 330183544 17907712 3624 33554432000 4194304 8989770 140734702503952 140734702503216 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 4372 3624 474 1171 0 3149 0
Current children cumulated CPU time (s) 241.45
Current children cumulated vsize (KiB) 17488

[startup+242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 15351
/proc/meminfo: memFree=27570820/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=17488 CPUtime=242.25 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 3704 0 0 0 24119 106 0 0 20 0 1 0 330183544 17907712 3624 33554432000 4194304 8989770 140734702503952 140734702503216 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 4372 3624 474 1171 0 3149 0
Current children cumulated CPU time (s) 242.25
Current children cumulated vsize (KiB) 17488

[startup+242.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 15351
/proc/meminfo: memFree=27570820/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=17488 CPUtime=242.65 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 3704 0 0 0 24158 107 0 0 20 0 1 0 330183544 17907712 3624 33554432000 4194304 8989770 140734702503952 140734702503216 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 4372 3624 474 1171 0 3149 0
Current children cumulated CPU time (s) 242.65
Current children cumulated vsize (KiB) 17488

[startup+242.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 15351
/proc/meminfo: memFree=27570820/32873844 swapFree=7628/7628
[pid=15346] ppid=15344 vsize=17488 CPUtime=242.75 cores=1,3,5,7
/proc/15346/stat : 15346 (toysat) R 15344 15346 14598 0 -1 4202496 3704 0 0 0 24168 107 0 0 20 0 1 0 330183544 17907712 3624 33554432000 4194304 8989770 140734702503952 140734702503216 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15346/statm: 4372 3624 474 1171 0 3149 0
Current children cumulated CPU time (s) 242.75
Current children cumulated vsize (KiB) 17488

Child status: 0
Real time (s): 242.887
CPU time (s): 242.844
CPU user time (s): 241.77
CPU system time (s): 1.07384
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 17488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 241.77
system time used= 1.07384
maximum resident set size= 14512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3708
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= 8
involuntary context switches= 251

runsolver used 0.39194 second user time and 1.16382 second system time

The end

Launcher Data

Begin job on node144 at 2012-06-02 14:36:26
IDJOB=3724662
IDBENCH=71859
IDSOLVER=2308
FILE ID=node144/3724662-1338640586
RUNJOBID= node144-1338631508-14616
PBS_JOBID= 14636436
Free space on /tmp= 70828 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__16.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724662-1338640586/watcher-3724662-1338640586 -o /tmp/evaluation-result-3724662-1338640586/solver-3724662-1338640586 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724662-1338640586.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3c0b9d73d67a301539707b5cf6d0db6d
RANDOM SEED=211915840

node144.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27612112 kB
Buffers:          619188 kB
Cached:          3564864 kB
SwapCached:          464 kB
Active:          2566232 kB
Inactive:        1831696 kB
Active(anon):     196612 kB
Inactive(anon):    11196 kB
Active(file):    2369620 kB
Inactive(file):  1820500 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108376 kB
Dirty:              6996 kB
Writeback:             0 kB
AnonPages:        212672 kB
Mapped:            16136 kB
Shmem:               172 kB
Slab:             722944 kB
SReclaimable:     165320 kB
SUnreclaim:       557624 kB
KernelStack:        1456 kB
PageTables:         4380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     320072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70824 MiB
End job on node144 at 2012-06-02 14:40:29