Trace number 3738084

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)-161 1800.07 1800.41

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-8000opt.opb
MD5SUM27275f75c57d1f68b1f0c26684ed17bf
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-162
Best CPU time to get the best result obtained on this benchmark42.0556
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2025
Total number of constraints62275
Number of constraints which are clauses62275
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 135
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 341
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 341
Number of bits of the biggest sum of numbers9
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-3738084-1338732653.opb
0.00/0.00	c File size is 2077119 bytes.
0.09/0.16	c Highest Coefficient sum: 341
0.09/0.16	c Parsing was ok!!
0.09/0.16	c Total parsing time: 0.164 s
0.09/0.17	c Var: 2025 Constr: 62275 62275/0/0 Lit: 185655 Watch. Lit: 124550
0.09/0.17	c Obj. Vars: 135 (6.66667 % of total variables)
0.29/0.36	c Pre-processing Time: 0.361 s
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c        0   2013    62239   185583    2   124478   20746      0      0 0.36
0.29/0.36	c Switching off LPR mode.
0.29/0.37	o -36	0.374
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c        0   2013    62240   185706    2   124494   20992      1      0 0.38
0.29/0.38	o -37	0.377
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c        2   2013    62243   186048    2   124516   20992      4      5 0.38
0.29/0.39	o -101	0.388
0.29/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.40	c       41   2013    62283   186328    2   124628   20992     44    105 0.39
0.29/0.40	o -120	0.395
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c       46   2013    62289   186472    2   124677   20992     50    116 0.40
0.39/0.40	o -124	0.4
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c       49   2013    62293   186605    2   124731   20992     54    122 0.40
0.39/0.41	o -126	0.411
0.39/0.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.45	c       64   2013    62309   186944    3   124809   20992     70    155 0.41
0.39/0.45	c      164   2013    62409   189488    3   125007   23092    170    374 0.44
0.39/0.45	o -131	0.449
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c      172   2013    62418   189640    3   125072   20992    179    382 0.45
0.39/0.48	o -133	0.481
0.49/0.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.50	c      244   2013    62491   191040    3   125266   20992    252    506 0.48
0.49/0.50	o -140	0.501
0.69/0.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.74	c      286   2013    62534   191599    3   125400   20992    295    569 0.50
0.69/0.74	c      386   2013    62634   194723    3   125597   23092    395    713 0.54
0.69/0.74	c      636   2013    62884   208450    3   126107   25402    645   1039 0.61
0.69/0.74	c     1111   2013    63359   232066    3   127049   27943   1120   1517 0.73
0.69/0.74	o -148	0.741
1.19/1.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.22	c     1115   2013    63364   232207    3   127101   20992   1125   1500 0.74
1.19/1.22	c     1216   2013    63465   238644    3   127318   23092   1226   1583 0.77
1.19/1.22	c     1467   2013    63716   253494    3   127820   25402   1477   1782 0.82
1.19/1.22	c     1943   2013    64192   280523    4   128770   27943   1953   1980 0.98
1.19/1.22	c     2758   2013    65007   329920    5   130379   30738   2768   2357 1.17
1.19/1.22	o -150	1.218
1.19/1.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.29	c     2872   2013    65122   336128    5   130685   20992   2883   2356 1.22
1.19/1.29	c     2972   2013    65222   341516    5   130871   23092   2983   2343 1.27
1.19/1.29	o -151	1.29
1.39/1.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.42	c     3027   2013    65278   344618    5   131045   20992   3039   2344 1.29
1.39/1.42	c     3127   2013    65378   350680    5   131241   23092   3139   2347 1.33
1.39/1.42	c     3378   2013    65629   366590    5   131742   25402   3390   2397 1.41
1.39/1.42	o -152	1.421
3.99/4.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.05	c     3380   2013    65632   366777    5   131827   20992   3393   2375 1.42
3.99/4.05	c     3480   2013    65732   372366    5   132006   23092   3493   2398 1.45
3.99/4.05	c     3731   2013    65983   388149    5   132520   25402   3744   2459 1.52
3.99/4.05	c     4207   2013    66459   416780    6   133483   27943   4220   2568 1.64
3.99/4.05	c     5021   2013    67273   466856    6   135086   30738   5034   2687 1.87
3.99/4.05	c     6342   2013    68594   553013    8   137733   33812   6355   2784 2.28
3.99/4.05	c     8424   2013    70676   689973    9   141894   37194   8437   2889 2.92
3.99/4.05	c    11647   2013    73899   898354   12   148349   40914  11660   3063 3.80
3.99/4.05	o -153	4.055
5.19/5.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.19/5.20	c    12289   2013    74542   941645   12   149672   20992  12303   3029 4.06
5.19/5.20	c    12389   2013    74642   947964   12   149883   23092  12403   3026 4.09
5.19/5.20	c    12639   2013    74892   963979   12   150388   25402  12653   3012 4.20
5.19/5.20	c    13114   2013    75367   993488   13   151351   27943  13128   2996 4.38
5.19/5.20	c    13927   2013    76180  1047983   13   152954   30738  13941   3004 4.64
5.19/5.20	c    15247   2013    77500  1129014   14   155615   33812  15261   3001 5.08
5.19/5.20	o -154	5.201
5.59/5.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.61	c    15496   2013    77750  1144843   14   156140   20992  15511   2978 5.20
5.59/5.61	c    15596   2013    77850  1151267   14   156344   23092  15611   2971 5.25
5.59/5.61	c    15846   2013    78100  1166279   14   156862   25402  15861   2957 5.36
5.59/5.61	c    16321   2013    78575  1196431   15   157803   27943  16336   2944 5.54
5.59/5.61	o -155	5.614
5.69/5.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.78	c    16474   2013    78729  1206326   15   158171   20992  16490   2933 5.62
5.69/5.78	c    16576   2013    78831  1212925   15   158373   23092  16592   2926 5.66
5.69/5.78	o -156	5.782
6.98/7.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.98/7.09	c    16818   2013    79074  1228149   15   158924   20992  16835   2908 5.78
6.98/7.09	c    16919   2013    79175  1234287   15   159111   23092  16936   2898 5.84
6.98/7.09	c    17169   2013    79425  1250464   15   159642   25402  17186   2892 5.93
6.98/7.09	c    17644   2013    79900  1279292   16   160584   27943  17661   2891 6.10
6.98/7.09	c    18457   2013    80713  1332822   16   162190   30738  18474   2855 6.46
6.98/7.09	c    19779   2013    82035  1419539   17   164828   33812  19796   2799 7.07
6.98/7.09	o -158	7.086
9.29/9.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.32	c    19784   2013    82041  1419861   17   164932   20992  19802   2791 7.09
9.29/9.32	c    19885   2013    82142  1425718   17   165142   23092  19903   2785 7.14
9.29/9.32	c    20135   2013    82392  1440707   17   165629   25402  20153   2786 7.23
9.29/9.32	c    20610   2013    82867  1470788   17   166589   27943  20628   2751 7.49
9.29/9.32	c    21423   2013    83680  1520943   18   168197   30738  21441   2739 7.82
9.29/9.32	c    22743   2013    85000  1600648   18   170873   33812  22761   2696 8.44
9.29/9.32	o -159	9.315
9.99/10.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.99/10.03	c    24455   2013    86713  1710329   19   174308   20992  24474   2625 9.32
9.99/10.03	c    24555   2013    72838   801459   11   145739   23092  10599   2590 9.48
9.99/10.03	c    24805   2013    73088   816942   11   146237   25402  10849   2597 9.55
9.99/10.03	c    25280   2013    73563   844056   11   147188   27943  11324   2604 9.71
9.99/10.03	o -160	10.03
113.33/113.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
113.33/113.41	c    26056   2013    74340   890808   11   148809   20992  12101   2597 10.03
113.33/113.41	c    26157   2013    74441   896982   12   149000   23092  12202   2598 10.07
113.33/113.41	c    26408   2013    74692   911909   12   149508   25402  12453   2603 10.14
113.33/113.41	c    26884   2013    75168   940976   12   150461   27943  12929   2606 10.32
113.33/113.41	c    27697   2013    75981   992276   13   152084   30738  13742   2611 10.61
113.33/113.41	c    29018   2013    77302  1073355   13   154731   33812  15063   2645 10.97
113.33/113.41	c    31099   2013    79383  1203657   15   158891   37194  17144   2665 11.67
113.33/113.41	c    34323   2013    82607  1400048   16   165335   40914  20368   2716 12.64
113.33/113.41	c    39261   2013    87545  1699474   19   175211   45006  25306   2703 14.52
113.33/113.41	c    46768   2013    95052  2159892   22   190229   49507  32813   2601 17.98
113.33/113.41	c    58129   2013   106413  2882253   27   212952   54458  44174   2356 24.66
113.33/113.41	c    75274   2013    81663  1334676   16   163387   59904  19424   2131 35.32
113.33/113.41	c   101093   2013   107482  3005331   27   215028   65895  45243   2037 49.62
113.33/113.41	c   139925   2013    93031  2011399   21   186126   72485  30792   1936 72.24
113.33/113.41	c   198278   2013    91570  2045143   22   183200   79734  29331   1779 111.45
113.33/113.41	o -161	113.351
1800.06/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.40	c   202004   2013    95297  2277261   23   190719   20992  33058   1782 113.35
1800.06/1800.40	c   202105   2013    72845   825777   11   145752   23092  10606   1779 113.59
1800.06/1800.40	c   202355   2013    73095   838731   11   146255   25402  10856   1780 113.66
1800.06/1800.40	c   202830   2013    73570   865328   11   147204   27943  11331   1782 113.81
1800.06/1800.40	c   203643   2013    74383   915124   12   148828   30738  12144   1785 114.03
1800.06/1800.40	c   204964   2013    75704   991462   13   151473   33812  13465   1792 114.36
1800.06/1800.40	c   207045   2013    77785  1117096   14   155633   37194  15546   1801 114.93
1800.06/1800.40	c   210268   2013    81008  1307128   16   162080   40914  18769   1816 115.78
1800.06/1800.40	c   215205   2013    85945  1608929   18   171950   45006  23706   1832 117.46
1800.06/1800.40	c   222711   2013    93451  2070656   22   186966   49507  31212   1852 120.24
1800.06/1800.40	c   234074   2013   104814  2789593   26   209689   54458  42575   1857 126.03
1800.06/1800.40	c   251218   2013    79881  1216274   15   159826   59904  17642   1875 133.92
1800.06/1800.40	c   277037   2013   105700  2850999   26   211466   65895  43461   1917 144.49
1800.06/1800.40	c   315870   2013    91285  1913654   20   182631   72485  29046   1921 164.37
1800.06/1800.40	c   374222   2013    90129  1891671   20   180323   79734  27890   1874 199.63
1800.06/1800.40	c   461856   2013   110885  3200928   28   221832   87708  48646   1820 253.66
1800.06/1800.40	c   593408   2012    93077  2040861   21   186214   96479  30838   1767 335.70
1800.06/1800.40	c   790841   2012   124295  3823786   30   248653  106127  62056   1633 484.05
1800.06/1800.40	c  1087094   2011   141897  4966934   35   283854  116740  79658   1512 718.63
1800.06/1800.40	c  1531577   2009   172654  6436303   37   345366  128415 110415   1358 1127.16
1800.06/1800.40	c  2198406   2005   150205  4900682   32   300464  141257  87966   1257 1748.56
1800.06/1800.40	c Caught signal: 15
1800.06/1800.40	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 -x2024 -x2025 
1800.06/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.40	c   95  2247540 270666  2630196   199339  7570713 137100   1248 1800.07
1800.06/1800.40	c Objective: -161
1800.06/1800.40	s SATISFIABLE
1800.06/1800.40	c Total time: 1800.07 s

