Trace number 3462797

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2SAT-47 1798 1797.94

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_4.opb
MD5SUM69a7dda5c80f9dda65f29fb6eb76eed7
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-53
Best CPU time to get the best result obtained on this benchmark1797.51
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -53
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint10
Maximum length of a constraint21
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2524
Sum of products size (including duplicates)5048
Number of different products1262
Sum of products size2524

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462797-1307182982.opb
0.00/0.00	c File size is 32627 bytes.
0.00/0.00	c Highest Coefficient sum: 200
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.005 s
0.00/0.00	c Var: 2724 Constr: 5448 2724/200/2524 Lit: 20192 Watch. Lit: 15144
0.00/0.00	c Obj. Vars: 200 (7.34214 % of total variables)
0.00/0.01	c Pre-processing Time: 0.017 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    200     1262     3786    3     2524     420      0      0 0.02
0.00/0.01	c Switching off lower bounding mode.
0.00/0.01	o -38
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    200     1263     3986    3     2564    1420      1      0 0.02
0.00/0.01	o -39
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        2    200     1266     4505    3     2609    1420      4    117 0.02
0.00/0.03	o -40
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c       77    200     1342    16592   12     2801    1420     80   2333 0.03
0.00/0.05	c      177    200     1442    32310   22     3001    1563    180   3277 0.05
0.00/0.05	o -42
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c      177    200     1443    32510   22     3045    1420    181   3277 0.05
0.29/0.33	c      277    200     1543    47990   31     3245    1563    281   3693 0.07
0.29/0.33	c      527    200     1793    86706   48     3745    1720    531   4053 0.13
0.29/0.33	c     1002    200     2270   160419   70     4699    1893   1008   4245 0.24
0.29/0.33	o -43
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c     1421    200     2690   225488   83     5582    1420   1428   4229 0.34
0.29/0.36	c     1523    200     2792   241228   86     5786    1563   1530   4242 0.36
0.29/0.36	o -44
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c     1524    200     2794   241581   86     5834    1420   1532   4233 0.36
0.49/0.56	c     1624    200     2894   256875   88     6034    1563   1632   4240 0.38
0.49/0.56	c     1875    200     3145   295163   93     6536    1720   1883   4261 0.44
0.49/0.56	c     2350    200     3621   367998  101     7488    1893   2359   4196 0.56
0.49/0.56	o -45
300.32/300.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
300.32/300.32	c     2353    200     3625   368656  101     7541    1420   2363   4186 0.56
300.32/300.32	c     2454    200     3726   384010  103     7743    1563   2464   4194 0.58
300.32/300.32	c     2704    200     3977   422119  106     8245    1720   2715   4115 0.66
300.32/300.32	c     3179    200     4453   494333  111     9197    1893   3191   4133 0.77
300.32/300.32	c     3992    200     5267   617867  117    10825    2083   4005   4036 0.99
300.32/300.32	c     5312    200     2854   245534   86     5753    2292   1592   3905 1.36
300.32/300.32	c     7393    200     4943   560491  113     9973    2522   3681   3779 1.96
300.32/300.32	c    10616    200     4219   451509  107     8483    2775   2957   3674 2.89
300.32/300.32	c    15552    200     5090   582328  114    10268    3053   3828   3593 4.33
300.32/300.32	c    23058    200     4168   441846  106     8424    3359   2906   3404 6.77
300.32/300.32	c    34419    200     6815   840745  123    13675    3695   5553   3278 10.50
300.32/300.32	c    51563    200     5864   693842  118    11815    4065   4602   3038 16.97
300.32/300.32	c    77382    200     3466   337517   97     6977    4472   2204   2879 26.87
300.32/300.32	c   116215    200     7989   981464  122    16102    4920   6727   2746 42.32
300.32/300.32	c   174568    200     4739   511285  107     9601    5413   3477   2694 64.79
300.32/300.32	c   262200    200     6441   747469  116    13120    5955   5179   2701 97.07
300.32/300.32	c   393752    200     8223  1016256  123    16598    6551   6961   2615 150.52
300.32/300.32	c   591185    200     9697  1215705  125    19918    7207   8435   2482 238.18
300.32/300.32	o -46
301.60/301.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
301.60/301.68	c   722978    200     9922  1264746  127    20182    1420   8660   2407 300.33
301.60/301.68	c   723079    200     2074   121897   58     4194    1563    812   2406 300.50
301.60/301.68	c   723330    200     2325   159700   68     4696    1720   1063   2406 300.56
301.60/301.68	c   723806    200     2801   231481   82     5648    1893   1539   2407 300.66
301.60/301.68	c   724619    200     3614   354095   97     7274    2083   2352   2408 300.85
301.60/301.68	c   725939    200     4940   553652  112     9926    2292   3678   2410 301.20
301.60/301.68	o -47
1797.95/1797.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1797.94	c   727550    200     2721   222952   81     5535    1420   1459   2411 301.69
1797.95/1797.94	c   727651    200     2822   238089   84     5737    1563   1560   2411 301.72
1797.95/1797.94	c   727902    200     3073   275653   89     6239    1720   1811   2412 301.77
1797.95/1797.94	c   728378    200     3549   346860   97     7191    1893   2287   2412 301.88
1797.95/1797.94	c   729192    200     4363   468832  107     8819    2083   3101   2413 302.08
1797.95/1797.94	c   730512    200     5684   666874  117    11461    2292   4422   2415 302.44
1797.95/1797.94	c   732593    200     3934   401973  102     7960    2522   2672   2417 302.99
1797.95/1797.94	c   735816    200     3220   296025   91     6487    2775   1958   2421 303.87
1797.95/1797.94	c   740753    200     4090   426240  104     8271    3053   2828   2423 305.60
1797.95/1797.94	c   748259    200     3189   291533   91     6425    3359   1927   2429 307.96
1797.95/1797.94	c   759621    200     5874   687375  117    11839    3695   4612   2437 311.64
1797.95/1797.94	c   776765    200     4953   546944  110     9953    4065   3691   2446 317.48
1797.95/1797.94	c   802584    200     7277   856427  117    14638    4472   6015   2451 327.39
1797.95/1797.94	c   841416    200     6914   845153  122    13875    4920   5652   2473 340.20
1797.95/1797.94	c   899768    200     3758   372809   99     7563    5413   2496   2480 362.75
1797.95/1797.94	c   987400    200     5382   598896  111    10848    5955   4120   2438 404.89
1797.95/1797.94	c  1118952    200     7244   894467  123    14580    6551   5982   2473 452.38
1797.95/1797.94	c  1316384    200     8766  1082338  123    17717    7207   7504   2448 537.55
1797.95/1797.94	c  1612637    200    10608  1379934  130    21429    7928   9346   2419 666.39
1797.95/1797.94	c  2057122    200    11674  1544732  132    23395    8721  10412   2396 858.45
1797.95/1797.94	c  2723950    200    11911  1519008  127    24034    9594  10649   2279 1194.97
1797.95/1797.94	c  3724296    200     6732   806988  119    13554   10554   5470   2271 1639.24
1797.95/1797.94	c Resources Exceeded
1797.95/1797.94	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 
1797.95/1797.94	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1797.94	c   60  4026454 522761  4770368     7495   893887   6233   2239 1798.00
1797.95/1797.94	c Objective: -47
1797.95/1797.94	s SATISFIABLE
1797.95/1797.94	c Total time: 1798 s

