Trace number 3741289

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17SAT (TO)593 1800.07 1800.62

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-1109824.opb
MD5SUM6b78caa911ec8d23c05ac6a0b1089c62
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark378
Best CPU time to get the best result obtained on this benchmark84.4462
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1520
Total number of constraints28979
Number of constraints which are clauses28880
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints76
Minimum length of a constraint2
Maximum length of a constraint76
Number of terms in the objective function 1512
Biggest coefficient in the objective function 83
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 54080
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 83
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 54080
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3741289-1338757611.opb
0.00/0.00	c File size is 986292 bytes.
0.04/0.07	c Highest Coefficient sum: 54080
0.04/0.07	c Parsing was ok!!
0.04/0.07	c Total parsing time: 0.071 s
0.04/0.08	c Var: 1520 Constr: 29078 28903/175/0 Lit: 93936 Watch. Lit: 62366
0.04/0.08	c Obj. Vars: 1512 (99.4737 % of total variables)
0.08/0.17	c Pre-processing Time: 0.17 s
0.08/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.17	c        0   1520    10078    37696    3    24366   59338      0      0 0.17
0.08/0.17	c Switching off LPR mode.
0.08/0.18	o 852	0.174
0.18/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.18/0.20	c       51   1520    10130    42122    4    25959   62362     52    293 0.17
0.18/0.20	c      154   1520    10233    75553    7    26155   68599    155    797 0.19
0.18/0.20	o 751	0.2
0.28/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.31	c      215   1520    10295    81477    7    27773   62362    217   1069 0.20
0.28/0.31	c      315   1520    10395   102290    9    27968   68599    317   1444 0.22
0.28/0.31	c      567   1520    10647   152142   14    28480   75459    569   2180 0.26
0.28/0.31	o 740	0.307
0.38/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.48	c      782   1520    10863   200954   18    30398   62362    785   2547 0.31
0.38/0.48	c      884   1520    10965   209606   19    30585   68599    887   2745 0.32
0.38/0.48	c     1137   1520    11218   257960   22    31120   75459   1140   2976 0.38
0.38/0.48	o 729	0.477
0.58/0.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.61	c     1540   1520    11622   329199   28    33416   62362   1544   3228 0.48
0.58/0.61	c     1640   1520    11722   349406   29    33610   68599   1644   3253 0.50
0.58/0.61	c     1890   1520    11972   403095   33    34099   75459   1894   3241 0.58
0.58/0.61	o 674	0.603
0.99/1.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.10	c     1974   1520    12057   419788   34    35764   62362   1979   3273 0.60
0.99/1.10	c     2076   1520    12159   430593   35    35991   68599   2081   3300 0.63
0.99/1.10	c     2326   1520    12409   471898   38    36457   75459   2331   3244 0.72
0.99/1.10	c     2802   1520    12885   566446   43    37428   83005   2807   3202 0.88
0.99/1.10	o 673	1.096
8.88/8.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.88/8.91	c     3598   1520    13682   706913   51    40488   62362   3604   3279 1.10
8.88/8.91	c     3699   1520    13783   723695   52    40700   68599   3705   3253 1.14
8.88/8.91	c     3949   1520    14033   753050   53    41151   75459   3955   3255 1.21
8.88/8.91	c     4424   1520    14508   845215   58    42153   83005   4430   3191 1.39
8.88/8.91	c     5237   1520    15321  1022493   66    43788   91306   5243   3042 1.72
8.88/8.91	c     6558   1520    16642  1304101   78    46430  100437   6564   2762 2.37
8.88/8.91	c     8640   1520    18724  1778530   94    50593  110481   8646   2470 3.50
8.88/8.91	c    11864   1520    21948  2797065  127    57045  121530  11870   1834 6.47
8.88/8.91	o 668	8.908
9.98/10.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.98/10.05	c    15066   1520    25151  3764203  149    64925   62362  15073   1691 8.91
9.98/10.05	c    15170   1520    25255  3796667  150    65141   68599  15177   1686 9.00
9.98/10.05	c    15421   1520    25506  3828205  150    65590   75459  15428   1696 9.09
9.98/10.05	c    15896   1520    25981  3898951  150    66579   83005  15903   1696 9.37
9.98/10.05	c    16710   1520    26795  4144080  154    68198   91306  16717   1673 9.99
9.98/10.05	o 667	10.049
14.68/14.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.68/14.75	c    16758   1520    26844  4159962  154    69787   62362  16766   1667 10.05
14.68/14.75	c    16858   1520    26944  4190168  155    69994   68599  16866   1661 10.14
14.68/14.75	c    17109   1520    27195  4266698  156    70517   75459  17117   1648 10.38
14.68/14.75	c    17585   1520    27671  4389777  158    71464   83005  17593   1624 10.82
14.68/14.75	c    18401   1520    28487  4682439  164    73091   91306  18409   1565 11.75
14.68/14.75	c    19721   1520    29807  5034791  168    75603  100437  19729   1552 12.70
14.68/14.75	c    21803   1520    31889  5551347  174    79916  110481  21811   1487 14.66
14.68/14.75	o 664	14.741
14.68/14.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.68/14.77	c    21869   1520    31956  5567153  174    81517   62362  21878   1483 14.74
14.68/14.77	o 663	14.765
19.09/19.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.09/19.15	c    21871   1520    31959  5568861  174    83010   62362  21881   1481 14.77
19.09/19.15	c    21974   1520    32062  5582893  174    83187   68599  21984   1480 14.84
19.09/19.15	c    22228   1520    32316  5646574  174    83756   75459  22238   1468 15.13
19.09/19.15	c    22703   1520    32791  5844878  178    84666   83005  22713   1432 15.85
19.09/19.15	c    23516   1520    33604  6092100  181    86332   91306  23526   1397 16.83
19.09/19.15	c    24839   1520    34927  6554503  187    88967  100437  24849   1336 18.58
19.09/19.15	o 661	19.142
646.10/646.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
646.10/646.36	c    25222   1520    35311  6681543  189    91204   62362  25233   1317 19.14
646.10/646.36	c    25323   1520    35412  6696562  189    91362   68599  25334   1314 19.26
646.10/646.36	c    25575   1520    35664  6774731  189    91944   75459  25586   1305 19.59
646.10/646.36	c    26050   1520    36139  6909395  191    92844   83005  26061   1291 20.17
646.10/646.36	c    26864   1520    36953  7172118  194    94506   91306  26875   1260 21.32
646.10/646.36	c    28184   1520    38273  7473811  195    97151  100437  28195   1238 22.76
646.10/646.36	c    30267   1520    40356  8171263  202   101311  110481  30278   1166 25.95
646.10/646.36	c    33491   1520    43580  9375854  215   107748  121530  33502   1054 31.76
646.10/646.36	c    38427   1520    48516 11491183  236   117628  133684  38438    936 41.03
646.10/646.36	c    45935   1520    56024 13735574  245   132640  147053  45946    840 54.67
646.10/646.36	c    57297   1520    67386 18770199  278   155325  161759  57308    605 94.68
646.10/646.36	c    74441   1520    84530 24930196  294   189670  177935  74452    457 162.56
646.10/646.36	c   100260   1520   110349 34145277  309   241332  195729 100271    322 310.64
646.10/646.36	c   139095   1520   149184 55466150  371   318972  215302 139106    218 637.20
646.10/646.36	o 651	646.174
934.36/934.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
934.36/934.74	c   141186   1520   151276 56396765  372   324608   62362 141198    218 646.17
934.36/934.74	c   141290   1520    25199  6464619  256    56101   68599  15121    217 650.92
934.36/934.74	c   141540   1520    25449  6532891  256    56601   75459  15371    217 651.19
934.36/934.74	c   142020   1520    25929  6701396  258    57561   83005  15851    217 651.95
934.36/934.74	c   142833   1520    26742  6967531  260    59187   91306  16664    218 652.65
934.36/934.74	c   144153   1520    28062  7390640  263    61828  100437  17984    220 653.99
934.36/934.74	c   146234   1520    30143  8009731  265    65991  110481  20065    223 655.67
934.36/934.74	c   149458   1520    33367  9152681  274    72436  121530  23289    226 660.09
934.36/934.74	c   154395   1520    38304 10660974  278    82312  133684  28226    231 666.04
934.36/934.74	c   161902   1520    45811 12919897  282    97325  147053  35733    239 675.81
934.36/934.74	c   173264   1520    57173 16628456  290   120050  161759  47095    245 706.66
934.36/934.74	c   190408   1520    74317 22532471  303   154338  177935  64239    251 758.02
934.36/934.74	c   216229   1520   100138 34942680  348   205979  195729  90060    232 930.32
934.36/934.74	o 644	934.409
946.15/946.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
946.15/946.57	c   217164   1520   101074 35364051  349   209338   62362  90996    232 934.41
946.15/946.57	c   217265   1520    24518  6491097  264    54740   68599  14440    232 936.21
946.15/946.57	c   217515   1520    24768  6564556  265    55240   75459  14690    232 936.40
946.15/946.57	c   217990   1520    25243  6698325  265    56191   83005  15165    232 936.87
946.15/946.57	c   218804   1520    26057  6843653  262    57819   91306  15979    233 937.67
946.15/946.57	c   220125   1520    27378  7295941  266    60459  100437  17300    234 938.68
946.15/946.57	c   222209   1520    29462  7971310  270    64631  110481  19384    236 940.75
946.15/946.57	c   225434   1520    32687  9100565  278    71080  121530  22609    238 944.43
946.15/946.57	o 613	946.238
1032.14/1032.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1032.14/1032.55	c   227050   1520    34304  9696175  282    75798   62362  24226    239 946.24
1032.14/1032.55	c   227150   1520    34404  9712816  282    75990   68599  24326    240 946.29
1032.14/1032.55	c   227400   1520    34654  9756967  281    76512   75459  24576    240 946.54
1032.14/1032.55	c   227880   1520    35134  9905953  281    77467   83005  25056    240 947.22
1032.14/1032.55	c   228694   1520    35948 10173350  283    79097   91306  25870    241 948.30
1032.14/1032.55	c   230014   1520    37268 10565736  283    81735  100437  27190    242 949.65
1032.14/1032.55	c   232096   1520    39350 11178520  284    85899  110481  29272    243 951.64
1032.14/1032.55	c   235329   1520    42583 12707160  298    92364  121530  32505    245 957.18
1032.14/1032.55	c   240266   1520    47520 14460806  304   102240  133684  37442    248 965.19
1032.14/1032.55	c   247772   1520    55026 17957027  326   117251  147053  44948    251 984.55
1032.14/1032.55	c   259134   1520    66388 23448645  353   139976  161759  56310    255 1012.87
1032.14/1032.55	o 608	1032.2
1642.22/1642.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1642.22/1642.73	c   264206   1520    71461 26417357  369   151605   62362  61383    255 1032.20
1642.22/1642.73	c   264309   1520    71564 26452763  369   151816   68599  61486    255 1032.64
1642.22/1642.73	c   264562   1520    71817 26537615  369   152331   75459  61739    256 1033.20
1642.22/1642.73	c   265037   1520    72292 26675399  368   153284   83005  62214    256 1034.60
1642.22/1642.73	c   265858   1520    73113 26983648  369   154914   91306  63035    256 1036.53
1642.22/1642.73	c   267181   1520    74436 27451331  368   157565  100437  64358    257 1039.44
1642.22/1642.73	c   269264   1520    76519 28116298  367   161738  110481  66441    257 1045.46
1642.22/1642.73	c   272488   1520    79743 29040500  364   168177  121530  69665    259 1052.05
1642.22/1642.73	c   277426   1520    84681 30369858  358   178066  133684  74603    260 1064.51
1642.22/1642.73	c   284933   1520    92188 33340066  361   193064  147053  82110    262 1084.15
1642.22/1642.73	c   296295   1520   103550 37400195  361   215796  161759  93472    262 1130.33
1642.22/1642.73	c   313439   1520   120694 44768457  370   250082  177935 110616    261 1200.25
1642.22/1642.73	c   339258   1520   146513 53237296  363   301723  195729 136435    263 1289.47
1642.22/1642.73	c   378093   1520   185348 67415066  363   379394  215302 175270    248 1518.58
1642.22/1642.73	o 593	1642.26
1800.05/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.61	c   397364   1520   204620 77062910  376   419412   62362 194542    241 1642.27
1800.05/1800.61	c   397464   1520    24296  6349508  261    54295   68599  14218    241 1646.84
1800.05/1800.61	c   397715   1520    24547  6422833  261    54797   75459  14469    241 1647.04
1800.05/1800.61	c   398190   1520    25022  6557972  262    55748   83005  14944    241 1647.38
1800.05/1800.61	c   399003   1520    25835  6663909  257    57372   91306  15757    242 1647.62
1800.05/1800.61	c   400323   1520    27155  7068079  260    60018  100437  17077    242 1648.61
1800.05/1800.61	c   402404   1520    29236  8258193  282    64177  110481  19158    243 1651.22
1800.05/1800.61	c   405629   1520    32461  9464355  291    70629  121530  22383    245 1655.17
1800.05/1800.61	c   410567   1520    37399 10897948  291    80504  133684  27321    247 1660.79
1800.05/1800.61	c   418073   1520    44905 13971886  311    95516  147053  34827    249 1673.93
1800.05/1800.61	c   429434   1520    56266 18985302  337   118239  161759  46188    252 1697.72
1800.05/1800.61	c   446580   1520    73412 28141928  383   152529  177935  63334    251 1772.84
1800.05/1800.61	c Caught signal: 15
1800.05/1800.61	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 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 
1800.05/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.61	c  114   453688 125261   994745    80520 31806196  70442    252 1800.07
1800.05/1800.61	c Objective: 593
1800.05/1800.61	s SATISFIABLE
1800.05/1800.61	c Total time: 1800.07 s

