Trace number 45860

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)659 1801 1801.23

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8b4.opb
MD5SUMbad507f566306ee26a0781c0a8fac473
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark654
Best CPU time to get the best result obtained on this benchmark1800.5
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 654
Optimality of the best value was proved NO
Number of variables2136
Total number of constraints9282
Number of constraints which are clauses9282
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 constraint8
Number of terms in the objective function 2136
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 2136
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2136
Number of bits of the biggest sum of numbers12
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
8.68	o 701
57.04	o 659
1801.21	sh: line 1: 20423 Done                    pb2smodels ROOT/tmp/node31/45860-1154048463/instance-45860-1154048463.opb ROOT/tmp/node31/45860-1154048463
1801.21	     20424 Terminated              | smodels-2.31 0 -seed 215715658
1801.21	     20425 Terminated              | pbout.new.pl ROOT/tmp/node31/45860-1154048463/instance-45860-1154048463.opb ROOT/tmp/node31/45860-1154048463
1801.22	s SATISFIABLE
1801.22	v x1 x3 x5 x7 x9 x11 x13 x15 x17 x19 x21 x23 x25 x27 x30 x31 x33 x35 x38 x39 x41 x43 x45 x47 x49 x51 x53 x55 x57 x59 x61 x63 x65 x67 x70 x71
1801.22	v x73 x75 x77 x79 x81 x83 x85 x87 x89 x91 x93 x95 x97 x99 x102 x103 x105 x107 x109 x111 x113 x115 x117 x119 x121 x123 x125 x127 x129
1801.22	v x132 x133 x135 x138 x139 x141 x143 x145 x147 x150 x151 x153 x156 x157 x159 x161 x163 x166 x167 x169 x171 x173 x175 x177 x179 x181
1801.22	v x183 x185 x187 x189 x191 x193 x196 x198 x200 x202 x204 x206 x207 x214 x217 x226 x229 x238 x242 x250 x251 x259 x262 x266 x267 x274
1801.22	v x286 x287 x290 x298 x299 x301 x310 x317 x322 x325 x328 x330 x332 x334 x336 x337 x346 x353 x358 x363 x370 x373 x376 x378 x380 x382
1801.22	v x384 x391 x398 x399 x406 x409 x418 x427 x430 x433 x436 x438 x440 x442 x444 x445 x454 x458 x461 x469 x482 x490 x491 x495 x502 x506
1801.22	v x507 x514 x518 x519 x526 x538 x539 x541 x544 x546 x548 x550 x552 x554 x557 x562 x566 x571 x574 x577 x580 x582 x584 x586 x588 x590
1801.22	v x595 x598 x602 x605 x610 x613 x616 x618 x620 x622 x624 x626 x629 x634 x638 x641 x646 x649 x652 x654 x656 x658 x660 x665 x670 x674
1801.22	v x675 x682 x685 x688 x690 x692 x694 x696 x697 x700 x702 x704 x706 x708 x709 x712 x714 x716 x718 x720 x721 x724 x726 x728 x730 x732
1801.22	v x734 x737 x742 x746 x748 x750 x752 x753 x756 x758 x766 x767 x770 x771 x785 x790 x793 x796 x798 x800 x802 x804 x805 x808 x810 x812
1801.22	v x814 x816 x820 x822 x824 x825 x828 x829 x832 x834 x836 x838 x840 x841 x844 x846 x848 x850 x852 x854 x862 x863 x866 x867 x878 x883
1801.22	v x886 x893 x898 x901 x904 x906 x908 x910 x912 x919 x922 x929 x934 x946 x947 x951 x958 x961 x964 x966 x968 x970 x972 x973 x976 x978
1801.22	v x980 x982 x984 x991 x994 x997 x1000 x1002 x1004 x1006 x1008 x1010 x1018 x1019 x1022 x1025 x1030 x1034 x1042 x1043 x1046 x1047
1801.22	v x1054 x1058 x1059 x1069 x1072 x1074 x1076 x1078 x1080 x1081 x1084 x1086 x1088 x1090 x1092 x1099 x1102 x1106 x1109 x1114 x1120
1801.22	v x1122 x1124 x1125 x1128 x1130 x1133 x1138 x1141 x1144 x1146 x1148 x1150 x1152 x1154 x1157 x1162 x1167 x1174 x1179 x1186 x1189
1801.22	v x1192 x1194 x1196 x1198 x1200 x1202 x1207 x1210 x1213 x1216 x1218 x1220 x1222 x1224 x1225 x1228 x1230 x1232 x1234 x1236 x1239
1801.22	v x1246 x1258 x1259 x1261 x1270 x1282 x1283 x1286 x1291 x1294 x1297 x1300 x1302 x1304 x1306 x1308 x1310 x1318 x1319 x1322 x1330
1801.22	v x1331 x1339 x1342 x1346 x1351 x1354 x1358 x1363 x1366 x1369 x1372 x1374 x1376 x1378 x1380 x1382 x1387 x1390 x1397 x1402 x1405
1801.22	v x1408 x1410 x1412 x1414 x1416 x1426 x1427 x1435 x1438 x1443 x1450 x1462 x1463 x1465 x1474 x1478 x1481 x1486 x1489 x1492 x1494
1801.22	v x1496 x1498 x1500 x1505 x1510 x1522 x1523 x1526 x1534 x1535 x1537 x1540 x1542 x1544 x1546 x1548 x1549 x1552 x1554 x1556 x1558
1801.22	v x1560 x1562 x1567 x1570 x1582 x1583 x1587 x1594 x1597 x1606 x1609 x1612 x1614 x1616 x1620 x1621 x1630 x1634 x1642 x1643 x1645
1801.22	v x1648 x1650 x1652 x1654 x1656 x1657 x1660 x1662 x1664 x1666 x1668 x1669 x1672 x1674 x1676 x1678 x1680 x1681 x1690 x1694 x1697
1801.22	v x1702 x1706 x1711 x1718 x1723 x1726 x1729 x1732 x1734 x1736 x1738 x1740 x1745 x1750 x1753 x1762 x1766 x1771 x1774 x1778 x1783
1801.22	v x1786 x1789 x1792 x1794 x1796 x1798 x1800 x1801 x1804 x1806 x1808 x1810 x1812 x1817 x1822 x1827 x1837 x1846 x1858 x1859 x1865
1801.22	v x1870 x1873 x1876 x1878 x1880 x1882 x1884 x1886 x1891 x1894 x1898 x1899 x1906 x1909 x1912 x1914 x1916 x1918 x1920 x1930 x1931
1801.22	v x1933 x1936 x1938 x1940 x1942 x1944 x1946 x1949 x1954 x1959 x1970 x1975 x1978 x1985 x1990 x1993 x1996 x1998 x2000 x2002 x2004
1801.22	v x2006 x2009 x2014 x2023 x2026 x2029 x2032 x2034 x2036 x2038 x2040 x2041 x2044 x2046 x2048 x2050 x2052 x2054 x2055 x2062 x2065
1801.22	v x2068 x2070 x2072 x2074 x2076 x2083 x2086 x2090 x2095 x2101 x2104 x2106 x2108 x2110 x2112 x2119 x2122 x2131 -x2 -x4 -x6 -x8
1801.22	v -x10 -x12 -x14 -x16 -x18 -x20 -x22 -x24 -x26 -x28 -x29 -x32 -x34 -x36 -x37 -x40 -x42 -x44 -x46 -x48 -x50 -x52 -x54 -x56 -x58 -x60
1801.22	v -x62 -x64 -x66 -x68 -x69 -x72 -x74 -x76 -x78 -x80 -x82 -x84 -x86 -x88 -x90 -x92 -x94 -x96 -x98 -x100 -x101 -x104 -x106 -x108
1801.22	v -x110 -x112 -x114 -x116 -x118 -x120 -x122 -x124 -x126 -x128 -x130 -x131 -x134 -x136 -x137 -x140 -x142 -x144 -x146 -x148 -x149
1801.22	v -x152 -x154 -x155 -x158 -x160 -x162 -x164 -x165 -x168 -x170 -x172 -x174 -x176 -x178 -x180 -x182 -x184 -x186 -x188 -x190 -x192
1801.22	v -x194 -x195 -x197 -x199 -x201 -x203 -x205 -x208 -x209 -x210 -x211 -x212 -x213 -x215 -x216 -x218 -x219 -x220 -x221 -x222 -x223
1801.22	v -x224 -x225 -x227 -x228 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x239 -x240 -x241 -x243 -x244 -x245 -x246 -x247 -x248
1801.22	v -x249 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x260 -x261 -x263 -x264 -x265 -x268 -x269 -x270 -x271 -x272 -x273 -x275 -x276
1801.22	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x288 -x289 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x300 -x302 -x303
1801.22	v -x304 -x305 -x306 -x307 -x308 -x309 -x311 -x312 -x313 -x314 -x315 -x316 -x318 -x319 -x320 -x321 -x323 -x324 -x326 -x327 -x329
1801.22	v -x331 -x333 -x335 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x347 -x348 -x349 -x350 -x351 -x352 -x354 -x355 -x356 -x357
1801.22	v -x359 -x360 -x361 -x362 -x364 -x365 -x366 -x367 -x368 -x369 -x371 -x372 -x374 -x375 -x377 -x379 -x381 -x383 -x385 -x386 -x387
1801.22	v -x388 -x389 -x390 -x392 -x393 -x394 -x395 -x396 -x397 -x400 -x401 -x402 -x403 -x404 -x405 -x407 -x408 -x410 -x411 -x412 -x413
1801.22	v -x414 -x415 -x416 -x417 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x428 -x429 -x431 -x432 -x434 -x435 -x437 -x439 -x441
1801.22	v -x443 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x455 -x456 -x457 -x459 -x460 -x462 -x463 -x464 -x465 -x466 -x467 -x468
1801.22	v -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x492 -x493
1801.22	v -x494 -x496 -x497 -x498 -x499 -x500 -x501 -x503 -x504 -x505 -x508 -x509 -x510 -x511 -x512 -x513 -x515 -x516 -x517 -x520 -x521
1801.22	v -x522 -x523 -x524 -x525 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x540 -x542 -x543 -x545 -x547 -x549
1801.22	v -x551 -x553 -x555 -x556 -x558 -x559 -x560 -x561 -x563 -x564 -x565 -x567 -x568 -x569 -x570 -x572 -x573 -x575 -x576 -x578 -x579
1801.22	v -x581 -x583 -x585 -x587 -x589 -x591 -x592 -x593 -x594 -x596 -x597 -x599 -x600 -x601 -x603 -x604 -x606 -x607 -x608 -x609 -x611
1801.22	v -x612 -x614 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x628 -x630 -x631 -x632 -x633 -x635 -x636 -x637 -x639 -x640 -x642 -x643
1801.22	v -x644 -x645 -x647 -x648 -x650 -x651 -x653 -x655 -x657 -x659 -x661 -x662 -x663 -x664 -x666 -x667 -x668 -x669 -x671 -x672 -x673
1801.22	v -x676 -x677 -x678 -x679 -x680 -x681 -x683 -x684 -x686 -x687 -x689 -x691 -x693 -x695 -x698 -x699 -x701 -x703 -x705 -x707 -x710
1801.22	v -x711 -x713 -x715 -x717 -x719 -x722 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x736 -x738 -x739 -x740 -x741 -x743 -x744 -x745
1801.22	v -x747 -x749 -x751 -x754 -x755 -x757 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x768 -x769 -x772 -x773 -x774 -x775 -x776 -x777
1801.22	v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x786 -x787 -x788 -x789 -x791 -x792 -x794 -x795 -x797 -x799 -x801 -x803 -x806 -x807
1801.22	v -x809 -x811 -x813 -x815 -x817 -x818 -x819 -x821 -x823 -x826 -x827 -x830 -x831 -x833 -x835 -x837 -x839 -x842 -x843 -x845 -x847
1801.22	v -x849 -x851 -x853 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x864 -x865 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876
1801.22	v -x877 -x879 -x880 -x881 -x882 -x884 -x885 -x887 -x888 -x889 -x890 -x891 -x892 -x894 -x895 -x896 -x897 -x899 -x900 -x902 -x903
1801.22	v -x905 -x907 -x909 -x911 -x913 -x914 -x915 -x916 -x917 -x918 -x920 -x921 -x923 -x924 -x925 -x926 -x927 -x928 -x930 -x931 -x932
1801.22	v -x933 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x948 -x949 -x950 -x952 -x953 -x954 -x955 -x956 -x957
1801.22	v -x959 -x960 -x962 -x963 -x965 -x967 -x969 -x971 -x974 -x975 -x977 -x979 -x981 -x983 -x985 -x986 -x987 -x988 -x989 -x990 -x992
1801.22	v -x993 -x995 -x996 -x998 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1020
1801.22	v -x1021 -x1023 -x1024 -x1026 -x1027 -x1028 -x1029 -x1031 -x1032 -x1033 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041
1801.22	v -x1044 -x1045 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1055 -x1056 -x1057 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065
1801.22	v -x1066 -x1067 -x1068 -x1070 -x1071 -x1073 -x1075 -x1077 -x1079 -x1082 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1094
1801.22	v -x1095 -x1096 -x1097 -x1098 -x1100 -x1101 -x1103 -x1104 -x1105 -x1107 -x1108 -x1110 -x1111 -x1112 -x1113 -x1115 -x1116
1801.22	v -x1117 -x1118 -x1119 -x1121 -x1123 -x1126 -x1127 -x1129 -x1131 -x1132 -x1134 -x1135 -x1136 -x1137 -x1139 -x1140 -x1142
1801.22	v -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1156 -x1158 -x1159 -x1160 -x1161 -x1163 -x1164 -x1165 -x1166 -x1168
1801.22	v -x1169 -x1170 -x1171 -x1172 -x1173 -x1175 -x1176 -x1177 -x1178 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1187 -x1188
1801.22	v -x1190 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1204 -x1205 -x1206 -x1208 -x1209 -x1211 -x1212 -x1214 -x1215
1801.22	v -x1217 -x1219 -x1221 -x1223 -x1226 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1238 -x1240 -x1241 -x1242 -x1243 -x1244
1801.22	v -x1245 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1260 -x1262 -x1263 -x1264 -x1265
1801.22	v -x1266 -x1267 -x1268 -x1269 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1284 -x1285
1801.22	v -x1287 -x1288 -x1289 -x1290 -x1292 -x1293 -x1295 -x1296 -x1298 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1312
1801.22	v -x1313 -x1314 -x1315 -x1316 -x1317 -x1320 -x1321 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1332 -x1333 -x1334
1801.22	v -x1335 -x1336 -x1337 -x1338 -x1340 -x1341 -x1343 -x1344 -x1345 -x1347 -x1348 -x1349 -x1350 -x1352 -x1353 -x1355 -x1356
1801.22	v -x1357 -x1359 -x1360 -x1361 -x1362 -x1364 -x1365 -x1367 -x1368 -x1370 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383
1801.22	v -x1384 -x1385 -x1386 -x1388 -x1389 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404
1801.22	v -x1406 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1428 -x1429
1801.22	v -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 -x1439 -x1440 -x1441 -x1442 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449
1801.22	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1464 -x1466 -x1467 -x1468 -x1469 -x1470
1801.22	v -x1471 -x1472 -x1473 -x1475 -x1476 -x1477 -x1479 -x1480 -x1482 -x1483 -x1484 -x1485 -x1487 -x1488 -x1490 -x1491 -x1493
1801.22	v -x1495 -x1497 -x1499 -x1501 -x1502 -x1503 -x1504 -x1506 -x1507 -x1508 -x1509 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516
1801.22	v -x1517 -x1518 -x1519 -x1520 -x1521 -x1524 -x1525 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1536 -x1538 -x1539
1801.22	v -x1541 -x1543 -x1545 -x1547 -x1550 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1564 -x1565 -x1566 -x1568 -x1569
1801.22	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1584 -x1585 -x1586 -x1588 -x1589 -x1590
1801.22	v -x1591 -x1592 -x1593 -x1595 -x1596 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1607 -x1608 -x1610 -x1611
1801.22	v -x1613 -x1615 -x1617 -x1618 -x1619 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1631 -x1632 -x1633 -x1635
1801.22	v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1644 -x1646 -x1647 -x1649 -x1651 -x1653 -x1655 -x1658 -x1659 -x1661 -x1663
1801.22	v -x1665 -x1667 -x1670 -x1671 -x1673 -x1675 -x1677 -x1679 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1691
1801.22	v -x1692 -x1693 -x1695 -x1696 -x1698 -x1699 -x1700 -x1701 -x1703 -x1704 -x1705 -x1707 -x1708 -x1709 -x1710 -x1712 -x1713
1801.22	v -x1714 -x1715 -x1716 -x1717 -x1719 -x1720 -x1721 -x1722 -x1724 -x1725 -x1727 -x1728 -x1730 -x1731 -x1733 -x1735 -x1737
1801.22	v -x1739 -x1741 -x1742 -x1743 -x1744 -x1746 -x1747 -x1748 -x1749 -x1751 -x1752 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759
1801.22	v -x1760 -x1761 -x1763 -x1764 -x1765 -x1767 -x1768 -x1769 -x1770 -x1772 -x1773 -x1775 -x1776 -x1777 -x1779 -x1780 -x1781
1801.22	v -x1782 -x1784 -x1785 -x1787 -x1788 -x1790 -x1791 -x1793 -x1795 -x1797 -x1799 -x1802 -x1803 -x1805 -x1807 -x1809 -x1811
1801.22	v -x1813 -x1814 -x1815 -x1816 -x1818 -x1819 -x1820 -x1821 -x1823 -x1824 -x1825 -x1826 -x1828 -x1829 -x1830 -x1831 -x1832
1801.22	v -x1833 -x1834 -x1835 -x1836 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1847 -x1848 -x1849 -x1850 -x1851
1801.22	v -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1860 -x1861 -x1862 -x1863 -x1864 -x1866 -x1867 -x1868 -x1869 -x1871 -x1872
1801.22	v -x1874 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1888 -x1889 -x1890 -x1892 -x1893 -x1895 -x1896 -x1897 -x1900
1801.22	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1907 -x1908 -x1910 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1922 -x1923 -x1924
1801.22	v -x1925 -x1926 -x1927 -x1928 -x1929 -x1932 -x1934 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1948 -x1950 -x1951
1801.22	v -x1952 -x1953 -x1955 -x1956 -x1957 -x1958 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1971
1801.22	v -x1972 -x1973 -x1974 -x1976 -x1977 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1986 -x1987 -x1988 -x1989 -x1991 -x1992
1801.22	v -x1994 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2008 -x2010 -x2011 -x2012 -x2013 -x2015 -x2016 -x2017 -x2018
1801.22	v -x2019 -x2020 -x2021 -x2022 -x2024 -x2025 -x2027 -x2028 -x2030 -x2031 -x2033 -x2035 -x2037 -x2039 -x2042 -x2043 -x2045
1801.22	v -x2047 -x2049 -x2051 -x2053 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2063 -x2064 -x2066 -x2067 -x2069 -x2071 -x2073
1801.22	v -x2075 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2084 -x2085 -x2087 -x2088 -x2089 -x2091 -x2092 -x2093 -x2094 -x2096
1801.22	v -x2097 -x2098 -x2099 -x2100 -x2102 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2120
1801.22	v -x2121 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2132 -x2133 -x2134 -x2135 -x2136

