Trace number 49567

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)458 1800.89 1801.32

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-prom2.r.opb
MD5SUMfe2fc6a37df33476d3a38f976836359f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark278
Best CPU time to get the best result obtained on this benchmark12.4431
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 278
Optimality of the best value was proved YES
Number of variables2611
Total number of constraints1924
Number of constraints which are clauses1924
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 constraint30
Number of terms in the objective function 2611
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 2611
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 2611
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.28
2.12	o 462
2.13	o 461
2.74	o 460
3.81	o 459
323.28	o 458
1801.30	sh: line 1: 30220 Done                    pbsmodels.trans ROOT/tmp/node25/49567-1154090401/instance-49567-1154090401.opb ROOT/tmp/node25/49567-1154090401
1801.30	     30221 Terminated              | smodels -seed 609735595
1801.30	     30222 Terminated              | pbout.pl ROOT/tmp/node25/49567-1154090401/instance-49567-1154090401.opb ROOT/tmp/node25/49567-1154090401
1801.30	s SATISFIABLE
1801.30	v x1 x5 x8 x43 x51 x54 x70 x72 x78 x83 x84 x91 x97 x100 x111 x118 x130 x131 x142 x166 x171 x174 x188 x195 x199 x207 x215 x217 x220 x229
1801.30	v x231 x232 x234 x236 x245 x255 x257 x258 x265 x270 x273 x281 x283 x285 x290 x296 x304 x307 x309 x314 x315 x319 x320 x345 x346 x352
1801.30	v x358 x359 x368 x377 x379 x381 x397 x398 x399 x400 x403 x422 x423 x434 x437 x450 x451 x454 x466 x470 x472 x475 x482 x500 x506 x507
1801.30	v x516 x533 x546 x547 x552 x554 x557 x563 x575 x578 x585 x592 x593 x598 x602 x604 x605 x607 x616 x618 x623 x626 x636 x637 x642 x644
1801.30	v x649 x653 x673 x675 x677 x679 x681 x684 x685 x696 x699 x701 x704 x713 x715 x717 x720 x721 x723 x724 x729 x730 x734 x738 x752 x762
1801.30	v x769 x783 x784 x787 x792 x795 x806 x810 x817 x821 x826 x834 x835 x836 x843 x846 x851 x852 x854 x856 x859 x869 x873 x876 x890 x892
1801.30	v x900 x911 x915 x919 x934 x938 x944 x946 x947 x955 x959 x964 x967 x971 x978 x984 x992 x1001 x1019 x1034 x1035 x1038 x1039 x1054
1801.30	v x1056 x1059 x1061 x1070 x1078 x1085 x1086 x1087 x1088 x1091 x1103 x1117 x1120 x1121 x1122 x1128 x1141 x1144 x1146 x1147 x1152
1801.30	v x1156 x1171 x1172 x1175 x1176 x1191 x1192 x1194 x1204 x1218 x1228 x1232 x1240 x1247 x1250 x1252 x1256 x1257 x1260 x1264 x1270
1801.30	v x1277 x1279 x1282 x1284 x1285 x1289 x1292 x1298 x1300 x1303 x1315 x1322 x1327 x1329 x1337 x1338 x1345 x1349 x1359 x1367 x1370
1801.30	v x1375 x1379 x1394 x1401 x1402 x1408 x1410 x1413 x1415 x1421 x1423 x1430 x1434 x1436 x1437 x1453 x1466 x1468 x1482 x1491 x1504
1801.30	v x1505 x1508 x1509 x1510 x1520 x1523 x1540 x1547 x1556 x1559 x1560 x1569 x1570 x1589 x1596 x1597 x1599 x1606 x1614 x1617 x1629
1801.30	v x1636 x1637 x1641 x1643 x1646 x1651 x1659 x1664 x1673 x1680 x1683 x1693 x1707 x1710 x1725 x1730 x1735 x1746 x1749 x1750 x1763
1801.30	v x1780 x1782 x1784 x1790 x1800 x1803 x1816 x1821 x1824 x1826 x1835 x1838 x1839 x1840 x1843 x1846 x1855 x1876 x1891 x1894 x1898
1801.30	v x1899 x1904 x1912 x1913 x1919 x1921 x1924 x1937 x1944 x1947 x1955 x1956 x1958 x1968 x1971 x1983 x1987 x1991 x1994 x2000 x2006
1801.30	v x2012 x2017 x2019 x2027 x2036 x2041 x2052 x2063 x2071 x2077 x2078 x2090 x2093 x2095 x2100 x2106 x2117 x2127 x2128 x2132 x2133
1801.30	v x2139 x2144 x2145 x2151 x2154 x2157 x2159 x2160 x2175 x2176 x2181 x2185 x2188 x2195 x2199 x2201 x2206 x2209 x2218 x2222 x2231
1801.30	v x2232 x2246 x2247 x2259 x2276 x2293 x2304 x2310 x2315 x2318 x2321 x2329 x2341 x2348 x2351 x2356 x2368 x2369 x2372 x2377 x2393
1801.30	v x2405 x2408 x2416 x2419 x2420 x2422 x2426 x2435 x2440 x2444 x2454 x2456 x2457 x2459 x2468 x2470 x2471 x2474 x2478 x2482 x2493
1801.30	v x2495 x2499 x2503 x2506 x2509 x2520 x2523 x2527 x2529 x2535 x2554 x2555 x2559 x2560 x2573 x2577 x2586 x2587 x2591 x2592 x2609
1801.30	v x2610 -x2 -x3 -x4 -x6 -x7 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29
1801.30	v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x52 -x53 -x55 -x56 -x57 -x58
1801.30	v -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x71 -x73 -x74 -x75 -x76 -x77 -x79 -x80 -x81 -x82 -x85 -x86 -x87 -x88 -x89
1801.30	v -x90 -x92 -x93 -x94 -x95 -x96 -x98 -x99 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x112 -x113 -x114 -x115
1801.30	v -x116 -x117 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139
1801.30	v -x140 -x141 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161
1801.30	v -x162 -x163 -x164 -x165 -x167 -x168 -x169 -x170 -x172 -x173 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185
1801.30	v -x186 -x187 -x189 -x190 -x191 -x192 -x193 -x194 -x196 -x197 -x198 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x208 -x209 -x210
1801.30	v -x211 -x212 -x213 -x214 -x216 -x218 -x219 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x230 -x233 -x235 -x237 -x238 -x239
1801.30	v -x240 -x241 -x242 -x243 -x244 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x256 -x259 -x260 -x261 -x262 -x263 -x264
1801.30	v -x266 -x267 -x268 -x269 -x271 -x272 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x282 -x284 -x286 -x287 -x288 -x289 -x291 -x292
1801.30	v -x293 -x294 -x295 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x305 -x306 -x308 -x310 -x311 -x312 -x313 -x316 -x317 -x318 -x321
1801.30	v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342
1801.30	v -x343 -x344 -x347 -x348 -x349 -x350 -x351 -x353 -x354 -x355 -x356 -x357 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x369
1801.30	v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x378 -x380 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393
1801.30	v -x394 -x395 -x396 -x401 -x402 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1801.30	v -x420 -x421 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x435 -x436 -x438 -x439 -x440 -x441 -x442 -x443 -x444
1801.30	v -x445 -x446 -x447 -x448 -x449 -x452 -x453 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x467 -x468 -x469
1801.30	v -x471 -x473 -x474 -x476 -x477 -x478 -x479 -x480 -x481 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494
1801.30	v -x495 -x496 -x497 -x498 -x499 -x501 -x502 -x503 -x504 -x505 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x517 -x518 -x519
1801.30	v -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541
1801.30	v -x542 -x543 -x544 -x545 -x548 -x549 -x550 -x551 -x553 -x555 -x556 -x558 -x559 -x560 -x561 -x562 -x564 -x565 -x566 -x567 -x568
1801.30	v -x569 -x570 -x571 -x572 -x573 -x574 -x576 -x577 -x579 -x580 -x581 -x582 -x583 -x584 -x586 -x587 -x588 -x589 -x590 -x591 -x594
1801.30	v -x595 -x596 -x597 -x599 -x600 -x601 -x603 -x606 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x617 -x619 -x620 -x621 -x622
1801.30	v -x624 -x625 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x638 -x639 -x640 -x641 -x643 -x645 -x646 -x647 -x648 -x650
1801.30	v -x651 -x652 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1801.30	v -x674 -x676 -x678 -x680 -x682 -x683 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x697 -x698 -x700 -x702 -x703
1801.30	v -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x714 -x716 -x718 -x719 -x722 -x725 -x726 -x727 -x728 -x731 -x732 -x733 -x735
1801.30	v -x736 -x737 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x753 -x754 -x755 -x756 -x757 -x758
1801.30	v -x759 -x760 -x761 -x763 -x764 -x765 -x766 -x767 -x768 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781
1801.30	v -x782 -x785 -x786 -x788 -x789 -x790 -x791 -x793 -x794 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x807 -x808
1801.30	v -x809 -x811 -x812 -x813 -x814 -x815 -x816 -x818 -x819 -x820 -x822 -x823 -x824 -x825 -x827 -x828 -x829 -x830 -x831 -x832 -x833
1801.30	v -x837 -x838 -x839 -x840 -x841 -x842 -x844 -x845 -x847 -x848 -x849 -x850 -x853 -x855 -x857 -x858 -x860 -x861 -x862 -x863 -x864
1801.30	v -x865 -x866 -x867 -x868 -x870 -x871 -x872 -x874 -x875 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888
1801.30	v -x889 -x891 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x912 -x913
1801.30	v -x914 -x916 -x917 -x918 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x935 -x936 -x937
1801.30	v -x939 -x940 -x941 -x942 -x943 -x945 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x956 -x957 -x958 -x960 -x961 -x962 -x963 -x965
1801.30	v -x966 -x968 -x969 -x970 -x972 -x973 -x974 -x975 -x976 -x977 -x979 -x980 -x981 -x982 -x983 -x985 -x986 -x987 -x988 -x989 -x990
1801.30	v -x991 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011
1801.30	v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029
1801.30	v -x1030 -x1031 -x1032 -x1033 -x1036 -x1037 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
1801.30	v -x1051 -x1052 -x1053 -x1055 -x1057 -x1058 -x1060 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1071 -x1072
1801.30	v -x1073 -x1074 -x1075 -x1076 -x1077 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1089 -x1090 -x1092 -x1093 -x1094 -x1095
1801.30	v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113
1801.30	v -x1114 -x1115 -x1116 -x1118 -x1119 -x1123 -x1124 -x1125 -x1126 -x1127 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135
1801.30	v -x1136 -x1137 -x1138 -x1139 -x1140 -x1142 -x1143 -x1145 -x1148 -x1149 -x1150 -x1151 -x1153 -x1154 -x1155 -x1157 -x1158
1801.30	v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1173 -x1174 -x1177 -x1178 -x1179
1801.30	v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1193 -x1195 -x1196 -x1197 -x1198 -x1199
1801.30	v -x1200 -x1201 -x1202 -x1203 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217
1801.30	v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1229 -x1230 -x1231 -x1233 -x1234 -x1235 -x1236 -x1237
1801.30	v -x1238 -x1239 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1248 -x1249 -x1251 -x1253 -x1254 -x1255 -x1258 -x1259 -x1261
1801.30	v -x1262 -x1263 -x1265 -x1266 -x1267 -x1268 -x1269 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1278 -x1280 -x1281 -x1283
1801.30	v -x1286 -x1287 -x1288 -x1290 -x1291 -x1293 -x1294 -x1295 -x1296 -x1297 -x1299 -x1301 -x1302 -x1304 -x1305 -x1306 -x1307
1801.30	v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1323 -x1324 -x1325 -x1326
1801.30	v -x1328 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1346 -x1347 -x1348
1801.30	v -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1368
1801.30	v -x1369 -x1371 -x1372 -x1373 -x1374 -x1376 -x1377 -x1378 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388
1801.30	v -x1389 -x1390 -x1391 -x1392 -x1393 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1403 -x1404 -x1405 -x1406 -x1407 -x1409
1801.30	v -x1411 -x1412 -x1414 -x1416 -x1417 -x1418 -x1419 -x1420 -x1422 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1431 -x1432
1801.30	v -x1433 -x1435 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452
1801.30	v -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1467 -x1469 -x1470 -x1471 -x1472
1801.30	v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
1801.30	v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1506 -x1507 -x1511 -x1512 -x1513
1801.30	v -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1521 -x1522 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532
1801.30	v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1548 -x1549 -x1550 -x1551
1801.30	v -x1552 -x1553 -x1554 -x1555 -x1557 -x1558 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1571 -x1572 -x1573
1801.30	v -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1590 -x1591
1801.30	v -x1592 -x1593 -x1594 -x1595 -x1598 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612
1801.30	v -x1613 -x1615 -x1616 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1630 -x1631 -x1632
1801.30	v -x1633 -x1634 -x1635 -x1638 -x1639 -x1640 -x1642 -x1644 -x1645 -x1647 -x1648 -x1649 -x1650 -x1652 -x1653 -x1654 -x1655
1801.30	v -x1656 -x1657 -x1658 -x1660 -x1661 -x1662 -x1663 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1674 -x1675
1801.30	v -x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1694 -x1695
1801.30	v -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1708 -x1709 -x1711 -x1712 -x1713 -x1714
1801.30	v -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1726 -x1727 -x1728 -x1729 -x1731 -x1732 -x1733
1801.30	v -x1734 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1747 -x1748 -x1751 -x1752 -x1753 -x1754
1801.30	v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772
1801.30	v -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1781 -x1783 -x1785 -x1786 -x1787 -x1788 -x1789 -x1791 -x1792 -x1793
1801.30	v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1801 -x1802 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812
1801.30	v -x1813 -x1814 -x1815 -x1817 -x1818 -x1819 -x1820 -x1822 -x1823 -x1825 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833
1801.30	v -x1834 -x1836 -x1837 -x1841 -x1842 -x1844 -x1845 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1856 -x1857
1801.30	v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874
1801.30	v -x1875 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1892 -x1893
1801.30	v -x1895 -x1896 -x1897 -x1900 -x1901 -x1902 -x1903 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1914 -x1915 -x1916
1801.30	v -x1917 -x1918 -x1920 -x1922 -x1923 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936
1801.30	v -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1945 -x1946 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1957 -x1959
1801.30	v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1969 -x1970 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978
1801.30	v -x1979 -x1980 -x1981 -x1982 -x1984 -x1985 -x1986 -x1988 -x1989 -x1990 -x1992 -x1993 -x1995 -x1996 -x1997 -x1998 -x1999
1801.30	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2007 -x2008 -x2009 -x2010 -x2011 -x2013 -x2014 -x2015 -x2016 -x2018 -x2020 -x2021
1801.30	v -x2022 -x2023 -x2024 -x2025 -x2026 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2037 -x2038 -x2039 -x2040
1801.30	v -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059
1801.30	v -x2060 -x2061 -x2062 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2072 -x2073 -x2074 -x2075 -x2076 -x2079 -x2080
1801.30	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2091 -x2092 -x2094 -x2096 -x2097 -x2098 -x2099 -x2101
1801.30	v -x2102 -x2103 -x2104 -x2105 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2118 -x2119 -x2120
1801.30	v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2129 -x2130 -x2131 -x2134 -x2135 -x2136 -x2137 -x2138 -x2140 -x2141 -x2142
1801.30	v -x2143 -x2146 -x2147 -x2148 -x2149 -x2150 -x2152 -x2153 -x2155 -x2156 -x2158 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166
1801.30	v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2177 -x2178 -x2179 -x2180 -x2182 -x2183 -x2184 -x2186 -x2187
1801.30	v -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2196 -x2197 -x2198 -x2200 -x2202 -x2203 -x2204 -x2205 -x2207 -x2208 -x2210
1801.30	v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2219 -x2220 -x2221 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229
1801.30	v -x2230 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2248 -x2249 -x2250
1801.30	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268
1801.30	v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286
1801.30	v -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2305
1801.30	v -x2306 -x2307 -x2308 -x2309 -x2311 -x2312 -x2313 -x2314 -x2316 -x2317 -x2319 -x2320 -x2322 -x2323 -x2324 -x2325 -x2326
1801.30	v -x2327 -x2328 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2342 -x2343 -x2344 -x2345
1801.30	v -x2346 -x2347 -x2349 -x2350 -x2352 -x2353 -x2354 -x2355 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365
1801.30	v -x2366 -x2367 -x2370 -x2371 -x2373 -x2374 -x2375 -x2376 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386
1801.30	v -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404
1801.30	v -x2406 -x2407 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2417 -x2418 -x2421 -x2423 -x2424 -x2425 -x2427 -x2428
1801.30	v -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2436 -x2437 -x2438 -x2439 -x2441 -x2442 -x2443 -x2445 -x2446 -x2447 -x2448
1801.30	v -x2449 -x2450 -x2451 -x2452 -x2453 -x2455 -x2458 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2469 -x2472
1801.30	v -x2473 -x2475 -x2476 -x2477 -x2479 -x2480 -x2481 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492
1801.30	v -x2494 -x2496 -x2497 -x2498 -x2500 -x2501 -x2502 -x2504 -x2505 -x2507 -x2508 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515
1801.30	v -x2516 -x2517 -x2518 -x2519 -x2521 -x2522 -x2524 -x2525 -x2526 -x2528 -x2530 -x2531 -x2532 -x2533 -x2534 -x2536 -x2537
1801.30	v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2556
1801.30	v -x2557 -x2558 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2574 -x2575 -x2576
1801.30	v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2588 -x2589 -x2590 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598
1801.30	v -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2611

