Trace number 3731077

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
PB09: bsolo 3.1SAT17280 1798 1798.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos5.opb
MD5SUM687e90f40c46b53feec9c54ee9b43fa6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15360
Best CPU time to get the best result obtained on this benchmark1352.86
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15360
Optimality of the best value was proved NO
Number of variables163
Total number of constraints73
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints70
Minimum length of a constraint11
Maximum length of a constraint102
Number of terms in the objective function 163
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 74742
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 74742
Number of bits of the biggest sum of numbers17
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.1 - 13/04/2009 : 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3731077-1338686016.opb
0.00/0.00	c File size is 50269 bytes.
0.00/0.00	c Highest Coefficient sum: 74742
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 163 Constr: 73 0/3/70 Lit: 5326 Watch. Lit: 548
0.00/0.00	c Obj. Vars: 163 (100 % of total variables)
0.00/0.00	c Pre-processing Time: 0.005 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    163       73     5326   72      548   10705      0      0 0.01
0.00/0.01	c Initial Lower Bound: 13312
0.00/0.01	c Initial Path Cost: 0
0.00/0.01	o 20480
0.03/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.08	c        0    163       74     5489   74      693   11031      1      0 0.01
0.03/0.08	o 18432
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0    163       75     5652   75      749   11357      2      0 0.09
0.09/0.17	o 17408
944.73/944.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
944.73/944.93	c        3    163       84     6848   81     1007   11357     11     17 0.17
944.73/944.93	c      104    163      385    50394  130     1648   12493    312    268 0.39
944.73/944.93	c      355    163     1133   145182  128     3246   13743   1060    474 0.75
944.73/944.93	c      832    163     2561   352928  137     6130   15118   2488    628 1.32
944.73/944.93	c     1645    163     5000   541614  108    10977   16630   4927    732 2.25
944.73/944.93	c     2966    163     8886   901877  101    18757   18294   8813    787 3.77
944.73/944.93	c     5048    163    15121  1487073   98    31228   20124  15048    749 6.74
944.73/944.93	c     8271    163    14636  1205637   82    29851   22137  14563    745 11.10
944.73/944.93	c    13208    163    18024  1334350   74    39165   24351  17951    716 18.43
944.73/944.93	c    20715    163    16031  1249686   77    32802   26787  15958    580 35.66
944.73/944.93	c    32076    163    23124  1812731   78    46783   29466  23051    543 59.01
944.73/944.93	c    49220    163    15311  1203166   78    31157   32413  15238    450 109.27
944.73/944.93	c    75040    163    27618  2169722   78    55778   35655  27545    421 178.11
944.73/944.93	c   113874    163    26044  1671834   64    52823   39221  25971    432 263.45
944.73/944.93	c   172228    163    19595  1119160   57    45409   43144  19522    415 414.62
944.73/944.93	c   259860    163    42471  2507639   59    85515   47459  42398    450 576.26
944.73/944.93	c   391412    163    39085  3671056   93   131511   52205  39012    414 944.61
944.73/944.93	o 17396
1020.61/1020.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1020.61/1020.85	c   391464    163    39189  3679899   93   132519   11031  39116    414 944.77
1020.61/1020.85	c   391567    163     5881   560166   95    19469   12135   5808    412 948.56
1020.61/1020.85	c   391818    163     6587   629970   95    20856   13349   6514    412 948.92
1020.61/1020.85	c   392293    163     8012   782944   97    23709   14684   7939    413 949.55
1020.61/1020.85	c   393106    163    10405  1041015  100    28478   16153  10332    413 950.61
1020.61/1020.85	c   394431    163    13943  1448020  103    36197   17769  13870    414 952.14
1020.61/1020.85	c   396512    163    11068  1197132  108    23242   19546  10995    415 954.97
1020.61/1020.85	c   399735    163    17568  1832992  104    43080   21501  17495    417 957.58
1020.61/1020.85	c   404671    163    20202  1942624   96    53883   23652  20129    419 963.96
1020.61/1020.85	c   412177    163    18616  1688941   90    41448   26018  18543    421 977.07
1020.61/1020.85	c   423539    163    13347  1428994  107    49051   28620  13274    425 996.40
1020.61/1020.85	o 17280
1797.98/1798.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1798.30	c   437899    163    26834  2991442  111    62061   11031  26761    429 1020.67
1797.98/1798.30	c   438001    163     5895   648214  109    13495   12135   5822    428 1021.64
1797.98/1798.30	c   438253    163     6565   719540  109    14832   13349   6492    428 1022.03
1797.98/1798.30	c   438728    163     7989   865440  108    17665   14684   7916    429 1022.67
1797.98/1798.30	c   439541    163    10034  1081952  107    21766   16153   9961    429 1023.93
1797.98/1798.30	c   440861    163    13853  1432636  103    30080   17769  13780    429 1025.70
1797.98/1798.30	c   442942    163    10986  1058366   96    23825   19546  10913    430 1028.47
1797.98/1798.30	c   446166    163    19342  1971141  101    48323   21501  19269    432 1031.71
1797.98/1798.30	c   451102    163    12413  1391716  112    27111   23652  12340    434 1037.86
1797.98/1798.30	c   458609    163    22618  2691846  119    46309   26018  22545    436 1049.56
1797.98/1798.30	c   469971    163    16519  1161342   70    33763   28620  16446    439 1069.61
1797.98/1798.30	c   487115    163    25864  2136643   82   105627   31483  25791    445 1093.59
1797.98/1798.30	c   512934    163    21121  1942065   91    43967   34632  21048    439 1166.17
1797.98/1798.30	c   551767    163    28073  3362102  119    58187   38096  28000    436 1264.90
1797.98/1798.30	c   610120    163    35831  3860203  107    87000   41906  35758    440 1384.79
1797.98/1798.30	c   697754    163    22417  2064525   92    45840   46097  22344    435 1600.72
1797.98/1798.30	c Resources Exceeded
1797.98/1798.30	v -x1 x12 x23 -x34 -x45 -x116 -x161 -x162 -x163 x2 -x3 -x4 x5 -x6 -x7 -x8 x9 x10 -x11 -x13 -x14 -x15 x16 -x17 -x18 -x19 x20 -x21 -x22 x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 x32 -x33 -x35 x36 -x37 x38 -x39 -x40 -x41 x42 -x43 -x44 -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 -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 
1797.98/1798.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.30	c   46   771899   2114   778895    35635  3991776  35562    429 1798.00
1797.98/1798.30	c Objective: 17280
1797.98/1798.30	s SATISFIABLE
1797.98/1798.30	c Total time: 1798 s