Verifier Data (download as text)

OK	659

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/node31/watcher-45860-1154048463 -o ROOT/results/node31/solver-45860-1154048463 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node31/45860-1154048463/instance-45860-1154048463.opb 215715658 ROOT/tmp/node31/45860-1154048463 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.98 3/70 20420
/proc/meminfo: memFree=664608/2055920 swapFree=4183108/4192956
[pid=20420] ppid=20418 vsize=5360 CPUtime=0
/proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20420/statm: 1340 234 195 169 0 51 0
[pid=20421] ppid=20420 vsize=11860 CPUtime=0
/proc/20421/stat : 20421 (pbsmodels-v1.31) R 20420 20420 20371 0 -1 4194304 157 0 0 0 0 0 0 0 19 0 1 0 151705969 12144640 123 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225612042503 0 0 4224 0 0 0 0 17 1 0 0
/proc/20421/statm: 2999 136 103 3 0 99 0

[startup+10.0022 s]
/proc/loadavg: 0.93 0.97 0.98 2/74 20507
/proc/meminfo: memFree=661240/2055920 swapFree=4183108/4192956
[pid=20420] ppid=20418 vsize=5360 CPUtime=0
/proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20420/statm: 1340 234 195 169 0 51 0
[pid=20421] ppid=20420 vsize=12268 CPUtime=0
/proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20421/statm: 3067 383 293 3 0 167 0
[pid=20422] ppid=20421 vsize=5356 CPUtime=0.62
/proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20422/statm: 1339 227 188 169 0 50 0
[pid=20424] ppid=20422 vsize=4092 CPUtime=9.58
/proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 710 0 0 0 953 5 0 0 25 0 1 0 151705970 4190208 674 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0
/proc/20424/statm: 1023 674 213 21 0 459 0
[pid=20425] ppid=20422 vsize=12404 CPUtime=0
/proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 478 0 0 0 0 0 0 0 16 0 1 0 151705970 12701696 438 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/20425/statm: 3101 438 333 3 0 201 0
Current children cumulated CPU time (s) 10.2
Current children cumulated vsize (Kb) 39480

