Trace number 3711351

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.6-R5325MSAT (TO) 1800.03 1800.31

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

Verifier Data 

OK	1433

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-3711351-1338182221/watcher-3711351-1338182221 -o /tmp/evaluation-result-3711351-1338182221/solver-3711351-1338182221 -C 1800 -W 1900 -M 15500 HOME/clasp-wbo.sh HOME/instance-3711351-1338182221.wbo 

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: 2.00 2.00 1.93 3/179 27736
/proc/meminfo: memFree=29863576/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0

[startup+0.0617761 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 27736
/proc/meminfo: memFree=29863576/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100259 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 27736
/proc/meminfo: memFree=29863576/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300233 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 27736
/proc/meminfo: memFree=29863576/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700248 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 27736
/proc/meminfo: memFree=29863576/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 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.00 2.00 1.93 3/181 27738
/proc/meminfo: memFree=29858212/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=7556 CPUtime=1.48 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 1706 0 0 0 148 0 0 0 20 0 1 0 284346925 7737344 1598 33554432000 4194304 6212839 140733499434304 140733499432312 4685484 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 1889 1598 242 493 0 1394 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16708

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27738
/proc/meminfo: memFree=29857096/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=8612 CPUtime=3.08 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 1969 0 0 0 308 0 0 0 20 0 1 0 284346925 8818688 1861 33554432000 4194304 6212839 140733499434304 140733499432312 4298098 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 2153 1861 242 493 0 1658 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17764

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27738
/proc/meminfo: memFree=29855988/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=9800 CPUtime=6.28 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 2245 0 0 0 628 0 0 0 20 0 1 0 284346925 10035200 2137 33554432000 4194304 6212839 140733499434304 140733499432712 4676440 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 2450 2137 242 493 0 1955 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18952

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27738
/proc/meminfo: memFree=29853636/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=11236 CPUtime=12.68 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 2621 0 0 0 1268 0 0 0 20 0 1 0 284346925 11505664 2511 33554432000 4194304 6212839 140733499434304 140733499432600 4683115 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 2809 2511 242 493 0 2314 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20388

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27738
/proc/meminfo: memFree=29851852/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=13232 CPUtime=25.48 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 3106 0 0 0 2548 0 0 0 20 0 1 0 284346925 13549568 2995 33554432000 4194304 6212839 140733499434304 140733499432312 4308193 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 3308 2995 242 493 0 2813 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22384

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27738
/proc/meminfo: memFree=29850112/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=14588 CPUtime=51.07 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 3457 0 0 0 5107 0 0 0 20 0 1 0 284346925 14938112 3349 33554432000 4194304 6212839 140733499434304 140733499432312 4335282 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 3647 3349 242 493 0 3152 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23740

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27738
/proc/meminfo: memFree=29846576/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=17856 CPUtime=102.28 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 4283 0 0 0 10227 1 0 0 20 0 1 0 284346925 18284544 4143 33554432000 4194304 6212839 140733499434304 140733499432600 4333840 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 4464 4143 242 493 0 3969 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 27008

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27777
/proc/meminfo: memFree=29847568/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=19912 CPUtime=162.26 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 4952 0 0 0 16225 1 0 0 20 0 1 0 284346925 20389888 4687 33554432000 4194304 6212839 140733499434304 140733499432600 4744756 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 4978 4687 242 493 0 4483 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 29064

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/182 27780
/proc/meminfo: memFree=29835532/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=22240 CPUtime=222.26 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 5529 0 0 0 22225 1 0 0 20 0 1 0 284346925 22773760 5248 33554432000 4194304 6212839 140733499434304 140733499432312 4685283 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 5560 5248 242 493 0 5065 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 31392

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 27780
/proc/meminfo: memFree=29832992/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=24688 CPUtime=282.24 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 6244 0 0 0 28223 1 0 0 20 0 1 0 284346925 25280512 5846 33554432000 4194304 6212839 140733499434304 140733499432312 4298198 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 6172 5846 242 493 0 5677 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 33840

[startup+342.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/181 27781
/proc/meminfo: memFree=29830448/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=25056 CPUtime=342.23 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 6385 0 0 0 34222 1 0 0 20 0 1 0 284346925 25657344 5971 33554432000 4194304 6212839 140733499434304 140733499432600 4298129 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 6264 5971 242 493 0 5769 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 34208

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/181 27781
/proc/meminfo: memFree=29828648/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7

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

/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=34956 CPUtime=1122.12 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 10201 0 0 0 112210 2 0 0 20 0 1 0 284346925 35794944 8436 33554432000 4194304 6212839 140733499434304 140733499432600 4298186 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 8739 8436 242 493 0 8244 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 44108

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/181 27787
/proc/meminfo: memFree=29816112/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=34956 CPUtime=1182.11 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 10313 0 0 0 118209 2 0 0 20 0 1 0 284346925 35794944 8436 33554432000 4194304 6212839 140733499434304 140733499432712 4298175 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 8739 8436 242 493 0 8244 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 44108

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 27788
/proc/meminfo: memFree=29815676/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=35596 CPUtime=1242.1 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 10460 0 0 0 124208 2 0 0 20 0 1 0 284346925 36450304 8583 33554432000 4194304 6212839 140733499434304 140733499432472 4304199 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 8899 8583 242 493 0 8404 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 44748

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 27788
/proc/meminfo: memFree=29814808/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=35840 CPUtime=1302.09 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 10734 0 0 0 130207 2 0 0 20 0 1 0 284346925 36700160 8657 33554432000 4194304 6212839 140733499434304 140733499432600 4743776 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 8960 8657 242 493 0 8465 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 44992

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 27788
/proc/meminfo: memFree=29813752/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=36996 CPUtime=1362.07 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 11195 0 0 0 136205 2 0 0 20 0 1 0 284346925 37883904 8946 33554432000 4194304 6212839 140733499434304 140733499432600 4333845 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 9249 8946 242 493 0 8754 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 46148

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 27791
/proc/meminfo: memFree=29813620/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=36520 CPUtime=1422.07 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 11259 0 0 0 142205 2 0 0 20 0 1 0 284346925 37396480 8827 33554432000 4194304 6212839 140733499434304 140733499432600 4685347 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 9130 8827 242 493 0 8635 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 45672

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/181 27791
/proc/meminfo: memFree=29812324/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=37424 CPUtime=1482.06 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 11593 0 0 0 148204 2 0 0 20 0 1 0 284346925 38322176 9042 33554432000 4194304 6212839 140733499434304 140733499432600 4685776 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 9356 9042 242 493 0 8861 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 46576

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/181 27792
/proc/meminfo: memFree=29812076/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=37424 CPUtime=1542.05 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 11597 0 0 0 154203 2 0 0 20 0 1 0 284346925 38322176 9042 33554432000 4194304 6212839 140733499434304 140733499432600 4300796 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 9356 9042 242 493 0 8861 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 46576

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 27792
/proc/meminfo: memFree=29812200/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=37424 CPUtime=1602.04 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 11597 0 0 0 160202 2 0 0 20 0 1 0 284346925 38322176 9042 33554432000 4194304 6212839 140733499434304 140733499432600 4334679 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 9356 9042 242 493 0 8861 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 46576

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 27792
/proc/meminfo: memFree=29812076/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=37424 CPUtime=1662.03 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 12001 0 0 0 166201 2 0 0 20 0 1 0 284346925 38322176 9042 33554432000 4194304 6212839 140733499434304 140733499432600 4333845 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 9356 9042 242 493 0 8861 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 46576

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 27792
/proc/meminfo: memFree=29812076/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=38068 CPUtime=1722.02 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 12221 0 0 0 172200 2 0 0 20 0 1 0 284346925 38981632 9192 33554432000 4194304 6212839 140733499434304 140733499432312 4298307 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 9517 9192 242 493 0 9022 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 47220

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 27792
/proc/meminfo: memFree=29811828/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=38192 CPUtime=1782.02 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 12792 0 0 0 178199 3 0 0 20 0 1 0 284346925 39108608 9212 33554432000 4194304 6212839 140733499434304 140733499432472 5437001 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 9548 9212 242 493 0 9053 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 47344



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 27792
/proc/meminfo: memFree=29811828/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=37460 CPUtime=1800.02 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 12813 0 0 0 179999 3 0 0 20 0 1 0 284346925 38359040 9051 33554432000 4194304 6212839 140733499434304 140733499432600 4298120 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 9365 9051 242 493 0 8870 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 46612

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 27792
/proc/meminfo: memFree=29811828/32873844 swapFree=7372/7372
[pid=27736] ppid=27734 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27736/stat : 27736 (clasp-wbo.sh) S 27734 27736 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284346925 9371648 275 33554432000 4194304 5064252 140736267027824 140736267026736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27736/statm: 2288 275 232 213 0 73 0
[pid=27737] ppid=27736 vsize=37460 CPUtime=1800.02 cores=1,3,5,7
/proc/27737/stat : 27737 (clasp-R5325) R 27736 27736 27436 0 -1 4202496 12813 0 0 0 179999 3 0 0 20 0 1 0 284346925 38359040 9051 33554432000 4194304 6212839 140733499434304 140733499432600 4298120 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/27737/statm: 9365 9051 242 493 0 8870 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 46612

Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1800
CPU system time (s): 0.032994
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 47856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.032994
maximum resident set size= 37356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13185
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= 22
involuntary context switches= 1854

runsolver used 3.59945 second user time and 9.06362 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-28 07:17:01
IDJOB=3711351
IDBENCH=78669
IDSOLVER=2290
FILE ID=node133/3711351-1338182221
RUNJOBID= node133-1338178524-27453
PBS_JOBID= 14624565
Free space on /tmp= 71728 MiB

SOLVER NAME= clasp 2.0.6-R5325
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-wbo.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711351-1338182221/watcher-3711351-1338182221 -o /tmp/evaluation-result-3711351-1338182221/solver-3711351-1338182221 -C 1800 -W 1900 -M 15500  HOME/clasp-wbo.sh HOME/instance-3711351-1338182221.wbo

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

MD5SUM BENCH= 0158a6ff32db5686aa85d7a9b49d6df3
RANDOM SEED=544791574

node133.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.540
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.08
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.540
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.92
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.540
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.92
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.540
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.540
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.540
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.90
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.540
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.540
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:        29864336 kB
Buffers:          368684 kB
Cached:          1797280 kB
SwapCached:          104 kB
Active:           638500 kB
Inactive:        1544096 kB
Active(anon):       7520 kB
Inactive(anon):    11368 kB
Active(file):     630980 kB
Inactive(file):  1532728 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:              2348 kB
Writeback:             0 kB
AnonPages:         37600 kB
Mapped:            15528 kB
Shmem:               212 kB
Slab:             686568 kB
SReclaimable:     128684 kB
SUnreclaim:       557884 kB
KernelStack:        1512 kB
PageTables:         4284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     130960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71724 MiB
End job on node133 at 2012-05-28 07:47:02