Trace number 3709572

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.6-R5325 (opt)SAT (TO)-70 1800.11 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_1.opb
MD5SUM6856221d5d444d2079d321f11fb11f0b
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-70
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -74
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)151172
Sum of products size (including duplicates)302344
Number of different products75586
Sum of products size151172

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 Calling clasp with: --sat-p=-1,50,160,-1,1 --heuristic=Vsids --restarts=256 --dinit=1000,10000 --del=3.0,1.1,10.0 --recursive-str --update-lbd --dglue=2 --otfs=2 --dgrowS=100,1.5  --reverse-arcs=2 --dsched=+,10000,2000 --dfrac=0.5 --opt-heu=2 --restart-on-model
0.00/0.00	c clasp version 2.0.6
0.00/0.00	c Reading from ...183558/instance-3709572-1338183558.opb
0.00/0.24	c Solving...
0.00/0.25	o 0
0.00/0.31	o -15
0.00/0.50	o -45
1.28/1.38	o -46
1.38/1.41	o -47
5.78/5.87	o -68
33.17/33.26	o -69
652.27/652.41	o -70
1800.09/1800.40	
1800.09/1800.40	*** INTERRUPTED! ***
1800.09/1800.40	c Answer: 8
1800.09/1800.40	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17
1800.09/1800.40	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32
1800.09/1800.40	v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47
1800.09/1800.40	v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62
1800.09/1800.40	v -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77
1800.09/1800.40	v -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92
1800.09/1800.40	v -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.09/1800.40	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117
1800.09/1800.40	v -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
1800.09/1800.40	v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141
1800.09/1800.40	v -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153
1800.09/1800.40	v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
1800.09/1800.40	v -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177
1800.09/1800.40	v -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.09/1800.40	v -x190 -x191 x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202
1800.09/1800.40	v x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215
1800.09/1800.40	v -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227
1800.09/1800.40	v -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239
1800.09/1800.40	v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.09/1800.40	v -x252 -x253 x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 x264
1800.09/1800.40	v -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276
1800.09/1800.40	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288
1800.09/1800.40	v -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
1800.09/1800.40	v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1800.09/1800.40	v -x313 x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 x324 -x325
1800.09/1800.40	v -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337
1800.09/1800.40	v x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349
1800.09/1800.40	v -x350 -x351 -x352 -x353 x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362
1800.09/1800.40	v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374
1800.09/1800.40	v -x375 x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387
1800.09/1800.40	v -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399
1800.09/1800.40	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411
1800.09/1800.40	v -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
1800.09/1800.40	v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435
1800.09/1800.40	v -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447
1800.09/1800.40	v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1800.09/1800.40	v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471
1800.09/1800.40	v -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483
1800.09/1800.40	v -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495
1800.09/1800.40	v -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507
1800.09/1800.40	v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519
1800.09/1800.40	v -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531
1800.09/1800.40	v -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1800.09/1800.40	v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555
1800.09/1800.40	v -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1800.09/1800.40	v x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579
1800.09/1800.40	v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 x590 x591 -x592
1800.09/1800.40	v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604
1800.09/1800.40	v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616
1800.09/1800.40	v -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628
1800.09/1800.40	v -x629 -x630 -x631 -x632 -x633 x634 -x635 x636 -x637 -x638 -x639 x640 -x641
1800.09/1800.40	v -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653
1800.09/1800.40	v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665
1800.09/1800.40	v -x666 x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678
1800.09/1800.40	v -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1800.09/1800.40	v -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702
1800.09/1800.40	v -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714
1800.09/1800.40	v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726
1800.09/1800.40	v -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738
1800.09/1800.40	v -x739 -x740 -x741 x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751
1800.09/1800.40	v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763
1800.09/1800.40	v -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775
1800.09/1800.40	v -x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 -x786 -x787
1800.09/1800.40	v -x788 -x789 -x790 -x791 x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800
1800.09/1800.40	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812
1800.09/1800.40	v -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824
1800.09/1800.40	v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
1800.09/1800.40	v -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849
1800.09/1800.40	v -x850 -x851 -x852 x853 -x854 -x855 x856 -x857 -x858 x859 -x860 -x861 -x862
1800.09/1800.40	v -x863 -x864 x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875
1800.09/1800.40	v -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887
1800.09/1800.40	v x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900
1800.09/1800.40	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912
1800.09/1800.40	v -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924
1800.09/1800.40	v -x925 -x926 -x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936
1800.09/1800.40	v -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948
1800.09/1800.40	v -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 x960 -x961
1800.09/1800.40	v -x962 x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973
1800.09/1800.40	v -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985
1800.09/1800.40	v -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997
1800.09/1800.40	v x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008
1800.09/1800.40	v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019
1800.09/1800.40	v -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
1800.09/1800.40	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041
1800.09/1800.40	v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052
1800.09/1800.40	v -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063
1800.09/1800.40	v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1800.09/1800.40	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085
1800.09/1800.40	v -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096
1800.09/1800.40	v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107
1800.09/1800.40	v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118
1800.09/1800.40	v -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129
1800.09/1800.40	v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
1800.09/1800.40	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151
1800.09/1800.40	v -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162
1800.09/1800.40	v -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173
1800.09/1800.40	v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184
1800.09/1800.40	v x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195
1800.09/1800.40	v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206
1800.09/1800.40	v -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217
1800.09/1800.40	v -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228
1800.09/1800.40	v -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239
1800.09/1800.40	v -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
1800.09/1800.40	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261
1800.09/1800.40	v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
1800.09/1800.40	v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283
1800.09/1800.40	v x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294
1800.09/1800.40	v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305
1800.09/1800.40	v -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 x1316
1800.09/1800.40	v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327
1800.09/1800.40	v -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338
1800.09/1800.40	v -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349
1800.09/1800.40	v -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
1800.09/1800.40	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371
1800.09/1800.40	v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382
1800.09/1800.40	v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393
1800.09/1800.40	v -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404
1800.09/1800.40	v -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415
1800.09/1800.40	v -x1416 -x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426
1800.09/1800.40	v -x1427 x1428 -x1429 x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437
1800.09/1800.40	v -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 -x1448
1800.09/1800.40	v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459
1800.09/1800.40	v -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
1800.09/1800.40	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481
1800.09/1800.40	v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492
1800.09/1800.40	v -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503
1800.09/1800.40	v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 -x1513 -x1514
1800.09/1800.40	v -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525
1800.09/1800.40	v -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536
1800.09/1800.40	v -x1537 -x1538 x1539 -x1540 -x1541 -x1542 x1543 -x1544 -x1545 -x1546 -x1547
1800.09/1800.40	v -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558
1800.09/1800.40	v -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569
1800.09/1800.40	v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 -x1579 -x1580
1800.09/1800.40	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591
1800.09/1800.40	v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602
1800.09/1800.40	v -x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613
1800.09/1800.40	v -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624
1800.09/1800.40	v x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635
1800.09/1800.40	v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646
1800.09/1800.40	v -x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657
1800.09/1800.40	v -x1658 -x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668
1800.09/1800.40	v -x1669 -x1670 -x1671 -x1672 x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679
1800.09/1800.40	v -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
1800.09/1800.40	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701
1800.09/1800.40	v -x1702 -x1703 -x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712
1800.09/1800.40	v -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723
1800.09/1800.40	v -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734
1800.09/1800.40	v x1735 -x1736 -x1737 x1738 x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745
1800.09/1800.40	v -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756
1800.09/1800.40	v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767
1800.09/1800.40	v -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778
1800.09/1800.40	v -x1779 -x1780 -x1781 -x1782 -x1783 x1784 x1785 x1786 x1787 -x1788 -x1789
1800.09/1800.40	v -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
1800.09/1800.40	v x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811
1800.09/1800.40	v x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 -x1820 -x1821 -x1822
1800.09/1800.40	v -x1823 x1824 x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833
1800.09/1800.40	v -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844
1800.09/1800.40	v -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 -x1853 -x1854 -x1855
1800.09/1800.40	v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866
1800.09/1800.40	v x1867 x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877
1800.09/1800.40	v -x1878 -x1879 x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888
1800.09/1800.40	v -x1889 x1890 -x1891 -x1892 -x1893 x1894 x1895 x1896 -x1897 -x1898 -x1899
1800.09/1800.40	v -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 x1906 x1907 -x1908 x1909 x1910
1800.09/1800.40	v -x1911 x1912 -x1913 -x1914 -x1915 -x1916 -x1917 x1918 -x1919 -x1920 -x1921
1800.09/1800.40	v -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1932
1800.09/1800.40	v -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943
1800.09/1800.40	v -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954
1800.09/1800.40	v -x1955 x1956 -x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 -x1964 -x1965
1800.09/1800.40	v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 x1972 x1973 -x1974 -x1975 -x1976
1800.09/1800.40	v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987
1800.09/1800.40	v -x1988 -x1989 -x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 x1997 -x1998
1800.09/1800.40	v -x1999 -x2000
1800.09/1800.40	s SATISFIABLE
1800.09/1800.40	
1800.09/1800.40	c INTERRUPTED   : 1
1800.09/1800.40	c Models        : 1+    
1800.09/1800.40	c   Enumerated  : 8
1800.09/1800.40	c   Optimum     : unknown
1800.09/1800.40	c Optimization  : -70
1800.09/1800.40	c Time          : 1800.404s (Solving: 1800.16s 1st Model: 0.01s Unsat: 0.00s)
1800.09/1800.40	c CPU Time      : 1800.090s