[startup+20.009 s]
/proc/loadavg: 0.94 0.97 0.98 2/74 20557
/proc/meminfo: memFree=661304/2055920 swapFree=4183108/4192956
[pid=20420] ppid=20418 vsize=5360 CPUtime=0
/proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20420/statm: 1340 234 195 169 0 51 0
[pid=20421] ppid=20420 vsize=12268 CPUtime=0
/proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20421/statm: 3067 383 293 3 0 167 0
[pid=20422] ppid=20421 vsize=5356 CPUtime=0.62
/proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20422/statm: 1339 227 188 169 0 50 0
[pid=20424] ppid=20422 vsize=4224 CPUtime=19.56
/proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 723 0 0 0 1951 5 0 0 25 0 1 0 151705970 4325376 687 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533172 0 0 4096 0 0 0 0 17 1 0 0
/proc/20424/statm: 1056 687 213 21 0 492 0
[pid=20425] ppid=20422 vsize=12404 CPUtime=0
/proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 478 0 0 0 0 0 0 0 16 0 1 0 151705970 12701696 438 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/20425/statm: 3101 438 333 3 0 201 0
Current children cumulated CPU time (s) 20.18
Current children cumulated vsize (Kb) 39612

[startup+30.0158 s]
/proc/loadavg: 0.95 0.97 0.98 2/68 20597
/proc/meminfo: memFree=662312/2055920 swapFree=4183108/4192956
[pid=20420] ppid=20418 vsize=5360 CPUtime=0
/proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20420/statm: 1340 234 195 169 0 51 0
[pid=20421] ppid=20420 vsize=12268 CPUtime=0
/proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20421/statm: 3067 383 293 3 0 167 0
[pid=20422] ppid=20421 vsize=5356 CPUtime=0.62
/proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20422/statm: 1339 227 188 169 0 50 0
[pid=20424] ppid=20422 vsize=4224 CPUtime=29.55
/proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 739 0 0 0 2950 5 0 0 25 0 1 0 151705970 4325376 703 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558192 0 0 4096 0 0 0 0 17 1 0 0
/proc/20424/statm: 1056 703 213 21 0 492 0
[pid=20425] ppid=20422 vsize=12404 CPUtime=0
/proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 478 0 0 0 0 0 0 0 16 0 1 0 151705970 12701696 438 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/20425/statm: 3101 438 333 3 0 201 0
Current children cumulated CPU time (s) 30.17
Current children cumulated vsize (Kb) 39612

