Trace number 3733176

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB07: bsolo 3.0.17SAT (TO)-41 1800.11 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
MD5SUM1a88750537364c45876077f809191628
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-50
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94308
Number of constraints which are clauses94308
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1272
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 1272
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 1272
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3733176-1338693486.opb
0.00/0.00	c File size is 2301477 bytes.
0.09/0.16	c Highest Coefficient sum: 1272
0.09/0.16	c Parsing was ok!!
0.09/0.16	c Total parsing time: 0.159 s
0.09/0.18	c Var: 1272 Constr: 94308 94308/0/0 Lit: 188616 Watch. Lit: 188616
0.09/0.18	c Obj. Vars: 1272 (100 % of total variables)
0.99/1.03	c Pre-processing Time: 1.027 s
0.99/1.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.03	c        0   1272    94308   188616    2   188616   31436      0      0 1.03
0.99/1.03	c Switching off LPR mode.
0.99/1.04	o -35	1.034
0.99/1.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.04	c        0   1272    94309   189888    2   188653   32436      1      0 1.04
0.99/1.04	o -36	1.038
0.99/1.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.04	c        2   1272    94312   193630    2   188695   32436      4      1 1.04
0.99/1.04	o -39	1.041
1.88/1.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.88/1.97	c        2   1272    94313   194902    2   188736   32436      5      1 1.04
1.88/1.97	c      102   1272    94413   317917    3   188936   35680    105     93 1.09
1.88/1.97	c      353   1272    94664   626478    6   189438   39249    356    292 1.21
1.88/1.97	c      829   1272    95140  1211540   12   190390   43174    832    559 1.48
1.88/1.97	o -40	1.965
11.38/11.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.38/11.49	c     1542   1272    95854  2089338   21   191858   32436   1546    783 1.97
11.38/11.49	c     1643   1272    95955  2213326   23   192060   35680   1647    814 2.02
11.38/11.49	c     1893   1272    96205  2520411   26   192560   39249   1897    877 2.16
11.38/11.49	c     2368   1272    96680  3103890   32   193510   43174   2372    976 2.42
11.38/11.49	c     3181   1272    97493  4102619   42   195136   47492   3185   1081 2.94
11.38/11.49	c     4502   1272    98814  5725472   57   197778   52242   4506   1110 4.05
11.38/11.49	c     6583   1272   100895  8281738   82   201940   57467   6587   1070 6.15
11.38/11.49	c     9806   1272   104118 12239697  117   208386   63214   9810    855 11.47
11.38/11.49	o -41	11.487
1800.08/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.50	c     9812   1272   104125 12248344  117   208441   32436   9817    854 11.49
1800.08/1800.50	c     9912   1272   104225 12371076  118   208641   35680   9917    858 11.54
1800.08/1800.50	c    10162   1272   104475 12677765  121   209141   39249  10167    848 11.98
1800.08/1800.50	c    10637   1272   104950 13260788  126   210091   43174  10642    866 12.27
1800.08/1800.50	c    11451   1272   105764 14260116  134   211719   47492  11456    895 12.78
1800.08/1800.50	c    12771   1272   107084 15880361  148   214359   52242  12776    922 13.85
1800.08/1800.50	c    14852   1272   109165 18433207  168   218521   57467  14857    860 17.26
1800.08/1800.50	c    18075   1272   112388 22385810  199   224967   63214  18080    870 20.76
1800.08/1800.50	c    23011   1272   117324 28442872  242   234839   69536  23016    805 28.58
1800.08/1800.50	c    30517   1272   124830 37655265  301   249851   76490  30522    597 51.05
1800.08/1800.50	c    41879   1272   136192 51594334  378   272575   84140  41884    411 101.74
1800.08/1800.50	c    59023   1272   153336 72620018  473   306863   92555  59028    361 163.44
1800.08/1800.50	c    84842   1272   179155 104296724  582   358501  101811  84847    164 516.25
1800.08/1800.50	c   123675   1272   127308 40686437  319   254657  111993  33000    136 907.20
1800.08/1800.50	c   182027   1272   185660 112312056  604   371361  123193  91352    106 1705.00
1800.08/1800.50	c Caught signal: 15
1800.08/1800.50	v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -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 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -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 -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 -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 -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 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.08/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.50	c   29   199912  26298   236856   203545 134245601 109237    111 1800.09
1800.08/1800.50	c Objective: -41
1800.08/1800.50	s SATISFIABLE
1800.08/1800.50	c Total time: 1800.09 s

Verifier Data 

