Trace number 2699608

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 NameAnswerCPU timeWall clock time
wbo 1.4aOPTIMUM 1548.17 1548.14

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-16wqueens_wcsp.wbo
MD5SUM0eca1cee1f66f0b91a7a0aa842de562c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark4.99424
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables256
Total number of constraints4608
Number of soft constraints4592
Number of constraints which are clauses4592
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Top cost 17
Min constraint cost 1
Max constraint cost 17
Sum of constraints costs 74992
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 17
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing wbo file format. File HOME/instance-2699608-1278533796.wbo.
0.00/0.00	c Instance file HOME/instance-2699608-1278533796.wbo
0.00/0.00	c File size is 129882 bytes.
0.00/0.00	c Highest Coefficient sum: 17
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      256                                                 |
0.00/0.00	c |  Number Clauses:        4608                                                |
0.00/0.00	c |  Number Cardinality:    16                                                  |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      64     4624     9312 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #1
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     624     4801    10592 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       100 |     624     4801    10592 |     5500      100    103 |  0.000 % |
0.00/0.02	c |       253 |     624     4801    10592 |     6050      253    110 |  0.000 % |
0.04/0.05	c |       479 |     624     4801    10592 |     6655      479    103 |  0.000 % |
0.04/0.09	c |       816 |     624     4801    10592 |     7320      816     90 |  0.000 % |
0.09/0.15	c |      1323 |     624     4801    10592 |     8052     1323     85 |  0.000 % |
0.19/0.25	c |      2082 |     624     4801    10592 |     8857     2082     85 |  0.000 % |
0.39/0.45	c |      3221 |     624     4801    10592 |     9743     3221     84 |  0.000 % |
0.79/0.85	c |      4932 |     624     4801    10592 |    10717     4932     85 |  0.000 % |
0.99/1.10	c ===============================================================================
1.09/1.13	c core #2
1.09/1.13	c ============================[ Search Statistics ]==============================
1.09/1.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.09/1.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.09/1.13	c ===============================================================================
1.09/1.13	c |         0 |    4943     8929    27484 |     5000        0    nan |  0.000 % |
1.09/1.14	c |       102 |    4943     8929    27484 |     5500      102     90 |  0.000 % |
1.09/1.15	c |       253 |    4943     8929    27484 |     6050      253     91 |  0.000 % |
1.09/1.17	c |       478 |    4943     8929    27484 |     6655      478     85 |  0.000 % |
1.09/1.19	c |       815 |    4943     8929    27484 |     7320      815     84 |  0.000 % |
1.19/1.23	c |      1321 |    4943     8929    27484 |     8052     1321     89 |  0.000 % |
1.29/1.34	c |      2081 |    4943     8929    27484 |     8857     2081    105 |  0.000 % |
1.49/1.52	c |      3222 |    4943     8929    27484 |     9743     3222    108 |  0.000 % |
1.99/2.00	c |      4930 |    4943     8929    27484 |    10717     4930    118 |  0.000 % |
2.89/2.95	c |      7494 |    4943     8929    27484 |    11789     7494    124 |  0.000 % |
5.09/5.19	c |     11341 |    4943     8929    27484 |    12968    11341    128 |  0.000 % |
7.99/8.04	c |     17108 |    4943     8929    27484 |    14265    10560    131 |  0.000 % |
12.70/12.71	c |     25760 |    4943     8929    27484 |    15692    11992    132 |  0.000 % |
17.89/17.95	c |     38735 |    4943     8929    27484 |    17261     9112    118 |  0.000 % |
26.79/26.84	c |     58197 |    4943     8929    27484 |    18987    11116    111 |  0.000 % |
40.08/40.16	c |     87389 |    4943     8929    27484 |    20886    11542    108 |  0.000 % |
57.69/57.72	c |    131178 |    4943     8929    27484 |    22974    13168    117 |  0.000 % |
87.29/87.37	c |    196862 |    4943     8929    27484 |    25272    20946    115 |  0.000 % |
138.29/138.31	c |    295389 |    4943     8929    27484 |    27799    17658    106 |  0.000 % |
224.30/224.34	c |    443178 |    4943     8929    27484 |    30579    24358    111 |  0.000 % |
356.90/356.94	c |    664863 |    4943     8929    27484 |    33637    18747    111 |  0.000 % |
576.41/576.46	c |    997389 |    4943     8929    27484 |    37001    27285    112 |  0.000 % |
881.21/881.23	c |   1496180 |    4943     8929    27484 |    40701    15286    106 |  0.000 % |
1388.72/1388.76	c |   2244363 |    4943     8929    27484 |    44771    34525    104 |  0.000 % |
1548.02/1548.08	c ===============================================================================
1548.02/1548.08	c #cores: 2
1548.02/1548.08	c Final Weight: 2
1548.02/1548.08	o 2
1548.02/1548.08	s OPTIMUM FOUND
1548.02/1548.08	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256
1548.02/1548.08	c Total CPU time: 1543.45 s

