Trace number 3448254

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
clasp 2.0-RC2MSAT (TO) 1800.05 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM0158a6ff32db5686aa85d7a9b49d6df3
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.490924
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4000
Total number of constraints180
Number of soft constraints67
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
Top cost 3472
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3471
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...895186/instance-3448254-1307895186.wbo
0.00/0.00	c Solving...
0.00/0.00	o 2176
0.01/0.01	o 2169
0.01/0.02	o 2156
0.01/0.03	o 2122
0.01/0.04	o 2064
0.01/0.06	o 2036
0.01/0.09	o 1951
0.09/0.12	o 1891
0.09/0.19	o 1874
0.19/0.29	o 1854
0.39/0.43	o 1794
0.59/0.67	o 1780
1.00/1.06	o 1777
1.69/1.70	o 1759
2.59/2.68	o 1699
4.09/4.16	o 1675
6.50/6.59	o 1648
10.29/10.33	o 1631
16.19/16.26	o 1602
25.39/25.47	o 1585
39.69/39.72	o 1579
62.09/62.15	o 1551
96.19/96.30	o 1534
150.70/150.74	o 1529
234.00/234.05	o 1525
364.50/364.52	o 1518
567.00/567.05	o 1515
887.02/887.06	o 1508
1392.13/1392.14	o 1474
1800.04/1800.00	
1800.04/1800.00	*** INTERRUPTED! ***
1800.04/1800.00	c Answer: 29
1800.04/1800.00	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16
1800.04/1800.00	v -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31
1800.04/1800.00	v -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46
1800.04/1800.00	v -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61
1800.04/1800.00	v -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76
1800.04/1800.00	v -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91
1800.04/1800.00	v -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.04/1800.00	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117
1800.04/1800.00	v -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
1800.04/1800.00	v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141
1800.04/1800.00	v -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153
1800.04/1800.00	v -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
1800.04/1800.00	v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177
1800.04/1800.00	v -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.04/1800.00	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201
1800.04/1800.00	v -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
1800.04/1800.00	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225
1800.04/1800.00	v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237
1800.04/1800.00	v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1800.04/1800.00	v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261
1800.04/1800.00	v -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.04/1800.00	v -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285
1800.04/1800.00	v -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
1800.04/1800.00	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309
1800.04/1800.00	v -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321
1800.04/1800.00	v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1800.04/1800.00	v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345
1800.04/1800.00	v -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.04/1800.00	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369
1800.04/1800.00	v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
1800.04/1800.00	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393
1800.04/1800.00	v -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405
1800.04/1800.00	v -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.04/1800.00	v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429
1800.04/1800.00	v -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.04/1800.00	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453
1800.04/1800.00	v -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
1800.04/1800.00	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477
1800.04/1800.00	v -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489
1800.04/1800.00	v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.04/1800.00	v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513
1800.04/1800.00	v -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.04/1800.00	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537
1800.04/1800.00	v -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549
1800.04/1800.00	v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561
1800.04/1800.00	v -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573
1800.04/1800.00	v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1800.04/1800.00	v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597
1800.04/1800.00	v -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.04/1800.00	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621
1800.04/1800.00	v -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633
1800.04/1800.00	v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645
1800.04/1800.00	v -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657
1800.04/1800.00	v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
1800.04/1800.00	v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681
1800.04/1800.00	v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1800.04/1800.00	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705
1800.04/1800.00	v -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717
1800.04/1800.00	v -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729
1800.04/1800.00	v -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741
1800.04/1800.00	v -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
1800.04/1800.00	v -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765
1800.04/1800.00	v -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777
1800.04/1800.00	v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789
1800.04/1800.00	v -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801
1800.04/1800.00	v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813
1800.04/1800.00	v -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825
1800.04/1800.00	v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837
1800.04/1800.00	v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849
1800.04/1800.00	v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1800.04/1800.00	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873
1800.04/1800.00	v -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885
1800.04/1800.00	v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897
1800.04/1800.00	v -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909
1800.04/1800.00	v -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921
1800.04/1800.00	v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933
1800.04/1800.00	v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1800.04/1800.00	v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957
1800.04/1800.00	v -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969
1800.04/1800.00	v -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981
1800.04/1800.00	v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993
1800.04/1800.00	v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004
1800.04/1800.00	v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015
1800.04/1800.00	v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026
1800.04/1800.00	v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037
1800.04/1800.00	v -x1038 -x1039 x1040 -x1041 x1042 -x1043 -x1044 x1045 x1046 x1047 -x1048
1800.04/1800.00	v -x1049 x1050 x1051 x1052 -x1053 -x1054 -x1055 x1056 -x1057 x1058 x1059
1800.04/1800.00	v -x1060 x1061 -x1062 -x1063 -x1064 x1065 x1066 x1067 -x1068 -x1069 -x1070
1800.04/1800.00	v -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081
1800.04/1800.00	v x1082 -x1083 -x1084 x1085 x1086 x1087 -x1088 -x1089 x1090 x1091 x1092 -x1093
1800.04/1800.00	v x1094 -x1095 x1096 -x1097 x1098 x1099 -x1100 x1101 -x1102 -x1103 -x1104
1800.04/1800.00	v x1105 x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 x1115
1800.04/1800.00	v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 x1125 x1126
1800.04/1800.00	v x1127 -x1128 -x1129 x1130 x1131 x1132 -x1133 -x1134 -x1135 x1136 -x1137
1800.04/1800.00	v x1138 x1139 -x1140 x1141 -x1142 -x1143 -x1144 x1145 x1146 x1147 -x1148
1800.04/1800.00	v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159
1800.04/1800.00	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
1800.04/1800.00	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181
1800.04/1800.00	v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192
1800.04/1800.00	v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 x1202 -x1203
1800.04/1800.00	v -x1204 x1205 x1206 x1207 -x1208 -x1209 x1210 x1211 x1212 -x1213 -x1214
1800.04/1800.00	v -x1215 x1216 -x1217 x1218 x1219 -x1220 x1221 -x1222 -x1223 -x1224 x1225
1800.04/1800.00	v x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236
1800.04/1800.00	v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247
1800.04/1800.00	v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258
1800.04/1800.00	v -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269
1800.04/1800.00	v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x1280
1800.04/1800.00	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291
1800.04/1800.00	v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302
1800.04/1800.00	v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313
1800.04/1800.00	v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320 -x1321 x1322 -x1323 -x1324
1800.04/1800.00	v x1325 x1326 x1327 -x1328 -x1329 x1330 x1331 x1332 -x1333 -x1334 -x1335
1800.04/1800.00	v x1336 -x1337 x1338 x1339 -x1340 x1341 -x1342 -x1343 -x1344 x1345 x1346
1800.04/1800.00	v x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 x1355 -x1356 -x1357
1800.04/1800.00	v -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 x1365 x1366 x1367 -x1368
1800.04/1800.00	v -x1369 x1370 x1371 x1372 -x1373 -x1374 -x1375 x1376 -x1377 x1378 x1379
1800.04/1800.00	v -x1380 x1381 -x1382 -x1383 -x1384 x1385 x1386 x1387 -x1388 -x1389 -x1390
1800.04/1800.00	v -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401
1800.04/1800.00	v x1402 -x1403 -x1404 x1405 x1406 x1407 -x1408 -x1409 x1410 x1411 x1412 -x1413
1800.04/1800.00	v -x1414 -x1415 x1416 -x1417 x1418 x1419 -x1420 x1421 -x1422 -x1423 -x1424
1800.04/1800.00	v x1425 x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435
1800.04/1800.00	v -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446
1800.04/1800.00	v -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457
1800.04/1800.00	v -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468
1800.04/1800.00	v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479
1800.04/1800.00	v x1480 -x1481 x1482 -x1483 -x1484 x1485 x1486 x1487 -x1488 -x1489 x1490
1800.04/1800.00	v x1491 x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 x1501
1800.04/1800.00	v -x1502 -x1503 -x1504 x1505 x1506 x1507 -x1508 -x1509 -x1510 -x1511 -x1512
1800.04/1800.00	v -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 x1522 -x1523
1800.04/1800.00	v -x1524 x1525 x1526 x1527 -x1528 -x1529 x1530 x1531 x1532 -x1533 -x1534
1800.04/1800.00	v -x1535 x1536 -x1537 x1538 x1539 -x1540 x1541 -x1542 -x1543 -x1544 x1545
1800.04/1800.00	v x1546 x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 x1555 -x1556
1800.04/1800.00	v -x1557 -x1558 -x1559 -x1560 -x1561 x1562 -x1563 -x1564 x1565 x1566 x1567
1800.04/1800.00	v -x1568 -x1569 x1570 x1571 x1572 -x1573 -x1574 -x1575 x1576 -x1577 x1578
1800.04/1800.00	v x1579 x1580 x1581 -x1582 -x1583 -x1584 x1585 x1586 x1587 -x1588 -x1589
1800.04/1800.00	v -x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600
1800.04/1800.00	v -x1601 x1602 -x1603 -x1604 x1605 x1606 x1607 -x1608 -x1609 x1610 x1611
1800.04/1800.00	v x1612 -x1613 -x1614 -x1615 x1616 -x1617 x1618 x1619 -x1620 x1621 -x1622
1800.04/1800.00	v -x1623 -x1624 x1625 x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633
1800.04/1800.00	v -x1634 x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644
1800.04/1800.00	v x1645 x1646 x1647 -x1648 -x1649 x1650 x1651 x1652 -x1653 -x1654 -x1655
1800.04/1800.00	v x1656 -x1657 x1658 x1659 -x1660 x1661 -x1662 -x1663 -x1664 x1665 x1666
1800.04/1800.00	v x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677
1800.04/1800.00	v -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688
1800.04/1800.00	v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699
1800.04/1800.00	v -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
1800.04/1800.00	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 -x1721
1800.04/1800.00	v x1722 -x1723 -x1724 x1725 x1726 x1727 -x1728 -x1729 x1730 x1731 x1732 -x1733
1800.04/1800.00	v -x1734 -x1735 x1736 -x1737 x1738 x1739 -x1740 x1741 -x1742 -x1743 -x1744
1800.04/1800.00	v x1745 x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755
1800.04/1800.00	v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766
1800.04/1800.00	v -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777
1800.04/1800.00	v -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788
1800.04/1800.00	v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799
1800.04/1800.00	v x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
1800.04/1800.00	v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821
1800.04/1800.00	v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832
1800.04/1800.00	v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843
1800.04/1800.00	v -x1844 x1845 x1846 x1847 -x1848 -x1849 x1850 x1851 x1852 -x1853 -x1854
1800.04/1800.00	v -x1855 x1856 -x1857 x1858 x1859 -x1860 x1861 x1862 -x1863 -x1864 x1865
1800.04/1800.00	v x1866 x1867 x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876
1800.04/1800.00	v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887
1800.04/1800.00	v -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898
1800.04/1800.00	v -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909
1800.04/1800.00	v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
1800.04/1800.00	v -x1921 x1922 -x1923 -x1924 x1925 x1926 x1927 -x1928 -x1929 x1930 x1931
1800.04/1800.00	v x1932 -x1933 -x1934 -x1935 x1936 -x1937 x1938 x1939 -x1940 x1941 -x1942
1800.04/1800.00	v -x1943 -x1944 x1945 x1946 x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953
1800.04/1800.00	v -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 -x1964
1800.04/1800.00	v x1965 x1966 x1967 -x1968 -x1969 x1970 x1971 x1972 -x1973 -x1974 -x1975
1800.04/1800.00	v x1976 -x1977 x1978 x1979 -x1980 x1981 -x1982 -x1983 -x1984 x1985 x1986
1800.04/1800.00	v x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 x1995 -x1996 -x1997
1800.04/1800.00	v -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 x2005 x2006 x2007 -x2008
1800.04/1800.00	v -x2009 x2010 x2011 x2012 -x2013 -x2014 -x2015 x2016 -x2017 x2018 x2019
1800.04/1800.00	v -x2020 x2021 -x2022 -x2023 -x2024 x2025 x2026 x2027 -x2028 -x2029 -x2030
1800.04/1800.00	v -x2031 -x2032 -x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041
1800.04/1800.00	v -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052
1800.04/1800.00	v -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063
1800.04/1800.00	v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074
1800.04/1800.00	v -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085
1800.04/1800.00	v -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096
1800.04/1800.00	v -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107
1800.04/1800.00	v -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118
1800.04/1800.00	v -x2119 x2120 -x2121 x2122 -x2123 -x2124 x2125 x2126 x2127 -x2128 -x2129
1800.04/1800.00	v x2130 x2131 x2132 -x2133 -x2134 -x2135 x2136 -x2137 x2138 x2139 -x2140
1800.04/1800.00	v x2141 -x2142 -x2143 -x2144 x2145 x2146 x2147 -x2148 -x2149 -x2150 -x2151
1800.04/1800.00	v -x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162
1800.04/1800.00	v -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173
1800.04/1800.00	v -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184
1800.04/1800.00	v -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195
1800.04/1800.00	v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206
1800.04/1800.00	v -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217
1800.04/1800.00	v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228
1800.04/1800.00	v -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239
1800.04/1800.00	v x2240 -x2241 x2242 -x2243 -x2244 x2245 x2246 x2247 -x2248 -x2249 x2250
1800.04/1800.00	v x2251 x2252 -x2253 -x2254 -x2255 x2256 -x2257 x2258 x2259 -x2260 x2261
1800.04/1800.00	v -x2262 -x2263 -x2264 x2265 x2266 x2267 -x2268 -x2269 -x2270 -x2271 -x2272
1800.04/1800.00	v -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283
1800.04/1800.00	v -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294
1800.04/1800.00	v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305
1800.04/1800.00	v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316
1800.04/1800.00	v -x2317 -x2318 -x2319 x2320 -x2321 x2322 -x2323 -x2324 x2325 x2326 x2327
1800.04/1800.00	v -x2328 -x2329 x2330 x2331 x2332 -x2333 -x2334 -x2335 x2336 -x2337 x2338
1800.04/1800.00	v x2339 -x2340 x2341 -x2342 -x2343 -x2344 x2345 x2346 x2347 -x2348 -x2349
1800.04/1800.00	v -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360
1800.04/1800.00	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371
1800.04/1800.00	v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382
1800.04/1800.00	v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393
1800.04/1800.00	v -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x2400 -x2401 x2402 -x2403 -x2404
1800.04/1800.00	v x2405 x2406 x2407 -x2408 -x2409 x2410 x2411 x2412 -x2413 -x2414 -x2415
1800.04/1800.00	v x2416 -x2417 x2418 x2419 -x2420 x2421 -x2422 -x2423 -x2424 x2425 x2426
1800.04/1800.00	v x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 x2435 -x2436 -x2437
1800.04/1800.00	v -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448
1800.04/1800.00	v -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459
1800.04/1800.00	v -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
1800.04/1800.00	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481
1800.04/1800.00	v x2482 -x2483 -x2484 x2485 x2486 x2487 -x2488 -x2489 x2490 x2491 x2492 -x2493
1800.04/1800.00	v -x2494 -x2495 x2496 -x2497 -x2498 x2499 -x2500 x2501 -x2502 -x2503 -x2504
1800.04/1800.00	v x2505 x2506 x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 x2515
1800.04/1800.00	v -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526
1800.04/1800.00	v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537
1800.04/1800.00	v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548
1800.04/1800.00	v -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559
1800.04/1800.00	v -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
1800.04/1800.00	v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581
1800.04/1800.00	v -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592
1800.04/1800.00	v -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603
1800.04/1800.00	v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614
1800.04/1800.00	v -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625
1800.04/1800.00	v -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636
1800.04/1800.00	v -x2637 -x2638 -x2639 x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647
1800.04/1800.00	v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658
1800.04/1800.00	v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669
1800.04/1800.00	v -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 x2680
1800.04/1800.00	v -x2681 x2682 -x2683 -x2684 x2685 x2686 x2687 -x2688 -x2689 x2690 x2691
1800.04/1800.00	v x2692 -x2693 -x2694 -x2695 x2696 -x2697 x2698 x2699 -x2700 x2701 -x2702
1800.04/1800.00	v -x2703 x2704 x2705 x2706 x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713
1800.04/1800.00	v -x2714 x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 x2722 -x2723 -x2724
1800.04/1800.00	v x2725 x2726 x2727 -x2728 -x2729 x2730 x2731 x2732 -x2733 -x2734 -x2735
1800.04/1800.00	v x2736 -x2737 x2738 x2739 -x2740 x2741 -x2742 -x2743 -x2744 x2745 x2746
1800.04/1800.00	v x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757
1800.04/1800.00	v -x2758 -x2759 -x2760 -x2761 x2762 -x2763 -x2764 x2765 x2766 x2767 -x2768
1800.04/1800.00	v -x2769 x2770 x2771 x2772 -x2773 -x2774 -x2775 x2776 -x2777 x2778 x2779
1800.04/1800.00	v -x2780 x2781 -x2782 -x2783 -x2784 x2785 x2786 x2787 -x2788 -x2789 -x2790
1800.04/1800.00	v -x2791 -x2792 -x2793 -x2794 x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801
1800.04/1800.00	v x2802 -x2803 -x2804 x2805 x2806 x2807 -x2808 -x2809 x2810 x2811 x2812 -x2813
1800.04/1800.00	v -x2814 -x2815 x2816 -x2817 x2818 x2819 -x2820 x2821 -x2822 -x2823 -x2824
1800.04/1800.00	v x2825 x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 x2835
1800.04/1800.00	v -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 x2842 -x2843 -x2844 x2845 x2846
1800.04/1800.00	v x2847 -x2848 -x2849 x2850 x2851 x2852 -x2853 -x2854 -x2855 x2856 -x2857
1800.04/1800.00	v x2858 x2859 -x2860 x2861 -x2862 -x2863 -x2864 x2865 x2866 x2867 -x2868
1800.04/1800.00	v -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 x2875 -x2876 -x2877 -x2878 -x2879
1800.04/1800.00	v -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890
1800.04/1800.00	v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901
1800.04/1800.00	v -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912
1800.04/1800.00	v -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 x2920 -x2921 -x2922 -x2923
1800.04/1800.00	v -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934
1800.04/1800.00	v -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945
1800.04/1800.00	v -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 x2955 -x2956
1800.04/1800.00	v -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967
1800.04/1800.00	v -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978
1800.04/1800.00	v -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989
1800.04/1800.00	v -x2990 -x2991 -x2992 -x2993 -x2994 x2995 -x2996 -x2997 -x2998 -x2999 -x3000
1800.04/1800.00	v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011
1800.04/1800.00	v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022
1800.04/1800.00	v -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033
1800.04/1800.00	v -x3034 x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044
1800.04/1800.00	v -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055
1800.04/1800.00	v -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066
1800.04/1800.00	v -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 x3075 -x3076 -x3077
1800.04/1800.00	v -x3078 -x3079 -x3080 -x3081 x3082 -x3083 -x3084 x3085 x3086 x3087 -x3088
1800.04/1800.00	v -x3089 x3090 x3091 x3092 -x3093 -x3094 -x3095 x3096 -x3097 x3098 x3099
1800.04/1800.00	v -x3100 x3101 -x3102 -x3103 -x3104 x3105 x3106 x3107 -x3108 -x3109 -x3110
1800.04/1800.00	v -x3111 -x3112 -x3113 -x3114 x3115 -x3116 -x3117 -x3118 -x3119 -x3120 x3121
1800.04/1800.00	v x3122 x3123 x3124 x3125 x3126 x3127 x3128 x3129 x3130 x3131 x3132 x3133
1800.04/1800.00	v -x3134 x3135 x3136 x3137 x3138 x3139 -x3140 x3141 -x3142 x3143 -x3144 x3145
1800.04/1800.00	v x3146 x3147 -x3148 x3149 x3150 x3151 x3152 x3153 x3154 x3155 x3156 x3157
1800.04/1800.00	v x3158 x3159 x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168
1800.04/1800.00	v -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179
1800.04/1800.00	v -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190
1800.04/1800.00	v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 x3200 -x3201
1800.04/1800.00	v -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212
1800.04/1800.00	v -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223
1800.04/1800.00	v -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234
1800.04/1800.00	v -x3235 -x3236 -x3237 -x3238 -x3239 x3240 -x3241 -x3242 -x3243 -x3244 -x3245
1800.04/1800.00	v -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256
1800.04/1800.00	v -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267
1800.04/1800.00	v -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278
1800.04/1800.00	v -x3279 x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289
1800.04/1800.00	v -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300
1800.04/1800.00	v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311
1800.04/1800.00	v -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 x3320 -x3321 x3322
1800.04/1800.00	v -x3323 -x3324 x3325 x3326 x3327 -x3328 -x3329 x3330 x3331 x3332 -x3333
1800.04/1800.00	v -x3334 -x3335 x3336 -x3337 x3338 x3339 -x3340 x3341 -x3342 -x3343 -x3344
1800.04/1800.00	v x3345 x3346 x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 x3355
1800.04/1800.00	v -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 x3362 -x3363 -x3364 x3365 x3366
1800.04/1800.00	v x3367 -x3368 -x3369 x3370 x3371 x3372 -x3373 -x3374 -x3375 x3376 -x3377
1800.04/1800.00	v x3378 x3379 -x3380 x3381 -x3382 -x3383 -x3384 x3385 x3386 x3387 -x3388
1800.04/1800.00	v -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399
1800.04/1800.00	v -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410
1800.04/1800.00	v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421
1800.04/1800.00	v -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432
1800.04/1800.00	v -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 x3440 -x3441 -x3442 -x3443
1800.04/1800.00	v -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454
1800.04/1800.00	v -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465
1800.04/1800.00	v -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476
1800.04/1800.00	v -x3477 -x3478 -x3479 x3480 -x3481 x3482 -x3483 -x3484 x3485 x3486 x3487
1800.04/1800.00	v -x3488 -x3489 x3490 x3491 x3492 -x3493 -x3494 -x3495 x3496 -x3497 x3498
1800.04/1800.00	v x3499 -x3500 x3501 -x3502 -x3503 -x3504 x3505 x3506 x3507 -x3508 -x3509
1800.04/1800.00	v -x3510 -x3511 -x3512 -x3513 -x3514 x3515 -x3516 -x3517 -x3518 -x3519 -x3520
1800.04/1800.00	v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531
1800.04/1800.00	v -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542
1800.04/1800.00	v -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553
1800.04/1800.00	v -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564
1800.04/1800.00	v -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575
1800.04/1800.00	v -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586
1800.04/1800.00	v -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597
1800.04/1800.00	v -x3598 -x3599 x3600 -x3601 x3602 -x3603 -x3604 x3605 x3606 x3607 -x3608
1800.04/1800.00	v -x3609 x3610 x3611 x3612 -x3613 -x3614 -x3615 x3616 -x3617 x3618 x3619
1800.04/1800.00	v -x3620 x3621 -x3622 -x3623 -x3624 x3625 x3626 x3627 -x3628 -x3629 -x3630
1800.04/1800.00	v -x3631 -x3632 -x3633 -x3634 x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641
1800.04/1800.00	v -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652
1800.04/1800.00	v -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663
1800.04/1800.00	v -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674
1800.04/1800.00	v -x3675 -x3676 -x3677 -x3678 -x3679 x3680 -x3681 -x3682 -x3683 -x3684 -x3685
1800.04/1800.00	v -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696
1800.04/1800.00	v -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707
1800.04/1800.00	v -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718
1800.04/1800.00	v -x3719 x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729
1800.04/1800.00	v -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740
1800.04/1800.00	v -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751
1800.04/1800.00	v -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 x3760 -x3761 x3762
1800.04/1800.00	v -x3763 -x3764 x3765 x3766 x3767 -x3768 -x3769 x3770 x3771 x3772 -x3773
1800.04/1800.00	v -x3774 -x3775 x3776 -x3777 x3778 x3779 -x3780 x3781 -x3782 -x3783 -x3784
1800.04/1800.00	v -x3785 x3786 x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 x3795
1800.04/1800.00	v -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806
1800.04/1800.00	v -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817
1800.04/1800.00	v -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828
1800.04/1800.00	v -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839
1800.04/1800.00	v x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850
1800.04/1800.00	v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861
1800.04/1800.00	v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872
1800.04/1800.00	v -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 x3880 -x3881 -x3882 -x3883
1800.04/1800.00	v -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894
1800.04/1800.00	v -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905
1800.04/1800.00	v -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916
1800.04/1800.00	v -x3917 -x3918 -x3919 x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927
1800.04/1800.00	v -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938
1800.04/1800.00	v -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949
1800.04/1800.00	v -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 x3960
1800.04/1800.00	v -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971
1800.04/1800.00	v -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982
1800.04/1800.00	v -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993
1800.04/1800.00	v -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 x4000
1800.04/1800.00	s SATISFIABLE
1800.04/1800.00	
1800.04/1800.00	c INTERRUPTED   : 1
1800.04/1800.00	c Models        : 1+    
1800.04/1800.00	c   Enumerated  : 29
1800.04/1800.00	c   Optimum     : unknown
1800.04/1800.00	c Optimization  : 1474
1800.04/1800.00	c Time          : 1800.006s (Solving: 1800.00s 1st Model: 0.01s Unsat: 0.00s)
1800.04/1800.00	c CPU Time      : 1800.310s

