Trace number 41120

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 NameAnswerCPU timeWall clock time
PBS 4.1LSAT 767.672 767.891

General information on the benchmark

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

Verifier Data (download as text)

OK	0

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
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node27/watcher-41120-1149233935 -o ROOT/results/node27/solver-41120-1149233935 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node27/41120-1149233935/instance-41120-1149233935.opb 297136595 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.94 0.98 2/64 17327
/proc/meminfo: memFree=1306624/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=1536 CPUtime=0
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 193 0 0 0 0 0 0 0 19 0 1 0 189056969 1572864 168 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134867881 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 384 168 100 232 0 149 0

[startup+10.0019 s]
/proc/loadavg: 0.87 0.94 0.98 2/64 17327
/proc/meminfo: memFree=1290512/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=22240 CPUtime=9.99
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 4306 0 0 0 983 16 0 0 25 0 1 0 189056969 22773760 4127 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564928 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 5560 4127 105 232 0 5325 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 22240

[startup+20.0079 s]
/proc/loadavg: 0.89 0.94 0.98 2/64 17327
/proc/meminfo: memFree=1265424/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=74608 CPUtime=20
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 10751 0 0 0 1979 21 0 0 25 0 1 0 189056969 76398592 10379 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 18652 10379 105 232 0 18417 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 74608

[startup+30.0139 s]
/proc/loadavg: 0.90 0.94 0.98 2/64 17327
/proc/meminfo: memFree=1236624/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=81656 CPUtime=30
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 17947 0 0 0 2975 25 0 0 25 0 1 0 189056969 83615744 17575 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 20414 17575 105 232 0 20179 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 81656

[startup+40.0199 s]
/proc/loadavg: 0.92 0.94 0.98 2/64 17327
/proc/meminfo: memFree=1220880/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=150600 CPUtime=40
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 21872 0 0 0 3971 29 0 0 25 0 1 0 189056969 154214400 21500 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 37650 21500 105 232 0 37415 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 150600

[startup+50.0269 s]
/proc/loadavg: 0.93 0.94 0.98 2/64 17327
/proc/meminfo: memFree=1213456/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=155140 CPUtime=50.01
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 23735 0 0 0 4970 31 0 0 25 0 1 0 189056969 158863360 23363 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549014 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 38785 23363 105 232 0 38550 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 155140

[startup+60.032 s]
/proc/loadavg: 0.94 0.95 0.98 2/64 17327
/proc/meminfo: memFree=1195536/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=159972 CPUtime=60
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 28198 0 0 0 5966 34 0 0 25 0 1 0 189056969 163811328 27826 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 39993 27826 105 232 0 39758 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 159972

[startup+70.038 s]
/proc/loadavg: 0.95 0.95 0.98 2/64 17327
/proc/meminfo: memFree=1180304/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=162948 CPUtime=70.01
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 32001 0 0 0 6964 37 0 0 25 0 1 0 189056969 166858752 31629 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 40737 31629 105 232 0 40502 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 162948

[startup+80.044 s]
/proc/loadavg: 0.96 0.95 0.98 2/64 17327
/proc/meminfo: memFree=1169424/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=165060 CPUtime=80.01
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 34716 0 0 0 7962 39 0 0 25 0 1 0 189056969 169021440 34344 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 41265 34344 105 232 0 41030 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 165060

[startup+90.0501 s]
/proc/loadavg: 0.96 0.95 0.98 2/64 17327
/proc/meminfo: memFree=1157584/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=170908 CPUtime=90.01
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38006 0 0 0 8959 42 0 0 25 0 1 0 189056969 175009792 37249 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552202 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 42727 37249 105 232 0 42492 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 170908

[startup+100.056 s]
/proc/loadavg: 0.97 0.95 0.98 2/64 17327
/proc/meminfo: memFree=1157584/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=170908 CPUtime=100.02
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38044 0 0 0 9959 43 0 0 25 0 1 0 189056969 175009792 37287 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134561656 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 42727 37287 105 232 0 42492 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 170908

