Trace number 51030

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)205 1800.59 1801.3

General information on the benchmark

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

Verifier Data (download as text)

OK	205

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/node17/watcher-51030-1154083294 -o ROOT/results/node17/solver-51030-1154083294 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node17/51030-1154083294/instance-51030-1154083294.opb 418649359 ROOT/tmp/node17/51030-1154083294 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 16020
/proc/meminfo: memFree=1435440/2055920 swapFree=4183520/4192956
[pid=16020] ppid=16018 vsize=5212 CPUtime=0
/proc/16020/stat : 16020 (runpbsmodels) R 16018 16020 15971 0 -1 4194304 118 0 0 0 0 0 0 0 19 0 1 0 155189961 5337088 89 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245483142468 0 0 4096 0 0 0 0 17 1 0 0
/proc/16020/statm: 1303 99 79 169 0 14 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 16025
/proc/meminfo: memFree=1431888/2055920 swapFree=4183520/4192956
[pid=16020] ppid=16018 vsize=5360 CPUtime=0
/proc/16020/stat : 16020 (runpbsmodels) S 16018 16020 15971 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155189961 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16020/statm: 1340 234 195 169 0 51 0
[pid=16021] ppid=16020 vsize=12268 CPUtime=0
/proc/16021/stat : 16021 (pbsmodels-v1.31) S 16020 16020 15971 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155189961 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16021/statm: 3067 383 293 3 0 167 0
[pid=16022] ppid=16021 vsize=5356 CPUtime=0.37
/proc/16022/stat : 16022 (sh) S 16021 16020 15971 0 -1 4194304 309 858 0 0 0 0 37 0 16 0 1 0 155189962 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 227 188 169 0 50 0
[pid=16024] ppid=16022 vsize=4100 CPUtime=9.68
/proc/16024/stat : 16024 (smodels-2.31) R 16022 16020 15971 0 -1 4194304 695 0 0 0 968 0 0 0 25 0 1 0 155189962 4198400 659 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558143 0 0 4096 0 0 0 0 17 1 0 0
/proc/16024/statm: 1025 659 213 21 0 461 0
[pid=16025] ppid=16022 vsize=12400 CPUtime=0
/proc/16025/stat : 16025 (pbout.new.pl) S 16022 16020 15971 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 155189962 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16025/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 10.05
Current children cumulated vsize (Kb) 39484

[startup+20.0093 s]
/proc/loadavg: 0.94 0.98 0.99 2/68 16025
/proc/meminfo: memFree=1431184/2055920 swapFree=4183520/4192956
[pid=16020] ppid=16018 vsize=5360 CPUtime=0
/proc/16020/stat : 16020 (runpbsmodels) S 16018 16020 15971 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155189961 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16020/statm: 1340 234 195 169 0 51 0
[pid=16021] ppid=16020 vsize=12268 CPUtime=0
/proc/16021/stat : 16021 (pbsmodels-v1.31) S 16020 16020 15971 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155189961 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16021/statm: 3067 383 293 3 0 167 0
[pid=16022] ppid=16021 vsize=5356 CPUtime=0.37
/proc/16022/stat : 16022 (sh) S 16021 16020 15971 0 -1 4194304 309 858 0 0 0 0 37 0 16 0 1 0 155189962 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 227 188 169 0 50 0
[pid=16024] ppid=16022 vsize=5024 CPUtime=19.69
/proc/16024/stat : 16024 (smodels-2.31) R 16022 16020 15971 0 -1 4194304 930 0 0 0 1969 0 0 0 25 0 1 0 155189962 5144576 894 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521662 0 0 4096 0 0 0 0 17 1 0 0
/proc/16024/statm: 1256 894 213 21 0 692 0
[pid=16025] ppid=16022 vsize=12400 CPUtime=0
/proc/16025/stat : 16025 (pbout.new.pl) S 16022 16020 15971 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 155189962 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16025/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 20.06
Current children cumulated vsize (Kb) 40408