Verifier Data 

OK	1474

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 /var/tmp/evaluation-result-3448254-1307895186/watcher-3448254-1307895186 -o /var/tmp/evaluation-result-3448254-1307895186/solver-3448254-1307895186 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3448254-1307895186.wbo --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once 

running on 4 cores: 1,3,5,7

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: 1.57 0.69 0.66 4/176 14213
/proc/meminfo: memFree=3410792/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=3204 CPUtime=0 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 636 0 0 0 0 0 0 0 24 0 1 0 901117410 3280896 529 33554432000 134512640 136285325 4288817744 18446744073709551615 134930224 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 801 529 203 433 0 366 0

[startup+0.0106139 s]
/proc/loadavg: 1.57 0.69 0.66 4/176 14213
/proc/meminfo: memFree=3410792/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=3204 CPUtime=0.01 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 643 0 0 0 1 0 0 0 24 0 1 0 901117410 3280896 536 33554432000 134512640 136285325 4288817744 18446744073709551615 134676373 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 801 536 207 433 0 366 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3204

[startup+0.100598 s]
/proc/loadavg: 1.57 0.69 0.66 4/176 14213
/proc/meminfo: memFree=3410792/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=4260 CPUtime=0.09 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 900 0 0 0 9 0 0 0 24 0 1 0 901117410 4362240 793 33554432000 134512640 136285325 4288817744 18446744073709551615 134954206 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 1065 793 210 433 0 630 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4260