Verifier Data 

OK	17280

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-3731077-1338686016/watcher-3731077-1338686016 -o /tmp/evaluation-result-3731077-1338686016/solver-3731077-1338686016 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3731077-1338686016.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: 1.99 1.98 1.97 3/175 17357
/proc/meminfo: memFree=26872512/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=18732 CPUtime=0 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 334727035 19181568 272 33554432000 134512640 137136520 4289125312 4289121852 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 4683 272 189 641 0 4039 0

[startup+0.036163 s]
/proc/loadavg: 1.99 1.98 1.97 3/175 17357
/proc/meminfo: memFree=26872512/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=19596 CPUtime=0.03 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 579 0 0 0 3 0 0 0 20 0 1 0 334727035 20066304 463 33554432000 134512640 137136520 4289125312 4289123296 134710069 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 4899 463 289 641 0 4255 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19596

[startup+0.100208 s]
/proc/loadavg: 1.99 1.98 1.97 3/175 17357
/proc/meminfo: memFree=26872512/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=19896 CPUtime=0.09 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 1133 0 0 0 9 0 0 0 20 0 1 0 334727035 20373504 482 33554432000 134512640 137136520 4289125312 4289122672 135431149 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 4974 482 290 641 0 4330 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19896

[startup+0.300218 s]
/proc/loadavg: 1.99 1.98 1.97 3/175 17357
/proc/meminfo: memFree=26872512/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=12000 CPUtime=0.29 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 6171 0 0 0 29 0 0 0 20 0 1 0 334727035 12288000 491 33554432000 134512640 137136520 4289125312 4289122696 136505127 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 2798 464 292 641 0 2154 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12000

[startup+0.700219 s]
/proc/loadavg: 1.99 1.98 1.97 3/175 17357
/proc/meminfo: memFree=26872512/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=12644 CPUtime=0.69 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 22038 0 0 0 67 2 0 0 20 0 1 0 334727035 12947456 827 33554432000 134512640 137136520 4289125312 4289123388 136698750 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 3161 827 292 641 0 2517 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12644

[startup+1.50018 s]
/proc/loadavg: 1.99 1.98 1.97 3/176 17358
/proc/meminfo: memFree=26869412/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=16824 CPUtime=1.49 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 54075 0 0 0 141 8 0 0 20 0 1 0 334727035 17227776 1697 33554432000 134512640 137136520 4289125312 4289122856 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 4240 1698 292 641 0 3596 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16824