[startup+30.0162 s]
/proc/loadavg: 0.95 0.98 0.99 2/68 16025
/proc/meminfo: memFree=1430544/2055920 swapFree=4183520/4192956
[pid=16020] ppid=16018 vsize=5360 CPUtime=0
/proc/16020/stat : 16020 (runpbsmodels) S 16018 16020 15971 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155189961 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16020/statm: 1340 234 195 169 0 51 0
[pid=16021] ppid=16020 vsize=12268 CPUtime=0
/proc/16021/stat : 16021 (pbsmodels-v1.31) S 16020 16020 15971 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155189961 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16021/statm: 3067 383 293 3 0 167 0
[pid=16022] ppid=16021 vsize=5356 CPUtime=0.37
/proc/16022/stat : 16022 (sh) S 16021 16020 15971 0 -1 4194304 309 858 0 0 0 0 37 0 16 0 1 0 155189962 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 227 188 169 0 50 0
[pid=16024] ppid=16022 vsize=5684 CPUtime=29.69
/proc/16024/stat : 16024 (smodels-2.31) R 16022 16020 15971 0 -1 4194304 1085 0 0 0 2969 0 0 0 25 0 1 0 155189962 5820416 1049 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521782 0 0 4096 0 0 0 0 17 1 0 0
/proc/16024/statm: 1421 1049 213 21 0 857 0
[pid=16025] ppid=16022 vsize=12400 CPUtime=0
/proc/16025/stat : 16025 (pbout.new.pl) S 16022 16020 15971 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 155189962 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16025/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 30.06
Current children cumulated vsize (Kb) 41068