[startup+0.300563 s]
/proc/loadavg: 1.57 0.69 0.66 4/176 14213
/proc/meminfo: memFree=3410792/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=4920 CPUtime=0.29 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 1061 0 0 0 29 0 0 0 25 0 1 0 901117410 5038080 954 33554432000 134512640 136285325 4288817744 18446744073709551615 134625314 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 1230 954 210 433 0 795 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4920

[startup+0.700492 s]
/proc/loadavg: 1.57 0.69 0.66 4/176 14213
/proc/meminfo: memFree=3410792/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=5576 CPUtime=0.69 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 1241 0 0 0 69 0 0 0 25 0 1 0 901117410 5709824 1134 33554432000 134512640 136285325 4288817744 18446744073709551615 135641870 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 1394 1134 210 433 0 959 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5576

[startup+1.50035 s]
/proc/loadavg: 1.57 0.69 0.66 4/178 14215
/proc/meminfo: memFree=3402272/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=6236 CPUtime=1.49 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 1388 0 0 0 149 0 0 0 25 0 1 0 901117410 6385664 1281 33554432000 134512640 136285325 4288817744 18446744073709551615 135028721 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 1559 1281 210 433 0 1124 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6236

[startup+3.10007 s]
/proc/loadavg: 1.57 0.69 0.66 4/178 14215
/proc/meminfo: memFree=3399916/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=6896 CPUtime=3.09 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 1577 0 0 0 309 0 0 0 25 0 1 0 901117410 7061504 1470 33554432000 134512640 136285325 4288817744 18446744073709551615 134945579 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 1724 1470 210 433 0 1289 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6896

