Trace number 2657408

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
bsolo 3.2 ClSAT-41 1798.11 1798.67

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
MD5SUM20471e978018d28aed0ca16c46de4e3d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -51
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94226
Number of constraints which are clauses94226
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.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657408-1276503954.opb
0.00/0.00	c File size is 2294904 bytes.
0.29/0.37	c Highest Coefficient sum: 1272
0.29/0.37	c Parsing was ok!!
0.29/0.37	c Total parsing time: 0.37 s
0.39/0.40	c Var: 1272 Constr: 94226 94226/0/0 Lit: 188452 Watch. Lit: 188452
0.39/0.40	c Obj. Vars: 1272 (100 % of total variables)
2.99/3.05	c Pre-processing Time: 3.05 s
2.99/3.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.05	c        0   1272    94226   188452    2   188452   31408      0      0 3.05
2.99/3.05	c Switching off lower bounding mode.
2.99/3.06	o -36
2.99/3.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.09	c        0   1272    94227   189724    2   188490   32408      1      0 3.07
2.99/3.09	o -37
3.30/3.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.30/3.30	c       26   1272    94254   223054    2   188581   32408     28      8 3.09
3.30/3.30	c      127   1272    94355   347409    3   188783   35649    129     39 3.18
3.30/3.30	o -38
3.39/3.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.39/3.40	c      299   1272    94528   560667    5   189167   32408    302     90 3.31
3.39/3.40	c      399   1272    94628   683754    7   189367   35649    402    117 3.40
3.39/3.40	o -39
635.79/636.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
635.79/636.02	c      399   1272    94629   685026    7   189408   32408    403    117 3.41
635.79/636.02	c      499   1272    94729   808013    8   189608   35649    503    142 3.50
635.79/636.02	c      749   1272    94979  1115079   11   190108   39214    753    200 3.74
635.79/636.02	c     1224   1272    95454  1698840   17   191058   43136   1228    291 4.19
635.79/636.02	c     2037   1272    96267  2698673   28   192684   47450   2041    394 5.17
635.79/636.02	c     3357   1272    97587  4321082   44   195324   52196   3361    506 6.63
635.79/636.02	c     5438   1272    99668  6878023   69   199486   57416   5442    574 9.47
635.79/636.02	c     8661   1272   102891 10838659  105   205932   63158   8665    576 15.02
635.79/636.02	c    13597   1272   107827 16903354  156   215804   69474  13601    501 27.13
635.79/636.02	c    21104   1272   115334 26128247  226   230818   76422  21108    460 45.86
635.79/636.02	c    32466   1272   126696 40093403  316   253542   84065  32470    353 91.83
635.79/636.02	c    49612   1272   143842 61164291  425   287834   92472  49616    286 173.29
635.79/636.02	c Reducing formula size due to memory constraints
635.79/636.02	c Memory Limit: 1000.00 MB  Used: 1011.05 MB
635.79/636.02	c    75431   1272   116510 27582309  236   233059  128369  22284    201 374.62
635.79/636.02	c   114264   1272   155343 75307898  484   310725  141206  61117    194 586.43
635.79/636.02	c Reducing formula size due to memory constraints
635.79/636.02	c Memory Limit: 1000.00 MB  Used: 1009.07 MB
635.79/636.02	o -40
677.38/677.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
677.38/677.61	c   120860   1272   108909 18234797  167   217897   32408  14683    190 635.83
677.38/677.61	c   120960   1272   109009 18357636  168   218097   35649  14783    190 635.98
677.38/677.61	c   121210   1272   109259 18664598  170   218597   39214  15033    190 636.33
677.38/677.61	c   121686   1272   109735 19248949  175   219549   43136  15509    191 636.93
677.38/677.61	c   122499   1272   110548 20247621  183   221175   47450  16322    191 639.61
677.38/677.61	c   123820   1272   111869 21870430  195   223817   52196  17643    192 643.12
677.38/677.61	c   125901   1272   113950 24425767  214   227979   57416  19724    194 647.76
677.38/677.61	c   129124   1272   117173 28382143  242   234425   63158  22947    197 653.76
677.38/677.61	c   134060   1272   122109 34443171  282   244297   69474  27883    200 667.05
677.38/677.61	o -41
1797.94/1798.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1798.56	c   136533   1272   124583 37482065  300   249286   32408  30357    201 677.41
1797.94/1798.56	c   136634   1272   124684 37606033  301   249488   35649  30458    201 677.83
1797.94/1798.56	c   136884   1272   124934 37912844  303   249988   39214  30708    201 678.28
1797.94/1798.56	c   137359   1272   125409 38495947  306   250938   43136  31183    202 678.96
1797.94/1798.56	c   138172   1272   126222 39493416  312   252564   47450  31996    202 682.23
1797.94/1798.56	c   139492   1272   127542 41113010  322   255204   52196  33316    203 685.45
1797.94/1798.56	c   141573   1272   129623 43665803  336   259366   57416  35397    205 689.79
1797.94/1798.56	c   144797   1272   132847 47623299  358   265814   63158  38621    206 701.65
1797.94/1798.56	c   149734   1272   137784 53681744  389   275688   69474  43558    209 714.39
1797.94/1798.56	c   157240   1272   145290 62888127  432   290700   76422  51064    212 740.36
1797.94/1798.56	c   168601   1272   156651 76824370  490   313422   84065  62425    214 785.93
1797.94/1798.56	c Reducing formula size due to memory constraints
1797.94/1798.56	c Memory Limit: 1000.00 MB  Used: 1007.86 MB
1797.94/1798.56	c   185745   1272   120784 32778123  271   241609  128380  26558    203 913.85
1797.94/1798.56	c   211564   1272   146603 64459207  439   293247  141219  52377    190 1111.24
1797.94/1798.56	c Reducing formula size due to memory constraints
1797.94/1798.56	c Memory Limit: 1000.00 MB  Used: 1007.42 MB
1797.94/1798.56	c   250396   1272   132387 46997554  355   264815  128347  38161    183 1366.81
1797.94/1798.56	c Reducing formula size due to memory constraints
1797.94/1798.56	c Memory Limit: 1000.00 MB  Used: 1007.05 MB
1797.94/1798.56	c   308748   1272   137756 53608502  389   275553  128397  43530    175 1758.80
1797.94/1798.56	c Resources Exceeded
1797.94/1798.56	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 
1797.94/1798.56	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1798.56	c   43   317775  31238   359402   146783 64686753  52557    176 1798.00
1797.94/1798.56	c Objective: -41
1797.94/1798.56	s SATISFIABLE
1797.94/1798.56	c Total time: 1798 s