[startup+40.0217 s]
/proc/loadavg: 0.96 0.97 0.98 2/68 20597
/proc/meminfo: memFree=662320/2055920 swapFree=4183108/4192956
[pid=20420] ppid=20418 vsize=5360 CPUtime=0
/proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20420/statm: 1340 234 195 169 0 51 0
[pid=20421] ppid=20420 vsize=12268 CPUtime=0
/proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20421/statm: 3067 383 293 3 0 167 0
[pid=20422] ppid=20421 vsize=5356 CPUtime=0.62
/proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20422/statm: 1339 227 188 169 0 50 0
[pid=20424] ppid=20422 vsize=4356 CPUtime=39.55
/proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 754 0 0 0 3950 5 0 0 25 0 1 0 151705970 4460544 718 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539728 0 0 4096 0 0 0 0 17 1 0 0
/proc/20424/statm: 1089 718 213 21 0 525 0
[pid=20425] ppid=20422 vsize=12404 CPUtime=0
/proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 478 0 0 0 0 0 0 0 16 0 1 0 151705970 12701696 438 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/20425/statm: 3101 438 333 3 0 201 0
Current children cumulated CPU time (s) 40.17
Current children cumulated vsize (Kb) 39744

[startup+50.0285 s]
/proc/loadavg: 0.96 0.97 0.98 2/68 20597
/proc/meminfo: memFree=662256/2055920 swapFree=4183108/4192956
[pid=20420] ppid=20418 vsize=5360 CPUtime=0
/proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20420/statm: 1340 234 195 169 0 51 0
[pid=20421] ppid=20420 vsize=12268 CPUtime=0
/proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20421/statm: 3067 383 293 3 0 167 0
[pid=20422] ppid=20421 vsize=5356 CPUtime=0.62
/proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20422/statm: 1339 227 188 169 0 50 0
[pid=20424] ppid=20422 vsize=4488 CPUtime=49.56
/proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 784 0 0 0 4951 5 0 0 25 0 1 0 151705970 4595712 748 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533159 0 0 4096 0 0 0 0 17 1 0 0
/proc/20424/statm: 1122 748 213 21 0 558 0
[pid=20425] ppid=20422 vsize=12404 CPUtime=0
/proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 478 0 0 0 0 0 0 0 16 0 1 0 151705970 12701696 438 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/20425/statm: 3101 438 333 3 0 201 0
Current children cumulated CPU time (s) 50.18
Current children cumulated vsize (Kb) 39876

