Trace number 3741604

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)-8834 1800.02 1800.72

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-opm2-z7-s2.opb
MD5SUM826cee40b1a37b4e41d6d3a639f8df55
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-7368
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2023
Total number of constraints31798
Number of constraints which are clauses31790
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint2
Maximum length of a constraint2023
Number of terms in the objective function 1997
Biggest coefficient in the objective function 333
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 170608
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 735392
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 5003866
Number of bits of the biggest sum of numbers23
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-3741604-1338760683.opb
0.00/0.00	c File size is 959848 bytes.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.07	c Highest Coefficient sum: 5.00387e+06
0.00/0.07	c Parsing was ok!!
0.00/0.07	c Total parsing time: 0.071 s
0.00/0.08	c Var: 2023 Constr: 31798 31790/0/8 Lit: 79762 Watch. Lit: 73014
0.00/0.08	c Obj. Vars: 1997 (98.7148 % of total variables)
1.49/1.52	c Pre-processing Time: 1.518 s
1.49/1.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.57	c        0   1903    31798    79762    2    74298   42960      0      0 1.52
1.49/1.57	o -5691	1.572
1.49/1.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.59	c       25   1903    31824    90194    2    77496   46714     26     15 1.57
1.49/1.59	o -6555	1.586
1.59/1.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.61	c       25   1903    31825    92071    2    78255   46714     27     15 1.59
1.59/1.61	o -6584	1.611
4.79/4.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.80	c       43   1903    31844   112533    3    79123   46714     46     26 1.61
4.79/4.80	c      143   1903    31944   171447    5    79625   51386    146     83 1.71
4.79/4.80	c      393   1903    32194   329539   10    79935   56525    396    194 2.02
4.79/4.80	c      868   1903    32669   669452   20    80889   62178    871    335 2.58
4.79/4.80	c     1681   1903    33482  1352036   40    82608   68396   1684    494 3.40
4.79/4.80	c     3001   1903    34802  2574020   73    85126   75236   3004    646 4.64
4.79/4.80	o -6594	4.8
5.08/5.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.08/5.13	c     3145   1903    34947  2726631   78    86277   46714   3149    654 4.80
5.08/5.13	c     3245   1903    35047  2801402   79    86549   51386   3249    658 4.93
5.08/5.13	o -6595	5.129
5.79/5.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.79/5.82	c     3438   1903    35241  2981746   84    87861   46714   3443    670 5.13
5.79/5.82	c     3538   1903    35341  3075657   87    88062   51386   3543    672 5.26
5.79/5.82	c     3788   1903    35591  3215958   90    88549   56525   3793    674 5.62
5.79/5.82	o -6616	5.814
6.29/6.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.37	c     3925   1903    35729  3326173   93    89747   46714   3931    674 5.82
6.29/6.37	c     4025   1903    35829  3399837   94    89963   51386   4031    672 5.98
6.29/6.37	c     4275   1903    36079  3545358   98    90444   56525   4281    673 6.35
6.29/6.37	o -6667	6.371
7.69/7.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.69/7.72	c     4276   1903    36081  3547581   98    91271   46714   4283    671 6.37
7.69/7.72	c     4376   1903    36181  3626278  100    91638   51386   4383    670 6.53
7.69/7.72	c     4626   1903    36431  3841047  105    92018   56525   4633    668 6.92
7.69/7.72	c     5101   1903    36906  4167522  112    92906   62178   5108    662 7.70
7.69/7.72	o -6705	7.719
13.99/14.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.99/14.07	c     5101   1903    36907  4169399  112    93788   46714   5109    660 7.72
13.99/14.07	c     5201   1903    37007  4281817  115    94036   51386   5209    659 7.89
13.99/14.07	c     5451   1903    37257  4448999  119    94471   56525   5459    656 8.30
13.99/14.07	c     5926   1903    37732  4759104  126    95533   62178   5934    657 9.01
13.99/14.07	c     6739   1903    38545  5523351  143    97229   68396   6747    637 10.56
13.99/14.07	c     8059   1903    39865  6674299  167    99189   75236   8067    598 13.46
13.99/14.07	o -6738	14.069
22.78/22.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.78/22.80	c     8455   1903    40262  7088146  176   101454   46714   8464    600 14.07
22.78/22.80	c     8555   1903    40362  7170437  177   101645   51386   8564    599 14.27
22.78/22.80	c     8805   1903    40612  7322183  180   102162   56525   8814    599 14.70
22.78/22.80	c     9280   1903    41087  7616914  185   103126   62178   9289    594 15.60
22.78/22.80	c    10094   1903    41901  8244940  196   104802   68396  10103    588 17.14
22.78/22.80	c    11414   1903    43221  9444764  218   107435   75236  11423    589 19.37
22.78/22.80	c    13495   1903    45302 11798807  260   111648   82760  13504    593 22.72
22.78/22.80	o -6773	22.794
22.78/22.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.78/22.83	c    13516   1903    45324 11814877  260   112413   46714  13526    592 22.80
22.78/22.83	o -6822	22.822
77.05/77.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
77.05/77.17	c    13522   1903    45331 11821369  260   113324   46714  13533    592 22.82
77.05/77.17	c    13622   1903    45431 11878348  261   113412   51386  13633    590 23.05
77.05/77.17	c    13872   1903    45681 12040241  263   113777   56525  13883    589 23.52
77.05/77.17	c    14347   1903    46156 12405123  268   114971   62178  14358    582 24.61
77.05/77.17	c    15160   1903    46969 13102637  278   116624   68396  15171    578 26.22
77.05/77.17	c    16480   1903    48289 14377177  297   119165   75236  16491    577 28.56
77.05/77.17	c    18561   1903    50370 15868816  315   122884   82760  18572    542 34.19
77.05/77.17	c    21784   1903    53593 18724814  349   129661   91037  21795    510 42.69
77.05/77.17	c    26724   1903    58533 24594024  420   139842  100141  26735    511 52.21
77.05/77.17	c    34230   1903    66039 33137313  501   154517  110156  34241    507 67.50
77.05/77.17	o -6829	77.135
230.42/230.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
230.42/230.66	c    38746   1903    70556 38406249  544   164642   46714  38758    502 77.14
230.42/230.66	c    38846   1903    70656 38512195  545   164858   51386  38858    501 77.44
230.42/230.66	c    39096   1903    70906 38678654  545   165270   56525  39108    500 78.18
230.42/230.66	c    39571   1903    71381 38988346  546   166163   62178  39583    498 79.42
230.42/230.66	c    40384   1903    72194 39760324  550   167903   68396  40396    497 81.22
230.42/230.66	c    41705   1903    73515 41010179  557   170675   75236  41717    497 83.85
230.42/230.66	c    43786   1903    75596 42274806  559   174644   82760  43798    480 91.14
230.42/230.66	c    47009   1903    78819 45119126  572   181086   91037  47021    482 97.53
230.42/230.66	c    51945   1903    83755 50082568  597   191165  100141  51957    472 109.97
230.42/230.66	c    59451   1903    91261 57641414  631   206302  110156  59463    462 128.68
230.42/230.66	c    70813   1903   102623 68371303  666   228965  121172  70825    449 157.63
230.42/230.66	c    87957   1903   119767 83798215  699   262681  133290  87969    382 230.00
230.42/230.66	o -6832	230.491
235.02/235.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
235.02/235.21	c    88137   1903   119948 83976425  700   264390   46714  88150    382 230.49
235.02/235.21	c    88237   1903    44025 11303376  256   101906   51386  12227    375 234.71
235.02/235.21	c    88487   1903    44275 11499592  259   102382   56525  12477    376 235.01
235.02/235.21	o -6867	235.04
238.32/238.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
238.32/238.60	c    88491   1903    44280 11505372  259   103253   46714  12482    376 235.04
238.32/238.60	c    88591   1903    44380 11556318  260   103443   51386  12582    376 235.22
238.32/238.60	c    88841   1903    44630 11708900  262   103900   56525  12832    377 235.59
238.32/238.60	c    89316   1903    45105 12036087  266   104894   62178  13307    377 236.44
238.32/238.60	c    90129   1903    45918 12659904  275   106668   68396  14120    379 237.40
238.32/238.60	o -6895	238.431
241.72/241.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
241.72/241.96	c    91222   1903    47012 13744030  292   109823   46714  15214    382 238.43
241.72/241.96	c    91322   1903    47112 13842836  293   109839   51386  15314    382 238.57
241.72/241.96	c    91572   1903    47362 14013295  295   110266   56525  15564    382 239.14
241.72/241.96	c    92047   1903    47837 14300417  298   111114   62178  16039    383 239.87
241.72/241.96	c    92860   1903    48650 15053058  309   112848   68396  16852    385 241.06
241.72/241.96	o -6898	241.786
242.02/242.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
242.02/242.26	c    93542   1903    49333 15858210  321   115234   46714  17535    386 241.79
242.02/242.26	c    93642   1903    49433 15955356  322   115087   51386  17635    386 241.97
242.02/242.26	o -8654	242.087
242.02/242.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
242.02/242.27	c    93689   1903    49481 15973176  322   115632   46714  17683    387 242.09
242.02/242.27	o -8672	242.101
242.02/242.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
242.02/242.28	c    93694   1903    49487 15976768  322   116496   46714  17689    387 242.10
242.02/242.28	o -8756	242.109
242.02/242.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
242.02/242.29	c    93694   1903    49488 15978645  322   117307   46714  17690    386 242.11
242.02/242.29	o -8763	242.117
242.12/242.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
242.12/242.30	c    93694   1903    49489 15980522  322   118137   46714  17691    386 242.12
242.12/242.30	o -8794	242.127
242.12/242.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
242.12/242.31	c    93696   1903    49492 15984958  322   118971   46714  17694    386 242.13
242.12/242.31	o -8827	242.137
243.62/243.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
243.62/243.80	c    93697   1903    49494 15988111  323   119812   46714  17696    386 242.14
243.62/243.80	c    93797   1903    49594 16112909  324   120048   51386  17796    387 242.36
243.62/243.80	c    94047   1903    49844 16404405  329   120549   56525  18046    387 242.96
243.62/243.80	o -8834	243.629
1800.00/1800.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.00/1800.71	c    94379   1903    50177 16801575  334   122110   46714  18379    387 243.63
1800.00/1800.71	c    94479   1903    50277 16862109  335   122457   51386  18479    387 243.96
1800.00/1800.71	c    94729   1903    50527 17054923  337   123464   56525  18729    387 244.62
1800.00/1800.71	c    95204   1903    51002 17335462  339   124483   62178  19204    387 245.72
1800.00/1800.71	c    96017   1903    51815 18047092  348   126179   68396  20017    387 247.94
1800.00/1800.71	c    97338   1903    53136 19266606  362   128752   75236  21338    388 250.59
1800.00/1800.71	c    99419   1903    55217 20873620  378   132218   82760  23419    387 256.64
1800.00/1800.71	c   102642   1903    58440 23924794  409   139395   91037  26642    389 263.83
1800.00/1800.71	c   107578   1903    63376 27789712  438   149126  100141  31578    385 279.19
1800.00/1800.71	c   115084   1903    70882 34890520  492   164034  110156  39084    379 302.94
1800.00/1800.71	c   126446   1903    82244 47849603  581   187018  121172  50446    382 330.67
1800.00/1800.71	c   143590   1903    99388 61735658  621   220600  133290  67590    376 381.72
1800.00/1800.71	c   169409   1903   125207 84877712  677   272554  146620  93409    360 469.95
1800.00/1800.71	c   208241   1903   164039 128256851  781   350448  161283 132241    334 622.68
1800.00/1800.71	c   266594   1903    71998 37747421  524   157690  177412  40200    341 780.55
1800.00/1800.71	c   354226   1903   159630 113228890  709   332967  195154 127832    327 1081.89
1800.00/1800.71	c   485778   1903   107436 69766660  649   227951  214670  75638    352 1378.00
1800.00/1800.71	c Caught signal: 15
1800.00/1800.71	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 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 x1586 x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 x2006 -x2007 -x2008 x2009 x2010 x2011 -x2012 -x2013 -x2014 -x2015 x2016 x2017 x2018 -x2019 x2020 x2021 -x2022 -x2023 
1800.00/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.71	c   96   604859  97572   796539   226517 172388690 194719    336 1800.01
1800.00/1800.71	c Objective: -8834
1800.00/1800.71	s SATISFIABLE
1800.00/1800.71	c Total time: 1800.01 s