Verifier Data

OK	-161

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

running on 4 cores: 0,2,4,6

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.01 2.00 2.00 2/177 24500
/proc/meminfo: memFree=28648604/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=6720 CPUtime=0 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 474 0 0 0 0 0 0 0 20 0 1 0 339393781 6881280 410 33554432000 134512640 135840783 4289552992 4289551728 7742759 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24500/statm: 1680 411 327 325 0 108 0

[startup+0.013709 s]
/proc/loadavg: 2.01 2.00 2.00 2/177 24500
/proc/meminfo: memFree=28648604/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=7136 CPUtime=0 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 581 0 0 0 0 0 0 0 20 0 1 0 339393781 7307264 517 33554432000 134512640 135840783 4289552992 4289551984 134525311 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24500/statm: 1784 517 347 325 0 212 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7136

[startup+0.100216 s]
/proc/loadavg: 2.01 2.00 2.00 2/177 24500
/proc/meminfo: memFree=28648604/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=10828 CPUtime=0.09 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 1786 0 0 0 9 0 0 0 20 0 1 0 339393781 11087872 1722 33554432000 134512640 135840783 4289552992 4289550896 7602287 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24500/statm: 2707 1723 617 325 0 1135 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10828

[startup+0.300245 s]
/proc/loadavg: 2.01 2.00 2.00 2/177 24500
/proc/meminfo: memFree=28648604/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=17768 CPUtime=0.29 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 4272 0 0 0 27 2 0 0 20 0 1 0 339393781 18194432 3700 33554432000 134512640 135840783 4289552992 4289527596 13902896 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24500/statm: 4442 3700 344 325 0 3378 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17768

