Trace number 2699015

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 NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedMSAT (TO) 1800.07 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo
MD5SUM153666059db7da507c96674bc7662476
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.062989
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2550
Total number of constraints101
Number of soft constraints66
Number of constraints which are clauses51
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 3685
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3684
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
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.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 17/33 clauses 18/33 units 0
0.00/0.00	c vars 2550
0.01/0.08	c 0.074988 21.3047 33 4484
0.01/0.08	o 961
0.01/0.09	c 0.076988 21.75 34 5408
0.01/0.09	o 810
0.01/0.09	c 0.077988 21.75 35 6230
0.01/0.09	o 712
0.09/0.10	c 0.077988 21.75 35 6875
0.09/0.10	o 610
0.09/0.10	c 0.079987 21.75 35 7609
0.09/0.10	o 585
0.09/0.11	c 0.080987 21.75 35 8193
0.09/0.11	o 558
0.09/0.11	c 0.082987 21.75 35 8877
0.09/0.11	o 528
0.09/0.12	c 0.083987 21.75 35 9366
0.09/0.12	o 524
0.09/0.12	c 0.083987 21.75 35 9855
0.09/0.12	o 513
0.09/0.13	c 0.084987 21.75 35 10449
0.09/0.13	o 489
0.09/0.13	c 0.084987 21.75 35 11027
0.09/0.13	o 487
0.09/0.14	c 0.085986 21.75 35 11608
0.09/0.14	o 483
0.09/0.14	c 0.087986 21.75 35 12088
0.09/0.14	o 475
0.09/0.14	c 0.087986 21.75 35 12622
0.09/0.14	o 441
0.09/0.15	c 0.089986 21.75 35 13200
0.09/0.15	o 433
0.09/0.15	c 0.089986 21.75 35 13821
0.09/0.15	o 422
0.09/0.16	c 0.091986 21.75 35 14303
0.09/0.16	o 413
0.09/0.16	c 0.092985 21.75 35 14843
0.09/0.16	o 396
0.09/0.17	c 0.092985 21.75 35 15373
0.09/0.17	o 394
0.09/0.17	c 0.093985 21.75 35 15807
0.09/0.17	o 384
0.09/0.18	c 0.093985 21.75 35 16303
0.09/0.18	o 363
0.09/0.18	c 0.096985 21.75 35 16726
0.09/0.18	o 345
0.09/0.19	c 0.097985 21.75 35 17185
0.09/0.19	o 242
0.09/0.19	c 0.097985 21.75 35 17603
0.09/0.19	o 239
0.09/0.20	c 0.098984 21.75 35 17929
0.09/0.20	o 220
0.19/0.20	c 0.099984 21.75 35 18307
0.19/0.20	o 201
0.19/0.20	c 0.101984 21.75 35 18622
0.19/0.20	o 199
0.19/0.21	c 0.102984 21.75 35 18974
0.19/0.21	o 146
0.19/0.21	c 0.103984 21.75 35 19256
0.19/0.21	o 117
0.19/0.22	c 0.104984 21.75 35 19433
0.19/0.22	o 109
0.19/0.22	c 0.104984 21.75 35 19595
0.19/0.22	o 101
0.19/0.23	c 0.106983 21.75 35 19765
0.19/0.23	o 98
0.19/0.23	c 0.107983 21.75 35 19978
0.19/0.23	o 96
0.19/0.24	c 0.108983 21.75 35 20198
0.19/0.24	o 89
0.19/0.24	c 0.109983 21.75 35 20415
0.19/0.24	o 83
0.19/0.25	c 0.109983 21.75 35 20628
0.19/0.25	o 80
0.19/0.25	c 0.111982 21.75 35 20722
0.19/0.25	o 65
0.19/0.25	c 0.111982 21.75 35 20935
0.19/0.25	o 63
0.19/0.26	c 0.113982 21.75 36 21113
0.19/0.26	o 60
0.19/0.26	c 0.115982 21.75 36 21237
0.19/0.26	o 43
0.19/0.27	c 0.116982 21.75 36 21405
0.19/0.27	o 35
0.19/0.27	c 0.117982 21.75 36 21520
0.19/0.27	o 34
0.19/0.28	c 0.117982 21.75 36 21687
0.19/0.28	o 26
0.19/0.28	c 0.118981 21.75 36 21810
0.19/0.28	o 1
1800.05/1800.00	s SATISFIABLE
1800.05/1800.00	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 x1207 x1208 x1209 -x1210 -x1211 x1212 x1213 x1214 -x1215 x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 x1238 x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 x1253 x1254 -x1255 x1256 -x1257 -x1258 -x1259 x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 x1281 x1282 -x1283 x1284 -x1285 -x1286 -x1287 -x1288 x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550

