Trace number 3707950

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.2SAT (TO)-40 1800.07 1800.72

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.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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3707950-1338153790.opb
0.00/0.00	c File size is 2301477 bytes.
0.09/0.14	c Highest Coefficient sum: 1272
0.09/0.14	c Parsing was ok!!
0.09/0.14	c Total parsing time: 0.141 s
0.09/0.16	c Var: 1272 Constr: 94308 94308/0/0 Lit: 188616 Watch. Lit: 188616
0.09/0.16	c Obj. Vars: 1272 (100 % of total variables)
0.89/0.97	c Pre-processing Time: 0.97 s
0.89/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.97	c        0   1272    94308   188616    2   188616   31436      0      0 0.97
0.89/0.97	c Switching off lower bounding mode.
0.89/0.98	o -35
0.89/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.98	c        0   1272    94309   189888    2   188653   32436      1      0 0.98
0.89/0.98	o -36
1.39/1.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.46	c        1   1272    94311   192395    2   188693   32436      3      1 0.98
1.39/1.46	c      101   1272    94424   331541    3   188919   35680    116     91 1.11
1.39/1.46	c      351   1272    94691   660694    6   189453   39249    383    241 1.45
1.39/1.46	o -37
1.39/1.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.47	c      358   1272    94700   671818    7   189508   32436    392    244 1.46
1.39/1.47	o -38
4.09/4.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.09/4.10	c      358   1272    94701   673090    7   189548   32436    393    243 1.47
4.09/4.10	c      459   1272    94810   807190    8   189766   35680    502    286 1.60
4.09/4.10	c      709   1272    95087  1147870   12   190320   39249    779    367 1.93
4.09/4.10	c     1185   1272    95615  1797420   18   191376   43174   1307    446 2.65
4.09/4.10	c     1999   1272    96516  2905594   30   193178   47492   2208    494 4.04
4.09/4.10	o -39
9.99/10.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.99/10.09	c     2041   1272    96562  2962216   30   193309   32436   2254    497 4.10
9.99/10.09	c     2142   1272    96676  3102243   32   193537   35680   2368    504 4.24
9.99/10.09	c     2393   1272    96952  3441378   35   194089   39249   2644    518 4.61
9.99/10.09	c     2868   1272    97480  4090158   41   195145   43174   3172    541 5.29
9.99/10.09	c     3681   1272    98369  5182661   52   196923   47492   4061    559 6.58
9.99/10.09	c     5002   1272    99871  7026910   70   199927   52242   5563    568 8.80
9.99/10.09	o -40
1800.05/1800.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.71	c     5725   1272   100670  8008922   79   201565   32436   6362    567 10.09
1800.05/1800.71	c     5826   1272   100779  8142783   80   201783   35680   6471    567 10.26
1800.05/1800.71	c     6076   1272   101052  8478042   83   202329   39249   6744    569 10.66
1800.05/1800.71	c     6551   1272   101579  9125041   89   203383   43174   7271    566 11.57
1800.05/1800.71	c     7364   1272   102474 10223953   99   205173   47492   8166    552 13.32
1800.05/1800.71	c     8685   1272   103928 12008328  115   208081   52242   9620    557 15.59
1800.05/1800.71	c    10767   1272   106224 14827759  139   212673   57467  11916    522 20.61
1800.05/1800.71	c    13990   1272   109861 19291746  175   219947   63214  15553    493 28.33
1800.05/1800.71	c    18926   1272   115405 26093111  226   231035   69536  21097    455 41.58
1800.05/1800.71	c    26432   1272   123681 36252963  293   247587   76490  29373    380 69.40
1800.05/1800.71	c    37793   1272   136285 51713093  379   272832   84140  41977    314 120.12
1800.05/1800.71	c    54937   1272   155833 75689873  485   311966   92555  61525    287 190.79
1800.05/1800.71	c Reducing formula size due to memory constraints
1800.05/1800.71	c Memory Limit: 1000.00 MB  Used: 1009.02 MB
1800.05/1800.71	c    80756   1272   132993 47614491  358   266097  130290  38685    234 343.76
1800.05/1800.71	c Reducing formula size due to memory constraints
1800.05/1800.71	c Memory Limit: 1000.00 MB  Used: 1003.47 MB
1800.05/1800.71	c   119588   1272   125090 37948352  303   250220  130121  30782    221 540.07
1800.05/1800.71	c Reducing formula size due to memory constraints
1800.05/1800.71	c Memory Limit: 1000.00 MB  Used: 1001.07 MB
1800.05/1800.71	c   177940   1272   138169 54042167  391   276378  129909  43861    200 888.29
1800.05/1800.71	c Reducing formula size due to memory constraints
1800.05/1800.71	c Memory Limit: 1000.00 MB  Used: 1013.26 MB
1800.05/1800.71	c Reducing formula size due to memory constraints
1800.05/1800.71	c Memory Limit: 1000.00 MB  Used: 1013.35 MB
1800.05/1800.71	c   265573   1272   133064 47680228  358   266549  130176  38756    191 1385.23
1800.05/1800.71	c Reducing formula size due to memory constraints
1800.05/1800.71	c Memory Limit: 1000.00 MB  Used: 1016.07 MB
1800.05/1800.71	c Reducing formula size due to memory constraints
1800.05/1800.71	c Memory Limit: 1000.00 MB  Used: 1016.06 MB
1800.05/1800.71	c Caught signal: 15
1800.05/1800.71	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.05/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.71	c   32   335142  32959   377460   121495 33444773  27187    186 1800.06
1800.05/1800.71	c Objective: -40
1800.05/1800.71	s SATISFIABLE
1800.05/1800.71	c Total time: 1800.06 s

