Trace number 3468245

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
clasp 2.0-R4191SAT (TO)70612 1800.1 1800.03

General information on the benchmark

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

Verifier Data 

OK	70612

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3468245-1307087273/watcher-3468245-1307087273 -o /tmp/evaluation-result-3468245-1307087273/solver-3468245-1307087273 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468245-1307087273.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 1/552 3028
/proc/meminfo: memFree=25059944/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=13236 CPUtime=0 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 689 0 0 0 0 0 0 0 25 0 1 0 820324396 13553664 609 33554432000 4194304 4933572 140734121163200 18446744073709551615 239476355781 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 3309 610 332 181 0 318 0

[startup+0.0657041 s]
/proc/loadavg: 2.00 2.03 2.00 1/552 3028
/proc/meminfo: memFree=25059944/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=24876 CPUtime=0.05 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 3666 0 0 0 5 0 0 0 25 0 1 0 820324396 25473024 3487 33554432000 4194304 4933572 140734121163200 18446744073709551615 4587825 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 6219 3487 349 181 0 3228 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24876

[startup+0.100694 s]
/proc/loadavg: 2.00 2.03 2.00 1/552 3028
/proc/meminfo: memFree=25059944/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=24660 CPUtime=0.09 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 3725 0 0 0 9 0 0 0 25 0 1 0 820324396 25251840 3505 33554432000 4194304 4933572 140734121163200 18446744073709551615 4711245 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 6165 3505 373 181 0 3174 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24660

[startup+0.300653 s]
/proc/loadavg: 2.00 2.03 2.00 1/552 3028
/proc/meminfo: memFree=25059944/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=25532 CPUtime=0.29 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 3917 0 0 0 29 0 0 0 25 0 1 0 820324396 26144768 3697 33554432000 4194304 4933572 140734121163200 18446744073709551615 4649045 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 6383 3697 384 181 0 3392 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25532

[startup+0.700578 s]
/proc/loadavg: 2.00 2.03 2.00 1/552 3028
/proc/meminfo: memFree=25059944/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=27168 CPUtime=0.69 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 4339 0 0 0 68 1 0 0 25 0 1 0 820324396 27820032 4119 33554432000 4194304 4933572 140734121163200 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 6792 4119 384 181 0 3801 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27168