[startup+40.023 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 16025
/proc/meminfo: memFree=1429904/2055920 swapFree=4183520/4192956
[pid=16020] ppid=16018 vsize=5360 CPUtime=0
/proc/16020/stat : 16020 (runpbsmodels) S 16018 16020 15971 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155189961 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16020/statm: 1340 234 195 169 0 51 0
[pid=16021] ppid=16020 vsize=12268 CPUtime=0
/proc/16021/stat : 16021 (pbsmodels-v1.31) S 16020 16020 15971 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155189961 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16021/statm: 3067 383 293 3 0 167 0
[pid=16022] ppid=16021 vsize=5356 CPUtime=0.37
/proc/16022/stat : 16022 (sh) S 16021 16020 15971 0 -1 4194304 309 858 0 0 0 0 37 0 16 0 1 0 155189962 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 227 188 169 0 50 0
[pid=16024] ppid=16022 vsize=6344 CPUtime=39.69
/proc/16024/stat : 16024 (smodels-2.31) R 16022 16020 15971 0 -1 4194304 1240 0 0 0 3969 0 0 0 25 0 1 0 155189962 6496256 1204 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521039 0 0 4096 0 0 0 0 17 1 0 0
/proc/16024/statm: 1586 1204 213 21 0 1022 0
[pid=16025] ppid=16022 vsize=12400 CPUtime=0
/proc/16025/stat : 16025 (pbout.new.pl) S 16022 16020 15971 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 155189962 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16025/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 40.06
Current children cumulated vsize (Kb) 41728

[startup+50.0299 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 16025
/proc/meminfo: memFree=1429264/2055920 swapFree=4183520/4192956
[pid=16020] ppid=16018 vsize=5360 CPUtime=0
/proc/16020/stat : 16020 (runpbsmodels) S 16018 16020 15971 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155189961 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16020/statm: 1340 234 195 169 0 51 0
[pid=16021] ppid=16020 vsize=12268 CPUtime=0
/proc/16021/stat : 16021 (pbsmodels-v1.31) S 16020 16020 15971 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155189961 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16021/statm: 3067 383 293 3 0 167 0
[pid=16022] ppid=16021 vsize=5356 CPUtime=0.37
/proc/16022/stat : 16022 (sh) S 16021 16020 15971 0 -1 4194304 309 858 0 0 0 0 37 0 16 0 1 0 155189962 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 227 188 169 0 50 0
[pid=16024] ppid=16022 vsize=6872 CPUtime=49.69
/proc/16024/stat : 16024 (smodels-2.31) R 16022 16020 15971 0 -1 4194304 1395 0 0 0 4969 0 0 0 25 0 1 0 155189962 7036928 1359 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558032 0 0 4096 0 0 0 0 17 1 0 0
/proc/16024/statm: 1718 1359 213 21 0 1154 0
[pid=16025] ppid=16022 vsize=12400 CPUtime=0
/proc/16025/stat : 16025 (pbout.new.pl) S 16022 16020 15971 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 155189962 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16025/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 50.06
Current children cumulated vsize (Kb) 42256

[startup+60.0367 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 16025
/proc/meminfo: memFree=1428688/2055920 swapFree=4183520/4192956
[pid=16020] ppid=16018 vsize=5360 CPUtime=0
/proc/16020/stat : 16020 (runpbsmodels) S 16018 16020 15971 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155189961 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16020/statm: 1340 234 195 169 0 51 0
[pid=16021] ppid=16020 vsize=12268 CPUtime=0
/proc/16021/stat : 16021 (pbsmodels-v1.31) S 16020 16020 15971 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155189961 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16021/statm: 3067 383 293 3 0 167 0
[pid=16022] ppid=16021 vsize=5356 CPUtime=0.37
/proc/16022/stat : 16022 (sh) S 16021 16020 15971 0 -1 4194304 309 858 0 0 0 0 37 0 16 0 1 0 155189962 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 227 188 169 0 50 0
[pid=16024] ppid=16022 vsize=7532 CPUtime=59.7
/proc/16024/stat : 16024 (smodels-2.31) R 16022 16020 15971 0 -1 4194304 1549 0 0 0 5970 0 0 0 25 0 1 0 155189962 7712768 1513 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538379 0 0 4096 0 0 0 0 17 1 0 0
/proc/16024/statm: 1883 1513 213 21 0 1319 0
[pid=16025] ppid=16022 vsize=12400 CPUtime=0
/proc/16025/stat : 16025 (pbout.new.pl) S 16022 16020 15971 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 155189962 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16025/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 60.07
Current children cumulated vsize (Kb) 42916

[startup+70.0436 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 16025
/proc/meminfo: memFree=1428048/2055920 swapFree=4183520/4192956
[pid=16020] ppid=16018 vsize=5360 CPUtime=0
/proc/16020/stat : 16020 (runpbsmodels) S 16018 16020 15971 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155189961 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16020/statm: 1340 234 195 169 0 51 0
[pid=16021] ppid=16020 vsize=12268 CPUtime=0
/proc/16021/stat : 16021 (pbsmodels-v1.31) S 16020 16020 15971 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155189961 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16021/statm: 3067 383 293 3 0 167 0
[pid=16022] ppid=16021 vsize=5356 CPUtime=0.37
/proc/16022/stat : 16022 (sh) S 16021 16020 15971 0 -1 4194304 309 858 0 0 0 0 37 0 16 0 1 0 155189962 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 227 188 169 0 50 0
[pid=16024] ppid=16022 vsize=8192 CPUtime=69.7
/proc/16024/stat : 16024 (smodels-2.31) R 16022 16020 15971 0 -1 4194304 1704 0 0 0 6970 0 0 0 25 0 1 0 155189962 8388608 1668 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533180 0 0 4096 0 0 0 0 17 1 0 0
/proc/16024/statm: 2048 1668 213 21 0 1484 0
[pid=16025] ppid=16022 vsize=12400 CPUtime=0
/proc/16025/stat : 16025 (pbout.new.pl) S 16022 16020 15971 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 155189962 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16025/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 70.07
Current children cumulated vsize (Kb) 43576

[startup+80.0504 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 16025
/proc/meminfo: memFree=1427472/2055920 swapFree=4183520/4192956
[pid=16020] ppid=16018 vsize=5360 CPUtime=0
/proc/16020/stat : 16020 (runpbsmodels) S 16018 16020 15971 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155189961 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16020/statm: 1340 234 195 169 0 51 0
[pid=16021] ppid=16020 vsize=12268 CPUtime=0
/proc/16021/stat : 16021 (pbsmodels-v1.31) S 16020 16020 15971 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155189961 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16021/statm: 3067 383 293 3 0 167 0
[pid=16022] ppid=16021 vsize=5356 CPUtime=0.37
/proc/16022/stat : 16022 (sh) S 16021 16020 15971 0 -1 4194304 309 858 0 0 0 0 37 0 16 0 1 0 155189962 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 227 188 169 0 50 0
[pid=16024] ppid=16022 vsize=8720 CPUtime=79.7
/proc/16024/stat : 16024 (smodels-2.31) R 16022 16020 15971 0 -1 4194304 1858 0 0 0 7970 0 0 0 25 0 1 0 155189962 8929280 1822 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134522213 0 0 4096 0 0 0 0 17 1 0 0
/proc/16024/statm: 2180 1822 213 21 0 1616 0
[pid=16025] ppid=16022 vsize=12400 CPUtime=0
/proc/16025/stat : 16025 (pbout.new.pl) S 16022 16020 15971 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 155189962 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16025/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 80.07
Current children cumulated vsize (Kb) 44104

[startup+90.0573 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 16025
/proc/meminfo: memFree=1426832/2055920 swapFree=4183520/4192956
[pid=16020] ppid=16018 vsize=5360 CPUtime=0
/proc/16020/stat : 16020 (runpbsmodels) S 16018 16020 15971 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155189961 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16020/statm: 1340 234 195 169 0 51 0
[pid=16021] ppid=16020 vsize=12268 CPUtime=0
/proc/16021/stat : 16021 (pbsmodels-v1.31) S 16020 16020 15971 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155189961 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16021/statm: 3067 383 293 3 0 167 0
[pid=16022] ppid=16021 vsize=5356 CPUtime=0.37
/proc/16022/stat : 16022 (sh) S 16021 16020 15971 0 -1 4194304 309 858 0 0 0 0 37 0 16 0 1 0 155189962 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 227 188 169 0 50 0
[pid=16024] ppid=16022 vsize=9380 CPUtime=89.7
/proc/16024/stat : 16024 (smodels-2.31) R 16022 16020 15971 0 -1 4194304 2012 0 0 0 8970 0 0 0 25 0 1 0 155189962 9605120 1976 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538454 0 0 4096 0 0 0 0 17 1 0 0

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

/proc/16024/stat : 16024 (smodels-2.31) R 16022 16020 15971 0 -1 4194304 14823 0 0 0 179306 12 0 0 25 0 1 0 155189962 62050304 14787 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521046 0 0 4096 0 0 0 0 17 1 0 0
/proc/16024/statm: 15149 14787 213 21 0 14585 0
[pid=16025] ppid=16022 vsize=12400 CPUtime=0
/proc/16025/stat : 16025 (pbout.new.pl) S 16022 16020 15971 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 155189962 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16025/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 1793.55
Current children cumulated vsize (Kb) 95980

[startup+1795.24 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 16223
/proc/meminfo: memFree=1374992/2055920 swapFree=4183520/4192956
[pid=16020] ppid=16018 vsize=5360 CPUtime=0
/proc/16020/stat : 16020 (runpbsmodels) S 16018 16020 15971 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155189961 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16020/statm: 1340 234 195 169 0 51 0
[pid=16021] ppid=16020 vsize=12268 CPUtime=0
/proc/16021/stat : 16021 (pbsmodels-v1.31) S 16020 16020 15971 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155189961 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16021/statm: 3067 383 293 3 0 167 0
[pid=16022] ppid=16021 vsize=5356 CPUtime=0.37
/proc/16022/stat : 16022 (sh) S 16021 16020 15971 0 -1 4194304 309 858 0 0 0 0 37 0 16 0 1 0 155189962 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 227 188 169 0 50 0
[pid=16024] ppid=16022 vsize=60596 CPUtime=1794.19
/proc/16024/stat : 16024 (smodels-2.31) R 16022 16020 15971 0 -1 4194304 14823 0 0 0 179407 12 0 0 25 0 1 0 155189962 62050304 14787 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539768 0 0 4096 0 0 0 0 17 1 0 0
/proc/16024/statm: 15149 14787 213 21 0 14585 0
[pid=16025] ppid=16022 vsize=12400 CPUtime=0
/proc/16025/stat : 16025 (pbout.new.pl) S 16022 16020 15971 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 155189962 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16025/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (Kb) 95980

[startup+1796.24 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 16223
/proc/meminfo: memFree=1374992/2055920 swapFree=4183520/4192956
[pid=16020] ppid=16018 vsize=5360 CPUtime=0
/proc/16020/stat : 16020 (runpbsmodels) S 16018 16020 15971 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155189961 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16020/statm: 1340 234 195 169 0 51 0
[pid=16021] ppid=16020 vsize=12268 CPUtime=0
/proc/16021/stat : 16021 (pbsmodels-v1.31) S 16020 16020 15971 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155189961 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16021/statm: 3067 383 293 3 0 167 0
[pid=16022] ppid=16021 vsize=5356 CPUtime=0.37
/proc/16022/stat : 16022 (sh) S 16021 16020 15971 0 -1 4194304 309 858 0 0 0 0 37 0 16 0 1 0 155189962 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 227 188 169 0 50 0
[pid=16024] ppid=16022 vsize=60596 CPUtime=1795.19
/proc/16024/stat : 16024 (smodels-2.31) R 16022 16020 15971 0 -1 4194304 14823 0 0 0 179507 12 0 0 25 0 1 0 155189962 62050304 14787 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/16024/statm: 15149 14787 213 21 0 14585 0
[pid=16025] ppid=16022 vsize=12400 CPUtime=0
/proc/16025/stat : 16025 (pbout.new.pl) S 16022 16020 15971 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 155189962 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16025/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 1795.56
Current children cumulated vsize (Kb) 95980

[startup+1797.25 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 16223
/proc/meminfo: memFree=1374992/2055920 swapFree=4183520/4192956
[pid=16020] ppid=16018 vsize=5360 CPUtime=0
/proc/16020/stat : 16020 (runpbsmodels) S 16018 16020 15971 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155189961 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16020/statm: 1340 234 195 169 0 51 0
[pid=16021] ppid=16020 vsize=12268 CPUtime=0
/proc/16021/stat : 16021 (pbsmodels-v1.31) S 16020 16020 15971 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155189961 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16021/statm: 3067 383 293 3 0 167 0
[pid=16022] ppid=16021 vsize=5356 CPUtime=0.37
/proc/16022/stat : 16022 (sh) S 16021 16020 15971 0 -1 4194304 309 858 0 0 0 0 37 0 16 0 1 0 155189962 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 227 188 169 0 50 0
[pid=16024] ppid=16022 vsize=60596 CPUtime=1796.2
/proc/16024/stat : 16024 (smodels-2.31) R 16022 16020 15971 0 -1 4194304 14823 0 0 0 179608 12 0 0 25 0 1 0 155189962 62050304 14787 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134518882 0 0 4096 0 0 0 0 17 1 0 0
/proc/16024/statm: 15149 14787 213 21 0 14585 0
[pid=16025] ppid=16022 vsize=12400 CPUtime=0
/proc/16025/stat : 16025 (pbout.new.pl) S 16022 16020 15971 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 155189962 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16025/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 1796.57
Current children cumulated vsize (Kb) 95980

[startup+1798.25 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 16223
/proc/meminfo: memFree=1374992/2055920 swapFree=4183520/4192956
[pid=16020] ppid=16018 vsize=5360 CPUtime=0
/proc/16020/stat : 16020 (runpbsmodels) S 16018 16020 15971 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155189961 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16020/statm: 1340 234 195 169 0 51 0
[pid=16021] ppid=16020 vsize=12268 CPUtime=0
/proc/16021/stat : 16021 (pbsmodels-v1.31) S 16020 16020 15971 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155189961 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16021/statm: 3067 383 293 3 0 167 0
[pid=16022] ppid=16021 vsize=5356 CPUtime=0.37
/proc/16022/stat : 16022 (sh) S 16021 16020 15971 0 -1 4194304 309 858 0 0 0 0 37 0 16 0 1 0 155189962 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 227 188 169 0 50 0
[pid=16024] ppid=16022 vsize=60596 CPUtime=1797.2
/proc/16024/stat : 16024 (smodels-2.31) R 16022 16020 15971 0 -1 4194304 14823 0 0 0 179708 12 0 0 25 0 1 0 155189962 62050304 14787 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538547 0 0 4096 0 0 0 0 17 1 0 0
/proc/16024/statm: 15149 14787 213 21 0 14585 0
[pid=16025] ppid=16022 vsize=12400 CPUtime=0
/proc/16025/stat : 16025 (pbout.new.pl) S 16022 16020 15971 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 155189962 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16025/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (Kb) 95980

[startup+1799.26 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 16223
/proc/meminfo: memFree=1374992/2055920 swapFree=4183520/4192956
[pid=16020] ppid=16018 vsize=5360 CPUtime=0
/proc/16020/stat : 16020 (runpbsmodels) S 16018 16020 15971 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155189961 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16020/statm: 1340 234 195 169 0 51 0
[pid=16021] ppid=16020 vsize=12268 CPUtime=0
/proc/16021/stat : 16021 (pbsmodels-v1.31) S 16020 16020 15971 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155189961 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16021/statm: 3067 383 293 3 0 167 0
[pid=16022] ppid=16021 vsize=5356 CPUtime=0.37
/proc/16022/stat : 16022 (sh) S 16021 16020 15971 0 -1 4194304 309 858 0 0 0 0 37 0 16 0 1 0 155189962 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 227 188 169 0 50 0
[pid=16024] ppid=16022 vsize=60596 CPUtime=1798.21
/proc/16024/stat : 16024 (smodels-2.31) R 16022 16020 15971 0 -1 4194304 14823 0 0 0 179809 12 0 0 25 0 1 0 155189962 62050304 14787 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538389 0 0 4096 0 0 0 0 17 1 0 0
/proc/16024/statm: 15149 14787 213 21 0 14585 0
[pid=16025] ppid=16022 vsize=12400 CPUtime=0
/proc/16025/stat : 16025 (pbout.new.pl) S 16022 16020 15971 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 155189962 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16025/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (Kb) 95980

[startup+1800.26 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 16223
/proc/meminfo: memFree=1374992/2055920 swapFree=4183520/4192956
[pid=16020] ppid=16018 vsize=5360 CPUtime=0
/proc/16020/stat : 16020 (runpbsmodels) S 16018 16020 15971 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155189961 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16020/statm: 1340 234 195 169 0 51 0
[pid=16021] ppid=16020 vsize=12268 CPUtime=0
/proc/16021/stat : 16021 (pbsmodels-v1.31) S 16020 16020 15971 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155189961 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16021/statm: 3067 383 293 3 0 167 0
[pid=16022] ppid=16021 vsize=5356 CPUtime=0.37
/proc/16022/stat : 16022 (sh) S 16021 16020 15971 0 -1 4194304 309 858 0 0 0 0 37 0 16 0 1 0 155189962 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 227 188 169 0 50 0
[pid=16024] ppid=16022 vsize=60596 CPUtime=1799.21
/proc/16024/stat : 16024 (smodels-2.31) R 16022 16020 15971 0 -1 4194304 14823 0 0 0 179909 12 0 0 25 0 1 0 155189962 62050304 14787 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533154 0 0 4096 0 0 0 0 17 1 0 0
/proc/16024/statm: 15149 14787 213 21 0 14585 0
[pid=16025] ppid=16022 vsize=12400 CPUtime=0
/proc/16025/stat : 16025 (pbout.new.pl) S 16022 16020 15971 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 155189962 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16025/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (Kb) 95980

[startup+1801.27 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 16223
/proc/meminfo: memFree=1374992/2055920 swapFree=4183520/4192956
[pid=16020] ppid=16018 vsize=5360 CPUtime=0
/proc/16020/stat : 16020 (runpbsmodels) S 16018 16020 15971 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155189961 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16020/statm: 1340 234 195 169 0 51 0
[pid=16021] ppid=16020 vsize=12268 CPUtime=0
/proc/16021/stat : 16021 (pbsmodels-v1.31) S 16020 16020 15971 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155189961 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16021/statm: 3067 383 293 3 0 167 0
[pid=16022] ppid=16021 vsize=5356 CPUtime=0.37
/proc/16022/stat : 16022 (sh) S 16021 16020 15971 0 -1 4194304 309 858 0 0 0 0 37 0 16 0 1 0 155189962 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 227 188 169 0 50 0
[pid=16024] ppid=16022 vsize=60596 CPUtime=1800.22
/proc/16024/stat : 16024 (smodels-2.31) R 16022 16020 15971 0 -1 4194304 14823 0 0 0 180010 12 0 0 25 0 1 0 155189962 62050304 14787 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521724 0 0 4096 0 0 0 0 17 1 0 0
/proc/16024/statm: 15149 14787 213 21 0 14585 0
[pid=16025] ppid=16022 vsize=12400 CPUtime=0
/proc/16025/stat : 16025 (pbout.new.pl) S 16022 16020 15971 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 155189962 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16025/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (Kb) 95980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.27 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 16223
/proc/meminfo: memFree=1374992/2055920 swapFree=4183520/4192956
[pid=16020] ppid=16018 vsize=5360 CPUtime=0
/proc/16020/stat : 16020 (runpbsmodels) S 16018 16020 15971 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155189961 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16020/statm: 1340 234 195 169 0 51 0
[pid=16021] ppid=16020 vsize=12268 CPUtime=0
/proc/16021/stat : 16021 (pbsmodels-v1.31) S 16020 16020 15971 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155189961 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16021/statm: 3067 383 293 3 0 167 0
[pid=16022] ppid=16021 vsize=5356 CPUtime=0.37
/proc/16022/stat : 16022 (sh) S 16021 16020 15971 0 -1 4194304 309 858 0 0 0 0 37 0 16 0 1 0 155189962 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16022/statm: 1339 227 188 169 0 50 0
[pid=16024] ppid=16022 vsize=60596 CPUtime=1800.22
/proc/16024/stat : 16024 (smodels-2.31) R 16022 16020 15971 0 -1 4194304 14823 0 0 0 180010 12 0 0 25 0 1 0 155189962 62050304 14787 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521735 0 0 4096 0 0 0 0 17 1 0 0
/proc/16024/statm: 15149 14787 213 21 0 14585 0
[pid=16025] ppid=16022 vsize=12400 CPUtime=0
/proc/16025/stat : 16025 (pbout.new.pl) S 16022 16020 15971 0 -1 4194304 500 0 0 0 0 0 0 0 16 0 1 0 155189962 12697600 460 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/16025/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (Kb) 95980

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 16020 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=999
CPU time returned by wait4() is 0.002998
while last known CPU time is 1800.59

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

Real time (s): 1801.3
CPU time (s): 1800.59
CPU user time (s): 1800.47
CPU system time (s): 0.12
CPU usage (%): 99.9608
Max. virtual memory (cumulated for all children) (Kb): 95980
The end

Launcher Data (download as text)

Begin job on node17 on Fri Jul 28 10:41:34 UTC 2006


FILE ID= 51030-1154083294

PBS_JOBID= 885194

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node17/51030-1154083294/instance-51030-1154083294.opb 418649359  ROOT/tmp/node17/51030-1154083294
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-51030-1154083294 -o ROOT/results/node17/solver-51030-1154083294 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node17/51030-1154083294/instance-51030-1154083294.opb 418649359  ROOT/tmp/node17/51030-1154083294

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

RANDOM SEED= 418649359

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.263
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.263
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:       1435648 kB
Buffers:         40624 kB
Cached:         502608 kB
SwapCached:       3080 kB
Active:         134468 kB
Inactive:       417284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1435648 kB
SwapTotal:     4192956 kB
SwapFree:      4183520 kB
Dirty:             192 kB
Writeback:           0 kB
Mapped:          14460 kB
Slab:            54536 kB
Committed_AS:   673188 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node17 on Fri Jul 28 11:11:35 UTC 2006