[startup+60.0353 s]
/proc/loadavg: 0.97 0.97 0.98 2/68 20597
/proc/meminfo: memFree=662192/2055920 swapFree=4183108/4192956
[pid=20420] ppid=20418 vsize=5360 CPUtime=0
/proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20420/statm: 1340 234 195 169 0 51 0
[pid=20421] ppid=20420 vsize=12268 CPUtime=0
/proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20421/statm: 3067 383 293 3 0 167 0
[pid=20422] ppid=20421 vsize=5356 CPUtime=0.62
/proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20422/statm: 1339 227 188 169 0 50 0
[pid=20424] ppid=20422 vsize=4488 CPUtime=59.56
/proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 800 0 0 0 5951 5 0 0 25 0 1 0 151705970 4595712 764 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532718 0 0 4096 0 0 0 0 17 1 0 0
/proc/20424/statm: 1122 764 213 21 0 558 0
[pid=20425] ppid=20422 vsize=12404 CPUtime=0
/proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/20425/statm: 3101 441 333 3 0 201 0
Current children cumulated CPU time (s) 60.18
Current children cumulated vsize (Kb) 39876

[startup+70.0412 s]
/proc/loadavg: 0.97 0.97 0.98 2/68 20597
/proc/meminfo: memFree=662128/2055920 swapFree=4183108/4192956
[pid=20420] ppid=20418 vsize=5360 CPUtime=0
/proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20420/statm: 1340 234 195 169 0 51 0
[pid=20421] ppid=20420 vsize=12268 CPUtime=0
/proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20421/statm: 3067 383 293 3 0 167 0
[pid=20422] ppid=20421 vsize=5356 CPUtime=0.62
/proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20422/statm: 1339 227 188 169 0 50 0
[pid=20424] ppid=20422 vsize=4488 CPUtime=69.56
/proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 807 0 0 0 6951 5 0 0 25 0 1 0 151705970 4595712 771 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539729 0 0 4096 0 0 0 0 17 1 0 0
/proc/20424/statm: 1122 771 213 21 0 558 0
[pid=20425] ppid=20422 vsize=12404 CPUtime=0
/proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/20425/statm: 3101 441 333 3 0 201 0
Current children cumulated CPU time (s) 70.18
Current children cumulated vsize (Kb) 39876