Verifier Data 

OK	-47

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3462797-1307182982/watcher-3462797-1307182982 -o /tmp/evaluation-result-3462797-1307182982/solver-3462797-1307182982 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462797-1307182982.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.03 2.00 2/429 3090
/proc/meminfo: memFree=28342928/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=11372 CPUtime=0 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 437 0 0 0 0 0 0 0 23 0 1 0 829898673 11644928 392 33554432000 134512640 137138936 4294528544 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 2843 393 178 642 0 2191 0

[startup+0.0687211 s]
/proc/loadavg: 2.01 2.03 2.00 2/429 3090
/proc/meminfo: memFree=28342928/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=12476 CPUtime=0.06 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 739 0 0 0 6 0 0 0 23 0 1 0 829898673 12775424 686 33554432000 134512640 137138936 4294528544 18446744073709551615 134551543 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 3119 686 192 642 0 2475 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12476

[startup+0.100715 s]
/proc/loadavg: 2.01 2.03 2.00 2/429 3090
/proc/meminfo: memFree=28342928/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=12788 CPUtime=0.09 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 806 0 0 0 9 0 0 0 23 0 1 0 829898673 13094912 753 33554432000 134512640 137138936 4294528544 18446744073709551615 134609412 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 3197 753 192 642 0 2553 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12788