[startup+3.10018 s]
/proc/loadavg: 1.99 1.98 1.97 3/176 17358
/proc/meminfo: memFree=26864840/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=21136 CPUtime=3.09 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 121066 0 0 0 291 18 0 0 20 0 1 0 334727035 21643264 2951 33554432000 134512640 137136520 4289125312 4289123908 136499618 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 5470 2960 293 641 0 4826 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21136

[startup+6.3002 s]
/proc/loadavg: 1.99 1.98 1.97 3/176 17358
/proc/meminfo: memFree=26854548/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=31296 CPUtime=6.28 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 227842 0 0 0 595 33 0 0 20 0 1 0 334727035 32047104 5304 33554432000 134512640 137136520 4289125312 4289122696 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 7824 5304 293 641 0 7180 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 31296

[startup+12.7001 s]
/proc/loadavg: 1.99 1.98 1.97 3/176 17358
/proc/meminfo: memFree=26847108/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=37312 CPUtime=12.69 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 327321 0 0 0 1218 51 0 0 20 0 1 0 334727035 38207488 6946 33554432000 134512640 137136520 4289125312 4289124208 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 9328 6946 293 641 0 8684 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37312

[startup+25.5003 s]
/proc/loadavg: 1.99 1.98 1.97 4/176 17358
/proc/meminfo: memFree=26846332/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=38280 CPUtime=25.48 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 370076 0 0 0 2489 59 0 0 20 0 1 0 334727035 39198720 7237 33554432000 134512640 137136520 4289125312 4289124428 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 9570 7237 293 641 0 8926 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38280

[startup+51.1002 s]
/proc/loadavg: 1.99 1.98 1.97 3/176 17358
/proc/meminfo: memFree=26842524/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=41172 CPUtime=51.06 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 755421 0 0 0 4972 134 0 0 20 0 1 0 334727035 42160128 7962 33554432000 134512640 137136520 4289125312 4289123864 136502161 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 10293 7962 293 641 0 9649 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 41172

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.97 3/176 17406
/proc/meminfo: memFree=26785784/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=44300 CPUtime=102.26 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 1366062 0 0 0 9970 256 0 0 20 0 1 0 334727035 45363200 8746 33554432000 134512640 137136520 4289125312 4289124240 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 11075 8746 293 641 0 10431 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 44300

[startup+162.3 s]
/proc/loadavg: 2.06 2.00 1.98 3/176 17406
/proc/meminfo: memFree=26643336/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=47536 CPUtime=162.25 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 2080184 0 0 0 15833 392 0 0 20 0 1 0 334727035 48676864 9559 33554432000 134512640 137136520 4289125312 4289124240 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 11884 9559 293 641 0 11240 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 47536

[startup+222.3 s]
/proc/loadavg: 2.02 2.00 1.98 3/176 17407
/proc/meminfo: memFree=26543172/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=50964 CPUtime=222.24 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 2822081 0 0 0 21684 540 0 0 20 0 1 0 334727035 52187136 10415 33554432000 134512640 137136520 4289125312 4289124232 135982503 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 12741 10415 293 641 0 12097 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 50964

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 17407
/proc/meminfo: memFree=26466072/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=50972 CPUtime=282.23 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 3413292 0 0 0 27558 665 0 0 20 0 1 0 334727035 52195328 10418 33554432000 134512640 137136520 4289125312 4289123340 136698750 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 12743 10418 293 641 0 12099 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 50972

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 17407
/proc/meminfo: memFree=26393812/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=50972 CPUtime=342.22 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 4112153 0 0 0 33415 807 0 0 20 0 1 0 334727035 52195328 10418 33554432000 134512640 137136520 4289125312 4289123340 136698750 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 12743 10418 293 641 0 12099 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 50972

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 17410
/proc/meminfo: memFree=26332420/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=51624 CPUtime=402.21 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 4864490 0 0 0 39258 963 0 0 20 0 1 0 334727035 52862976 10429 33554432000 134512640 137136520 4289125312 4289123072 135449394 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 12906 10418 293 641 0 12262 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 51624

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 17410
/proc/meminfo: memFree=26269716/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=54136 CPUtime=462.19 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 5772734 0 0 0 45068 1151 0 0 20 0 1 0 334727035 55435264 11209 33554432000 134512640 137136520 4289125312 4289124240 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 13534 11209 293 641 0 12890 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 54136

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 17410
/proc/meminfo: memFree=26211704/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=54136 CPUtime=522.19 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 6801668 0 0 0 50853 1366 0 0 20 0 1 0 334727035 55435264 11209 33554432000 134512640 137136520 4289125312 4289123804 136295552 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 13534 11209 293 641 0 12890 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 54136