OK	-41

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733176-1338693486/watcher-3733176-1338693486 -o /tmp/evaluation-result-3733176-1338693486/solver-3733176-1338693486 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733176-1338693486.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.72 3.24 2.47 3/177 636
/proc/meminfo: memFree=28140500/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) D 634 636 31541 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 335474263 2723840 48 33554432000 134512640 135840783 4286972832 4286970868 5489604 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/636/statm: 665 48 37 325 0 32 0

[startup+0.00932392 s]
/proc/loadavg: 4.72 3.24 2.47 3/177 636
/proc/meminfo: memFree=28140500/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=6940 CPUtime=0 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 484 0 0 0 0 0 0 0 20 0 1 0 335474263 7106560 421 33554432000 134512640 135840783 4286972832 4286972032 134527382 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/636/statm: 1735 422 330 325 0 109 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6940

[startup+0.10026 s]
/proc/loadavg: 4.72 3.24 2.47 3/177 636
/proc/meminfo: memFree=28140500/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=12300 CPUtime=0.09 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 2128 0 0 0 9 0 0 0 20 0 1 0 335474263 12595200 2065 33554432000 134512640 135840783 4286972832 4286971536 2499879 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/636/statm: 3075 2065 648 325 0 1449 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12300

[startup+0.300297 s]
/proc/loadavg: 4.72 3.24 2.47 3/177 636
/proc/meminfo: memFree=28140500/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=21436 CPUtime=0.28 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 5239 0 0 0 28 0 0 0 20 0 1 0 335474263 21950464 4614 33554432000 134512640 135840783 4286972832 4286956508 12715056 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/636/statm: 5359 4614 345 325 0 4295 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 21436

[startup+0.700299 s]
/proc/loadavg: 4.72 3.24 2.47 3/177 636
/proc/meminfo: memFree=28140500/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=21436 CPUtime=0.68 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 5239 0 0 0 67 1 0 0 20 0 1 0 335474263 21950464 4614 33554432000 134512640 135840783 4286972832 4286956508 12715056 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/636/statm: 5359 4614 345 325 0 4295 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21436

[startup+1.50025 s]
/proc/loadavg: 4.72 3.24 2.47 3/178 637
/proc/meminfo: memFree=28123488/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=31820 CPUtime=1.49 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 9271 0 0 0 146 3 0 0 20 0 1 0 335474263 32583680 7224 33554432000 134512640 135840783 4286972832 4286957248 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/636/statm: 7955 7224 350 325 0 6891 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31820

[startup+3.10027 s]
/proc/loadavg: 4.72 3.24 2.47 3/178 637
/proc/meminfo: memFree=28098196/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=72180 CPUtime=3.09 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 19353 0 0 0 305 4 0 0 20 0 1 0 335474263 73912320 17306 33554432000 134512640 135840783 4286972832 4286957312 134574496 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/636/statm: 18045 17306 350 325 0 16981 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72180

[startup+6.3003 s]
/proc/loadavg: 4.50 3.22 2.46 3/178 637
/proc/meminfo: memFree=28036940/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=124592 CPUtime=6.28 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 32456 0 0 0 622 6 0 0 20 0 1 0 335474263 127582208 30409 33554432000 134512640 135840783 4286972832 4286972192 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/636/statm: 31148 30409 350 325 0 30084 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 124592

[startup+12.7003 s]
/proc/loadavg: 4.30 3.20 2.46 3/178 637
/proc/meminfo: memFree=27970228/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=196452 CPUtime=12.68 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 50422 0 0 0 1258 10 0 0 20 0 1 0 335474263 201166848 48375 33554432000 134512640 135840783 4286972832 4286957152 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/636/statm: 49113 48375 350 325 0 48049 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 196452

[startup+25.5003 s]
/proc/loadavg: 3.79 3.14 2.45 3/178 637
/proc/meminfo: memFree=27790812/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=359644 CPUtime=25.48 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 91211 0 0 0 2531 17 0 0 20 0 1 0 335474263 368275456 89164 33554432000 134512640 135840783 4286972832 4286957152 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/636/statm: 89911 89164 350 325 0 88847 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 359644

[startup+51.1003 s]
/proc/loadavg: 3.18 3.05 2.44 3/178 637
/proc/meminfo: memFree=27653128/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=497636 CPUtime=51.07 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 125713 0 0 0 5081 26 0 0 20 0 1 0 335474263 509579264 123666 33554432000 134512640 135840783 4286972832 4286972192 134550893 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/636/statm: 124409 123666 350 325 0 123345 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 497636

[startup+102.307 s]
/proc/loadavg: 2.51 2.88 2.42 3/177 638
/proc/meminfo: memFree=27462716/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=687800 CPUtime=102.26 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 173258 0 0 0 10188 38 0 0 20 0 1 0 335474263 704307200 171211 33554432000 134512640 135840783 4286972832 4286957184 134586540 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/636/statm: 171950 171211 350 325 0 170886 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 687800

