Trace number 3462795

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.96

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462795-1307182970.opb
0.00/0.00	c File size is 32717 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: 2728 Constr: 5456 2728/200/2528 Lit: 20224 Watch. Lit: 15168
0.00/0.00	c Obj. Vars: 200 (7.33138 % of total variables)
0.00/0.01	c Pre-processing Time: 0.016 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     1264     3792    3     2528     421      0      0 0.02
0.00/0.01	c Switching off lower bounding mode.
0.00/0.01	o -45
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    200     1265     3992    3     2575    1421      1      0 0.02
0.00/0.02	o -46
32.29/32.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.29/32.35	c       56    200     1322    12723    9     2735    1421     58   2074 0.03
32.29/32.35	c      158    200     1424    28111   19     2939    1564    160   3291 0.05
32.29/32.35	c      409    200     1675    65883   39     3441    1721    411   4131 0.10
32.29/32.35	c      884    200     2151   137547   63     4393    1894    887   4533 0.20
32.29/32.35	c     1697    200     2964   259968   87     6019    2084   1700   4454 0.38
32.29/32.35	c     3017    200     4286   459569  107     8663    2293   3022   4225 0.71
32.29/32.35	c     5098    200     2536   195132   76     5118    2523   1272   4039 1.26
32.29/32.35	c     8321    200     5767   681215  118    11580    2776   4503   4004 2.08
32.29/32.35	c    13258    200     2653   210705   79     5352    3054   1389   3700 3.58
32.29/32.35	c    20764    200     5974   707958  118    12079    3360   4710   3558 5.83
32.29/32.35	c    32126    200     4276   432722  101     8670    3697   3012   3319 9.68
32.29/32.35	c    49270    200     3315   312813   94     6760    4067   2051   3051 16.14
32.29/32.35	c    75089    200     5600   653021  116    11288    4474   4336   3029 24.79
32.29/32.35	o -47
1797.94/1797.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1797.95	c    92529    200     3502   320228   91     7081    1421   2238   2853 32.42
1797.94/1797.95	c    92630    200     3603   335404   93     7283    1564   2339   2854 32.45
1797.94/1797.95	c    92881    200     3854   372969   96     7785    1721   2590   2857 32.50
1797.94/1797.95	c    93356    200     4329   444093  102     8735    1894   3065   2862 32.61
1797.94/1797.95	c    94169    200     5146   566480  110    10369    2084   3882   2868 32.83
1797.94/1797.95	c    95489    200     2734   223467   81     5515    2293   1470   2879 33.16
1797.94/1797.95	c    97570    200     4825   536491  111     9740    2523   3561   2891 33.75
1797.94/1797.95	c   100793    200     4113   427045  103     8273    2776   2849   2910 34.63
1797.94/1797.95	c   105730    200     4976   559523  112     9999    3054   3712   2932 36.06
1797.94/1797.95	c   113236    200     4048   414240  102     8187    3360   2784   2953 38.34
1797.94/1797.95	c   124597    200     6688   808522  120    13468    3697   5424   2973 41.90
1797.94/1797.95	c   141742    200     5754   667465  116    11555    4067   4490   2969 47.73
1797.94/1797.95	c   167561    200     3334   313144   93     6715    4474   2070   2983 56.16
1797.94/1797.95	c   206393    200     7822   963896  123    15735    4922   6558   2992 68.96
1797.94/1797.95	c   264746    200     4526   491199  108     9099    5415   3262   2966 89.24
1797.94/1797.95	c   352378    200     6154   724732  117    12355    5957   4890   2934 120.09
1797.94/1797.95	c   483930    200     7867   985330  125    15781    6553   6603   2773 174.47
1797.94/1797.95	c   681363    200     9339  1209433  129    18769    7209   8075   2630 259.04
1797.94/1797.95	c   977615    200     4870   537609  110     9787    7930   3606   2577 379.30
1797.94/1797.95	c  1422097    200     5375   578895  107    10923    8724   4111   2512 566.03
1797.94/1797.95	c  2088926    200    12071  1526740  126    24545    9597  10807   2338 893.30
1797.94/1797.95	c  3089274    200     6511   787677  120    13069   10557   5247   2254 1370.19
1797.94/1797.95	c Resources Exceeded
1797.94/1797.95	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.94/1797.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1797.95	c   36  3950970 533747  4717102    11363  1429108  10099   2197 1798.00
1797.94/1797.95	c Objective: -47
1797.94/1797.95	s SATISFIABLE
1797.94/1797.95	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-3462795-1307182970/watcher-3462795-1307182970 -o /tmp/evaluation-result-3462795-1307182970/solver-3462795-1307182970 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462795-1307182970.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 2/488 19999
/proc/meminfo: memFree=20563584/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=11880 CPUtime=0 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 585 0 0 0 0 0 0 0 25 0 1 0 562488302 12165120 531 33554432000 134512640 137138936 4286708560 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 2970 532 183 642 0 2326 0

