Trace number 3462523

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.2OPT3 1482.21 1482.21

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=43-P1=101-P2=251-P3=307-P4=499-B.opb
MD5SUMe79e2db14e141163591dbcfdfed7384a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.140977
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables108
Total number of constraints9
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 constraints9
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)324
Sum of products size (including duplicates)648
Number of different products324
Sum of products size648

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-3462523-1307181153.opb
0.00/0.00	c File size is 5689 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694
0.00/0.00	c Obj. Vars: 9 (2.08333 % of total variables)
0.00/0.00	c Pre-processing Time: 0.002 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    432      661     2763    4     2377    3689      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
49.09/49.18	c      101    432      851    13360   15     2867    4058    190   5315 0.02
49.09/49.18	c      253    432     1153    35992   31     3727    4464    492   6023 0.04
49.09/49.18	c      478    432     1592    69094   43     4876    4911    931   5558 0.09
49.09/49.18	c      816    432     2264   118208   52     6766    5403   1603   6000 0.14
49.09/49.18	c     1324    432     3040   173904   57     8457    5944   2379   5131 0.26
49.09/49.18	c     2087    432     4539   266677   58    12553    6539   3878   4536 0.46
49.09/49.18	c     3233    432     6662   410644   61    17734    7193   6001   3443 0.94
49.09/49.18	c     4954    432     6234   380330   61    15664    7913   5573   2730 1.81
49.09/49.18	c     7538    432     7000   436511   62    17046    8705   6339   2370 3.18
49.09/49.18	c    11417    432     5412   322574   59    13464    9576   4751   2166 5.27
49.09/49.18	c    17239    432     6593   403367   61    16149   10534   5932   2044 8.43
49.09/49.18	c    25977    432     7312   423259   57    18859   11588   6651   1996 13.01
49.09/49.18	c    39088    432     8655   554937   64    22855   12747   7994   2050 19.07
49.09/49.18	c    58759    432     7716   463405   60    19866   14022   7055   2027 28.98
49.09/49.18	c    88269    432    13154  1011396   76    32656   15425  12493   2029 43.50
49.09/49.18	o 113
60.69/60.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.69/60.79	c    99095    432     9511   675256   70    22615    3708   8850   2014 49.18
60.69/60.79	c    99195    432     2708   166661   61     6808    4079   2047   2014 49.24
60.69/60.79	c    99446    432     3201   208272   65     7928    4487   2540   2017 49.30
60.69/60.79	c    99921    432     4124   274834   66    10304    4936   3463   2022 49.40
60.69/60.79	c   100734    432     3130   194306   62     8214    5430   2469   2030 49.60
60.69/60.79	c   102054    432     5709   371500   65    15188    5974   5048   2044 49.91
60.69/60.79	c   104135    432     3649   198748   54     9950    6572   2988   2055 50.67
60.69/60.79	c   107359    432     6266   367163   58    17052    7230   5605   2083 51.53
60.69/60.79	c   112296    410     7861   518185   65    20777    7954   7200   2103 53.38
60.69/60.79	c   119803    410     8530   539270   63    21708    8750   7869   2133 56.15
60.69/60.79	c   131165    410     6521   385385   59    17065    9626   5860   2164 60.59
60.69/60.79	o 3
1482.20/1482.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1482.20/1482.20	c   131887    410     7868   476322   60    20637    3703   7207   2169 60.79
1482.20/1482.20	c   131988    367     2697   145291   53     7282    4074   2036   2168 60.87
1482.20/1482.20	c   132239    367     3191   179550   56     8618    4482   2530   2170 60.93
1482.20/1482.20	c   132714    367     4104   238638   58    10969    4931   3443   2172 61.08
1482.20/1482.20	c   133529    367     3134   184278   58     8207    5425   2473   2177 61.33
1482.20/1482.20	c   134850    367     5699   339436   59    14991    5968   5038   2185 61.71
1482.20/1482.20	c   136931    343     6606   404212   61    17467    6565   5945   2196 62.33
1482.20/1482.20	c   140155    343     5787   363302   62    15451    7222   5126   2211 63.38
1482.20/1482.20	c   145092    343     7725   456352   59    20308    7945   7064   2229 65.06
1482.20/1482.20	c   152598    343     5723   329096   57    15135    8740   5062   2225 68.57
1482.20/1482.20	c   163960    343     5040   288834   57    12887    9615   4379   2217 73.94
1482.20/1482.20	c   181105    343     6987   443288   63    17961   10577   6326   2182 82.97
1482.20/1482.20	c   206925    343     6828   447922   65    17256   11635   6167   2175 95.14
1482.20/1482.20	c   245757    343     6488   408669   62    16808   12799   5827   2075 118.38
1482.20/1482.20	c   304109    343    11726   809517   69    28073   14079  11065   1973 154.06
1482.20/1482.20	c   391742    343    11326   735915   64    30364   15487  10665   1949 200.94
1482.20/1482.20	c   523295    343     9890   616159   62    25330   17036   9229   1856 281.94
1482.20/1482.20	c   720727    343    16102  1003859   62    41264   18740  15441   1814 397.12
1482.20/1482.20	c  1016979    343    10041   661791   65    25684   20615   9380   1751 580.72
1482.20/1482.20	c  1461462    342    11527   728005   63    29793   22677  10866   1686 866.33
1482.20/1482.20	c  2128289    341    14970   903769   60    40413   24945  14309   1580 1346.95
1482.20/1482.20	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 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 
1482.20/1482.20	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1482.20/1482.20	c   47  2287576  18438  2329875    25285  1512681  24624   1543 1482.21
1482.20/1482.20	c Objective: 3
1482.20/1482.20	s OPTIMUM FOUND
1482.20/1482.20	c Total time: 1482.21 s