[startup+582.3 s]
/proc/loadavg: 2.06 2.02 1.98 3/176 17411
/proc/meminfo: memFree=26168544/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=54336 CPUtime=582.17 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 7738216 0 0 0 56654 1563 0 0 20 0 1 0 334727035 55640064 11227 33554432000 134512640 137136520 4289125312 4289124352 134540859 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 13584 11227 293 641 0 12940 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 54336

[startup+642.3 s]

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

/proc/meminfo: memFree=25867508/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=78464 CPUtime=1062.1 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 10677698 0 0 0 103975 2235 0 0 20 0 1 0 334727035 80347136 17230 33554432000 134512640 137136520 4289125312 4289123868 136518950 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 19616 17230 293 641 0 18972 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 78464

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/176 17417
/proc/meminfo: memFree=25831936/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=78464 CPUtime=1122.09 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 10677710 0 0 0 109971 2238 0 0 20 0 1 0 334727035 80347136 17230 33554432000 134512640 137136520 4289125312 4289123200 134748125 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 19616 17230 293 641 0 18972 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 78464

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/176 17418
/proc/meminfo: memFree=25791168/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=78464 CPUtime=1182.08 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 10677710 0 0 0 115967 2241 0 0 20 0 1 0 334727035 80347136 17230 33554432000 134512640 137136520 4289125312 4289124208 134544116 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 19616 17230 293 641 0 18972 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 78464

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 17418
/proc/meminfo: memFree=25756696/32873624 swapFree=7116/7116
[pid=17357] ppid=17355 vsize=78464 CPUtime=1242.06 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 10677710 0 0 0 121964 2242 0 0 20 0 1 0 334727035 80347136 17230 33554432000 134512640 137136520 4289125312 4289124428 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 19616 17230 293 641 0 18972 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 78464

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 17418
/proc/meminfo: memFree=25727184/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=78464 CPUtime=1302.07 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 10677710 0 0 0 127962 2245 0 0 20 0 1 0 334727035 80347136 17230 33554432000 134512640 137136520 4289125312 4289124208 134544122 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 19616 17230 293 641 0 18972 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 78464

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 17418
/proc/meminfo: memFree=25699408/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=78464 CPUtime=1362.05 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 10677710 0 0 0 133958 2247 0 0 20 0 1 0 334727035 80347136 17230 33554432000 134512640 137136520 4289125312 4289124240 134544500 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 19616 17230 293 641 0 18972 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 78464

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 17418
/proc/meminfo: memFree=25674484/32873624 swapFree=7116/7116
[pid=17357] ppid=17355 vsize=78464 CPUtime=1422.04 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 10677710 0 0 0 139955 2249 0 0 20 0 1 0 334727035 80347136 17230 33554432000 134512640 137136520 4289125312 4289124208 134544145 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 19616 17230 293 641 0 18972 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 78464

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 17419
/proc/meminfo: memFree=25652296/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=78464 CPUtime=1482.03 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 10677710 0 0 0 145952 2251 0 0 20 0 1 0 334727035 80347136 17230 33554432000 134512640 137136520 4289125312 4289124208 134543971 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 19616 17230 293 641 0 18972 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 78464

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 17628
/proc/meminfo: memFree=25634052/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=78464 CPUtime=1542.02 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 10677710 0 0 0 151948 2254 0 0 20 0 1 0 334727035 80347136 17230 33554432000 134512640 137136520 4289125312 4289123936 134542228 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 19616 17230 293 641 0 18972 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 78464

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 17630
/proc/meminfo: memFree=25615404/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=78464 CPUtime=1602.01 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 10677710 0 0 0 157945 2256 0 0 20 0 1 0 334727035 80347136 17230 33554432000 134512640 137136520 4289125312 4289124240 134544604 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 19616 17230 293 641 0 18972 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 78464

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 17630
/proc/meminfo: memFree=25586400/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=87900 CPUtime=1662 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 10895852 0 0 0 163903 2297 0 0 20 0 1 0 334727035 90009600 19650 33554432000 134512640 137136520 4289125312 4289124208 134543918 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 21975 19650 293 641 0 21331 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 87900

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 17630
/proc/meminfo: memFree=25567304/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=88320 CPUtime=1721.99 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 11470976 0 0 0 169780 2419 0 0 20 0 1 0 334727035 90439680 19755 33554432000 134512640 137136520 4289125312 4289124428 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 22080 19755 293 641 0 21436 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 88320

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 17631
/proc/meminfo: memFree=25550448/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=88492 CPUtime=1781.98 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 11898926 0 0 0 175675 2523 0 0 20 0 1 0 334727035 90615808 19766 33554432000 134512640 137136520 4289125312 4289124352 134540859 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 22123 19766 293 641 0 21479 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 88492

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

