Trace number 2670989

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 CardSAT-47 1798 1798.55

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_5.opb
MD5SUM2585c1015aa6228da840b6f61adc6732
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-49
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 variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint10
Maximum length of a constraint22
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2528
Sum of products size (including duplicates)5056
Number of different products1264
Sum of products size2528

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: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2670989-1276713409.opb
0.00/0.00	c File size is 104187 bytes.
0.00/0.02	c Highest Coefficient sum: 200
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.018 s
0.00/0.02	c Var: 1464 Constr: 2928 1464/200/1264 Lit: 12640 Watch. Lit: 8848
0.00/0.02	c Obj. Vars: 200 (13.6612 % of total variables)
0.00/0.03	c Pre-processing Time: 0.03 s
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0    200     1264     3792    3     2528     421      0      0 0.03
0.00/0.03	c Switching off lower bounding mode.
0.00/0.03	o -45
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0    200     1265     3992    3     2575    1421      1      0 0.03
0.00/0.05	o -46
36.48/36.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.48/36.55	c       56    200     1322    12723    9     2735    1421     58   1120 0.05
36.48/36.55	c      156    200     1422    27806   19     2935    1564    158   1835 0.09
36.48/36.55	c      407    200     1673    65602   39     3437    1721    409   2299 0.18
36.48/36.55	c      882    200     2148   137087   63     4387    1894    884   2443 0.36
36.48/36.55	c     1695    200     2961   259460   87     6013    2084   1697   2387 0.71
36.48/36.55	c     3015    200     4285   458712  107     8661    2293   3021   2156 1.40
36.48/36.55	c     5096    200     3794   384852  101     7634    2523   2530   2005 2.54
36.48/36.55	c     8321    200     4331   462040  106     8751    2776   3067   1880 4.42
36.48/36.55	c    13257    200     3634   360794   99     7314    3054   2370   1783 7.43
36.48/36.55	c    20763    200     5230   601032  114    10506    3360   3966   1734 11.97
36.48/36.55	c    32125    200     4180   440240  105     8406    3697   2916   1648 19.48
36.48/36.55	c    49271    200     4997   563498  112    10040    4067   3733   1609 30.62
36.48/36.55	o -47
1797.95/1798.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1798.55	c    56802    200     5624   648669  115    11341    1421   4360   1554 36.55
1797.95/1798.55	c    56903    200     2077   126125   60     4201    1564    813   1553 36.63
1797.95/1798.55	c    57153    200     2327   163594   70     4701    1721   1063   1555 36.73
1797.95/1798.55	c    57628    200     2802   234743   83     5651    1894   1538   1560 36.94
1797.95/1798.55	c    58441    200     3615   356728   98     7277    2084   2351   1565 37.33
1797.95/1798.55	c    59762    200     2460   182479   74     4967    2293   1196   1572 38.00
1797.95/1798.55	c    61843    200     4544   494828  108     9135    2523   3280   1584 39.04
1797.95/1798.55	c    65066    200     2527   192783   76     5101    2776   1263   1592 40.87
1797.95/1798.55	c    70003    200     4662   511399  109     9371    3054   3398   1604 43.64
1797.95/1798.55	c    77509    200     3325   312028   93     6697    3360   2061   1596 48.55
1797.95/1798.55	c    88870    200     5418   613291  113    10968    3697   4154   1572 56.52
1797.95/1798.55	c   106014    200     3114   280160   89     6275    4067   1850   1525 69.52
1797.95/1798.55	c   131835    200     4817   533691  110     9725    4474   3553   1479 89.09
1797.95/1798.55	c   170667    200     3502   338271   96     7051    4922   2238   1427 119.54
1797.95/1798.55	c   229020    200     3775   371935   98     7597    5415   2511   1381 165.72
1797.95/1798.55	c   316652    200     4888   538192  110     9823    5957   3624   1294 244.66
1797.95/1798.55	c   448204    200     4878   526723  107     9848    6553   3614   1237 362.07
1797.95/1798.55	c   645636    200     5862   661028  112    11882    7209   4598   1178 547.61
1797.95/1798.55	c   941888    200     6778   812969  119    13689    7930   5514   1128 834.42
1797.95/1798.55	c  1386370    200     5868   689649  117    11828    8724   4604   1058 1310.34
1797.95/1798.55	c Resources Exceeded
1797.95/1798.55	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 x76 x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 x85 -x86 x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 x122 x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 x144 x145 -x146 -x147 x148 -x149 -x150 -x151 x152 x153 -x154 x155 x156 x157 -x158 -x159 -x160 x161 x162 x163 -x164 -x165 x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 
1797.95/1798.55	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.55	c   33  1842350 239232  2181034     6627   779627   5363   1024 1798.00
1797.95/1798.55	c Objective: -47
1797.95/1798.55	s SATISFIABLE
1797.95/1798.55	c Total time: 1798 s

