Trace number 3468251

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
clasp 2.0-R4191SAT (TO)154 1800.07 1800.02

General information on the benchmark

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

Verifier Data 

OK	154

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 2/327 18687
/proc/meminfo: memFree=24170232/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=14196 CPUtime=0 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 1062 0 0 0 0 0 0 0 25 0 1 0 899135273 14536704 875 33554432000 4194304 4933572 140733744980816 18446744073709551615 4621662 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 3549 875 369 181 0 558 0

[startup+0.0710029 s]
/proc/loadavg: 2.00 2.02 2.00 2/327 18687
/proc/meminfo: memFree=24170232/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=14856 CPUtime=0.06 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 1270 0 0 0 6 0 0 0 25 0 1 0 899135273 15212544 1083 33554432000 4194304 4933572 140733744980816 18446744073709551615 4428972 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 3714 1083 384 181 0 723 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14856

[startup+0.100996 s]
/proc/loadavg: 2.00 2.02 2.00 2/327 18687
/proc/meminfo: memFree=24170232/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=15120 CPUtime=0.09 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 1330 0 0 0 9 0 0 0 25 0 1 0 899135273 15482880 1143 33554432000 4194304 4933572 140733744980816 18446744073709551615 4369053 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 3780 1143 385 181 0 789 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15120

[startup+0.300959 s]
/proc/loadavg: 2.00 2.02 2.00 2/327 18687
/proc/meminfo: memFree=24170232/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=15648 CPUtime=0.29 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 1466 0 0 0 29 0 0 0 25 0 1 0 899135273 16023552 1279 33554432000 4194304 4933572 140733744980816 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 3912 1279 385 181 0 921 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15648

[startup+0.700881 s]
/proc/loadavg: 2.00 2.02 2.00 2/327 18687
/proc/meminfo: memFree=24170232/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=16044 CPUtime=0.69 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 1563 0 0 0 69 0 0 0 25 0 1 0 899135273 16429056 1376 33554432000 4194304 4933572 140733744980816 18446744073709551615 4360883 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 4011 1379 385 181 0 1020 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16044