[startup+6.30051 s]
/proc/loadavg: 1.60 0.71 0.67 4/178 14215
/proc/meminfo: memFree=3396812/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=7800 CPUtime=6.29 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 1786 0 0 0 629 0 0 0 25 0 1 0 901117410 7987200 1679 33554432000 134512640 136285325 4288817744 18446744073709551615 134669661 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 1950 1679 210 433 0 1515 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7800

[startup+12.7004 s]
/proc/loadavg: 1.63 0.73 0.68 4/178 14216
/proc/meminfo: memFree=3393488/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=8836 CPUtime=12.69 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 2070 0 0 0 1269 0 0 0 25 0 1 0 901117410 9048064 1963 33554432000 134512640 136285325 4288817744 18446744073709551615 134636603 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 2209 1963 210 433 0 1774 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8836

[startup+25.5001 s]
/proc/loadavg: 1.71 0.79 0.70 4/178 14216
/proc/meminfo: memFree=3390636/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=9720 CPUtime=25.49 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 2284 0 0 0 2549 0 0 0 25 0 1 0 901117410 9953280 2177 33554432000 134512640 136285325 4288817744 18446744073709551615 135027424 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 2430 2177 210 433 0 1995 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 9720

[startup+51.1006 s]
/proc/loadavg: 1.81 0.89 0.73 4/178 14216
/proc/meminfo: memFree=3387500/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=11496 CPUtime=51.09 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 2723 0 0 0 5109 0 0 0 25 0 1 0 901117410 11771904 2616 33554432000 134512640 136285325 4288817744 18446744073709551615 134971770 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 2874 2616 210 433 0 2439 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11496

