Trace number 459110

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)317 1800.04 1800.72

General information on the benchmark

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

Verifier Data (download as text)

OK	317

Conversion Script Data (download as text)

/tmp/evaluation/459110-1178649095/instance-459110-1178649095.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/node76/watcher-459110-1178649095 -o ROOT/results/node76/solver-459110-1178649095 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459110-1178649095/instance-459110-1178649095.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.98 0.99 3/69 18199
/proc/meminfo: memFree=1907936/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=1592 CPUtime=0
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 178 0 0 0 0 0 0 0 20 0 1 0 312824110 1630208 161 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135023068 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 398 161 84 219 0 175 0

[startup+0.0905379 s]
/proc/loadavg: 0.92 0.98 0.99 3/69 18199
/proc/meminfo: memFree=1907936/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=1728 CPUtime=0.07
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 243 0 0 0 7 0 0 0 20 0 1 0 312824110 1769472 226 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 432 226 101 219 0 209 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1728

[startup+0.101539 s]
/proc/loadavg: 0.92 0.98 0.99 3/69 18199
/proc/meminfo: memFree=1907936/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=1728 CPUtime=0.09
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 243 0 0 0 9 0 0 0 20 0 1 0 312824110 1769472 226 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 432 226 101 219 0 209 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1728

[startup+0.301578 s]
/proc/loadavg: 0.92 0.98 0.99 3/69 18199
/proc/meminfo: memFree=1907936/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=1728 CPUtime=0.29
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 243 0 0 0 27 2 0 0 22 0 1 0 312824110 1769472 226 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 432 226 101 219 0 209 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1728

[startup+0.701656 s]
/proc/loadavg: 0.92 0.98 0.99 3/69 18199
/proc/meminfo: memFree=1907936/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=3520 CPUtime=0.69
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 720 0 0 0 66 3 0 0 25 0 1 0 312824110 3604480 703 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 880 703 102 219 0 657 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3520

[startup+1.50181 s]
/proc/loadavg: 0.92 0.98 0.99 2/70 18200
/proc/meminfo: memFree=1904024/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=9664 CPUtime=1.49
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 1780 0 0 0 145 4 0 0 25 0 1 0 312824110 9895936 1763 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550398 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 2416 1763 102 219 0 2193 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9664

[startup+3.10112 s]
/proc/loadavg: 0.92 0.98 0.99 2/70 18200
/proc/meminfo: memFree=1897816/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=17996 CPUtime=3.09
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 3974 0 0 0 304 5 0 0 25 0 1 0 312824110 18427904 3957 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 4499 3957 102 219 0 4276 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17996

[startup+6.30174 s]
/proc/loadavg: 0.93 0.98 0.99 2/70 18200
/proc/meminfo: memFree=1879968/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=34508 CPUtime=6.29
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 8254 0 0 0 622 7 0 0 25 0 1 0 312824110 35336192 8237 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 8627 8237 102 219 0 8404 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34508