Verifier Data (download as text)

OK	458

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/node25/watcher-49567-1154090401 -o ROOT/results/node25/solver-49567-1154090401 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node25/49567-1154090401/instance-49567-1154090401.opb 609735595 ROOT/tmp/node25/49567-1154090401 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.97 2/64 30217
/proc/meminfo: memFree=1246536/2055920 swapFree=4183100/4192956
[pid=30217] ppid=30215 vsize=5360 CPUtime=0
/proc/30217/stat : 30217 (runpbsmodels) S 30215 30217 30168 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155915060 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30217/statm: 1340 234 195 169 0 51 0
[pid=30218] ppid=30217 vsize=124 CPUtime=0
/proc/30218/stat : 30218 (pbsmodels-v1.28) R 30217 30217 30168 0 -1 4194304 37 0 0 0 0 0 0 0 20 0 1 0 155915061 126976 20 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215779154240 0 0 4096 0 0 0 0 17 1 0 0
/proc/30218/statm: 31 23 17 3 0 3 0

[startup+10.0018 s]
/proc/loadavg: 0.93 0.95 0.97 2/68 30222
/proc/meminfo: memFree=1243760/2055920 swapFree=4183100/4192956
[pid=30217] ppid=30215 vsize=5360 CPUtime=0
/proc/30217/stat : 30217 (runpbsmodels) S 30215 30217 30168 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155915060 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30217/statm: 1340 234 195 169 0 51 0
[pid=30218] ppid=30217 vsize=12268 CPUtime=0
/proc/30218/stat : 30218 (pbsmodels-v1.28) S 30217 30217 30168 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155915061 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30218/statm: 3067 383 293 3 0 167 0
[pid=30219] ppid=30218 vsize=5356 CPUtime=0.3
/proc/30219/stat : 30219 (sh) S 30218 30217 30168 0 -1 4194304 311 706 0 0 0 0 30 0 16 0 1 0 155915061 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30219/statm: 1339 227 188 169 0 50 0
[pid=30221] ppid=30219 vsize=3400 CPUtime=9.78
/proc/30221/stat : 30221 (smodels) R 30219 30217 30168 0 -1 4194304 526 0 0 0 978 0 0 0 25 0 1 0 155915062 3481600 490 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533088 0 0 4096 0 0 0 0 17 1 0 0
/proc/30221/statm: 850 490 211 20 0 287 0
[pid=30222] ppid=30219 vsize=12404 CPUtime=0
/proc/30222/stat : 30222 (pbout.pl) S 30219 30217 30168 0 -1 4194304 487 0 0 0 0 0 0 0 16 0 1 0 155915062 12701696 446 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30222/statm: 3101 446 333 3 0 201 0
Current children cumulated CPU time (s) 10.08
Current children cumulated vsize (Kb) 38788

