Trace number 2698952

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.05 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMa1a1d6ef1095be996fe403c53206d252
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark0.112982
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3150
Total number of constraints160
Number of soft constraints62
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint45
Top cost 3271
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3270
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
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.01	c constraints 46/24 clauses 52/38 units 0
0.00/0.01	c vars 3150
0.09/0.12	c 0.116982 25.6055 23 4344
0.09/0.12	o 1190
0.09/0.14	c 0.131979 25.8789 125 5867
0.09/0.14	o 467
0.09/0.15	c 0.136979 25.8789 125 6560
0.09/0.15	o 371
0.09/0.17	c 0.154976 25.8789 226 8232
0.09/0.17	o 320
0.09/0.19	c 0.165974 26.0078 331 9939
0.09/0.19	o 278
0.19/0.20	c 0.172973 26.0078 342 10958
0.19/0.20	o 272
0.19/0.21	c 0.176973 26.0078 344 11773
0.19/0.21	o 267
0.19/0.21	c 0.180972 26.0078 349 12591
0.19/0.21	o 247
0.19/0.22	c 0.184971 26.0078 349 13308
0.19/0.22	o 234
0.19/0.24	c 0.19197 26.0078 458 14948
0.19/0.24	o 233
0.19/0.25	c 0.19697 26.0078 460 15821
0.19/0.25	o 230
0.19/0.25	c 0.200969 26.0078 462 16609
0.19/0.25	o 227
0.19/0.27	c 0.213967 26.1367 564 18292
0.19/0.27	o 213
0.19/0.28	c 0.218966 26.1367 568 19026
0.19/0.28	o 117
0.19/0.29	c 0.224965 26.1367 585 19815
0.19/0.29	o 82
0.29/0.39	c 0.301954 26.6523 1388 26958
0.29/0.39	o 78
0.39/0.40	c 0.307953 26.6523 1397 28067
0.39/0.40	o 67
0.39/0.40	c 0.310952 26.6523 1400 29179
0.39/0.40	o 61
0.39/0.48	c 0.371943 27.168 2107 35084
0.39/0.48	o 44
0.69/0.77	c 0.580911 27.6836 1177 54951
0.69/0.77	o 41
0.79/0.82	c 0.619905 27.6836 1580 59063
0.79/0.82	o 38
0.89/0.91	c 0.684895 27.6836 1243 64880
0.89/0.91	o 22
0.89/0.91	c 0.691894 27.6836 1247 66042
0.89/0.91	o 21
1.10/1.10	c 0.824874 28.1992 1543 74701
1.10/1.10	o 16
1.29/1.39	c 1.06084 28.1992 1745 91698
1.29/1.39	o 12
1800.03/1800.00	s SATISFIABLE
1800.03/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 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150

Verifier Data 

OK	12

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698952-1278458545/watcher-2698952-1278458545 -o /tmp/evaluation-result-2698952-1278458545/solver-2698952-1278458545 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698952-1278458545.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: 2.01 1.95 1.36 4/178 12452
/proc/meminfo: memFree=29273748/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=2136 CPUtime=0
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 253 0 0 0 0 0 0 0 25 0 1 0 14068590 2187264 172 4089446400 134512640 136422188 4287797536 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12452/statm: 534 172 144 467 0 65 0

[startup+0.0606451 s]
/proc/loadavg: 2.01 1.95 1.36 4/178 12452
/proc/meminfo: memFree=29273748/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=15868 CPUtime=0.06
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 3634 0 0 0 6 0 0 0 25 0 1 0 14068590 16248832 3554 4089446400 134512640 136422188 4287797536 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 3967 3560 193 467 0 3498 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15868

[startup+0.100644 s]
/proc/loadavg: 2.01 1.95 1.36 4/178 12452
/proc/meminfo: memFree=29273748/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=24700 CPUtime=0.09
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 5918 0 0 0 9 0 0 0 25 0 1 0 14068590 25292800 5660 4089446400 134512640 136422188 4287797536 18446744073709551615 134931278 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 6175 5660 203 467 0 5706 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24700

[startup+0.300606 s]
/proc/loadavg: 2.01 1.95 1.36 4/178 12452
/proc/meminfo: memFree=29273748/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=26760 CPUtime=0.29
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 6451 0 0 0 23 6 0 0 25 0 1 0 14068590 27402240 6178 4089446400 134512640 136422188 4287797536 18446744073709551615 134867340 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 6690 6178 237 467 0 6221 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26760