[startup+162.3 s]
/proc/loadavg: 2.19 2.72 2.39 3/178 641
/proc/meminfo: memFree=27211824/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=941008 CPUtime=162.24 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 236568 0 0 0 16169 55 0 0 20 0 1 0 335474263 963592192 234521 33554432000 134512640 135840783 4286972832 4286972192 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 235252 234521 350 325 0 234188 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 941008

[startup+222.3 s]
/proc/loadavg: 2.07 2.59 2.36 3/177 641
/proc/meminfo: memFree=27002796/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1094620 CPUtime=222.23 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 274967 0 0 0 22158 65 0 0 20 0 1 0 335474263 1120890880 272920 33554432000 134512640 135840783 4286972832 4286957000 134584993 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 273655 272920 350 325 0 272591 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1094620

[startup+282.3 s]
/proc/loadavg: 2.02 2.48 2.33 3/177 641
/proc/meminfo: memFree=26945908/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1152000 CPUtime=282.23 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 289320 0 0 0 28154 69 0 0 20 0 1 0 335474263 1179648000 287273 33554432000 134512640 135840783 4286972832 4286972192 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 288000 287273 350 325 0 286936 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1152000

[startup+342.3 s]
/proc/loadavg: 2.01 2.39 2.31 3/177 641
/proc/meminfo: memFree=26894848/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1203084 CPUtime=342.22 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 302067 0 0 0 34148 74 0 0 20 0 1 0 335474263 1231958016 300020 33554432000 134512640 135840783 4286972832 4286972192 134550878 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 300771 300020 350 325 0 299707 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1203084

[startup+402.3 s]
/proc/loadavg: 2.00 2.31 2.29 3/177 642
/proc/meminfo: memFree=26840208/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1257700 CPUtime=402.19 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 315746 0 0 0 40141 78 0 0 20 0 1 0 335474263 1287884800 313684 33554432000 134512640 135840783 4286972832 4286972192 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 314425 313684 350 325 0 313361 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1257700

[startup+462.3 s]
/proc/loadavg: 2.00 2.25 2.27 3/177 642
/proc/meminfo: memFree=26790140/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1307288 CPUtime=462.16 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 328181 0 0 0 46134 82 0 0 20 0 1 0 335474263 1338662912 326093 33554432000 134512640 135840783 4286972832 4286972112 2502286 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 326822 326093 350 325 0 325758 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1307288

[startup+522.3 s]
/proc/loadavg: 2.00 2.20 2.25 3/178 643
/proc/meminfo: memFree=26699516/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1402592 CPUtime=522.14 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 352032 0 0 0 52126 88 0 0 20 0 1 0 335474263 1436254208 349923 33554432000 134512640 135840783 4286972832 4286972192 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 350648 349923 350 325 0 349584 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1402592

[startup+582.3 s]
/proc/loadavg: 2.03 2.18 2.24 3/177 682
/proc/meminfo: memFree=27009856/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1585668 CPUtime=582.12 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 397801 0 0 0 58111 101 0 0 20 0 1 0 335474263 1623724032 395688 33554432000 134512640 135840783 4286972832 4286957084 2124546 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 396417 395688 350 325 0 395353 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1585668

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.02 2.09 2.17 3/177 686
/proc/meminfo: memFree=25442660/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=882.05 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410487 0 0 0 88100 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 1635888

[startup+942.3 s]
/proc/loadavg: 2.04 2.09 2.17 3/177 686
/proc/meminfo: memFree=25306288/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=942.04 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410487 0 0 0 94099 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1635888

[startup+1002.3 s]
/proc/loadavg: 2.05 2.08 2.16 3/177 687
/proc/meminfo: memFree=25085968/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1002.02 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410500 0 0 0 100097 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1635888

[startup+1062.3 s]
/proc/loadavg: 2.05 2.08 2.15 3/177 687
/proc/meminfo: memFree=24961872/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1062.01 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410507 0 0 0 106096 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551081 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1635888

[startup+1122.3 s]
/proc/loadavg: 2.10 2.09 2.15 3/177 687
/proc/meminfo: memFree=24867164/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1121.99 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410515 0 0 0 112094 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551312 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1635888

[startup+1182.3 s]
/proc/loadavg: 2.07 2.08 2.15 3/177 687
/proc/meminfo: memFree=24804696/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1181.98 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410530 0 0 0 118093 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1635888

[startup+1242.3 s]
/proc/loadavg: 2.06 2.08 2.14 3/177 687
/proc/meminfo: memFree=24731192/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1241.96 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410544 0 0 0 124091 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1635888

