Trace number 46600

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
bsolo 2006/05SAT99 1800.14 1800.84

General information on the benchmark

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

Verifier Data (download as text)

OK	99

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/node17/watcher-46600-1154070663 -o ROOT/results/node17/solver-46600-1154070663 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node17/46600-1154070663/instance-46600-1154070663.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.97 1.01 1.00 2/64 14971
/proc/meminfo: memFree=1439600/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=436 CPUtime=0
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 39 0 0 0 0 0 0 0 18 0 1 0 153926859 446464 23 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 2859940 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/14971/statm: 109 23 18 55 0 18 0

[startup+10.0026 s]
/proc/loadavg: 0.97 1.01 1.00 2/64 14971
/proc/meminfo: memFree=1428976/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=12936 CPUtime=9.95
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 2465 0 10 0 993 2 0 0 25 0 1 0 153926859 13246464 2389 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 3234 2389 296 55 0 2126 0
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 12936

[startup+20.0084 s]
/proc/loadavg: 0.98 1.01 1.00 2/64 14971
/proc/meminfo: memFree=1428344/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=13724 CPUtime=19.95
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 2668 0 10 0 1993 2 0 0 25 0 1 0 153926859 14053376 2592 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537841 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 3431 2592 296 55 0 2323 0
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 13724

[startup+30.0142 s]
/proc/loadavg: 0.98 1.01 1.00 2/64 14971
/proc/meminfo: memFree=1427448/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=14516 CPUtime=29.95
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 2886 0 10 0 2992 3 0 0 25 0 1 0 153926859 14864384 2810 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 3629 2810 296 55 0 2521 0
Current children cumulated CPU time (s) 29.95
Current children cumulated vsize (Kb) 14516

[startup+40.0201 s]
/proc/loadavg: 0.98 1.01 1.00 2/64 14971
/proc/meminfo: memFree=1426680/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=15308 CPUtime=39.95
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 3071 0 10 0 3992 3 0 0 25 0 1 0 153926859 15675392 2995 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 3827 2995 296 55 0 2719 0
Current children cumulated CPU time (s) 39.95
Current children cumulated vsize (Kb) 15308

[startup+50.026 s]
/proc/loadavg: 0.99 1.01 1.00 2/64 14971
/proc/meminfo: memFree=1425720/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=16364 CPUtime=49.96
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 3329 0 10 0 4992 4 0 0 25 0 1 0 153926859 16756736 3253 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 4091 3253 296 55 0 2983 0
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 16364

[startup+60.0318 s]
/proc/loadavg: 0.99 1.01 1.00 2/64 14971
/proc/meminfo: memFree=1424312/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=17816 CPUtime=59.95
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 3684 0 10 0 5991 4 0 0 25 0 1 0 153926859 18243584 3608 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 4454 3608 297 55 0 3346 0
Current children cumulated CPU time (s) 59.95
Current children cumulated vsize (Kb) 17816

[startup+70.0377 s]
/proc/loadavg: 0.99 1.01 1.00 2/64 14971
/proc/meminfo: memFree=1422456/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=19532 CPUtime=69.96
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4136 0 10 0 6991 5 0 0 25 0 1 0 153926859 20000768 4060 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 4883 4060 297 55 0 3775 0
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (Kb) 19532

[startup+80.0435 s]
/proc/loadavg: 0.99 1.01 1.00 2/64 14971
/proc/meminfo: memFree=1420792/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=21248 CPUtime=79.96
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4554 0 10 0 7990 6 0 0 25 0 1 0 153926859 21757952 4478 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 5312 4478 297 55 0 4204 0
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 21248

[startup+90.0504 s]
/proc/loadavg: 0.99 1.01 1.00 2/64 14971
/proc/meminfo: memFree=1416440/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=25608 CPUtime=89.97
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 5644 0 10 0 8989 8 0 0 25 0 1 0 153926859 26222592 5568 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 6402 5568 297 55 0 5294 0
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 25608