Verifier Data 

OK	3

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/386 7827
/proc/meminfo: memFree=23606212/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=10924 CPUtime=0 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 829718041 11186176 284 33554432000 134512640 137138936 4294214144 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7827/statm: 2731 284 185 642 0 2087 0

[startup+0.019601 s]
/proc/loadavg: 2.00 2.00 2.00 3/386 7827
/proc/meminfo: memFree=23606212/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=11052 CPUtime=0.01 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 362 0 0 0 1 0 0 0 25 0 1 0 829718041 11317248 315 33554432000 134512640 137138936 4294214144 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7827/statm: 2763 315 192 642 0 2119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11052

[startup+0.100635 s]
/proc/loadavg: 2.00 2.00 2.00 3/386 7827
/proc/meminfo: memFree=23606212/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=11956 CPUtime=0.09 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 600 0 0 0 9 0 0 0 25 0 1 0 829718041 12242944 553 33554432000 134512640 137138936 4294214144 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7827/statm: 2989 553 192 642 0 2345 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11956

[startup+0.300597 s]
/proc/loadavg: 2.00 2.00 2.00 3/386 7827
/proc/meminfo: memFree=23606212/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=13636 CPUtime=0.29 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 1005 0 0 0 29 0 0 0 25 0 1 0 829718041 13963264 958 33554432000 134512640 137138936 4294214144 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7827/statm: 3409 958 192 642 0 2765 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13636

[startup+0.700516 s]
/proc/loadavg: 2.00 2.00 2.00 3/386 7827
/proc/meminfo: memFree=23606212/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=15728 CPUtime=0.69 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 1551 0 0 0 69 0 0 0 25 0 1 0 829718041 16105472 1504 33554432000 134512640 137138936 4294214144 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7827/statm: 3932 1504 192 642 0 3288 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15728