[startup+80.047 s]
/proc/loadavg: 0.98 0.97 0.98 2/68 20597
/proc/meminfo: memFree=662128/2055920 swapFree=4183108/4192956
[pid=20420] ppid=20418 vsize=5360 CPUtime=0
/proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20420/statm: 1340 234 195 169 0 51 0
[pid=20421] ppid=20420 vsize=12268 CPUtime=0
/proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20421/statm: 3067 383 293 3 0 167 0
[pid=20422] ppid=20421 vsize=5356 CPUtime=0.62
/proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20422/statm: 1339 227 188 169 0 50 0
[pid=20424] ppid=20422 vsize=4620 CPUtime=79.57
/proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 817 0 0 0 7952 5 0 0 25 0 1 0 151705970 4730880 781 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539728 0 0 4096 0 0 0 0 17 1 0 0
/proc/20424/statm: 1155 781 213 21 0 591 0
[pid=20425] ppid=20422 vsize=12404 CPUtime=0
/proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/20425/statm: 3101 441 333 3 0 201 0
Current children cumulated CPU time (s) 80.19
Current children cumulated vsize (Kb) 40008

[startup+90.0528 s]
/proc/loadavg: 0.98 0.97 0.98 2/68 20597
/proc/meminfo: memFree=662128/2055920 swapFree=4183108/4192956
[pid=20420] ppid=20418 vsize=5360 CPUtime=0
/proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20420/statm: 1340 234 195 169 0 51 0
[pid=20421] ppid=20420 vsize=12268 CPUtime=0
/proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20421/statm: 3067 383 293 3 0 167 0
[pid=20422] ppid=20421 vsize=5356 CPUtime=0.62
/proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0

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

[pid=20420] ppid=20418 vsize=5360 CPUtime=0
/proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20420/statm: 1340 234 195 169 0 51 0
[pid=20421] ppid=20420 vsize=12268 CPUtime=0
/proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20421/statm: 3067 383 293 3 0 167 0
[pid=20422] ppid=20421 vsize=5356 CPUtime=0.62
/proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20422/statm: 1339 227 188 169 0 50 0
[pid=20424] ppid=20422 vsize=6600 CPUtime=1793.29
/proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 1315 0 0 0 179323 6 0 0 25 0 1 0 151705970 6758400 1279 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521046 0 0 4096 0 0 0 0 17 1 0 0
/proc/20424/statm: 1650 1279 213 21 0 1086 0
[pid=20425] ppid=20422 vsize=12404 CPUtime=0
/proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/20425/statm: 3101 441 333 3 0 201 0
Current children cumulated CPU time (s) 1793.91
Current children cumulated vsize (Kb) 41988