Verifier Data

OK	-40

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-3707950-1338153790/watcher-3707950-1338153790 -o /tmp/evaluation-result-3707950-1338153790/solver-3707950-1338153790 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707950-1338153790.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: 2.00 2.00 2.00 3/176 7303
/proc/meminfo: memFree=30434764/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=13188 CPUtime=0 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 347 0 0 0 0 0 0 0 20 0 1 0 281503376 13504512 300 33554432000 134512640 137138936 4293713184 4293711448 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 3297 300 181 642 0 2091 0

[startup+0.100183 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7303
/proc/meminfo: memFree=30434764/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=19372 CPUtime=0.09 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 2238 0 0 0 9 0 0 0 20 0 1 0 281503376 19836928 2191 33554432000 134512640 137138936 4293713184 4293711616 134531487 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 4843 2193 549 642 0 3637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19372

[startup+0.200352 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7303
/proc/meminfo: memFree=30434764/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=24500 CPUtime=0.19 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 4286 0 0 0 19 0 0 0 20 0 1 0 281503376 25088000 3677 33554432000 134512640 137138936 4293713184 4293696620 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 6125 3677 184 642 0 5481 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 24500

[startup+0.300373 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7303
/proc/meminfo: memFree=30434764/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=27556 CPUtime=0.29 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 5050 0 0 0 29 0 0 0 20 0 1 0 281503376 28217344 4441 33554432000 134512640 137138936 4293713184 4293696428 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 6889 4441 185 642 0 6245 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27556

[startup+0.700311 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7303
/proc/meminfo: memFree=30434764/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=27556 CPUtime=0.69 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 5050 0 0 0 67 2 0 0 20 0 1 0 281503376 28217344 4441 33554432000 134512640 137138936 4293713184 4293696428 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 6889 4441 185 642 0 6245 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27556

[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7304
/proc/meminfo: memFree=30418876/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=31164 CPUtime=1.49 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 7387 0 0 0 145 4 0 0 20 0 1 0 281503376 31911936 5356 33554432000 134512640 137138936 4293713184 4293711784 135984550 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 7791 5356 192 642 0 7147 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31164

[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7304
/proc/meminfo: memFree=30404608/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=50564 CPUtime=3.09 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 12247 0 0 0 304 5 0 0 20 0 1 0 281503376 51777536 10216 33554432000 134512640 137138936 4293713184 4293711700 134551698 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 12641 10216 192 642 0 11997 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50564

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7304
/proc/meminfo: memFree=30367532/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=85600 CPUtime=6.29 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 21004 0 0 0 621 8 0 0 20 0 1 0 281503376 87654400 18973 33554432000 134512640 137138936 4293713184 4293711920 136296975 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 21400 18973 192 642 0 20756 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85600

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7304
/proc/meminfo: memFree=30300704/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=148292 CPUtime=12.69 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 36676 0 0 0 1257 12 0 0 20 0 1 0 281503376 151851008 34645 33554432000 134512640 137138936 4293713184 4293711712 134603153 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 37073 34645 192 642 0 36429 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 148292

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7304
/proc/meminfo: memFree=30195668/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=249812 CPUtime=25.49 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 62057 0 0 0 2532 17 0 0 20 0 1 0 281503376 255807488 60026 33554432000 134512640 137138936 4293713184 4293711712 134602746 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 62453 60026 192 642 0 61809 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 249812

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7304
/proc/meminfo: memFree=30035660/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=410572 CPUtime=51.08 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 102241 0 0 0 5080 28 0 0 20 0 1 0 281503376 420425728 100210 33554432000 134512640 137138936 4293713184 4293712112 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 102643 100210 192 642 0 101999 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 410572

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7304
/proc/meminfo: memFree=29824284/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=619268 CPUtime=102.28 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 154413 0 0 0 10186 42 0 0 20 0 1 0 281503376 634130432 152382 33554432000 134512640 137138936 4293713184 4293712112 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 154817 152382 192 642 0 154173 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 619268

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7304
/proc/meminfo: memFree=29550148/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=893000 CPUtime=162.26 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 222847 0 0 0 16165 61 0 0 20 0 1 0 281503376 914432000 220816 33554432000 134512640 137138936 4293713184 4293712080 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 223250 220816 192 642 0 222606 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 893000

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7304
/proc/meminfo: memFree=29395368/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=222.26 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 260824 0 0 0 22152 74 0 0 20 0 1 0 281503376 1069682688 258729 33554432000 134512640 137138936 4293713184 4293711936 134575602 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 258729 192 642 0 260509 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1044612

[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 7305
/proc/meminfo: memFree=29395396/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=282.21 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 260863 0 0 0 28145 76 0 0 20 0 1 0 281503376 1069682688 258730 33554432000 134512640 137138936 4293713184 4293712112 134542495 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 258730 192 642 0 260509 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1044612

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7305
/proc/meminfo: memFree=29395052/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=342.17 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 260906 0 0 0 34138 79 0 0 20 0 1 0 281503376 1069682688 258730 33554432000 134512640 137138936 4293713184 4293712112 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 258730 192 642 0 260509 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1044612

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7305
/proc/meminfo: memFree=29395204/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=402.12 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 260946 0 0 0 40131 81 0 0 20 0 1 0 281503376 1069682688 258730 33554432000 134512640 137138936 4293713184 4293712112 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 258730 192 642 0 260509 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 1044612

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7308
/proc/meminfo: memFree=29394604/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=462.07 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 260986 0 0 0 46123 84 0 0 20 0 1 0 281503376 1069682688 258730 33554432000 134512640 137138936 4293713184 4293712064 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 258730 192 642 0 260509 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 1044612

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7308
/proc/meminfo: memFree=29394640/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=522.02 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 261032 0 0 0 52116 86 0 0 20 0 1 0 281503376 1069682688 258730 33554432000 134512640 137138936 4293713184 4293697184 134573847 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 258730 192 642 0 260509 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 1044612

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7308
/proc/meminfo: memFree=29394676/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=581.98 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 261077 0 0 0 58109 89 0 0 20 0 1 0 281503376 1069682688 258730 33554432000 134512640 137138936 4293713184 4293712112 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 258730 192 642 0 260509 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 1044612

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7309
/proc/meminfo: memFree=29394656/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=821.8 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 261251 0 0 0 82082 98 0 0 20 0 1 0 281503376 1069682688 258730 33554432000 134512640 137138936 4293713184 4293711936 134574740 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 258730 192 642 0 260509 0
Current children cumulated CPU time (s) 821.8
Current children cumulated vsize (KiB) 1044612

[startup+882.307 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 7309
/proc/meminfo: memFree=29393120/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=881.79 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 261273 0 0 0 88079 100 0 0 20 0 1 0 281503376 1069682688 259174 33554432000 134512640 137138936 4293713184 4293712112 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 259174 192 642 0 260509 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 1044612

[startup+942.3 s]
/proc/loadavg: 1.96 2.00 1.99 3/177 7538
/proc/meminfo: memFree=30411800/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1044612 CPUtime=941.78 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 261273 0 0 0 94075 103 0 0 20 0 1 0 281503376 1069682688 259174 33554432000 134512640 137138936 4293713184 4293712112 134542764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 261153 259174 192 642 0 260509 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 1044612

[startup+1002.3 s]
/proc/loadavg: 1.98 2.00 1.99 3/177 7538
/proc/meminfo: memFree=30396052/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1051036 CPUtime=1001.76 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 262847 0 0 0 100071 105 0 0 20 0 1 0 281503376 1076260864 260748 33554432000 134512640 137138936 4293713184 4293712080 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 262759 260748 192 642 0 262115 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 1051036

[startup+1062.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/178 7541
/proc/meminfo: memFree=30390960/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1051036 CPUtime=1061.76 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 262847 0 0 0 106068 108 0 0 20 0 1 0 281503376 1076260864 260748 33554432000 134512640 137138936 4293713184 4293712112 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 262759 260748 192 642 0 262115 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 1051036

[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 7541
/proc/meminfo: memFree=30384520/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1051036 CPUtime=1121.75 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 262847 0 0 0 112065 110 0 0 20 0 1 0 281503376 1076260864 260748 33554432000 134512640 137138936 4293713184 4293711608 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 262759 260748 192 642 0 262115 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 1051036

[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 7541
/proc/meminfo: memFree=30370756/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1051036 CPUtime=1181.74 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 262847 0 0 0 118062 112 0 0 20 0 1 0 281503376 1076260864 260748 33554432000 134512640 137138936 4293713184 4293711936 134577134 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 262759 260748 192 642 0 262115 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 1051036

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 7542
/proc/meminfo: memFree=30365176/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1051036 CPUtime=1241.72 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 262847 0 0 0 124058 114 0 0 20 0 1 0 281503376 1076260864 260748 33554432000 134512640 137138936 4293713184 4293711648 136500289 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 262759 260748 192 642 0 262115 0
Current children cumulated CPU time (s) 1241.72
Current children cumulated vsize (KiB) 1051036

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7542
/proc/meminfo: memFree=30350792/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1051036 CPUtime=1301.72 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 262876 0 0 0 130056 116 0 0 20 0 1 0 281503376 1076260864 260777 33554432000 134512640 137138936 4293713184 4293712112 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 262759 260777 192 642 0 262115 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 1051036

[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 7542
/proc/meminfo: memFree=30343848/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1051036 CPUtime=1361.71 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 262876 0 0 0 136052 119 0 0 20 0 1 0 281503376 1076260864 260777 33554432000 134512640 137138936 4293713184 4293712112 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 262759 260777 192 642 0 262115 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 1051036

[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7542
/proc/meminfo: memFree=30332068/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1051036 CPUtime=1421.71 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 262876 0 0 0 142049 122 0 0 20 0 1 0 281503376 1076260864 260777 33554432000 134512640 137138936 4293713184 4293696280 134599777 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 262759 260777 192 642 0 262115 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 1051036

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7542
/proc/meminfo: memFree=30319296/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1054836 CPUtime=1481.7 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 263891 0 0 0 148046 124 0 0 20 0 1 0 281503376 1080152064 261727 33554432000 134512640 137138936 4293713184 4293712112 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 263709 261727 192 642 0 263065 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 1054836

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7543
/proc/meminfo: memFree=30314388/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1054836 CPUtime=1541.68 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 263896 0 0 0 154042 126 0 0 20 0 1 0 281503376 1080152064 261727 33554432000 134512640 137138936 4293713184 4293711464 136506283 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 263709 261727 192 642 0 263065 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 1054836

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7543
/proc/meminfo: memFree=30299056/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1054836 CPUtime=1601.67 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 263896 0 0 0 160037 130 0 0 20 0 1 0 281503376 1080152064 261727 33554432000 134512640 137138936 4293713184 4293711712 134603118 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 263709 261727 192 642 0 263065 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 1054836

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7546
/proc/meminfo: memFree=30292864/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1054836 CPUtime=1661.66 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 263896 0 0 0 166034 132 0 0 20 0 1 0 281503376 1080152064 261727 33554432000 134512640 137138936 4293713184 4293712112 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 263709 261727 192 642 0 263065 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 1054836

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7546
/proc/meminfo: memFree=30279728/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1054836 CPUtime=1721.65 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 263896 0 0 0 172030 135 0 0 20 0 1 0 281503376 1080152064 261727 33554432000 134512640 137138936 4293713184 4293711724 136520918 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 263709 261727 192 642 0 263065 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 1054836

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7546
/proc/meminfo: memFree=30271792/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1054836 CPUtime=1781.64 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 263896 0 0 0 178028 136 0 0 20 0 1 0 281503376 1080152064 261727 33554432000 134512640 137138936 4293713184 4293711608 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 263709 261727 192 642 0 263065 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 1054836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7557
/proc/meminfo: memFree=30269420/32873844 swapFree=7632/7632
[pid=7303] ppid=7301 vsize=1054836 CPUtime=1800.05 cores=1,3,5,7
/proc/7303/stat : 7303 (bsolo) R 7301 7303 3856 0 -1 4202496 263896 0 0 0 179868 137 0 0 20 0 1 0 281503376 1080152064 261727 33554432000 134512640 137138936 4293713184 4293712064 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7303/statm: 263709 261727 192 642 0 263065 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1054836

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

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

Child status: 15
Real time (s): 1800.72
CPU time (s): 1800.07
CPU user time (s): 1798.69
CPU system time (s): 1.37779
CPU usage (%): 99.9638
Max. virtual memory (cumulated for all children) (KiB): 1054836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 1.37779
maximum resident set size= 1047168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263897
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= 456
involuntary context switches= 1835

runsolver used 5.16021 second user time and 8.35473 second system time

The end

Launcher Data

Begin job on node141 at 2012-05-27 23:23:10
IDJOB=3707950
IDBENCH=2256
IDSOLVER=2286
FILE ID=node141/3707950-1338153790
RUNJOBID= node141-1338140287-5547
PBS_JOBID= 14624492
Free space on /tmp= 71548 MiB

SOLVER NAME= bsolo 3.2
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= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707950-1338153790/watcher-3707950-1338153790 -o /tmp/evaluation-result-3707950-1338153790/solver-3707950-1338153790 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707950-1338153790.opb

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

MD5SUM BENCH= 1a88750537364c45876077f809191628
RANDOM SEED=767991747

node141.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.744
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.48
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.744
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.744
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.744
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.92
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.744
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.92
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.744
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.91
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.744
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.92
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.744
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:        30435408 kB
Buffers:          225188 kB
Cached:           333912 kB
SwapCached:          232 kB
Active:          1207828 kB
Inactive:         401816 kB
Active(anon):    1040552 kB
Inactive(anon):    11292 kB
Active(file):     167276 kB
Inactive(file):   390524 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108624 kB
Dirty:              5932 kB
Writeback:            52 kB
AnonPages:       1058888 kB
Mapped:            11432 kB
Shmem:               172 kB
Slab:             686424 kB
SReclaimable:     128700 kB
SUnreclaim:       557724 kB
KernelStack:        1448 kB
PageTables:         6036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1171836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    669696 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= 71544 MiB
End job on node141 at 2012-05-27 23:53:13