[startup+20.0087 s]
/proc/loadavg: 0.94 0.96 0.97 2/68 30222
/proc/meminfo: memFree=1243760/2055920 swapFree=4183100/4192956
[pid=30217] ppid=30215 vsize=5360 CPUtime=0
/proc/30217/stat : 30217 (runpbsmodels) S 30215 30217 30168 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155915060 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30217/statm: 1340 234 195 169 0 51 0
[pid=30218] ppid=30217 vsize=12268 CPUtime=0
/proc/30218/stat : 30218 (pbsmodels-v1.28) S 30217 30217 30168 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155915061 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30218/statm: 3067 383 293 3 0 167 0
[pid=30219] ppid=30218 vsize=5356 CPUtime=0.3
/proc/30219/stat : 30219 (sh) S 30218 30217 30168 0 -1 4194304 311 706 0 0 0 0 30 0 16 0 1 0 155915061 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30219/statm: 1339 227 188 169 0 50 0
[pid=30221] ppid=30219 vsize=3400 CPUtime=19.78
/proc/30221/stat : 30221 (smodels) R 30219 30217 30168 0 -1 4194304 526 0 0 0 1978 0 0 0 25 0 1 0 155915062 3481600 490 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134518741 0 0 4096 0 0 0 0 17 1 0 0
/proc/30221/statm: 850 490 211 20 0 287 0
[pid=30222] ppid=30219 vsize=12404 CPUtime=0
/proc/30222/stat : 30222 (pbout.pl) S 30219 30217 30168 0 -1 4194304 487 0 0 0 0 0 0 0 16 0 1 0 155915062 12701696 446 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30222/statm: 3101 446 333 3 0 201 0
Current children cumulated CPU time (s) 20.08
Current children cumulated vsize (Kb) 38788

