Trace number 3468691

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)260 1800.08 1800.02

General information on the benchmark

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

Verifier Data 

OK	260

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-3468691-1307089341/watcher-3468691-1307089341 -o /tmp/evaluation-result-3468691-1307089341/solver-3468691-1307089341 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468691-1307089341.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: 1.94 2.00 1.99 3/428 21867
/proc/meminfo: memFree=29193116/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=14400 CPUtime=0.01 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 1135 0 0 0 1 0 0 0 25 0 1 0 820534590 14745600 948 33554432000 4194304 4933572 140736649903264 18446744073709551615 244446606021 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21867/statm: 3600 948 378 181 0 609 0

[startup+0.0409139 s]
/proc/loadavg: 1.94 2.00 1.99 3/428 21867
/proc/meminfo: memFree=29193116/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=15060 CPUtime=0.04 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 1320 0 0 0 4 0 0 0 25 0 1 0 820534590 15421440 1133 33554432000 4194304 4933572 140736649903264 18446744073709551615 4329847 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21867/statm: 3765 1133 378 181 0 774 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15060

[startup+0.100919 s]
/proc/loadavg: 1.94 2.00 1.99 3/428 21867
/proc/meminfo: memFree=29193116/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=16512 CPUtime=0.09 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 1683 0 0 0 9 0 0 0 25 0 1 0 820534590 16908288 1496 33554432000 4194304 4933572 140736649903264 18446744073709551615 4319400 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21867/statm: 4128 1496 385 181 0 1137 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16512

[startup+0.300872 s]
/proc/loadavg: 1.94 2.00 1.99 3/428 21867
/proc/meminfo: memFree=29193116/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=19696 CPUtime=0.29 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 2468 0 0 0 29 0 0 0 25 0 1 0 820534590 20168704 2281 33554432000 4194304 4933572 140736649903264 18446744073709551615 4429140 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21867/statm: 4924 2281 385 181 0 1933 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19696

[startup+0.700826 s]
/proc/loadavg: 1.94 2.00 1.99 3/428 21867
/proc/meminfo: memFree=29193116/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=21672 CPUtime=0.69 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 2927 0 0 0 69 0 0 0 25 0 1 0 820534590 22192128 2740 33554432000 4194304 4933572 140736649903264 18446744073709551615 4342106 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21867/statm: 5418 2740 385 181 0 2427 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21672

[startup+1.50069 s]
/proc/loadavg: 1.94 2.00 1.99 4/430 21869
/proc/meminfo: memFree=29180336/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=22740 CPUtime=1.49 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 3203 0 0 0 149 0 0 0 25 0 1 0 820534590 23285760 3016 33554432000 4194304 4933572 140736649903264 18446744073709551615 4319736 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 5685 3016 385 181 0 2694 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22740

[startup+3.10039 s]
/proc/loadavg: 1.94 2.00 1.99 4/430 21869
/proc/meminfo: memFree=29175384/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=26072 CPUtime=3.09 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 3971 0 0 0 309 0 0 0 25 0 1 0 820534590 26697728 3784 33554432000 4194304 4933572 140736649903264 18446744073709551615 4360892 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 6518 3784 385 181 0 3527 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26072

[startup+6.30077 s]
/proc/loadavg: 1.94 2.00 1.99 4/430 21869
/proc/meminfo: memFree=29172136/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=27668 CPUtime=6.29 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 4408 0 0 0 629 0 0 0 25 0 1 0 820534590 28332032 4221 33554432000 4194304 4933572 140736649903264 18446744073709551615 4363265 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 6917 4221 385 181 0 3926 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27668

[startup+12.7006 s]
/proc/loadavg: 1.95 2.00 1.99 4/430 21869
/proc/meminfo: memFree=29167348/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=29516 CPUtime=12.69 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 4891 0 0 0 1269 0 0 0 25 0 1 0 820534590 30224384 4704 33554432000 4194304 4933572 140736649903264 18446744073709551615 4637147 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 7379 4704 385 181 0 4388 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29516