Verifier Data 

OK	-41

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657408-1276503954/watcher-2657408-1276503954 -o /tmp/evaluation-result-2657408-1276503954/solver-2657408-1276503954 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657408-1276503954.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30781
/proc/meminfo: memFree=1795156/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=13176 CPUtime=0
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 25999414 13492224 271 1992294400 134512640 137138936 4291019984 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 3294 271 175 642 0 2089 0

[startup+0.0162671 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30781
/proc/meminfo: memFree=1795156/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=13316 CPUtime=0.01
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 419 0 0 0 1 0 0 0 20 0 1 0 25999414 13635584 337 1992294400 134512640 137138936 4291019984 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 3329 337 188 642 0 2124 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13316

[startup+0.101277 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30781
/proc/meminfo: memFree=1795156/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=15380 CPUtime=0.09
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 1060 0 0 0 9 0 0 0 20 0 1 0 25999414 15749120 978 1992294400 134512640 137138936 4291019984 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 3845 979 311 642 0 2640 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15380

[startup+0.3013 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30781
/proc/meminfo: memFree=1795156/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=20464 CPUtime=0.29
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 2618 0 0 0 29 0 0 0 20 0 1 0 25999414 20955136 2536 1992294400 134512640 137138936 4291019984 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 5116 2536 615 642 0 3911 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20464

[startup+0.701346 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30781
/proc/meminfo: memFree=1795156/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=27540 CPUtime=0.69
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 5080 0 0 0 67 2 0 0 21 0 1 0 25999414 28200960 4437 1992294400 134512640 137138936 4291019984 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 6885 4437 185 642 0 6241 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27540

[startup+1.50144 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30782
/proc/meminfo: memFree=1777788/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=27540 CPUtime=1.49
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 5080 0 0 0 144 5 0 0 23 0 1 0 25999414 28200960 4437 1992294400 134512640 137138936 4291019984 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 6885 4437 185 642 0 6241 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27540

[startup+3.10063 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30782
/proc/meminfo: memFree=1777664/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=25064 CPUtime=3.09
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 5885 0 0 0 298 11 0 0 25 0 1 0 25999414 25665536 3822 1992294400 134512640 137138936 4291019984 18446744073709551615 134542226 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 6266 3822 191 642 0 5622 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25064

[startup+6.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30782
/proc/meminfo: memFree=1744680/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=73336 CPUtime=6.29
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 17953 0 0 0 613 16 0 0 25 0 1 0 25999414 75096064 15890 1992294400 134512640 137138936 4291019984 18446744073709551615 134544876 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 18334 15890 191 642 0 17690 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73336

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30782
/proc/meminfo: memFree=1666436/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=145004 CPUtime=12.69
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 35880 0 0 0 1244 25 0 0 25 0 1 0 25999414 148484096 33817 1992294400 134512640 137138936 4291019984 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 36251 33817 191 642 0 35607 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 145004

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30782
/proc/meminfo: memFree=1574552/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=231528 CPUtime=25.49
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 57518 0 0 0 2513 36 0 0 25 0 1 0 25999414 237084672 55455 1992294400 134512640 137138936 4291019984 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 57882 55455 191 642 0 57238 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 231528

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30784
/proc/meminfo: memFree=1414716/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=392936 CPUtime=51.07
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 97859 0 0 0 5051 56 0 0 25 0 1 0 25999414 402366464 95796 1992294400 134512640 137138936 4291019984 18446744073709551615 136296964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 98234 95796 191 642 0 97590 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 392936

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30784
/proc/meminfo: memFree=1211108/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=593268 CPUtime=102.26
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 147934 0 0 0 10144 82 0 0 25 0 1 0 25999414 607506432 145871 1992294400 134512640 137138936 4291019984 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 148317 145871 191 642 0 147673 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 593268

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30786
/proc/meminfo: memFree=1029572/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=775672 CPUtime=162.24
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 193548 0 0 0 16117 107 0 0 25 0 1 0 25999414 794288128 191485 1992294400 134512640 137138936 4291019984 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 193918 191485 191 642 0 193274 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 775672

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30788
/proc/meminfo: memFree=867876/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=935612 CPUtime=222.22
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 233522 0 0 0 22089 133 0 0 25 0 1 0 25999414 958066688 231459 1992294400 134512640 137138936 4291019984 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 233903 231459 191 642 0 233259 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 935612

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30790
/proc/meminfo: memFree=763344/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1041828 CPUtime=282.2
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 260089 0 0 0 28072 148 0 0 25 0 1 0 25999414 1066831872 258026 1992294400 134512640 137138936 4291019984 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 260457 258026 191 642 0 259813 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1041828

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30792
/proc/meminfo: memFree=756152/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1046608 CPUtime=342.18
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 34067 151 0 0 25 0 1 0 25999414 1071726592 259219 1992294400 134512640 137138936 4291019984 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261652 259219 191 642 0 261008 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1046608

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30792
/proc/meminfo: memFree=756028/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1046608 CPUtime=402.16
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 40058 158 0 0 25 0 1 0 25999414 1071726592 259219 1992294400 134512640 137138936 4291019984 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261652 259219 191 642 0 261008 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1046608

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30794
/proc/meminfo: memFree=755904/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1046608 CPUtime=462.14
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 46049 165 0 0 25 0 1 0 25999414 1071726592 259219 1992294400 134512640 137138936 4291019984 18446744073709551615 134609401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261652 259219 191 642 0 261008 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 1046608

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30796
/proc/meminfo: memFree=755904/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1046608 CPUtime=522.13
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 52042 171 0 0 25 0 1 0 25999414 1071726592 259219 1992294400 134512640 137138936 4291019984 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261652 259219 191 642 0 261008 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1046608

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30798
/proc/meminfo: memFree=755780/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1046608 CPUtime=582.11
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 58037 174 0 0 25 0 1 0 25999414 1071726592 259219 1992294400 134512640 137138936 4291019984 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261652 259219 191 642 0 261008 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1046608

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30800
/proc/meminfo: memFree=756648/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1045452 CPUtime=642.1
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 64032 178 0 0 25 0 1 0 25999414 1070542848 258939 1992294400 134512640 137138936 4291019984 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261363 258939 191 642 0 260719 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 1045452

[startup+702.302 s]

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

/proc/meminfo: memFree=756400/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1045452 CPUtime=1121.94
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 111975 219 0 0 25 0 1 0 25999414 1070542848 258939 1992294400 134512640 137138936 4291019984 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261363 258939 191 642 0 260719 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1045452

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30814
/proc/meminfo: memFree=756276/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1045452 CPUtime=1181.92
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 117968 224 0 0 25 0 1 0 25999414 1070542848 258939 1992294400 134512640 137138936 4291019984 18446744073709551615 134542871 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261363 258939 191 642 0 260719 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1045452

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30816
/proc/meminfo: memFree=756276/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1045452 CPUtime=1241.9
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 123961 229 0 0 25 0 1 0 25999414 1070542848 258939 1992294400 134512640 137138936 4291019984 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261363 258939 191 642 0 260719 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1045452

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30816
/proc/meminfo: memFree=756152/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1045452 CPUtime=1301.9
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 129956 234 0 0 25 0 1 0 25999414 1070542848 258939 1992294400 134512640 137138936 4291019984 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261363 258939 191 642 0 260719 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1045452

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30818
/proc/meminfo: memFree=756152/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1045452 CPUtime=1361.87
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 135950 237 0 0 25 0 1 0 25999414 1070542848 258939 1992294400 134512640 137138936 4291019984 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261363 258939 191 642 0 260719 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1045452

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30820
/proc/meminfo: memFree=756152/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1045452 CPUtime=1421.86
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 141943 243 0 0 25 0 1 0 25999414 1070542848 258939 1992294400 134512640 137138936 4291019984 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261363 258939 191 642 0 260719 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1045452

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30822
/proc/meminfo: memFree=756152/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1045452 CPUtime=1481.83
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 147935 248 0 0 25 0 1 0 25999414 1070542848 258939 1992294400 134512640 137138936 4291019984 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261363 258939 191 642 0 260719 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1045452

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30824
/proc/meminfo: memFree=756152/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1045452 CPUtime=1541.81
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 153930 251 0 0 25 0 1 0 25999414 1070542848 258939 1992294400 134512640 137138936 4291019984 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261363 258939 191 642 0 260719 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1045452

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30824
/proc/meminfo: memFree=756152/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1045452 CPUtime=1601.79
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 159922 257 0 0 25 0 1 0 25999414 1070542848 258939 1992294400 134512640 137138936 4291019984 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261363 258939 191 642 0 260719 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1045452

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30826
/proc/meminfo: memFree=756028/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1045452 CPUtime=1661.77
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 165915 262 0 0 25 0 1 0 25999414 1070542848 258939 1992294400 134512640 137138936 4291019984 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261363 258939 191 642 0 260719 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1045452

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30828
/proc/meminfo: memFree=756028/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1045452 CPUtime=1721.75
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 171910 265 0 0 25 0 1 0 25999414 1070542848 258939 1992294400 134512640 137138936 4291019984 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261363 258939 191 642 0 260719 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1045452

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30830
/proc/meminfo: memFree=755780/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1045452 CPUtime=1781.73
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 177903 270 0 0 25 0 1 0 25999414 1070542848 258939 1992294400 134512640 137138936 4291019984 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261363 258939 191 642 0 260719 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1045452

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30830
/proc/meminfo: memFree=755780/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1045452 CPUtime=1791.34
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 178863 271 0 0 25 0 1 0 25999414 1070542848 258939 1992294400 134512640 137138936 4291019984 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261363 258939 191 642 0 260719 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 1045452

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30830
/proc/meminfo: memFree=755780/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1045452 CPUtime=1794.54
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 179183 271 0 0 25 0 1 0 25999414 1070542848 258939 1992294400 134512640 137138936 4291019984 18446744073709551615 134603195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261363 258939 191 642 0 260719 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 1045452

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30830
/proc/meminfo: memFree=755780/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1045452 CPUtime=1796.13
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 179342 271 0 0 25 0 1 0 25999414 1070542848 258939 1992294400 134512640 137138936 4291019984 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261363 258939 191 642 0 260719 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (KiB) 1045452

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30830
/proc/meminfo: memFree=755780/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1045452 CPUtime=1796.94
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 179422 272 0 0 25 0 1 0 25999414 1070542848 258939 1992294400 134512640 137138936 4291019984 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261363 258939 191 642 0 260719 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 1045452

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30830
/proc/meminfo: memFree=755780/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1045452 CPUtime=1797.74
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 179502 272 0 0 25 0 1 0 25999414 1070542848 258939 1992294400 134512640 137138936 4291019984 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261363 258939 191 642 0 260719 0
Current children cumulated CPU time (s) 1797.74
Current children cumulated vsize (KiB) 1045452

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30830
/proc/meminfo: memFree=755780/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=1045452 CPUtime=1797.94
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202496 261346 0 0 0 179522 272 0 0 25 0 1 0 25999414 1070542848 258939 1992294400 134512640 137138936 4291019984 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30781/statm: 261363 258939 191 642 0 260719 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 1045452

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30830
/proc/meminfo: memFree=755780/2059040 swapFree=4136456/4192956
[pid=30781] ppid=30779 vsize=0 CPUtime=1798.03
/proc/30781/stat : 30781 (bsolo_pb10) R 30779 30781 30321 0 -1 4202500 261347 0 0 0 179528 275 0 0 25 0 1 0 25999414 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/30781/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.67
CPU time (s): 1798.11
CPU user time (s): 1795.28
CPU system time (s): 2.82757
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 1046864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.28
system time used= 2.82757
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261347
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= 2
involuntary context switches= 4800

runsolver used 3.19651 second user time and 8.26174 second system time

The end

Launcher Data 

Begin job on node001 at 2010-06-14 10:25:54
IDJOB=2657408
IDBENCH=2258
IDSOLVER=1163
FILE ID=node001/2657408-1276503954
PBS_JOBID= 11173408
Free space on /tmp= 62432 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657408-1276503954/watcher-2657408-1276503954 -o /tmp/evaluation-result-2657408-1276503954/solver-2657408-1276503954 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657408-1276503954.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 20471e978018d28aed0ca16c46de4e3d
RANDOM SEED=1668776194

node001.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.202
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
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.202
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1795808 kB
Buffers:         73144 kB
Cached:         112284 kB
SwapCached:       9304 kB
Active:         102100 kB
Inactive:        95656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1795808 kB
SwapTotal:     4192956 kB
SwapFree:      4136456 kB
Dirty:            6292 kB
Writeback:           0 kB
AnonPages:       11028 kB
Mapped:           9212 kB
Slab:            43888 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181848 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62428 MiB
End job on node001 at 2010-06-14 10:55:53