Trace number 459712

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
PBS4_v2 2007-03-23SAT (TO)-48 1800.12 1800.74

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_3.opb
MD5SUM60cf9918356073587dd2c65f46896dfb
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-49
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint10
Maximum length of a constraint20
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2488
Sum of products size (including duplicates)4976
Number of different products1244
Sum of products size2488

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/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/459712-1178658564/instance-459712-1178658564.opb ......
0.00/0.03	c done parsing opb.
0.00/0.03	o 169
0.00/0.04	o 168
0.00/0.04	o 164
0.00/0.04	o 163
0.79/0.82	o 161
2.29/2.37	o 160
2.39/2.42	o 159
2.59/2.60	o 158
2.79/2.83	o 157
2.79/2.85	o 156
2.79/2.85	o 155
2.79/2.85	o 154
1009.95/1010.32	o 153
1271.46/1271.90	o 152
1800.09/1800.71	s SATISFIABLE
1800.09/1800.71	v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013
1800.09/1800.71	v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029
1800.09/1800.71	v -x103 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045
1800.09/1800.71	v -x1046 -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061
1800.09/1800.71	v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078
1800.09/1800.71	v -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094
1800.09/1800.71	v -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111
1800.09/1800.71	v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125
1800.09/1800.71	v -x1126 -x1127 -x1128 -x1129 x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x114 -x1140 -x1141
1800.09/1800.71	v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158
1800.09/1800.71	v -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x117 -x1170 -x1171 -x1172 -x1173 -x1174
1800.09/1800.71	v -x1175 -x1176 -x1177 -x1178 -x1179 x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190
1800.09/1800.71	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206
1800.09/1800.71	v -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x122 -x1220 -x1221 -x1222
1800.09/1800.71	v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238
1800.09/1800.71	v -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254
1800.09/1800.71	v -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x127 -x1270
1800.09/1800.71	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287
1800.09/1800.71	v -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302
1800.09/1800.71	v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318
1800.09/1800.71	v -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x133 -x1330 -x1331 -x1332 -x1333 -x1334
1800.09/1800.71	v -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350
1800.09/1800.71	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366
1800.09/1800.71	v -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 -x1382
1800.09/1800.71	v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398
1800.09/1800.71	v -x1399 x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x141 -x1410 -x1411 -x1412 -x1413
1800.09/1800.71	v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429
1800.09/1800.71	v -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x145
1800.09/1800.71	v -x146 x147 -x148 x149 -x15 -x150 x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x16 -x160 -x161 x162 -x163 -x164 -x165
1800.09/1800.71	v -x166 x167 -x168 -x169 -x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 x179 -x18 x180 -x181 x182 -x183 x184 -x185
1800.09/1800.71	v x186 x187 -x188 -x189 x19 x190 -x191 -x192 x193 -x194 x195 x196 -x197 -x198 x199 x2 -x20 x200 -x201 -x202 -x203 -x204 -x205
1800.09/1800.71	v -x206 -x207 -x208 -x209 -x21 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224
1800.09/1800.71	v -x225 -x226 -x227 -x228 -x229 -x23 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243
1800.09/1800.71	v -x244 -x245 -x246 -x247 -x248 -x249 x25 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262
1800.09/1800.71	v -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x28 -x280 -x281
1800.09/1800.71	v -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30
1800.09/1800.71	v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319
1800.09/1800.71	v -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338
1800.09/1800.71	v -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.09/1800.71	v -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1800.09/1800.71	v -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x39 -x390 -x391 -x392 -x393 -x394 -x395
1800.09/1800.71	v -x396 -x397 -x398 -x399 -x4 x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414
1800.09/1800.71	v -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433
1800.09/1800.71	v -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452
1800.09/1800.71	v -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471
1800.09/1800.71	v -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490
1800.09/1800.71	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509
1800.09/1800.71	v x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528
1800.09/1800.71	v -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547
1800.09/1800.71	v -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.09/1800.71	v -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585
1800.09/1800.71	v -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603
1800.09/1800.71	v -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622
1800.09/1800.71	v -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641
1800.09/1800.71	v -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660
1800.09/1800.71	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x68
1800.09/1800.71	v -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699
1800.09/1800.71	v x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718
1800.09/1800.71	v -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737
1800.09/1800.71	v -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756
1800.09/1800.71	v -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775
1800.09/1800.71	v -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x79 -x790 -x791 -x792 -x793 -x794
1800.09/1800.71	v -x795 -x796 -x797 -x798 -x799 -x8 x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813
1800.09/1800.71	v -x814 -x815 -x816 -x817 -x818 -x819 x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832
1800.09/1800.71	v -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851
1800.09/1800.71	v -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870
1800.09/1800.71	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89
1800.09/1800.71	v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908
1800.09/1800.71	v -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927
1800.09/1800.71	v -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946
1800.09/1800.71	v -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965
1800.09/1800.71	v -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x98 -x980 -x981 -x982 -x983 -x984
1800.09/1800.71	v -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999

