Trace number 458778

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)50364 1800.1 1800.82

General information on the benchmark

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

Verifier Data (download as text)

OK	50364

Conversion Script Data (download as text)

/tmp/evaluation/458778-1178643109/instance-458778-1178643109.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/node59/watcher-458778-1178643109 -o ROOT/results/node59/solver-458778-1178643109 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458778-1178643109/instance-458778-1178643109.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.92 0.97 0.99 3/64 18987
/proc/meminfo: memFree=1606328/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=1460 CPUtime=0
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 177 0 0 0 0 0 0 0 18 0 1 0 312220488 1495040 159 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 365 159 86 219 0 142 0

[startup+0.0173831 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 18987
/proc/meminfo: memFree=1606328/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=1724 CPUtime=0.01
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 222 0 0 0 1 0 0 0 18 0 1 0 312220488 1765376 204 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 431 204 86 219 0 208 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1724

[startup+0.101398 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 18987
/proc/meminfo: memFree=1606328/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=2164 CPUtime=0.09
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 405 0 0 0 9 0 0 0 18 0 1 0 312220488 2215936 387 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 541 387 86 219 0 318 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2164

[startup+0.301436 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 18987
/proc/meminfo: memFree=1606328/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=4340 CPUtime=0.29
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 992 0 0 0 29 0 0 0 19 0 1 0 312220488 4444160 827 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 1085 827 86 219 0 862 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4340

[startup+0.701511 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 18987
/proc/meminfo: memFree=1606328/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=6292 CPUtime=0.69
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 1332 0 0 0 68 1 0 0 22 0 1 0 312220488 6443008 1167 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 1573 1167 90 219 0 1350 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6292

[startup+1.50166 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 18988
/proc/meminfo: memFree=1601328/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=8736 CPUtime=1.49
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 1678 0 0 0 147 2 0 0 25 0 1 0 312220488 8945664 1513 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 2184 1513 102 219 0 1961 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8736

[startup+3.10197 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 18988
/proc/meminfo: memFree=1599344/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=10052 CPUtime=3.09
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 2361 0 0 0 306 3 0 0 25 0 1 0 312220488 10293248 2099 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 2513 2099 102 219 0 2290 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10052

[startup+6.30158 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 18988
/proc/meminfo: memFree=1596720/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=14536 CPUtime=6.29
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 2731 0 0 0 619 10 0 0 25 0 1 0 312220488 14884864 2469 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 3634 2469 102 219 0 3411 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14536

[startup+12.7028 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 18988
/proc/meminfo: memFree=1595952/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=15060 CPUtime=12.69
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 2891 0 0 0 1252 17 0 0 25 0 1 0 312220488 15421440 2629 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 3765 2629 102 219 0 3542 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15060

[startup+25.5012 s]
/proc/loadavg: 0.95 0.97 0.99 2/65 18988
/proc/meminfo: memFree=1594928/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=16608 CPUtime=25.48
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 3340 0 0 0 2516 32 0 0 25 0 1 0 312220488 17006592 2885 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 4152 2885 102 219 0 3929 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16608

[startup+51.1011 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 18988
/proc/meminfo: memFree=1593648/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=17428 CPUtime=51.08
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 3678 0 0 0 5048 60 0 0 25 0 1 0 312220488 17846272 3223 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 4357 3223 102 219 0 4134 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17428

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 18988
/proc/meminfo: memFree=1591600/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=20108 CPUtime=102.26
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 4570 0 0 0 10116 110 0 0 25 0 1 0 312220488 20590592 3730 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 5027 3730 102 219 0 4804 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 20108

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18988
/proc/meminfo: memFree=1588080/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=24616 CPUtime=162.24
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 6181 0 0 0 16061 163 0 0 25 0 1 0 312220488 25206784 4572 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 6154 4572 102 219 0 5931 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 24616

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18988
/proc/meminfo: memFree=1586224/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=25572 CPUtime=222.21
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 6673 0 0 0 22009 212 0 0 25 0 1 0 312220488 26185728 5064 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 6393 5064 102 219 0 6170 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 25572

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18988
/proc/meminfo: memFree=1583920/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=26984 CPUtime=282.2
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 7242 0 0 0 27959 261 0 0 25 0 1 0 312220488 27631616 5633 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 6746 5633 102 219 0 6523 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 26984

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18988
/proc/meminfo: memFree=1582064/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=27804 CPUtime=342.17
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 7712 0 0 0 33912 305 0 0 25 0 1 0 312220488 28471296 6103 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 6951 6103 102 219 0 6728 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 27804

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18988
/proc/meminfo: memFree=1580016/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=34856 CPUtime=402.15
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 9756 0 0 0 39863 352 0 0 25 0 1 0 312220488 35692544 6610 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 8714 6610 102 219 0 8491 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 34856

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18988
/proc/meminfo: memFree=1578288/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=35288 CPUtime=462.13
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 10184 0 0 0 45819 394 0 0 25 0 1 0 312220488 36134912 7038 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 8822 7038 102 219 0 8599 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 35288

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18988
/proc/meminfo: memFree=1575920/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=36472 CPUtime=522.11
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 10771 0 0 0 51779 432 0 0 25 0 1 0 312220488 37347328 7625 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 9118 7625 102 219 0 8895 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 36472

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 19126
/proc/meminfo: memFree=1572920/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=37364 CPUtime=582.02
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 11195 0 0 0 57730 472 0 0 25 0 1 0 312220488 38260736 8049 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 9341 8049 102 219 0 9118 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 37364

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19186
/proc/meminfo: memFree=1572400/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=38300 CPUtime=641.97
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 11601 0 0 0 63689 508 0 0 25 0 1 0 312220488 39219200 8455 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547184 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 9575 8455 102 219 0 9352 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 38300


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19186
/proc/meminfo: memFree=1567216/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=48488 CPUtime=821.91
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 12906 0 0 0 81577 614 0 0 25 0 1 0 312220488 49651712 9760 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 12122 9760 102 219 0 11899 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 48488

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19186
/proc/meminfo: memFree=1566128/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=49272 CPUtime=881.89
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 13198 0 0 0 87541 648 0 0 25 0 1 0 312220488 50454528 10052 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 12318 10052 102 219 0 12095 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 49272

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19186
/proc/meminfo: memFree=1564464/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=50236 CPUtime=941.87
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 13611 0 0 0 93504 683 0 0 25 0 1 0 312220488 51441664 10465 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 12559 10465 102 219 0 12336 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 50236

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19186
/proc/meminfo: memFree=1563312/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=51108 CPUtime=1001.85
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 13902 0 0 0 99470 715 0 0 25 0 1 0 312220488 52334592 10756 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 12777 10756 102 219 0 12554 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 51108

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19186
/proc/meminfo: memFree=1561712/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=63652 CPUtime=1061.83
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 17377 0 0 0 105434 749 0 0 25 0 1 0 312220488 65179648 11158 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 15913 11158 102 219 0 15690 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 63652

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19186
/proc/meminfo: memFree=1560624/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=64568 CPUtime=1121.8
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 17635 0 0 0 111402 778 0 0 25 0 1 0 312220488 66117632 11416 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 16142 11416 102 219 0 15919 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 64568

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19186
/proc/meminfo: memFree=1558960/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=64688 CPUtime=1181.79
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 18058 0 0 0 117371 808 0 0 25 0 1 0 312220488 66240512 11839 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 16172 11839 102 219 0 15949 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 64688

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19186
/proc/meminfo: memFree=1557680/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=65524 CPUtime=1241.76
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 18378 0 0 0 123340 836 0 0 25 0 1 0 312220488 67096576 12159 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 16381 12159 102 219 0 16158 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 65524

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19186
/proc/meminfo: memFree=1556784/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=65652 CPUtime=1301.75
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 18605 0 0 0 129309 866 0 0 25 0 1 0 312220488 67227648 12386 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 16413 12386 102 219 0 16190 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 65652

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19186
/proc/meminfo: memFree=1555952/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=66544 CPUtime=1361.72
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 18810 0 0 0 135278 894 0 0 25 0 1 0 312220488 68141056 12591 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 16636 12591 102 219 0 16413 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 66544

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19186
/proc/meminfo: memFree=1555120/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=66544 CPUtime=1421.71
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 19018 0 0 0 141250 921 0 0 25 0 1 0 312220488 68141056 12799 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 16636 12799 102 219 0 16413 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 66544

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19186
/proc/meminfo: memFree=1554224/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=67488 CPUtime=1481.69
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 19242 0 0 0 147219 950 0 0 25 0 1 0 312220488 69107712 13023 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 16872 13023 102 219 0 16649 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 67488

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19186
/proc/meminfo: memFree=1552624/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=67616 CPUtime=1541.66
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 19626 0 0 0 153190 976 0 0 25 0 1 0 312220488 69238784 13407 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 16904 13407 102 219 0 16681 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 67616

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19186
/proc/meminfo: memFree=1551536/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=67760 CPUtime=1601.64
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 19909 0 0 0 159163 1001 0 0 25 0 1 0 312220488 69386240 13690 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 16940 13690 102 219 0 16717 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 67760

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19186
/proc/meminfo: memFree=1550384/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=68908 CPUtime=1661.62
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 20188 0 0 0 165136 1026 0 0 25 0 1 0 312220488 70561792 13969 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 17227 13969 102 219 0 17004 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 68908

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19186
/proc/meminfo: memFree=1548528/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=69196 CPUtime=1721.6
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 20646 0 0 0 171107 1053 0 0 25 0 1 0 312220488 70856704 14427 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 17299 14427 102 219 0 17076 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 69196

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19186
/proc/meminfo: memFree=1547696/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=69484 CPUtime=1781.58
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 20846 0 0 0 177077 1081 0 0 25 0 1 0 312220488 71151616 14627 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544683 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 17371 14627 102 219 0 17148 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 69484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 19186
/proc/meminfo: memFree=1547312/2055920 swapFree=4184640/4192956
[pid=18987] ppid=18985 vsize=69484 CPUtime=1800.08
/proc/18987/stat : 18987 (PBS4_SAT07v2) R 18985 18987 18332 0 -1 4194304 20938 0 0 0 178919 1089 0 0 25 0 1 0 312220488 71151616 14719 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18987/statm: 17371 14719 102 219 0 17148 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 69484

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.82
CPU time (s): 1800.1
CPU user time (s): 1789.2
CPU system time (s): 10.9003
CPU usage (%): 99.9602
Max. virtual memory (cumulated for all children) (KiB): 69484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.2
system time used= 10.9003
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20941
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= 1590

runsolver used 1.40279 second user time and 3.57146 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Tue May  8 16:51:49 UTC 2007

IDJOB= 458778
IDBENCH= 2008
IDSOLVER= 200
FILE ID= node59/458778-1178643109

PBS_JOBID= 5218328

Free space on /tmp= 66562 MiB

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

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  c3720ea5d84e92b781414b36064971fe

RANDOM SEED= 751318583

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node59.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	: 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.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:       1606800 kB
Buffers:         34164 kB
Cached:         307840 kB
SwapCached:       2348 kB
Active:          87224 kB
Inactive:       265024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1606800 kB
SwapTotal:     4192956 kB
SwapFree:      4184640 kB
Dirty:            3152 kB
Writeback:           0 kB
Mapped:          16956 kB
Slab:            82916 kB
Committed_AS:  8064060 kB
PageTables:       1476 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= 66562 MiB

End job on node59 on Tue May  8 17:21:52 UTC 2007