Trace number 2700580

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.4a? (TO) 1800.08 1800.03

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-dsjc125-1-4_wcsp.wbo
MD5SUMb95440184c2619269a303a66296dd7fe
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark73
Best CPU time to get the best result obtained on this benchmark1800.17
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables500
Total number of constraints3069
Number of soft constraints2944
Number of constraints which are clauses2944
Number of constraints which are cardinality constraints (but not clauses)125
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Top cost 737
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 2944
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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-2700580-1278535723.wbo.
0.00/0.00	c Instance file HOME/instance-2700580-1278535723.wbo
0.00/0.00	c File size is 86160 bytes.
0.00/0.00	c Highest Coefficient sum: 5
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:      500                                                 |
0.00/0.00	c |  Number Clauses:        3069                                                |
0.00/0.00	c |  Number Cardinality:    125                                                 |
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 |     500     3194     6888 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       100 |     498     3194     6888 |     5500      100      8 |  4.609 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #1
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 |     658     3195     7204 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       100 |     658     3195     7204 |     5500      100     50 |  0.000 % |
0.00/0.01	c |       251 |     658     3195     7204 |     6050      251     34 |  0.000 % |
0.00/0.03	c |       479 |     658     3195     7204 |     6655      479     31 |  0.000 % |
0.00/0.05	c |       816 |     658     3195     7204 |     7320      816     24 |  0.000 % |
0.00/0.08	c |      1324 |     658     3195     7204 |     8052     1324     22 |  0.000 % |
0.09/0.12	c |      2084 |     658     3195     7204 |     8857     2084     20 |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.15	c core #2
0.09/0.15	c ============================[ Search Statistics ]==============================
0.09/0.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |    1941     3196     9770 |     5000        0    nan |  0.000 % |
0.09/0.15	c |       100 |    1941     3196     9770 |     5500      100     79 |  0.000 % |
0.09/0.19	c |       250 |    1941     3196     9770 |     6050      250     51 |  0.000 % |
0.19/0.23	c |       475 |    1941     3196     9770 |     6655      475     34 |  0.000 % |
0.29/0.31	c |       812 |    1941     3196     9770 |     7320      812     25 |  0.000 % |
0.39/0.41	c |      1320 |    1941     3196     9770 |     8052     1320     20 |  0.000 % |
0.59/0.60	c |      2080 |    1941     3196     9770 |     8857     2080     18 |  0.000 % |
0.79/0.81	c |      3220 |    1941     3196     9770 |     9743     3220     16 |  0.000 % |
1.10/1.15	c |      4930 |    1941     3196     9770 |    10717     4930     15 |  0.000 % |
1.69/1.71	c |      7492 |    1941     3196     9770 |    11789     7492     15 |  0.000 % |
2.49/2.53	c |     11338 |    1941     3196     9770 |    12968    11338     15 |  0.000 % |
3.89/3.94	c |     17108 |    1941     3196     9770 |    14265    10592     14 |  0.000 % |
5.89/5.97	c |     25759 |    1941     3196     9770 |    15692    12076     14 |  0.000 % |
8.59/8.67	c ===============================================================================
8.80/8.82	c core #3
8.80/8.82	c ============================[ Search Statistics ]==============================
8.80/8.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.80/8.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.80/8.82	c ===============================================================================
8.80/8.82	c |         0 |    4123     3197    14134 |     5000        0    nan |  0.000 % |
8.80/8.83	c |       103 |    4123     3197    14134 |     5500      103    172 |  0.000 % |
8.80/8.86	c |       253 |    4123     3197    14134 |     6050      253     95 |  0.000 % |
8.89/8.94	c |       478 |    4123     3197    14134 |     6655      478     59 |  0.000 % |
8.99/9.07	c |       815 |    4123     3197    14134 |     7320      815     45 |  0.000 % |
9.19/9.21	c |      1321 |    4123     3197    14134 |     8052     1321     35 |  0.000 % |
9.39/9.46	c |      2081 |    4123     3197    14134 |     8857     2081     26 |  0.000 % |
9.79/9.89	c |      3221 |    4123     3197    14134 |     9743     3221     22 |  0.000 % |
10.59/10.67	c |      4929 |    4123     3197    14134 |    10717     4929     24 |  0.000 % |
11.49/11.56	c |      7492 |    4123     3197    14134 |    11789     7492     23 |  0.000 % |
12.69/12.79	c |     11336 |    4123     3197    14134 |    12968    11336     20 |  0.000 % |
14.99/15.00	c |     17103 |    4123     3197    14134 |    14265    10596     19 |  0.000 % |
17.79/17.88	c |     25752 |    4123     3197    14134 |    15692    12069     18 |  0.000 % |
22.69/22.72	c |     38727 |    4123     3197    14134 |    17261     9297     19 |  0.000 % |
30.60/30.67	c |     58189 |    4123     3197    14134 |    18987    11421     18 |  0.000 % |
41.70/41.73	c |     87381 |    4123     3197    14134 |    20886    11974     18 |  0.000 % |
60.89/60.96	c |    131171 |    4123     3197    14134 |    22974    13845     29 |  0.000 % |
87.29/87.39	c |    196856 |    4123     3197    14134 |    25272    21885     22 |  0.000 % |
127.50/127.54	c |    295383 |    4123     3197    14134 |    27799    17932     39 |  0.000 % |
190.50/190.58	c |    443172 |    4123     3197    14134 |    30579    21012     24 |  0.000 % |
281.51/281.54	c |    664855 |    4123     3197    14134 |    33637    20134     20 |  0.000 % |
429.30/429.39	c |    997380 |    4123     3197    14134 |    37001    25020     30 |  0.000 % |
648.11/648.11	c |   1496169 |    4123     3197    14134 |    40701    27585     25 |  0.000 % |
981.52/981.50	c |   2244351 |    4123     3197    14134 |    44771    21185     21 |  0.000 % |
1273.03/1273.01	c ===============================================================================
1288.52/1288.58	c core #4
1288.52/1288.58	c ============================[ Search Statistics ]==============================
1288.52/1288.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1288.52/1288.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1288.52/1288.58	c ===============================================================================
1288.52/1288.58	c |         0 |    7056     3198    20000 |     5000        0    nan |  0.000 % |
1288.62/1288.64	c |       100 |    7056     3198    20000 |     5500      100    158 |  0.000 % |
1288.73/1288.75	c |       251 |    7056     3198    20000 |     6050      251    121 |  0.000 % |
1288.93/1288.98	c |       476 |    7056     3198    20000 |     6655      476     74 |  0.000 % |
1289.13/1289.14	c |       814 |    7056     3198    20000 |     7320      814     52 |  0.000 % |
1289.32/1289.36	c |      1320 |    7056     3198    20000 |     8052     1320     41 |  0.000 % |
1289.72/1289.71	c |      2079 |    7056     3198    20000 |     8857     2079     37 |  0.000 % |
1290.33/1290.35	c |      3220 |    7056     3198    20000 |     9743     3220     40 |  0.000 % |
1291.12/1291.17	c |      4928 |    7056     3198    20000 |    10717     4928     35 |  0.000 % |
1292.62/1292.62	c |      7494 |    7056     3198    20000 |    11789     7494     39 |  0.000 % |
1294.82/1294.89	c |     11338 |    7056     3198    20000 |    12968    11338     37 |  0.000 % |
1298.42/1298.45	c |     17105 |    7056     3198    20000 |    14265    10564     40 |  0.000 % |
1303.02/1303.03	c |     25754 |    7056     3198    20000 |    15692    12017     37 |  0.000 % |
1310.63/1310.63	c |     38728 |    7056     3198    20000 |    17261     9078     37 |  0.000 % |
1322.52/1322.57	c |     58190 |    7056     3198    20000 |    18987    10963     40 |  0.000 % |
1339.03/1339.08	c |     87383 |    7056     3198    20000 |    20886    11502     27 |  0.000 % |
1370.93/1370.93	c |    131172 |    7056     3198    20000 |    22974    11872     95 |  0.000 % |
1412.82/1412.82	c |    196857 |    7056     3198    20000 |    25272    19542     38 |  0.000 % |
1476.13/1476.12	c |    295383 |    7056     3198    20000 |    27799    14286     42 |  0.000 % |
1572.93/1572.94	c |    443174 |    7056     3198    20000 |    30579    25021     41 |  0.000 % |
1740.93/1740.99	c |    664861 |    7056     3198    20000 |    33637    15725     55 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700580-1278535723/watcher-2700580-1278535723 -o /tmp/evaluation-result-2700580-1278535723/solver-2700580-1278535723 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2700580-1278535723.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: 1.93 1.99 1.77 3/178 19190
/proc/meminfo: memFree=28322564/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=2800 CPUtime=0
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 21785778 2867200 250 4089446400 134512640 135751879 4286640112 18446744073709551615 134575417 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/19190/statm: 700 251 149 303 0 373 0