[startup+1795.17 s]
/proc/loadavg: 1.08 1.00 0.99 2/68 20597
/proc/meminfo: memFree=659960/2055920 swapFree=4183108/4192956
[pid=20420] ppid=20418 vsize=5360 CPUtime=0
/proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20420/statm: 1340 234 195 169 0 51 0
[pid=20421] ppid=20420 vsize=12268 CPUtime=0
/proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20421/statm: 3067 383 293 3 0 167 0
[pid=20422] ppid=20421 vsize=5356 CPUtime=0.62
/proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20422/statm: 1339 227 188 169 0 50 0
[pid=20424] ppid=20422 vsize=6600 CPUtime=1794.3
/proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 1315 0 0 0 179424 6 0 0 25 0 1 0 151705970 6758400 1279 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533216 0 0 4096 0 0 0 0 17 1 0 0
/proc/20424/statm: 1650 1279 213 21 0 1086 0
[pid=20425] ppid=20422 vsize=12404 CPUtime=0
/proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/20425/statm: 3101 441 333 3 0 201 0
Current children cumulated CPU time (s) 1794.92
Current children cumulated vsize (Kb) 41988

[startup+1796.18 s]
/proc/loadavg: 1.08 1.00 0.99 2/68 20597
/proc/meminfo: memFree=659960/2055920 swapFree=4183108/4192956
[pid=20420] ppid=20418 vsize=5360 CPUtime=0
/proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20420/statm: 1340 234 195 169 0 51 0
[pid=20421] ppid=20420 vsize=12268 CPUtime=0
/proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20421/statm: 3067 383 293 3 0 167 0
[pid=20422] ppid=20421 vsize=5356 CPUtime=0.62
/proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20422/statm: 1339 227 188 169 0 50 0
[pid=20424] ppid=20422 vsize=6600 CPUtime=1795.3
/proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 1315 0 0 0 179524 6 0 0 25 0 1 0 151705970 6758400 1279 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539729 0 0 4096 0 0 0 0 17 1 0 0
/proc/20424/statm: 1650 1279 213 21 0 1086 0
[pid=20425] ppid=20422 vsize=12404 CPUtime=0
/proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/20425/statm: 3101 441 333 3 0 201 0
Current children cumulated CPU time (s) 1795.92
Current children cumulated vsize (Kb) 41988

[startup+1797.19 s]
/proc/loadavg: 1.08 1.00 0.99 2/68 20597
/proc/meminfo: memFree=659960/2055920 swapFree=4183108/4192956
[pid=20420] ppid=20418 vsize=5360 CPUtime=0
/proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20420/statm: 1340 234 195 169 0 51 0
[pid=20421] ppid=20420 vsize=12268 CPUtime=0
/proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20421/statm: 3067 383 293 3 0 167 0
[pid=20422] ppid=20421 vsize=5356 CPUtime=0.62
/proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20422/statm: 1339 227 188 169 0 50 0
[pid=20424] ppid=20422 vsize=6600 CPUtime=1796.31
/proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 1315 0 0 0 179625 6 0 0 25 0 1 0 151705970 6758400 1279 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539747 0 0 4096 0 0 0 0 17 1 0 0
/proc/20424/statm: 1650 1279 213 21 0 1086 0
[pid=20425] ppid=20422 vsize=12404 CPUtime=0
/proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/20425/statm: 3101 441 333 3 0 201 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (Kb) 41988

[startup+1798.19 s]
/proc/loadavg: 1.08 1.00 0.99 2/68 20597
/proc/meminfo: memFree=659960/2055920 swapFree=4183108/4192956
[pid=20420] ppid=20418 vsize=5360 CPUtime=0
/proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20420/statm: 1340 234 195 169 0 51 0
[pid=20421] ppid=20420 vsize=12268 CPUtime=0
/proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20421/statm: 3067 383 293 3 0 167 0
[pid=20422] ppid=20421 vsize=5356 CPUtime=0.62
/proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20422/statm: 1339 227 188 169 0 50 0
[pid=20424] ppid=20422 vsize=6600 CPUtime=1797.31
/proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 1315 0 0 0 179725 6 0 0 25 0 1 0 151705970 6758400 1279 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539712 0 0 4096 0 0 0 0 17 1 0 0
/proc/20424/statm: 1650 1279 213 21 0 1086 0
[pid=20425] ppid=20422 vsize=12404 CPUtime=0
/proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/20425/statm: 3101 441 333 3 0 201 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (Kb) 41988

[startup+1799.2 s]
/proc/loadavg: 1.07 1.00 0.99 2/68 20597
/proc/meminfo: memFree=659960/2055920 swapFree=4183108/4192956
[pid=20420] ppid=20418 vsize=5360 CPUtime=0
/proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20420/statm: 1340 234 195 169 0 51 0
[pid=20421] ppid=20420 vsize=12268 CPUtime=0
/proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20421/statm: 3067 383 293 3 0 167 0
[pid=20422] ppid=20421 vsize=5356 CPUtime=0.62
/proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20422/statm: 1339 227 188 169 0 50 0
[pid=20424] ppid=20422 vsize=6600 CPUtime=1798.32
/proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 1315 0 0 0 179826 6 0 0 25 0 1 0 151705970 6758400 1279 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521662 0 0 4096 0 0 0 0 17 1 0 0
/proc/20424/statm: 1650 1279 213 21 0 1086 0
[pid=20425] ppid=20422 vsize=12404 CPUtime=0
/proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/20425/statm: 3101 441 333 3 0 201 0
Current children cumulated CPU time (s) 1798.94
Current children cumulated vsize (Kb) 41988