Verifier Data 

OK	-47

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670989-1276713409/watcher-2670989-1276713409 -o /tmp/evaluation-result-2670989-1276713409/solver-2670989-1276713409 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670989-1276713409.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: 0.93 1.05 1.03 3/106 13770
/proc/meminfo: memFree=1704660/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=11032 CPUtime=0
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 337 0 0 0 0 0 0 0 19 0 1 0 44997295 11296768 255 1992294400 134512640 137138936 4288578752 18446744073709551615 134523143 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 2758 256 173 642 0 2088 0

[startup+0.099356 s]
/proc/loadavg: 0.93 1.05 1.03 3/106 13770
/proc/meminfo: memFree=1704660/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=11708 CPUtime=0.09
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 609 0 0 0 9 0 0 0 19 0 1 0 44997295 11988992 501 1992294400 134512640 137138936 4288578752 18446744073709551615 134543154 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 2927 501 192 642 0 2283 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11708

[startup+0.101357 s]
/proc/loadavg: 0.93 1.05 1.03 3/106 13770
/proc/meminfo: memFree=1704660/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=11824 CPUtime=0.09
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 612 0 0 0 9 0 0 0 20 0 1 0 44997295 12107776 504 1992294400 134512640 137138936 4288578752 18446744073709551615 134618512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 2956 504 192 642 0 2312 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11824

[startup+0.301375 s]
/proc/loadavg: 0.93 1.05 1.03 3/106 13770
/proc/meminfo: memFree=1704660/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=12712 CPUtime=0.29
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 859 0 0 0 29 0 0 0 20 0 1 0 44997295 13017088 751 1992294400 134512640 137138936 4288578752 18446744073709551615 136502662 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 3178 752 192 642 0 2534 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12712

[startup+0.701414 s]
/proc/loadavg: 0.93 1.05 1.03 3/106 13770
/proc/meminfo: memFree=1704660/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=14588 CPUtime=0.69
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 1318 0 0 0 68 1 0 0 21 0 1 0 44997295 14938112 1210 1992294400 134512640 137138936 4288578752 18446744073709551615 136504102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 3647 1210 192 642 0 3003 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14588

[startup+1.50149 s]
/proc/loadavg: 0.93 1.05 1.03 2/107 13771
/proc/meminfo: memFree=1699692/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=17724 CPUtime=1.49
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 2095 0 0 0 147 2 0 0 23 0 1 0 44997295 18149376 1987 1992294400 134512640 137138936 4288578752 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 4431 1987 192 642 0 3787 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17724

[startup+3.10065 s]
/proc/loadavg: 0.93 1.05 1.03 2/107 13771
/proc/meminfo: memFree=1696468/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=18720 CPUtime=3.08
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 2341 0 0 0 306 2 0 0 25 0 1 0 44997295 19169280 2233 1992294400 134512640 137138936 4288578752 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 4680 2233 192 642 0 4036 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 18720

[startup+6.30095 s]
/proc/loadavg: 0.93 1.05 1.03 2/107 13771
/proc/meminfo: memFree=1695600/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=19620 CPUtime=6.29
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 2578 0 0 0 625 4 0 0 25 0 1 0 44997295 20090880 2470 1992294400 134512640 137138936 4288578752 18446744073709551615 134542537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 4905 2470 192 642 0 4261 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19620