Verifier Data 

OK	-8834

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-3741604-1338760683/watcher-3741604-1338760683 -o /tmp/evaluation-result-3741604-1338760683/solver-3741604-1338760683 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741604-1338760683.opb 

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

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


[startup+0 s]
/proc/loadavg: 4.71 3.09 2.40 5/177 13719
/proc/meminfo: memFree=24314784/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=21120 CPUtime=0 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 415 0 0 0 0 0 0 0 20 0 1 0 342192775 21626880 353 33554432000 134512640 135840783 4286974576 4286972428 2530176 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/13719/statm: 5280 363 321 325 0 3981 0

[startup+0.090009 s]
/proc/loadavg: 4.71 3.09 2.40 5/177 13719
/proc/meminfo: memFree=24314784/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=9840 CPUtime=0.08 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 2024 0 0 0 8 0 0 0 20 0 1 0 342192775 10076160 1726 33554432000 134512640 135840783 4286974576 4286949404 12391472 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/13719/statm: 2460 1726 344 325 0 1396 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9840

[startup+0.100362 s]
/proc/loadavg: 4.71 3.09 2.40 5/177 13719
/proc/meminfo: memFree=24314784/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=9840 CPUtime=0.09 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 2024 0 0 0 9 0 0 0 20 0 1 0 342192775 10076160 1726 33554432000 134512640 135840783 4286974576 4286949404 12391472 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/13719/statm: 2460 1726 344 325 0 1396 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9840