[startup+102.307 s]
/proc/loadavg: 1.92 1.06 0.79 4/178 14218
/proc/meminfo: memFree=3381884/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=13568 CPUtime=102.3 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 3235 0 0 0 10230 0 0 0 25 0 1 0 901117410 13893632 3118 33554432000 134512640 136285325 4288817744 18446744073709551615 134960433 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 3392 3118 210 433 0 2957 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 13568

[startup+162.3 s]
/proc/loadavg: 1.97 1.23 0.87 4/178 14220
/proc/meminfo: memFree=3377756/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=15324 CPUtime=162.29 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 3835 0 0 0 16229 0 0 0 25 0 1 0 901117410 15691776 3584 33554432000 134512640 136285325 4288817744 18446744073709551615 135027338 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 3831 3584 210 433 0 3396 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15324

[startup+222.301 s]
/proc/loadavg: 1.99 1.37 0.93 4/178 14221
/proc/meminfo: memFree=3375368/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=15904 CPUtime=222.3 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 3982 0 0 0 22230 0 0 0 25 0 1 0 901117410 16285696 3714 33554432000 134512640 136285325 4288817744 18446744073709551615 134957296 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 3976 3714 210 433 0 3541 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 15904

[startup+282.301 s]
/proc/loadavg: 2.03 1.49 1.00 4/178 14223
/proc/meminfo: memFree=3372980/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=17468 CPUtime=282.3 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 4411 0 0 0 28230 0 0 0 25 0 1 0 901117410 17887232 4115 33554432000 134512640 136285325 4288817744 18446744073709551615 134625386 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 4367 4115 210 433 0 3932 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 17468