[startup+0.700543 s]
/proc/loadavg: 2.01 1.95 1.36 4/178 12452
/proc/meminfo: memFree=29273748/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=28212 CPUtime=0.69
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 6822 0 0 0 52 17 0 0 25 0 1 0 14068590 28889088 6545 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 7053 6545 237 467 0 6584 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28212

[startup+1.50039 s]
/proc/loadavg: 2.01 1.95 1.36 3/179 12453
/proc/meminfo: memFree=29248196/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=28872 CPUtime=1.49
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 6989 0 0 0 114 35 0 0 25 0 1 0 14068590 29564928 6706 4089446400 134512640 136422188 4287797536 18446744073709551615 134864413 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 7218 6706 237 467 0 6749 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28872

[startup+3.10111 s]
/proc/loadavg: 2.01 1.95 1.36 3/179 12453
/proc/meminfo: memFree=29246956/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=30864 CPUtime=3.09
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 7499 0 0 0 245 64 0 0 25 0 1 0 14068590 31604736 7216 4089446400 134512640 136422188 4287797536 18446744073709551615 135006609 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 7716 7216 237 467 0 7247 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30864

[startup+6.30055 s]
/proc/loadavg: 2.01 1.95 1.37 3/179 12453
/proc/meminfo: memFree=29242396/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=34164 CPUtime=6.29
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 8321 0 0 0 515 114 0 0 25 0 1 0 14068590 34983936 8038 4089446400 134512640 136422188 4287797536 18446744073709551615 134864914 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 8541 8038 237 467 0 8072 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34164

[startup+12.7004 s]
/proc/loadavg: 2.00 1.95 1.37 3/179 12453
/proc/meminfo: memFree=29238752/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=38012 CPUtime=12.69
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 9261 0 0 0 1075 194 0 0 25 0 1 0 14068590 38924288 8978 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 9503 8978 237 467 0 9034 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38012

[startup+25.5001 s]
/proc/loadavg: 2.00 1.95 1.38 3/179 12453
/proc/meminfo: memFree=29235184/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=41588 CPUtime=25.49
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 10172 0 0 0 2197 352 0 0 25 0 1 0 14068590 42586112 9889 4089446400 134512640 136422188 4287797536 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 10397 9889 237 467 0 9928 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41588

[startup+51.1007 s]
/proc/loadavg: 2.00 1.95 1.39 3/179 12454
/proc/meminfo: memFree=29232144/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=44508 CPUtime=51.09
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 10895 0 0 0 4402 707 0 0 25 0 1 0 14068590 45576192 10612 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 11127 10612 237 467 0 10658 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 44508

[startup+102.307 s]
/proc/loadavg: 2.00 1.96 1.42 3/179 12455
/proc/meminfo: memFree=29222572/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=54028 CPUtime=102.3
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 13252 0 0 0 8930 1300 0 0 25 0 1 0 14068590 55324672 12969 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 13507 12969 237 467 0 13038 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 54028

[startup+162.3 s]
/proc/loadavg: 2.00 1.96 1.46 3/179 12457
/proc/meminfo: memFree=29214352/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=61984 CPUtime=162.29
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 15245 0 0 0 14274 1955 0 0 25 0 1 0 14068590 63471616 14962 4089446400 134512640 136422188 4287797536 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 15496 14962 237 467 0 15027 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 61984

[startup+222.301 s]
/proc/loadavg: 2.00 1.97 1.49 3/179 12459
/proc/meminfo: memFree=29214312/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=61732 CPUtime=222.29
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 15246 0 0 0 19502 2727 0 0 25 0 1 0 14068590 63213568 14919 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 15433 14919 237 467 0 14964 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 61732

[startup+282.301 s]
/proc/loadavg: 2.00 1.97 1.52 3/179 12461
/proc/meminfo: memFree=29212656/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=63652 CPUtime=282.29
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 15743 0 0 0 24857 3372 0 0 25 0 1 0 14068590 65179648 15379 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 15913 15379 237 467 0 15444 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 63652

[startup+342.301 s]
/proc/loadavg: 2.00 1.97 1.55 3/179 12462
/proc/meminfo: memFree=29205680/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=70668 CPUtime=342.29
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 17500 0 0 0 30279 3950 0 0 25 0 1 0 14068590 72364032 17136 4089446400 134512640 136422188 4287797536 18446744073709551615 134862325 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 17667 17136 237 467 0 17198 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 70668

