Trace number 353488

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, and are wall clock time (not CPU time).

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16SAT (MO)-43 1031.46 1031.9

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
MD5SUM09bf68c118cd38b954800f61edb04c4b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-54
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints110038
Number of constraints which are clauses110038
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1400
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1400
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1400
Number of bits of the biggest sum of numbers11
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 (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/353488-1176667279/instance-353488-1176667279.opb
0.00/0.00	c File size is 2701213 bytes.
0.38/0.45	c Highest Coefficient sum: 1400
0.38/0.45	c Parsing was ok!!
0.38/0.45	c Total parsing time: 0.437 s
0.38/0.49	c Var: 1400 Constr: 110038 110038/0/0 Lit: 220076 Watch. Lit: 220076
0.38/0.49	c Obj. Vars: 1400 (100 % of total variables)
3.88/3.96	c Pre-processing Time: 3.941 s
3.88/3.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.88/3.96	c        0   1400   110038   220076    2   220076   36679      0      0 3.94
3.88/3.96	c Switching off LPR mode.
3.88/3.98	o -41	3.96
3.88/3.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.88/3.99	c        0   1400   110039   221476    2   220119   37679      1      0 3.96
3.88/3.99	o -43	3.976
1031.15/1031.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1031.15/1031.60	c       14   1400   110054   241854    2   220192   37679     16      3 3.98
1031.15/1031.60	c      114   1400   110154   377157    3   220392   41447    116     28 4.05
1031.15/1031.60	c      365   1400   110405   716776    6   220894   45592    367     85 4.25
1031.15/1031.60	c      840   1400   110880  1359537   12   221844   50152    842    177 4.73
1031.15/1031.60	c     1653   1400   111693  2460142   22   223470   55168   1655    304 5.43
1031.15/1031.60	c     2974   1400   113014  4246980   37   226112   60685   2976    434 6.84
1031.15/1031.60	c     5056   1400   115096  7063904   61   230276   66754   5058    486 10.40
1031.15/1031.60	c     8279   1400   118319 11424648   96   236722   73430   8281    443 18.66
1031.15/1031.60	c    13215   1400   123255 18102831  146   246594   80774  13217    382 34.55
1031.15/1031.60	c    20721   1400   130761 28260000  216   261606   88852  20723    332 62.41
1031.15/1031.60	c    32084   1400   142124 43629517  306   284332   97738  32086    250 127.97
1031.15/1031.60	c    49229   1400   159269 66822619  419   318622  107512  49231    192 255.98
1031.15/1031.60	c    75049   1400   185089 101768382  549   370262  118264  75051    130 575.50
1031.15/1031.60	c Caught signal: 15
1031.15/1031.60	v x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384
1031.15/1031.60	v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367
1031.15/1031.60	v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350
1031.15/1031.60	v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 x1335 -x1334 -x1333
1031.15/1031.60	v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316
1031.15/1031.60	v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 x1300 -x1299
1031.15/1031.60	v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282
1031.15/1031.60	v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265
1031.15/1031.60	v -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248
1031.15/1031.60	v -x1247 x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231
1031.15/1031.60	v -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214
1031.15/1031.60	v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197
1031.15/1031.60	v -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180
1031.15/1031.60	v -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163
1031.15/1031.60	v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146
1031.15/1031.60	v -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129
1031.15/1031.60	v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 x1115 -x1114 -x1113 -x1112
1031.15/1031.60	v -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095
1031.15/1031.60	v -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 x1083 -x1082 -x1081 -x1080 -x1079 -x1078
1031.15/1031.60	v -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061
1031.15/1031.60	v -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044
1031.15/1031.60	v -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027
1031.15/1031.60	v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010
1031.15/1031.60	v -x1009 -x1008 -x1007 x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991
1031.15/1031.60	v -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 x974 -x973 -x972 -x971 -x970
1031.15/1031.60	v -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949
1031.15/1031.60	v -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928
1031.15/1031.60	v -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907
1031.15/1031.60	v -x906 x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886
1031.15/1031.60	v -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865
1031.15/1031.60	v -x864 x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844
1031.15/1031.60	v -x843 -x842 -x841 -x840 -x839 x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823
1031.15/1031.60	v -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802
1031.15/1031.60	v -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781
1031.15/1031.60	v -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760
1031.15/1031.60	v -x759 x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739
1031.15/1031.60	v -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718
1031.15/1031.60	v -x717 -x716 -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697
1031.15/1031.60	v -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678 -x677 -x676
1031.15/1031.60	v -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655
1031.15/1031.60	v -x654 -x653 -x652 -x651 -x650 -x649 -x648 x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634
1031.15/1031.60	v -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613
1031.15/1031.60	v -x612 -x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592
1031.15/1031.60	v -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571
1031.15/1031.60	v -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550
1031.15/1031.60	v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529
1031.15/1031.60	v -x528 x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 x514 -x513 -x512 -x511 -x510 -x509 -x508
1031.15/1031.60	v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487
1031.15/1031.60	v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466
1031.15/1031.60	v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445
1031.15/1031.60	v -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424
1031.15/1031.60	v -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403
1031.15/1031.60	v -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382
1031.15/1031.60	v -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 x361
1031.15/1031.60	v -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 -x340
1031.15/1031.60	v -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319
1031.15/1031.60	v -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298
1031.15/1031.60	v -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277
1031.15/1031.60	v -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256
1031.15/1031.60	v -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235
1031.15/1031.60	v -x234 -x233 -x232 -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214
1031.15/1031.60	v -x213 -x212 -x211 -x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193
1031.15/1031.60	v -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172
1031.15/1031.60	v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151
1031.15/1031.60	v -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130
1031.15/1031.60	v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109
1031.15/1031.60	v -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85
1031.15/1031.60	v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59
1031.15/1031.60	v -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33
1031.15/1031.60	v -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6
1031.15/1031.60	v -x5 -x4 -x3 -x2 x1
1031.15/1031.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1031.15/1031.60	c   14   105442  14916   127068   215482 142899845 105444    102 1031.16
1031.15/1031.60	c Objective: -43
1031.15/1031.60	s SATISFIABLE
1031.15/1031.60	c Total time: 1031.16 s

Verifier Data (download as text)

OK	-43

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node23/watcher-353488-1176667279 -o ROOT/results/node23/solver-353488-1176667279 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353488-1176667279/instance-353488-1176667279.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.05 1.01 1.00 3/83 30427
/proc/meminfo: memFree=1804408/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=14376 CPUtime=0
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 372 0 0 0 0 0 0 0 18 0 1 0 114645049 14721024 340 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2924439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 3594 340 282 324 0 2003 0

[startup+0.092201 s]
/proc/loadavg: 1.05 1.01 1.00 3/83 30427
/proc/meminfo: memFree=1804408/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=8908 CPUtime=0.08
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 1063 0 0 0 8 0 0 0 18 0 1 0 114645049 9121792 1031 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 2227 1031 412 324 0 636 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8908

[startup+0.101202 s]
/proc/loadavg: 1.05 1.01 1.00 3/83 30427
/proc/meminfo: memFree=1804408/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=9052 CPUtime=0.09
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 1135 0 0 0 9 0 0 0 18 0 1 0 114645049 9269248 1103 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 2263 1103 426 324 0 672 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9052

[startup+0.301242 s]
/proc/loadavg: 1.05 1.01 1.00 3/83 30427
/proc/meminfo: memFree=1804408/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=13996 CPUtime=0.29
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 2652 0 0 0 28 1 0 0 19 0 1 0 114645049 14331904 2620 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 3499 2620 724 324 0 1908 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13996

[startup+0.701319 s]
/proc/loadavg: 1.05 1.01 1.00 3/83 30427
/proc/meminfo: memFree=1804408/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=23672 CPUtime=0.68
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 5966 0 0 0 66 2 0 0 23 0 1 0 114645049 24240128 5274 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 5918 5274 307 324 0 4987 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 23672

[startup+1.50148 s]
/proc/loadavg: 1.05 1.01 1.00 2/84 30446
/proc/meminfo: memFree=1784432/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=23672 CPUtime=1.48
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 5966 0 0 0 144 4 0 0 25 0 1 0 114645049 24240128 5274 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 5918 5274 307 324 0 4987 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 23672

[startup+3.10178 s]
/proc/loadavg: 1.05 1.01 1.00 2/84 30446
/proc/meminfo: memFree=1784304/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=23672 CPUtime=3.08
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 5966 0 0 0 301 7 0 0 25 0 1 0 114645049 24240128 5274 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 5918 5274 307 324 0 4987 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23672

[startup+6.3014 s]
/proc/loadavg: 1.05 1.01 1.00 2/84 30454
/proc/meminfo: memFree=1760368/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=63880 CPUtime=6.27
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 17709 0 0 0 614 13 0 0 25 0 1 0 114645049 65413120 15347 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 15970 15347 312 324 0 15039 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 63880

[startup+12.7016 s]
/proc/loadavg: 1.04 1.01 1.00 2/84 30476
/proc/meminfo: memFree=1679472/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=133956 CPUtime=12.64
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 35232 0 0 0 1244 20 0 0 25 0 1 0 114645049 137170944 32870 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 33489 32870 312 324 0 32558 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 133956

[startup+25.5011 s]
/proc/loadavg: 1.03 1.01 1.00 2/84 30508
/proc/meminfo: memFree=1597872/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=211052 CPUtime=25.44
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 54493 0 0 0 2514 30 0 0 25 0 1 0 114645049 216117248 52131 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 52763 52131 312 324 0 51832 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 211052

[startup+51.1011 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 30536
/proc/meminfo: memFree=1467248/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=342136 CPUtime=51.01
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 87268 0 0 0 5054 47 0 0 25 0 1 0 114645049 350347264 84906 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 85534 84906 312 324 0 84603 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 342136

[startup+102.306 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 30536
/proc/meminfo: memFree=1271408/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=536956 CPUtime=102.19
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 135973 0 0 0 10148 71 0 0 25 0 1 0 114645049 549842944 133611 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 134239 133611 312 324 0 133308 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 536956

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30536
/proc/meminfo: memFree=1098352/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=712052 CPUtime=162.17
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 179756 0 0 0 16125 92 0 0 25 0 1 0 114645049 729141248 177394 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134552144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 178013 177394 312 324 0 177082 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 712052

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30536
/proc/meminfo: memFree=975024/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=832940 CPUtime=222.15
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 209965 0 0 0 22108 107 0 0 25 0 1 0 114645049 852930560 207603 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 208235 207603 312 324 0 207304 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 832940

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30536
/proc/meminfo: memFree=880752/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=927584 CPUtime=282.13
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 233622 0 0 0 28092 121 0 0 25 0 1 0 114645049 949846016 231260 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 231896 231260 312 324 0 230965 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 927584

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30536
/proc/meminfo: memFree=766960/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=1040652 CPUtime=342.11
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 261910 0 0 0 34077 134 0 0 25 0 1 0 114645049 1065627648 259548 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551516 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 260163 259548 312 324 0 259232 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 1040652

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30536
/proc/meminfo: memFree=701808/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=1106500 CPUtime=402.08
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 278364 0 0 0 40066 142 0 0 25 0 1 0 114645049 1133056000 276002 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 276625 276002 312 324 0 275694 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 1106500

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30536
/proc/meminfo: memFree=612336/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=1195136 CPUtime=462.05
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 300519 0 0 0 46052 153 0 0 25 0 1 0 114645049 1223819264 298157 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 298784 298157 312 324 0 297853 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 1195136

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30536
/proc/meminfo: memFree=542768/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=1265480 CPUtime=522.03
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 318105 0 0 0 52041 162 0 0 25 0 1 0 114645049 1295851520 315743 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 316370 315743 312 324 0 315439 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 1265480

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30536
/proc/meminfo: memFree=444528/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=1363524 CPUtime=582.01
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 342615 0 0 0 58026 175 0 0 25 0 1 0 114645049 1396248576 340253 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 340881 340253 312 324 0 339950 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 1363524

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30536
/proc/meminfo: memFree=296304/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=1510100 CPUtime=641.99
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 379260 0 0 0 64004 195 0 0 25 0 1 0 114645049 1546342400 376898 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 377525 376898 312 324 0 376594 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 1510100

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30536
/proc/meminfo: memFree=218544/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=1587920 CPUtime=701.97
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 398706 0 0 0 69993 204 0 0 25 0 1 0 114645049 1626030080 396344 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 396980 396344 312 324 0 396049 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 1587920

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30536
/proc/meminfo: memFree=181616/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=1624592 CPUtime=761.95
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 407879 0 0 0 75986 209 0 0 25 0 1 0 114645049 1663582208 405517 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 406148 405517 312 324 0 405217 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 1624592

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30536
/proc/meminfo: memFree=143536/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=1664168 CPUtime=821.93
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 417768 0 0 0 81977 216 0 0 25 0 1 0 114645049 1704108032 415406 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 416042 415406 312 324 0 415111 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 1664168

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30536
/proc/meminfo: memFree=109168/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=1697092 CPUtime=881.9
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 425999 0 0 0 87970 220 0 0 25 0 1 0 114645049 1737822208 423637 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 424273 423637 312 324 0 423342 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 1697092

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30536
/proc/meminfo: memFree=60720/2055920 swapFree=4169480/4192956
[pid=30427] ppid=30425 vsize=1746992 CPUtime=941.88
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 438490 0 0 0 93961 227 0 0 25 0 1 0 114645049 1788919808 436128 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551279 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 436748 436128 312 324 0 435817 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 1746992

[startup+1002.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 30536
/proc/meminfo: memFree=15984/2055920 swapFree=4169268/4192956
[pid=30427] ppid=30425 vsize=1808876 CPUtime=1001.86
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 453971 0 0 0 99951 235 0 0 25 0 1 0 114645049 1852289024 451609 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2936532 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 452219 451609 312 324 0 451288 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 1808876



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1031.6 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 30536
/proc/meminfo: memFree=15152/2055920 swapFree=4169268/4192956
[pid=30427] ppid=30425 vsize=1843396 CPUtime=1031.15
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194304 462584 0 0 0 102875 240 0 0 25 0 1 0 114645049 1887637504 460222 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 460849 460222 312 324 0 459918 0
Current children cumulated CPU time (s) 1031.15
Current children cumulated vsize (KiB) 1843396

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

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

[startup+1031.81 s]
/proc/loadavg: 1.04 1.01 1.00 2/79 30537
/proc/meminfo: memFree=614184/2055920 swapFree=4169268/4192956
[pid=30427] ppid=30425 vsize=0 CPUtime=1031.34
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194308 462585 0 0 0 102875 259 0 0 25 0 1 0 114645049 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1031.34
Current children cumulated vsize (KiB) 0

[startup+1031.9 s]
/proc/loadavg: 1.04 1.01 1.00 2/79 30537
/proc/meminfo: memFree=614184/2055920 swapFree=4169268/4192956
[pid=30427] ppid=30425 vsize=0 CPUtime=1031.44
/proc/30427/stat : 30427 (bsolo3.0.16) R 30425 30427 30061 0 -1 4194308 462585 0 0 0 102875 269 0 0 25 0 1 0 114645049 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/30427/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1031.44
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1031.9
CPU time (s): 1031.46
CPU user time (s): 1028.76
CPU system time (s): 2.69559
CPU usage (%): 99.9566
Max. virtual memory (cumulated for all children) (KiB): 1843396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1028.76
system time used= 2.69559
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462585
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= 12
involuntary context switches= 1846

runsolver used 1.23981 second user time and 2.49562 second system time

The end

Launcher Data (download as text)

Begin job on node23 on Sun Apr 15 20:01:19 UTC 2007

IDJOB= 353488
IDBENCH= 2246
IDSOLVER= 163
FILE ID= node23/353488-1176667279

PBS_JOBID= 4559908

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353488-1176667279/instance-353488-1176667279.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-353488-1176667279 -o ROOT/results/node23/solver-353488-1176667279 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353488-1176667279/instance-353488-1176667279.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  09bf68c118cd38b954800f61edb04c4b

RANDOM SEED= 154502111

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node23.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.276
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.276
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1804880 kB
Buffers:         45152 kB
Cached:         111864 kB
SwapCached:       2648 kB
Active:         119716 kB
Inactive:        61428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1804880 kB
SwapTotal:     4192956 kB
SwapFree:      4169480 kB
Dirty:            7116 kB
Writeback:           0 kB
Mapped:          39272 kB
Slab:            54996 kB
Committed_AS:  1444636 kB
PageTables:       2028 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66557 MiB

End job on node23 on Sun Apr 15 20:18:33 UTC 2007