Verifier Data 

OK	1

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699015-1278459252/watcher-2699015-1278459252 -o /tmp/evaluation-result-2699015-1278459252/solver-2699015-1278459252 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699015-1278459252.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.96 1.98 1.68 2/173 13532
/proc/meminfo: memFree=28966020/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=2136 CPUtime=0
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 267 0 0 0 0 0 0 0 22 0 1 0 14138354 2187264 186 4089446400 134512640 136422188 4289207520 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13532/statm: 534 186 144 467 0 65 0

[startup+0.0198111 s]
/proc/loadavg: 1.96 1.98 1.68 2/173 13532
/proc/meminfo: memFree=28966020/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=7000 CPUtime=0.01
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 1443 0 0 0 1 0 0 0 22 0 1 0 14138354 7168000 1362 4089446400 134512640 136422188 4289207520 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 1750 1366 193 467 0 1281 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7000

[startup+0.100797 s]
/proc/loadavg: 1.96 1.98 1.68 2/173 13532
/proc/meminfo: memFree=28966020/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=22268 CPUtime=0.09
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 5182 0 0 0 7 2 0 0 22 0 1 0 14138354 22802432 5065 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 5567 5065 236 467 0 5098 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22268

[startup+0.300748 s]
/proc/loadavg: 1.96 1.98 1.68 2/173 13532
/proc/meminfo: memFree=28966020/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=22268 CPUtime=0.29
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 5224 0 0 0 12 17 0 0 22 0 1 0 14138354 22802432 5066 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 5567 5066 236 467 0 5098 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22268

[startup+0.700718 s]
/proc/loadavg: 1.96 1.98 1.68 2/173 13532
/proc/meminfo: memFree=28966020/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=24916 CPUtime=0.69
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 5900 0 0 0 29 40 0 0 23 0 1 0 14138354 25513984 5742 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 6229 5742 237 467 0 5760 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24916

[startup+1.50057 s]
/proc/loadavg: 1.89 1.96 1.68 2/174 13533
/proc/meminfo: memFree=28942160/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=26896 CPUtime=1.49
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 6388 0 0 0 67 82 0 0 25 0 1 0 14138354 27541504 6230 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 6724 6230 237 467 0 6255 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26896

[startup+3.10027 s]
/proc/loadavg: 1.89 1.96 1.68 2/174 13533
/proc/meminfo: memFree=28942136/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=27688 CPUtime=3.09
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 6603 0 0 0 155 154 0 0 25 0 1 0 14138354 28352512 6445 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 6922 6445 237 467 0 6453 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27688

[startup+6.30065 s]
/proc/loadavg: 1.89 1.96 1.68 3/179 13543
/proc/meminfo: memFree=28927960/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=32840 CPUtime=6.29
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 7877 0 0 0 372 257 0 0 25 0 1 0 14138354 33628160 7719 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 8210 7719 237 467 0 7741 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32840

[startup+12.7005 s]
/proc/loadavg: 1.90 1.96 1.68 3/179 13543
/proc/meminfo: memFree=28923256/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=36404 CPUtime=12.69
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 8761 0 0 0 831 438 0 0 25 0 1 0 14138354 37277696 8603 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 9101 8603 237 467 0 8632 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36404

[startup+25.5001 s]
/proc/loadavg: 1.92 1.96 1.68 3/179 13543
/proc/meminfo: memFree=28919720/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=40328 CPUtime=25.5
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 9786 0 0 0 1797 753 0 0 25 0 1 0 14138354 41295872 9582 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 10082 9582 237 467 0 9613 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 40328

[startup+51.1005 s]
/proc/loadavg: 1.94 1.97 1.69 3/179 13543
/proc/meminfo: memFree=28914724/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=44156 CPUtime=51.1
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 10758 0 0 0 3628 1482 0 0 25 0 1 0 14138354 45215744 10554 4089446400 134512640 136422188 4289207520 18446744073709551615 134862312 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 11039 10554 237 467 0 10570 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 44156

[startup+102.306 s]
/proc/loadavg: 1.98 1.97 1.71 3/179 13545
/proc/meminfo: memFree=28906008/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=50896 CPUtime=102.3
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 12441 0 0 0 7457 2773 0 0 25 0 1 0 14138354 52117504 12237 4089446400 134512640 136422188 4289207520 18446744073709551615 134902931 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 12724 12237 237 467 0 12255 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 50896