[startup+0.0961319 s]
/proc/loadavg: 1.93 1.99 1.77 3/178 19190
/proc/meminfo: memFree=28322564/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=3240 CPUtime=0.09
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 476 0 0 0 9 0 0 0 22 0 1 0 21785778 3317760 372 4089446400 134512640 135751879 4286640112 18446744073709551615 134606351 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/19190/statm: 810 372 146 303 0 505 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3240

[startup+0.101131 s]
/proc/loadavg: 1.93 1.99 1.77 3/178 19190
/proc/meminfo: memFree=28322564/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=3240 CPUtime=0.09
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 481 0 0 0 9 0 0 0 22 0 1 0 21785778 3317760 377 4089446400 134512640 135751879 4286640112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/19190/statm: 810 377 146 303 0 505 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3240

[startup+0.300096 s]
/proc/loadavg: 1.93 1.99 1.77 3/178 19190
/proc/meminfo: memFree=28322564/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=4088 CPUtime=0.29
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 671 0 0 0 28 1 0 0 22 0 1 0 21785778 4186112 567 4089446400 134512640 135751879 4286640112 18446744073709551615 134606383 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/19190/statm: 1022 567 146 303 0 717 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4088

[startup+0.701025 s]
/proc/loadavg: 1.93 1.99 1.77 3/178 19190
/proc/meminfo: memFree=28322564/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=4088 CPUtime=0.69
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 671 0 0 0 68 1 0 0 24 0 1 0 21785778 4186112 567 4089446400 134512640 135751879 4286640112 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/19190/statm: 1022 567 146 303 0 717 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4088