[startup+30.0156 s]
/proc/loadavg: 0.95 0.96 0.97 2/68 30222
/proc/meminfo: memFree=1243760/2055920 swapFree=4183100/4192956
[pid=30217] ppid=30215 vsize=5360 CPUtime=0
/proc/30217/stat : 30217 (runpbsmodels) S 30215 30217 30168 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155915060 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30217/statm: 1340 234 195 169 0 51 0
[pid=30218] ppid=30217 vsize=12268 CPUtime=0
/proc/30218/stat : 30218 (pbsmodels-v1.28) S 30217 30217 30168 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155915061 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30218/statm: 3067 383 293 3 0 167 0
[pid=30219] ppid=30218 vsize=5356 CPUtime=0.3
/proc/30219/stat : 30219 (sh) S 30218 30217 30168 0 -1 4194304 311 706 0 0 0 0 30 0 16 0 1 0 155915061 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30219/statm: 1339 227 188 169 0 50 0
[pid=30221] ppid=30219 vsize=3400 CPUtime=29.79
/proc/30221/stat : 30221 (smodels) R 30219 30217 30168 0 -1 4194304 526 0 0 0 2978 1 0 0 25 0 1 0 155915062 3481600 490 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533099 0 0 4096 0 0 0 0 17 1 0 0
/proc/30221/statm: 850 490 211 20 0 287 0
[pid=30222] ppid=30219 vsize=12404 CPUtime=0
/proc/30222/stat : 30222 (pbout.pl) S 30219 30217 30168 0 -1 4194304 487 0 0 0 0 0 0 0 16 0 1 0 155915062 12701696 446 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30222/statm: 3101 446 333 3 0 201 0
Current children cumulated CPU time (s) 30.09
Current children cumulated vsize (Kb) 38788