Verifier Data 

OK	2

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699608-1278533796/watcher-2699608-1278533796 -o /tmp/evaluation-result-2699608-1278533796/solver-2699608-1278533796 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2699608-1278533796.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 20512
/proc/meminfo: memFree=30319976/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=2832 CPUtime=0
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 319 0 0 0 0 0 0 0 21 0 1 0 21594095 2899968 237 4089446400 134512640 135751879 4286783776 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20512/statm: 708 237 149 303 0 371 0

[startup+0.0456189 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 20512
/proc/meminfo: memFree=30319976/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=3244 CPUtime=0.04
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 496 0 0 0 4 0 0 0 18 0 1 0 21594095 3321856 382 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20512/statm: 811 382 146 303 0 506 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3244

[startup+0.100645 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 20512
/proc/meminfo: memFree=30319976/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=3508 CPUtime=0.09
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 559 0 0 0 9 0 0 0 18 0 1 0 21594095 3592192 445 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20512/statm: 877 445 146 303 0 572 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3508

[startup+0.300575 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 20512
/proc/meminfo: memFree=30319976/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=4300 CPUtime=0.29
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 756 0 0 0 28 1 0 0 18 0 1 0 21594095 4403200 642 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20512/statm: 1075 642 146 303 0 770 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4300

[startup+0.700573 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 20512
/proc/meminfo: memFree=30319976/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=5488 CPUtime=0.69
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 1062 0 0 0 67 2 0 0 18 0 1 0 21594095 5619712 948 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20512/statm: 1372 948 146 303 0 1067 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5488

[startup+1.50041 s]
/proc/loadavg: 0.08 0.02 0.01 2/174 20513
/proc/meminfo: memFree=30315752/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=8156 CPUtime=1.49
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 1689 0 0 0 145 4 0 0 19 0 1 0 21594095 8351744 1575 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20512/statm: 2039 1575 146 303 0 1734 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8156

[startup+3.1011 s]
/proc/loadavg: 0.08 0.02 0.01 2/174 20513
/proc/meminfo: memFree=30312148/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=11588 CPUtime=3.09
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 2539 0 0 0 304 5 0 0 25 0 1 0 21594095 11866112 2425 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/20512/statm: 2897 2425 146 303 0 2592 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11588

[startup+6.3005 s]
/proc/loadavg: 0.08 0.02 0.01 2/174 20559
/proc/meminfo: memFree=30305696/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=15980 CPUtime=6.29
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 3636 0 0 0 623 6 0 0 25 0 1 0 21594095 16363520 3522 4089446400 134512640 135751879 4286783776 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 3995 3522 146 303 0 3690 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15980

[startup+12.7004 s]
/proc/loadavg: 0.22 0.05 0.02 2/174 20559
/proc/meminfo: memFree=30296900/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=25752 CPUtime=12.7
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 6084 0 0 0 1262 8 0 0 25 0 1 0 21594095 26370048 5970 4089446400 134512640 135751879 4286783776 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 6438 5970 146 303 0 6133 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 25752

[startup+25.501 s]
/proc/loadavg: 1.01 0.23 0.07 3/187 20633
/proc/meminfo: memFree=30239672/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=47704 CPUtime=25.49
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 11578 0 0 0 2535 14 0 0 25 0 1 0 21594095 48848896 11464 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 11926 11464 146 303 0 11621 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47704

[startup+51.1005 s]
/proc/loadavg: 1.84 0.48 0.16 3/187 20648
/proc/meminfo: memFree=30195148/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=90292 CPUtime=51.09
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 22200 0 0 0 5081 28 0 0 25 0 1 0 21594095 92459008 22086 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 22573 22086 146 303 0 22268 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 90292

[startup+102.306 s]
/proc/loadavg: 3.23 1.10 0.39 4/187 20657
/proc/meminfo: memFree=30115276/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=166508 CPUtime=102.29
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 41242 0 0 0 10179 50 0 0 25 0 1 0 21594095 170504192 41128 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 41627 41128 146 303 0 41322 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 166508

[startup+162.301 s]
/proc/loadavg: 3.67 1.63 0.62 5/187 20668
/proc/meminfo: memFree=30037268/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=241432 CPUtime=162.29
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 59947 0 0 0 16155 74 0 0 25 0 1 0 21594095 247226368 59833 4089446400 134512640 135751879 4286783776 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 60358 59833 146 303 0 60053 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 241432

[startup+222.301 s]
/proc/loadavg: 3.65 2.04 0.82 3/187 20670
/proc/meminfo: memFree=29964212/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=312540 CPUtime=222.29
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 77712 0 0 0 22131 98 0 0 25 0 1 0 21594095 320040960 77598 4089446400 134512640 135751879 4286783776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 78135 77598 146 303 0 77830 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 312540

[startup+282.301 s]
/proc/loadavg: 4.26 2.47 1.04 4/187 20678
/proc/meminfo: memFree=29900356/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=377052 CPUtime=282.29
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 93848 0 0 0 28112 117 0 0 25 0 1 0 21594095 386101248 93734 4089446400 134512640 135751879 4286783776 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 94263 93734 146 303 0 93958 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 377052

[startup+342.302 s]
/proc/loadavg: 4.50 2.88 1.27 3/187 20680
/proc/meminfo: memFree=29822808/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=454072 CPUtime=342.29
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 113061 0 0 0 34086 143 0 0 25 0 1 0 21594095 464969728 112947 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 113518 112948 146 303 0 113213 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 454072

[startup+402.3 s]
/proc/loadavg: 4.71 3.23 1.49 7/187 20682
/proc/meminfo: memFree=29754432/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=523112 CPUtime=402.29
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 130307 0 0 0 40063 166 0 0 25 0 1 0 21594095 535666688 130193 4089446400 134512640 135751879 4286783776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 130778 130193 146 303 0 130473 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 523112

[startup+462.302 s]
/proc/loadavg: 4.50 3.45 1.67 4/187 20683
/proc/meminfo: memFree=29684544/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=591684 CPUtime=462.3
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 147436 0 0 0 46040 190 0 0 25 0 1 0 21594095 605884416 147322 4089446400 134512640 135751879 4286783776 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 147921 147322 146 303 0 147616 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 591684

[startup+522.301 s]
/proc/loadavg: 4.11 3.56 1.82 3/187 20685
/proc/meminfo: memFree=29630300/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=646156 CPUtime=522.3
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 161046 0 0 0 52022 208 0 0 25 0 1 0 21594095 661663744 160932 4089446400 134512640 135751879 4286783776 18446744073709551615 134616786 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 161539 160932 146 303 0 161234 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 646156

[startup+582.302 s]
/proc/loadavg: 4.79 3.84 2.03 3/187 20693
/proc/meminfo: memFree=29579636/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=695948 CPUtime=582.3
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 173474 0 0 0 58008 222 0 0 25 0 1 0 21594095 712650752 173360 4089446400 134512640 135751879 4286783776 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 173987 173360 146 303 0 173682 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 695948

[startup+642.301 s]
/proc/loadavg: 4.65 3.99 2.19 6/187 20695
/proc/meminfo: memFree=29510884/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=764096 CPUtime=642.31
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 190527 0 0 0 63989 242 0 0 25 0 1 0 21594095 782434304 190413 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 191024 190413 146 303 0 190719 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 764096

[startup+702.3 s]

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

/proc/meminfo: memFree=29431324/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=834412 CPUtime=702.31
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 208087 0 0 0 69964 267 0 0 25 0 1 0 21594095 854437888 207973 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 208603 207973 146 303 0 208298 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 834412

[startup+762.307 s]
/proc/loadavg: 2.93 3.72 2.32 3/179 20726
/proc/meminfo: memFree=29300848/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=899092 CPUtime=762.31
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 224250 0 0 0 75949 282 0 0 25 0 1 0 21594095 920670208 224136 4089446400 134512640 135751879 4286783776 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 224773 224136 146 303 0 224468 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 899092

[startup+822.301 s]
/proc/loadavg: 2.34 3.41 2.30 3/174 20750
/proc/meminfo: memFree=29358636/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=960800 CPUtime=822.31
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 239655 0 0 0 81932 299 0 0 25 0 1 0 21594095 983859200 239541 4089446400 134512640 135751879 4286783776 18446744073709551615 134616374 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 240200 239541 146 303 0 239895 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 960800

[startup+882.301 s]
/proc/loadavg: 2.12 3.15 2.27 3/179 20805
/proc/meminfo: memFree=29284944/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=1023780 CPUtime=882.31
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 255377 0 0 0 87919 312 0 0 25 0 1 0 21594095 1048350720 255263 4089446400 134512640 135751879 4286783776 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 255945 255263 146 303 0 255640 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1023780

[startup+942.301 s]
/proc/loadavg: 2.04 2.94 2.26 3/179 20807
/proc/meminfo: memFree=29221884/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=1086584 CPUtime=942.31
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 271083 0 0 0 93904 327 0 0 25 0 1 0 21594095 1112662016 270969 4089446400 134512640 135751879 4286783776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 271646 270969 146 303 0 271341 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1086584

[startup+1002.3 s]
/proc/loadavg: 2.01 2.76 2.24 3/179 20885
/proc/meminfo: memFree=29163848/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=1145008 CPUtime=1002.31
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 285680 0 0 0 99889 342 0 0 25 0 1 0 21594095 1172488192 285566 4089446400 134512640 135751879 4286783776 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 286252 285566 146 303 0 285947 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1145008

[startup+1062.3 s]
/proc/loadavg: 2.00 2.62 2.22 3/179 20886
/proc/meminfo: memFree=29103876/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=1205032 CPUtime=1062.31
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 300648 0 0 0 105875 356 0 0 25 0 1 0 21594095 1233952768 300534 4089446400 134512640 135751879 4286783776 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 301258 300534 146 303 0 300953 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1205032

[startup+1122.3 s]
/proc/loadavg: 1.96 2.49 2.20 3/179 21034
/proc/meminfo: memFree=28967940/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=1261996 CPUtime=1122.31
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 314884 0 0 0 111862 369 0 0 25 0 1 0 21594095 1292283904 314770 4089446400 134512640 135751879 4286783776 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 315499 314770 146 303 0 315194 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1261996

[startup+1182.3 s]
/proc/loadavg: 1.98 2.40 2.18 3/179 21035
/proc/meminfo: memFree=28836948/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=1321524 CPUtime=1182.31
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 329777 0 0 0 117848 383 0 0 25 0 1 0 21594095 1353240576 329663 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 330381 329663 146 303 0 330076 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1321524

[startup+1242.3 s]
/proc/loadavg: 1.99 2.32 2.17 3/179 21037
/proc/meminfo: memFree=28706552/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=1375868 CPUtime=1242.32
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 343337 0 0 0 123835 397 0 0 25 0 1 0 21594095 1408888832 343223 4089446400 134512640 135751879 4286783776 18446744073709551615 134616374 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 343967 343223 146 303 0 343662 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1375868

[startup+1302.3 s]
/proc/loadavg: 2.07 2.28 2.16 3/179 21039
/proc/meminfo: memFree=28576040/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=1429648 CPUtime=1302.32
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 356770 0 0 0 129823 409 0 0 25 0 1 0 21594095 1463959552 356656 4089446400 134512640 135751879 4286783776 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 357412 356656 146 303 0 357107 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1429648

[startup+1362.3 s]
/proc/loadavg: 2.02 2.23 2.15 3/179 21040
/proc/meminfo: memFree=28446760/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=1486468 CPUtime=1362.32
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 370989 0 0 0 135809 423 0 0 25 0 1 0 21594095 1522143232 370875 4089446400 134512640 135751879 4286783776 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 371617 370875 146 303 0 371312 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1486468

[startup+1422.31 s]
/proc/loadavg: 2.01 2.18 2.14 3/179 21042
/proc/meminfo: memFree=28313536/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=1545028 CPUtime=1422.33
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 385593 0 0 0 141795 438 0 0 25 0 1 0 21594095 1582108672 385479 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 386257 385479 146 303 0 385952 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1545028

[startup+1482.3 s]
/proc/loadavg: 2.00 2.15 2.13 3/179 21043
/proc/meminfo: memFree=28184632/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=1597908 CPUtime=1482.32
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 398787 0 0 0 147782 450 0 0 25 0 1 0 21594095 1636257792 398673 4089446400 134512640 135751879 4286783776 18446744073709551615 134616242 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 399477 398673 146 303 0 399172 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1597908

[startup+1542.3 s]
/proc/loadavg: 2.00 2.12 2.12 3/179 21045
/proc/meminfo: memFree=28053136/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=1653944 CPUtime=1542.32
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 412813 0 0 0 153767 465 0 0 25 0 1 0 21594095 1693638656 412699 4089446400 134512640 135751879 4286783776 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 413486 412699 146 303 0 413181 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1653944

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

[startup+1545.51 s]
/proc/loadavg: 2.00 2.12 2.12 3/179 21045
/proc/meminfo: memFree=28045816/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=1656356 CPUtime=1545.53
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 413408 0 0 0 154087 466 0 0 25 0 1 0 21594095 1696108544 413294 4089446400 134512640 135751879 4286783776 18446744073709551615 134616320 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 414089 413294 146 303 0 413784 0
Current children cumulated CPU time (s) 1545.53
Current children cumulated vsize (KiB) 1656356

[startup+1547.1 s]
/proc/loadavg: 2.00 2.11 2.11 3/179 21045
/proc/meminfo: memFree=28044576/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=1657676 CPUtime=1547.12
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 413743 0 0 0 154246 466 0 0 25 0 1 0 21594095 1697460224 413629 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 414419 413629 146 303 0 414114 0
Current children cumulated CPU time (s) 1547.12
Current children cumulated vsize (KiB) 1657676

[startup+1547.9 s]
/proc/loadavg: 2.00 2.11 2.11 3/179 21045
/proc/meminfo: memFree=28041724/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=1658864 CPUtime=1547.92
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 414025 0 0 0 154326 466 0 0 25 0 1 0 21594095 1698676736 413911 4089446400 134512640 135751879 4286783776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20512/statm: 414716 413911 146 303 0 414411 0
Current children cumulated CPU time (s) 1547.92
Current children cumulated vsize (KiB) 1658864

[startup+1548.1 s]
/proc/loadavg: 2.00 2.11 2.11 3/179 21045
/proc/meminfo: memFree=28041724/32951124 swapFree=67111528/67111528
[pid=20512] ppid=20510 vsize=0 CPUtime=1548.13
/proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202500 414081 0 0 0 154345 468 0 0 25 0 1 0 21594095 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0
/proc/20512/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1548.13
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1548.14
CPU time (s): 1548.17
CPU user time (s): 1543.45
CPU system time (s): 4.72428
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1658996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1543.45
system time used= 4.72428
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 414081
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= 2
involuntary context switches= 991

runsolver used 2.49162 second user time and 5.10822 second system time

The end

Launcher Data 

Begin job on node103 at 2010-07-07 22:16:37
IDJOB=2699608
IDBENCH=79359
IDSOLVER=1200
FILE ID=node103/2699608-1278533796
PBS_JOBID= 11239272
Free space on /tmp= 73744 MiB

SOLVER NAME= wbo 1.4a
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/academics/normalized-16wqueens_wcsp.wbo
COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699608-1278533796/watcher-2699608-1278533796 -o /tmp/evaluation-result-2699608-1278533796/solver-2699608-1278533796 -C 1800 -W 2000 -M 3800  wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2699608-1278533796.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0eca1cee1f66f0b91a7a0aa842de562c
RANDOM SEED=1267837110

node103.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.793
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.58
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.793
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.82
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.793
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.75
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.793
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.86
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.793
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.75
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.793
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.82
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.793
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.793
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	: 5408.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30320504 kB
Buffers:        127844 kB
Cached:        2300100 kB
SwapCached:          0 kB
Active:        1000348 kB
Inactive:      1489584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30320504 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2880 kB
Writeback:           0 kB
AnonPages:       61896 kB
Mapped:          14412 kB
Slab:            77608 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   181728 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= 73736 MiB
End job on node103 at 2010-07-07 22:42:25