[startup+25.5002 s]
/proc/loadavg: 1.96 2.00 1.99 4/430 21870
/proc/meminfo: memFree=29164124/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=31892 CPUtime=25.49 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 5488 0 0 0 2549 0 0 0 25 0 1 0 820534590 32657408 5301 33554432000 4194304 4933572 140736649903264 18446744073709551615 4637219 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 7973 5301 385 181 0 4982 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31892

[startup+51.1005 s]
/proc/loadavg: 2.10 2.03 2.00 4/430 21870
/proc/meminfo: memFree=29155676/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=38868 CPUtime=51.09 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 7244 0 0 0 5109 0 0 0 25 0 1 0 820534590 39800832 7057 33554432000 4194304 4933572 140736649903264 18446744073709551615 4428090 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 9717 7057 385 181 0 6726 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 38868

[startup+102.317 s]
/proc/loadavg: 2.04 2.02 2.00 4/430 21872
/proc/meminfo: memFree=29144120/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=48020 CPUtime=102.31 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 9358 0 0 0 10230 1 0 0 25 0 1 0 820534590 49172480 9171 33554432000 4194304 4933572 140736649903264 18446744073709551615 4664056 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 12005 9171 385 181 0 9014 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 48020

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 4/430 21873
/proc/meminfo: memFree=29138944/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=51536 CPUtime=162.29 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 10375 0 0 0 16228 1 0 0 25 0 1 0 820534590 52772864 10188 33554432000 4194304 4933572 140736649903264 18446744073709551615 4330320 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 12884 10188 385 181 0 9893 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 51536

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/430 21875
/proc/meminfo: memFree=29136324/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=53932 CPUtime=222.3 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 11040 0 0 0 22228 2 0 0 25 0 1 0 820534590 55226368 10806 33554432000 4194304 4933572 140736649903264 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 13483 10806 385 181 0 10492 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 53932

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/430 21876
/proc/meminfo: memFree=29133340/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=56576 CPUtime=282.3 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 11822 0 0 0 28228 2 0 0 25 0 1 0 820534590 57933824 11464 33554432000 4194304 4933572 140736649903264 18446744073709551615 4630718 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 14144 11464 385 181 0 11153 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 56576

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/430 21878
/proc/meminfo: memFree=29126136/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=65496 CPUtime=342.3 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 13517 0 0 0 34228 2 0 0 25 0 1 0 820534590 67067904 13159 33554432000 4194304 4933572 140736649903264 18446744073709551615 4428404 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 16374 13159 385 181 0 13383 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 65496

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/430 21880
/proc/meminfo: memFree=29123900/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=67528 CPUtime=402.3 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 14027 0 0 0 40228 2 0 0 25 0 1 0 820534590 69148672 13669 33554432000 4194304 4933572 140736649903264 18446744073709551615 4637260 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 16882 13669 385 181 0 13891 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 67528

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/430 21881
/proc/meminfo: memFree=29123520/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=68208 CPUtime=462.3 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 14181 0 0 0 46228 2 0 0 25 0 1 0 820534590 69844992 13823 33554432000 4194304 4933572 140736649903264 18446744073709551615 4360883 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 17052 13823 385 181 0 14061 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 68208

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/430 21883
/proc/meminfo: memFree=29119420/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=71140 CPUtime=522.31 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 15034 0 0 0 52228 3 0 0 25 0 1 0 820534590 72847360 14581 33554432000 4194304 4933572 140736649903264 18446744073709551615 4428619 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 17785 14581 385 181 0 14794 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 71140

[startup+582.301 s]
/proc/loadavg: 2.08 2.03 2.01 4/430 21884
/proc/meminfo: memFree=29117520/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=73100 CPUtime=582.31 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 15876 0 0 0 58228 3 0 0 25 0 1 0 820534590 74854400 15060 33554432000 4194304 4933572 140736649903264 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 18275 15060 385 181 0 15284 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 73100