[startup+0.118228 s]
/proc/loadavg: 2.00 2.02 2.00 2/488 19999
/proc/meminfo: memFree=20563584/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=12876 CPUtime=0.11 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 848 0 0 0 11 0 0 0 25 0 1 0 562488302 13185024 794 33554432000 134512640 137138936 4286708560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 3219 794 192 642 0 2575 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 12876

[startup+0.200204 s]
/proc/loadavg: 2.00 2.02 2.00 2/488 19999
/proc/meminfo: memFree=20563584/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=13604 CPUtime=0.19 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 1026 0 0 0 19 0 0 0 25 0 1 0 562488302 13930496 972 33554432000 134512640 137138936 4286708560 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 3401 972 192 642 0 2757 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13604

[startup+0.300185 s]
/proc/loadavg: 2.00 2.02 2.00 2/488 19999
/proc/meminfo: memFree=20563584/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=14440 CPUtime=0.29 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 1227 0 0 0 29 0 0 0 25 0 1 0 562488302 14786560 1173 33554432000 134512640 137138936 4286708560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 3610 1173 192 642 0 2966 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14440

[startup+0.700115 s]
/proc/loadavg: 2.00 2.02 2.00 2/488 19999
/proc/meminfo: memFree=20563584/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=17324 CPUtime=0.69 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 1957 0 0 0 69 0 0 0 25 0 1 0 562488302 17739776 1903 33554432000 134512640 137138936 4286708560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 4331 1903 192 642 0 3687 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17324