[startup+1.50077 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 18689
/proc/meminfo: memFree=24165768/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=16728 CPUtime=1.49 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 1742 0 0 0 149 0 0 0 25 0 1 0 899135273 17129472 1555 33554432000 4194304 4933572 140733744980816 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 4182 1555 385 181 0 1191 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16728

[startup+3.10048 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 18689
/proc/meminfo: memFree=24164404/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=18180 CPUtime=3.09 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 2105 0 0 0 309 0 0 0 25 0 1 0 899135273 18616320 1918 33554432000 4194304 4933572 140733744980816 18446744073709551615 4360887 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 4545 1918 385 181 0 1554 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18180

[startup+6.30089 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 18689
/proc/meminfo: memFree=24162540/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=18840 CPUtime=6.29 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 2250 0 0 0 629 0 0 0 25 0 1 0 899135273 19292160 2063 33554432000 4194304 4933572 140733744980816 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 4710 2063 385 181 0 1719 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18840

[startup+12.7007 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 18689
/proc/meminfo: memFree=24160684/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=20196 CPUtime=12.69 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 2603 0 0 0 1269 0 0 0 25 0 1 0 899135273 20680704 2416 33554432000 4194304 4933572 140733744980816 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 5049 2416 385 181 0 2058 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20196

[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 18689
/proc/meminfo: memFree=24158808/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=21652 CPUtime=25.49 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 2975 0 0 0 2549 0 0 0 25 0 1 0 899135273 22171648 2788 33554432000 4194304 4933572 140733744980816 18446744073709551615 260020056773 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 5413 2788 385 181 0 2422 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21652

[startup+51.1007 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 18690
/proc/meminfo: memFree=24155792/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=23632 CPUtime=51.09 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 3464 0 0 0 5109 0 0 0 25 0 1 0 899135273 24199168 3277 33554432000 4194304 4933572 140733744980816 18446744073709551615 4369145 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 5908 3277 385 181 0 2917 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 23632

[startup+102.312 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 18691
/proc/meminfo: memFree=24150936/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=26536 CPUtime=102.3 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 4185 0 0 0 10230 0 0 0 25 0 1 0 899135273 27172864 3998 33554432000 4194304 4933572 140733744980816 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 6634 3998 385 181 0 3643 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 26536

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 18694
/proc/meminfo: memFree=24147528/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=28136 CPUtime=162.29 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 4582 0 0 0 16229 0 0 0 25 0 1 0 899135273 28811264 4395 33554432000 4194304 4933572 140733744980816 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 7034 4395 385 181 0 4043 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 28136

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 18695
/proc/meminfo: memFree=24144748/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=30176 CPUtime=222.29 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 5091 0 0 0 22229 0 0 0 25 0 1 0 899135273 30900224 4904 33554432000 4194304 4933572 140733744980816 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 7544 4904 385 181 0 4553 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 30176

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 18698
/proc/meminfo: memFree=24143704/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=31104 CPUtime=282.3 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 5317 0 0 0 28230 0 0 0 25 0 1 0 899135273 31850496 5130 33554432000 4194304 4933572 140733744980816 18446744073709551615 4428607 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 7776 5130 385 181 0 4785 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 31104

[startup+342.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/328 18701
/proc/meminfo: memFree=24140296/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=33728 CPUtime=342.3 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 6029 0 0 0 34229 1 0 0 25 0 1 0 899135273 34537472 5791 33554432000 4194304 4933572 140733744980816 18446744073709551615 4368931 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 8432 5791 385 181 0 5441 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 33728

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/328 18702
/proc/meminfo: memFree=24139768/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=34540 CPUtime=402.31 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 6248 0 0 0 40230 1 0 0 25 0 1 0 899135273 35368960 5973 33554432000 4194304 4933572 140733744980816 18446744073709551615 4648288 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 8635 5973 385 181 0 5644 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 34540

[startup+462.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/328 18704
/proc/meminfo: memFree=24137864/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=36992 CPUtime=462.3 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 6982 0 0 0 46229 1 0 0 25 0 1 0 899135273 37879808 6588 33554432000 4194304 4933572 140733744980816 18446744073709551615 4428583 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 9248 6588 385 181 0 6257 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 36992

[startup+522.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/328 18705
/proc/meminfo: memFree=24137680/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=36992 CPUtime=522.3 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 6982 0 0 0 52229 1 0 0 25 0 1 0 899135273 37879808 6588 33554432000 4194304 4933572 140733744980816 18446744073709551615 4632813 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 9248 6588 385 181 0 6257 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 36992

[startup+582.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/328 18708
/proc/meminfo: memFree=24137140/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=37188 CPUtime=582.31 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 7162 0 0 0 58230 1 0 0 25 0 1 0 899135273 38080512 6652 33554432000 4194304 4933572 140733744980816 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 9297 6652 385 181 0 6306 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 37188

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 18715
/proc/meminfo: memFree=24135364/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=39344 CPUtime=822.31 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 7649 0 0 0 82230 1 0 0 25 0 1 0 899135273 40288256 7139 33554432000 4194304 4933572 140733744980816 18446744073709551615 4368931 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 9836 7139 385 181 0 6845 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 39344

[startup+882.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/328 18718
/proc/meminfo: memFree=24135080/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=39504 CPUtime=882.31 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 7695 0 0 0 88230 1 0 0 25 0 1 0 899135273 40452096 7185 33554432000 4194304 4933572 140733744980816 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 9876 7185 385 181 0 6885 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 39504

[startup+942.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/328 18720
/proc/meminfo: memFree=24134792/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=39816 CPUtime=942.31 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 7756 0 0 0 94230 1 0 0 25 0 1 0 899135273 40771584 7246 33554432000 4194304 4933572 140733744980816 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 9954 7246 385 181 0 6963 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 39816

[startup+1002.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/328 18721
/proc/meminfo: memFree=24134136/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=40800 CPUtime=1002.33 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 7978 0 0 0 100231 2 0 0 25 0 1 0 899135273 41779200 7468 33554432000 4194304 4933572 140733744980816 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 10200 7468 385 181 0 7209 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 40800

[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/328 18723
/proc/meminfo: memFree=24133364/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=40956 CPUtime=1062.33 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8037 0 0 0 106231 2 0 0 25 0 1 0 899135273 41938944 7527 33554432000 4194304 4933572 140733744980816 18446744073709551615 4369036 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 10239 7527 385 181 0 7248 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 40956

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/328 18724
/proc/meminfo: memFree=24132836/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=41412 CPUtime=1122.33 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8134 0 0 0 112231 2 0 0 25 0 1 0 899135273 42405888 7624 33554432000 4194304 4933572 140733744980816 18446744073709551615 4664581 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 10353 7624 385 181 0 7362 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 41412

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 18726
/proc/meminfo: memFree=24131816/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=41684 CPUtime=1182.33 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8201 0 0 0 118231 2 0 0 25 0 1 0 899135273 42684416 7691 33554432000 4194304 4933572 140733744980816 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 10421 7691 385 181 0 7430 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 41684

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 18729
/proc/meminfo: memFree=24131764/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=42236 CPUtime=1242.33 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8340 0 0 0 124231 2 0 0 25 0 1 0 899135273 43249664 7830 33554432000 4194304 4933572 140733744980816 18446744073709551615 4429009 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 10559 7830 385 181 0 7568 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 42236

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 18733
/proc/meminfo: memFree=24130100/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=42536 CPUtime=1302.34 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8391 0 0 0 130232 2 0 0 25 0 1 0 899135273 43556864 7881 33554432000 4194304 4933572 140733744980816 18446744073709551615 4631769 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 10634 7881 385 181 0 7643 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 42536

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 18735
/proc/meminfo: memFree=24130832/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=42828 CPUtime=1362.33 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8462 0 0 0 136231 2 0 0 25 0 1 0 899135273 43855872 7952 33554432000 4194304 4933572 140733744980816 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 10707 7952 385 181 0 7716 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 42828

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 18736
/proc/meminfo: memFree=24130184/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=43416 CPUtime=1422.34 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8587 0 0 0 142232 2 0 0 25 0 1 0 899135273 44457984 8077 33554432000 4194304 4933572 140733744980816 18446744073709551615 4621730 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 10854 8077 385 181 0 7863 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 43416

[startup+1482.3 s]
/proc/loadavg: 2.25 2.06 2.02 3/328 18739
/proc/meminfo: memFree=24129536/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=43952 CPUtime=1482.33 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8734 0 0 0 148231 2 0 0 25 0 1 0 899135273 45006848 8224 33554432000 4194304 4933572 140733744980816 18446744073709551615 4369178 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 10988 8224 385 181 0 7997 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 43952

[startup+1542.3 s]
/proc/loadavg: 2.16 2.06 2.02 3/328 18741
/proc/meminfo: memFree=24128868/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=44684 CPUtime=1542.34 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8901 0 0 0 154232 2 0 0 25 0 1 0 899135273 45756416 8391 33554432000 4194304 4933572 140733744980816 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 11171 8391 385 181 0 8180 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 44684

[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/328 18742
/proc/meminfo: memFree=24128684/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=44988 CPUtime=1602.34 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 8976 0 0 0 160232 2 0 0 25 0 1 0 899135273 46067712 8466 33554432000 4194304 4933572 140733744980816 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 11247 8466 385 181 0 8256 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 44988

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/328 18745
/proc/meminfo: memFree=24128168/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=45256 CPUtime=1662.34 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 9030 0 0 0 166232 2 0 0 25 0 1 0 899135273 46342144 8520 33554432000 4194304 4933572 140733744980816 18446744073709551615 4331712 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 11314 8520 385 181 0 8323 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 45256

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/328 18747
/proc/meminfo: memFree=24128132/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=45388 CPUtime=1722.34 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 9068 0 0 0 172232 2 0 0 25 0 1 0 899135273 46477312 8558 33554432000 4194304 4933572 140733744980816 18446744073709551615 4369134 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 11347 8558 385 181 0 8356 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 45388

[startup+1782.3 s]
/proc/loadavg: 1.93 2.01 1.99 3/328 18863
/proc/meminfo: memFree=24138996/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=45548 CPUtime=1782.34 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 9100 0 0 0 178232 2 0 0 25 0 1 0 899135273 46641152 8590 33554432000 4194304 4933572 140733744980816 18446744073709551615 4631744 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 11387 8590 385 181 0 8396 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 45548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.95 2.00 1.99 3/328 18864
/proc/meminfo: memFree=24134800/32951124 swapFree=67056304/67111528
[pid=18687] ppid=18685 vsize=45684 CPUtime=1800.05 cores=0,2,4,6
/proc/18687/stat : 18687 (clasp) R 18685 18687 15734 0 -1 4202496 9114 0 0 0 180003 2 0 0 25 0 1 0 899135273 46780416 8604 33554432000 4194304 4933572 140733744980816 18446744073709551615 4371360 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18687/statm: 11421 8604 385 181 0 8430 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 45684

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.02
CPU time (s): 1800.07
CPU user time (s): 1800.04
CPU system time (s): 0.031995
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 45684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.031995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9123
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= 4222

runsolver used 5.88011 second user time and 12.1382 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-03 10:17:27
IDJOB=3468251
IDBENCH=2044
IDSOLVER=1958
FILE ID=node110/3468251-1307089047
RUNJOBID= node110-1307082531-18157
PBS_JOBID= 13497878
Free space on /tmp= 74012 MiB

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

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

MD5SUM BENCH= c7b7ba2fb8a9fff5b9677d5bbd1edc0f
RANDOM SEED=1650751968

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24170388 kB
Buffers:        279488 kB
Cached:        4555180 kB
SwapCached:       8652 kB
Active:        3964652 kB
Inactive:      4495772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24170388 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:            2152 kB
Writeback:           0 kB
AnonPages:     3623372 kB
Mapped:          27848 kB
Slab:           229164 kB
PageTables:      27196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75624080 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74012 MiB
End job on node110 at 2011-06-03 10:47:29