[startup+0.300376 s]
/proc/loadavg: 4.71 3.09 2.40 5/177 13719
/proc/meminfo: memFree=24314784/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=9840 CPUtime=0.29 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 2024 0 0 0 29 0 0 0 20 0 1 0 342192775 10076160 1726 33554432000 134512640 135840783 4286974576 4286949404 12391472 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/13719/statm: 2460 1726 344 325 0 1396 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9840

[startup+0.700271 s]
/proc/loadavg: 4.71 3.09 2.40 5/177 13719
/proc/meminfo: memFree=24314784/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=9840 CPUtime=0.69 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 2027 0 0 0 69 0 0 0 20 0 1 0 342192775 10076160 1729 33554432000 134512640 135840783 4286974576 4286949264 134551104 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/13719/statm: 2460 1729 344 325 0 1396 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9840

[startup+1.50026 s]
/proc/loadavg: 4.71 3.09 2.40 3/178 13720
/proc/meminfo: memFree=27317172/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=11160 CPUtime=1.49 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 2359 0 0 0 148 1 0 0 20 0 1 0 342192775 11427840 2061 33554432000 134512640 135840783 4286974576 4286949228 12391472 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/13719/statm: 2790 2061 346 325 0 1726 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11160

[startup+3.10027 s]
/proc/loadavg: 4.49 3.07 2.39 3/178 13720
/proc/meminfo: memFree=27312840/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=23076 CPUtime=3.08 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 5624 0 0 0 307 1 0 0 20 0 1 0 342192775 23629824 5035 33554432000 134512640 135840783 4286974576 4286973888 134551084 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/13719/statm: 5769 5035 351 325 0 4705 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23076