[startup+0.700245 s]
/proc/loadavg: 2.01 2.00 2.00 2/177 24500
/proc/meminfo: memFree=28648604/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=17644 CPUtime=0.69 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 4970 0 0 0 67 2 0 0 20 0 1 0 339393781 18067456 3686 33554432000 134512640 135840783 4289552992 4289552352 134550804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24500/statm: 4411 3686 349 325 0 3347 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17644

[startup+1.50024 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24501
/proc/meminfo: memFree=28635204/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=17788 CPUtime=1.49 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 4985 0 0 0 147 2 0 0 20 0 1 0 339393781 18214912 3701 33554432000 134512640 135840783 4289552992 4289552352 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24500/statm: 4447 3701 349 325 0 3383 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17788

[startup+3.10024 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24501
/proc/meminfo: memFree=28632716/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=22728 CPUtime=3.09 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 6240 0 0 0 306 3 0 0 20 0 1 0 339393781 23273472 4956 33554432000 134512640 135840783 4289552992 4289552020 7729404 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24500/statm: 5682 4956 349 325 0 4618 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22728

[startup+6.30024 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24501
/proc/meminfo: memFree=28622548/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=31192 CPUtime=6.29 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 8342 0 0 0 626 3 0 0 20 0 1 0 339393781 31940608 7058 33554432000 134512640 135840783 4289552992 4289552352 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24500/statm: 7798 7058 349 325 0 6734 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31192

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24501
/proc/meminfo: memFree=28614768/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=37144 CPUtime=12.69 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 9841 0 0 0 1265 4 0 0 20 0 1 0 339393781 38035456 8557 33554432000 134512640 135840783 4289552992 4289552352 134551030 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24500/statm: 9286 8557 349 325 0 8222 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37144

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24501
/proc/meminfo: memFree=28597780/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=55204 CPUtime=25.49 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 14358 0 0 0 2543 6 0 0 20 0 1 0 339393781 56528896 13074 33554432000 134512640 135840783 4289552992 4289552352 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 13801 13074 349 325 0 12737 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55204

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24501
/proc/meminfo: memFree=28588900/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=63528 CPUtime=51.08 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 16501 0 0 0 5102 6 0 0 20 0 1 0 339393781 65052672 15161 33554432000 134512640 135840783 4289552992 4289552304 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 15882 15161 349 325 0 14818 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 63528

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24501
/proc/meminfo: memFree=28566456/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=79828 CPUtime=102.24 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 20652 0 0 0 10217 7 0 0 20 0 1 0 339393781 81743872 19216 33554432000 134512640 135840783 4289552992 4289552256 12501545 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 19957 19216 349 325 0 18893 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 79828

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24501
/proc/meminfo: memFree=28564776/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=81032 CPUtime=162.22 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 21040 0 0 0 16215 7 0 0 20 0 1 0 339393781 82976768 19533 33554432000 134512640 135840783 4289552992 4289552296 12105933 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 20258 19533 349 325 0 19194 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 81032

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24501
/proc/meminfo: memFree=28564832/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=81172 CPUtime=222.22 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 21050 0 0 0 22214 8 0 0 20 0 1 0 339393781 83120128 19540 33554432000 134512640 135840783 4289552992 4289552352 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 20293 19540 349 325 0 19229 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 81172

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24502
/proc/meminfo: memFree=28551316/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=93640 CPUtime=282.2 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 24334 0 0 0 28211 9 0 0 20 0 1 0 339393781 95887360 22660 33554432000 134512640 135840783 4289552992 4289552416 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 23410 22660 349 325 0 22346 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 93640

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24502
/proc/meminfo: memFree=28551304/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=93996 CPUtime=342.19 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 24426 0 0 0 34210 9 0 0 20 0 1 0 339393781 96251904 22746 33554432000 134512640 135840783 4289552992 4289552304 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 23499 22746 349 325 0 22435 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 93996

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24502
/proc/meminfo: memFree=28544360/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=100500 CPUtime=402.19 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 26150 0 0 0 40208 11 0 0 20 0 1 0 339393781 102912000 24375 33554432000 134512640 135840783 4289552992 4289552352 134550791 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 25125 24375 349 325 0 24061 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 100500

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24502
/proc/meminfo: memFree=28539764/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=100888 CPUtime=462.17 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 26248 0 0 0 46206 11 0 0 20 0 1 0 339393781 103309312 24469 33554432000 134512640 135840783 4289552992 4289552352 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 25222 24469 349 325 0 24158 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 100888

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24502
/proc/meminfo: memFree=28526496/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=108184 CPUtime=522.16 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 28202 0 0 0 52204 12 0 0 20 0 1 0 339393781 110780416 26319 33554432000 134512640 135840783 4289552992 4289552416 134546118 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 27046 26319 349 325 0 25982 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 108184

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24506
/proc/meminfo: memFree=28525920/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=108184 CPUtime=582.15 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 28202 0 0 0 58203 12 0 0 20 0 1 0 339393781 110780416 26319 33554432000 134512640 135840783 4289552992 4289552352 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 27046 26319 349 325 0 25982 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 108184

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 24506
/proc/meminfo: memFree=28517116/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=117564 CPUtime=822.11 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 30665 0 0 0 82198 13 0 0 20 0 1 0 339393781 120385536 28663 33554432000 134512640 135840783 4289552992 4289552352 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 29391 28663 349 325 0 28327 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 117564

[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24507
/proc/meminfo: memFree=28517112/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=118124 CPUtime=882.1 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 30781 0 0 0 88197 13 0 0 20 0 1 0 339393781 120958976 28777 33554432000 134512640 135840783 4289552992 4289552128 7740140 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 29531 28777 349 325 0 28467 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 118124

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24507
/proc/meminfo: memFree=28517108/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=118124 CPUtime=942.09 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 30783 0 0 0 94196 13 0 0 20 0 1 0 339393781 120958976 28777 33554432000 134512640 135840783 4289552992 4289552512 134551952 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 29531 28777 349 325 0 28467 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 118124

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24507
/proc/meminfo: memFree=28517232/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=118124 CPUtime=1002.08 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 30783 0 0 0 100195 13 0 0 20 0 1 0 339393781 120958976 28777 33554432000 134512640 135840783 4289552992 4289552228 7748168 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 29531 28777 349 325 0 28467 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 118124

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24507
/proc/meminfo: memFree=28516736/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=118124 CPUtime=1062.07 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 30783 0 0 0 106194 13 0 0 20 0 1 0 339393781 120958976 28777 33554432000 134512640 135840783 4289552992 4289551412 7737425 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 29531 28777 349 325 0 28467 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 118124

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24546
/proc/meminfo: memFree=28568676/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=118124 CPUtime=1122.06 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 30783 0 0 0 112193 13 0 0 20 0 1 0 339393781 120958976 28777 33554432000 134512640 135840783 4289552992 4289552352 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 29531 28777 349 325 0 28467 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 118124

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24550
/proc/meminfo: memFree=28555860/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=122920 CPUtime=1182.05 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32113 0 0 0 118192 13 0 0 20 0 1 0 339393781 125870080 29979 33554432000 134512640 135840783 4289552992 4289552224 7367423 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 30730 29979 349 325 0 29666 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 122920

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24550
/proc/meminfo: memFree=28548832/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=122920 CPUtime=1242.04 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32113 0 0 0 124191 13 0 0 20 0 1 0 339393781 125870080 29979 33554432000 134512640 135840783 4289552992 4289552292 7748171 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 30730 29979 349 325 0 29666 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 122920

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 24550
/proc/meminfo: memFree=28543064/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=124908 CPUtime=1302.04 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32609 0 0 0 130190 14 0 0 20 0 1 0 339393781 127905792 30474 33554432000 134512640 135840783 4289552992 4289552352 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 31227 30474 349 325 0 30163 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 124908

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24550
/proc/meminfo: memFree=28536480/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=124908 CPUtime=1362.02 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32609 0 0 0 136188 14 0 0 20 0 1 0 339393781 127905792 30474 33554432000 134512640 135840783 4289552992 4289552352 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 31227 30474 349 325 0 30163 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 124908

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24550
/proc/meminfo: memFree=28536480/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=124908 CPUtime=1422.02 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32609 0 0 0 142188 14 0 0 20 0 1 0 339393781 127905792 30474 33554432000 134512640 135840783 4289552992 4289552352 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 31227 30474 349 325 0 30163 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 124908

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24551
/proc/meminfo: memFree=28536412/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=124908 CPUtime=1482.01 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32609 0 0 0 148187 14 0 0 20 0 1 0 339393781 127905792 30474 33554432000 134512640 135840783 4289552992 4289552352 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 31227 30474 349 325 0 30163 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 124908

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24551
/proc/meminfo: memFree=28536784/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=124908 CPUtime=1542 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32609 0 0 0 154186 14 0 0 20 0 1 0 339393781 127905792 30474 33554432000 134512640 135840783 4289552992 4289552344 12105900 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 31227 30474 349 325 0 30163 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 124908

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24551
/proc/meminfo: memFree=28536660/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=124908 CPUtime=1601.99 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32609 0 0 0 160185 14 0 0 20 0 1 0 339393781 127905792 30474 33554432000 134512640 135840783 4289552992 4289552228 7737487 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 31227 30474 349 325 0 30163 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 124908

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24551
/proc/meminfo: memFree=28536784/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=124908 CPUtime=1661.98 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32609 0 0 0 166184 14 0 0 20 0 1 0 339393781 127905792 30474 33554432000 134512640 135840783 4289552992 4289552352 134550907 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 31227 30474 349 325 0 30163 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 124908

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24589
/proc/meminfo: memFree=28533980/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=124908 CPUtime=1721.97 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32609 0 0 0 172183 14 0 0 20 0 1 0 339393781 127905792 30474 33554432000 134512640 135840783 4289552992 4289552352 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 31227 30474 349 325 0 30163 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 124908

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24593
/proc/meminfo: memFree=28382968/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=124908 CPUtime=1781.96 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32609 0 0 0 178182 14 0 0 20 0 1 0 339393781 127905792 30474 33554432000 134512640 135840783 4289552992 4289552352 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 31227 30474 349 325 0 30163 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 124908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24593
/proc/meminfo: memFree=28350200/32873844 swapFree=6872/6872
[pid=24500] ppid=24498 vsize=124940 CPUtime=1800.06 cores=0,2,4,6
/proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32617 0 0 0 179992 14 0 0 20 0 1 0 339393781 127938560 30482 33554432000 134512640 135840783 4289552992 4289552352 134551776 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24500/statm: 31235 30482 349 325 0 30171 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 124940

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.41
CPU time (s): 1800.07
CPU user time (s): 1799.93
CPU system time (s): 0.142978
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 124940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.142978
maximum resident set size= 121932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32621
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= 64
involuntary context switches= 2132

runsolver used 3.2715 second user time and 9.28459 second system time

The end

Launcher Data

Begin job on node106 at 2012-06-03 16:10:53
IDJOB=3738084
IDBENCH=71822
IDSOLVER=2318
FILE ID=node106/3738084-1338732653
RUNJOBID= node106-1338714620-23307
PBS_JOBID= 14636759
Free space on /tmp= 70852 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-8000opt.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3738084-1338732653/watcher-3738084-1338732653 -o /tmp/evaluation-result-3738084-1338732653/solver-3738084-1338732653 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3738084-1338732653.opb            

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

MD5SUM BENCH= 27275f75c57d1f68b1f0c26684ed17bf
RANDOM SEED=1811952315

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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.065
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:        28648496 kB
Buffers:          310736 kB
Cached:          2959920 kB
SwapCached:         2004 kB
Active:          1121712 kB
Inactive:        2250440 kB
Active(anon):      98984 kB
Inactive(anon):     4984 kB
Active(file):    1022728 kB
Inactive(file):  2245456 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:              8620 kB
Writeback:             0 kB
AnonPages:        106452 kB
Mapped:            10576 kB
Shmem:                 0 kB
Slab:             713400 kB
SReclaimable:     155156 kB
SUnreclaim:       558244 kB
KernelStack:        1480 kB
PageTables:         3752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     221764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 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= 70844 MiB
End job on node106 at 2012-06-03 16:40:55