Trace number 34103

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
PB-smodels 1.28SAT (TO)489 1800.85 1801.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-seymour.opb
MD5SUM97ebaccbda37d5c570b4e2ec3cd7f8f0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark425
Best CPU time to get the best result obtained on this benchmark1800.6
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 425
Optimality of the best value was proved NO
Number of variables1372
Total number of constraints4944
Number of constraints which are clauses4944
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 constraint19
Number of terms in the objective function 1372
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 1372
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 1372
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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	489

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

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

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node24/watcher-34103-1154038620 -o ROOT/results/node24/solver-34103-1154038620 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node24/34103-1154038620/instance-34103-1154038620.opb 552432419 ROOT/tmp/node24/34103-1154038620 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 0.99 0.99 2/64 30954
/proc/meminfo: memFree=808632/2055920 swapFree=4183196/4192956
[pid=30954] ppid=30952 vsize=5360 CPUtime=0
/proc/30954/stat : 30954 (runpbsmodels) R 30952 30954 30905 0 -1 4194304 181 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 151 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237787881504 0 0 4096 0 0 0 0 17 1 0 0
/proc/30954/statm: 1339 153 126 169 0 50 0

[startup+10.0023 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 30959
/proc/meminfo: memFree=805720/2055920 swapFree=4183196/4192956
[pid=30954] ppid=30952 vsize=5360 CPUtime=0
/proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30954/statm: 1340 234 195 169 0 51 0
[pid=30955] ppid=30954 vsize=12268 CPUtime=0
/proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30955/statm: 3067 383 293 3 0 167 0
[pid=30956] ppid=30955 vsize=5356 CPUtime=0.51
/proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30956/statm: 1339 227 188 169 0 50 0
[pid=30958] ppid=30956 vsize=3492 CPUtime=9.68
/proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 968 0 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531516 0 0 4096 0 0 0 0 17 1 0 0
/proc/30958/statm: 873 528 211 20 0 310 0
[pid=30959] ppid=30956 vsize=12268 CPUtime=0
/proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30959/statm: 3067 432 333 3 0 167 0
Current children cumulated CPU time (s) 10.19
Current children cumulated vsize (Kb) 38744

[startup+20.0092 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 30959
/proc/meminfo: memFree=805784/2055920 swapFree=4183196/4192956
[pid=30954] ppid=30952 vsize=5360 CPUtime=0
/proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30954/statm: 1340 234 195 169 0 51 0
[pid=30955] ppid=30954 vsize=12268 CPUtime=0
/proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30955/statm: 3067 383 293 3 0 167 0
[pid=30956] ppid=30955 vsize=5356 CPUtime=0.51
/proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30956/statm: 1339 227 188 169 0 50 0
[pid=30958] ppid=30956 vsize=3492 CPUtime=19.68
/proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 1968 0 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134530986 0 0 4096 0 0 0 0 17 1 0 0
/proc/30958/statm: 873 528 211 20 0 310 0
[pid=30959] ppid=30956 vsize=12268 CPUtime=0
/proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30959/statm: 3067 432 333 3 0 167 0
Current children cumulated CPU time (s) 20.19
Current children cumulated vsize (Kb) 38744

[startup+30.0151 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 30959
/proc/meminfo: memFree=805848/2055920 swapFree=4183196/4192956
[pid=30954] ppid=30952 vsize=5360 CPUtime=0
/proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30954/statm: 1340 234 195 169 0 51 0
[pid=30955] ppid=30954 vsize=12268 CPUtime=0
/proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30955/statm: 3067 383 293 3 0 167 0
[pid=30956] ppid=30955 vsize=5356 CPUtime=0.51
/proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30956/statm: 1339 227 188 169 0 50 0
[pid=30958] ppid=30956 vsize=3492 CPUtime=29.68
/proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 2968 0 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531424 0 0 4096 0 0 0 0 17 1 0 0
/proc/30958/statm: 873 528 211 20 0 310 0
[pid=30959] ppid=30956 vsize=12268 CPUtime=0
/proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30959/statm: 3067 432 333 3 0 167 0
Current children cumulated CPU time (s) 30.19
Current children cumulated vsize (Kb) 38744

[startup+40.021 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 30959
/proc/meminfo: memFree=805848/2055920 swapFree=4183196/4192956
[pid=30954] ppid=30952 vsize=5360 CPUtime=0
/proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30954/statm: 1340 234 195 169 0 51 0
[pid=30955] ppid=30954 vsize=12268 CPUtime=0
/proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30955/statm: 3067 383 293 3 0 167 0
[pid=30956] ppid=30955 vsize=5356 CPUtime=0.51
/proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30956/statm: 1339 227 188 169 0 50 0
[pid=30958] ppid=30956 vsize=3492 CPUtime=39.68
/proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 3968 0 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134530996 0 0 4096 0 0 0 0 17 1 0 0
/proc/30958/statm: 873 528 211 20 0 310 0
[pid=30959] ppid=30956 vsize=12268 CPUtime=0
/proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30959/statm: 3067 432 333 3 0 167 0
Current children cumulated CPU time (s) 40.19
Current children cumulated vsize (Kb) 38744

[startup+50.0269 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 30959
/proc/meminfo: memFree=805912/2055920 swapFree=4183196/4192956
[pid=30954] ppid=30952 vsize=5360 CPUtime=0
/proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30954/statm: 1340 234 195 169 0 51 0
[pid=30955] ppid=30954 vsize=12268 CPUtime=0
/proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30955/statm: 3067 383 293 3 0 167 0
[pid=30956] ppid=30955 vsize=5356 CPUtime=0.51
/proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30956/statm: 1339 227 188 169 0 50 0
[pid=30958] ppid=30956 vsize=3492 CPUtime=49.68
/proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 4968 0 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533089 0 0 4096 0 0 0 0 17 1 0 0
/proc/30958/statm: 873 528 211 20 0 310 0
[pid=30959] ppid=30956 vsize=12268 CPUtime=0
/proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30959/statm: 3067 432 333 3 0 167 0
Current children cumulated CPU time (s) 50.19
Current children cumulated vsize (Kb) 38744

[startup+60.0328 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 30959
/proc/meminfo: memFree=805912/2055920 swapFree=4183196/4192956
[pid=30954] ppid=30952 vsize=5360 CPUtime=0
/proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30954/statm: 1340 234 195 169 0 51 0
[pid=30955] ppid=30954 vsize=12268 CPUtime=0
/proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30955/statm: 3067 383 293 3 0 167 0
[pid=30956] ppid=30955 vsize=5356 CPUtime=0.51
/proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30956/statm: 1339 227 188 169 0 50 0
[pid=30958] ppid=30956 vsize=3492 CPUtime=59.69
/proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 5969 0 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134534214 0 0 4096 0 0 0 0 17 1 0 0
/proc/30958/statm: 873 528 211 20 0 310 0
[pid=30959] ppid=30956 vsize=12268 CPUtime=0
/proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30959/statm: 3067 432 333 3 0 167 0
Current children cumulated CPU time (s) 60.2
Current children cumulated vsize (Kb) 38744

[startup+70.0387 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 30959
/proc/meminfo: memFree=805912/2055920 swapFree=4183196/4192956
[pid=30954] ppid=30952 vsize=5360 CPUtime=0
/proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30954/statm: 1340 234 195 169 0 51 0
[pid=30955] ppid=30954 vsize=12268 CPUtime=0
/proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30955/statm: 3067 383 293 3 0 167 0
[pid=30956] ppid=30955 vsize=5356 CPUtime=0.51
/proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30956/statm: 1339 227 188 169 0 50 0
[pid=30958] ppid=30956 vsize=3492 CPUtime=69.69
/proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 6969 0 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533113 0 0 4096 0 0 0 0 17 1 0 0
/proc/30958/statm: 873 528 211 20 0 310 0
[pid=30959] ppid=30956 vsize=12268 CPUtime=0
/proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30959/statm: 3067 432 333 3 0 167 0
Current children cumulated CPU time (s) 70.2
Current children cumulated vsize (Kb) 38744

[startup+80.0456 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 30959
/proc/meminfo: memFree=805912/2055920 swapFree=4183196/4192956
[pid=30954] ppid=30952 vsize=5360 CPUtime=0
/proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30954/statm: 1340 234 195 169 0 51 0
[pid=30955] ppid=30954 vsize=12268 CPUtime=0
/proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30955/statm: 3067 383 293 3 0 167 0
[pid=30956] ppid=30955 vsize=5356 CPUtime=0.51
/proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30956/statm: 1339 227 188 169 0 50 0
[pid=30958] ppid=30956 vsize=3492 CPUtime=79.69
/proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 7969 0 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531516 0 0 4096 0 0 0 0 17 1 0 0
/proc/30958/statm: 873 528 211 20 0 310 0
[pid=30959] ppid=30956 vsize=12268 CPUtime=0
/proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30959/statm: 3067 432 333 3 0 167 0
Current children cumulated CPU time (s) 80.2
Current children cumulated vsize (Kb) 38744

[startup+90.0526 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 30959
/proc/meminfo: memFree=805976/2055920 swapFree=4183196/4192956
[pid=30954] ppid=30952 vsize=5360 CPUtime=0
/proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30954/statm: 1340 234 195 169 0 51 0
[pid=30955] ppid=30954 vsize=12268 CPUtime=0
/proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30955/statm: 3067 383 293 3 0 167 0
[pid=30956] ppid=30955 vsize=5356 CPUtime=0.51
/proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30956/statm: 1339 227 188 169 0 50 0
[pid=30958] ppid=30956 vsize=3492 CPUtime=89.69
/proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 8969 0 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134534245 0 0 4096 0 0 0 0 17 1 0 0

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

[pid=30954] ppid=30952 vsize=5360 CPUtime=0
/proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30954/statm: 1340 234 195 169 0 51 0
[pid=30955] ppid=30954 vsize=12268 CPUtime=0
/proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30955/statm: 3067 383 293 3 0 167 0
[pid=30956] ppid=30955 vsize=5356 CPUtime=0.51
/proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30956/statm: 1339 227 188 169 0 50 0
[pid=30958] ppid=30956 vsize=3492 CPUtime=1793.26
/proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 179325 1 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521519 0 0 4096 0 0 0 0 17 1 0 0
/proc/30958/statm: 873 528 211 20 0 310 0
[pid=30959] ppid=30956 vsize=12268 CPUtime=0
/proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30959/statm: 3067 432 333 3 0 167 0
Current children cumulated CPU time (s) 1793.77
Current children cumulated vsize (Kb) 38744

[startup+1795.24 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 30961
/proc/meminfo: memFree=805720/2055920 swapFree=4183196/4192956
[pid=30954] ppid=30952 vsize=5360 CPUtime=0
/proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30954/statm: 1340 234 195 169 0 51 0
[pid=30955] ppid=30954 vsize=12268 CPUtime=0
/proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30955/statm: 3067 383 293 3 0 167 0
[pid=30956] ppid=30955 vsize=5356 CPUtime=0.51
/proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30956/statm: 1339 227 188 169 0 50 0
[pid=30958] ppid=30956 vsize=3492 CPUtime=1794.27
/proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 179426 1 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134534230 0 0 4096 0 0 0 0 17 1 0 0
/proc/30958/statm: 873 528 211 20 0 310 0
[pid=30959] ppid=30956 vsize=12268 CPUtime=0
/proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30959/statm: 3067 432 333 3 0 167 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (Kb) 38744

[startup+1796.25 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 30961
/proc/meminfo: memFree=805720/2055920 swapFree=4183196/4192956
[pid=30954] ppid=30952 vsize=5360 CPUtime=0
/proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30954/statm: 1340 234 195 169 0 51 0
[pid=30955] ppid=30954 vsize=12268 CPUtime=0
/proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30955/statm: 3067 383 293 3 0 167 0
[pid=30956] ppid=30955 vsize=5356 CPUtime=0.51
/proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30956/statm: 1339 227 188 169 0 50 0
[pid=30958] ppid=30956 vsize=3492 CPUtime=1795.27
/proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 179526 1 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531431 0 0 4096 0 0 0 0 17 1 0 0
/proc/30958/statm: 873 528 211 20 0 310 0
[pid=30959] ppid=30956 vsize=12268 CPUtime=0
/proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30959/statm: 3067 432 333 3 0 167 0
Current children cumulated CPU time (s) 1795.78
Current children cumulated vsize (Kb) 38744

[startup+1797.26 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 30961
/proc/meminfo: memFree=805720/2055920 swapFree=4183196/4192956
[pid=30954] ppid=30952 vsize=5360 CPUtime=0
/proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30954/statm: 1340 234 195 169 0 51 0
[pid=30955] ppid=30954 vsize=12268 CPUtime=0
/proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30955/statm: 3067 383 293 3 0 167 0
[pid=30956] ppid=30955 vsize=5356 CPUtime=0.51
/proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30956/statm: 1339 227 188 169 0 50 0
[pid=30958] ppid=30956 vsize=3492 CPUtime=1796.28
/proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 179627 1 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531495 0 0 4096 0 0 0 0 17 1 0 0
/proc/30958/statm: 873 528 211 20 0 310 0
[pid=30959] ppid=30956 vsize=12268 CPUtime=0
/proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30959/statm: 3067 432 333 3 0 167 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (Kb) 38744

[startup+1798.26 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 30961
/proc/meminfo: memFree=805720/2055920 swapFree=4183196/4192956
[pid=30954] ppid=30952 vsize=5360 CPUtime=0
/proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30954/statm: 1340 234 195 169 0 51 0
[pid=30955] ppid=30954 vsize=12268 CPUtime=0
/proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30955/statm: 3067 383 293 3 0 167 0
[pid=30956] ppid=30955 vsize=5356 CPUtime=0.51
/proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30956/statm: 1339 227 188 169 0 50 0
[pid=30958] ppid=30956 vsize=3492 CPUtime=1797.28
/proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 179727 1 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531207 0 0 4096 0 0 0 0 17 1 0 0
/proc/30958/statm: 873 528 211 20 0 310 0
[pid=30959] ppid=30956 vsize=12268 CPUtime=0
/proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30959/statm: 3067 432 333 3 0 167 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (Kb) 38744

[startup+1799.27 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 30961
/proc/meminfo: memFree=805720/2055920 swapFree=4183196/4192956
[pid=30954] ppid=30952 vsize=5360 CPUtime=0
/proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30954/statm: 1340 234 195 169 0 51 0
[pid=30955] ppid=30954 vsize=12268 CPUtime=0
/proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30955/statm: 3067 383 293 3 0 167 0
[pid=30956] ppid=30955 vsize=5356 CPUtime=0.51
/proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30956/statm: 1339 227 188 169 0 50 0
[pid=30958] ppid=30956 vsize=3492 CPUtime=1798.29
/proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 179828 1 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531444 0 0 4096 0 0 0 0 17 1 0 0
/proc/30958/statm: 873 528 211 20 0 310 0
[pid=30959] ppid=30956 vsize=12268 CPUtime=0
/proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30959/statm: 3067 432 333 3 0 167 0
Current children cumulated CPU time (s) 1798.8
Current children cumulated vsize (Kb) 38744

[startup+1800.27 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 30961
/proc/meminfo: memFree=805720/2055920 swapFree=4183196/4192956
[pid=30954] ppid=30952 vsize=5360 CPUtime=0
/proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30954/statm: 1340 234 195 169 0 51 0
[pid=30955] ppid=30954 vsize=12268 CPUtime=0
/proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30955/statm: 3067 383 293 3 0 167 0
[pid=30956] ppid=30955 vsize=5356 CPUtime=0.51
/proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30956/statm: 1339 227 188 169 0 50 0
[pid=30958] ppid=30956 vsize=3492 CPUtime=1799.29
/proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 179928 1 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533776 0 0 4096 0 0 0 0 17 1 0 0
/proc/30958/statm: 873 528 211 20 0 310 0
[pid=30959] ppid=30956 vsize=12268 CPUtime=0
/proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30959/statm: 3067 432 333 3 0 167 0
Current children cumulated CPU time (s) 1799.8
Current children cumulated vsize (Kb) 38744

[startup+1801.28 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 30961
/proc/meminfo: memFree=805720/2055920 swapFree=4183196/4192956
[pid=30954] ppid=30952 vsize=5360 CPUtime=0
/proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30954/statm: 1340 234 195 169 0 51 0
[pid=30955] ppid=30954 vsize=12268 CPUtime=0
/proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30955/statm: 3067 383 293 3 0 167 0
[pid=30956] ppid=30955 vsize=5356 CPUtime=0.51
/proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30956/statm: 1339 227 188 169 0 50 0
[pid=30958] ppid=30956 vsize=3492 CPUtime=1800.3
/proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 180029 1 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533122 0 0 4096 0 0 0 0 17 1 0 0
/proc/30958/statm: 873 528 211 20 0 310 0
[pid=30959] ppid=30956 vsize=12268 CPUtime=0
/proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30959/statm: 3067 432 333 3 0 167 0
Current children cumulated CPU time (s) 1800.81
Current children cumulated vsize (Kb) 38744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.28 s]
/proc/loadavg: 1.00 0.99 0.99 2/68 30961
/proc/meminfo: memFree=805720/2055920 swapFree=4183196/4192956
[pid=30954] ppid=30952 vsize=5360 CPUtime=0
/proc/30954/stat : 30954 (runpbsmodels) S 30952 30954 30905 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150722683 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30954/statm: 1340 234 195 169 0 51 0
[pid=30955] ppid=30954 vsize=12268 CPUtime=0
/proc/30955/stat : 30955 (pbsmodels-v1.28) S 30954 30954 30905 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150722683 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 237797162900 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/30955/statm: 3067 383 293 3 0 167 0
[pid=30956] ppid=30955 vsize=5356 CPUtime=0.51
/proc/30956/stat : 30956 (sh) S 30955 30954 30905 0 -1 4194304 311 614 0 0 0 0 51 0 16 0 1 0 150722684 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30956/statm: 1339 227 188 169 0 50 0
[pid=30958] ppid=30956 vsize=3492 CPUtime=1800.3
/proc/30958/stat : 30958 (smodels) R 30956 30954 30905 0 -1 4194304 564 0 0 0 180029 1 0 0 25 0 1 0 150722684 3575808 528 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531154 0 0 4096 0 0 0 0 17 1 0 0
/proc/30958/statm: 873 528 211 20 0 310 0
[pid=30959] ppid=30956 vsize=12268 CPUtime=0
/proc/30959/stat : 30959 (pbout.pl) S 30956 30954 30905 0 -1 4194304 473 0 0 0 0 0 0 0 16 0 1 0 150722684 12562432 432 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 237797159010 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30959/statm: 3067 432 333 3 0 167 0
Current children cumulated CPU time (s) 1800.81
Current children cumulated vsize (Kb) 38744

Sending SIGTERM to process tree (bottom up)

Child status: 0
Real time (s): 1801.3
CPU time (s): 1800.85
CPU user time (s): 1800.81
CPU system time (s): 0.033994
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (Kb): 38744
The end

Launcher Data (download as text)

Begin job on node24 on Thu Jul 27 22:17:00 UTC 2006


FILE ID= 34103-1154038620

PBS_JOBID= 881252

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node24/34103-1154038620/instance-34103-1154038620.opb 552432419  ROOT/tmp/node24/34103-1154038620
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-34103-1154038620 -o ROOT/results/node24/solver-34103-1154038620 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node24/34103-1154038620/instance-34103-1154038620.opb 552432419  ROOT/tmp/node24/34103-1154038620

MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0
MD5SUM BENCH=  97ebaccbda37d5c570b4e2ec3cd7f8f0

RANDOM SEED= 552432419

TIMEOUT= 1800 seconds


/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.266
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.266
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:        808776 kB
Buffers:         38716 kB
Cached:        1147212 kB
SwapCached:       4140 kB
Active:         338888 kB
Inactive:       856192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        808776 kB
SwapTotal:     4192956 kB
SwapFree:      4183196 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          14496 kB
Slab:            38020 kB
Committed_AS:   549168 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node24 on Thu Jul 27 22:47:02 UTC 2006