[startup+162.3 s]
/proc/loadavg: 2.04 1.99 1.73 3/179 13547
/proc/meminfo: memFree=28899160/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=56652 CPUtime=162.3
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 13949 0 0 0 12159 4071 0 0 25 0 1 0 14138354 58011648 13682 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 14163 13682 237 467 0 13694 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 56652

[startup+222.3 s]
/proc/loadavg: 2.01 1.99 1.74 3/179 13549
/proc/meminfo: memFree=28898612/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=56652 CPUtime=222.29
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 13949 0 0 0 16532 5697 0 0 25 0 1 0 14138354 58011648 13682 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 14163 13682 237 467 0 13694 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 56652

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/179 13549
/proc/meminfo: memFree=28892620/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=61620 CPUtime=282.3
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 15276 0 0 0 21186 7044 0 0 25 0 1 0 14138354 63098880 14922 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 15405 14922 237 467 0 14936 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 61620

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/179 13551
/proc/meminfo: memFree=28886120/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=68356 CPUtime=342.3
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 16971 0 0 0 25952 8278 0 0 25 0 1 0 14138354 69996544 16607 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 17089 16607 237 467 0 16620 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 68356

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/179 13553
/proc/meminfo: memFree=28882868/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=71476 CPUtime=402.3
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 17912 0 0 0 31022 9208 0 0 25 0 1 0 14138354 73191424 17369 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 17869 17369 237 467 0 17400 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 71476