[startup+40.0215 s]
/proc/loadavg: 0.95 0.96 0.97 2/68 30222
/proc/meminfo: memFree=1243760/2055920 swapFree=4183100/4192956
[pid=30217] ppid=30215 vsize=5360 CPUtime=0
/proc/30217/stat : 30217 (runpbsmodels) S 30215 30217 30168 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155915060 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30217/statm: 1340 234 195 169 0 51 0
[pid=30218] ppid=30217 vsize=12268 CPUtime=0
/proc/30218/stat : 30218 (pbsmodels-v1.28) S 30217 30217 30168 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155915061 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30218/statm: 3067 383 293 3 0 167 0
[pid=30219] ppid=30218 vsize=5356 CPUtime=0.3
/proc/30219/stat : 30219 (sh) S 30218 30217 30168 0 -1 4194304 311 706 0 0 0 0 30 0 16 0 1 0 155915061 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30219/statm: 1339 227 188 169 0 50 0
[pid=30221] ppid=30219 vsize=3400 CPUtime=39.8
/proc/30221/stat : 30221 (smodels) R 30219 30217 30168 0 -1 4194304 526 0 0 0 3979 1 0 0 25 0 1 0 155915062 3481600 490 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521388 0 0 4096 0 0 0 0 17 1 0 0
/proc/30221/statm: 850 490 211 20 0 287 0
[pid=30222] ppid=30219 vsize=12404 CPUtime=0
/proc/30222/stat : 30222 (pbout.pl) S 30219 30217 30168 0 -1 4194304 487 0 0 0 0 0 0 0 16 0 1 0 155915062 12701696 446 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30222/statm: 3101 446 333 3 0 201 0
Current children cumulated CPU time (s) 40.1
Current children cumulated vsize (Kb) 38788

[startup+50.0284 s]
/proc/loadavg: 0.96 0.96 0.97 2/68 30222
/proc/meminfo: memFree=1243760/2055920 swapFree=4183100/4192956
[pid=30217] ppid=30215 vsize=5360 CPUtime=0
/proc/30217/stat : 30217 (runpbsmodels) S 30215 30217 30168 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155915060 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30217/statm: 1340 234 195 169 0 51 0
[pid=30218] ppid=30217 vsize=12268 CPUtime=0
/proc/30218/stat : 30218 (pbsmodels-v1.28) S 30217 30217 30168 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155915061 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30218/statm: 3067 383 293 3 0 167 0
[pid=30219] ppid=30218 vsize=5356 CPUtime=0.3
/proc/30219/stat : 30219 (sh) S 30218 30217 30168 0 -1 4194304 311 706 0 0 0 0 30 0 16 0 1 0 155915061 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30219/statm: 1339 227 188 169 0 50 0
[pid=30221] ppid=30219 vsize=3400 CPUtime=49.8
/proc/30221/stat : 30221 (smodels) R 30219 30217 30168 0 -1 4194304 526 0 0 0 4979 1 0 0 25 0 1 0 155915062 3481600 490 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134555280 0 0 4096 0 0 0 0 17 1 0 0
/proc/30221/statm: 850 490 211 20 0 287 0
[pid=30222] ppid=30219 vsize=12404 CPUtime=0
/proc/30222/stat : 30222 (pbout.pl) S 30219 30217 30168 0 -1 4194304 487 0 0 0 0 0 0 0 16 0 1 0 155915062 12701696 446 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30222/statm: 3101 446 333 3 0 201 0
Current children cumulated CPU time (s) 50.1
Current children cumulated vsize (Kb) 38788

[startup+60.0343 s]
/proc/loadavg: 0.97 0.96 0.97 2/68 30222
/proc/meminfo: memFree=1243760/2055920 swapFree=4183100/4192956
[pid=30217] ppid=30215 vsize=5360 CPUtime=0
/proc/30217/stat : 30217 (runpbsmodels) S 30215 30217 30168 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155915060 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30217/statm: 1340 234 195 169 0 51 0
[pid=30218] ppid=30217 vsize=12268 CPUtime=0
/proc/30218/stat : 30218 (pbsmodels-v1.28) S 30217 30217 30168 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155915061 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30218/statm: 3067 383 293 3 0 167 0
[pid=30219] ppid=30218 vsize=5356 CPUtime=0.3
/proc/30219/stat : 30219 (sh) S 30218 30217 30168 0 -1 4194304 311 706 0 0 0 0 30 0 16 0 1 0 155915061 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30219/statm: 1339 227 188 169 0 50 0
[pid=30221] ppid=30219 vsize=3400 CPUtime=59.81
/proc/30221/stat : 30221 (smodels) R 30219 30217 30168 0 -1 4194304 526 0 0 0 5980 1 0 0 25 0 1 0 155915062 3481600 490 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521326 0 0 4096 0 0 0 0 17 1 0 0
/proc/30221/statm: 850 490 211 20 0 287 0
[pid=30222] ppid=30219 vsize=12404 CPUtime=0
/proc/30222/stat : 30222 (pbout.pl) S 30219 30217 30168 0 -1 4194304 487 0 0 0 0 0 0 0 16 0 1 0 155915062 12701696 446 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30222/statm: 3101 446 333 3 0 201 0
Current children cumulated CPU time (s) 60.11
Current children cumulated vsize (Kb) 38788

[startup+70.0402 s]
/proc/loadavg: 0.97 0.96 0.97 2/68 30222
/proc/meminfo: memFree=1243760/2055920 swapFree=4183100/4192956
[pid=30217] ppid=30215 vsize=5360 CPUtime=0
/proc/30217/stat : 30217 (runpbsmodels) S 30215 30217 30168 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155915060 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30217/statm: 1340 234 195 169 0 51 0
[pid=30218] ppid=30217 vsize=12268 CPUtime=0
/proc/30218/stat : 30218 (pbsmodels-v1.28) S 30217 30217 30168 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155915061 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30218/statm: 3067 383 293 3 0 167 0
[pid=30219] ppid=30218 vsize=5356 CPUtime=0.3
/proc/30219/stat : 30219 (sh) S 30218 30217 30168 0 -1 4194304 311 706 0 0 0 0 30 0 16 0 1 0 155915061 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30219/statm: 1339 227 188 169 0 50 0
[pid=30221] ppid=30219 vsize=3400 CPUtime=69.81
/proc/30221/stat : 30221 (smodels) R 30219 30217 30168 0 -1 4194304 526 0 0 0 6980 1 0 0 25 0 1 0 155915062 3481600 490 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533112 0 0 4096 0 0 0 0 17 1 0 0
/proc/30221/statm: 850 490 211 20 0 287 0
[pid=30222] ppid=30219 vsize=12404 CPUtime=0
/proc/30222/stat : 30222 (pbout.pl) S 30219 30217 30168 0 -1 4194304 487 0 0 0 0 0 0 0 16 0 1 0 155915062 12701696 446 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30222/statm: 3101 446 333 3 0 201 0
Current children cumulated CPU time (s) 70.11
Current children cumulated vsize (Kb) 38788