[startup+0.30069 s]
/proc/loadavg: 2.01 2.03 2.00 2/429 3090
/proc/meminfo: memFree=28342928/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=14356 CPUtime=0.29 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 1213 0 0 0 29 0 0 0 25 0 1 0 829898673 14700544 1160 33554432000 134512640 137138936 4294528544 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 3589 1160 192 642 0 2945 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14356

[startup+0.700601 s]
/proc/loadavg: 2.01 2.03 2.00 2/429 3090
/proc/meminfo: memFree=28342928/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=17372 CPUtime=0.69 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 1955 0 0 0 69 0 0 0 25 0 1 0 829898673 17788928 1902 33554432000 134512640 137138936 4294528544 18446744073709551615 134599754 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 4343 1902 192 642 0 3699 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17372

[startup+1.50045 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 3091
/proc/meminfo: memFree=28332380/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=21172 CPUtime=1.49 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 2908 0 0 0 148 1 0 0 25 0 1 0 829898673 21680128 2855 33554432000 134512640 137138936 4294528544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 5293 2855 192 642 0 4649 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21172

[startup+3.10015 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 3091
/proc/meminfo: memFree=28329276/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=21996 CPUtime=3.09 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 3107 0 0 0 308 1 0 0 25 0 1 0 829898673 22523904 3054 33554432000 134512640 137138936 4294528544 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 5499 3054 192 642 0 4855 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21996

[startup+6.30056 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 3091
/proc/meminfo: memFree=28325204/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=23092 CPUtime=6.29 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 3378 0 0 0 627 2 0 0 25 0 1 0 829898673 23646208 3325 33554432000 134512640 137138936 4294528544 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 5773 3325 192 642 0 5129 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23092

[startup+12.7004 s]
/proc/loadavg: 2.00 2.03 2.00 3/430 3091
/proc/meminfo: memFree=28320112/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=24324 CPUtime=12.69 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 3707 0 0 0 1265 4 0 0 25 0 1 0 829898673 24907776 3654 33554432000 134512640 137138936 4294528544 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 6081 3654 192 642 0 5437 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24324

[startup+25.501 s]
/proc/loadavg: 2.00 2.03 2.00 3/430 3092
/proc/meminfo: memFree=28311564/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=25160 CPUtime=25.49 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 3901 0 0 0 2541 8 0 0 25 0 1 0 829898673 25763840 3848 33554432000 134512640 137138936 4294528544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 6290 3848 192 642 0 5646 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25160

[startup+51.1002 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 3092
/proc/meminfo: memFree=28299148/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=26824 CPUtime=51.09 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 4354 0 0 0 5093 16 0 0 25 0 1 0 829898673 27467776 4277 33554432000 134512640 137138936 4294528544 18446744073709551615 134618118 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 6706 4277 192 642 0 6062 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 26824

[startup+102.317 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 3094
/proc/meminfo: memFree=28272844/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=28788 CPUtime=102.31 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 4845 0 0 0 10200 31 0 0 25 0 1 0 829898673 29478912 4768 33554432000 134512640 137138936 4294528544 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 7197 4768 192 642 0 6553 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 28788

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 3095
/proc/meminfo: memFree=28246616/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=29940 CPUtime=162.3 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 5143 0 0 0 16184 46 0 0 25 0 1 0 829898673 30658560 5056 33554432000 134512640 137138936 4294528544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 7485 5056 192 642 0 6841 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 29940

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 3098
/proc/meminfo: memFree=28240480/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=30144 CPUtime=222.29 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 5205 0 0 0 22169 60 0 0 25 0 1 0 829898673 30867456 5110 33554432000 134512640 137138936 4294528544 18446744073709551615 134599254 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 7536 5110 192 642 0 6892 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 30144

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 3100
/proc/meminfo: memFree=28239172/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=31520 CPUtime=282.3 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 5540 0 0 0 28157 73 0 0 25 0 1 0 829898673 32276480 5445 33554432000 134512640 137138936 4294528544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 7880 5445 192 642 0 7236 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 31520

[startup+342.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/430 3101
/proc/meminfo: memFree=28240616/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=29432 CPUtime=342.3 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 5540 0 0 0 34141 89 0 0 25 0 1 0 829898673 30138368 4933 33554432000 134512640 137138936 4294528544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 7358 4933 192 642 0 6714 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 29432

[startup+402.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/430 3103
/proc/meminfo: memFree=28240932/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=29160 CPUtime=402.31 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 5540 0 0 0 40126 105 0 0 25 0 1 0 829898673 29859840 4865 33554432000 134512640 137138936 4294528544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 7290 4865 192 642 0 6646 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 29160

[startup+462.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/430 3104
/proc/meminfo: memFree=28241760/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=29844 CPUtime=462.3 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 5726 0 0 0 46106 124 0 0 25 0 1 0 829898673 30560256 5035 33554432000 134512640 137138936 4294528544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 7461 5035 192 642 0 6817 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 29844

[startup+522.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/430 3106
/proc/meminfo: memFree=28241708/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=29820 CPUtime=522.31 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 5738 0 0 0 52089 142 0 0 25 0 1 0 829898673 30535680 5030 33554432000 134512640 137138936 4294528544 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 7455 5030 192 642 0 6811 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 29820

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 3108
/proc/meminfo: memFree=28241036/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=31288 CPUtime=582.31 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 6099 0 0 0 58073 158 0 0 25 0 1 0 829898673 32038912 5391 33554432000 134512640 137138936 4294528544 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 7822 5391 192 642 0 7178 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 31288

[startup+642.3 s]

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

/proc/meminfo: memFree=28844656/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=34164 CPUtime=1062.32 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 6937 0 0 0 105955 277 0 0 25 0 1 0 829898673 34983936 6104 33554432000 134512640 137138936 4294528544 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 8541 6104 192 642 0 7897 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 34164

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 3157
/proc/meminfo: memFree=28807656/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=34204 CPUtime=1122.33 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 6998 0 0 0 111943 290 0 0 25 0 1 0 829898673 35024896 6124 33554432000 134512640 137138936 4294528544 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 8551 6124 192 642 0 7907 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 34204

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 3159
/proc/meminfo: memFree=28508652/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=34396 CPUtime=1182.32 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 7034 0 0 0 117930 302 0 0 25 0 1 0 829898673 35221504 6160 33554432000 134512640 137138936 4294528544 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 8599 6160 192 642 0 7955 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 34396

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 3160
/proc/meminfo: memFree=28231724/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=36136 CPUtime=1242.33 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 7466 0 0 0 123917 316 0 0 25 0 1 0 829898673 37003264 6592 33554432000 134512640 137138936 4294528544 18446744073709551615 136502661 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 9034 6592 192 642 0 8390 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 36136

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 3162
/proc/meminfo: memFree=28019164/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=36040 CPUtime=1302.34 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 7466 0 0 0 129903 331 0 0 25 0 1 0 829898673 36904960 6585 33554432000 134512640 137138936 4294528544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 9010 6585 192 642 0 8366 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 36040

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 3163
/proc/meminfo: memFree=27962816/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=36088 CPUtime=1362.33 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 7470 0 0 0 135885 348 0 0 25 0 1 0 829898673 36954112 6587 33554432000 134512640 137138936 4294528544 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 9022 6587 192 642 0 8378 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 36088

[startup+1422.32 s]
/proc/loadavg: 2.04 2.02 2.00 3/430 3165
/proc/meminfo: memFree=27962656/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=36072 CPUtime=1422.36 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 7490 0 0 0 141873 363 0 0 25 0 1 0 829898673 36937728 6583 33554432000 134512640 137138936 4294528544 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 9018 6583 192 642 0 8374 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 36072

[startup+1482.3 s]
/proc/loadavg: 2.17 2.04 2.01 3/430 3168
/proc/meminfo: memFree=27962492/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=35856 CPUtime=1482.34 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 7510 0 0 0 147858 376 0 0 25 0 1 0 829898673 36716544 6539 33554432000 134512640 137138936 4294528544 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 8964 6539 192 642 0 8320 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 35856

[startup+1542.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/430 3169
/proc/meminfo: memFree=27962724/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=36004 CPUtime=1542.35 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 7545 0 0 0 153846 389 0 0 25 0 1 0 829898673 36868096 6573 33554432000 134512640 137138936 4294528544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 9001 6573 192 642 0 8357 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 36004

[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/430 3171
/proc/meminfo: memFree=27962692/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=35964 CPUtime=1602.34 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 7545 0 0 0 159831 403 0 0 25 0 1 0 829898673 36827136 6566 33554432000 134512640 137138936 4294528544 18446744073709551615 134598920 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 8991 6566 192 642 0 8347 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 35964

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 3172
/proc/meminfo: memFree=27961016/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=37856 CPUtime=1662.35 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 8042 0 0 0 165819 416 0 0 25 0 1 0 829898673 38764544 7039 33554432000 134512640 137138936 4294528544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 9464 7039 192 642 0 8820 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 37856

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 3175
/proc/meminfo: memFree=27951444/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=37800 CPUtime=1722.34 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 8042 0 0 0 171805 429 0 0 25 0 1 0 829898673 38707200 7025 33554432000 134512640 137138936 4294528544 18446744073709551615 136500369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 9450 7025 192 642 0 8806 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 37800

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 3178
/proc/meminfo: memFree=27950416/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=37780 CPUtime=1782.35 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 8056 0 0 0 177793 442 0 0 25 0 1 0 829898673 38686720 7020 33554432000 134512640 137138936 4294528544 18446744073709551615 134575800 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 9445 7020 192 642 0 8801 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 37780

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 3178
/proc/meminfo: memFree=27950416/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=37780 CPUtime=1785.54 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 8056 0 0 0 178112 442 0 0 25 0 1 0 829898673 38686720 7020 33554432000 134512640 137138936 4294528544 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 9445 7020 192 642 0 8801 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 37780

[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 3178
/proc/meminfo: memFree=27950280/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=37780 CPUtime=1791.97 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 8056 0 0 0 178753 444 0 0 25 0 1 0 829898673 38686720 7020 33554432000 134512640 137138936 4294528544 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 9445 7020 192 642 0 8801 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 37780

[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 3178
/proc/meminfo: memFree=27950400/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=37780 CPUtime=1795.15 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 8056 0 0 0 179071 444 0 0 25 0 1 0 829898673 38686720 7020 33554432000 134512640 137138936 4294528544 18446744073709551615 134603166 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 9445 7020 192 642 0 8801 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 37780

[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 3178
/proc/meminfo: memFree=27950400/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=37780 CPUtime=1796.74 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 8056 0 0 0 179230 444 0 0 25 0 1 0 829898673 38686720 7020 33554432000 134512640 137138936 4294528544 18446744073709551615 134542220 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 9445 7020 192 642 0 8801 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 37780

[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 3178
/proc/meminfo: memFree=27950276/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=37780 CPUtime=1797.55 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 8056 0 0 0 179310 445 0 0 25 0 1 0 829898673 38686720 7020 33554432000 134512640 137138936 4294528544 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 9445 7020 192 642 0 8801 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 37780

[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 3178
/proc/meminfo: memFree=27950276/32951124 swapFree=43324008/67111528
[pid=3090] ppid=3088 vsize=37736 CPUtime=1797.95 cores=1,3,5,7
/proc/3090/stat : 3090 (bsolo) R 3088 3090 585 0 -1 4202496 8056 0 0 0 179350 445 0 0 25 0 1 0 829898673 38641664 7009 33554432000 134512640 137138936 4294528544 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3090/statm: 9434 7009 192 642 0 8790 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 37736

Child status: 0
Real time (s): 1797.94
CPU time (s): 1798
CPU user time (s): 1793.55
CPU system time (s): 4.45232
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 37964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.55
system time used= 4.45232
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8057
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= 5
involuntary context switches= 2983

runsolver used 7.06992 second user time and 17.5723 second system time

The end

Launcher Data 

Begin job on node105 at 2011-06-04 12:23:02
IDJOB=3462797
IDBENCH=48213
IDSOLVER=1955
FILE ID=node105/3462797-1307182982
RUNJOBID= node105-1307175060-2486
PBS_JOBID= 13508836
Free space on /tmp= 73768 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_4.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462797-1307182982/watcher-3462797-1307182982 -o /tmp/evaluation-result-3462797-1307182982/solver-3462797-1307182982 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462797-1307182982.opb

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

MD5SUM BENCH= 69a7dda5c80f9dda65f29fb6eb76eed7
RANDOM SEED=540704068

node105.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5410.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28343084 kB
Buffers:        337228 kB
Cached:         861368 kB
SwapCached:      20984 kB
Active:        3585028 kB
Inactive:       708960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28343084 kB
SwapTotal:    67111528 kB
SwapFree:     43324008 kB
Dirty:            3904 kB
Writeback:           0 kB
AnonPages:     3092212 kB
Mapped:          20092 kB
Slab:           165100 kB
PageTables:      82352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 115574536 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73760 MiB
End job on node105 at 2011-06-04 12:53:00