Trace number 45701

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, and are wall clock time (not CPU 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
PB-smodels 1.31SAT (TO)207 1800.8 1801.27

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 benchmark22.6636
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 (download as text)

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

Verifier Data (download as text)

OK	207

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node52/watcher-45701-1154044139 -o ROOT/results/node52/solver-45701-1154044139 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node52/45701-1154044139/instance-45701-1154044139.opb 145471981 ROOT/tmp/node52/45701-1154044139 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 3/64 6320
/proc/meminfo: memFree=862160/2055920 swapFree=4183108/4192956
[pid=6320] ppid=6318 vsize=5360 CPUtime=0
/proc/6320/stat : 6320 (runpbsmodels) S 6318 6320 6271 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151284460 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6320/statm: 1340 234 195 169 0 51 0
[pid=6321] ppid=6320 vsize=12132 CPUtime=0
/proc/6321/stat : 6321 (pbsmodels-v1.31) R 6320 6320 6271 0 -1 4194304 274 0 0 0 0 0 0 0 20 0 1 0 151284460 12423168 239 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 273653922482 0 0 4224 0 0 0 0 17 0 0 0
/proc/6321/statm: 3033 245 186 3 0 133 0

[startup+10.0012 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6325
/proc/meminfo: memFree=858752/2055920 swapFree=4183108/4192956
[pid=6320] ppid=6318 vsize=5360 CPUtime=0
/proc/6320/stat : 6320 (runpbsmodels) S 6318 6320 6271 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151284460 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6320/statm: 1340 234 195 169 0 51 0
[pid=6321] ppid=6320 vsize=12268 CPUtime=0
/proc/6321/stat : 6321 (pbsmodels-v1.31) S 6320 6320 6271 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 151284460 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 273662656404 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6321/statm: 3067 383 293 3 0 167 0
[pid=6322] ppid=6321 vsize=5356 CPUtime=0.34
/proc/6322/stat : 6322 (sh) S 6321 6320 6271 0 -1 4194304 309 858 0 0 0 0 34 0 16 0 1 0 151284460 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6322/statm: 1339 227 188 169 0 50 0
[pid=6324] ppid=6322 vsize=4096 CPUtime=9.72
/proc/6324/stat : 6324 (smodels-2.31) R 6322 6320 6271 0 -1 4194304 695 0 0 0 972 0 0 0 25 0 1 0 151284461 4194304 659 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533154 0 0 4096 0 0 0 0 17 1 0 0
/proc/6324/statm: 1024 659 213 21 0 460 0
[pid=6325] ppid=6322 vsize=12400 CPUtime=0
/proc/6325/stat : 6325 (pbout.new.pl) S 6322 6320 6271 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 151284461 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 273662652514 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/6325/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 10.06
Current children cumulated vsize (Kb) 39480

[startup+20.0077 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6325
/proc/meminfo: memFree=858304/2055920 swapFree=4183108/4192956
[pid=6320] ppid=6318 vsize=5360 CPUtime=0
/proc/6320/stat : 6320 (runpbsmodels) S 6318 6320 6271 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151284460 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6320/statm: 1340 234 195 169 0 51 0
[pid=6321] ppid=6320 vsize=12268 CPUtime=0
/proc/6321/stat : 6321 (pbsmodels-v1.31) S 6320 6320 6271 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 151284460 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 273662656404 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6321/statm: 3067 383 293 3 0 167 0
[pid=6322] ppid=6321 vsize=5356 CPUtime=0.34
/proc/6322/stat : 6322 (sh) S 6321 6320 6271 0 -1 4194304 309 858 0 0 0 0 34 0 16 0 1 0 151284460 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6322/statm: 1339 227 188 169 0 50 0
[pid=6324] ppid=6322 vsize=4756 CPUtime=19.73
/proc/6324/stat : 6324 (smodels-2.31) R 6322 6320 6271 0 -1 4194304 852 0 0 0 1973 0 0 0 25 0 1 0 151284461 4870144 816 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533154 0 0 4096 0 0 0 0 17 1 0 0
/proc/6324/statm: 1189 816 213 21 0 625 0
[pid=6325] ppid=6322 vsize=12400 CPUtime=0
/proc/6325/stat : 6325 (pbout.new.pl) S 6322 6320 6271 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 151284461 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 273662652514 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/6325/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 20.07
Current children cumulated vsize (Kb) 40140

[startup+30.0134 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6325
/proc/meminfo: memFree=857408/2055920 swapFree=4183108/4192956
[pid=6320] ppid=6318 vsize=5360 CPUtime=0
/proc/6320/stat : 6320 (runpbsmodels) S 6318 6320 6271 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151284460 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6320/statm: 1340 234 195 169 0 51 0
[pid=6321] ppid=6320 vsize=12268 CPUtime=0
/proc/6321/stat : 6321 (pbsmodels-v1.31) S 6320 6320 6271 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 151284460 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 273662656404 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6321/statm: 3067 383 293 3 0 167 0
[pid=6322] ppid=6321 vsize=5356 CPUtime=0.34
/proc/6322/stat : 6322 (sh) S 6321 6320 6271 0 -1 4194304 309 858 0 0 0 0 34 0 16 0 1 0 151284460 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6322/statm: 1339 227 188 169 0 50 0
[pid=6324] ppid=6322 vsize=5680 CPUtime=29.73
/proc/6324/stat : 6324 (smodels-2.31) R 6322 6320 6271 0 -1 4194304 1084 0 0 0 2973 0 0 0 25 0 1 0 151284461 5816320 1048 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/6324/statm: 1420 1048 213 21 0 856 0
[pid=6325] ppid=6322 vsize=12400 CPUtime=0
/proc/6325/stat : 6325 (pbout.new.pl) S 6322 6320 6271 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 151284461 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 273662652514 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/6325/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 30.07
Current children cumulated vsize (Kb) 41064

[startup+40.0191 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6325
/proc/meminfo: memFree=856832/2055920 swapFree=4183108/4192956
[pid=6320] ppid=6318 vsize=5360 CPUtime=0
/proc/6320/stat : 6320 (runpbsmodels) S 6318 6320 6271 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151284460 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6320/statm: 1340 234 195 169 0 51 0
[pid=6321] ppid=6320 vsize=12268 CPUtime=0
/proc/6321/stat : 6321 (pbsmodels-v1.31) S 6320 6320 6271 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 151284460 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 273662656404 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6321/statm: 3067 383 293 3 0 167 0
[pid=6322] ppid=6321 vsize=5356 CPUtime=0.34
/proc/6322/stat : 6322 (sh) S 6321 6320 6271 0 -1 4194304 309 858 0 0 0 0 34 0 16 0 1 0 151284460 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6322/statm: 1339 227 188 169 0 50 0
[pid=6324] ppid=6322 vsize=6340 CPUtime=39.73
/proc/6324/stat : 6324 (smodels-2.31) R 6322 6320 6271 0 -1 4194304 1238 0 0 0 3973 0 0 0 25 0 1 0 151284461 6492160 1202 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539285 0 0 4096 0 0 0 0 17 1 0 0
/proc/6324/statm: 1585 1202 213 21 0 1021 0
[pid=6325] ppid=6322 vsize=12400 CPUtime=0
/proc/6325/stat : 6325 (pbout.new.pl) S 6322 6320 6271 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 151284461 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 273662652514 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/6325/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 40.07
Current children cumulated vsize (Kb) 41724

[startup+50.0258 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6325
/proc/meminfo: memFree=856192/2055920 swapFree=4183108/4192956
[pid=6320] ppid=6318 vsize=5360 CPUtime=0
/proc/6320/stat : 6320 (runpbsmodels) S 6318 6320 6271 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151284460 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6320/statm: 1340 234 195 169 0 51 0
[pid=6321] ppid=6320 vsize=12268 CPUtime=0
/proc/6321/stat : 6321 (pbsmodels-v1.31) S 6320 6320 6271 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 151284460 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 273662656404 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6321/statm: 3067 383 293 3 0 167 0
[pid=6322] ppid=6321 vsize=5356 CPUtime=0.34
/proc/6322/stat : 6322 (sh) S 6321 6320 6271 0 -1 4194304 309 858 0 0 0 0 34 0 16 0 1 0 151284460 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6322/statm: 1339 227 188 169 0 50 0
[pid=6324] ppid=6322 vsize=6868 CPUtime=49.73
/proc/6324/stat : 6324 (smodels-2.31) R 6322 6320 6271 0 -1 4194304 1392 0 0 0 4973 0 0 0 25 0 1 0 151284461 7032832 1356 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521008 0 0 4096 0 0 0 0 17 1 0 0
/proc/6324/statm: 1717 1356 213 21 0 1153 0
[pid=6325] ppid=6322 vsize=12400 CPUtime=0
/proc/6325/stat : 6325 (pbout.new.pl) S 6322 6320 6271 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 151284461 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 273662652514 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/6325/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 50.07
Current children cumulated vsize (Kb) 42252

[startup+60.0324 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6325
/proc/meminfo: memFree=855616/2055920 swapFree=4183108/4192956
[pid=6320] ppid=6318 vsize=5360 CPUtime=0
/proc/6320/stat : 6320 (runpbsmodels) S 6318 6320 6271 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151284460 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6320/statm: 1340 234 195 169 0 51 0
[pid=6321] ppid=6320 vsize=12268 CPUtime=0
/proc/6321/stat : 6321 (pbsmodels-v1.31) S 6320 6320 6271 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 151284460 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 273662656404 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6321/statm: 3067 383 293 3 0 167 0
[pid=6322] ppid=6321 vsize=5356 CPUtime=0.34
/proc/6322/stat : 6322 (sh) S 6321 6320 6271 0 -1 4194304 309 858 0 0 0 0 34 0 16 0 1 0 151284460 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6322/statm: 1339 227 188 169 0 50 0
[pid=6324] ppid=6322 vsize=7528 CPUtime=59.74
/proc/6324/stat : 6324 (smodels-2.31) R 6322 6320 6271 0 -1 4194304 1546 0 0 0 5974 0 0 0 25 0 1 0 151284461 7708672 1510 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134547349 0 0 4096 0 0 0 0 17 1 0 0
/proc/6324/statm: 1882 1510 213 21 0 1318 0
[pid=6325] ppid=6322 vsize=12400 CPUtime=0
/proc/6325/stat : 6325 (pbout.new.pl) S 6322 6320 6271 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 151284461 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 273662652514 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/6325/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 60.08
Current children cumulated vsize (Kb) 42912

[startup+70.0391 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6325
/proc/meminfo: memFree=854976/2055920 swapFree=4183108/4192956
[pid=6320] ppid=6318 vsize=5360 CPUtime=0
/proc/6320/stat : 6320 (runpbsmodels) S 6318 6320 6271 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151284460 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6320/statm: 1340 234 195 169 0 51 0
[pid=6321] ppid=6320 vsize=12268 CPUtime=0
/proc/6321/stat : 6321 (pbsmodels-v1.31) S 6320 6320 6271 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 151284460 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 273662656404 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6321/statm: 3067 383 293 3 0 167 0
[pid=6322] ppid=6321 vsize=5356 CPUtime=0.34
/proc/6322/stat : 6322 (sh) S 6321 6320 6271 0 -1 4194304 309 858 0 0 0 0 34 0 16 0 1 0 151284460 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6322/statm: 1339 227 188 169 0 50 0
[pid=6324] ppid=6322 vsize=8188 CPUtime=69.74
/proc/6324/stat : 6324 (smodels-2.31) R 6322 6320 6271 0 -1 4194304 1700 0 0 0 6974 0 0 0 25 0 1 0 151284461 8384512 1664 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532999 0 0 4096 0 0 0 0 17 1 0 0
/proc/6324/statm: 2047 1664 213 21 0 1483 0
[pid=6325] ppid=6322 vsize=12400 CPUtime=0
/proc/6325/stat : 6325 (pbout.new.pl) S 6322 6320 6271 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 151284461 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 273662652514 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/6325/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 70.08
Current children cumulated vsize (Kb) 43572

[startup+80.0448 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6325
/proc/meminfo: memFree=854400/2055920 swapFree=4183108/4192956
[pid=6320] ppid=6318 vsize=5360 CPUtime=0
/proc/6320/stat : 6320 (runpbsmodels) S 6318 6320 6271 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151284460 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6320/statm: 1340 234 195 169 0 51 0
[pid=6321] ppid=6320 vsize=12268 CPUtime=0
/proc/6321/stat : 6321 (pbsmodels-v1.31) S 6320 6320 6271 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 151284460 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 273662656404 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6321/statm: 3067 383 293 3 0 167 0
[pid=6322] ppid=6321 vsize=5356 CPUtime=0.34
/proc/6322/stat : 6322 (sh) S 6321 6320 6271 0 -1 4194304 309 858 0 0 0 0 34 0 16 0 1 0 151284460 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6322/statm: 1339 227 188 169 0 50 0
[pid=6324] ppid=6322 vsize=8716 CPUtime=79.74
/proc/6324/stat : 6324 (smodels-2.31) R 6322 6320 6271 0 -1 4194304 1853 0 0 0 7974 0 0 0 25 0 1 0 151284461 8925184 1817 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533189 0 0 4096 0 0 0 0 17 1 0 0
/proc/6324/statm: 2179 1817 213 21 0 1615 0
[pid=6325] ppid=6322 vsize=12400 CPUtime=0
/proc/6325/stat : 6325 (pbout.new.pl) S 6322 6320 6271 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 151284461 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 273662652514 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/6325/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 80.08
Current children cumulated vsize (Kb) 44100

[startup+90.0505 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6325
/proc/meminfo: memFree=853760/2055920 swapFree=4183108/4192956
[pid=6320] ppid=6318 vsize=5360 CPUtime=0
/proc/6320/stat : 6320 (runpbsmodels) S 6318 6320 6271 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151284460 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6320/statm: 1340 234 195 169 0 51 0
[pid=6321] ppid=6320 vsize=12268 CPUtime=0
/proc/6321/stat : 6321 (pbsmodels-v1.31) S 6320 6320 6271 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 151284460 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 273662656404 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6321/statm: 3067 383 293 3 0 167 0
[pid=6322] ppid=6321 vsize=5356 CPUtime=0.34
/proc/6322/stat : 6322 (sh) S 6321 6320 6271 0 -1 4194304 309 858 0 0 0 0 34 0 16 0 1 0 151284460 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0

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

/proc/6324/stat : 6324 (smodels-2.31) R 6322 6320 6271 0 -1 4194304 15065 0 0 0 179334 8 0 0 25 0 1 0 151284461 63127552 15029 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538547 0 0 4096 0 0 0 0 17 1 0 0
/proc/6324/statm: 15412 15029 213 21 0 14848 0
[pid=6325] ppid=6322 vsize=12400 CPUtime=0
/proc/6325/stat : 6325 (pbout.new.pl) S 6322 6320 6271 0 -1 4194304 507 0 0 0 0 0 0 0 16 0 1 0 151284461 12697600 467 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 273662652514 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/6325/statm: 3100 467 333 3 0 200 0
Current children cumulated CPU time (s) 1793.76
Current children cumulated vsize (Kb) 97032

[startup+1795.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6523
/proc/meminfo: memFree=801024/2055920 swapFree=4183108/4192956
[pid=6320] ppid=6318 vsize=5360 CPUtime=0
/proc/6320/stat : 6320 (runpbsmodels) S 6318 6320 6271 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151284460 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6320/statm: 1340 234 195 169 0 51 0
[pid=6321] ppid=6320 vsize=12268 CPUtime=0
/proc/6321/stat : 6321 (pbsmodels-v1.31) S 6320 6320 6271 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 151284460 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 273662656404 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6321/statm: 3067 383 293 3 0 167 0
[pid=6322] ppid=6321 vsize=5356 CPUtime=0.34
/proc/6322/stat : 6322 (sh) S 6321 6320 6271 0 -1 4194304 309 858 0 0 0 0 34 0 16 0 1 0 151284460 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6322/statm: 1339 227 188 169 0 50 0
[pid=6324] ppid=6322 vsize=61648 CPUtime=1794.42
/proc/6324/stat : 6324 (smodels-2.31) R 6322 6320 6271 0 -1 4194304 15065 0 0 0 179434 8 0 0 25 0 1 0 151284461 63127552 15029 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533223 0 0 4096 0 0 0 0 17 1 0 0
/proc/6324/statm: 15412 15029 213 21 0 14848 0
[pid=6325] ppid=6322 vsize=12400 CPUtime=0
/proc/6325/stat : 6325 (pbout.new.pl) S 6322 6320 6271 0 -1 4194304 507 0 0 0 0 0 0 0 16 0 1 0 151284461 12697600 467 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 273662652514 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/6325/statm: 3100 467 333 3 0 200 0
Current children cumulated CPU time (s) 1794.76
Current children cumulated vsize (Kb) 97032

[startup+1796.22 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6523
/proc/meminfo: memFree=800768/2055920 swapFree=4183108/4192956
[pid=6320] ppid=6318 vsize=5360 CPUtime=0
/proc/6320/stat : 6320 (runpbsmodels) S 6318 6320 6271 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151284460 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6320/statm: 1340 234 195 169 0 51 0
[pid=6321] ppid=6320 vsize=12268 CPUtime=0
/proc/6321/stat : 6321 (pbsmodels-v1.31) S 6320 6320 6271 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 151284460 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 273662656404 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6321/statm: 3067 383 293 3 0 167 0
[pid=6322] ppid=6321 vsize=5356 CPUtime=0.34
/proc/6322/stat : 6322 (sh) S 6321 6320 6271 0 -1 4194304 309 858 0 0 0 0 34 0 16 0 1 0 151284460 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6322/statm: 1339 227 188 169 0 50 0
[pid=6324] ppid=6322 vsize=61912 CPUtime=1795.43
/proc/6324/stat : 6324 (smodels-2.31) R 6322 6320 6271 0 -1 4194304 15141 0 0 0 179535 8 0 0 25 0 1 0 151284461 63397888 15105 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558143 0 0 4096 0 0 0 0 17 1 0 0
/proc/6324/statm: 15478 15105 213 21 0 14914 0
[pid=6325] ppid=6322 vsize=12400 CPUtime=0
/proc/6325/stat : 6325 (pbout.new.pl) S 6322 6320 6271 0 -1 4194304 507 0 0 0 0 0 0 0 16 0 1 0 151284461 12697600 467 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 273662652514 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/6325/statm: 3100 467 333 3 0 200 0
Current children cumulated CPU time (s) 1795.77
Current children cumulated vsize (Kb) 97296

[startup+1797.22 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6523
/proc/meminfo: memFree=800768/2055920 swapFree=4183108/4192956
[pid=6320] ppid=6318 vsize=5360 CPUtime=0
/proc/6320/stat : 6320 (runpbsmodels) S 6318 6320 6271 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151284460 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6320/statm: 1340 234 195 169 0 51 0
[pid=6321] ppid=6320 vsize=12268 CPUtime=0
/proc/6321/stat : 6321 (pbsmodels-v1.31) S 6320 6320 6271 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 151284460 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 273662656404 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6321/statm: 3067 383 293 3 0 167 0
[pid=6322] ppid=6321 vsize=5356 CPUtime=0.34
/proc/6322/stat : 6322 (sh) S 6321 6320 6271 0 -1 4194304 309 858 0 0 0 0 34 0 16 0 1 0 151284460 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6322/statm: 1339 227 188 169 0 50 0
[pid=6324] ppid=6322 vsize=61912 CPUtime=1796.43
/proc/6324/stat : 6324 (smodels-2.31) R 6322 6320 6271 0 -1 4194304 15141 0 0 0 179635 8 0 0 25 0 1 0 151284461 63397888 15105 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533019 0 0 4096 0 0 0 0 17 1 0 0
/proc/6324/statm: 15478 15105 213 21 0 14914 0
[pid=6325] ppid=6322 vsize=12400 CPUtime=0
/proc/6325/stat : 6325 (pbout.new.pl) S 6322 6320 6271 0 -1 4194304 507 0 0 0 0 0 0 0 16 0 1 0 151284461 12697600 467 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 273662652514 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/6325/statm: 3100 467 333 3 0 200 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (Kb) 97296

[startup+1798.23 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6523
/proc/meminfo: memFree=800704/2055920 swapFree=4183108/4192956
[pid=6320] ppid=6318 vsize=5360 CPUtime=0
/proc/6320/stat : 6320 (runpbsmodels) S 6318 6320 6271 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151284460 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6320/statm: 1340 234 195 169 0 51 0
[pid=6321] ppid=6320 vsize=12268 CPUtime=0
/proc/6321/stat : 6321 (pbsmodels-v1.31) S 6320 6320 6271 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 151284460 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 273662656404 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6321/statm: 3067 383 293 3 0 167 0
[pid=6322] ppid=6321 vsize=5356 CPUtime=0.34
/proc/6322/stat : 6322 (sh) S 6321 6320 6271 0 -1 4194304 309 858 0 0 0 0 34 0 16 0 1 0 151284460 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6322/statm: 1339 227 188 169 0 50 0
[pid=6324] ppid=6322 vsize=61912 CPUtime=1797.44
/proc/6324/stat : 6324 (smodels-2.31) R 6322 6320 6271 0 -1 4194304 15141 0 0 0 179736 8 0 0 25 0 1 0 151284461 63397888 15105 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533236 0 0 4096 0 0 0 0 17 1 0 0
/proc/6324/statm: 15478 15105 213 21 0 14914 0
[pid=6325] ppid=6322 vsize=12400 CPUtime=0
/proc/6325/stat : 6325 (pbout.new.pl) S 6322 6320 6271 0 -1 4194304 507 0 0 0 0 0 0 0 16 0 1 0 151284461 12697600 467 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 273662652514 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/6325/statm: 3100 467 333 3 0 200 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (Kb) 97296

[startup+1799.23 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6523
/proc/meminfo: memFree=800704/2055920 swapFree=4183108/4192956
[pid=6320] ppid=6318 vsize=5360 CPUtime=0
/proc/6320/stat : 6320 (runpbsmodels) S 6318 6320 6271 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151284460 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6320/statm: 1340 234 195 169 0 51 0
[pid=6321] ppid=6320 vsize=12268 CPUtime=0
/proc/6321/stat : 6321 (pbsmodels-v1.31) S 6320 6320 6271 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 151284460 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 273662656404 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6321/statm: 3067 383 293 3 0 167 0
[pid=6322] ppid=6321 vsize=5356 CPUtime=0.34
/proc/6322/stat : 6322 (sh) S 6321 6320 6271 0 -1 4194304 309 858 0 0 0 0 34 0 16 0 1 0 151284460 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6322/statm: 1339 227 188 169 0 50 0
[pid=6324] ppid=6322 vsize=61912 CPUtime=1798.44
/proc/6324/stat : 6324 (smodels-2.31) R 6322 6320 6271 0 -1 4194304 15141 0 0 0 179836 8 0 0 25 0 1 0 151284461 63397888 15105 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521474 0 0 4096 0 0 0 0 17 1 0 0
/proc/6324/statm: 15478 15105 213 21 0 14914 0
[pid=6325] ppid=6322 vsize=12400 CPUtime=0
/proc/6325/stat : 6325 (pbout.new.pl) S 6322 6320 6271 0 -1 4194304 507 0 0 0 0 0 0 0 16 0 1 0 151284461 12697600 467 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 273662652514 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/6325/statm: 3100 467 333 3 0 200 0
Current children cumulated CPU time (s) 1798.78
Current children cumulated vsize (Kb) 97296

[startup+1800.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6523
/proc/meminfo: memFree=800448/2055920 swapFree=4183108/4192956
[pid=6320] ppid=6318 vsize=5360 CPUtime=0
/proc/6320/stat : 6320 (runpbsmodels) S 6318 6320 6271 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151284460 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6320/statm: 1340 234 195 169 0 51 0
[pid=6321] ppid=6320 vsize=12268 CPUtime=0
/proc/6321/stat : 6321 (pbsmodels-v1.31) S 6320 6320 6271 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 151284460 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 273662656404 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6321/statm: 3067 383 293 3 0 167 0
[pid=6322] ppid=6321 vsize=5356 CPUtime=0.34
/proc/6322/stat : 6322 (sh) S 6321 6320 6271 0 -1 4194304 309 858 0 0 0 0 34 0 16 0 1 0 151284460 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6322/statm: 1339 227 188 169 0 50 0
[pid=6324] ppid=6322 vsize=62176 CPUtime=1799.45
/proc/6324/stat : 6324 (smodels-2.31) R 6322 6320 6271 0 -1 4194304 15215 0 0 0 179937 8 0 0 25 0 1 0 151284461 63668224 15179 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558223 0 0 4096 0 0 0 0 17 1 0 0
/proc/6324/statm: 15544 15179 213 21 0 14980 0
[pid=6325] ppid=6322 vsize=12400 CPUtime=0
/proc/6325/stat : 6325 (pbout.new.pl) S 6322 6320 6271 0 -1 4194304 507 0 0 0 0 0 0 0 16 0 1 0 151284461 12697600 467 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 273662652514 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/6325/statm: 3100 467 333 3 0 200 0
Current children cumulated CPU time (s) 1799.79
Current children cumulated vsize (Kb) 97560

[startup+1801.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6523
/proc/meminfo: memFree=800448/2055920 swapFree=4183108/4192956
[pid=6320] ppid=6318 vsize=5360 CPUtime=0
/proc/6320/stat : 6320 (runpbsmodels) S 6318 6320 6271 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151284460 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6320/statm: 1340 234 195 169 0 51 0
[pid=6321] ppid=6320 vsize=12268 CPUtime=0
/proc/6321/stat : 6321 (pbsmodels-v1.31) S 6320 6320 6271 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 151284460 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 273662656404 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6321/statm: 3067 383 293 3 0 167 0
[pid=6322] ppid=6321 vsize=5356 CPUtime=0.34
/proc/6322/stat : 6322 (sh) S 6321 6320 6271 0 -1 4194304 309 858 0 0 0 0 34 0 16 0 1 0 151284460 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6322/statm: 1339 227 188 169 0 50 0
[pid=6324] ppid=6322 vsize=62176 CPUtime=1800.45
/proc/6324/stat : 6324 (smodels-2.31) R 6322 6320 6271 0 -1 4194304 15215 0 0 0 180037 8 0 0 25 0 1 0 151284461 63668224 15179 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0
/proc/6324/statm: 15544 15179 213 21 0 14980 0
[pid=6325] ppid=6322 vsize=12400 CPUtime=0
/proc/6325/stat : 6325 (pbout.new.pl) S 6322 6320 6271 0 -1 4194304 507 0 0 0 0 0 0 0 16 0 1 0 151284461 12697600 467 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 273662652514 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/6325/statm: 3100 467 333 3 0 200 0
Current children cumulated CPU time (s) 1800.79
Current children cumulated vsize (Kb) 97560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.25 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6523
/proc/meminfo: memFree=800448/2055920 swapFree=4183108/4192956
[pid=6320] ppid=6318 vsize=5360 CPUtime=0
/proc/6320/stat : 6320 (runpbsmodels) S 6318 6320 6271 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151284460 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6320/statm: 1340 234 195 169 0 51 0
[pid=6321] ppid=6320 vsize=12268 CPUtime=0
/proc/6321/stat : 6321 (pbsmodels-v1.31) S 6320 6320 6271 0 -1 4194304 425 0 0 0 0 0 0 0 19 0 1 0 151284460 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 273662656404 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6321/statm: 3067 383 293 3 0 167 0
[pid=6322] ppid=6321 vsize=5356 CPUtime=0.34
/proc/6322/stat : 6322 (sh) S 6321 6320 6271 0 -1 4194304 309 858 0 0 0 0 34 0 16 0 1 0 151284460 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6322/statm: 1339 227 188 169 0 50 0
[pid=6324] ppid=6322 vsize=62176 CPUtime=1800.46
/proc/6324/stat : 6324 (smodels-2.31) R 6322 6320 6271 0 -1 4194304 15215 0 0 0 180038 8 0 0 25 0 1 0 151284461 63668224 15179 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533244 0 0 4096 0 0 0 0 17 1 0 0
/proc/6324/statm: 15544 15179 213 21 0 14980 0
[pid=6325] ppid=6322 vsize=12400 CPUtime=0
/proc/6325/stat : 6325 (pbout.new.pl) S 6322 6320 6271 0 -1 4194304 507 0 0 0 0 0 0 0 16 0 1 0 151284461 12697600 467 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 273662652514 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/6325/statm: 3100 467 333 3 0 200 0
Current children cumulated CPU time (s) 1800.8
Current children cumulated vsize (Kb) 97560

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 6320 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=1999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=0
CPU time returned by wait4() is 0.001999
while last known CPU time is 1800.8

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 1801.27
CPU time (s): 1800.8
CPU user time (s): 1800.72
CPU system time (s): 0.08
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (Kb): 97560
The end

Launcher Data (download as text)

Begin job on node52 on Thu Jul 27 23:48:59 UTC 2006


FILE ID= 45701-1154044139

PBS_JOBID= 881441

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node52/45701-1154044139/instance-45701-1154044139.opb 145471981  ROOT/tmp/node52/45701-1154044139
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-45701-1154044139 -o ROOT/results/node52/solver-45701-1154044139 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node52/45701-1154044139/instance-45701-1154044139.opb 145471981  ROOT/tmp/node52/45701-1154044139

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  df1c0055bf82833faa95d352e28c6731

RANDOM SEED= 145471981

TIMEOUT= 1800 seconds


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        862368 kB
Buffers:         36992 kB
Cached:        1085896 kB
SwapCached:       3736 kB
Active:         285488 kB
Inactive:       846024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        862368 kB
SwapTotal:     4192956 kB
SwapFree:      4183108 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14716 kB
Slab:            47928 kB
Committed_AS:   594512 kB
PageTables:       1500 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node52 on Fri Jul 28 00:19:00 UTC 2006