Verifier Data (download as text)

OK	-48

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/459712-1178658564/instance-459712-1178658564.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node46/watcher-459712-1178658564 -o ROOT/results/node46/solver-459712-1178658564 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459712-1178658564/instance-459712-1178658564.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.08 1.02 1.01 3/78 23195
/proc/meminfo: memFree=1515120/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=1592 CPUtime=0
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 190 0 0 0 0 0 0 0 18 0 1 0 220539455 1630208 172 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006476 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 398 172 86 219 0 175 0

[startup+0.061136 s]
/proc/loadavg: 1.08 1.02 1.01 3/78 23195
/proc/meminfo: memFree=1515120/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=1984 CPUtime=0.05
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 370 0 0 0 5 0 0 0 18 0 1 0 220539455 2031616 352 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 496 352 102 219 0 273 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1984

[startup+0.102145 s]
/proc/loadavg: 1.08 1.02 1.01 3/78 23195
/proc/meminfo: memFree=1515120/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=2240 CPUtime=0.09
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 437 0 0 0 9 0 0 0 18 0 1 0 220539455 2293760 419 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 560 419 102 219 0 337 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2240

[startup+0.30118 s]
/proc/loadavg: 1.08 1.02 1.01 3/78 23195
/proc/meminfo: memFree=1515120/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=3976 CPUtime=0.29
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 760 0 0 0 29 0 0 0 19 0 1 0 220539455 4071424 742 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557495 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 994 742 102 219 0 771 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3976

[startup+0.701255 s]
/proc/loadavg: 1.08 1.02 1.01 3/78 23195
/proc/meminfo: memFree=1515120/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=6024 CPUtime=0.69
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 1279 0 0 0 69 0 0 0 23 0 1 0 220539455 6168576 1261 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 1506 1261 102 219 0 1283 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6024

[startup+1.5014 s]
/proc/loadavg: 1.08 1.02 1.01 2/79 23196
/proc/meminfo: memFree=1508712/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=10584 CPUtime=1.49
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 2330 0 0 0 148 1 0 0 25 0 1 0 220539455 10838016 2312 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 2646 2312 102 219 0 2423 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10584

[startup+3.1017 s]
/proc/loadavg: 1.08 1.02 1.01 2/79 23196
/proc/meminfo: memFree=1504040/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=20072 CPUtime=3.09
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 3862 0 0 0 307 2 0 0 25 0 1 0 220539455 20553728 3795 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 5018 3795 102 219 0 4795 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20072

[startup+6.30129 s]
/proc/loadavg: 1.07 1.02 1.00 2/79 23196
/proc/meminfo: memFree=1495784/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=21320 CPUtime=6.29
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 5050 0 0 0 625 4 0 0 25 0 1 0 220539455 21831680 4886 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 5330 4886 102 219 0 5107 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21320

[startup+12.7015 s]
/proc/loadavg: 1.07 1.02 1.00 2/79 23196
/proc/meminfo: memFree=1493752/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=38544 CPUtime=12.69
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 5524 0 0 0 1263 6 0 0 25 0 1 0 220539455 39469056 5360 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 9636 5360 102 219 0 9413 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38544

[startup+25.5029 s]
/proc/loadavg: 1.05 1.01 1.00 2/79 23196
/proc/meminfo: memFree=1491072/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=40380 CPUtime=25.49
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 6357 0 0 0 2538 11 0 0 25 0 1 0 220539455 41349120 6000 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 10095 6000 102 219 0 9872 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40380