[startup+110.063 s]
/proc/loadavg: 0.97 0.95 0.98 2/64 17327
/proc/meminfo: memFree=1157456/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=170908 CPUtime=110.02
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38082 0 0 0 10958 44 0 0 25 0 1 0 189056969 175009792 37325 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 42727 37325 105 232 0 42492 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 170908

[startup+120.068 s]
/proc/loadavg: 0.98 0.95 0.98 2/64 17327
/proc/meminfo: memFree=1157264/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=170908 CPUtime=120.02
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38126 0 0 0 11957 45 0 0 25 0 1 0 189056969 175009792 37369 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 42727 37369 105 232 0 42492 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 170908

[startup+130.074 s]
/proc/loadavg: 0.98 0.95 0.98 2/64 17327
/proc/meminfo: memFree=1156688/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=171400 CPUtime=130.03
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38273 0 0 0 12955 48 0 0 25 0 1 0 189056969 175513600 37516 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 42850 37516 105 232 0 42615 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 171400

[startup+140.08 s]
/proc/loadavg: 0.98 0.95 0.98 2/64 17327
/proc/meminfo: memFree=1156496/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=171400 CPUtime=140.03
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38311 0 0 0 13954 49 0 0 25 0 1 0 189056969 175513600 37554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 42850 37554 105 232 0 42615 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 171400

[startup+150.086 s]
/proc/loadavg: 0.98 0.95 0.98 2/64 17327
/proc/meminfo: memFree=1156304/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=171400 CPUtime=150.03
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38371 0 0 0 14953 50 0 0 25 0 1 0 189056969 175513600 37614 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 42850 37614 105 232 0 42615 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 171400

[startup+160.092 s]
/proc/loadavg: 0.99 0.96 0.98 2/64 17327
/proc/meminfo: memFree=1156048/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=171556 CPUtime=160.04
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38421 0 0 0 15953 51 0 0 25 0 1 0 189056969 175673344 37664 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 42889 37664 105 232 0 42654 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 171556

[startup+170.098 s]
/proc/loadavg: 0.99 0.96 0.98 2/64 17327
/proc/meminfo: memFree=1155536/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=171876 CPUtime=170.04
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38555 0 0 0 16952 52 0 0 25 0 1 0 189056969 176001024 37798 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 42969 37798 105 232 0 42734 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 171876

[startup+180.104 s]
/proc/loadavg: 0.99 0.96 0.98 2/64 17327
/proc/meminfo: memFree=1155088/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=172504 CPUtime=180.05
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38670 0 0 0 17952 53 0 0 25 0 1 0 189056969 176644096 37913 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 43126 37913 105 232 0 42891 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 172504

[startup+190.11 s]
/proc/loadavg: 0.99 0.96 0.98 2/64 17327
/proc/meminfo: memFree=1154640/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=172888 CPUtime=190.04
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38777 0 0 0 18951 53 0 0 25 0 1 0 189056969 177037312 38020 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 43222 38020 105 232 0 42987 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 172888

[startup+200.116 s]
/proc/loadavg: 0.99 0.96 0.98 2/64 17327
/proc/meminfo: memFree=1153872/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=173620 CPUtime=200.05
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 38966 0 0 0 19950 55 0 0 25 0 1 0 189056969 177786880 38209 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 43405 38209 105 232 0 43170 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 173620

[startup+210.122 s]
/proc/loadavg: 0.99 0.96 0.98 2/64 17327
/proc/meminfo: memFree=1153488/2055920 swapFree=4180900/4192956

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

/proc/17327/statm: 47854 41434 105 232 0 47619 0
Current children cumulated CPU time (s) 550.16
Current children cumulated vsize (Kb) 191416