[startup+12.7006 s]
/proc/loadavg: 0.94 1.05 1.03 2/107 13771
/proc/meminfo: memFree=1694980/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=20860 CPUtime=12.69
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 2885 0 0 0 1264 5 0 0 25 0 1 0 44997295 21360640 2777 1992294400 134512640 137138936 4288578752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 5215 2777 192 642 0 4571 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20860

[startup+25.5008 s]
/proc/loadavg: 0.95 1.05 1.02 2/107 13771
/proc/meminfo: memFree=1693864/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=21540 CPUtime=25.49
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 3052 0 0 0 2540 9 0 0 25 0 1 0 44997295 22056960 2944 1992294400 134512640 137138936 4288578752 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 5385 2944 192 642 0 4741 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21540

[startup+51.1012 s]
/proc/loadavg: 0.97 1.04 1.02 2/107 13773
/proc/meminfo: memFree=1693120/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=22196 CPUtime=51.08
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 3229 0 0 0 5092 16 0 0 25 0 1 0 44997295 22728704 3121 1992294400 134512640 137138936 4288578752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 5549 3121 192 642 0 4905 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22196

[startup+102.308 s]
/proc/loadavg: 1.05 1.05 1.02 2/107 13776
/proc/meminfo: memFree=1691632/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=23044 CPUtime=102.26
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 3438 0 0 0 10195 31 0 0 25 0 1 0 44997295 23597056 3319 1992294400 134512640 137138936 4288578752 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 5761 3319 192 642 0 5117 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 23044

[startup+162.301 s]
/proc/loadavg: 1.02 1.04 1.02 2/107 13778
/proc/meminfo: memFree=1690764/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=23928 CPUtime=162.24
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 3665 0 0 0 16178 46 0 0 25 0 1 0 44997295 24502272 3546 1992294400 134512640 137138936 4288578752 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 5982 3546 192 642 0 5338 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 23928

[startup+222.302 s]
/proc/loadavg: 1.00 1.03 1.01 2/107 13780
/proc/meminfo: memFree=1689896/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=24936 CPUtime=222.22
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 3920 0 0 0 22163 59 0 0 25 0 1 0 44997295 25534464 3801 1992294400 134512640 137138936 4288578752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 6234 3801 192 642 0 5590 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 24936

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13782
/proc/meminfo: memFree=1688780/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=25960 CPUtime=282.2
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 4179 0 0 0 28146 74 0 0 25 0 1 0 44997295 26583040 4060 1992294400 134512640 137138936 4288578752 18446744073709551615 134599815 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 6490 4060 192 642 0 5846 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 25960

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13784
/proc/meminfo: memFree=1688780/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=26080 CPUtime=342.18
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 4193 0 0 0 34129 89 0 0 25 0 1 0 44997295 26705920 4074 1992294400 134512640 137138936 4288578752 18446744073709551615 136504524 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 6520 4074 192 642 0 5876 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 26080

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13784
/proc/meminfo: memFree=1687788/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=27160 CPUtime=402.16
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 4468 0 0 0 40110 106 0 0 25 0 1 0 44997295 27811840 4349 1992294400 134512640 137138936 4288578752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 6790 4349 192 642 0 6146 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 27160

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13786
/proc/meminfo: memFree=1687664/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=27160 CPUtime=462.15
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 4480 0 0 0 46093 122 0 0 25 0 1 0 44997295 27811840 4361 1992294400 134512640 137138936 4288578752 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 6790 4361 192 642 0 6146 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 27160

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13788
/proc/meminfo: memFree=1687664/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=27264 CPUtime=522.13
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 4486 0 0 0 52076 137 0 0 25 0 1 0 44997295 27918336 4367 1992294400 134512640 137138936 4288578752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 6816 4367 192 642 0 6172 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 27264

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13790
/proc/meminfo: memFree=1686796/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=28348 CPUtime=582.11
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 4776 0 0 0 58059 152 0 0 25 0 1 0 44997295 29028352 4657 1992294400 134512640 137138936 4288578752 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7087 4657 192 642 0 6443 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 28348

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13792
/proc/meminfo: memFree=1686548/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=28416 CPUtime=642.09
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 4816 0 0 0 64040 169 0 0 25 0 1 0 44997295 29097984 4679 1992294400 134512640 137138936 4288578752 18446744073709551615 134617986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7104 4679 192 642 0 6460 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 28416