[startup+6.30025 s]
/proc/loadavg: 4.49 3.07 2.39 3/178 13720
/proc/meminfo: memFree=27280036/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=54152 CPUtime=6.29 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 13407 0 0 0 626 3 0 0 20 0 1 0 342192775 55451648 12818 33554432000 134512640 135840783 4286974576 4286973936 134551104 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/13719/statm: 13538 12818 351 325 0 12474 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54152

[startup+12.7002 s]
/proc/loadavg: 4.18 3.05 2.39 3/178 13720
/proc/meminfo: memFree=27246880/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=88936 CPUtime=12.68 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 22078 0 0 0 1264 4 0 0 20 0 1 0 342192775 91070464 21489 33554432000 134512640 135840783 4286974576 4286958712 134584999 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/13719/statm: 22234 21489 351 325 0 21170 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 88936

[startup+25.5003 s]
/proc/loadavg: 3.85 3.02 2.39 3/178 13720
/proc/meminfo: memFree=27162648/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=173500 CPUtime=25.49 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 43225 0 0 0 2539 10 0 0 20 0 1 0 342192775 177664000 42636 33554432000 134512640 135840783 4286974576 4286973936 134551048 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/13719/statm: 43375 42636 351 325 0 42311 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 173500

[startup+51.1003 s]
/proc/loadavg: 3.22 2.93 2.38 3/178 13720
/proc/meminfo: memFree=27020512/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=317184 CPUtime=51.07 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 79160 0 0 0 5090 17 0 0 20 0 1 0 342192775 324796416 78568 33554432000 134512640 135840783 4286974576 4286973936 134550887 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/13719/statm: 79296 78568 351 325 0 78232 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 317184