[startup+51.1016 s]
/proc/loadavg: 1.03 1.01 1.00 2/79 23196
/proc/meminfo: memFree=1488832/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=43288 CPUtime=51.08
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 7316 0 0 0 5089 19 0 0 25 0 1 0 220539455 44326912 6574 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 10822 6574 102 219 0 10599 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43288

[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/79 23196
/proc/meminfo: memFree=1484800/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=49148 CPUtime=102.26
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 9106 0 0 0 10192 34 0 0 25 0 1 0 220539455 50327552 7595 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 12287 7595 102 219 0 12064 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49148

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1481152/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=51232 CPUtime=162.24
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 10030 0 0 0 16178 46 0 0 25 0 1 0 220539455 52461568 8519 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 12808 8519 102 219 0 12585 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 51232

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1477952/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=59280 CPUtime=222.22
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 12329 0 0 0 22163 59 0 0 25 0 1 0 220539455 60702720 9281 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 14820 9281 102 219 0 14597 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 59280

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1475264/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=60744 CPUtime=282.2
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 13019 0 0 0 28149 71 0 0 25 0 1 0 220539455 62201856 9971 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 15186 9971 102 219 0 14963 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 60744

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1472640/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=61876 CPUtime=342.18
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 13656 0 0 0 34137 81 0 0 25 0 1 0 220539455 63361024 10608 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 15469 10608 102 219 0 15246 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 61876

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1470208/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=63316 CPUtime=402.16
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 14282 0 0 0 40125 91 0 0 25 0 1 0 220539455 64835584 11234 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 15829 11234 102 219 0 15606 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 63316

[startup+462.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1467840/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=64760 CPUtime=462.14
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 14867 0 0 0 46114 100 0 0 25 0 1 0 220539455 66314240 11819 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 16190 11819 102 219 0 15967 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 64760

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1465600/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=78000 CPUtime=522.11
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 18493 0 0 0 52104 107 0 0 25 0 1 0 220539455 79872000 12372 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 19500 12372 102 219 0 19277 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 78000

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1463552/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=78840 CPUtime=582.1
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 19003 0 0 0 58095 115 0 0 25 0 1 0 220539455 80732160 12882 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 19710 12882 102 219 0 19487 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 78840

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1461632/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=79732 CPUtime=642.08
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 19484 0 0 0 64085 123 0 0 25 0 1 0 220539455 81645568 13363 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 19933 13363 102 219 0 19710 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 79732


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1454592/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=84052 CPUtime=881.99
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 21246 0 0 0 88048 151 0 0 25 0 1 0 220539455 86069248 15125 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 21013 15125 102 219 0 20790 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 84052

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1452992/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=84052 CPUtime=941.97
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 21646 0 0 0 94041 156 0 0 25 0 1 0 220539455 86069248 15525 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 21013 15525 102 219 0 20790 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 84052

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1451456/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=85260 CPUtime=1001.95
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 22032 0 0 0 100032 163 0 0 25 0 1 0 220539455 87306240 15911 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 21315 15911 102 219 0 21092 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 85260

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/79 23196
/proc/meminfo: memFree=1449920/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=86540 CPUtime=1061.93
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 22425 0 0 0 106023 170 0 0 25 0 1 0 220539455 88616960 16304 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 21635 16304 102 219 0 21412 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 86540

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1448384/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=86540 CPUtime=1121.91
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 22810 0 0 0 112016 175 0 0 25 0 1 0 220539455 88616960 16689 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 21635 16689 102 219 0 21412 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 86540

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1446784/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=87900 CPUtime=1181.89
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 23205 0 0 0 118009 180 0 0 25 0 1 0 220539455 90009600 17084 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 21975 17084 102 219 0 21752 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 87900

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1445312/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=87900 CPUtime=1241.87
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 23561 0 0 0 124001 186 0 0 25 0 1 0 220539455 90009600 17440 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550298 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 21975 17440 102 219 0 21752 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 87900

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1443840/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=89348 CPUtime=1301.85
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 23915 0 0 0 129994 191 0 0 25 0 1 0 220539455 91492352 17794 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 22337 17794 102 219 0 22114 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 89348

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1442368/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=89348 CPUtime=1361.83
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 24274 0 0 0 135986 197 0 0 25 0 1 0 220539455 91492352 18153 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 22337 18153 102 219 0 22114 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 89348

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1440896/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=115460 CPUtime=1421.81
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 30792 0 0 0 141975 206 0 0 25 0 1 0 220539455 118231040 18526 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 28865 18526 102 219 0 28642 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 115460

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1439552/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=115460 CPUtime=1481.79
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 31137 0 0 0 147968 211 0 0 25 0 1 0 220539455 118231040 18871 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 28865 18871 102 219 0 28642 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 115460

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1438272/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=117252 CPUtime=1541.77
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 31473 0 0 0 153960 217 0 0 25 0 1 0 220539455 120066048 19207 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 29313 19207 102 219 0 29090 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 117252

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1436864/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=117252 CPUtime=1601.75
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 31810 0 0 0 159953 222 0 0 25 0 1 0 220539455 120066048 19544 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 29313 19544 102 219 0 29090 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 117252

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1435520/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=118988 CPUtime=1661.73
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 32151 0 0 0 165945 228 0 0 25 0 1 0 220539455 121843712 19885 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 29747 19885 102 219 0 29524 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 118988

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1434240/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=118988 CPUtime=1721.71
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 32471 0 0 0 171938 233 0 0 25 0 1 0 220539455 121843712 20205 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560849 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 29747 20205 102 219 0 29524 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 118988

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23196
/proc/meminfo: memFree=1433024/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=118988 CPUtime=1781.69
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 32778 0 0 0 177930 239 0 0 25 0 1 0 220539455 121843712 20512 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 29747 20512 102 219 0 29524 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 118988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23198
/proc/meminfo: memFree=1432576/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=119148 CPUtime=1800.09
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 32889 0 0 0 179769 240 0 0 25 0 1 0 220539455 122007552 20623 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 29787 20623 102 219 0 29564 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 119148

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

Solver just ended. Dumping a history of the last processes samples

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 23198
/proc/meminfo: memFree=1432576/2055920 swapFree=4159456/4192956
[pid=23195] ppid=23193 vsize=119148 CPUtime=1800.09
/proc/23195/stat : 23195 (PBS4_SAT07v2) R 23193 23195 22201 0 -1 4194304 32889 0 0 0 179769 240 0 0 25 0 1 0 220539455 122007552 20623 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23195/statm: 29787 20623 102 219 0 29564 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 119148

Child status: 0
Real time (s): 1800.74
CPU time (s): 1800.12
CPU user time (s): 1797.7
CPU system time (s): 2.41863
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 138504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.7
system time used= 2.41863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32892
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 2447

runsolver used 1.72274 second user time and 4.74628 second system time

The end

Launcher Data (download as text)

Begin job on node46 on Tue May  8 21:09:25 UTC 2007

IDJOB= 459712
IDBENCH= 48173
IDSOLVER= 200
FILE ID= node46/459712-1178658564

PBS_JOBID= 5218398

Free space on /tmp= 66218 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_3.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459712-1178658564/instance-459712-1178658564.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node46/convwatcher-459712-1178658564 -o ROOT/results/node46/conversion-459712-1178658564 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459712-1178658564/instance-459712-1178658564.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node46/watcher-459712-1178658564 -o ROOT/results/node46/solver-459712-1178658564 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/459712-1178658564/instance-459712-1178658564.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  60cf9918356073587dd2c65f46896dfb

RANDOM SEED= 88821272

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node46.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.268
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	: 5931.00
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.268
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:       1515464 kB
Buffers:         43784 kB
Cached:         356576 kB
SwapCached:       3288 kB
Active:         144592 kB
Inactive:       280892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1515464 kB
SwapTotal:     4192956 kB
SwapFree:      4159456 kB
Dirty:            2376 kB
Writeback:           0 kB
Mapped:          32784 kB
Slab:           100284 kB
Committed_AS:  5184352 kB
PageTables:       1996 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66218 MiB

End job on node46 on Tue May  8 21:39:28 UTC 2007