Trace number 459105

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)98 1800.05 1800.71

General information on the benchmark

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

Verifier Data (download as text)

OK	98

Conversion Script Data (download as text)

/tmp/evaluation/459105-1178648962/instance-459105-1178648962.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/node13/watcher-459105-1178648962 -o ROOT/results/node13/solver-459105-1178648962 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459105-1178648962/instance-459105-1178648962.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.00 1.00 1.00 3/77 28015
/proc/meminfo: memFree=1657976/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=1456 CPUtime=0
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 175 0 0 0 0 0 0 0 18 0 1 0 312814060 1490944 157 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 364 158 84 219 0 141 0

[startup+0.0887511 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 28015
/proc/meminfo: memFree=1657976/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=1732 CPUtime=0.08
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 265 0 0 0 8 0 0 0 18 0 1 0 312814060 1773568 247 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588614 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 433 247 86 219 0 210 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1732

[startup+0.102753 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 28015
/proc/meminfo: memFree=1657976/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=1988 CPUtime=0.1
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 276 0 0 0 10 0 0 0 18 0 1 0 312814060 2035712 258 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134530478 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 497 258 86 219 0 274 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1988

[startup+0.301796 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 28015
/proc/meminfo: memFree=1657976/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=2496 CPUtime=0.29
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 397 0 0 0 29 0 0 0 19 0 1 0 312814060 2555904 379 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 624 379 101 219 0 401 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2496

[startup+0.70188 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 28015
/proc/meminfo: memFree=1657976/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=2496 CPUtime=0.69
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 407 0 0 0 65 4 0 0 22 0 1 0 312814060 2555904 389 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 624 389 102 219 0 401 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2496

[startup+1.50105 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28016
/proc/meminfo: memFree=1656048/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=3028 CPUtime=1.49
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 615 0 0 0 142 7 0 0 25 0 1 0 312814060 3100672 597 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 757 597 102 219 0 534 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3028

[startup+3.10139 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28016
/proc/meminfo: memFree=1655728/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=3164 CPUtime=3.09
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 667 0 0 0 302 7 0 0 25 0 1 0 312814060 3239936 649 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557396 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 791 649 102 219 0 568 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3164

[startup+6.30108 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28016
/proc/meminfo: memFree=1655344/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=4320 CPUtime=6.29
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 701 0 0 0 622 7 0 0 25 0 1 0 312814060 4423680 683 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 1080 683 102 219 0 857 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4320

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28016
/proc/meminfo: memFree=1655088/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=4320 CPUtime=12.68
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 745 0 0 0 1261 7 0 0 25 0 1 0 312814060 4423680 727 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 1080 727 102 219 0 857 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 4320

[startup+25.5022 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28016
/proc/meminfo: memFree=1654832/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=4320 CPUtime=25.49
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 833 0 0 0 2541 8 0 0 25 0 1 0 312814060 4423680 815 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557418 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 1080 815 102 219 0 857 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4320

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28016
/proc/meminfo: memFree=1653744/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=6700 CPUtime=51.07
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 1099 0 0 0 5099 8 0 0 25 0 1 0 312814060 6860800 1081 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 1675 1081 102 219 0 1452 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 6700

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28016
/proc/meminfo: memFree=1652464/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=6700 CPUtime=102.26
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 1427 0 0 0 10217 9 0 0 25 0 1 0 312814060 6860800 1409 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 1675 1409 102 219 0 1452 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 6700

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28016
/proc/meminfo: memFree=1652144/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=6892 CPUtime=162.23
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 1542 0 0 0 16214 9 0 0 25 0 1 0 312814060 7057408 1475 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 1723 1475 102 219 0 1500 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 6892

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28016
/proc/meminfo: memFree=1651632/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=7032 CPUtime=222.2
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 1659 0 0 0 22210 10 0 0 25 0 1 0 312814060 7200768 1592 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 1758 1592 102 219 0 1535 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 7032

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28016
/proc/meminfo: memFree=1651440/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=7184 CPUtime=282.19
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 1692 0 0 0 28208 11 0 0 25 0 1 0 312814060 7356416 1625 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 1796 1625 102 219 0 1573 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 7184

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28016
/proc/meminfo: memFree=1651312/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=7184 CPUtime=342.17
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 1725 0 0 0 34205 12 0 0 25 0 1 0 312814060 7356416 1658 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 1796 1658 102 219 0 1573 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 7184

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28016
/proc/meminfo: memFree=1650928/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=7700 CPUtime=402.15
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 1865 0 0 0 40202 13 0 0 25 0 1 0 312814060 7884800 1701 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 1925 1701 102 219 0 1702 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 7700

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28016
/proc/meminfo: memFree=1650992/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=7832 CPUtime=462.12
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 1883 0 0 0 46199 13 0 0 25 0 1 0 312814060 8019968 1719 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 1958 1719 102 219 0 1735 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 7832

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28016
/proc/meminfo: memFree=1650992/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=7832 CPUtime=522.1
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 1910 0 0 0 52196 14 0 0 25 0 1 0 312814060 8019968 1746 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 1958 1746 102 219 0 1735 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 7832

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28016
/proc/meminfo: memFree=1650864/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=7832 CPUtime=582.08
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 1931 0 0 0 58193 15 0 0 25 0 1 0 312814060 8019968 1767 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 1958 1767 102 219 0 1735 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 7832

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28016
/proc/meminfo: memFree=1650736/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=7972 CPUtime=642.06
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 1971 0 0 0 64191 15 0 0 25 0 1 0 312814060 8163328 1807 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 1993 1807 102 219 0 1770 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 7972


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28018
/proc/meminfo: memFree=1650352/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=8360 CPUtime=881.97
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 2092 0 0 0 88179 18 0 0 25 0 1 0 312814060 8560640 1928 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 2090 1928 102 219 0 1867 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 8360

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28018
/proc/meminfo: memFree=1650096/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=9128 CPUtime=941.95
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 2318 0 0 0 94176 19 0 0 25 0 1 0 312814060 9347072 1961 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 2282 1961 102 219 0 2059 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 9128

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28018
/proc/meminfo: memFree=1650096/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=9316 CPUtime=1001.93
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 2356 0 0 0 100173 20 0 0 25 0 1 0 312814060 9539584 1999 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 2329 1999 102 219 0 2106 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 9316

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28018
/proc/meminfo: memFree=1649968/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=9316 CPUtime=1061.9
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 2395 0 0 0 106170 20 0 0 25 0 1 0 312814060 9539584 2038 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 2329 2038 102 219 0 2106 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 9316

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28018
/proc/meminfo: memFree=1649712/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=9468 CPUtime=1121.88
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 2431 0 0 0 112167 21 0 0 25 0 1 0 312814060 9695232 2074 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 2367 2074 102 219 0 2144 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 9468

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28018
/proc/meminfo: memFree=1649456/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=9604 CPUtime=1181.86
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 2489 0 0 0 118164 22 0 0 25 0 1 0 312814060 9834496 2132 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 2401 2132 102 219 0 2178 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 9604

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28018
/proc/meminfo: memFree=1649264/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=9736 CPUtime=1241.84
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 2526 0 0 0 124161 23 0 0 25 0 1 0 312814060 9969664 2169 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 2434 2169 102 219 0 2211 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 9736

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28018
/proc/meminfo: memFree=1649136/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=9736 CPUtime=1301.82
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 2556 0 0 0 130158 24 0 0 25 0 1 0 312814060 9969664 2199 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 2434 2199 102 219 0 2211 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 9736

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28018
/proc/meminfo: memFree=1649072/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=9872 CPUtime=1361.8
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 2579 0 0 0 136155 25 0 0 25 0 1 0 312814060 10108928 2222 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 2468 2222 102 219 0 2245 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 9872

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28018
/proc/meminfo: memFree=1648944/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=9872 CPUtime=1421.78
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 2598 0 0 0 142152 26 0 0 25 0 1 0 312814060 10108928 2241 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 2468 2241 102 219 0 2245 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 9872

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28018
/proc/meminfo: memFree=1648816/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=10040 CPUtime=1481.74
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 2632 0 0 0 148148 26 0 0 25 0 1 0 312814060 10280960 2275 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 2510 2275 102 219 0 2287 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 10040

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28018
/proc/meminfo: memFree=1648752/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=10040 CPUtime=1541.72
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 2657 0 0 0 154145 27 0 0 25 0 1 0 312814060 10280960 2300 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 2510 2300 102 219 0 2287 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 10040

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28018
/proc/meminfo: memFree=1648624/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=10164 CPUtime=1601.71
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 2698 0 0 0 160142 29 0 0 25 0 1 0 312814060 10407936 2341 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 2541 2341 102 219 0 2318 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 10164

[startup+1662.3 s]
/proc/loadavg: 1.12 1.04 1.01 2/78 28018
/proc/meminfo: memFree=1648496/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=10164 CPUtime=1661.68
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 2722 0 0 0 166139 29 0 0 25 0 1 0 312814060 10407936 2365 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560675 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 2541 2365 102 219 0 2318 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 10164

[startup+1722.3 s]
/proc/loadavg: 1.09 1.05 1.01 2/78 28018
/proc/meminfo: memFree=1648368/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=10284 CPUtime=1721.67
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 2751 0 0 0 172136 31 0 0 25 0 1 0 312814060 10530816 2394 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 2571 2394 102 219 0 2348 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 10284

[startup+1782.3 s]
/proc/loadavg: 1.07 1.05 1.01 2/78 28018
/proc/meminfo: memFree=1648240/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=10284 CPUtime=1781.64
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 2773 0 0 0 178132 32 0 0 25 0 1 0 312814060 10530816 2416 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 2571 2416 102 219 0 2348 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 10284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.20 1.08 1.02 2/78 28018
/proc/meminfo: memFree=1648240/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=10284 CPUtime=1800.04
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 2775 0 0 0 179972 32 0 0 25 0 1 0 312814060 10530816 2418 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 2571 2418 102 219 0 2348 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10284

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.20 1.08 1.02 2/78 28018
/proc/meminfo: memFree=1648240/2055920 swapFree=4159396/4192956
[pid=28015] ppid=28013 vsize=10284 CPUtime=1800.04
/proc/28015/stat : 28015 (PBS4_SAT07v2) R 28013 28015 27092 0 -1 4194304 2775 0 0 0 179972 32 0 0 25 0 1 0 312814060 10530816 2418 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28015/statm: 2571 2418 102 219 0 2348 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10284

Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.05
CPU user time (s): 1799.73
CPU system time (s): 0.32795
CPU usage (%): 99.9633
Max. virtual memory (cumulated for all children) (KiB): 10284

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

runsolver used 1.36979 second user time and 3.88741 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Tue May  8 18:29:22 UTC 2007

IDJOB= 459105
IDBENCH= 2876
IDSOLVER= 200
FILE ID= node13/459105-1178648962

PBS_JOBID= 5217827

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-PB06/manquiho/logic_synthesis/normalized-alu2.b.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459105-1178648962/instance-459105-1178648962.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node13/convwatcher-459105-1178648962 -o ROOT/results/node13/conversion-459105-1178648962 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459105-1178648962/instance-459105-1178648962.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  a793af2f16b39bdc1dda733b5326bfb4

RANDOM SEED= 479963616

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.259
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.259
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:       1658384 kB
Buffers:         45208 kB
Cached:         259248 kB
SwapCached:      12696 kB
Active:         112608 kB
Inactive:       216380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1658384 kB
SwapTotal:     4192956 kB
SwapFree:      4159396 kB
Dirty:            2944 kB
Writeback:           0 kB
Mapped:          31584 kB
Slab:            54016 kB
Committed_AS:  9712752 kB
PageTables:       1872 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 node13 on Tue May  8 18:59:25 UTC 2007