[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 17631
/proc/meminfo: memFree=25547208/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=88308 CPUtime=1791.59 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 11970913 0 0 0 176618 2541 0 0 20 0 1 0 334727035 90427392 19752 33554432000 134512640 137136520 4289125312 4289124208 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 22077 19752 293 641 0 21433 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 88308

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 17631
/proc/meminfo: memFree=25546340/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=88308 CPUtime=1794.79 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 11992988 0 0 0 176933 2546 0 0 20 0 1 0 334727035 90427392 19752 33554432000 134512640 137136520 4289125312 4289124208 134544256 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 22077 19752 293 641 0 21433 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 88308

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 17631
/proc/meminfo: memFree=25545844/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=88308 CPUtime=1796.38 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 12003253 0 0 0 177090 2548 0 0 20 0 1 0 334727035 90427392 19752 33554432000 134512640 137136520 4289125312 4289124208 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 22077 19752 293 641 0 21433 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 88308

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 17631
/proc/meminfo: memFree=25545596/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=88956 CPUtime=1797.18 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 12008092 0 0 0 177168 2550 0 0 20 0 1 0 334727035 91090944 19759 33554432000 134512640 137136520 4289125312 4289123000 135443262 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 22239 19759 293 641 0 21595 0
Current children cumulated CPU time (s) 1797.18
Current children cumulated vsize (KiB) 88956

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 17631
/proc/meminfo: memFree=25545596/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=88308 CPUtime=1797.59 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 12010701 0 0 0 177208 2551 0 0 20 0 1 0 334727035 90427392 19752 33554432000 134512640 137136520 4289125312 4289124208 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 22077 19752 293 641 0 21433 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 88308

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 17631
/proc/meminfo: memFree=25545596/32873624 swapFree=7112/7112
[pid=17357] ppid=17355 vsize=88812 CPUtime=1797.98 cores=0,2,4,6
/proc/17357/stat : 17357 (bsolo) R 17355 17357 5438 0 -1 4202496 12013695 0 0 0 177246 2552 0 0 20 0 1 0 334727035 90943488 19759 33554432000 134512640 137136520 4289125312 4289123172 135453877 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 22203 19759 293 641 0 21559 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 88812

Child status: 0
Real time (s): 1798.31
CPU time (s): 1798
CPU user time (s): 1772.48
CPU system time (s): 25.5231
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 89156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.48
system time used= 25.5231
maximum resident set size= 79100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12013765
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= 36
involuntary context switches= 1895

runsolver used 2.74458 second user time and 7.29089 second system time

The end

Launcher Data 

Begin job on node121 at 2012-06-03 03:13:36
IDJOB=3731077
IDBENCH=1848
IDSOLVER=2320
FILE ID=node121/3731077-1338686016
RUNJOBID= node121-1338679211-14282
PBS_JOBID= 14636692
Free space on /tmp= 71248 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731077-1338686016/watcher-3731077-1338686016 -o /tmp/evaluation-result-3731077-1338686016/solver-3731077-1338686016 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3731077-1338686016.opb

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

MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6
RANDOM SEED=111672303

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
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.042
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.042
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	: 5438.55
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.042
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:       32873624 kB
MemFree:        26872320 kB
Buffers:          605496 kB
Cached:          4449436 kB
SwapCached:            0 kB
Active:          1834584 kB
Inactive:        3292148 kB
Active(anon):      58924 kB
Inactive(anon):    10772 kB
Active(file):    1775660 kB
Inactive(file):  3281376 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3856 kB
Writeback:             4 kB
AnonPages:         73996 kB
Mapped:            14872 kB
Shmem:               200 kB
Slab:             736612 kB
SReclaimable:     180352 kB
SUnreclaim:       556260 kB
KernelStack:        1456 kB
PageTables:         3636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     179600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3731077-1338686016.opb

Free space on /tmp at the end= 71252 MiB
End job on node121 at 2012-06-03 03:43:34