[startup+1.50088 s]
/proc/loadavg: 1.93 1.99 1.77 3/179 19191
/proc/meminfo: memFree=28318960/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=4484 CPUtime=1.49
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 785 0 0 0 147 2 0 0 25 0 1 0 21785778 4591616 681 4089446400 134512640 135751879 4286640112 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/19190/statm: 1121 681 146 303 0 816 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4484

[startup+3.10066 s]
/proc/loadavg: 1.93 1.99 1.77 3/179 19191
/proc/meminfo: memFree=28317348/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=5980 CPUtime=3.09
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 1166 0 0 0 305 4 0 0 25 0 1 0 21785778 6123520 1062 4089446400 134512640 135751879 4286640112 18446744073709551615 134616242 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/19190/statm: 1495 1062 146 303 0 1190 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5980

[startup+6.30103 s]
/proc/loadavg: 1.94 1.99 1.77 3/179 19192
/proc/meminfo: memFree=28308000/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=8884 CPUtime=6.29
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 1870 0 0 0 622 7 0 0 25 0 1 0 21785778 9097216 1766 4089446400 134512640 135751879 4286640112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/19190/statm: 2221 1766 146 303 0 1916 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8884

[startup+12.7009 s]
/proc/loadavg: 1.94 1.99 1.77 3/179 19192
/proc/meminfo: memFree=28294424/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=12992 CPUtime=12.69
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 2875 0 0 0 1254 15 0 0 25 0 1 0 21785778 13303808 2771 4089446400 134512640 135751879 4286640112 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/19190/statm: 3248 2771 146 303 0 2943 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12992