[startup+702.302 s]

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

/proc/meminfo: memFree=1684688/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=30036 CPUtime=1061.97
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 5214 0 0 0 105934 263 0 0 25 0 1 0 44997295 30756864 5068 1992294400 134512640 137138936 4288578752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7509 5068 192 642 0 6865 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 30036

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13804
/proc/meminfo: memFree=1684688/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=30032 CPUtime=1121.96
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 5214 0 0 0 111918 278 0 0 25 0 1 0 44997295 30752768 5068 1992294400 134512640 137138936 4288578752 18446744073709551615 136506341 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7508 5068 192 642 0 6864 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 30032

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13806
/proc/meminfo: memFree=1684564/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=30012 CPUtime=1181.94
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 5214 0 0 0 117904 290 0 0 25 0 1 0 44997295 30732288 5068 1992294400 134512640 137138936 4288578752 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7503 5068 192 642 0 6859 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 30012

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13808
/proc/meminfo: memFree=1684440/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=30012 CPUtime=1241.92
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 5218 0 0 0 123885 307 0 0 25 0 1 0 44997295 30732288 5072 1992294400 134512640 137138936 4288578752 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7503 5072 192 642 0 6859 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 30012

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13808
/proc/meminfo: memFree=1684316/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=30108 CPUtime=1301.91
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 5225 0 0 0 129869 322 0 0 25 0 1 0 44997295 30830592 5079 1992294400 134512640 137138936 4288578752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7527 5079 192 642 0 6883 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 30108

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13810
/proc/meminfo: memFree=1682952/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=31572 CPUtime=1361.89
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 5609 0 0 0 135851 338 0 0 25 0 1 0 44997295 32329728 5463 1992294400 134512640 137138936 4288578752 18446744073709551615 136504093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7893 5463 192 642 0 7249 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 31572

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13812
/proc/meminfo: memFree=1682952/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=31572 CPUtime=1421.88
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 5609 0 0 0 141835 353 0 0 25 0 1 0 44997295 32329728 5463 1992294400 134512640 137138936 4288578752 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7893 5463 192 642 0 7249 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 31572

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13823
/proc/meminfo: memFree=1681960/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=31540 CPUtime=1481.84
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 5609 0 0 0 147817 367 0 0 25 0 1 0 44997295 32296960 5460 1992294400 134512640 137138936 4288578752 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7885 5460 192 642 0 7241 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 31540

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13825
/proc/meminfo: memFree=1682208/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=31540 CPUtime=1541.82
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 5609 0 0 0 153801 381 0 0 25 0 1 0 44997295 32296960 5460 1992294400 134512640 137138936 4288578752 18446744073709551615 134544862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7885 5460 192 642 0 7241 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 31540

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13825
/proc/meminfo: memFree=1682208/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=31540 CPUtime=1601.8
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 5609 0 0 0 159787 393 0 0 25 0 1 0 44997295 32296960 5460 1992294400 134512640 137138936 4288578752 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7885 5460 192 642 0 7241 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 31540

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13827
/proc/meminfo: memFree=1682208/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=31500 CPUtime=1661.78
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 5609 0 0 0 165769 409 0 0 25 0 1 0 44997295 32256000 5450 1992294400 134512640 137138936 4288578752 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7875 5450 192 642 0 7231 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 31500

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13829
/proc/meminfo: memFree=1682208/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=31620 CPUtime=1721.76
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 5624 0 0 0 171753 423 0 0 25 0 1 0 44997295 32378880 5465 1992294400 134512640 137138936 4288578752 18446744073709551615 134542873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7905 5465 192 642 0 7261 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 31620

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13831
/proc/meminfo: memFree=1682084/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=31604 CPUtime=1781.74
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 5624 0 0 0 177737 437 0 0 25 0 1 0 44997295 32362496 5465 1992294400 134512640 137138936 4288578752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7901 5465 192 642 0 7257 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 31604

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 13831
/proc/meminfo: memFree=1682084/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=31604 CPUtime=1791.35
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 5624 0 0 0 178696 439 0 0 25 0 1 0 44997295 32362496 5465 1992294400 134512640 137138936 4288578752 18446744073709551615 134540738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7901 5465 192 642 0 7257 0
Current children cumulated CPU time (s) 1791.35
Current children cumulated vsize (KiB) 31604

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13831
/proc/meminfo: memFree=1682084/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=31604 CPUtime=1794.55
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 5624 0 0 0 179015 440 0 0 25 0 1 0 44997295 32362496 5465 1992294400 134512640 137138936 4288578752 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7901 5465 192 642 0 7257 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (KiB) 31604

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13831
/proc/meminfo: memFree=1682084/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=31604 CPUtime=1796.14
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 5624 0 0 0 179173 441 0 0 25 0 1 0 44997295 32362496 5465 1992294400 134512640 137138936 4288578752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7901 5465 192 642 0 7257 0
Current children cumulated CPU time (s) 1796.14
Current children cumulated vsize (KiB) 31604

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13831
/proc/meminfo: memFree=1682084/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=31604 CPUtime=1796.95
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 5624 0 0 0 179253 442 0 0 25 0 1 0 44997295 32362496 5465 1992294400 134512640 137138936 4288578752 18446744073709551615 134551428 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7901 5465 192 642 0 7257 0
Current children cumulated CPU time (s) 1796.95
Current children cumulated vsize (KiB) 31604

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13831
/proc/meminfo: memFree=1682084/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=31600 CPUtime=1797.75
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 5624 0 0 0 179333 442 0 0 25 0 1 0 44997295 32358400 5465 1992294400 134512640 137138936 4288578752 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7900 5465 192 642 0 7256 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 31600

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13831
/proc/meminfo: memFree=1682084/2059040 swapFree=4140256/4192956
[pid=13770] ppid=13768 vsize=31600 CPUtime=1797.95
/proc/13770/stat : 13770 (bsolo_pb10) R 13768 13770 13621 0 -1 4202496 5624 0 0 0 179353 442 0 0 25 0 1 0 44997295 32358400 5465 1992294400 134512640 137138936 4288578752 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13770/statm: 7900 5465 192 642 0 7256 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 31600