[startup+342.3 s]
/proc/loadavg: 2.01 1.58 1.06 4/178 14224
/proc/meminfo: memFree=3368352/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=18724 CPUtime=342.3 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 4700 0 0 0 34230 0 0 0 25 0 1 0 901117410 19173376 4404 33554432000 134512640 136285325 4288817744 18446744073709551615 134953029 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 4681 4404 210 433 0 4246 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 18724

[startup+402.301 s]
/proc/loadavg: 2.00 1.65 1.12 4/178 14226
/proc/meminfo: memFree=3367688/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=18800 CPUtime=402.3 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 4825 0 0 0 40230 0 0 0 25 0 1 0 901117410 19251200 4453 33554432000 134512640 136285325 4288817744 18446744073709551615 134667111 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 4700 4453 210 433 0 4265 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 18800

[startup+462.3 s]
/proc/loadavg: 2.00 1.71 1.17 4/178 14228
/proc/meminfo: memFree=3367640/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=19916 CPUtime=462.3 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 5316 0 0 0 46230 0 0 0 25 0 1 0 901117410 20393984 4720 33554432000 134512640 136285325 4288817744 18446744073709551615 134667186 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 4979 4720 210 433 0 4544 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 19916

[startup+522.301 s]
/proc/loadavg: 2.00 1.76 1.22 4/178 14229
/proc/meminfo: memFree=3364008/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=20500 CPUtime=522.3 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 5599 0 0 0 52230 0 0 0 25 0 1 0 901117410 20992000 4845 33554432000 134512640 136285325 4288817744 18446744073709551615 134667449 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 5125 4845 210 433 0 4690 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20500