[startup+642.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/430 21891
/proc/meminfo: memFree=29112944/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=77876 CPUtime=822.31 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 17180 0 0 0 82228 3 0 0 25 0 1 0 820534590 79745024 16263 33554432000 4194304 4933572 140736649903264 18446744073709551615 4342157 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 19469 16263 385 181 0 16478 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 77876

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/430 21892
/proc/meminfo: memFree=29112020/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=78700 CPUtime=882.32 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 17353 0 0 0 88229 3 0 0 25 0 1 0 820534590 80588800 16436 33554432000 4194304 4933572 140736649903264 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 19675 16436 385 181 0 16684 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 78700

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/430 21894
/proc/meminfo: memFree=29111144/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=79388 CPUtime=942.32 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 17518 0 0 0 94229 3 0 0 25 0 1 0 820534590 81293312 16601 33554432000 4194304 4933572 140736649903264 18446744073709551615 4649726 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 19847 16601 385 181 0 16856 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 79388

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/430 21896
/proc/meminfo: memFree=29110488/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=80072 CPUtime=1002.32 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 17647 0 0 0 100229 3 0 0 25 0 1 0 820534590 81993728 16730 33554432000 4194304 4933572 140736649903264 18446744073709551615 4632799 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 20018 16730 385 181 0 17027 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 80072

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/430 21897
/proc/meminfo: memFree=29109980/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=80512 CPUtime=1062.33 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 17735 0 0 0 106229 4 0 0 25 0 1 0 820534590 82444288 16818 33554432000 4194304 4933572 140736649903264 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 20128 16818 385 181 0 17137 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 80512

[startup+1122.3 s]
/proc/loadavg: 2.11 2.03 2.01 4/430 21899
/proc/meminfo: memFree=29109304/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=80924 CPUtime=1122.33 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 17844 0 0 0 112229 4 0 0 25 0 1 0 820534590 82866176 16927 33554432000 4194304 4933572 140736649903264 18446744073709551615 244446642798 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 20231 16927 385 181 0 17240 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 80924

[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 2.00 4/430 21900
/proc/meminfo: memFree=29102560/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=85908 CPUtime=1182.33 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 19431 0 0 0 118229 4 0 0 25 0 1 0 820534590 87969792 18514 33554432000 4194304 4933572 140736649903264 18446744073709551615 4637219 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 21477 18514 385 181 0 18486 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 85908

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/430 21902
/proc/meminfo: memFree=29099944/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=87248 CPUtime=1242.33 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 19713 0 0 0 124229 4 0 0 25 0 1 0 820534590 89341952 18796 33554432000 4194304 4933572 140736649903264 18446744073709551615 4429177 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 21812 18796 385 181 0 18821 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 87248

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/430 21904
/proc/meminfo: memFree=29099192/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=87904 CPUtime=1302.34 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 19899 0 0 0 130230 4 0 0 25 0 1 0 820534590 90013696 18952 33554432000 4194304 4933572 140736649903264 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 21976 18952 385 181 0 18985 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 87904

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/430 21905
/proc/meminfo: memFree=29099556/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=88472 CPUtime=1362.33 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 20039 0 0 0 136229 4 0 0 25 0 1 0 820534590 90595328 19092 33554432000 4194304 4933572 140736649903264 18446744073709551615 4363293 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 22118 19092 385 181 0 19127 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 88472

[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 4/430 21907
/proc/meminfo: memFree=29098848/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=89264 CPUtime=1422.35 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 20248 0 0 0 142230 5 0 0 25 0 1 0 820534590 91406336 19301 33554432000 4194304 4933572 140736649903264 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 22316 19301 385 181 0 19325 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 89264

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/430 21908
/proc/meminfo: memFree=29098712/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=89684 CPUtime=1482.34 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 20345 0 0 0 148229 5 0 0 25 0 1 0 820534590 91836416 19398 33554432000 4194304 4933572 140736649903264 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 22421 19398 385 181 0 19430 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 89684

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/430 21910
/proc/meminfo: memFree=29098820/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=89988 CPUtime=1542.34 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 20417 0 0 0 154229 5 0 0 25 0 1 0 820534590 92147712 19470 33554432000 4194304 4933572 140736649903264 18446744073709551615 4428566 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 22497 19470 385 181 0 19506 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 89988

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/430 21912
/proc/meminfo: memFree=29098492/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=90256 CPUtime=1602.34 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 20498 0 0 0 160229 5 0 0 25 0 1 0 820534590 92422144 19551 33554432000 4194304 4933572 140736649903264 18446744073709551615 4414924 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 22564 19551 385 181 0 19573 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 90256

[startup+1662.3 s]
/proc/loadavg: 2.29 2.09 2.03 4/430 21913
/proc/meminfo: memFree=29097852/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=90652 CPUtime=1662.34 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 20581 0 0 0 166229 5 0 0 25 0 1 0 820534590 92827648 19634 33554432000 4194304 4933572 140736649903264 18446744073709551615 4341737 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 22663 19634 385 181 0 19672 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 90652

[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 2.02 4/430 21915
/proc/meminfo: memFree=29097588/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=90716 CPUtime=1722.35 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 20618 0 0 0 172230 5 0 0 25 0 1 0 820534590 92893184 19635 33554432000 4194304 4933572 140736649903264 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 22679 19635 385 181 0 19688 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 90716

[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.02 4/430 21916
/proc/meminfo: memFree=29095708/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=90716 CPUtime=1782.35 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 20651 0 0 0 178230 5 0 0 25 0 1 0 820534590 92893184 19668 33554432000 4194304 4933572 140736649903264 18446744073709551615 4427984 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 22679 19668 385 181 0 19688 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 90716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.05 2.01 4/430 21917
/proc/meminfo: memFree=29097056/32951124 swapFree=43324008/67111528
[pid=21867] ppid=21865 vsize=90716 CPUtime=1800.06 cores=0,2,4,6
/proc/21867/stat : 21867 (clasp) R 21865 21867 15685 0 -1 4202496 20654 0 0 0 180001 5 0 0 25 0 1 0 820534590 92893184 19671 33554432000 4194304 4933572 140736649903264 18446744073709551615 4631807 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21867/statm: 22679 19671 385 181 0 19688 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 90716

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.08
CPU user time (s): 1800.02
CPU system time (s): 0.06199
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 90716

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

runsolver used 8.21375 second user time and 17.4343 second system time

The end

Launcher Data 

Begin job on node105 at 2011-06-03 10:22:22
IDJOB=3468691
IDBENCH=2048
IDSOLVER=1958
FILE ID=node105/3468691-1307089341
RUNJOBID= node105-1307087539-21732
PBS_JOBID= 13497883
Free space on /tmp= 73764 MiB

SOLVER NAME= clasp 2.0-R4191
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.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-3468691-1307089341/watcher-3468691-1307089341 -o /tmp/evaluation-result-3468691-1307089341/solver-3468691-1307089341 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3468691-1307089341.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= df1c0055bf82833faa95d352e28c6731
RANDOM SEED=410461721

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29193512 kB
Buffers:        283440 kB
Cached:         756476 kB
SwapCached:      20984 kB
Active:        2806372 kB
Inactive:       640656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29193512 kB
SwapTotal:    67111528 kB
SwapFree:     43324008 kB
Dirty:            1540 kB
Writeback:          44 kB
AnonPages:     2404076 kB
Mapped:          19080 kB
Slab:           162712 kB
PageTables:      80596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 114880860 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= 73764 MiB
End job on node105 at 2011-06-03 10:52:24