Child status: 0
Real time (s): 1798.55
CPU time (s): 1798
CPU user time (s): 1793.58
CPU system time (s): 4.42633
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 31624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.58
system time used= 4.42633
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5625
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= 1
involuntary context switches= 5746

runsolver used 2.96555 second user time and 8.49371 second system time

The end

Launcher Data 

Begin job on node018 at 2010-06-16 20:36:49
IDJOB=2670989
IDBENCH=48211
IDSOLVER=1162
FILE ID=node018/2670989-1276713409
PBS_JOBID= 11174163
Free space on /tmp= 62488 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_5.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670989-1276713409/watcher-2670989-1276713409 -o /tmp/evaluation-result-2670989-1276713409/solver-2670989-1276713409 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670989-1276713409.opb

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

MD5SUM BENCH= 2585c1015aa6228da840b6f61adc6732
RANDOM SEED=2142114315

node018.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.248
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.49
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.248
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1705808 kB
Buffers:        136192 kB
Cached:         125196 kB
SwapCached:       6364 kB
Active:         109172 kB
Inactive:       165740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1705808 kB
SwapTotal:     4192956 kB
SwapFree:      4140256 kB
Dirty:            4120 kB
Writeback:           0 kB
AnonPages:       11600 kB
Mapped:          13064 kB
Slab:            56616 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181976 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670989-1276713409.opb

Free space on /tmp at the end= 62484 MiB
End job on node018 at 2010-06-16 21:06:48