Verifier Data 

OK	593

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-3741289-1338757611/watcher-3741289-1338757611 -o /tmp/evaluation-result-3741289-1338757611/solver-3741289-1338757611 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741289-1338757611.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.01 2.00 3/176 7192
/proc/meminfo: memFree=26218188/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4194304 168 0 0 0 0 0 0 0 20 0 1 0 341886511 4583424 119 33554432000 134512640 135840783 4293262320 4293261660 6952365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 1119 130 112 325 0 39 0

[startup+0.0540919 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 7192
/proc/meminfo: memFree=26218188/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=7840 CPUtime=0.04 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 1171 0 0 0 4 0 0 0 20 0 1 0 341886511 8028160 1108 33554432000 134512640 135840783 4293262320 4293261136 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 1960 1108 484 325 0 655 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7840

[startup+0.100283 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 7192
/proc/meminfo: memFree=26218188/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=9576 CPUtime=0.08 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 1965 0 0 0 8 0 0 0 20 0 1 0 341886511 9805824 1661 33554432000 134512640 135840783 4293262320 4293243196 8229936 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 2394 1661 344 325 0 1330 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9576

[startup+0.300255 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 7192
/proc/meminfo: memFree=26218188/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=9684 CPUtime=0.28 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 2425 0 0 0 28 0 0 0 20 0 1 0 341886511 9916416 1702 33554432000 134512640 135840783 4293262320 4293261680 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 2421 1702 351 325 0 1357 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9684

[startup+0.700229 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 7192
/proc/meminfo: memFree=26218188/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=12508 CPUtime=0.68 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 3100 0 0 0 68 0 0 0 20 0 1 0 341886511 12808192 2377 33554432000 134512640 135840783 4293262320 4293261680 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 3127 2377 351 325 0 2063 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12508

[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7193
/proc/meminfo: memFree=26207624/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=18416 CPUtime=1.49 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 4578 0 0 0 148 1 0 0 20 0 1 0 341886511 18857984 3855 33554432000 134512640 135840783 4293262320 4293253936 8229936 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 4604 3855 351 325 0 3540 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18416

[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7193
/proc/meminfo: memFree=26200160/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=28180 CPUtime=3.08 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 7020 0 0 0 307 1 0 0 20 0 1 0 341886511 28856320 6297 33554432000 134512640 135840783 4293262320 4293257888 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 7045 6297 351 325 0 5981 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 28180

[startup+6.30029 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7193
/proc/meminfo: memFree=26182924/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=42480 CPUtime=6.29 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 10612 0 0 0 626 3 0 0 20 0 1 0 341886511 43499520 9889 33554432000 134512640 135840783 4293262320 4293261680 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 10620 9889 351 325 0 9556 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42480

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7193
/proc/meminfo: memFree=26153156/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=72508 CPUtime=12.68 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 18116 0 0 0 1264 4 0 0 20 0 1 0 341886511 74248192 17393 33554432000 134512640 135840783 4293262320 4293253440 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 18127 17393 351 325 0 17063 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 72508

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7193
/proc/meminfo: memFree=26109996/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=112684 CPUtime=25.48 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 28151 0 0 0 2541 7 0 0 20 0 1 0 341886511 115388416 27428 33554432000 134512640 135840783 4293262320 4293261680 134551321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 28171 27428 351 325 0 27107 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 112684

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7193
/proc/meminfo: memFree=26042492/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=180096 CPUtime=51.07 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 45019 0 0 0 5096 11 0 0 20 0 1 0 341886511 184418304 44296 33554432000 134512640 135840783 4293262320 4293261680 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 45024 44296 351 325 0 43960 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 180096

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7193
/proc/meminfo: memFree=25955612/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=266172 CPUtime=102.28 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 66530 0 0 0 10210 18 0 0 20 0 1 0 341886511 272560128 65807 33554432000 134512640 135840783 4293262320 4293261680 134550907 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 66543 65807 351 325 0 65479 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 266172

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7193
/proc/meminfo: memFree=25775592/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=331428 CPUtime=162.26 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 82859 0 0 0 16201 25 0 0 20 0 1 0 341886511 339382272 82136 33554432000 134512640 135840783 4293262320 4293261672 9156813 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 82857 82136 351 325 0 81793 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 331428

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7196
/proc/meminfo: memFree=25710884/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=394316 CPUtime=222.25 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 98559 0 0 0 22194 31 0 0 20 0 1 0 341886511 403779584 97836 33554432000 134512640 135840783 4293262320 4293261680 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 98579 97836 351 325 0 97515 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 394316

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7197
/proc/meminfo: memFree=25668264/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=436480 CPUtime=282.24 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 109095 0 0 0 28189 35 0 0 20 0 1 0 341886511 446955520 108372 33554432000 134512640 135840783 4293262320 4293261680 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 109120 108372 351 325 0 108056 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 436480

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7197
/proc/meminfo: memFree=25610384/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=494136 CPUtime=342.23 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 123516 0 0 0 34183 40 0 0 20 0 1 0 341886511 505995264 122793 33554432000 134512640 135840783 4293262320 4293261632 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 123534 122793 351 325 0 122470 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 494136

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7197
/proc/meminfo: memFree=25502532/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=552320 CPUtime=402.22 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 138058 0 0 0 40177 45 0 0 20 0 1 0 341886511 565575680 137335 33554432000 134512640 135840783 4293262320 4293261632 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 138080 137335 351 325 0 137016 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 552320

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7197
/proc/meminfo: memFree=25446032/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=605468 CPUtime=462.2 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 151386 0 0 0 46170 50 0 0 20 0 1 0 341886511 619999232 150642 33554432000 134512640 135840783 4293262320 4293261680 134550896 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 151367 150642 351 325 0 150303 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 605468

[startup+522.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 7197
/proc/meminfo: memFree=25401048/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=652668 CPUtime=522.16 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 163208 0 0 0 52161 55 0 0 20 0 1 0 341886511 668332032 162423 33554432000 134512640 135840783 4293262320 4293248272 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 163167 162423 351 325 0 162103 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 652668

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7198
/proc/meminfo: memFree=25365488/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=686420 CPUtime=582.14 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 171700 0 0 0 58155 59 0 0 20 0 1 0 341886511 702894080 170883 33554432000 134512640 135840783 4293262320 4293261680 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 171605 170883 351 325 0 170541 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 686420

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7202
/proc/meminfo: memFree=25179964/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=739032 CPUtime=822 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 185149 0 0 0 82135 65 0 0 20 0 1 0 341886511 756768768 184026 33554432000 134512640 135840783 4293262320 4293261680 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 184758 184026 351 325 0 183694 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 739032

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7203
/proc/meminfo: memFree=25176716/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=739032 CPUtime=881.96 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 185185 0 0 0 88131 65 0 0 20 0 1 0 341886511 756768768 184026 33554432000 134512640 135840783 4293262320 4293261616 134572675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 184758 184026 351 325 0 183694 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 739032

[startup+942.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 7203
/proc/meminfo: memFree=25176220/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=739032 CPUtime=941.95 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 185185 0 0 0 94130 65 0 0 20 0 1 0 341886511 756768768 184026 33554432000 134512640 135840783 4293262320 4293261680 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 184758 184026 351 325 0 183694 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 739032

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7203
/proc/meminfo: memFree=25311752/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=739032 CPUtime=1001.95 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 185185 0 0 0 100130 65 0 0 20 0 1 0 341886511 756768768 184026 33554432000 134512640 135840783 4293262320 4293261392 1579756 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 184758 184026 351 325 0 183694 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 739032

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7203
/proc/meminfo: memFree=25176840/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=739032 CPUtime=1061.94 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 185185 0 0 0 106129 65 0 0 20 0 1 0 341886511 756768768 184026 33554432000 134512640 135840783 4293262320 4293261680 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 184758 184026 351 325 0 183694 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 739032

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7203
/proc/meminfo: memFree=25176344/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=739032 CPUtime=1121.93 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 185185 0 0 0 112128 65 0 0 20 0 1 0 341886511 756768768 184026 33554432000 134512640 135840783 4293262320 4293261680 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 184758 184026 351 325 0 183694 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 739032

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 7243
/proc/meminfo: memFree=26412072/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=739032 CPUtime=1181.92 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 185185 0 0 0 118127 65 0 0 20 0 1 0 341886511 756768768 184026 33554432000 134512640 135840783 4293262320 4293261632 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 184758 184026 351 325 0 183694 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 739032

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7243
/proc/meminfo: memFree=26400788/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=739032 CPUtime=1241.91 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 185185 0 0 0 124126 65 0 0 20 0 1 0 341886511 756768768 184026 33554432000 134512640 135840783 4293262320 4293261680 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 184758 184026 351 325 0 183694 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 739032

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7243
/proc/meminfo: memFree=26384296/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=739032 CPUtime=1301.91 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 185185 0 0 0 130126 65 0 0 20 0 1 0 341886511 756768768 184026 33554432000 134512640 135840783 4293262320 4293261680 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 184758 184026 351 325 0 183694 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 739032

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7243
/proc/meminfo: memFree=26335440/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=772396 CPUtime=1361.88 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 193525 0 0 0 136120 68 0 0 20 0 1 0 341886511 790933504 192366 33554432000 134512640 135840783 4293262320 4293261680 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 193099 192366 351 325 0 192035 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 772396

[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 7246
/proc/meminfo: memFree=26287940/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=818584 CPUtime=1421.88 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 205068 0 0 0 142115 73 0 0 20 0 1 0 341886511 838230016 203909 33554432000 134512640 135840783 4293262320 4293261680 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 204646 203909 351 325 0 203582 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 818584

[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 7247
/proc/meminfo: memFree=26245664/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=859880 CPUtime=1481.86 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 215390 0 0 0 148109 77 0 0 20 0 1 0 341886511 880517120 214231 33554432000 134512640 135840783 4293262320 4293261632 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 214970 214231 351 325 0 213906 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 859880

[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 7247
/proc/meminfo: memFree=26181680/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=909784 CPUtime=1541.86 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 227886 0 0 0 154104 82 0 0 20 0 1 0 341886511 931618816 226727 33554432000 134512640 135840783 4293262320 4293261680 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 227446 226727 351 325 0 226382 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 909784

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7247
/proc/meminfo: memFree=26123408/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=967712 CPUtime=1601.84 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 242390 0 0 0 160096 88 0 0 20 0 1 0 341886511 990937088 241207 33554432000 134512640 135840783 4293262320 4293261680 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 241928 241207 351 325 0 240864 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 967712

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7247
/proc/meminfo: memFree=26081524/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=1007284 CPUtime=1661.8 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 252504 0 0 0 166089 91 0 0 20 0 1 0 341886511 1031458816 251095 33554432000 134512640 135840783 4293262320 4293261680 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 251821 251095 351 325 0 250757 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1007284

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7247
/proc/meminfo: memFree=26081304/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=1007284 CPUtime=1721.76 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 252552 0 0 0 172085 91 0 0 20 0 1 0 341886511 1031458816 251095 33554432000 134512640 135840783 4293262320 4293261680 134550808 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 251821 251095 351 325 0 250757 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1007284

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7248
/proc/meminfo: memFree=26073164/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=1007284 CPUtime=1781.74 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 252560 0 0 0 178083 91 0 0 20 0 1 0 341886511 1031458816 251095 33554432000 134512640 135840783 4293262320 4293261680 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 251821 251095 351 325 0 250757 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1007284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7248
/proc/meminfo: memFree=26073148/32873844 swapFree=7384/7384
[pid=7192] ppid=7190 vsize=1007284 CPUtime=1800.05 cores=1,3,5,7
/proc/7192/stat : 7192 (bsolo3.0.17) R 7190 7192 5940 0 -1 4202496 252560 0 0 0 179914 91 0 0 20 0 1 0 341886511 1031458816 251095 33554432000 134512640 135840783 4293262320 4293261632 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7192/statm: 251821 251095 351 325 0 250757 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1007284

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.62
CPU time (s): 1800.07
CPU user time (s): 1799.15
CPU system time (s): 0.921859
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 1008044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 0.921859
maximum resident set size= 1005140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252563
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= 430
involuntary context switches= 1838

runsolver used 3.43048 second user time and 10.4754 second system time

The end

Launcher Data 

Begin job on node136 at 2012-06-03 23:06:51
IDJOB=3741289
IDBENCH=89828
IDSOLVER=2318
FILE ID=node136/3741289-1338757611
RUNJOBID= node136-1338749655-5957
PBS_JOBID= 14636804
Free space on /tmp= 69812 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-1109824.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741289-1338757611/watcher-3741289-1338757611 -o /tmp/evaluation-result-3741289-1338757611/solver-3741289-1338757611 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3741289-1338757611.opb            

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

MD5SUM BENCH= 6b78caa911ec8d23c05ac6a0b1089c62
RANDOM SEED=1088646673

node136.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		: 2667.247
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	: 5334.49
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		: 2667.247
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		: 2667.247
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.94
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		: 2667.247
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.90
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		: 2667.247
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.90
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		: 2667.247
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.90
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		: 2667.247
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.91
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		: 2667.247
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:        26218188 kB
Buffers:         1270808 kB
Cached:          3463500 kB
SwapCached:        20316 kB
Active:          3716104 kB
Inactive:        2036848 kB
Active(anon):     991012 kB
Inactive(anon):    22308 kB
Active(file):    2725092 kB
Inactive(file):  2014540 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67083208 kB
Dirty:              7404 kB
Writeback:             0 kB
AnonPages:        998444 kB
Mapped:            10912 kB
Shmem:                 0 kB
Slab:             761272 kB
SReclaimable:     202656 kB
SUnreclaim:       558616 kB
KernelStack:        1456 kB
PageTables:         5956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1113268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    440320 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= 69804 MiB
End job on node136 at 2012-06-03 23:36:53