[startup+80.0471 s]
/proc/loadavg: 0.98 0.96 0.97 2/68 30222
/proc/meminfo: memFree=1243760/2055920 swapFree=4183100/4192956
[pid=30217] ppid=30215 vsize=5360 CPUtime=0
/proc/30217/stat : 30217 (runpbsmodels) S 30215 30217 30168 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155915060 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30217/statm: 1340 234 195 169 0 51 0
[pid=30218] ppid=30217 vsize=12268 CPUtime=0
/proc/30218/stat : 30218 (pbsmodels-v1.28) S 30217 30217 30168 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155915061 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30218/statm: 3067 383 293 3 0 167 0
[pid=30219] ppid=30218 vsize=5356 CPUtime=0.3
/proc/30219/stat : 30219 (sh) S 30218 30217 30168 0 -1 4194304 311 706 0 0 0 0 30 0 16 0 1 0 155915061 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30219/statm: 1339 227 188 169 0 50 0
[pid=30221] ppid=30219 vsize=3400 CPUtime=79.81
/proc/30221/stat : 30221 (smodels) R 30219 30217 30168 0 -1 4194304 526 0 0 0 7980 1 0 0 25 0 1 0 155915062 3481600 490 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531452 0 0 4096 0 0 0 0 17 1 0 0
/proc/30221/statm: 850 490 211 20 0 287 0
[pid=30222] ppid=30219 vsize=12404 CPUtime=0
/proc/30222/stat : 30222 (pbout.pl) S 30219 30217 30168 0 -1 4194304 487 0 0 0 0 0 0 0 16 0 1 0 155915062 12701696 446 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30222/statm: 3101 446 333 3 0 201 0
Current children cumulated CPU time (s) 80.11
Current children cumulated vsize (Kb) 38788

[startup+90.053 s]
/proc/loadavg: 0.98 0.96 0.97 2/68 30222
/proc/meminfo: memFree=1243760/2055920 swapFree=4183100/4192956
[pid=30217] ppid=30215 vsize=5360 CPUtime=0
/proc/30217/stat : 30217 (runpbsmodels) S 30215 30217 30168 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155915060 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30217/statm: 1340 234 195 169 0 51 0
[pid=30218] ppid=30217 vsize=12268 CPUtime=0
/proc/30218/stat : 30218 (pbsmodels-v1.28) S 30217 30217 30168 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155915061 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30218/statm: 3067 383 293 3 0 167 0
[pid=30219] ppid=30218 vsize=5356 CPUtime=0.3
/proc/30219/stat : 30219 (sh) S 30218 30217 30168 0 -1 4194304 311 706 0 0 0 0 30 0 16 0 1 0 155915061 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0

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

[pid=30217] ppid=30215 vsize=5360 CPUtime=0
/proc/30217/stat : 30217 (runpbsmodels) S 30215 30217 30168 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155915060 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30217/statm: 1340 234 195 169 0 51 0
[pid=30218] ppid=30217 vsize=12268 CPUtime=0
/proc/30218/stat : 30218 (pbsmodels-v1.28) S 30217 30217 30168 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155915061 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30218/statm: 3067 383 293 3 0 167 0
[pid=30219] ppid=30218 vsize=5356 CPUtime=0.3
/proc/30219/stat : 30219 (sh) S 30218 30217 30168 0 -1 4194304 311 706 0 0 0 0 30 0 16 0 1 0 155915061 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30219/statm: 1339 227 188 169 0 50 0
[pid=30221] ppid=30219 vsize=3400 CPUtime=1793.5
/proc/30221/stat : 30221 (smodels) R 30219 30217 30168 0 -1 4194304 526 0 0 0 179348 2 0 0 25 0 1 0 155915062 3481600 490 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531488 0 0 4096 0 0 0 0 17 1 0 0
/proc/30221/statm: 850 490 211 20 0 287 0
[pid=30222] ppid=30219 vsize=12404 CPUtime=0
/proc/30222/stat : 30222 (pbout.pl) S 30219 30217 30168 0 -1 4194304 487 0 0 0 0 0 0 0 17 0 1 0 155915062 12701696 446 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30222/statm: 3101 446 333 3 0 201 0
Current children cumulated CPU time (s) 1793.8
Current children cumulated vsize (Kb) 38788