[startup+1.50097 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20000
/proc/meminfo: memFree=20552600/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=21500 CPUtime=1.49 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 2980 0 0 0 149 0 0 0 25 0 1 0 562488302 22016000 2926 33554432000 134512640 137138936 4286708560 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 5375 2926 192 642 0 4731 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21500

[startup+3.10069 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20000
/proc/meminfo: memFree=20550244/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=22356 CPUtime=3.09 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 3215 0 0 0 308 1 0 0 25 0 1 0 562488302 22892544 3161 33554432000 134512640 137138936 4286708560 18446744073709551615 136297655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 5589 3161 192 642 0 4945 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22356

[startup+6.30013 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20000
/proc/meminfo: memFree=20547272/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=23584 CPUtime=6.29 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 3501 0 0 0 627 2 0 0 25 0 1 0 562488302 24150016 3447 33554432000 134512640 137138936 4286708560 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 5896 3447 192 642 0 5252 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23584

[startup+12.701 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20000
/proc/meminfo: memFree=20541896/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=24332 CPUtime=12.69 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 3692 0 0 0 1265 4 0 0 25 0 1 0 562488302 24915968 3638 33554432000 134512640 137138936 4286708560 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 6083 3638 192 642 0 5439 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24332

[startup+25.5007 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20000
/proc/meminfo: memFree=20536256/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=25072 CPUtime=25.49 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 3876 0 0 0 2542 7 0 0 25 0 1 0 562488302 25673728 3822 33554432000 134512640 137138936 4286708560 18446744073709551615 134603108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 6268 3822 192 642 0 5624 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25072

[startup+51.1012 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20001
/proc/meminfo: memFree=20521480/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=24952 CPUtime=51.09 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 4079 0 0 0 5095 14 0 0 25 0 1 0 562488302 25550848 3813 33554432000 134512640 137138936 4286708560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 6238 3813 192 642 0 5594 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 24952

[startup+102.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 20002
/proc/meminfo: memFree=20491204/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=27588 CPUtime=102.3 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 4736 0 0 0 10202 28 0 0 25 0 1 0 562488302 28250112 4470 33554432000 134512640 137138936 4286708560 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 6897 4470 192 642 0 6253 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 27588

[startup+162.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/489 20004
/proc/meminfo: memFree=20472456/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=28768 CPUtime=162.3 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 5018 0 0 0 16188 42 0 0 25 0 1 0 562488302 29458432 4752 33554432000 134512640 137138936 4286708560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 7192 4752 192 642 0 6548 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 28768

[startup+222.319 s]
/proc/loadavg: 2.06 2.04 2.01 3/489 20006
/proc/meminfo: memFree=20449616/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=29968 CPUtime=222.31 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 5326 0 0 0 22176 55 0 0 25 0 1 0 562488302 30687232 5060 33554432000 134512640 137138936 4286708560 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 7492 5060 192 642 0 6848 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 29968

[startup+282.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/489 20007
/proc/meminfo: memFree=20407804/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=31188 CPUtime=282.3 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 5644 0 0 0 28163 67 0 0 25 0 1 0 562488302 31936512 5372 33554432000 134512640 137138936 4286708560 18446744073709551615 134618515 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 7797 5372 192 642 0 7153 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 31188

[startup+342.301 s]
/proc/loadavg: 2.09 2.05 2.00 3/489 20009
/proc/meminfo: memFree=20362872/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=31328 CPUtime=342.3 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 5685 0 0 0 34153 77 0 0 25 0 1 0 562488302 32079872 5395 33554432000 134512640 137138936 4286708560 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 7832 5395 192 642 0 7188 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 31328

[startup+402.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/489 20010
/proc/meminfo: memFree=20332220/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=32824 CPUtime=402.3 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 6053 0 0 0 40140 90 0 0 25 0 1 0 562488302 33611776 5761 33554432000 134512640 137138936 4286708560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 8206 5761 192 642 0 7562 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 32824

[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/489 20012
/proc/meminfo: memFree=20322252/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=32668 CPUtime=462.3 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 6053 0 0 0 46128 102 0 0 25 0 1 0 562488302 33452032 5742 33554432000 134512640 137138936 4286708560 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 8167 5742 192 642 0 7523 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 32668

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20014
/proc/meminfo: memFree=20322236/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=32624 CPUtime=522.31 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 6053 0 0 0 52114 117 0 0 25 0 1 0 562488302 33406976 5731 33554432000 134512640 137138936 4286708560 18446744073709551615 134551023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 8156 5731 192 642 0 7512 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 32624

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20015
/proc/meminfo: memFree=20320856/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=34148 CPUtime=582.31 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 6419 0 0 0 58101 130 0 0 25 0 1 0 562488302 34967552 6096 33554432000 134512640 137138936 4286708560 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 8537 6096 192 642 0 7893 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 34148

[startup+642.301 s]

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

/proc/meminfo: memFree=20322124/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=35820 CPUtime=1122.31 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 6963 0 0 0 112009 222 0 0 25 0 1 0 562488302 36679680 6530 33554432000 134512640 137138936 4286708560 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 8955 6530 192 642 0 8311 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 35820

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 20059
/proc/meminfo: memFree=20321612/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=36016 CPUtime=1182.32 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 7011 0 0 0 117999 233 0 0 25 0 1 0 562488302 36880384 6578 33554432000 134512640 137138936 4286708560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 9004 6578 192 642 0 8360 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 36016

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 20061
/proc/meminfo: memFree=20321716/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=36016 CPUtime=1242.32 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 7011 0 0 0 123986 246 0 0 25 0 1 0 562488302 36880384 6578 33554432000 134512640 137138936 4286708560 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 9004 6578 192 642 0 8360 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 36016

[startup+1302.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/489 20062
/proc/meminfo: memFree=20320964/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=36076 CPUtime=1302.33 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 7020 0 0 0 129974 259 0 0 25 0 1 0 562488302 36941824 6587 33554432000 134512640 137138936 4286708560 18446744073709551615 134542894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 9019 6587 192 642 0 8375 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 36076

[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/489 20064
/proc/meminfo: memFree=20322308/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=36136 CPUtime=1362.32 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 7028 0 0 0 135961 271 0 0 25 0 1 0 562488302 37003264 6595 33554432000 134512640 137138936 4286708560 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 9034 6595 192 642 0 8390 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 36136

[startup+1422.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/489 20066
/proc/meminfo: memFree=20320560/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=38052 CPUtime=1422.33 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 7518 0 0 0 141952 281 0 0 25 0 1 0 562488302 38965248 7085 33554432000 134512640 137138936 4286708560 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 9513 7085 192 642 0 8869 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 38052

[startup+1482.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/489 20067
/proc/meminfo: memFree=20320672/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=37968 CPUtime=1482.32 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 7518 0 0 0 147942 290 0 0 25 0 1 0 562488302 38879232 7067 33554432000 134512640 137138936 4286708560 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 9492 7067 192 642 0 8848 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 37968

[startup+1542.32 s]
/proc/loadavg: 2.10 2.06 2.01 3/489 20069
/proc/meminfo: memFree=20320784/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=38016 CPUtime=1542.34 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 7525 0 0 0 153935 299 0 0 25 0 1 0 562488302 38928384 7074 33554432000 134512640 137138936 4286708560 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 9504 7074 192 642 0 8860 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 38016

[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/489 20070
/proc/meminfo: memFree=20320408/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=37960 CPUtime=1602.33 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 7525 0 0 0 159925 308 0 0 25 0 1 0 562488302 38871040 7065 33554432000 134512640 137138936 4286708560 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 9490 7065 192 642 0 8846 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 37960

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/489 20072
/proc/meminfo: memFree=20320888/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=38056 CPUtime=1662.33 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 7540 0 0 0 165916 317 0 0 25 0 1 0 562488302 38969344 7079 33554432000 134512640 137138936 4286708560 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 9514 7079 192 642 0 8870 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 38056

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/489 20074
/proc/meminfo: memFree=20320876/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=38028 CPUtime=1722.34 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 7540 0 0 0 171904 330 0 0 25 0 1 0 562488302 38940672 7079 33554432000 134512640 137138936 4286708560 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 9507 7079 192 642 0 8863 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 38028

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20075
/proc/meminfo: memFree=20319872/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=38020 CPUtime=1782.34 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 7540 0 0 0 177892 342 0 0 25 0 1 0 562488302 38932480 7079 33554432000 134512640 137138936 4286708560 18446744073709551615 136511125 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 9505 7079 192 642 0 8861 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 38020

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

[startup+1785.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20075
/proc/meminfo: memFree=20320864/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=38020 CPUtime=1785.63 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 7540 0 0 0 178221 342 0 0 25 0 1 0 562488302 38932480 7079 33554432000 134512640 137138936 4286708560 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 9505 7079 192 642 0 8861 0
Current children cumulated CPU time (s) 1785.63
Current children cumulated vsize (KiB) 38020

[startup+1792.02 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20076
/proc/meminfo: memFree=20320860/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=38016 CPUtime=1792.05 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 7540 0 0 0 178862 343 0 0 25 0 1 0 562488302 38928384 7079 33554432000 134512640 137138936 4286708560 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 9504 7079 192 642 0 8860 0
Current children cumulated CPU time (s) 1792.05
Current children cumulated vsize (KiB) 38016

[startup+1795.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20076
/proc/meminfo: memFree=20320488/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=38000 CPUtime=1795.24 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 7540 0 0 0 179180 344 0 0 25 0 1 0 562488302 38912000 7075 33554432000 134512640 137138936 4286708560 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 9500 7075 192 642 0 8856 0
Current children cumulated CPU time (s) 1795.24
Current children cumulated vsize (KiB) 38000

[startup+1796.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20076
/proc/meminfo: memFree=20320364/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=38000 CPUtime=1796.83 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 7540 0 0 0 179339 344 0 0 25 0 1 0 562488302 38912000 7075 33554432000 134512640 137138936 4286708560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 9500 7075 192 642 0 8856 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 38000

[startup+1797.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20076
/proc/meminfo: memFree=20320364/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=38000 CPUtime=1797.64 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 7540 0 0 0 179419 345 0 0 25 0 1 0 562488302 38912000 7075 33554432000 134512640 137138936 4286708560 18446744073709551615 134603250 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 9500 7075 192 642 0 8856 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 38000

[startup+1797.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20076
/proc/meminfo: memFree=20320364/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=38000 CPUtime=1797.84 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 7540 0 0 0 179439 345 0 0 25 0 1 0 562488302 38912000 7075 33554432000 134512640 137138936 4286708560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 9500 7075 192 642 0 8856 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 38000

[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20076
/proc/meminfo: memFree=20320364/32951124 swapFree=46575304/67111528
[pid=19999] ppid=19997 vsize=38000 CPUtime=1797.94 cores=1,3,5,7
/proc/19999/stat : 19999 (bsolo) R 19997 19999 17058 0 -1 4202496 7540 0 0 0 179449 345 0 0 25 0 1 0 562488302 38912000 7075 33554432000 134512640 137138936 4286708560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19999/statm: 9500 7075 192 642 0 8856 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 38000

Child status: 0
Real time (s): 1797.96
CPU time (s): 1798
CPU user time (s): 1794.55
CPU system time (s): 3.45347
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 38068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.55
system time used= 3.45347
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7541
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= 3056

runsolver used 8.72067 second user time and 19.702 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-04 12:22:50
IDJOB=3462795
IDBENCH=48211
IDSOLVER=1955
FILE ID=node107/3462795-1307182970
RUNJOBID= node107-1307173959-19066
PBS_JOBID= 13508844
Free space on /tmp= 73880 MiB

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

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

MD5SUM BENCH= 2585c1015aa6228da840b6f61adc6732
RANDOM SEED=130157147

node107.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.829
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.829
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	: 5332.75
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.829
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.67
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.829
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.82
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.829
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	: 5332.74
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.829
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	: 5359.47
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.829
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.75
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.829
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20563740 kB
Buffers:        336172 kB
Cached:        2179672 kB
SwapCached:      22548 kB
Active:       10001484 kB
Inactive:      2034088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20563740 kB
SwapTotal:    67111528 kB
SwapFree:     46575304 kB
Dirty:            3908 kB
Writeback:           0 kB
AnonPages:     9515164 kB
Mapped:          33480 kB
Slab:           186784 kB
PageTables:      96520 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145920264 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= 73876 MiB
End job on node107 at 2011-06-04 12:52:48