[startup+1.50043 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 3088
/proc/meminfo: memFree=25046060/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=29748 CPUtime=1.49 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 4963 0 0 0 148 1 0 0 25 0 1 0 820324396 30461952 4743 33554432000 4194304 4933572 140734121163200 18446744073709551615 4649602 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 7437 4743 384 181 0 4446 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29748

[startup+3.10113 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 3089
/proc/meminfo: memFree=25037272/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=33020 CPUtime=3.09 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 5781 0 0 0 308 1 0 0 25 0 1 0 820324396 33812480 5561 33554432000 4194304 4933572 140734121163200 18446744073709551615 239476391626 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 8255 5561 384 181 0 5264 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33020

[startup+6.30052 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 3089
/proc/meminfo: memFree=25029324/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=33548 CPUtime=6.29 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 5886 0 0 0 628 1 0 0 25 0 1 0 820324396 34353152 5666 33554432000 4194304 4933572 140734121163200 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 8387 5666 384 181 0 5396 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33548

[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 3089
/proc/meminfo: memFree=25016848/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=41004 CPUtime=12.69 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 7778 0 0 0 1268 1 0 0 25 0 1 0 820324396 41988096 7558 33554432000 4194304 4933572 140734121163200 18446744073709551615 4648645 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 10251 7558 386 181 0 7260 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41004

[startup+25.5009 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 3089
/proc/meminfo: memFree=25004684/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=41296 CPUtime=25.49 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 7820 0 0 0 2548 1 0 0 25 0 1 0 820324396 42287104 7600 33554432000 4194304 4933572 140734121163200 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 10324 7600 386 181 0 7333 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41296

[startup+51.101 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 3090
/proc/meminfo: memFree=24980568/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=56592 CPUtime=51.09 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 11669 0 0 0 5107 2 0 0 25 0 1 0 820324396 57950208 11449 33554432000 4194304 4933572 140734121163200 18446744073709551615 4319443 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 14148 11449 386 181 0 11157 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 56592

[startup+102.321 s]
/proc/loadavg: 2.03 2.03 2.00 3/555 3092
/proc/meminfo: memFree=24961452/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=63280 CPUtime=102.32 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 13208 0 0 0 10229 3 0 0 25 0 1 0 820324396 64798720 12988 33554432000 4194304 4933572 140734121163200 18446744073709551615 4341559 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 15820 12988 386 181 0 12829 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 63280

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/555 3094
/proc/meminfo: memFree=24942960/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=74516 CPUtime=162.29 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 16046 0 0 0 16226 3 0 0 25 0 1 0 820324396 76304384 15826 33554432000 4194304 4933572 140734121163200 18446744073709551615 4719015 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 18629 15826 386 181 0 15638 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 74516

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 3095
/proc/meminfo: memFree=24939360/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=77964 CPUtime=222.29 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 16897 0 0 0 22226 3 0 0 25 0 1 0 820324396 79835136 16677 33554432000 4194304 4933572 140734121163200 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 19491 16677 386 181 0 16500 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 77964

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 3098
/proc/meminfo: memFree=24935992/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=82932 CPUtime=282.3 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 18116 0 0 0 28226 4 0 0 25 0 1 0 820324396 84922368 17896 33554432000 4194304 4933572 140734121163200 18446744073709551615 4632751 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 20733 17896 386 181 0 17742 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 82932

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 3100
/proc/meminfo: memFree=24907340/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=90192 CPUtime=342.3 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 19954 0 0 0 34226 4 0 0 25 0 1 0 820324396 92356608 19734 33554432000 4194304 4933572 140734121163200 18446744073709551615 4718636 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 22548 19734 386 181 0 19557 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 90192

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/555 3102
/proc/meminfo: memFree=24902744/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=90192 CPUtime=402.3 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 19958 0 0 0 40226 4 0 0 25 0 1 0 820324396 92356608 19738 33554432000 4194304 4933572 140734121163200 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 22548 19738 386 181 0 19557 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 90192

[startup+462.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/555 3106
/proc/meminfo: memFree=24902716/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=90192 CPUtime=462.3 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 19958 0 0 0 46226 4 0 0 25 0 1 0 820324396 92356608 19738 33554432000 4194304 4933572 140734121163200 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 22548 19738 386 181 0 19557 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 90192

[startup+522.301 s]
/proc/loadavg: 2.19 2.06 2.01 3/555 3107
/proc/meminfo: memFree=24903316/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=90192 CPUtime=522.31 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 19958 0 0 0 52227 4 0 0 25 0 1 0 820324396 92356608 19738 33554432000 4194304 4933572 140734121163200 18446744073709551615 4710912 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 22548 19738 386 181 0 19557 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 90192

[startup+582.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/555 3109
/proc/meminfo: memFree=24896116/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=94452 CPUtime=582.31 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 21114 0 0 0 58227 4 0 0 25 0 1 0 820324396 96718848 20816 33554432000 4194304 4933572 140734121163200 18446744073709551615 4713075 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 23613 20816 387 181 0 20622 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 94452

[startup+642.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 3124
/proc/meminfo: memFree=24857120/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=128624 CPUtime=822.32 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29623 0 0 0 82226 6 0 0 25 0 1 0 820324396 131710976 29325 33554432000 4194304 4933572 140734121163200 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 32156 29325 387 181 0 29165 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 128624

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 3126
/proc/meminfo: memFree=24854752/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=128624 CPUtime=882.33 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29628 0 0 0 88227 6 0 0 25 0 1 0 820324396 131710976 29330 33554432000 4194304 4933572 140734121163200 18446744073709551615 4649450 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 32156 29330 387 181 0 29165 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 128624

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 3128
/proc/meminfo: memFree=24852636/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=128624 CPUtime=942.33 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29629 0 0 0 94227 6 0 0 25 0 1 0 820324396 131710976 29331 33554432000 4194304 4933572 140734121163200 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 32156 29331 387 181 0 29165 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 128624

[startup+1002.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/555 3132
/proc/meminfo: memFree=24852704/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=128624 CPUtime=1002.33 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29629 0 0 0 100227 6 0 0 25 0 1 0 820324396 131710976 29331 33554432000 4194304 4933572 140734121163200 18446744073709551615 4710923 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 32156 29331 387 181 0 29165 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 128624

[startup+1062.3 s]
/proc/loadavg: 2.21 2.07 2.02 3/555 3134
/proc/meminfo: memFree=24850096/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=128624 CPUtime=1062.33 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29632 0 0 0 106227 6 0 0 25 0 1 0 820324396 131710976 29334 33554432000 4194304 4933572 140734121163200 18446744073709551615 4648657 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 32156 29334 387 181 0 29165 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 128624

[startup+1122.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/555 3135
/proc/meminfo: memFree=24846496/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=128624 CPUtime=1122.34 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29636 0 0 0 112228 6 0 0 25 0 1 0 820324396 131710976 29338 33554432000 4194304 4933572 140734121163200 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 32156 29338 387 181 0 29165 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 128624

[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/555 3137
/proc/meminfo: memFree=24845484/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=128624 CPUtime=1182.34 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29636 0 0 0 118228 6 0 0 25 0 1 0 820324396 131710976 29338 33554432000 4194304 4933572 140734121163200 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 32156 29338 387 181 0 29165 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 128624

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/555 3140
/proc/meminfo: memFree=24844724/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=128624 CPUtime=1242.34 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29636 0 0 0 124228 6 0 0 25 0 1 0 820324396 131710976 29338 33554432000 4194304 4933572 140734121163200 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 32156 29338 387 181 0 29165 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 128624

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 3141
/proc/meminfo: memFree=24845092/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=128624 CPUtime=1302.35 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29639 0 0 0 130229 6 0 0 25 0 1 0 820324396 131710976 29341 33554432000 4194304 4933572 140734121163200 18446744073709551615 4319335 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 32156 29341 387 181 0 29165 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 128624

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 3143
/proc/meminfo: memFree=24844560/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=128624 CPUtime=1362.35 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 29639 0 0 0 136229 6 0 0 25 0 1 0 820324396 131710976 29341 33554432000 4194304 4933572 140734121163200 18446744073709551615 4717487 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 32156 29341 387 181 0 29165 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 128624

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 3144
/proc/meminfo: memFree=24842680/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=131132 CPUtime=1422.37 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 30267 0 0 0 142231 6 0 0 25 0 1 0 820324396 134279168 29969 33554432000 4194304 4933572 140734121163200 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 32783 29969 387 181 0 29792 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 131132

[startup+1482.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/555 3146
/proc/meminfo: memFree=24841800/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=131660 CPUtime=1482.35 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 30385 0 0 0 148229 6 0 0 25 0 1 0 820324396 134819840 30087 33554432000 4194304 4933572 140734121163200 18446744073709551615 4360961 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 32915 30087 387 181 0 29924 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 131660

[startup+1542.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/555 3148
/proc/meminfo: memFree=24841648/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=131240 CPUtime=1542.35 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 30385 0 0 0 154229 6 0 0 25 0 1 0 820324396 134389760 30006 33554432000 4194304 4933572 140734121163200 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 32810 30006 387 181 0 29819 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 131240

[startup+1602.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/555 3149
/proc/meminfo: memFree=24842136/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=131488 CPUtime=1602.35 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 30433 0 0 0 160229 6 0 0 25 0 1 0 820324396 134643712 30054 33554432000 4194304 4933572 140734121163200 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 32872 30054 387 181 0 29881 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 131488

[startup+1662.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/555 3151
/proc/meminfo: memFree=24838012/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=131488 CPUtime=1662.36 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 30433 0 0 0 166230 6 0 0 25 0 1 0 820324396 134643712 30054 33554432000 4194304 4933572 140734121163200 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 32872 30054 387 181 0 29881 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 131488

[startup+1722.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/555 3152
/proc/meminfo: memFree=24832416/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=134000 CPUtime=1722.36 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 31049 0 0 0 172230 6 0 0 25 0 1 0 820324396 137216000 30670 33554432000 4194304 4933572 140734121163200 18446744073709551615 4710912 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 33500 30670 387 181 0 30509 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 134000

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 3154
/proc/meminfo: memFree=24819248/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=143024 CPUtime=1782.36 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 33269 0 0 0 178229 7 0 0 25 0 1 0 820324396 146456576 32890 33554432000 4194304 4933572 140734121163200 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 35756 32890 387 181 0 32765 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 143024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 3/555 3154
/proc/meminfo: memFree=24819372/32950928 swapFree=67056580/67111528
[pid=3028] ppid=3026 vsize=143024 CPUtime=1800.06 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp) R 3026 3028 32386 0 -1 4202496 33269 0 0 0 179999 7 0 0 25 0 1 0 820324396 146456576 32890 33554432000 4194304 4933572 140734121163200 18446744073709551615 4664062 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/3028/statm: 35756 32890 387 181 0 32765 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 143024

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

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

Child status: 10
Real time (s): 1800.03
CPU time (s): 1800.1
CPU user time (s): 1800.02
CPU system time (s): 0.082987
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 143024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33277
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= 10
involuntary context switches= 2697

runsolver used 10.2574 second user time and 22.4996 second system time

The end

Launcher Data 

Begin job on node148 at 2011-06-03 09:47:53
IDJOB=3468245
IDBENCH=2011
IDSOLVER=1958
FILE ID=node148/3468245-1307087273
RUNJOBID= node148-1307083669-2799
PBS_JOBID= 13497838
Free space on /tmp= 73848 MiB

SOLVER NAME= clasp 2.0-R4191
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb
COMMAND LINE= HOME/clasp BENCHNAME --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3468245-1307087273/watcher-3468245-1307087273 -o /tmp/evaluation-result-3468245-1307087273/solver-3468245-1307087273 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3468245-1307087273.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

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

MD5SUM BENCH= dccfffd22c38fcd3c497d688dab4b7a4
RANDOM SEED=1516484488

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      25060232 kB
Buffers:        219064 kB
Cached:         532184 kB
SwapCached:       7908 kB
Active:        7152196 kB
Inactive:       431728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25060232 kB
SwapTotal:    67111528 kB
SwapFree:     67056580 kB
Dirty:            3920 kB
Writeback:           8 kB
AnonPages:     6831032 kB
Mapped:          43804 kB
Slab:           179388 kB
PageTables:      57900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 170398940 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= 73860 MiB
End job on node148 at 2011-06-03 10:17:55