[startup+1795.26 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 30420
/proc/meminfo: memFree=1243568/2055920 swapFree=4183100/4192956
[pid=30217] ppid=30215 vsize=5360 CPUtime=0
/proc/30217/stat : 30217 (runpbsmodels) S 30215 30217 30168 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155915060 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30217/statm: 1340 234 195 169 0 51 0
[pid=30218] ppid=30217 vsize=12268 CPUtime=0
/proc/30218/stat : 30218 (pbsmodels-v1.28) S 30217 30217 30168 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155915061 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30218/statm: 3067 383 293 3 0 167 0
[pid=30219] ppid=30218 vsize=5356 CPUtime=0.3
/proc/30219/stat : 30219 (sh) S 30218 30217 30168 0 -1 4194304 311 706 0 0 0 0 30 0 16 0 1 0 155915061 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30219/statm: 1339 227 188 169 0 50 0
[pid=30221] ppid=30219 vsize=3400 CPUtime=1794.51
/proc/30221/stat : 30221 (smodels) R 30219 30217 30168 0 -1 4194304 526 0 0 0 179449 2 0 0 25 0 1 0 155915062 3481600 490 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531154 0 0 4096 0 0 0 0 17 1 0 0
/proc/30221/statm: 850 490 211 20 0 287 0
[pid=30222] ppid=30219 vsize=12404 CPUtime=0
/proc/30222/stat : 30222 (pbout.pl) S 30219 30217 30168 0 -1 4194304 487 0 0 0 0 0 0 0 17 0 1 0 155915062 12701696 446 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30222/statm: 3101 446 333 3 0 201 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (Kb) 38788

[startup+1796.27 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 30420
/proc/meminfo: memFree=1243568/2055920 swapFree=4183100/4192956
[pid=30217] ppid=30215 vsize=5360 CPUtime=0
/proc/30217/stat : 30217 (runpbsmodels) S 30215 30217 30168 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155915060 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30217/statm: 1340 234 195 169 0 51 0
[pid=30218] ppid=30217 vsize=12268 CPUtime=0
/proc/30218/stat : 30218 (pbsmodels-v1.28) S 30217 30217 30168 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155915061 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30218/statm: 3067 383 293 3 0 167 0
[pid=30219] ppid=30218 vsize=5356 CPUtime=0.3
/proc/30219/stat : 30219 (sh) S 30218 30217 30168 0 -1 4194304 311 706 0 0 0 0 30 0 16 0 1 0 155915061 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30219/statm: 1339 227 188 169 0 50 0
[pid=30221] ppid=30219 vsize=3400 CPUtime=1795.51
/proc/30221/stat : 30221 (smodels) R 30219 30217 30168 0 -1 4194304 526 0 0 0 179549 2 0 0 25 0 1 0 155915062 3481600 490 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531426 0 0 4096 0 0 0 0 17 1 0 0
/proc/30221/statm: 850 490 211 20 0 287 0
[pid=30222] ppid=30219 vsize=12404 CPUtime=0
/proc/30222/stat : 30222 (pbout.pl) S 30219 30217 30168 0 -1 4194304 487 0 0 0 0 0 0 0 17 0 1 0 155915062 12701696 446 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30222/statm: 3101 446 333 3 0 201 0
Current children cumulated CPU time (s) 1795.81
Current children cumulated vsize (Kb) 38788

[startup+1797.27 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 30420
/proc/meminfo: memFree=1243568/2055920 swapFree=4183100/4192956
[pid=30217] ppid=30215 vsize=5360 CPUtime=0
/proc/30217/stat : 30217 (runpbsmodels) S 30215 30217 30168 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155915060 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30217/statm: 1340 234 195 169 0 51 0
[pid=30218] ppid=30217 vsize=12268 CPUtime=0
/proc/30218/stat : 30218 (pbsmodels-v1.28) S 30217 30217 30168 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155915061 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30218/statm: 3067 383 293 3 0 167 0
[pid=30219] ppid=30218 vsize=5356 CPUtime=0.3
/proc/30219/stat : 30219 (sh) S 30218 30217 30168 0 -1 4194304 311 706 0 0 0 0 30 0 16 0 1 0 155915061 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30219/statm: 1339 227 188 169 0 50 0
[pid=30221] ppid=30219 vsize=3400 CPUtime=1796.52
/proc/30221/stat : 30221 (smodels) R 30219 30217 30168 0 -1 4194304 526 0 0 0 179650 2 0 0 25 0 1 0 155915062 3481600 490 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134534233 0 0 4096 0 0 0 0 17 1 0 0
/proc/30221/statm: 850 490 211 20 0 287 0
[pid=30222] ppid=30219 vsize=12404 CPUtime=0
/proc/30222/stat : 30222 (pbout.pl) S 30219 30217 30168 0 -1 4194304 487 0 0 0 0 0 0 0 17 0 1 0 155915062 12701696 446 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30222/statm: 3101 446 333 3 0 201 0
Current children cumulated CPU time (s) 1796.82
Current children cumulated vsize (Kb) 38788

[startup+1798.28 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 30420
/proc/meminfo: memFree=1243568/2055920 swapFree=4183100/4192956
[pid=30217] ppid=30215 vsize=5360 CPUtime=0
/proc/30217/stat : 30217 (runpbsmodels) S 30215 30217 30168 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155915060 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30217/statm: 1340 234 195 169 0 51 0
[pid=30218] ppid=30217 vsize=12268 CPUtime=0
/proc/30218/stat : 30218 (pbsmodels-v1.28) S 30217 30217 30168 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155915061 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30218/statm: 3067 383 293 3 0 167 0
[pid=30219] ppid=30218 vsize=5356 CPUtime=0.3
/proc/30219/stat : 30219 (sh) S 30218 30217 30168 0 -1 4194304 311 706 0 0 0 0 30 0 16 0 1 0 155915061 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30219/statm: 1339 227 188 169 0 50 0
[pid=30221] ppid=30219 vsize=3400 CPUtime=1797.52
/proc/30221/stat : 30221 (smodels) R 30219 30217 30168 0 -1 4194304 526 0 0 0 179750 2 0 0 25 0 1 0 155915062 3481600 490 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533089 0 0 4096 0 0 0 0 17 1 0 0
/proc/30221/statm: 850 490 211 20 0 287 0
[pid=30222] ppid=30219 vsize=12404 CPUtime=0
/proc/30222/stat : 30222 (pbout.pl) S 30219 30217 30168 0 -1 4194304 487 0 0 0 0 0 0 0 17 0 1 0 155915062 12701696 446 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30222/statm: 3101 446 333 3 0 201 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (Kb) 38788

[startup+1799.28 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 30420
/proc/meminfo: memFree=1243568/2055920 swapFree=4183100/4192956
[pid=30217] ppid=30215 vsize=5360 CPUtime=0
/proc/30217/stat : 30217 (runpbsmodels) S 30215 30217 30168 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155915060 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30217/statm: 1340 234 195 169 0 51 0
[pid=30218] ppid=30217 vsize=12268 CPUtime=0
/proc/30218/stat : 30218 (pbsmodels-v1.28) S 30217 30217 30168 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155915061 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30218/statm: 3067 383 293 3 0 167 0
[pid=30219] ppid=30218 vsize=5356 CPUtime=0.3
/proc/30219/stat : 30219 (sh) S 30218 30217 30168 0 -1 4194304 311 706 0 0 0 0 30 0 16 0 1 0 155915061 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30219/statm: 1339 227 188 169 0 50 0
[pid=30221] ppid=30219 vsize=3400 CPUtime=1798.53
/proc/30221/stat : 30221 (smodels) R 30219 30217 30168 0 -1 4194304 526 0 0 0 179851 2 0 0 25 0 1 0 155915062 3481600 490 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134519703 0 0 4096 0 0 0 0 17 1 0 0
/proc/30221/statm: 850 490 211 20 0 287 0
[pid=30222] ppid=30219 vsize=12404 CPUtime=0
/proc/30222/stat : 30222 (pbout.pl) S 30219 30217 30168 0 -1 4194304 487 0 0 0 0 0 0 0 17 0 1 0 155915062 12701696 446 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30222/statm: 3101 446 333 3 0 201 0
Current children cumulated CPU time (s) 1798.83
Current children cumulated vsize (Kb) 38788

[startup+1800.29 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 30420
/proc/meminfo: memFree=1243568/2055920 swapFree=4183100/4192956
[pid=30217] ppid=30215 vsize=5360 CPUtime=0
/proc/30217/stat : 30217 (runpbsmodels) S 30215 30217 30168 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155915060 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30217/statm: 1340 234 195 169 0 51 0
[pid=30218] ppid=30217 vsize=12268 CPUtime=0
/proc/30218/stat : 30218 (pbsmodels-v1.28) S 30217 30217 30168 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155915061 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30218/statm: 3067 383 293 3 0 167 0
[pid=30219] ppid=30218 vsize=5356 CPUtime=0.3
/proc/30219/stat : 30219 (sh) S 30218 30217 30168 0 -1 4194304 311 706 0 0 0 0 30 0 16 0 1 0 155915061 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30219/statm: 1339 227 188 169 0 50 0
[pid=30221] ppid=30219 vsize=3400 CPUtime=1799.53
/proc/30221/stat : 30221 (smodels) R 30219 30217 30168 0 -1 4194304 526 0 0 0 179951 2 0 0 25 0 1 0 155915062 3481600 490 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531434 0 0 4096 0 0 0 0 17 1 0 0
/proc/30221/statm: 850 490 211 20 0 287 0
[pid=30222] ppid=30219 vsize=12404 CPUtime=0
/proc/30222/stat : 30222 (pbout.pl) S 30219 30217 30168 0 -1 4194304 487 0 0 0 0 0 0 0 17 0 1 0 155915062 12701696 446 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30222/statm: 3101 446 333 3 0 201 0
Current children cumulated CPU time (s) 1799.83
Current children cumulated vsize (Kb) 38788

[startup+1801.29 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 30420
/proc/meminfo: memFree=1243568/2055920 swapFree=4183100/4192956
[pid=30217] ppid=30215 vsize=5360 CPUtime=0
/proc/30217/stat : 30217 (runpbsmodels) S 30215 30217 30168 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155915060 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30217/statm: 1340 234 195 169 0 51 0
[pid=30218] ppid=30217 vsize=12268 CPUtime=0
/proc/30218/stat : 30218 (pbsmodels-v1.28) S 30217 30217 30168 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155915061 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30218/statm: 3067 383 293 3 0 167 0
[pid=30219] ppid=30218 vsize=5356 CPUtime=0.3
/proc/30219/stat : 30219 (sh) S 30218 30217 30168 0 -1 4194304 311 706 0 0 0 0 30 0 16 0 1 0 155915061 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30219/statm: 1339 227 188 169 0 50 0
[pid=30221] ppid=30219 vsize=3400 CPUtime=1800.54
/proc/30221/stat : 30221 (smodels) R 30219 30217 30168 0 -1 4194304 526 0 0 0 180052 2 0 0 25 0 1 0 155915062 3481600 490 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134534201 0 0 4096 0 0 0 0 17 1 0 0
/proc/30221/statm: 850 490 211 20 0 287 0
[pid=30222] ppid=30219 vsize=12404 CPUtime=0
/proc/30222/stat : 30222 (pbout.pl) S 30219 30217 30168 0 -1 4194304 487 0 0 0 0 0 0 0 17 0 1 0 155915062 12701696 446 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30222/statm: 3101 446 333 3 0 201 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (Kb) 38788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.29 s]
/proc/loadavg: 1.00 1.00 0.98 2/68 30420
/proc/meminfo: memFree=1243568/2055920 swapFree=4183100/4192956
[pid=30217] ppid=30215 vsize=5360 CPUtime=0
/proc/30217/stat : 30217 (runpbsmodels) S 30215 30217 30168 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 155915060 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30217/statm: 1340 234 195 169 0 51 0
[pid=30218] ppid=30217 vsize=12268 CPUtime=0
/proc/30218/stat : 30218 (pbsmodels-v1.28) S 30217 30217 30168 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 155915061 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 215790698388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30218/statm: 3067 383 293 3 0 167 0
[pid=30219] ppid=30218 vsize=5356 CPUtime=0.3
/proc/30219/stat : 30219 (sh) S 30218 30217 30168 0 -1 4194304 311 706 0 0 0 0 30 0 16 0 1 0 155915061 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30219/statm: 1339 227 188 169 0 50 0
[pid=30221] ppid=30219 vsize=3400 CPUtime=1800.54
/proc/30221/stat : 30221 (smodels) R 30219 30217 30168 0 -1 4194304 526 0 0 0 180052 2 0 0 25 0 1 0 155915062 3481600 490 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533776 0 0 4096 0 0 0 0 17 1 0 0
/proc/30221/statm: 850 490 211 20 0 287 0
[pid=30222] ppid=30219 vsize=12404 CPUtime=0
/proc/30222/stat : 30222 (pbout.pl) S 30219 30217 30168 0 -1 4194304 487 0 0 0 0 0 0 0 17 0 1 0 155915062 12701696 446 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215790694498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30222/statm: 3101 446 333 3 0 201 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (Kb) 38788

Sending SIGTERM to process tree (bottom up)

Child status: 0
Real time (s): 1801.32
CPU time (s): 1800.89
CPU user time (s): 1800.84
CPU system time (s): 0.046992
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (Kb): 38788
The end

Launcher Data (download as text)

Begin job on node25 on Fri Jul 28 12:40:01 UTC 2006


FILE ID= 49567-1154090401

PBS_JOBID= 885648

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-prom2.r.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node25/49567-1154090401/instance-49567-1154090401.opb 609735595  ROOT/tmp/node25/49567-1154090401
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-49567-1154090401 -o ROOT/results/node25/solver-49567-1154090401 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node25/49567-1154090401/instance-49567-1154090401.opb 609735595  ROOT/tmp/node25/49567-1154090401

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

RANDOM SEED= 609735595

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.209
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.209
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:       1246744 kB
Buffers:         37124 kB
Cached:         689328 kB
SwapCached:       3800 kB
Active:         113344 kB
Inactive:       621876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1246744 kB
SwapTotal:     4192956 kB
SwapFree:      4183100 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14704 kB
Slab:            59988 kB
Committed_AS:   727700 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node25 on Fri Jul 28 13:10:03 UTC 2006