[startup+1.50038 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7828
/proc/meminfo: memFree=23599508/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=18176 CPUtime=1.48 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 2142 0 0 0 148 0 0 0 25 0 1 0 829718041 18612224 2095 33554432000 134512640 137138936 4294214144 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7827/statm: 4544 2095 192 642 0 3900 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 18176

[startup+3.10109 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7828
/proc/meminfo: memFree=23597644/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=18820 CPUtime=3.09 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 2317 0 0 0 308 1 0 0 25 0 1 0 829718041 19271680 2270 33554432000 134512640 137138936 4294214144 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7827/statm: 4705 2270 192 642 0 4061 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18820

[startup+6.30054 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7828
/proc/meminfo: memFree=23594792/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=19696 CPUtime=6.29 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 2524 0 0 0 628 1 0 0 25 0 1 0 829718041 20168704 2477 33554432000 134512640 137138936 4294214144 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7827/statm: 4924 2477 192 642 0 4280 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19696

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7829
/proc/meminfo: memFree=23591176/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=21224 CPUtime=12.69 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 2907 0 0 0 1267 2 0 0 25 0 1 0 829718041 21733376 2860 33554432000 134512640 137138936 4294214144 18446744073709551615 134540744 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7827/statm: 5306 2860 192 642 0 4662 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21224

[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7829
/proc/meminfo: memFree=23587936/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=23472 CPUtime=25.49 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 3482 0 0 0 2545 4 0 0 25 0 1 0 829718041 24035328 3435 33554432000 134512640 137138936 4294214144 18446744073709551615 134603102 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7827/statm: 5868 3435 192 642 0 5224 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23472

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7830
/proc/meminfo: memFree=23582556/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=28908 CPUtime=51.08 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 4842 0 0 0 5101 7 0 0 25 0 1 0 829718041 29601792 4795 33554432000 134512640 137138936 4294214144 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7827/statm: 7227 4795 192 642 0 6583 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28908

[startup+102.314 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7858
/proc/meminfo: memFree=23585720/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=28908 CPUtime=102.3 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 4842 0 0 0 10214 16 0 0 25 0 1 0 829718041 29601792 4795 33554432000 134512640 137138936 4294214144 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7827/statm: 7227 4795 192 642 0 6583 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 28908

[startup+162.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/387 7860
/proc/meminfo: memFree=23583944/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=28908 CPUtime=162.28 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 4842 0 0 0 16205 23 0 0 25 0 1 0 829718041 29601792 4795 33554432000 134512640 137138936 4294214144 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7827/statm: 7227 4795 192 642 0 6583 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 28908

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/387 7861
/proc/meminfo: memFree=23584556/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=28908 CPUtime=222.26 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 4842 0 0 0 22196 30 0 0 25 0 1 0 829718041 29601792 4795 33554432000 134512640 137138936 4294214144 18446744073709551615 134606995 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 7227 4795 192 642 0 6583 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 28908

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/387 7890
/proc/meminfo: memFree=23577092/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=28908 CPUtime=282.27 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 4842 0 0 0 28191 36 0 0 25 0 1 0 829718041 29601792 4795 33554432000 134512640 137138936 4294214144 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 7227 4795 192 642 0 6583 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 28908

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7891
/proc/meminfo: memFree=23567132/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=29888 CPUtime=342.27 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 5080 0 0 0 34184 43 0 0 25 0 1 0 829718041 30605312 5033 33554432000 134512640 137138936 4294214144 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 7472 5033 192 642 0 6828 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 29888

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7893
/proc/meminfo: memFree=23562272/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=29892 CPUtime=402.27 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 5087 0 0 0 40177 50 0 0 25 0 1 0 829718041 30609408 5040 33554432000 134512640 137138936 4294214144 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 7473 5040 192 642 0 6829 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 29892

[startup+462.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/387 7895
/proc/meminfo: memFree=23561364/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=31008 CPUtime=462.27 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 5364 0 0 0 46171 56 0 0 25 0 1 0 829718041 31752192 5317 33554432000 134512640 137138936 4294214144 18446744073709551615 136296998 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 7752 5317 192 642 0 7108 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 31008

[startup+522.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/387 7905
/proc/meminfo: memFree=23555684/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=30996 CPUtime=522.28 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 5364 0 0 0 52166 62 0 0 25 0 1 0 829718041 31739904 5317 33554432000 134512640 137138936 4294214144 18446744073709551615 134542430 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 7749 5317 192 642 0 7105 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 30996

[startup+582.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/387 7907
/proc/meminfo: memFree=23554692/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=30988 CPUtime=582.28 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 5364 0 0 0 58159 69 0 0 25 0 1 0 829718041 31731712 5317 33554432000 134512640 137138936 4294214144 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 7747 5317 192 642 0 7103 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 30988

[startup+642.301 s]

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

/proc/meminfo: memFree=23551752/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=33004 CPUtime=882.29 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 5874 0 0 0 88128 101 0 0 25 0 1 0 829718041 33796096 5827 33554432000 134512640 137138936 4294214144 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 8251 5827 192 642 0 7607 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 33004

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7919
/proc/meminfo: memFree=23549352/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=33340 CPUtime=942.28 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 5953 0 0 0 94122 106 0 0 25 0 1 0 829718041 34140160 5905 33554432000 134512640 137138936 4294214144 18446744073709551615 136297647 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 8335 5905 192 642 0 7691 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 33340

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7921
/proc/meminfo: memFree=23543752/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=34748 CPUtime=1002.28 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 6311 0 0 0 100117 111 0 0 25 0 1 0 829718041 35581952 6263 33554432000 134512640 137138936 4294214144 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 8687 6263 192 642 0 8043 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 34748

[startup+1062.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/387 7923
/proc/meminfo: memFree=23540984/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=34748 CPUtime=1062.29 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 6311 0 0 0 106112 117 0 0 25 0 1 0 829718041 35581952 6263 33554432000 134512640 137138936 4294214144 18446744073709551615 136504280 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 8687 6263 192 642 0 8043 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 34748

[startup+1122.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/387 7924
/proc/meminfo: memFree=23540816/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=34748 CPUtime=1122.29 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 6311 0 0 0 112107 122 0 0 25 0 1 0 829718041 35581952 6263 33554432000 134512640 137138936 4294214144 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 8687 6263 192 642 0 8043 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 34748

[startup+1182.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/387 7926
/proc/meminfo: memFree=23540776/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=34748 CPUtime=1182.29 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 6311 0 0 0 118101 128 0 0 25 0 1 0 829718041 35581952 6263 33554432000 134512640 137138936 4294214144 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 8687 6263 192 642 0 8043 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 34748

[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/387 7927
/proc/meminfo: memFree=23540728/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=34748 CPUtime=1242.3 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 6311 0 0 0 124097 133 0 0 25 0 1 0 829718041 35581952 6263 33554432000 134512640 137138936 4294214144 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 8687 6263 192 642 0 8043 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 34748

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/387 7929
/proc/meminfo: memFree=23539948/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=34748 CPUtime=1302.3 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 6311 0 0 0 130092 138 0 0 25 0 1 0 829718041 35581952 6263 33554432000 134512640 137138936 4294214144 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 8687 6263 192 642 0 8043 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 34748

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 7931
/proc/meminfo: memFree=23540520/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=34748 CPUtime=1362.29 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 6313 0 0 0 136086 143 0 0 25 0 1 0 829718041 35581952 6263 33554432000 134512640 137138936 4294214144 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 8687 6263 192 642 0 8043 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 34748

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7932
/proc/meminfo: memFree=23540476/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=35184 CPUtime=1422.3 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 6415 0 0 0 142083 147 0 0 25 0 1 0 829718041 36028416 6365 33554432000 134512640 137138936 4294214144 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 8796 6365 192 642 0 8152 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 35184

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

[startup+1433.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7933
/proc/meminfo: memFree=23540344/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=35184 CPUtime=1433.49 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 6415 0 0 0 143201 148 0 0 25 0 1 0 829718041 36028416 6365 33554432000 134512640 137138936 4294214144 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 8796 6365 192 642 0 8152 0
Current children cumulated CPU time (s) 1433.49
Current children cumulated vsize (KiB) 35184

[startup+1459.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7933
/proc/meminfo: memFree=23539712/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=35180 CPUtime=1459.1 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 6415 0 0 0 145760 150 0 0 25 0 1 0 829718041 36024320 6365 33554432000 134512640 137138936 4294214144 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 8795 6365 192 642 0 8151 0
Current children cumulated CPU time (s) 1459.1
Current children cumulated vsize (KiB) 35180

[startup+1471.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7934
/proc/meminfo: memFree=23539568/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=35180 CPUtime=1471.9 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 6415 0 0 0 147039 151 0 0 25 0 1 0 829718041 36024320 6365 33554432000 134512640 137138936 4294214144 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 8795 6365 192 642 0 8151 0
Current children cumulated CPU time (s) 1471.9
Current children cumulated vsize (KiB) 35180

[startup+1478.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7934
/proc/meminfo: memFree=23539692/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=35180 CPUtime=1478.3 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 6415 0 0 0 147679 151 0 0 25 0 1 0 829718041 36024320 6365 33554432000 134512640 137138936 4294214144 18446744073709551615 134542273 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 8795 6365 192 642 0 8151 0
Current children cumulated CPU time (s) 1478.3
Current children cumulated vsize (KiB) 35180

[startup+1479.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7934
/proc/meminfo: memFree=23539692/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=35180 CPUtime=1479.9 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 6415 0 0 0 147839 151 0 0 25 0 1 0 829718041 36024320 6365 33554432000 134512640 137138936 4294214144 18446744073709551615 134542434 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 8795 6365 192 642 0 8151 0
Current children cumulated CPU time (s) 1479.9
Current children cumulated vsize (KiB) 35180

[startup+1481.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7934
/proc/meminfo: memFree=23539568/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=35180 CPUtime=1481.5 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 6415 0 0 0 147999 151 0 0 25 0 1 0 829718041 36024320 6365 33554432000 134512640 137138936 4294214144 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 8795 6365 192 642 0 8151 0
Current children cumulated CPU time (s) 1481.5
Current children cumulated vsize (KiB) 35180

[startup+1481.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7934
/proc/meminfo: memFree=23539568/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=35180 CPUtime=1481.9 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 6415 0 0 0 148039 151 0 0 25 0 1 0 829718041 36024320 6365 33554432000 134512640 137138936 4294214144 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 8795 6365 192 642 0 8151 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 35180

[startup+1482.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7934
/proc/meminfo: memFree=23539568/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=35180 CPUtime=1482.1 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 6415 0 0 0 148059 151 0 0 25 0 1 0 829718041 36024320 6365 33554432000 134512640 137138936 4294214144 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 8795 6365 192 642 0 8151 0
Current children cumulated CPU time (s) 1482.1
Current children cumulated vsize (KiB) 35180

[startup+1482.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7934
/proc/meminfo: memFree=23539568/32951124 swapFree=49244120/67111528
[pid=7827] ppid=7825 vsize=35180 CPUtime=1482.2 cores=0,2,4,6
/proc/7827/stat : 7827 (bsolo) R 7825 7827 6095 0 -1 4202496 6415 0 0 0 148069 151 0 0 25 0 1 0 829718041 36024320 6365 33554432000 134512640 137138936 4294214144 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7827/statm: 8795 6365 192 642 0 8151 0
Current children cumulated CPU time (s) 1482.2
Current children cumulated vsize (KiB) 35180

Child status: 0
Real time (s): 1482.21
CPU time (s): 1482.21
CPU user time (s): 1480.7
CPU system time (s): 1.51777
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 35184

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

runsolver used 5.76512 second user time and 12.1262 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-04 11:52:33
IDJOB=3462523
IDBENCH=47939
IDSOLVER=1955
FILE ID=node101/3462523-1307181153
RUNJOBID= node101-1307173931-7294
PBS_JOBID= 13508816
Free space on /tmp= 74004 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=43-P1=101-P2=251-P3=307-P4=499-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462523-1307181153/watcher-3462523-1307181153 -o /tmp/evaluation-result-3462523-1307181153/solver-3462523-1307181153 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462523-1307181153.opb

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

MD5SUM BENCH= e79e2db14e141163591dbcfdfed7384a
RANDOM SEED=661199059

node101.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.841
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.68
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.841
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.07
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.841
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.77
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.841
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.83
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.841
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.841
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.83
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.841
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.841
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:      23606492 kB
Buffers:        285032 kB
Cached:         630820 kB
SwapCached:      27120 kB
Active:        8511412 kB
Inactive:       556136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23606492 kB
SwapTotal:    67111528 kB
SwapFree:     49244120 kB
Dirty:            7996 kB
Writeback:           0 kB
AnonPages:     8146564 kB
Mapped:          18680 kB
Slab:           136720 kB
PageTables:      74508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78627716 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= 74000 MiB
End job on node101 at 2011-06-04 12:17:15