Verifier Data 

OK	-70

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3709572-1338183558/watcher-3709572-1338183558 -o /tmp/evaluation-result-3709572-1338183558/solver-3709572-1338183558 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709572-1338183558.opb 

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.01 2.01 2.00 3/177 25704
/proc/meminfo: memFree=30456704/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0

[startup+0.059399 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25704
/proc/meminfo: memFree=30456704/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100283 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25704
/proc/meminfo: memFree=30456704/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300245 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25704
/proc/meminfo: memFree=30456704/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.70024 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25704
/proc/meminfo: memFree=30456704/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50029 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25706
/proc/meminfo: memFree=30417216/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=39832 CPUtime=1.48 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 9884 0 0 0 147 1 0 0 20 0 1 0 284480259 40787968 9615 33554432000 4194304 6212839 140736351406352 140736351404760 4354284 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 9958 9615 235 493 0 9463 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 48984

[startup+3.10028 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 25706
/proc/meminfo: memFree=30416364/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=39832 CPUtime=3.08 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 9885 0 0 0 307 1 0 0 20 0 1 0 284480259 40787968 9616 33554432000 4194304 6212839 140736351406352 140736351404760 4635502 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 9958 9616 236 493 0 9463 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 48984

[startup+6.30028 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 25706
/proc/meminfo: memFree=30415124/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=39832 CPUtime=6.28 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 9885 0 0 0 627 1 0 0 20 0 1 0 284480259 40787968 9616 33554432000 4194304 6212839 140736351406352 140736351404760 4634964 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 9958 9616 236 493 0 9463 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 48984

[startup+12.7003 s]
/proc/loadavg: 2.09 2.02 2.01 3/179 25706
/proc/meminfo: memFree=30414200/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=39528 CPUtime=12.68 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 9936 0 0 0 1267 1 0 0 20 0 1 0 284480259 40476672 9588 33554432000 4194304 6212839 140736351406352 140736351404760 4635067 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 9882 9588 236 493 0 9387 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48680

[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 25706
/proc/meminfo: memFree=30414752/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=39528 CPUtime=25.47 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 9942 0 0 0 2546 1 0 0 20 0 1 0 284480259 40476672 9589 33554432000 4194304 6212839 140736351406352 140736351404376 4670999 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 9882 9589 237 493 0 9387 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 48680

[startup+51.1002 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 25709
/proc/meminfo: memFree=30386540/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=52860 CPUtime=51.07 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 13252 0 0 0 5105 2 0 0 20 0 1 0 284480259 54128640 12897 33554432000 4194304 6212839 140736351406352 140736351404360 4743264 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 13215 12897 237 493 0 12720 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 62012

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25710
/proc/meminfo: memFree=30386080/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=52860 CPUtime=102.26 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 13257 0 0 0 10224 2 0 0 20 0 1 0 284480259 54128640 12898 33554432000 4194304 6212839 140736351406352 140736351404360 4635490 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 13215 12898 237 493 0 12720 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 62012

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 25710
/proc/meminfo: memFree=30386080/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=52860 CPUtime=162.25 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 13257 0 0 0 16223 2 0 0 20 0 1 0 284480259 54128640 12898 33554432000 4194304 6212839 140736351406352 140736351404360 4635505 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 13215 12898 237 493 0 12720 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 62012

[startup+222.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 25710
/proc/meminfo: memFree=30386204/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=52860 CPUtime=222.24 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 13257 0 0 0 22222 2 0 0 20 0 1 0 284480259 54128640 12898 33554432000 4194304 6212839 140736351406352 140736351404360 4634964 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 13215 12898 237 493 0 12720 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 62012

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25710
/proc/meminfo: memFree=30386204/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=52860 CPUtime=282.23 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 13257 0 0 0 28221 2 0 0 20 0 1 0 284480259 54128640 12898 33554432000 4194304 6212839 140736351406352 140736351404360 4685939 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 13215 12898 237 493 0 12720 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 62012

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25710
/proc/meminfo: memFree=30385332/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=52860 CPUtime=342.22 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 13257 0 0 0 34220 2 0 0 20 0 1 0 284480259 54128640 12898 33554432000 4194304 6212839 140736351406352 140736351404360 4686028 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 13215 12898 237 493 0 12720 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 62012

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25711
/proc/meminfo: memFree=30376340/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6

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

/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=73420 CPUtime=1062.11 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 18389 0 0 0 106207 4 0 0 20 0 1 0 284480259 75182080 18028 33554432000 4194304 6212839 140736351406352 140736351404504 4683126 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 18355 18028 237 493 0 17860 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 82572

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25716
/proc/meminfo: memFree=30274988/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=73420 CPUtime=1122.1 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 18391 0 0 0 112206 4 0 0 20 0 1 0 284480259 75182080 18043 33554432000 4194304 6212839 140736351406352 140736351404504 4634964 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 18355 18043 237 493 0 17860 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 82572

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25716
/proc/meminfo: memFree=30274864/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=73552 CPUtime=1182.09 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 18423 0 0 0 118205 4 0 0 20 0 1 0 284480259 75317248 18075 33554432000 4194304 6212839 140736351406352 140736351404504 4683115 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 18388 18075 237 493 0 17893 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 82704

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25716
/proc/meminfo: memFree=30273808/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=74616 CPUtime=1242.08 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 18662 0 0 0 124204 4 0 0 20 0 1 0 284480259 76406784 18328 33554432000 4194304 6212839 140736351406352 140736351404504 4634964 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 18654 18328 237 493 0 18159 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 83768

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25742
/proc/meminfo: memFree=30273804/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=74616 CPUtime=1302.08 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 18662 0 0 0 130204 4 0 0 20 0 1 0 284480259 76406784 18328 33554432000 4194304 6212839 140736351406352 140736351404504 4685736 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 18654 18328 237 493 0 18159 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 83768

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25743
/proc/meminfo: memFree=30273924/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=74748 CPUtime=1362.06 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 18695 0 0 0 136202 4 0 0 20 0 1 0 284480259 76541952 18361 33554432000 4194304 6212839 140736351406352 140736351404360 4635058 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 18687 18361 237 493 0 18192 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 83900

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25743
/proc/meminfo: memFree=30274056/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=74748 CPUtime=1422.06 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 18695 0 0 0 142202 4 0 0 20 0 1 0 284480259 76541952 18361 33554432000 4194304 6212839 140736351406352 140736351404360 4635464 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 18687 18361 237 493 0 18192 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 83900

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25743
/proc/meminfo: memFree=30273932/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=74748 CPUtime=1482.04 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 18695 0 0 0 148200 4 0 0 20 0 1 0 284480259 76541952 18361 33554432000 4194304 6212839 140736351406352 140736351404360 4635058 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 18687 18361 237 493 0 18192 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 83900

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25743
/proc/meminfo: memFree=30261780/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=86664 CPUtime=1542.04 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 21692 0 0 0 154199 5 0 0 20 0 1 0 284480259 88743936 21358 33554432000 4194304 6212839 140736351406352 140736351404504 4372067 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 21666 21358 237 493 0 21171 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 95816

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25743
/proc/meminfo: memFree=30261644/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=86664 CPUtime=1602.03 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 21693 0 0 0 160198 5 0 0 20 0 1 0 284480259 88743936 21360 33554432000 4194304 6212839 140736351406352 140736351404504 4705248 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 21666 21360 237 493 0 21171 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 95816

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25744
/proc/meminfo: memFree=30261768/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=86664 CPUtime=1662.02 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 21693 0 0 0 166197 5 0 0 20 0 1 0 284480259 88743936 21360 33554432000 4194304 6212839 140736351406352 140736351404504 4635490 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 21666 21360 237 493 0 21171 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 95816

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25744
/proc/meminfo: memFree=30261768/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=86664 CPUtime=1722.01 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 21693 0 0 0 172196 5 0 0 20 0 1 0 284480259 88743936 21360 33554432000 4194304 6212839 140736351406352 140736351404504 4635502 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 21666 21360 237 493 0 21171 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 95816

[startup+1782.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 25901
/proc/meminfo: memFree=30341044/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=114812 CPUtime=1781.99 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 28709 0 0 0 178193 6 0 0 20 0 1 0 284480259 117567488 28376 33554432000 4194304 6212839 140736351406352 140736351404360 4634948 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 28703 28376 237 493 0 28208 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 123964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 25901
/proc/meminfo: memFree=30339760/32873844 swapFree=7388/7388
[pid=25704] ppid=25702 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25704/stat : 25704 (clasp-opt.sh) S 25702 25704 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284480258 9371648 274 33554432000 4194304 5064252 140736729031392 140736729030304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25704/statm: 2288 274 232 213 0 73 0
[pid=25705] ppid=25704 vsize=114812 CPUtime=1800.09 cores=0,2,4,6
/proc/25705/stat : 25705 (clasp-R5325) R 25704 25704 23256 0 -1 4202496 28709 0 0 0 180003 6 0 0 20 0 1 0 284480259 117567488 28376 33554432000 4194304 6212839 140736351406352 140736351404360 4683126 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25705/statm: 28703 28376 237 493 0 28208 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 123964

Sending SIGTERM to process tree (bottom up)

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

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1800.04
CPU system time (s): 0.074988
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 123964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.074988
maximum resident set size= 113532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29081
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= 24
involuntary context switches= 2051

runsolver used 4.80027 second user time and 11.7282 second system time

The end

Launcher Data 

Begin job on node147 at 2012-05-28 07:39:19
IDJOB=3709572
IDBENCH=48276
IDSOLVER=2288
FILE ID=node147/3709572-1338183558
RUNJOBID= node147-1338158144-23272
PBS_JOBID= 14624536
Free space on /tmp= 71672 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_1.opb
COMMAND LINE= HOME/clasp-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709572-1338183558/watcher-3709572-1338183558 -o /tmp/evaluation-result-3709572-1338183558/solver-3709572-1338183558 -C 1800 -W 1900 -M 15500  HOME/clasp-opt.sh HOME/instance-3709572-1338183558.opb

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

MD5SUM BENCH= 6856221d5d444d2079d321f11fb11f0b
RANDOM SEED=300312007

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30456704 kB
Buffers:          351240 kB
Cached:          1217628 kB
SwapCached:         5068 kB
Active:           624604 kB
Inactive:         972428 kB
Active(anon):      22864 kB
Inactive(anon):     7584 kB
Active(file):     601740 kB
Inactive(file):   964844 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67098668 kB
Dirty:              7868 kB
Writeback:             0 kB
AnonPages:         57924 kB
Mapped:            10764 kB
Shmem:                 0 kB
Slab:             679836 kB
SReclaimable:     121012 kB
SUnreclaim:       558824 kB
KernelStack:        1496 kB
PageTables:         3912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     146288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71664 MiB
End job on node147 at 2012-05-28 08:09:19