[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.79 3/179 13555
/proc/meminfo: memFree=28881592/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=71444 CPUtime=462.31
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 18067 0 0 0 35466 10765 0 0 25 0 1 0 14138354 73158656 17380 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 17861 17380 237 467 0 17392 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 71444

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.80 3/179 13557
/proc/meminfo: memFree=28881436/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=71576 CPUtime=522.31
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 18155 0 0 0 40067 12164 0 0 25 0 1 0 14138354 73293824 17391 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 17894 17391 237 467 0 17425 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 71576

[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.81 3/179 13557
/proc/meminfo: memFree=28876196/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=77024 CPUtime=582.31
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 19740 0 0 0 44881 13350 0 0 25 0 1 0 14138354 78872576 18765 4089446400 134512640 136422188 4289207520 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 19256 18765 237 467 0 18787 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 77024

[startup+642.301 s]
/proc/loadavg: 2.00 1.99 1.82 3/179 13559
/proc/meminfo: memFree=28875920/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=76832 CPUtime=642.32
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 19740 0 0 0 49385 14847 0 0 25 0 1 0 14138354 78675968 18724 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 19208 18724 237 467 0 18739 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 76832

[startup+702.301 s]

################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 2.01 2.00 1.84 3/179 13565
/proc/meminfo: memFree=28861412/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=90316 CPUtime=822.32
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 23267 0 0 0 63835 18397 0 0 25 0 1 0 14138354 92483584 22082 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 22579 22082 237 467 0 22110 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 90316

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 13565
/proc/meminfo: memFree=28861008/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=90192 CPUtime=882.32
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 23400 0 0 0 68781 19451 0 0 25 0 1 0 14138354 92356608 22051 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 22548 22051 237 467 0 22079 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 90192

[startup+942.301 s]
/proc/loadavg: 2.04 2.01 1.86 3/179 13567
/proc/meminfo: memFree=28851172/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=100620 CPUtime=942.32
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 25983 0 0 0 73889 20343 0 0 25 0 1 0 14138354 103034880 24634 4089446400 134512640 136422188 4289207520 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 25155 24634 237 467 0 24686 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 100620

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.87 3/179 13569
/proc/meminfo: memFree=28852000/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=99080 CPUtime=1002.32
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 25983 0 0 0 78508 21724 0 0 25 0 1 0 14138354 101457920 24273 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 24770 24273 237 467 0 24301 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 99080

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 13571
/proc/meminfo: memFree=28851348/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=99080 CPUtime=1062.32
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 25983 0 0 0 83160 23072 0 0 25 0 1 0 14138354 101457920 24273 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 24770 24273 237 467 0 24301 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 99080

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 13573
/proc/meminfo: memFree=28851180/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=99080 CPUtime=1122.32
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 25983 0 0 0 87906 24326 0 0 25 0 1 0 14138354 101457920 24273 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 24770 24273 237 467 0 24301 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 99080

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 13573
/proc/meminfo: memFree=28850408/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=99080 CPUtime=1182.33
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 25984 0 0 0 92679 25554 0 0 25 0 1 0 14138354 101457920 24274 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 24770 24274 237 467 0 24301 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 99080

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 13575
/proc/meminfo: memFree=28850244/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=99080 CPUtime=1242.33
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 25985 0 0 0 97360 26873 0 0 25 0 1 0 14138354 101457920 24275 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 24770 24275 237 467 0 24301 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 99080

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 1.90 3/179 13577
/proc/meminfo: memFree=28849956/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=99080 CPUtime=1302.33
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 25985 0 0 0 101941 28292 0 0 25 0 1 0 14138354 101457920 24275 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 24770 24275 237 467 0 24301 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 99080

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 13579
/proc/meminfo: memFree=28848184/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=101196 CPUtime=1362.34
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 26490 0 0 0 107009 29225 0 0 25 0 1 0 14138354 103624704 24780 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 25299 24780 237 467 0 24830 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 101196

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13581
/proc/meminfo: memFree=28848268/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=101196 CPUtime=1422.34
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 26490 0 0 0 111763 30471 0 0 25 0 1 0 14138354 103624704 24780 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 25299 24780 237 467 0 24830 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 101196

[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 1.91 3/179 13581
/proc/meminfo: memFree=28848112/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=101196 CPUtime=1482.33
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 26491 0 0 0 116440 31793 0 0 25 0 1 0 14138354 103624704 24781 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 25299 24781 237 467 0 24830 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 101196

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 13583
/proc/meminfo: memFree=28848192/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=101196 CPUtime=1542.34
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 26491 0 0 0 121060 33174 0 0 25 0 1 0 14138354 103624704 24781 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 25299 24781 237 467 0 24830 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 101196

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 13585
/proc/meminfo: memFree=28847548/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=101396 CPUtime=1602.34
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 26664 0 0 0 125919 34315 0 0 25 0 1 0 14138354 103829504 24853 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 25349 24853 237 467 0 24880 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 101396

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13596
/proc/meminfo: memFree=28847220/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=101396 CPUtime=1662.34
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 26664 0 0 0 130403 35831 0 0 25 0 1 0 14138354 103829504 24853 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 25349 24853 237 467 0 24880 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 101396

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13598
/proc/meminfo: memFree=28844840/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=103656 CPUtime=1722.34
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 27553 0 0 0 135124 37110 0 0 25 0 1 0 14138354 106143744 25414 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 25914 25414 237 467 0 25445 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 103656

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13598
/proc/meminfo: memFree=28844552/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=104448 CPUtime=1782.34
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 27736 0 0 0 139862 38372 0 0 25 0 1 0 14138354 106954752 25597 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 26112 25597 237 467 0 25643 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 104448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13600
/proc/meminfo: memFree=28844548/32951124 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=103656 CPUtime=1800.05
/proc/13532/stat : 13532 (pbct) R 13530 13532 13381 0 -1 4202496 27736 0 0 0 141323 38682 0 0 25 0 1 0 14138354 106143744 25414 4089446400 134512640 136422188 4289207520 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13532/statm: 25914 25414 237 467 0 25445 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 103656

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.07
CPU user time (s): 1413.24
CPU system time (s): 386.826
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 104976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1413.24
system time used= 386.826
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27737
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= 1
involuntary context switches= 4430

runsolver used 2.6496 second user time and 5.54716 second system time

The end

Launcher Data 

Begin job on node138 at 2010-07-07 01:34:12
IDJOB=2699015
IDBENCH=78721
IDSOLVER=1212
FILE ID=node138/2699015-1278459252
PBS_JOBID= 11233716
Free space on /tmp= 73652 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699015-1278459252/watcher-2699015-1278459252 -o /tmp/evaluation-result-2699015-1278459252/solver-2699015-1278459252 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2699015-1278459252.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 153666059db7da507c96674bc7662476
RANDOM SEED=879848500

node138.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.845
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.845
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5266.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.845
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.845
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.845
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.845
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.845
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.845
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28966868 kB
Buffers:        101440 kB
Cached:        3677156 kB
SwapCached:          0 kB
Active:        1448252 kB
Inactive:      2392436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28966868 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2016 kB
Writeback:           0 kB
AnonPages:       62048 kB
Mapped:          14420 kB
Slab:            79940 kB
PageTables:       4496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184504 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73648 MiB
End job on node138 at 2010-07-07 02:04:14