Trace number 34278

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.28SAT (TO)202 1800.57 1801.3

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

Verifier Data (download as text)

OK	202

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/node2/watcher-34278-1154044073 -o ROOT/results/node2/solver-34278-1154044073 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node2/34278-1154044073/instance-34278-1154044073.opb 595745359 ROOT/tmp/node2/34278-1154044073 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 3/64 22946
/proc/meminfo: memFree=1421144/2055920 swapFree=4182684/4192956
[pid=22946] ppid=22944 vsize=5356 CPUtime=0
/proc/22946/stat : 22946 (runpbsmodels) R 22944 22946 22897 0 -1 4194304 264 0 0 0 0 0 0 0 19 0 1 0 151268850 5484544 230 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206380919283 0 0 4100 65536 0 0 0 17 1 0 0
/proc/22946/statm: 1340 231 193 169 0 51 0

[startup+10.0016 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 22951
/proc/meminfo: memFree=1417976/2055920 swapFree=4182684/4192956
[pid=22946] ppid=22944 vsize=5360 CPUtime=0
/proc/22946/stat : 22946 (runpbsmodels) S 22944 22946 22897 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151268850 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1340 234 195 169 0 51 0
[pid=22947] ppid=22946 vsize=12268 CPUtime=0
/proc/22947/stat : 22947 (pbsmodels-v1.28) S 22946 22946 22897 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151268851 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22947/statm: 3067 383 293 3 0 167 0
[pid=22948] ppid=22947 vsize=5356 CPUtime=0.35
/proc/22948/stat : 22948 (sh) S 22947 22946 22897 0 -1 4194304 311 866 0 0 0 0 35 0 16 0 1 0 151268851 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22948/statm: 1339 227 188 169 0 50 0
[pid=22950] ppid=22948 vsize=3772 CPUtime=9.69
/proc/22950/stat : 22950 (smodels) R 22948 22946 22897 0 -1 4194304 607 0 0 0 969 0 0 0 25 0 1 0 151268852 3862528 571 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134534241 0 0 4096 0 0 0 0 17 1 0 0
/proc/22950/statm: 943 571 211 20 0 380 0
[pid=22951] ppid=22948 vsize=12400 CPUtime=0
/proc/22951/stat : 22951 (pbout.pl) S 22948 22946 22897 0 -1 4194304 501 0 0 0 0 0 0 0 16 0 1 0 151268852 12697600 460 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 206390210658 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22951/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 10.04
Current children cumulated vsize (Kb) 39156

[startup+20.0074 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 22951
/proc/meminfo: memFree=1418112/2055920 swapFree=4182684/4192956
[pid=22946] ppid=22944 vsize=5360 CPUtime=0
/proc/22946/stat : 22946 (runpbsmodels) S 22944 22946 22897 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151268850 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1340 234 195 169 0 51 0
[pid=22947] ppid=22946 vsize=12268 CPUtime=0
/proc/22947/stat : 22947 (pbsmodels-v1.28) S 22946 22946 22897 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151268851 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22947/statm: 3067 383 293 3 0 167 0
[pid=22948] ppid=22947 vsize=5356 CPUtime=0.35
/proc/22948/stat : 22948 (sh) S 22947 22946 22897 0 -1 4194304 311 866 0 0 0 0 35 0 16 0 1 0 151268851 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22948/statm: 1339 227 188 169 0 50 0
[pid=22950] ppid=22948 vsize=3772 CPUtime=19.69
/proc/22950/stat : 22950 (smodels) R 22948 22946 22897 0 -1 4194304 607 0 0 0 1969 0 0 0 25 0 1 0 151268852 3862528 571 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533093 0 0 4096 0 0 0 0 17 1 0 0
/proc/22950/statm: 943 571 211 20 0 380 0
[pid=22951] ppid=22948 vsize=12400 CPUtime=0
/proc/22951/stat : 22951 (pbout.pl) S 22948 22946 22897 0 -1 4194304 501 0 0 0 0 0 0 0 16 0 1 0 151268852 12697600 460 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 206390210658 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22951/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 20.04
Current children cumulated vsize (Kb) 39156

[startup+30.0133 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 22951
/proc/meminfo: memFree=1418112/2055920 swapFree=4182684/4192956
[pid=22946] ppid=22944 vsize=5360 CPUtime=0
/proc/22946/stat : 22946 (runpbsmodels) S 22944 22946 22897 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151268850 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1340 234 195 169 0 51 0
[pid=22947] ppid=22946 vsize=12268 CPUtime=0
/proc/22947/stat : 22947 (pbsmodels-v1.28) S 22946 22946 22897 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151268851 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22947/statm: 3067 383 293 3 0 167 0
[pid=22948] ppid=22947 vsize=5356 CPUtime=0.35
/proc/22948/stat : 22948 (sh) S 22947 22946 22897 0 -1 4194304 311 866 0 0 0 0 35 0 16 0 1 0 151268851 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22948/statm: 1339 227 188 169 0 50 0
[pid=22950] ppid=22948 vsize=3772 CPUtime=29.69
/proc/22950/stat : 22950 (smodels) R 22948 22946 22897 0 -1 4194304 607 0 0 0 2969 0 0 0 25 0 1 0 151268852 3862528 571 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134520612 0 0 4096 0 0 0 0 17 1 0 0
/proc/22950/statm: 943 571 211 20 0 380 0
[pid=22951] ppid=22948 vsize=12400 CPUtime=0
/proc/22951/stat : 22951 (pbout.pl) S 22948 22946 22897 0 -1 4194304 501 0 0 0 0 0 0 0 16 0 1 0 151268852 12697600 460 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 206390210658 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22951/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 30.04
Current children cumulated vsize (Kb) 39156

[startup+40.0191 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 22951
/proc/meminfo: memFree=1418176/2055920 swapFree=4182684/4192956
[pid=22946] ppid=22944 vsize=5360 CPUtime=0
/proc/22946/stat : 22946 (runpbsmodels) S 22944 22946 22897 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151268850 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1340 234 195 169 0 51 0
[pid=22947] ppid=22946 vsize=12268 CPUtime=0
/proc/22947/stat : 22947 (pbsmodels-v1.28) S 22946 22946 22897 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151268851 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22947/statm: 3067 383 293 3 0 167 0
[pid=22948] ppid=22947 vsize=5356 CPUtime=0.35
/proc/22948/stat : 22948 (sh) S 22947 22946 22897 0 -1 4194304 311 866 0 0 0 0 35 0 16 0 1 0 151268851 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22948/statm: 1339 227 188 169 0 50 0
[pid=22950] ppid=22948 vsize=3772 CPUtime=39.69
/proc/22950/stat : 22950 (smodels) R 22948 22946 22897 0 -1 4194304 607 0 0 0 3969 0 0 0 25 0 1 0 151268852 3862528 571 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521079 0 0 4096 0 0 0 0 17 1 0 0
/proc/22950/statm: 943 571 211 20 0 380 0
[pid=22951] ppid=22948 vsize=12400 CPUtime=0
/proc/22951/stat : 22951 (pbout.pl) S 22948 22946 22897 0 -1 4194304 501 0 0 0 0 0 0 0 16 0 1 0 151268852 12697600 460 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 206390210658 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22951/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 40.04
Current children cumulated vsize (Kb) 39156

[startup+50.025 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 22951
/proc/meminfo: memFree=1418240/2055920 swapFree=4182684/4192956
[pid=22946] ppid=22944 vsize=5360 CPUtime=0
/proc/22946/stat : 22946 (runpbsmodels) S 22944 22946 22897 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151268850 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1340 234 195 169 0 51 0
[pid=22947] ppid=22946 vsize=12268 CPUtime=0
/proc/22947/stat : 22947 (pbsmodels-v1.28) S 22946 22946 22897 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151268851 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22947/statm: 3067 383 293 3 0 167 0
[pid=22948] ppid=22947 vsize=5356 CPUtime=0.35
/proc/22948/stat : 22948 (sh) S 22947 22946 22897 0 -1 4194304 311 866 0 0 0 0 35 0 16 0 1 0 151268851 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22948/statm: 1339 227 188 169 0 50 0
[pid=22950] ppid=22948 vsize=3772 CPUtime=49.7
/proc/22950/stat : 22950 (smodels) R 22948 22946 22897 0 -1 4194304 607 0 0 0 4970 0 0 0 25 0 1 0 151268852 3862528 571 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521399 0 0 4096 0 0 0 0 17 1 0 0
/proc/22950/statm: 943 571 211 20 0 380 0
[pid=22951] ppid=22948 vsize=12400 CPUtime=0
/proc/22951/stat : 22951 (pbout.pl) S 22948 22946 22897 0 -1 4194304 501 0 0 0 0 0 0 0 16 0 1 0 151268852 12697600 460 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 206390210658 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22951/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 50.05
Current children cumulated vsize (Kb) 39156

[startup+60.0318 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 22951
/proc/meminfo: memFree=1418240/2055920 swapFree=4182684/4192956
[pid=22946] ppid=22944 vsize=5360 CPUtime=0
/proc/22946/stat : 22946 (runpbsmodels) S 22944 22946 22897 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151268850 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1340 234 195 169 0 51 0
[pid=22947] ppid=22946 vsize=12268 CPUtime=0
/proc/22947/stat : 22947 (pbsmodels-v1.28) S 22946 22946 22897 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151268851 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22947/statm: 3067 383 293 3 0 167 0
[pid=22948] ppid=22947 vsize=5356 CPUtime=0.35
/proc/22948/stat : 22948 (sh) S 22947 22946 22897 0 -1 4194304 311 866 0 0 0 0 35 0 16 0 1 0 151268851 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22948/statm: 1339 227 188 169 0 50 0
[pid=22950] ppid=22948 vsize=3772 CPUtime=59.7
/proc/22950/stat : 22950 (smodels) R 22948 22946 22897 0 -1 4194304 607 0 0 0 5970 0 0 0 25 0 1 0 151268852 3862528 571 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134544750 0 0 4096 0 0 0 0 17 1 0 0
/proc/22950/statm: 943 571 211 20 0 380 0
[pid=22951] ppid=22948 vsize=12400 CPUtime=0
/proc/22951/stat : 22951 (pbout.pl) S 22948 22946 22897 0 -1 4194304 501 0 0 0 0 0 0 0 16 0 1 0 151268852 12697600 460 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 206390210658 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22951/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 60.05
Current children cumulated vsize (Kb) 39156

[startup+70.0387 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 22951
/proc/meminfo: memFree=1418240/2055920 swapFree=4182684/4192956
[pid=22946] ppid=22944 vsize=5360 CPUtime=0
/proc/22946/stat : 22946 (runpbsmodels) S 22944 22946 22897 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151268850 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1340 234 195 169 0 51 0
[pid=22947] ppid=22946 vsize=12268 CPUtime=0
/proc/22947/stat : 22947 (pbsmodels-v1.28) S 22946 22946 22897 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151268851 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22947/statm: 3067 383 293 3 0 167 0
[pid=22948] ppid=22947 vsize=5356 CPUtime=0.35
/proc/22948/stat : 22948 (sh) S 22947 22946 22897 0 -1 4194304 311 866 0 0 0 0 35 0 16 0 1 0 151268851 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22948/statm: 1339 227 188 169 0 50 0
[pid=22950] ppid=22948 vsize=3772 CPUtime=69.7
/proc/22950/stat : 22950 (smodels) R 22948 22946 22897 0 -1 4194304 607 0 0 0 6970 0 0 0 25 0 1 0 151268852 3862528 571 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134520703 0 0 4096 0 0 0 0 17 1 0 0
/proc/22950/statm: 943 571 211 20 0 380 0
[pid=22951] ppid=22948 vsize=12400 CPUtime=0
/proc/22951/stat : 22951 (pbout.pl) S 22948 22946 22897 0 -1 4194304 501 0 0 0 0 0 0 0 16 0 1 0 151268852 12697600 460 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 206390210658 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22951/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 70.05
Current children cumulated vsize (Kb) 39156

[startup+80.0455 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 22951
/proc/meminfo: memFree=1418240/2055920 swapFree=4182684/4192956
[pid=22946] ppid=22944 vsize=5360 CPUtime=0
/proc/22946/stat : 22946 (runpbsmodels) S 22944 22946 22897 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151268850 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1340 234 195 169 0 51 0
[pid=22947] ppid=22946 vsize=12268 CPUtime=0
/proc/22947/stat : 22947 (pbsmodels-v1.28) S 22946 22946 22897 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151268851 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22947/statm: 3067 383 293 3 0 167 0
[pid=22948] ppid=22947 vsize=5356 CPUtime=0.35
/proc/22948/stat : 22948 (sh) S 22947 22946 22897 0 -1 4194304 311 866 0 0 0 0 35 0 16 0 1 0 151268851 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22948/statm: 1339 227 188 169 0 50 0
[pid=22950] ppid=22948 vsize=3772 CPUtime=79.71
/proc/22950/stat : 22950 (smodels) R 22948 22946 22897 0 -1 4194304 607 0 0 0 7971 0 0 0 25 0 1 0 151268852 3862528 571 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134555136 0 0 4096 0 0 0 0 17 1 0 0
/proc/22950/statm: 943 571 211 20 0 380 0
[pid=22951] ppid=22948 vsize=12400 CPUtime=0
/proc/22951/stat : 22951 (pbout.pl) S 22948 22946 22897 0 -1 4194304 501 0 0 0 0 0 0 0 16 0 1 0 151268852 12697600 460 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 206390210658 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22951/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 80.06
Current children cumulated vsize (Kb) 39156

[startup+90.0523 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 22951
/proc/meminfo: memFree=1418240/2055920 swapFree=4182684/4192956
[pid=22946] ppid=22944 vsize=5360 CPUtime=0
/proc/22946/stat : 22946 (runpbsmodels) S 22944 22946 22897 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151268850 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1340 234 195 169 0 51 0
[pid=22947] ppid=22946 vsize=12268 CPUtime=0
/proc/22947/stat : 22947 (pbsmodels-v1.28) S 22946 22946 22897 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151268851 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22947/statm: 3067 383 293 3 0 167 0
[pid=22948] ppid=22947 vsize=5356 CPUtime=0.35
/proc/22948/stat : 22948 (sh) S 22947 22946 22897 0 -1 4194304 311 866 0 0 0 0 35 0 16 0 1 0 151268851 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22948/statm: 1339 227 188 169 0 50 0
[pid=22950] ppid=22948 vsize=3772 CPUtime=89.71
/proc/22950/stat : 22950 (smodels) R 22948 22946 22897 0 -1 4194304 607 0 0 0 8971 0 0 0 25 0 1 0 151268852 3862528 571 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531426 0 0 4096 0 0 0 0 17 1 0 0

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

/proc/22950/stat : 22950 (smodels) R 22948 22946 22897 0 -1 4194304 607 0 0 0 179317 1 0 0 25 0 1 0 151268852 3862528 571 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0
/proc/22950/statm: 943 571 211 20 0 380 0
[pid=22951] ppid=22948 vsize=12400 CPUtime=0
/proc/22951/stat : 22951 (pbout.pl) S 22948 22946 22897 0 -1 4194304 501 0 0 0 0 0 0 0 16 0 1 0 151268852 12697600 460 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 206390210658 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22951/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 1793.53
Current children cumulated vsize (Kb) 39156

[startup+1795.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 23149
/proc/meminfo: memFree=1417984/2055920 swapFree=4182684/4192956
[pid=22946] ppid=22944 vsize=5360 CPUtime=0
/proc/22946/stat : 22946 (runpbsmodels) S 22944 22946 22897 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151268850 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1340 234 195 169 0 51 0
[pid=22947] ppid=22946 vsize=12268 CPUtime=0
/proc/22947/stat : 22947 (pbsmodels-v1.28) S 22946 22946 22897 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151268851 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22947/statm: 3067 383 293 3 0 167 0
[pid=22948] ppid=22947 vsize=5356 CPUtime=0.35
/proc/22948/stat : 22948 (sh) S 22947 22946 22897 0 -1 4194304 311 866 0 0 0 0 35 0 16 0 1 0 151268851 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22948/statm: 1339 227 188 169 0 50 0
[pid=22950] ppid=22948 vsize=3772 CPUtime=1794.18
/proc/22950/stat : 22950 (smodels) R 22948 22946 22897 0 -1 4194304 607 0 0 0 179417 1 0 0 25 0 1 0 151268852 3862528 571 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531207 0 0 4096 0 0 0 0 17 1 0 0
/proc/22950/statm: 943 571 211 20 0 380 0
[pid=22951] ppid=22948 vsize=12400 CPUtime=0
/proc/22951/stat : 22951 (pbout.pl) S 22948 22946 22897 0 -1 4194304 501 0 0 0 0 0 0 0 16 0 1 0 151268852 12697600 460 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 206390210658 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22951/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (Kb) 39156

[startup+1796.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 23149
/proc/meminfo: memFree=1417984/2055920 swapFree=4182684/4192956
[pid=22946] ppid=22944 vsize=5360 CPUtime=0
/proc/22946/stat : 22946 (runpbsmodels) S 22944 22946 22897 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151268850 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1340 234 195 169 0 51 0
[pid=22947] ppid=22946 vsize=12268 CPUtime=0
/proc/22947/stat : 22947 (pbsmodels-v1.28) S 22946 22946 22897 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151268851 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22947/statm: 3067 383 293 3 0 167 0
[pid=22948] ppid=22947 vsize=5356 CPUtime=0.35
/proc/22948/stat : 22948 (sh) S 22947 22946 22897 0 -1 4194304 311 866 0 0 0 0 35 0 16 0 1 0 151268851 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22948/statm: 1339 227 188 169 0 50 0
[pid=22950] ppid=22948 vsize=3772 CPUtime=1795.19
/proc/22950/stat : 22950 (smodels) R 22948 22946 22897 0 -1 4194304 607 0 0 0 179518 1 0 0 25 0 1 0 151268852 3862528 571 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521392 0 0 4096 0 0 0 0 17 1 0 0
/proc/22950/statm: 943 571 211 20 0 380 0
[pid=22951] ppid=22948 vsize=12400 CPUtime=0
/proc/22951/stat : 22951 (pbout.pl) S 22948 22946 22897 0 -1 4194304 501 0 0 0 0 0 0 0 16 0 1 0 151268852 12697600 460 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 206390210658 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22951/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 1795.54
Current children cumulated vsize (Kb) 39156

[startup+1797.25 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 23149
/proc/meminfo: memFree=1417984/2055920 swapFree=4182684/4192956
[pid=22946] ppid=22944 vsize=5360 CPUtime=0
/proc/22946/stat : 22946 (runpbsmodels) S 22944 22946 22897 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151268850 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1340 234 195 169 0 51 0
[pid=22947] ppid=22946 vsize=12268 CPUtime=0
/proc/22947/stat : 22947 (pbsmodels-v1.28) S 22946 22946 22897 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151268851 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22947/statm: 3067 383 293 3 0 167 0
[pid=22948] ppid=22947 vsize=5356 CPUtime=0.35
/proc/22948/stat : 22948 (sh) S 22947 22946 22897 0 -1 4194304 311 866 0 0 0 0 35 0 16 0 1 0 151268851 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22948/statm: 1339 227 188 169 0 50 0
[pid=22950] ppid=22948 vsize=3772 CPUtime=1796.19
/proc/22950/stat : 22950 (smodels) R 22948 22946 22897 0 -1 4194304 607 0 0 0 179618 1 0 0 25 0 1 0 151268852 3862528 571 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521877 0 0 4096 0 0 0 0 17 1 0 0
/proc/22950/statm: 943 571 211 20 0 380 0
[pid=22951] ppid=22948 vsize=12400 CPUtime=0
/proc/22951/stat : 22951 (pbout.pl) S 22948 22946 22897 0 -1 4194304 501 0 0 0 0 0 0 0 16 0 1 0 151268852 12697600 460 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 206390210658 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22951/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 1796.54
Current children cumulated vsize (Kb) 39156

[startup+1798.25 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 23149
/proc/meminfo: memFree=1417984/2055920 swapFree=4182684/4192956
[pid=22946] ppid=22944 vsize=5360 CPUtime=0
/proc/22946/stat : 22946 (runpbsmodels) S 22944 22946 22897 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151268850 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1340 234 195 169 0 51 0
[pid=22947] ppid=22946 vsize=12268 CPUtime=0
/proc/22947/stat : 22947 (pbsmodels-v1.28) S 22946 22946 22897 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151268851 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22947/statm: 3067 383 293 3 0 167 0
[pid=22948] ppid=22947 vsize=5356 CPUtime=0.35
/proc/22948/stat : 22948 (sh) S 22947 22946 22897 0 -1 4194304 311 866 0 0 0 0 35 0 16 0 1 0 151268851 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22948/statm: 1339 227 188 169 0 50 0
[pid=22950] ppid=22948 vsize=3772 CPUtime=1797.2
/proc/22950/stat : 22950 (smodels) R 22948 22946 22897 0 -1 4194304 607 0 0 0 179719 1 0 0 25 0 1 0 151268852 3862528 571 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531435 0 0 4096 0 0 0 0 17 1 0 0
/proc/22950/statm: 943 571 211 20 0 380 0
[pid=22951] ppid=22948 vsize=12400 CPUtime=0
/proc/22951/stat : 22951 (pbout.pl) S 22948 22946 22897 0 -1 4194304 501 0 0 0 0 0 0 0 16 0 1 0 151268852 12697600 460 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 206390210658 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22951/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (Kb) 39156

[startup+1799.26 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 23149
/proc/meminfo: memFree=1417984/2055920 swapFree=4182684/4192956
[pid=22946] ppid=22944 vsize=5360 CPUtime=0
/proc/22946/stat : 22946 (runpbsmodels) S 22944 22946 22897 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151268850 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1340 234 195 169 0 51 0
[pid=22947] ppid=22946 vsize=12268 CPUtime=0
/proc/22947/stat : 22947 (pbsmodels-v1.28) S 22946 22946 22897 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151268851 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22947/statm: 3067 383 293 3 0 167 0
[pid=22948] ppid=22947 vsize=5356 CPUtime=0.35
/proc/22948/stat : 22948 (sh) S 22947 22946 22897 0 -1 4194304 311 866 0 0 0 0 35 0 16 0 1 0 151268851 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22948/statm: 1339 227 188 169 0 50 0
[pid=22950] ppid=22948 vsize=3772 CPUtime=1798.2
/proc/22950/stat : 22950 (smodels) R 22948 22946 22897 0 -1 4194304 607 0 0 0 179819 1 0 0 25 0 1 0 151268852 3862528 571 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134519684 0 0 4096 0 0 0 0 17 1 0 0
/proc/22950/statm: 943 571 211 20 0 380 0
[pid=22951] ppid=22948 vsize=12400 CPUtime=0
/proc/22951/stat : 22951 (pbout.pl) S 22948 22946 22897 0 -1 4194304 501 0 0 0 0 0 0 0 16 0 1 0 151268852 12697600 460 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 206390210658 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22951/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (Kb) 39156

[startup+1800.27 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 23149
/proc/meminfo: memFree=1417984/2055920 swapFree=4182684/4192956
[pid=22946] ppid=22944 vsize=5360 CPUtime=0
/proc/22946/stat : 22946 (runpbsmodels) S 22944 22946 22897 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151268850 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1340 234 195 169 0 51 0
[pid=22947] ppid=22946 vsize=12268 CPUtime=0
/proc/22947/stat : 22947 (pbsmodels-v1.28) S 22946 22946 22897 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151268851 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22947/statm: 3067 383 293 3 0 167 0
[pid=22948] ppid=22947 vsize=5356 CPUtime=0.35
/proc/22948/stat : 22948 (sh) S 22947 22946 22897 0 -1 4194304 311 866 0 0 0 0 35 0 16 0 1 0 151268851 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22948/statm: 1339 227 188 169 0 50 0
[pid=22950] ppid=22948 vsize=3772 CPUtime=1799.21
/proc/22950/stat : 22950 (smodels) R 22948 22946 22897 0 -1 4194304 607 0 0 0 179920 1 0 0 25 0 1 0 151268852 3862528 571 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531154 0 0 4096 0 0 0 0 17 1 0 0
/proc/22950/statm: 943 571 211 20 0 380 0
[pid=22951] ppid=22948 vsize=12400 CPUtime=0
/proc/22951/stat : 22951 (pbout.pl) S 22948 22946 22897 0 -1 4194304 501 0 0 0 0 0 0 0 16 0 1 0 151268852 12697600 460 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 206390210658 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22951/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (Kb) 39156

[startup+1801.27 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 23149
/proc/meminfo: memFree=1417984/2055920 swapFree=4182684/4192956
[pid=22946] ppid=22944 vsize=5360 CPUtime=0
/proc/22946/stat : 22946 (runpbsmodels) S 22944 22946 22897 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151268850 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1340 234 195 169 0 51 0
[pid=22947] ppid=22946 vsize=12268 CPUtime=0
/proc/22947/stat : 22947 (pbsmodels-v1.28) S 22946 22946 22897 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151268851 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22947/statm: 3067 383 293 3 0 167 0
[pid=22948] ppid=22947 vsize=5356 CPUtime=0.35
/proc/22948/stat : 22948 (sh) S 22947 22946 22897 0 -1 4194304 311 866 0 0 0 0 35 0 16 0 1 0 151268851 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22948/statm: 1339 227 188 169 0 50 0
[pid=22950] ppid=22948 vsize=3772 CPUtime=1800.21
/proc/22950/stat : 22950 (smodels) R 22948 22946 22897 0 -1 4194304 607 0 0 0 180020 1 0 0 25 0 1 0 151268852 3862528 571 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134534127 0 0 4096 0 0 0 0 17 1 0 0
/proc/22950/statm: 943 571 211 20 0 380 0
[pid=22951] ppid=22948 vsize=12400 CPUtime=0
/proc/22951/stat : 22951 (pbout.pl) S 22948 22946 22897 0 -1 4194304 501 0 0 0 0 0 0 0 16 0 1 0 151268852 12697600 460 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 206390210658 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22951/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (Kb) 39156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.27 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 23149
/proc/meminfo: memFree=1417984/2055920 swapFree=4182684/4192956
[pid=22946] ppid=22944 vsize=5360 CPUtime=0
/proc/22946/stat : 22946 (runpbsmodels) S 22944 22946 22897 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151268850 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22946/statm: 1340 234 195 169 0 51 0
[pid=22947] ppid=22946 vsize=12268 CPUtime=0
/proc/22947/stat : 22947 (pbsmodels-v1.28) S 22946 22946 22897 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151268851 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/22947/statm: 3067 383 293 3 0 167 0
[pid=22948] ppid=22947 vsize=5356 CPUtime=0.35
/proc/22948/stat : 22948 (sh) S 22947 22946 22897 0 -1 4194304 311 866 0 0 0 0 35 0 16 0 1 0 151268851 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22948/statm: 1339 227 188 169 0 50 0
[pid=22950] ppid=22948 vsize=3772 CPUtime=1800.22
/proc/22950/stat : 22950 (smodels) R 22948 22946 22897 0 -1 4194304 607 0 0 0 180021 1 0 0 25 0 1 0 151268852 3862528 571 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531024 0 0 4096 0 0 0 0 17 1 0 0
/proc/22950/statm: 943 571 211 20 0 380 0
[pid=22951] ppid=22948 vsize=12400 CPUtime=0
/proc/22951/stat : 22951 (pbout.pl) S 22948 22946 22897 0 -1 4194304 501 0 0 0 0 0 0 0 16 0 1 0 151268852 12697600 460 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 206390210658 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/22951/statm: 3100 460 333 3 0 200 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (Kb) 39156

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 22946 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=999
CPU time returned by wait4() is 0.001998
while last known CPU time is 1800.57

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.57
CPU user time (s): 1800.56
CPU system time (s): 0.01
CPU usage (%): 99.9595
Max. virtual memory (cumulated for all children) (Kb): 39156
The end

Launcher Data (download as text)

Begin job on node2 on Thu Jul 27 23:47:53 UTC 2006


FILE ID= 34278-1154044073

PBS_JOBID= 881440

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_solver-v1.28/runpbsmodels ROOT/tmp/node2/34278-1154044073/instance-34278-1154044073.opb 595745359  ROOT/tmp/node2/34278-1154044073
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-34278-1154044073 -o ROOT/results/node2/solver-34278-1154044073 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node2/34278-1154044073/instance-34278-1154044073.opb 595745359  ROOT/tmp/node2/34278-1154044073

MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0
MD5SUM BENCH=  df1c0055bf82833faa95d352e28c6731

RANDOM SEED= 595745359

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.276
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.276
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:       1421352 kB
Buffers:         34096 kB
Cached:         541200 kB
SwapCached:       3996 kB
Active:         167504 kB
Inactive:       416732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1421352 kB
SwapTotal:     4192956 kB
SwapFree:      4182684 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14532 kB
Slab:            36288 kB
Committed_AS:   615668 kB
PageTables:       1492 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node2 on Fri Jul 28 00:17:54 UTC 2006