Trace number 458776

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)180 1800.07 1800.62

General information on the benchmark

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

Verifier Data (download as text)

OK	180

Conversion Script Data (download as text)

/tmp/evaluation/458776-1178643035/instance-458776-1178643035.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node70/watcher-458776-1178643035 -o ROOT/results/node70/solver-458776-1178643035 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458776-1178643035/instance-458776-1178643035.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: 0.99 0.98 0.99 3/64 26683
/proc/meminfo: memFree=1925248/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=1460 CPUtime=0
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 303840863 1495040 160 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 365 160 86 219 0 142 0

[startup+0.0645431 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 26683
/proc/meminfo: memFree=1925248/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=2016 CPUtime=0.06
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 336 0 0 0 6 0 0 0 18 0 1 0 303840863 2064384 318 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 504 318 86 219 0 281 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2016

[startup+0.101545 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 26683
/proc/meminfo: memFree=1925248/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=2164 CPUtime=0.09
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 405 0 0 0 9 0 0 0 18 0 1 0 303840863 2215936 387 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 541 387 86 219 0 318 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2164

[startup+0.301566 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 26683
/proc/meminfo: memFree=1925248/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=4472 CPUtime=0.29
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 993 0 0 0 29 0 0 0 19 0 1 0 303840863 4579328 828 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135015510 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 1118 828 86 219 0 895 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4472

[startup+0.701604 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 26683
/proc/meminfo: memFree=1925248/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=6292 CPUtime=0.69
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 1329 0 0 0 68 1 0 0 23 0 1 0 303840863 6443008 1164 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 1573 1164 90 219 0 1350 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6292

[startup+1.50168 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26684
/proc/meminfo: memFree=1920312/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=6956 CPUtime=1.49
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 1711 0 0 0 148 1 0 0 25 0 1 0 303840863 7122944 1546 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 1739 1546 102 219 0 1516 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6956

[startup+3.10185 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26684
/proc/meminfo: memFree=1918712/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=9536 CPUtime=3.09
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 2013 0 0 0 306 3 0 0 25 0 1 0 303840863 9764864 1848 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 2384 1848 102 219 0 2161 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9536

[startup+6.30117 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26684
/proc/meminfo: memFree=1917048/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=10188 CPUtime=6.29
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 2363 0 0 0 622 7 0 0 25 0 1 0 303840863 10432512 2101 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 2547 2101 102 219 0 2324 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10188

[startup+12.7018 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26684
/proc/meminfo: memFree=1916088/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=10716 CPUtime=12.68
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 2635 0 0 0 1253 15 0 0 25 0 1 0 303840863 10973184 2373 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 2679 2373 102 219 0 2456 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10716

[startup+25.5011 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26684
/proc/meminfo: memFree=1914296/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=12388 CPUtime=25.48
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 3201 0 0 0 2520 28 0 0 25 0 1 0 303840863 12685312 2746 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 3097 2746 102 219 0 2874 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12388

[startup+51.1017 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26684
/proc/meminfo: memFree=1912888/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=17152 CPUtime=51.08
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 3569 0 0 0 5052 56 0 0 25 0 1 0 303840863 17563648 3114 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 4288 3114 102 219 0 4065 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17152

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26684
/proc/meminfo: memFree=1910136/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=20028 CPUtime=102.27
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 4648 0 0 0 10120 107 0 0 25 0 1 0 303840863 20508672 3808 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 5007 3808 102 219 0 4784 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 20028

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26684
/proc/meminfo: memFree=1907384/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=24420 CPUtime=162.25
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 6061 0 0 0 16061 164 0 0 25 0 1 0 303840863 25006080 4452 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 6105 4452 102 219 0 5882 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 24420

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26684
/proc/meminfo: memFree=1905592/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=25644 CPUtime=222.23
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 6539 0 0 0 22007 216 0 0 25 0 1 0 303840863 26259456 4930 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 6411 4930 102 219 0 6188 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 25644

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26684
/proc/meminfo: memFree=1903352/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=26480 CPUtime=282.22
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 7100 0 0 0 27954 268 0 0 25 0 1 0 303840863 27115520 5491 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 6620 5491 102 219 0 6397 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 26480

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26684
/proc/meminfo: memFree=1901048/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=27624 CPUtime=342.21
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 7649 0 0 0 33908 313 0 0 25 0 1 0 303840863 28286976 6040 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 6906 6040 102 219 0 6683 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 27624

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26684
/proc/meminfo: memFree=1898936/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=34276 CPUtime=402.19
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 9730 0 0 0 39863 356 0 0 25 0 1 0 303840863 35098624 6584 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 8569 6584 102 219 0 8346 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 34276

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26684
/proc/meminfo: memFree=1897336/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=35356 CPUtime=462.17
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 10119 0 0 0 45821 396 0 0 25 0 1 0 303840863 36204544 6973 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 8839 6973 102 219 0 8616 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 35356

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26686
/proc/meminfo: memFree=1894520/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=44136 CPUtime=522.16
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 10822 0 0 0 51777 439 0 0 25 0 1 0 303840863 45195264 7676 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 11034 7676 102 219 0 10811 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 44136

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26686
/proc/meminfo: memFree=1892920/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=44988 CPUtime=582.14
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 11206 0 0 0 57736 478 0 0 25 0 1 0 303840863 46067712 8060 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 11247 8060 102 219 0 11024 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 44988

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 26794
/proc/meminfo: memFree=1889920/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=46460 CPUtime=642.1
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 11639 0 0 0 63698 512 0 0 25 0 1 0 303840863 47575040 8493 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 11615 8493 102 219 0 11392 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 46460


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26884
/proc/meminfo: memFree=1885368/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=48588 CPUtime=821.99
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 13018 0 0 0 81585 614 0 0 25 0 1 0 303840863 49754112 9872 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545646 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 12147 9872 102 219 0 11924 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 48588

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26884
/proc/meminfo: memFree=1884280/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=49376 CPUtime=881.97
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 13299 0 0 0 87547 650 0 0 25 0 1 0 303840863 50561024 10153 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547106 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 12344 10153 102 219 0 12121 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 49376

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26884
/proc/meminfo: memFree=1882232/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=50448 CPUtime=941.96
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 13817 0 0 0 93514 682 0 0 25 0 1 0 303840863 51658752 10671 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 12612 10671 102 219 0 12389 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 50448

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26884
/proc/meminfo: memFree=1881016/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=50568 CPUtime=1001.95
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 14113 0 0 0 99482 713 0 0 25 0 1 0 303840863 51781632 10967 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 12642 10967 102 219 0 12419 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 50568

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26884
/proc/meminfo: memFree=1880056/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=63720 CPUtime=1061.93
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 17431 0 0 0 105449 744 0 0 25 0 1 0 303840863 65249280 11212 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 15930 11212 102 219 0 15707 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 63720

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26884
/proc/meminfo: memFree=1878968/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=64512 CPUtime=1121.92
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 17693 0 0 0 111419 773 0 0 25 0 1 0 303840863 66060288 11474 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 16128 11474 102 219 0 15905 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 64512

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26884
/proc/meminfo: memFree=1878008/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=64632 CPUtime=1181.9
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 17933 0 0 0 117384 806 0 0 25 0 1 0 303840863 66183168 11714 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 16158 11714 102 219 0 15935 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 64632

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26884
/proc/meminfo: memFree=1876792/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=65592 CPUtime=1241.88
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 18223 0 0 0 123354 834 0 0 25 0 1 0 303840863 67166208 12004 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 16398 12004 102 219 0 16175 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 65592

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26884
/proc/meminfo: memFree=1875192/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=65592 CPUtime=1301.87
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 18616 0 0 0 129326 861 0 0 25 0 1 0 303840863 67166208 12397 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 16398 12397 102 219 0 16175 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 65592

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26884
/proc/meminfo: memFree=1874040/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=65712 CPUtime=1361.85
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 18890 0 0 0 135296 889 0 0 25 0 1 0 303840863 67289088 12671 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 16428 12671 102 219 0 16205 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 65712

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26884
/proc/meminfo: memFree=1873144/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=66608 CPUtime=1421.85
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 19104 0 0 0 141272 913 0 0 25 0 1 0 303840863 68206592 12885 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 16652 12885 102 219 0 16429 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 66608

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26884
/proc/meminfo: memFree=1871800/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=66752 CPUtime=1481.83
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 19465 0 0 0 147243 940 0 0 25 0 1 0 303840863 68354048 13246 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 16688 13246 102 219 0 16465 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 66752

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26884
/proc/meminfo: memFree=1871032/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=67848 CPUtime=1541.81
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 19655 0 0 0 153214 967 0 0 25 0 1 0 303840863 69476352 13436 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 16962 13436 102 219 0 16739 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 67848

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26884
/proc/meminfo: memFree=1870136/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=67992 CPUtime=1601.8
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 19872 0 0 0 159188 992 0 0 25 0 1 0 303840863 69623808 13653 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 16998 13653 102 219 0 16775 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 67992

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26884
/proc/meminfo: memFree=1868984/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=68136 CPUtime=1661.78
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 20160 0 0 0 165162 1016 0 0 25 0 1 0 303840863 69771264 13941 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 17034 13941 102 219 0 16811 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 68136

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26884
/proc/meminfo: memFree=1867704/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=69400 CPUtime=1721.76
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 20468 0 0 0 171137 1039 0 0 25 0 1 0 303840863 71065600 14249 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 17350 14249 102 219 0 17127 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 69400

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26884
/proc/meminfo: memFree=1865976/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=69528 CPUtime=1781.75
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 20880 0 0 0 177109 1066 0 0 25 0 1 0 303840863 71196672 14661 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 17382 14661 102 219 0 17159 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 69528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 26884
/proc/meminfo: memFree=1865720/2055920 swapFree=4183880/4192956
[pid=26683] ppid=26681 vsize=69656 CPUtime=1800.05
/proc/26683/stat : 26683 (PBS4_SAT07v2) R 26681 26683 26224 0 -1 4194304 20939 0 0 0 178933 1072 0 0 25 0 1 0 303840863 71327744 14720 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26683/statm: 17414 14720 102 219 0 17191 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 69656

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

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.07
CPU user time (s): 1789.34
CPU system time (s): 10.7334
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 75892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.34
system time used= 10.7334
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20942
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= 8
involuntary context switches= 3704

runsolver used 1.40579 second user time and 3.57046 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Tue May  8 16:50:35 UTC 2007

IDJOB= 458776
IDBENCH= 2006
IDSOLVER= 200
FILE ID= node70/458776-1178643035

PBS_JOBID= 5218341

Free space on /tmp= 66561 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458776-1178643035/instance-458776-1178643035.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node70/convwatcher-458776-1178643035 -o ROOT/results/node70/conversion-458776-1178643035 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458776-1178643035/instance-458776-1178643035.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  d431323968e1ca4dc95d181076d01437

RANDOM SEED= 412082441

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node70.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.218
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.218
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:       1925656 kB
Buffers:          3456 kB
Cached:          48160 kB
SwapCached:       2988 kB
Active:          31972 kB
Inactive:        30080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1925656 kB
SwapTotal:     4192956 kB
SwapFree:      4183880 kB
Dirty:            3148 kB
Writeback:           0 kB
Mapped:          16608 kB
Slab:            54256 kB
Committed_AS:  7590560 kB
PageTables:       1400 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= 66561 MiB

End job on node70 on Tue May  8 17:20:38 UTC 2007