[startup+402.301 s]
/proc/loadavg: 2.00 1.97 1.57 3/179 12463
/proc/meminfo: memFree=29199568/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=76756 CPUtime=402.3
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 19068 0 0 0 35879 4351 0 0 25 0 1 0 14068590 78598144 18663 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 19189 18663 237 467 0 18720 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 76756

[startup+462.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/179 12465
/proc/meminfo: memFree=29199288/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=76756 CPUtime=462.3
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 19068 0 0 0 41162 5068 0 0 25 0 1 0 14068590 78598144 18663 4089446400 134512640 136422188 4287797536 18446744073709551615 134862312 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 19189 18663 237 467 0 18720 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 76756

[startup+522.301 s]
/proc/loadavg: 2.00 1.97 1.62 3/179 12467
/proc/meminfo: memFree=29199136/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=76756 CPUtime=522.3
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 19068 0 0 0 46453 5777 0 0 25 0 1 0 14068590 78598144 18663 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 19189 18663 237 467 0 18720 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 76756

[startup+582.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/179 12469
/proc/meminfo: memFree=29192420/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=84180 CPUtime=582.3
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 20899 0 0 0 51915 6315 0 0 25 0 1 0 14068590 86200320 20494 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 21045 20494 237 467 0 20576 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 84180

[startup+642.301 s]
/proc/loadavg: 2.00 1.97 1.66 3/179 12470
/proc/meminfo: memFree=29192272/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=84180 CPUtime=642.31
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 20899 0 0 0 57237 6994 0 0 25 0 1 0 14068590 86200320 20494 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12452/statm: 21045 20494 237 467 0 20576 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 84180

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 1.99 1.71 3/179 12503
/proc/meminfo: memFree=29834972/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=85608 CPUtime=822.31
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 21380 0 0 0 72322 9909 0 0 25 0 1 0 14068590 87662592 20872 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12452/statm: 21402 20872 237 467 0 20933 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 85608

[startup+882.301 s]
/proc/loadavg: 2.00 1.99 1.73 3/179 12505
/proc/meminfo: memFree=29833820/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=85608 CPUtime=882.31
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 21380 0 0 0 77217 11014 0 0 25 0 1 0 14068590 87662592 20872 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12452/statm: 21402 20872 237 467 0 20933 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 85608

[startup+942.3 s]
/proc/loadavg: 2.00 1.99 1.74 3/179 12506
/proc/meminfo: memFree=29833792/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=85608 CPUtime=942.31
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 21380 0 0 0 81626 12605 0 0 25 0 1 0 14068590 87662592 20872 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12452/statm: 21402 20872 237 467 0 20933 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 85608

[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/179 12507
/proc/meminfo: memFree=29830780/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=88808 CPUtime=1002.31
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 22158 0 0 0 85837 14394 0 0 25 0 1 0 14068590 90939392 21650 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12452/statm: 22202 21650 237 467 0 21733 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 88808

[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.77 3/179 12509
/proc/meminfo: memFree=29830364/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=88808 CPUtime=1062.32
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 22158 0 0 0 90688 15544 0 0 25 0 1 0 14068590 90939392 21650 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12452/statm: 22202 21650 237 467 0 21733 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 88808

[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/179 12511
/proc/meminfo: memFree=29827848/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=90852 CPUtime=1122.31
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 22675 0 0 0 95113 17118 0 0 25 0 1 0 14068590 93032448 22167 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12452/statm: 22713 22167 237 467 0 22244 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 90852

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/179 12513
/proc/meminfo: memFree=29827436/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=90940 CPUtime=1182.32
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 22798 0 0 0 99434 18798 0 0 25 0 1 0 14068590 93122560 22192 4089446400 134512640 136422188 4287797536 18446744073709551615 134862325 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12452/statm: 22735 22192 237 467 0 22266 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 90940

[startup+1242.3 s]
/proc/loadavg: 2.09 2.02 1.81 3/179 12514
/proc/meminfo: memFree=29822692/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=94776 CPUtime=1242.32
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 23865 0 0 0 104356 19876 0 0 25 0 1 0 14068590 97050624 23152 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12452/statm: 23694 23152 237 467 0 23225 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 94776

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 1.82 3/179 12515
/proc/meminfo: memFree=29818948/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=98476 CPUtime=1302.32
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 25039 0 0 0 108786 21446 0 0 25 0 1 0 14068590 100839424 24075 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12452/statm: 24619 24075 237 467 0 24150 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 98476

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.83 3/179 12517
/proc/meminfo: memFree=29818920/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=98476 CPUtime=1362.32
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 25039 0 0 0 113163 23069 0 0 25 0 1 0 14068590 100839424 24075 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12452/statm: 24619 24075 237 467 0 24150 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 98476

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.83 3/179 12519
/proc/meminfo: memFree=29819008/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=98476 CPUtime=1422.33
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 25039 0 0 0 117828 24405 0 0 25 0 1 0 14068590 100839424 24075 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12452/statm: 24619 24075 237 467 0 24150 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 98476

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/179 12521
/proc/meminfo: memFree=29819212/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=98476 CPUtime=1482.32
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 25039 0 0 0 122232 26000 0 0 25 0 1 0 14068590 100839424 24075 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12452/statm: 24619 24075 237 467 0 24150 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 98476

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/179 12522
/proc/meminfo: memFree=29818560/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=98476 CPUtime=1542.33
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 25040 0 0 0 126610 27623 0 0 25 0 1 0 14068590 100839424 24076 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12452/statm: 24619 24076 237 467 0 24150 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 98476

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 12523
/proc/meminfo: memFree=29815916/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=101424 CPUtime=1602.32
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 25769 0 0 0 131351 28881 0 0 25 0 1 0 14068590 103858176 24805 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12452/statm: 25356 24805 237 467 0 24887 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 101424

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 12525
/proc/meminfo: memFree=29814276/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=102624 CPUtime=1662.33
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 26049 0 0 0 136158 30075 0 0 25 0 1 0 14068590 105086976 25085 4089446400 134512640 136422188 4287797536 18446744073709551615 134862281 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12452/statm: 25656 25085 237 467 0 25187 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 102624

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 12527
/proc/meminfo: memFree=29808544/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=108228 CPUtime=1722.33
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 27645 0 0 0 141211 31022 0 0 25 0 1 0 14068590 110825472 26488 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12452/statm: 27057 26488 237 467 0 26588 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 108228

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.87 3/179 12529
/proc/meminfo: memFree=29808392/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=108228 CPUtime=1782.33
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 27645 0 0 0 146215 32018 0 0 25 0 1 0 14068590 110825472 26488 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12452/statm: 27057 26488 237 467 0 26588 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 108228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.09 2.03 1.88 3/179 12529
/proc/meminfo: memFree=29808508/32950940 swapFree=67111528/67111528
[pid=12452] ppid=12450 vsize=108228 CPUtime=1800.03
/proc/12452/stat : 12452 (pbct) R 12450 12452 12313 0 -1 4202496 27645 0 0 0 147725 32278 0 0 25 0 1 0 14068590 110825472 26488 4089446400 134512640 136422188 4287797536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12452/statm: 27057 26488 237 467 0 26588 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 108228

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.05
CPU user time (s): 1477.26
CPU system time (s): 322.794
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 108304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1477.26
system time used= 322.794
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27646
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= 3127

runsolver used 2.84957 second user time and 5.78112 second system time

The end

Launcher Data 

Begin job on node117 at 2010-07-07 01:22:25
IDJOB=2698952
IDBENCH=78694
IDSOLVER=1212
FILE ID=node117/2698952-1278458545
PBS_JOBID= 11233758
Free space on /tmp= 73764 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698952-1278458545/watcher-2698952-1278458545 -o /tmp/evaluation-result-2698952-1278458545/solver-2698952-1278458545 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2698952-1278458545.wbo

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

MD5SUM BENCH= a1a1d6ef1095be996fe403c53206d252
RANDOM SEED=291537372

node117.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.846
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.846
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	: 5332.83
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.846
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.75
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.846
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.87
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.846
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.74
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.846
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.82
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.846
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.62
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.846
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	: 5251.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      29274268 kB
Buffers:        103180 kB
Cached:        2708816 kB
SwapCached:          0 kB
Active:        1754804 kB
Inactive:      1770528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      29274268 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1956 kB
Writeback:           0 kB
AnonPages:      712912 kB
Mapped:          15456 kB
Slab:            87272 kB
PageTables:       6100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   872632 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= 73764 MiB
End job on node117 at 2010-07-07 01:52:27