[startup+102.307 s]
/proc/loadavg: 2.54 2.79 2.36 3/177 13720
/proc/meminfo: memFree=26716888/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=613404 CPUtime=102.24 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 153240 0 0 0 10190 34 0 0 20 0 1 0 342192775 628125696 152623 33554432000 134512640 135840783 4286974576 4286959216 134586540 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/13719/statm: 153351 152623 351 325 0 152287 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 613404

[startup+162.3 s]
/proc/loadavg: 2.20 2.64 2.33 3/178 13724
/proc/meminfo: memFree=26436048/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=893680 CPUtime=162.18 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 223325 0 0 0 16168 50 0 0 20 0 1 0 342192775 915128320 222673 33554432000 134512640 135840783 4286974576 4286973872 134572583 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/13719/statm: 223420 222673 351 325 0 222356 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 893680

[startup+222.3 s]
/proc/loadavg: 2.07 2.52 2.31 3/178 13747
/proc/meminfo: memFree=26265700/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=1061760 CPUtime=222.13 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 265381 0 0 0 22153 60 0 0 20 0 1 0 342192775 1087242240 264694 33554432000 134512640 135840783 4286974576 4286973936 134551324 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/13719/statm: 265440 264694 351 325 0 264376 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 1061760

[startup+282.3 s]
/proc/loadavg: 2.03 2.43 2.29 3/177 13747
/proc/meminfo: memFree=26236968/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=1085792 CPUtime=282.1 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 271493 0 0 0 28148 62 0 0 20 0 1 0 342192775 1111851008 270704 33554432000 134512640 135840783 4286974576 4286973936 134550823 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 271448 270704 351 325 0 270384 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 1085792

[startup+342.3 s]
/proc/loadavg: 2.01 2.34 2.27 3/177 13747
/proc/meminfo: memFree=26236872/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=1085792 CPUtime=342.07 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 271522 0 0 0 34145 62 0 0 20 0 1 0 342192775 1111851008 270704 33554432000 134512640 135840783 4286974576 4286973888 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 271448 270704 351 325 0 270384 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 1085792

[startup+402.3 s]
/proc/loadavg: 2.00 2.28 2.25 3/177 13747
/proc/meminfo: memFree=26237024/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=1085792 CPUtime=402.04 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 271550 0 0 0 40142 62 0 0 20 0 1 0 342192775 1111851008 270704 33554432000 134512640 135840783 4286974576 4286973936 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 271448 270704 351 325 0 270384 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 1085792

[startup+462.3 s]
/proc/loadavg: 2.00 2.23 2.23 3/177 13748
/proc/meminfo: memFree=26237300/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=1085804 CPUtime=462.02 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 271593 0 0 0 46140 62 0 0 20 0 1 0 342192775 1111863296 270707 33554432000 134512640 135840783 4286974576 4286973936 134551052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 271451 270707 351 325 0 270387 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 1085804

[startup+522.3 s]
/proc/loadavg: 2.05 2.20 2.22 3/177 13748
/proc/meminfo: memFree=25967256/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=1360488 CPUtime=522 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 340295 0 0 0 52121 79 0 0 20 0 1 0 342192775 1393139712 339376 33554432000 134512640 135840783 4286974576 4286973936 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 340122 339376 351 325 0 339058 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 1360488

[startup+582.3 s]
/proc/loadavg: 2.02 2.16 2.20 3/177 13748
/proc/meminfo: memFree=25763552/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=1560664 CPUtime=581.96 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 390360 0 0 0 58105 91 0 0 20 0 1 0 342192775 1598119936 389420 33554432000 134512640 135840783 4286974576 4286973936 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 390166 389420 351 325 0 389102 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 1560664

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.05 2.14 3/177 13791
/proc/meminfo: memFree=25261496/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=2024324 CPUtime=881.85 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 506543 0 0 0 88061 124 0 0 20 0 1 0 342192775 2072907776 505340 33554432000 134512640 135840783 4286974576 4286973888 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 506081 505340 351 325 0 505017 0
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (KiB) 2024324