[startup+25.5006 s]
/proc/loadavg: 1.95 1.99 1.78 3/179 19192
/proc/meminfo: memFree=28271060/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=16424 CPUtime=25.5
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 3745 0 0 0 2522 28 0 0 25 0 1 0 21785778 16818176 3641 4089446400 134512640 135751879 4286640112 18446744073709551615 134620471 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/19190/statm: 4106 3641 146 303 0 3801 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 16424

[startup+51.1001 s]
/proc/loadavg: 1.97 1.99 1.78 3/179 19192
/proc/meminfo: memFree=28220796/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=30204 CPUtime=51.09
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 7201 0 0 0 5058 51 0 0 25 0 1 0 21785778 30928896 7097 4089446400 134512640 135751879 4286640112 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/19190/statm: 7551 7097 146 303 0 7246 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 30204

[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.79 3/179 19194
/proc/meminfo: memFree=28117944/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=58352 CPUtime=102.3
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 14224 0 0 0 10133 97 0 0 25 0 1 0 21785778 59752448 14120 4089446400 134512640 135751879 4286640112 18446744073709551615 134519014 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/19190/statm: 14588 14120 146 303 0 14283 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 58352

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.80 3/179 19196
/proc/meminfo: memFree=27998208/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=91692 CPUtime=162.3
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 22549 0 0 0 16083 147 0 0 25 0 1 0 21785778 93892608 22445 4089446400 134512640 135751879 4286640112 18446744073709551615 134607284 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/19190/statm: 22923 22445 146 303 0 22618 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 91692

[startup+222.301 s]
/proc/loadavg: 2.03 2.00 1.82 3/179 19197
/proc/meminfo: memFree=27876856/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=123904 CPUtime=222.3
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 30589 0 0 0 22027 203 0 0 25 0 1 0 21785778 126877696 30485 4089446400 134512640 135751879 4286640112 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/19190/statm: 30976 30485 146 303 0 30671 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 123904

[startup+282.3 s]
/proc/loadavg: 2.05 2.01 1.83 3/179 19199
/proc/meminfo: memFree=27758488/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=155460 CPUtime=282.29
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 38494 0 0 0 27973 256 0 0 25 0 1 0 21785778 159191040 38390 4089446400 134512640 135751879 4286640112 18446744073709551615 134606351 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 38865 38390 146 303 0 38560 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 155460

[startup+342.301 s]
/proc/loadavg: 2.02 2.01 1.84 3/179 19200
/proc/meminfo: memFree=27638364/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=186260 CPUtime=342.29
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 46194 0 0 0 33919 310 0 0 25 0 1 0 21785778 190730240 46090 4089446400 134512640 135751879 4286640112 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 46565 46090 146 303 0 46260 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 186260

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.84 3/179 19202
/proc/meminfo: memFree=27520496/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=218364 CPUtime=402.3
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 54210 0 0 0 39866 364 0 0 25 0 1 0 21785778 223604736 54106 4089446400 134512640 135751879 4286640112 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 54591 54106 146 303 0 54286 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 218364

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 19204
/proc/meminfo: memFree=27398056/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=249804 CPUtime=462.3
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 62093 0 0 0 45816 414 0 0 25 0 1 0 21785778 255799296 61989 4089446400 134512640 135751879 4286640112 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 62451 61989 146 303 0 62146 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 249804

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 19205
/proc/meminfo: memFree=27280688/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=280624 CPUtime=522.31
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 69778 0 0 0 51765 466 0 0 25 0 1 0 21785778 287358976 69674 4089446400 134512640 135751879 4286640112 18446744073709551615 134607732 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 70156 69674 146 303 0 69851 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 280624

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 19207
/proc/meminfo: memFree=27161592/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=311116 CPUtime=582.31
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 77413 0 0 0 57711 520 0 0 25 0 1 0 21785778 318582784 77309 4089446400 134512640 135751879 4286640112 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 77779 77309 146 303 0 77474 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 311116

[startup+642.3 s]
/proc/loadavg: 2.06 2.01 1.87 3/197 19418
/proc/meminfo: memFree=29497576/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=341608 CPUtime=642.31
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 85038 0 0 0 63651 580 0 0 25 0 1 0 21785778 349806592 84934 4089446400 134512640 135751879 4286640112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 85402 84934 146 303 0 85097 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 341608

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.02 2.01 1.89 3/197 19432
/proc/meminfo: memFree=29402272/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=432400 CPUtime=822.31
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 107720 0 0 0 81498 733 0 0 25 0 1 0 21785778 442777600 107616 4089446400 134512640 135751879 4286640112 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 108100 107616 146 303 0 107795 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 432400

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 1.90 3/197 19434
/proc/meminfo: memFree=29371716/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=462240 CPUtime=882.31
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 115195 0 0 0 87446 785 0 0 25 0 1 0 21785778 473333760 115091 4089446400 134512640 135751879 4286640112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 115560 115091 146 303 0 115255 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 462240

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/197 19435
/proc/meminfo: memFree=29341872/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=491548 CPUtime=942.31
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 122512 0 0 0 93397 834 0 0 25 0 1 0 21785778 503345152 122408 4089446400 134512640 135751879 4286640112 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 122887 122408 146 303 0 122582 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 491548

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/197 19437
/proc/meminfo: memFree=29311532/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=521592 CPUtime=1002.31
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 129999 0 0 0 99346 885 0 0 25 0 1 0 21785778 534110208 129895 4089446400 134512640 135751879 4286640112 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 130398 129895 146 303 0 130093 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 521592

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/197 19439
/proc/meminfo: memFree=29281320/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=551984 CPUtime=1062.31
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 137593 0 0 0 105297 934 0 0 25 0 1 0 21785778 565231616 137489 4089446400 134512640 135751879 4286640112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 137996 137489 146 303 0 137691 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 551984

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/197 19440
/proc/meminfo: memFree=29249768/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=582360 CPUtime=1122.32
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 145198 0 0 0 111249 983 0 0 25 0 1 0 21785778 596336640 145094 4089446400 134512640 135751879 4286640112 18446744073709551615 134606331 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 145590 145094 146 303 0 145285 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 582360

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/197 19442
/proc/meminfo: memFree=29219452/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=612868 CPUtime=1182.32
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 152809 0 0 0 117197 1035 0 0 25 0 1 0 21785778 627576832 152705 4089446400 134512640 135751879 4286640112 18446744073709551615 134620388 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 153217 152705 146 303 0 152912 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 612868

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/197 19443
/proc/meminfo: memFree=29186660/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=644828 CPUtime=1242.32
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 160805 0 0 0 123147 1085 0 0 25 0 1 0 21785778 660303872 160701 4089446400 134512640 135751879 4286640112 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 161207 160701 146 303 0 160902 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 644828

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/197 19445
/proc/meminfo: memFree=29102256/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=728048 CPUtime=1302.33
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 181730 0 0 0 129113 1120 0 0 25 0 1 0 21785778 745521152 181531 4089446400 134512640 135751879 4286640112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 182012 181531 146 303 0 181707 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 728048

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/197 19447
/proc/meminfo: memFree=29101940/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=728048 CPUtime=1362.33
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 181730 0 0 0 135080 1153 0 0 25 0 1 0 21785778 745521152 181531 4089446400 134512640 135751879 4286640112 18446744073709551615 134616276 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 182012 181531 146 303 0 181707 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 728048

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/197 19448
/proc/meminfo: memFree=29101988/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=728048 CPUtime=1422.33
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 181770 0 0 0 141050 1183 0 0 25 0 1 0 21785778 745521152 181571 4089446400 134512640 135751879 4286640112 18446744073709551615 134606383 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 182012 181571 146 303 0 181707 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 728048

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/197 19450
/proc/meminfo: memFree=29101544/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=728048 CPUtime=1482.33
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 181770 0 0 0 147020 1213 0 0 25 0 1 0 21785778 745521152 181571 4089446400 134512640 135751879 4286640112 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 182012 181571 146 303 0 181707 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 728048

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/197 19451
/proc/meminfo: memFree=29101584/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=728048 CPUtime=1542.33
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 181770 0 0 0 152991 1242 0 0 25 0 1 0 21785778 745521152 181571 4089446400 134512640 135751879 4286640112 18446744073709551615 134518948 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 182012 181571 146 303 0 181707 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 728048

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/197 19453
/proc/meminfo: memFree=29101156/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=728048 CPUtime=1602.33
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 181770 0 0 0 158961 1272 0 0 25 0 1 0 21785778 745521152 181571 4089446400 134512640 135751879 4286640112 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 182012 181571 146 303 0 181707 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 728048

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/197 19455
/proc/meminfo: memFree=29101208/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=728048 CPUtime=1662.34
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 181770 0 0 0 164935 1299 0 0 25 0 1 0 21785778 745521152 181571 4089446400 134512640 135751879 4286640112 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 182012 181571 146 303 0 181707 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 728048

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/197 19456
/proc/meminfo: memFree=29094552/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=735088 CPUtime=1722.34
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 183506 0 0 0 170905 1329 0 0 25 0 1 0 21785778 752730112 183307 4089446400 134512640 135751879 4286640112 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 183772 183307 146 303 0 183467 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 735088

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/197 19458
/proc/meminfo: memFree=29082816/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=746364 CPUtime=1782.34
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 186300 0 0 0 176875 1359 0 0 25 0 1 0 21785778 764276736 186101 4089446400 134512640 135751879 4286640112 18446744073709551615 134605943 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 186591 186101 146 303 0 186286 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 746364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.91 3/197 19461
/proc/meminfo: memFree=29077452/32950928 swapFree=67111528/67111528
[pid=19190] ppid=19188 vsize=750456 CPUtime=1800.04
/proc/19190/stat : 19190 (wbo1.4a) R 19188 19190 17922 0 -1 4202496 187353 0 0 0 178637 1367 0 0 25 0 1 0 21785778 768466944 187154 4089446400 134512640 135751879 4286640112 18446744073709551615 134518948 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/19190/statm: 187614 187154 146 303 0 187309 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 750456

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1786.38
CPU system time (s): 13.6979
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 750456

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

runsolver used 2.53861 second user time and 5.65814 second system time

The end

Launcher Data 

Begin job on node120 at 2010-07-07 22:48:43
IDJOB=2700580
IDBENCH=79441
IDSOLVER=1200
FILE ID=node120/2700580-1278535723
PBS_JOBID= 11239238
Free space on /tmp= 73460 MiB

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

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

MD5SUM BENCH= b95440184c2619269a303a66296dd7fe
RANDOM SEED=1821488381

node120.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.813
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.62
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.813
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.813
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.813
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.813
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.78
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.813
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	: 5363.42
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.813
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.76
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.813
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:     32950928 kB
MemFree:      28323216 kB
Buffers:        138044 kB
Cached:        2716424 kB
SwapCached:          0 kB
Active:        3128736 kB
Inactive:      1347208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28323216 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2744 kB
Writeback:           0 kB
AnonPages:     1622172 kB
Mapped:          17060 kB
Slab:            85212 kB
PageTables:       8208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1768184 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= 73460 MiB
End job on node120 at 2010-07-07 23:18:45