[startup+1302.3 s]
/proc/loadavg: 2.05 2.08 2.13 3/177 688
/proc/meminfo: memFree=24664136/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1301.96 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410545 0 0 0 130091 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1635888

[startup+1362.3 s]
/proc/loadavg: 2.05 2.08 2.13 3/178 691
/proc/meminfo: memFree=24515976/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1361.94 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410547 0 0 0 136089 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551081 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1635888

[startup+1422.31 s]
/proc/loadavg: 2.05 2.07 2.12 3/177 691
/proc/meminfo: memFree=24279684/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1421.94 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410547 0 0 0 142089 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1635888

[startup+1482.3 s]
/proc/loadavg: 2.05 2.07 2.12 3/177 691
/proc/meminfo: memFree=24159308/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1481.92 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410547 0 0 0 148087 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551324 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1635888

[startup+1542.3 s]
/proc/loadavg: 2.09 2.08 2.11 3/177 691
/proc/meminfo: memFree=24159460/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1541.91 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410547 0 0 0 154086 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1635888

[startup+1602.3 s]
/proc/loadavg: 2.07 2.08 2.11 3/177 692
/proc/meminfo: memFree=24159240/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1601.9 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410547 0 0 0 160085 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1635888

[startup+1662.3 s]
/proc/loadavg: 2.06 2.08 2.10 3/177 692
/proc/meminfo: memFree=24159268/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1661.89 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410547 0 0 0 166084 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134550902 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1635888

[startup+1722.3 s]
/proc/loadavg: 2.05 2.08 2.10 3/177 692
/proc/meminfo: memFree=24159436/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1635888 CPUtime=1721.89 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 410547 0 0 0 172084 105 0 0 20 0 1 0 335474263 1675149312 408247 33554432000 134512640 135840783 4286972832 4286972192 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 408972 408247 350 325 0 407908 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1635888

[startup+1782.3 s]
/proc/loadavg: 2.05 2.07 2.09 3/177 692
/proc/meminfo: memFree=24112824/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1683440 CPUtime=1781.88 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 422434 0 0 0 178079 109 0 0 20 0 1 0 335474263 1723842560 420134 33554432000 134512640 135840783 4286972832 4286972192 134550910 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 420860 420134 350 325 0 419796 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1683440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.10 2.08 2.09 3/177 692
/proc/meminfo: memFree=24062588/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1732952 CPUtime=1800.08 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 434796 0 0 0 179895 113 0 0 20 0 1 0 335474263 1774542848 432496 33554432000 134512640 135840783 4286972832 4286972192 134551186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 433238 432496 350 325 0 432174 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1732952

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.10 2.08 2.09 3/177 692
/proc/meminfo: memFree=24062588/32873844 swapFree=7112/7112
[pid=636] ppid=634 vsize=1732952 CPUtime=1800.08 cores=1,3,5,7
/proc/636/stat : 636 (bsolo3.0.17) R 634 636 31541 0 -1 4202496 434796 0 0 0 179895 113 0 0 20 0 1 0 335474263 1774542848 432496 33554432000 134512640 135840783 4286972832 4286972192 134551186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/636/statm: 433238 432496 350 325 0 432174 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1732952

Child status: 15
Real time (s): 1800.52
CPU time (s): 1800.11
CPU user time (s): 1798.96
CPU system time (s): 1.14982
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 1732952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.14982
maximum resident set size= 1729984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 194
involuntary context switches= 2702

runsolver used 3.55346 second user time and 10.1715 second system time

The end

Launcher Data 

Begin job on node119 at 2012-06-03 05:18:06
IDJOB=3733176
IDBENCH=2256
IDSOLVER=2318
FILE ID=node119/3733176-1338693486
RUNJOBID= node119-1338678620-31561
PBS_JOBID= 14636694
Free space on /tmp= 70892 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733176-1338693486/watcher-3733176-1338693486 -o /tmp/evaluation-result-3733176-1338693486/solver-3733176-1338693486 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3733176-1338693486.opb            

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 1a88750537364c45876077f809191628
RANDOM SEED=1506328361

node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28140832 kB
Buffers:          399964 kB
Cached:          2949200 kB
SwapCached:         1936 kB
Active:          2006824 kB
Inactive:        1889388 kB
Active(anon):     542976 kB
Inactive(anon):     6624 kB
Active(file):    1463848 kB
Inactive(file):  1882764 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:             15028 kB
Writeback:             0 kB
AnonPages:        552896 kB
Mapped:            13120 kB
Shmem:                 0 kB
Slab:             693752 kB
SReclaimable:     135272 kB
SUnreclaim:       558480 kB
KernelStack:        1512 kB
PageTables:         5084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     666076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70880 MiB
End job on node119 at 2012-06-03 05:48:08