[startup+560.331 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1140752/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=191416 CPUtime=560.16
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44534 0 0 0 55896 120 0 0 25 0 1 0 189056969 196009984 41471 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 47854 41471 105 232 0 47619 0
Current children cumulated CPU time (s) 560.16
Current children cumulated vsize (Kb) 191416

[startup+570.337 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1140560/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=191416 CPUtime=570.17
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44576 0 0 0 56895 122 0 0 25 0 1 0 189056969 196009984 41513 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 47854 41513 105 232 0 47619 0
Current children cumulated CPU time (s) 570.17
Current children cumulated vsize (Kb) 191416

[startup+580.344 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1140368/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=191416 CPUtime=580.17
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44620 0 0 0 57894 123 0 0 25 0 1 0 189056969 196009984 41557 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 47854 41557 105 232 0 47619 0
Current children cumulated CPU time (s) 580.17
Current children cumulated vsize (Kb) 191416

[startup+590.35 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1140176/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=191416 CPUtime=590.18
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44670 0 0 0 58894 124 0 0 25 0 1 0 189056969 196009984 41607 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 47854 41607 105 232 0 47619 0
Current children cumulated CPU time (s) 590.18
Current children cumulated vsize (Kb) 191416

[startup+600.356 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1139984/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=191416 CPUtime=600.18
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44724 0 0 0 59894 124 0 0 25 0 1 0 189056969 196009984 41661 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 47854 41661 105 232 0 47619 0
Current children cumulated CPU time (s) 600.18
Current children cumulated vsize (Kb) 191416

[startup+610.364 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1139728/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=191416 CPUtime=610.18
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44781 0 0 0 60893 125 0 0 25 0 1 0 189056969 196009984 41718 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 47854 41718 105 232 0 47619 0
Current children cumulated CPU time (s) 610.18
Current children cumulated vsize (Kb) 191416

[startup+620.37 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1139536/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=191972 CPUtime=620.19
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44836 0 0 0 61893 126 0 0 25 0 1 0 189056969 196579328 41773 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611556 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 47993 41773 105 232 0 47758 0
Current children cumulated CPU time (s) 620.19
Current children cumulated vsize (Kb) 191972

[startup+630.376 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1139344/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=191972 CPUtime=630.19
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44886 0 0 0 62892 127 0 0 25 0 1 0 189056969 196579328 41823 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 47993 41823 105 232 0 47758 0
Current children cumulated CPU time (s) 630.19
Current children cumulated vsize (Kb) 191972

[startup+640.383 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1139152/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=191972 CPUtime=640.2
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44929 0 0 0 63891 129 0 0 25 0 1 0 189056969 196579328 41866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 47993 41866 105 232 0 47758 0
Current children cumulated CPU time (s) 640.2
Current children cumulated vsize (Kb) 191972

[startup+650.389 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1138896/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=191972 CPUtime=650.2
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 44992 0 0 0 64890 130 0 0 25 0 1 0 189056969 196579328 41929 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 47993 41929 105 232 0 47758 0
Current children cumulated CPU time (s) 650.2
Current children cumulated vsize (Kb) 191972

[startup+660.395 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1138640/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=191972 CPUtime=660.2
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45050 0 0 0 65888 132 0 0 25 0 1 0 189056969 196579328 41987 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550808 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 47993 41987 105 232 0 47758 0
Current children cumulated CPU time (s) 660.2
Current children cumulated vsize (Kb) 191972

[startup+670.401 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1138384/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=191972 CPUtime=670.2
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45110 0 0 0 66888 132 0 0 25 0 1 0 189056969 196579328 42047 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 47993 42047 105 232 0 47758 0
Current children cumulated CPU time (s) 670.2
Current children cumulated vsize (Kb) 191972

[startup+680.407 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1137936/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=192564 CPUtime=680.2
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45216 0 0 0 67887 133 0 0 25 0 1 0 189056969 197185536 42153 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 48141 42153 105 232 0 47906 0
Current children cumulated CPU time (s) 680.2
Current children cumulated vsize (Kb) 192564

[startup+690.413 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1137488/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=192564 CPUtime=690.21
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45332 0 0 0 68886 135 0 0 25 0 1 0 189056969 197185536 42269 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 48141 42269 105 232 0 47906 0
Current children cumulated CPU time (s) 690.21
Current children cumulated vsize (Kb) 192564

[startup+700.42 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1137104/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=193192 CPUtime=700.21
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45420 0 0 0 69884 137 0 0 25 0 1 0 189056969 197828608 42357 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 48298 42357 105 232 0 48063 0
Current children cumulated CPU time (s) 700.21
Current children cumulated vsize (Kb) 193192

[startup+710.426 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1136720/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=193192 CPUtime=710.22
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45538 0 0 0 70882 140 0 0 25 0 1 0 189056969 197828608 42475 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 48298 42475 105 232 0 48063 0
Current children cumulated CPU time (s) 710.22
Current children cumulated vsize (Kb) 193192

[startup+720.432 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1136336/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=193192 CPUtime=720.22
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45637 0 0 0 71881 141 0 0 25 0 1 0 189056969 197828608 42574 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 48298 42574 105 232 0 48063 0
Current children cumulated CPU time (s) 720.22
Current children cumulated vsize (Kb) 193192

[startup+730.438 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1135888/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=193860 CPUtime=730.23
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45744 0 0 0 72880 143 0 0 25 0 1 0 189056969 198512640 42681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 48465 42681 105 232 0 48230 0
Current children cumulated CPU time (s) 730.23
Current children cumulated vsize (Kb) 193860

[startup+740.444 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1135568/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=193860 CPUtime=740.23
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45819 0 0 0 73879 144 0 0 25 0 1 0 189056969 198512640 42756 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 48465 42756 105 232 0 48230 0
Current children cumulated CPU time (s) 740.23
Current children cumulated vsize (Kb) 193860

[startup+750.45 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1135248/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=193860 CPUtime=750.23
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45900 0 0 0 74877 146 0 0 25 0 1 0 189056969 198512640 42837 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 48465 42837 105 232 0 48230 0
Current children cumulated CPU time (s) 750.23
Current children cumulated vsize (Kb) 193860

[startup+760.457 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 17327
/proc/meminfo: memFree=1134992/2055920 swapFree=4180900/4192956
[pid=17327] ppid=17325 vsize=193860 CPUtime=760.23
/proc/17327/stat : 17327 (PBS4L) R 17325 17327 17282 0 -1 4194304 45970 0 0 0 75876 147 0 0 25 0 1 0 189056969 198512640 42907 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/17327/statm: 48465 42907 105 232 0 48230 0
Current children cumulated CPU time (s) 760.23
Current children cumulated vsize (Kb) 193860

Child status: 0
Real time (s): 767.891
CPU time (s): 767.672
CPU user time (s): 766.155
CPU system time (s): 1.51677
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (Kb): 193860

Launcher Data (download as text)

Begin job on node27 on Fri Jun  2 07:38:55 UTC 2006


FILE ID= 41120-1149233935

PBS_JOBID= 296721

BENCH NAME= ROOT/tmp/node27/41120-1149233935/instance-41120-1149233935.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node27/41120-1149233935/instance-41120-1149233935.opb 297136595
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node27/watcher-41120-1149233935 -o ROOT/results/node27/solver-41120-1149233935 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node27/41120-1149233935/instance-41120-1149233935.opb 297136595

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  30ece871aa3028bf4a3db0aa3daf115a

RANDOM SEED= 297136595


/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.234
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.234
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:       1306768 kB
Buffers:         36060 kB
Cached:         638868 kB
SwapCached:       3916 kB
Active:         154180 kB
Inactive:       529512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1306768 kB
SwapTotal:     4192956 kB
SwapFree:      4180900 kB
Dirty:             248 kB
Writeback:           0 kB
Mapped:          14764 kB
Slab:            51520 kB
Committed_AS:   270260 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node27 on Fri Jun  2 07:51:43 UTC 2006