[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/70 18200
/proc/meminfo: memFree=1853152/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=68128 CPUtime=12.68
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 13853 0 0 0 1251 17 0 0 25 0 1 0 312824110 69763072 13787 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 17032 13787 102 219 0 16809 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 68128

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/70 18200
/proc/meminfo: memFree=1851296/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=68128 CPUtime=25.48
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 14254 0 0 0 2528 20 0 0 25 0 1 0 312824110 69763072 14188 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 17032 14188 102 219 0 16809 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 68128

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/70 18200
/proc/meminfo: memFree=1847328/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=68260 CPUtime=51.07
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 15210 0 0 0 5081 26 0 0 25 0 1 0 312824110 69898240 15144 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 17065 15144 102 219 0 16842 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 68260

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/70 18200
/proc/meminfo: memFree=1846816/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=69044 CPUtime=102.26
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 15432 0 0 0 10199 27 0 0 25 0 1 0 312824110 70701056 15269 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 17261 15269 102 219 0 17038 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 69044

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18200
/proc/meminfo: memFree=1846368/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=69324 CPUtime=162.23
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 15519 0 0 0 16195 28 0 0 25 0 1 0 312824110 70987776 15356 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 17331 15356 102 219 0 17108 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 69324

[startup+222.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18200
/proc/meminfo: memFree=1845728/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=69732 CPUtime=222.21
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 15678 0 0 0 22190 31 0 0 25 0 1 0 312824110 71405568 15515 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 17433 15515 102 219 0 17210 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 69732

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18200
/proc/meminfo: memFree=1845280/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=70780 CPUtime=282.19
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 15967 0 0 0 28187 32 0 0 25 0 1 0 312824110 72478720 15611 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134560851 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 17695 15611 102 219 0 17472 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 70780

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18200
/proc/meminfo: memFree=1844960/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=71176 CPUtime=342.17
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 16084 0 0 0 34183 34 0 0 25 0 1 0 312824110 72884224 15728 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 17794 15728 102 219 0 17571 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 71176

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18200
/proc/meminfo: memFree=1844448/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=71548 CPUtime=402.15
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 16197 0 0 0 40179 36 0 0 25 0 1 0 312824110 73265152 15841 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 17887 15841 102 219 0 17664 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 71548

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18200
/proc/meminfo: memFree=1843936/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=71796 CPUtime=462.13
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 16302 0 0 0 46175 38 0 0 25 0 1 0 312824110 73519104 15946 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 17949 15946 102 219 0 17726 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 71796

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18200
/proc/meminfo: memFree=1843488/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=72096 CPUtime=522.11
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 16417 0 0 0 52170 41 0 0 25 0 1 0 312824110 73826304 16061 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 18024 16061 102 219 0 17801 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 72096

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18200
/proc/meminfo: memFree=1842976/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=73848 CPUtime=582.09
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 16913 0 0 0 58164 45 0 0 25 0 1 0 312824110 75620352 16172 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 18462 16172 102 219 0 18239 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 73848

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18200
/proc/meminfo: memFree=1842592/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=74156 CPUtime=642.07
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 17020 0 0 0 64159 48 0 0 25 0 1 0 312824110 75935744 16279 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 18539 16279 102 219 0 18316 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 74156


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18202
/proc/meminfo: memFree=1840992/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=74980 CPUtime=881.99
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 17393 0 0 0 88141 58 0 0 25 0 1 0 312824110 76779520 16652 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557530 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 18745 16652 102 219 0 18522 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 74980

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18202
/proc/meminfo: memFree=1840608/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=75304 CPUtime=941.96
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 17504 0 0 0 94136 60 0 0 25 0 1 0 312824110 77111296 16763 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 18826 16763 102 219 0 18603 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 75304

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18202
/proc/meminfo: memFree=1840160/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=75480 CPUtime=1001.94
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 17590 0 0 0 100132 62 0 0 25 0 1 0 312824110 77291520 16849 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557441 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 18870 16849 102 219 0 18647 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 75480

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18202
/proc/meminfo: memFree=1839840/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=75792 CPUtime=1061.92
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 17693 0 0 0 106127 65 0 0 25 0 1 0 312824110 77611008 16952 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 18948 16952 102 219 0 18725 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 75792

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18202
/proc/meminfo: memFree=1839520/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=75792 CPUtime=1121.9
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 17770 0 0 0 112123 67 0 0 25 0 1 0 312824110 77611008 17029 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 18948 17029 102 219 0 18725 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 75792

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18202
/proc/meminfo: memFree=1839008/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=79196 CPUtime=1181.88
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 18650 0 0 0 118119 69 0 0 25 0 1 0 312824110 81096704 17140 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 19799 17140 102 219 0 19576 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 79196

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18202
/proc/meminfo: memFree=1838496/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=79408 CPUtime=1241.85
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 18768 0 0 0 124115 70 0 0 25 0 1 0 312824110 81313792 17258 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 19852 17258 102 219 0 19629 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 79408

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18202
/proc/meminfo: memFree=1838112/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=79632 CPUtime=1301.85
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 18855 0 0 0 130112 73 0 0 25 0 1 0 312824110 81543168 17345 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 19908 17345 102 219 0 19685 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 79632

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18202
/proc/meminfo: memFree=1837728/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=79996 CPUtime=1361.82
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 18947 0 0 0 136107 75 0 0 25 0 1 0 312824110 81915904 17437 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134560857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 19999 17437 102 219 0 19776 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 79996

[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18202
/proc/meminfo: memFree=1837408/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=79996 CPUtime=1421.8
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 19018 0 0 0 142103 77 0 0 25 0 1 0 312824110 81915904 17508 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 19999 17508 102 219 0 19776 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 79996

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18202
/proc/meminfo: memFree=1837088/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=80248 CPUtime=1481.77
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 19106 0 0 0 148098 79 0 0 25 0 1 0 312824110 82173952 17596 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 20062 17596 102 219 0 19839 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 80248

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18202
/proc/meminfo: memFree=1836704/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=80516 CPUtime=1541.76
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 19206 0 0 0 154093 83 0 0 25 0 1 0 312824110 82448384 17696 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 20129 17696 102 219 0 19906 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 80516

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18202
/proc/meminfo: memFree=1836320/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=80516 CPUtime=1601.73
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 19281 0 0 0 160089 84 0 0 25 0 1 0 312824110 82448384 17771 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 20129 17771 102 219 0 19906 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 80516

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18202
/proc/meminfo: memFree=1835936/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=80936 CPUtime=1661.71
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 19381 0 0 0 166083 88 0 0 25 0 1 0 312824110 82878464 17871 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 20234 17871 102 219 0 20011 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 80936

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 18202
/proc/meminfo: memFree=1835488/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=80936 CPUtime=1721.7
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 19474 0 0 0 172079 91 0 0 25 0 1 0 312824110 82878464 17964 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 20234 17964 102 219 0 20011 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 80936

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/76 18310
/proc/meminfo: memFree=1833504/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=81240 CPUtime=1781.63
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 19554 0 0 0 178070 93 0 0 25 0 1 0 312824110 83189760 18044 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 20310 18044 102 219 0 20087 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 81240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/76 18366
/proc/meminfo: memFree=1833512/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=81240 CPUtime=1800.01
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 19577 0 0 0 179907 94 0 0 25 0 1 0 312824110 83189760 18067 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 20310 18067 102 219 0 20087 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 81240

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: 0.99 0.98 0.99 2/76 18366
/proc/meminfo: memFree=1833512/2055888 swapFree=4087224/4096564
[pid=18199] ppid=18197 vsize=81240 CPUtime=1800.01
/proc/18199/stat : 18199 (PBS4_SAT07v2) R 18197 18199 17003 0 -1 4194304 19577 0 0 0 179907 94 0 0 25 0 1 0 312824110 83189760 18067 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18199/statm: 20310 18067 102 219 0 20087 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 81240

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.04
CPU user time (s): 1799.08
CPU system time (s): 0.955854
CPU usage (%): 99.9617
Max. virtual memory (cumulated for all children) (KiB): 81240

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

runsolver used 1.61075 second user time and 3.34749 second system time

The end

Launcher Data (download as text)

Begin job on node76 on Tue May  8 18:31:36 UTC 2007

IDJOB= 459110
IDBENCH= 2881
IDSOLVER= 200
FILE ID= node76/459110-1178649095

PBS_JOBID= 5218346

Free space on /tmp= 66649 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-max1024.r.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459110-1178649095/instance-459110-1178649095.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node76/convwatcher-459110-1178649095 -o ROOT/results/node76/conversion-459110-1178649095 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459110-1178649095/instance-459110-1178649095.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  87c08328e44aaf86c5913a3ba08592cd

RANDOM SEED= 34316426

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 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.277
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	: 6006.17
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.277
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1908408 kB
Buffers:          5152 kB
Cached:          26112 kB
SwapCached:       2668 kB
Active:          70612 kB
Inactive:         7784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1908408 kB
SwapTotal:     4096564 kB
SwapFree:      4087224 kB
Dirty:            2320 kB
Writeback:           0 kB
Mapped:          53408 kB
Slab:            55452 kB
Committed_AS:  5806244 kB
PageTables:       1512 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66649 MiB

End job on node76 on Tue May  8 19:01:38 UTC 2007