[startup+582.3 s]
/proc/loadavg: 2.00 1.80 1.27 4/178 14231
/proc/meminfo: memFree=3363216/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=20632 CPUtime=582.3 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 5644 0 0 0 58230 0 0 0 25 0 1 0 901117410 21127168 4890 33554432000 134512640 136285325 4288817744 18446744073709551615 134957285 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 5158 4890 210 433 0 4723 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 20632

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 1.90 1.42 4/178 14237
/proc/meminfo: memFree=3358200/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=22676 CPUtime=822.31 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 6853 0 0 0 82230 1 0 0 25 0 1 0 901117410 23220224 5419 33554432000 134512640 136285325 4288817744 18446744073709551615 135639880 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 5669 5419 210 433 0 5234 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 22676

[startup+882.3 s]
/proc/loadavg: 2.00 1.92 1.46 4/178 14239
/proc/meminfo: memFree=3356172/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=22676 CPUtime=882.31 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 6853 0 0 0 88230 1 0 0 25 0 1 0 901117410 23220224 5419 33554432000 134512640 136285325 4288817744 18446744073709551615 134625335 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 5669 5419 210 433 0 5234 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 22676

[startup+942.301 s]
/proc/loadavg: 2.00 1.93 1.49 4/178 14240
/proc/meminfo: memFree=3356120/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=23440 CPUtime=942.32 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 7379 0 0 0 94231 1 0 0 25 0 1 0 901117410 24002560 5588 33554432000 134512640 136285325 4288817744 18446744073709551615 134636600 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 5860 5588 210 433 0 5425 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 23440

[startup+1002.3 s]
/proc/loadavg: 2.00 1.94 1.52 4/178 14242
/proc/meminfo: memFree=3354696/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=25160 CPUtime=1002.32 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 7924 0 0 0 100231 1 0 0 25 0 1 0 901117410 25763840 6037 33554432000 134512640 136285325 4288817744 18446744073709551615 134648256 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 6290 6037 210 433 0 5855 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 25160

[startup+1062.3 s]
/proc/loadavg: 2.00 1.95 1.54 4/178 14244
/proc/meminfo: memFree=3354408/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=25160 CPUtime=1062.32 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 7924 0 0 0 106231 1 0 0 25 0 1 0 901117410 25763840 6037 33554432000 134512640 136285325 4288817744 18446744073709551615 134625368 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 6290 6037 210 433 0 5855 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 25160