[startup+100.057 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1411128/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=31024 CPUtime=99.97
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 6977 0 10 0 9987 10 0 0 25 0 1 0 153926859 31768576 6901 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134541333 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 7756 6901 297 55 0 6648 0
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 31024

[startup+110.064 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1406968/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=35112 CPUtime=109.97
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 8007 0 10 0 10985 12 0 0 25 0 1 0 153926859 35954688 7931 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548722 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 8778 7931 297 55 0 7670 0
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 35112

[startup+120.07 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1405304/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=36828 CPUtime=119.97
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 8423 0 10 0 11984 13 0 0 25 0 1 0 153926859 37711872 8347 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 9207 8347 297 55 0 8099 0
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 36828

[startup+130.077 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1402616/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=39476 CPUtime=129.98
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 9098 0 10 0 12983 15 0 0 25 0 1 0 153926859 40423424 9022 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 9869 9022 297 55 0 8761 0
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 39476

[startup+140.084 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1396728/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=45744 CPUtime=139.97
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 47732 0 12 0 13964 33 0 0 25 0 1 0 153926859 46841856 10509 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159255587 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 11436 10509 446 55 0 10328 0
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 45744

[startup+150.091 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1398968/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=42848 CPUtime=149.98
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 84505 0 12 0 14945 53 0 0 25 0 1 0 153926859 43876352 9997 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 10712 9997 446 55 0 9604 0
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 42848

[startup+160.096 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1399032/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=42452 CPUtime=159.98
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 122694 0 12 0 15929 69 0 0 25 0 1 0 153926859 43470848 9898 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 10613 9898 446 55 0 9505 0
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 42452

[startup+170.103 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1399032/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=42656 CPUtime=169.99
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 153638 0 12 0 16918 81 0 0 25 0 1 0 153926859 43679744 9949 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 10664 9949 446 55 0 9556 0
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 42656

[startup+180.109 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1397816/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=44932 CPUtime=179.98
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 180285 0 12 0 17906 92 0 0 25 0 1 0 153926859 46010368 10252 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159351679 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 11233 10252 446 55 0 10125 0
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 44932

[startup+190.115 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1399032/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=43056 CPUtime=189.99
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 215641 0 12 0 18891 108 0 0 25 0 1 0 153926859 44089344 10006 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4160205824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 10764 10006 446 55 0 9656 0
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 43056

[startup+200.122 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1398840/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=42596 CPUtime=199.99
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 246919 0 12 0 19880 119 0 0 25 0 1 0 153926859 43618304 9935 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 10649 9935 446 55 0 9541 0
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 42596

[startup+210.128 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971

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

Current children cumulated CPU time (s) 1760.38
Current children cumulated vsize (Kb) 48996

[startup+1771.08 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1392128/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=49196 CPUtime=1770.38
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4706838 0 12 0 175105 1933 0 0 25 0 1 0 153926859 50376704 11555 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 12299 11555 446 55 0 11191 0
Current children cumulated CPU time (s) 1770.38
Current children cumulated vsize (Kb) 49196

[startup+1781.08 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1391936/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=49204 CPUtime=1780.38
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4731456 0 12 0 176095 1943 0 0 25 0 1 0 153926859 50384896 11588 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134684650 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 12301 11588 446 55 0 11193 0
Current children cumulated CPU time (s) 1780.38
Current children cumulated vsize (Kb) 49204

[startup+1782.09 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1391872/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=49204 CPUtime=1781.39
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4733677 0 12 0 176195 1944 0 0 25 0 1 0 153926859 50384896 11588 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535951 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 12301 11588 446 55 0 11193 0
Current children cumulated CPU time (s) 1781.39
Current children cumulated vsize (Kb) 49204

[startup+1783.09 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1391872/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=49224 CPUtime=1782.39
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4735970 0 12 0 176294 1945 0 0 25 0 1 0 153926859 50405376 11593 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158536000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 12306 11593 446 55 0 11198 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (Kb) 49224

[startup+1784.1 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1391872/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=49404 CPUtime=1783.4
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4738605 0 12 0 176394 1946 0 0 25 0 1 0 153926859 50589696 11629 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158520524 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 12351 11636 446 55 0 11243 0
Current children cumulated CPU time (s) 1783.4
Current children cumulated vsize (Kb) 49404

[startup+1785.1 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1392000/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=49152 CPUtime=1784.4
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4741297 0 12 0 176493 1947 0 0 25 0 1 0 153926859 50331648 11575 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 12288 11575 446 55 0 11180 0
Current children cumulated CPU time (s) 1784.4
Current children cumulated vsize (Kb) 49152

[startup+1786.11 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1391936/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=49172 CPUtime=1785.4
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4743749 0 12 0 176592 1948 0 0 25 0 1 0 153926859 50352128 11580 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535990 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 12293 11580 446 55 0 11185 0
Current children cumulated CPU time (s) 1785.4
Current children cumulated vsize (Kb) 49172

[startup+1787.11 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1391936/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=49200 CPUtime=1786.41
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4746570 0 12 0 176691 1950 0 0 25 0 1 0 153926859 50380800 11587 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158536000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 12300 11587 446 55 0 11192 0
Current children cumulated CPU time (s) 1786.41
Current children cumulated vsize (Kb) 49200

[startup+1788.12 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1391808/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=49336 CPUtime=1787.41
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4749582 0 12 0 176790 1951 0 0 25 0 1 0 153926859 50520064 11621 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158520361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 12334 11621 446 55 0 11226 0
Current children cumulated CPU time (s) 1787.41
Current children cumulated vsize (Kb) 49336

[startup+1789.12 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1391744/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=49360 CPUtime=1788.42
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4752187 0 12 0 176890 1952 0 0 25 0 1 0 153926859 50544640 11627 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 12340 11627 446 55 0 11232 0
Current children cumulated CPU time (s) 1788.42
Current children cumulated vsize (Kb) 49360

[startup+1790.13 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1391808/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=49460 CPUtime=1789.42
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4754543 0 12 0 176989 1953 0 0 25 0 1 0 153926859 50647040 11652 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159300807 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 12365 11652 446 55 0 11257 0
Current children cumulated CPU time (s) 1789.42
Current children cumulated vsize (Kb) 49460

[startup+1791.13 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1391488/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=51548 CPUtime=1790.43
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4757044 0 12 0 177089 1954 0 0 25 0 1 0 153926859 52785152 11751 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159943308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 12887 11751 446 55 0 11779 0
Current children cumulated CPU time (s) 1790.43
Current children cumulated vsize (Kb) 51548

[startup+1792.14 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1391872/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=49420 CPUtime=1791.44
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4759762 0 12 0 177188 1956 0 0 25 0 1 0 153926859 50606080 11611 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535961 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 12355 11611 446 55 0 11247 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (Kb) 49420

[startup+1793.14 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1391872/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=49276 CPUtime=1792.44
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4761920 0 12 0 177287 1957 0 0 25 0 1 0 153926859 50458624 11606 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 12319 11606 446 55 0 11211 0
Current children cumulated CPU time (s) 1792.44
Current children cumulated vsize (Kb) 49276

[startup+1794.15 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1390912/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=49488 CPUtime=1793.44
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4763223 0 12 0 177387 1957 0 0 25 0 1 0 153926859 50675712 11659 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 12372 11659 446 55 0 11264 0
Current children cumulated CPU time (s) 1793.44
Current children cumulated vsize (Kb) 49488

[startup+1795.15 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1389120/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=53716 CPUtime=1794.45
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4766253 0 12 0 177487 1958 0 0 25 0 1 0 153926859 55005184 12363 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4160276746 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 13429 12364 446 55 0 12321 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (Kb) 53716

[startup+1796.16 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1387712/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=54092 CPUtime=1795.45
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4772491 0 12 0 177585 1960 0 0 25 0 1 0 153926859 55390208 12686 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159499070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 13523 12686 446 55 0 12415 0
Current children cumulated CPU time (s) 1795.45
Current children cumulated vsize (Kb) 54092

[startup+1797.16 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1388352/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=53496 CPUtime=1796.45
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4778338 0 12 0 177683 1962 0 0 25 0 1 0 153926859 54779904 12549 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159003259 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 13374 12549 446 55 0 12266 0
Current children cumulated CPU time (s) 1796.45
Current children cumulated vsize (Kb) 53496

[startup+1798.17 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1391296/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=50036 CPUtime=1797.46
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4782281 0 12 0 177782 1964 0 0 25 0 1 0 153926859 51236864 11796 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 12509 11796 446 55 0 11401 0
Current children cumulated CPU time (s) 1797.46
Current children cumulated vsize (Kb) 50036

[startup+1799.17 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1388800/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=54048 CPUtime=1798.46
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4786113 0 12 0 177880 1966 0 0 25 0 1 0 153926859 55345152 12431 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159197416 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 13512 12431 446 55 0 12404 0
Current children cumulated CPU time (s) 1798.46
Current children cumulated vsize (Kb) 54048

[startup+1800.18 s]
/proc/loadavg: 0.99 1.00 1.00 2/64 14971
/proc/meminfo: memFree=1391488/2055920 swapFree=4183520/4192956
[pid=14971] ppid=14969 vsize=49604 CPUtime=1799.47
/proc/14971/stat : 14971 (bsolo) R 14969 14971 14922 0 -1 0 4790014 0 12 0 177979 1968 0 0 25 0 1 0 153926859 50794496 11688 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14971/statm: 12401 11688 446 55 0 11293 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (Kb) 49604

Child status: 10
Real time (s): 1800.84
CPU time (s): 1800.14
CPU user time (s): 1780.44
CPU system time (s): 19.7
CPU usage (%): 99.9609
Max. virtual memory (cumulated for all children) (Kb): 54092
The end

Launcher Data (download as text)

Begin job on node17 on Fri Jul 28 07:11:03 UTC 2006


FILE ID= 46600-1154070663

PBS_JOBID= 882679

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_11.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node17/46600-1154070663/instance-46600-1154070663.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-46600-1154070663 -o ROOT/results/node17/solver-46600-1154070663 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node17/46600-1154070663/instance-46600-1154070663.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  5946eb43fefc6e626d35d99afd3eec42

RANDOM SEED= 987205314

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.263
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.263
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:       1439808 kB
Buffers:         40128 kB
Cached:         498684 kB
SwapCached:       3080 kB
Active:         130640 kB
Inactive:       416636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1439808 kB
SwapTotal:     4192956 kB
SwapFree:      4183520 kB
Dirty:             220 kB
Writeback:           0 kB
Mapped:          14460 kB
Slab:            54768 kB
Committed_AS:   643760 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node17 on Fri Jul 28 07:41:04 UTC 2006