[startup+942.3 s]
/proc/loadavg: 2.00 2.04 2.12 3/177 13791
/proc/meminfo: memFree=25232756/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=2024324 CPUtime=941.83 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 506551 0 0 0 94059 124 0 0 20 0 1 0 342192775 2072907776 505340 33554432000 134512640 135840783 4286974576 4286973936 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 506081 505340 351 325 0 505017 0
Current children cumulated CPU time (s) 941.83
Current children cumulated vsize (KiB) 2024324

[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.11 3/177 13791
/proc/meminfo: memFree=25187524/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=2024324 CPUtime=1001.82 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 506559 0 0 0 100058 124 0 0 20 0 1 0 342192775 2072907776 505340 33554432000 134512640 135840783 4286974576 4286973936 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 506081 505340 351 325 0 505017 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 2024324

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.10 3/177 13792
/proc/meminfo: memFree=25150600/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=2024324 CPUtime=1061.8 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 506572 0 0 0 106056 124 0 0 20 0 1 0 342192775 2072907776 505340 33554432000 134512640 135840783 4286974576 4286973812 2793651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 506081 505340 351 325 0 505017 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 2024324

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.09 3/177 13792
/proc/meminfo: memFree=25136988/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=2024324 CPUtime=1121.78 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 506612 0 0 0 112054 124 0 0 20 0 1 0 342192775 2072907776 505340 33554432000 134512640 135840783 4286974576 4286973936 134551428 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 506081 505340 351 325 0 505017 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 2024324

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/177 13792
/proc/meminfo: memFree=25057780/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=2075372 CPUtime=1181.75 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 519420 0 0 0 118048 127 0 0 20 0 1 0 342192775 2125180928 518109 33554432000 134512640 135840783 4286974576 4286973936 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 518843 518109 351 325 0 517779 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 2075372

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 13792
/proc/meminfo: memFree=24822828/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=2274724 CPUtime=1241.72 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 569462 0 0 0 124031 141 0 0 20 0 1 0 342192775 2329317376 567933 33554432000 134512640 135840783 4286974576 4286974000 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 568681 567933 351 325 0 567617 0
Current children cumulated CPU time (s) 1241.72
Current children cumulated vsize (KiB) 2274724

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 13792
/proc/meminfo: memFree=24800040/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=2274724 CPUtime=1301.7 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 569493 0 0 0 130029 141 0 0 20 0 1 0 342192775 2329317376 567933 33554432000 134512640 135840783 4286974576 4286973936 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 568681 567933 351 325 0 567617 0
Current children cumulated CPU time (s) 1301.7
Current children cumulated vsize (KiB) 2274724

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/178 13796
/proc/meminfo: memFree=24770424/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=2274724 CPUtime=1361.67 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 569537 0 0 0 136026 141 0 0 20 0 1 0 342192775 2329317376 567933 33554432000 134512640 135840783 4286974576 4286973936 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 568681 567933 351 325 0 567617 0
Current children cumulated CPU time (s) 1361.67
Current children cumulated vsize (KiB) 2274724

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 13796
/proc/meminfo: memFree=24746652/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=2274724 CPUtime=1421.65 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 569583 0 0 0 142024 141 0 0 20 0 1 0 342192775 2329317376 567933 33554432000 134512640 135840783 4286974576 4286973856 2801310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 568681 567933 351 325 0 567617 0
Current children cumulated CPU time (s) 1421.65
Current children cumulated vsize (KiB) 2274724

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 13796
/proc/meminfo: memFree=24709512/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=2274724 CPUtime=1481.64 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 569587 0 0 0 148023 141 0 0 20 0 1 0 342192775 2329317376 567933 33554432000 134512640 135840783 4286974576 4286973936 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 568681 567933 351 325 0 567617 0
Current children cumulated CPU time (s) 1481.64
Current children cumulated vsize (KiB) 2274724

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 13796
/proc/meminfo: memFree=24689080/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=2274724 CPUtime=1541.63 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 569587 0 0 0 154022 141 0 0 20 0 1 0 342192775 2329317376 567933 33554432000 134512640 135840783 4286974576 4286973936 134551646 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 568681 567933 351 325 0 567617 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 2274724

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 13796
/proc/meminfo: memFree=24671376/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=2274724 CPUtime=1601.62 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 569587 0 0 0 160021 141 0 0 20 0 1 0 342192775 2329317376 567933 33554432000 134512640 135840783 4286974576 4286973936 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 568681 567933 351 325 0 567617 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 2274724

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 13797
/proc/meminfo: memFree=24644248/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=2274724 CPUtime=1661.61 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 569587 0 0 0 166020 141 0 0 20 0 1 0 342192775 2329317376 567933 33554432000 134512640 135840783 4286974576 4286969168 134573224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 568681 567933 351 325 0 567617 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 2274724

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 13797
/proc/meminfo: memFree=24628404/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=2274724 CPUtime=1721.6 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 569587 0 0 0 172019 141 0 0 20 0 1 0 342192775 2329317376 567933 33554432000 134512640 135840783 4286974576 4286973936 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 568681 567933 351 325 0 567617 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 2274724

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 13797
/proc/meminfo: memFree=24614780/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=2274724 CPUtime=1781.59 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 569587 0 0 0 178018 141 0 0 20 0 1 0 342192775 2329317376 567933 33554432000 134512640 135840783 4286974576 4286973936 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 568681 567933 351 325 0 567617 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 2274724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 13797
/proc/meminfo: memFree=24603248/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=2274724 CPUtime=1800 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 569587 0 0 0 179859 141 0 0 20 0 1 0 342192775 2329317376 567933 33554432000 134512640 135840783 4286974576 4286973936 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 568681 567933 351 325 0 567617 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2274724

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

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

[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 13797
/proc/meminfo: memFree=24603248/32873844 swapFree=6608/6608
[pid=13719] ppid=13717 vsize=2274724 CPUtime=1800 cores=1,3,5,7
/proc/13719/stat : 13719 (bsolo3.0.17) R 13717 13719 12501 0 -1 4202496 569587 0 0 0 179859 141 0 0 20 0 1 0 342192775 2329317376 567933 33554432000 134512640 135840783 4286974576 4286973936 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13719/statm: 568681 567933 351 325 0 567617 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2274724

Child status: 15
Real time (s): 1800.72
CPU time (s): 1800.02
CPU user time (s): 1798.6
CPU system time (s): 1.41778
CPU usage (%): 99.9609
Max. virtual memory (cumulated for all children) (KiB): 2275496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.6
system time used= 1.41778
maximum resident set size= 2272504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 569590
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= 728
involuntary context switches= 2019

runsolver used 3.3215 second user time and 10.4134 second system time

The end

Launcher Data 

Begin job on node140 at 2012-06-03 23:58:03
IDJOB=3741604
IDBENCH=89884
IDSOLVER=2318
FILE ID=node140/3741604-1338760683
RUNJOBID= node140-1338749243-12518
PBS_JOBID= 14636796
Free space on /tmp= 66728 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-opm2-z7-s2.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741604-1338760683/watcher-3741604-1338760683 -o /tmp/evaluation-result-3741604-1338760683/solver-3741604-1338760683 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3741604-1338760683.opb            

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

MD5SUM BENCH= 826cee40b1a37b4e41d6d3a639f8df55
RANDOM SEED=1420401225

node140.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.094
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.18
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.094
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.094
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.91
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.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
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:        22263964 kB
Buffers:          516004 kB
Cached:          8926864 kB
SwapCached:         1620 kB
Active:          1615504 kB
Inactive:        7910768 kB
Active(anon):      75500 kB
Inactive(anon):     9476 kB
Active(file):    1540004 kB
Inactive(file):  7901292 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105264 kB
Dirty:             78480 kB
Writeback:             0 kB
AnonPages:         87808 kB
Mapped:            11708 kB
Shmem:                 8 kB
Slab:             942696 kB
SReclaimable:     383824 kB
SUnreclaim:       558872 kB
KernelStack:        1472 kB
PageTables:         4172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     197932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 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= 70600 MiB
End job on node140 at 2012-06-04 00:28:06