[startup+1800.2 s]
/proc/loadavg: 1.07 1.00 0.99 2/68 20597
/proc/meminfo: memFree=659960/2055920 swapFree=4183108/4192956
[pid=20420] ppid=20418 vsize=5360 CPUtime=0
/proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20420/statm: 1340 234 195 169 0 51 0
[pid=20421] ppid=20420 vsize=12268 CPUtime=0
/proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20421/statm: 3067 383 293 3 0 167 0
[pid=20422] ppid=20421 vsize=5356 CPUtime=0.62
/proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20422/statm: 1339 227 188 169 0 50 0
[pid=20424] ppid=20422 vsize=6600 CPUtime=1799.32
/proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 1315 0 0 0 179926 6 0 0 25 0 1 0 151705970 6758400 1279 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134529341 0 0 4096 0 0 0 0 17 1 0 0
/proc/20424/statm: 1650 1279 213 21 0 1086 0
[pid=20425] ppid=20422 vsize=12404 CPUtime=0
/proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/20425/statm: 3101 441 333 3 0 201 0
Current children cumulated CPU time (s) 1799.94
Current children cumulated vsize (Kb) 41988

[startup+1801.21 s]
/proc/loadavg: 1.07 1.00 0.99 2/68 20597
/proc/meminfo: memFree=659960/2055920 swapFree=4183108/4192956
[pid=20420] ppid=20418 vsize=5360 CPUtime=0
/proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20420/statm: 1340 234 195 169 0 51 0
[pid=20421] ppid=20420 vsize=12268 CPUtime=0
/proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20421/statm: 3067 383 293 3 0 167 0
[pid=20422] ppid=20421 vsize=5356 CPUtime=0.62
/proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20422/statm: 1339 227 188 169 0 50 0
[pid=20424] ppid=20422 vsize=6600 CPUtime=1800.33
/proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 1315 0 0 0 180027 6 0 0 25 0 1 0 151705970 6758400 1279 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521836 0 0 4096 0 0 0 0 17 1 0 0
/proc/20424/statm: 1650 1279 213 21 0 1086 0
[pid=20425] ppid=20422 vsize=12404 CPUtime=0
/proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/20425/statm: 3101 441 333 3 0 201 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (Kb) 41988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.21 s]
/proc/loadavg: 1.07 1.00 0.99 2/68 20597
/proc/meminfo: memFree=659960/2055920 swapFree=4183108/4192956
[pid=20420] ppid=20418 vsize=5360 CPUtime=0
/proc/20420/stat : 20420 (runpbsmodels) S 20418 20420 20371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 151705968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20420/statm: 1340 234 195 169 0 51 0
[pid=20421] ppid=20420 vsize=12268 CPUtime=0
/proc/20421/stat : 20421 (pbsmodels-v1.31) S 20420 20420 20371 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151705969 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20421/statm: 3067 383 293 3 0 167 0
[pid=20422] ppid=20421 vsize=5356 CPUtime=0.62
/proc/20422/stat : 20422 (sh) S 20421 20420 20371 0 -1 4194304 309 676 0 0 0 0 62 0 16 0 1 0 151705969 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20422/statm: 1339 227 188 169 0 50 0
[pid=20424] ppid=20422 vsize=6600 CPUtime=1800.33
/proc/20424/stat : 20424 (smodels-2.31) R 20422 20420 20371 0 -1 4194304 1315 0 0 0 180027 6 0 0 25 0 1 0 151705970 6758400 1279 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538386 0 0 4096 0 0 0 0 17 1 0 0
/proc/20424/statm: 1650 1279 213 21 0 1086 0
[pid=20425] ppid=20422 vsize=12404 CPUtime=0
/proc/20425/stat : 20425 (pbout.new.pl) S 20422 20420 20371 0 -1 4194304 481 0 0 0 0 0 0 0 17 0 1 0 151705970 12701696 441 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/20425/statm: 3101 441 333 3 0 201 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (Kb) 41988

Sending SIGTERM to process tree (bottom up)

Child status: 0
Real time (s): 1801.23
CPU time (s): 1801
CPU user time (s): 1800.91
CPU system time (s): 0.087986
CPU usage (%): 99.987
Max. virtual memory (cumulated for all children) (Kb): 41988
The end

Launcher Data (download as text)

Begin job on node31 on Fri Jul 28 01:01:03 UTC 2006


FILE ID= 45860-1154048463

PBS_JOBID= 881759

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b4.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node31/45860-1154048463/instance-45860-1154048463.opb 215715658  ROOT/tmp/node31/45860-1154048463
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node31/watcher-45860-1154048463 -o ROOT/results/node31/solver-45860-1154048463 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node31/45860-1154048463/instance-45860-1154048463.opb 215715658  ROOT/tmp/node31/45860-1154048463

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

RANDOM SEED= 215715658

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.233
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.233
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:        664880 kB
Buffers:         31164 kB
Cached:        1282972 kB
SwapCached:       3704 kB
Active:         105384 kB
Inactive:      1218136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        664880 kB
SwapTotal:     4192956 kB
SwapFree:      4183108 kB
Dirty:             264 kB
Writeback:           0 kB
Mapped:          15996 kB
Slab:            53036 kB
Committed_AS:   577588 kB
PageTables:       1736 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node31 on Fri Jul 28 01:31:04 UTC 2006