[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.57 4/178 14245
/proc/meminfo: memFree=3353116/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=25160 CPUtime=1122.32 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 8094 0 0 0 112231 1 0 0 25 0 1 0 901117410 25763840 6038 33554432000 134512640 136285325 4288817744 18446744073709551615 134625371 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 6290 6038 210 433 0 5855 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 25160

[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.59 4/178 14247
/proc/meminfo: memFree=3353200/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=25160 CPUtime=1182.32 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 8128 0 0 0 118231 1 0 0 25 0 1 0 901117410 25763840 6038 33554432000 134512640 136285325 4288817744 18446744073709551615 134625304 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 6290 6038 210 433 0 5855 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 25160

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.62 4/178 14248
/proc/meminfo: memFree=3351292/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=25544 CPUtime=1242.32 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 8351 0 0 0 124231 1 0 0 25 0 1 0 901117410 26157056 6132 33554432000 134512640 136285325 4288817744 18446744073709551615 134674584 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 6386 6132 210 433 0 5951 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 25544

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.64 4/178 14250
/proc/meminfo: memFree=3351368/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=25672 CPUtime=1302.33 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 8620 0 0 0 130232 1 0 0 25 0 1 0 901117410 26288128 6152 33554432000 134512640 136285325 4288817744 18446744073709551615 134954368 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 6418 6152 210 433 0 5983 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 25672

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.66 4/178 14252
/proc/meminfo: memFree=3351320/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=25780 CPUtime=1362.32 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 8680 0 0 0 136231 1 0 0 25 0 1 0 901117410 26398720 6190 33554432000 134512640 136285325 4288817744 18446744073709551615 135028721 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 6445 6190 210 433 0 6010 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 25780

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.67 4/178 14253
/proc/meminfo: memFree=3351148/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=26484 CPUtime=1422.33 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 8831 0 0 0 142232 1 0 0 25 0 1 0 901117410 27119616 6337 33554432000 134512640 136285325 4288817744 18446744073709551615 134954355 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 6621 6337 210 433 0 6186 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 26484

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.69 4/178 14255
/proc/meminfo: memFree=3348880/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=28396 CPUtime=1482.32 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 9341 0 0 0 148231 1 0 0 25 0 1 0 901117410 29077504 6846 33554432000 134512640 136285325 4288817744 18446744073709551615 134945088 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 7099 6846 210 433 0 6664 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 28396

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.71 4/178 14256
/proc/meminfo: memFree=3349824/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=26984 CPUtime=1542.32 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 9708 0 0 0 154231 1 0 0 25 0 1 0 901117410 27631616 6493 33554432000 134512640 136285325 4288817744 18446744073709551615 134970868 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 6746 6493 210 433 0 6311 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 26984

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.73 4/178 14258
/proc/meminfo: memFree=3345688/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=27992 CPUtime=1602.33 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 10124 0 0 0 160232 1 0 0 25 0 1 0 901117410 28663808 6743 33554432000 134512640 136285325 4288817744 18446744073709551615 134625434 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 6998 6743 210 433 0 6563 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 27992

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.74 4/178 14260
/proc/meminfo: memFree=3345652/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=28156 CPUtime=1662.33 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 10267 0 0 0 166232 1 0 0 25 0 1 0 901117410 28831744 6784 33554432000 134512640 136285325 4288817744 18446744073709551615 135027366 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 7039 6784 210 433 0 6604 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 28156

[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.75 4/178 14261
/proc/meminfo: memFree=3344856/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=28380 CPUtime=1722.33 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 10297 0 0 0 172232 1 0 0 25 0 1 0 901117410 29061120 6814 33554432000 134512640 136285325 4288817744 18446744073709551615 134625380 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 7095 6814 210 433 0 6660 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 28380

[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.76 4/178 14263
/proc/meminfo: memFree=3344192/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=29188 CPUtime=1782.33 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 10583 0 0 0 178232 1 0 0 25 0 1 0 901117410 29888512 7025 33554432000 134512640 136285325 4288817744 18446744073709551615 134625317 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 7297 7025 210 433 0 6862 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 29188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 1.97 1.77 4/178 14263
/proc/meminfo: memFree=3344184/32950928 swapFree=67052124/67111528
[pid=14213] ppid=14211 vsize=29188 CPUtime=1800.04 cores=1,3,5,7
/proc/14213/stat : 14213 (clasp) R 14211 14213 14010 0 -1 4202496 10583 0 0 0 180003 1 0 0 25 0 1 0 901117410 29888512 7025 33554432000 134512640 136285325 4288817744 18446744073709551615 134625371 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14213/statm: 7297 7025 210 433 0 6862 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 29188

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.01
CPU time (s): 1800.05
CPU user time (s): 1800.03
CPU system time (s): 0.019996
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 29212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10591
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= 5
involuntary context switches= 4385

runsolver used 2.67159 second user time and 5.69713 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-12 18:13:06
IDJOB=3448254
IDBENCH=78669
IDSOLVER=1946
FILE ID=node120/3448254-1307895186
RUNJOBID= node120-1307895186-14187
PBS_JOBID= 13559586
Free space on /var/tmp= 2892 MiB

SOLVER NAME= clasp 2.0-RC2
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= HOME/clasp BENCHNAME --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3448254-1307895186/watcher-3448254-1307895186 -o /var/tmp/evaluation-result-3448254-1307895186/solver-3448254-1307895186 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3448254-1307895186.wbo --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once

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

MD5SUM BENCH= 0158a6ff32db5686aa85d7a9b49d6df3
RANDOM SEED=1053787993

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.809
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.78
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.809
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.809
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.809
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       3411120 kB
Buffers:         47940 kB
Cached:       28572004 kB
SwapCached:      11612 kB
Active:       13772436 kB
Inactive:     14865312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       3411120 kB
SwapTotal:    67111528 kB
SwapFree:     67052124 kB
Dirty:            4004 kB
Writeback:           0 kB
AnonPages:       15508 kB
Mapped:           8544 kB
Slab:           838308 kB
PageTables:       4492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   190608 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 /var/tmp at the end= 2888 MiB
End job on node120 at 2011-06-12 18:43:09