Trace number 3461706

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
wbo 1.6? (TO) 1800.07 1800.04

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12017_7.std.opb
MD5SUMf1ad880d8b0218ee8fbfe589c0282393
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark157
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints234184
Number of constraints which are clauses232984
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3461706-1307121721.opb.
0.00/0.00	c Instance file HOME/instance-3461706-1307121721.opb
0.00/0.00	c File size is 8036789 bytes.
0.59/0.64	c Highest Coefficient sum: 728
0.59/0.64	c ============================[ Problem Statistics ]=============================
0.59/0.64	c |                                                                             |
0.59/0.64	c |  Parsing time:          0.63         s                                      |
0.59/0.64	c |  Number Variables:      72842                                               |
0.59/0.64	c |  Number Clauses:        232984                                              |
0.59/0.64	c |  Number Cardinality:    0                                                   |
0.59/0.64	c |  Number PB Constraints: 1200                                                |
0.69/0.76	c ============================[ Search Statistics ]==============================
0.69/0.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.76	c ===============================================================================
0.69/0.76	c |         0 |   57330   234184   548483 |    78061        0   -nan |  0.000 % |
0.89/0.97	c core #1
0.89/0.97	c 
0.89/0.97	c 
0.89/0.97	c Core size: 404	Core Weight: 98	Total Weight: 98
0.89/0.97	c Current CPU time: 0.829873 s
0.89/0.97	c
0.89/0.97	c ============================[ Search Statistics ]==============================
0.89/0.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/0.97	c ===============================================================================
0.89/0.97	c |         0 |    9134   188621   400293 |    62873        0   -nan |  0.000 % |
0.89/0.98	c |       100 |    9134   188621   400293 |    69161      100     25 | 87.495 % |
1.00/1.01	c |       251 |    9134   188621   400293 |    76077      251     35 | 87.495 % |
1.00/1.05	c |       477 |    9134   188621   400293 |    83684      477     33 | 87.495 % |
1.10/1.13	c |       814 |    9134   188621   400293 |    92053      814     35 | 87.495 % |
1.19/1.23	c |      1320 |    9134   188621   400293 |   101258     1320     35 | 87.495 % |
1.29/1.39	c |      2079 |    9134   188621   400293 |   111384     2079     37 | 87.495 % |
1.59/1.63	c |      3220 |    9134   188621   400293 |   122522     3220     40 | 87.495 % |
1.99/2.00	c |      4928 |    9134   188621   400293 |   134775     4928     40 | 87.495 % |
2.59/2.60	c |      7492 |    9134   188621   400293 |   148252     7492     44 | 87.495 % |
3.49/3.57	c |     11336 |    9115   188621   400293 |   163078    11336     47 | 87.521 % |
4.60/4.62	c ===============================================================================
4.69/4.74	c core #2
4.69/4.74	c 
4.69/4.74	c 
4.69/4.74	c Core size: 1008	Core Weight: 1	Total Weight: 99
4.69/4.74	c Current CPU time: 4.5783 s
4.69/4.74	c
4.69/4.74	c ============================[ Search Statistics ]==============================
4.69/4.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.69/4.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.69/4.74	c ===============================================================================
4.69/4.74	c |         0 |    9781   188828   400998 |    62942        0   -nan |  0.000 % |
4.69/4.76	c |       100 |    9781   188828   400998 |    69236      100     25 | 86.647 % |
4.69/4.78	c |       250 |    9781   188828   400998 |    76160      250     32 | 86.647 % |
4.79/4.82	c |       475 |    9781   188828   400998 |    83776      475     35 | 86.647 % |
4.79/4.89	c |       812 |    9781   188828   400998 |    92154      812     36 | 86.647 % |
4.99/5.00	c |      1318 |    9781   188828   400998 |   101369     1318     37 | 86.647 % |
5.09/5.14	c |      2077 |    9781   188828   400998 |   111506     2077     36 | 86.647 % |
5.29/5.37	c |      3216 |    9781   188828   400998 |   122657     3216     37 | 86.647 % |
5.69/5.73	c |      4924 |    9781   188828   400998 |   134923     4924     38 | 86.647 % |
6.19/6.28	c |      7486 |    9758   188828   400998 |   148415     7486     40 | 86.678 % |
7.19/7.21	c |     11330 |    9758   188828   400998 |   163257    11330     44 | 86.678 % |
8.59/8.63	c |     17098 |    9758   188828   400998 |   179582    17098     45 | 86.678 % |
11.19/11.20	c |     25748 |    9758   188828   400998 |   197541    25748     50 | 86.678 % |
15.49/15.55	c |     38723 |    9708   188828   400998 |   217295    38723     52 | 86.746 % |
23.87/23.95	c |     58184 |    9704   188828   400998 |   239024    58184     54 | 86.754 % |
28.97/29.00	c ===============================================================================
29.07/29.16	c core #3
29.07/29.16	c 
29.07/29.16	c 
29.07/29.16	c Core size: 729	Core Weight: 1	Total Weight: 100
29.07/29.16	c Current CPU time: 28.8636 s
29.07/29.16	c
29.07/29.16	c ============================[ Search Statistics ]==============================
29.07/29.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
29.07/29.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
29.07/29.16	c ===============================================================================
29.07/29.16	c |         0 |   10224   189041   401725 |    63013        0   -nan |  0.000 % |
29.07/29.18	c |       102 |   10224   189041   401725 |    69315      102     24 | 86.080 % |
29.17/29.22	c |       252 |   10224   189041   401725 |    76246      252     33 | 86.080 % |
29.17/29.27	c |       478 |   10224   189041   401725 |    83871      478     34 | 86.080 % |
29.27/29.36	c |       816 |   10224   189041   401725 |    92258      816     36 | 86.080 % |
29.37/29.47	c |      1322 |   10224   189041   401725 |   101484     1322     37 | 86.080 % |
29.58/29.65	c |      2081 |   10224   189041   401725 |   111632     2081     38 | 86.080 % |
29.87/29.92	c |      3220 |   10224   189041   401725 |   122795     3220     38 | 86.080 % |
30.27/30.36	c |      4929 |   10224   189041   401725 |   135075     4929     38 | 86.080 % |
30.97/31.01	c |      7491 |   10224   189041   401725 |   148582     7491     39 | 86.080 % |
32.07/32.10	c |     11337 |   10224   189041   401725 |   163441    11337     41 | 86.080 % |
33.57/33.69	c |     17103 |   10224   189041   401725 |   179785    17103     40 | 86.080 % |
36.29/36.39	c |     25752 |   10194   189041   401725 |   197763    25752     42 | 86.128 % |
40.97/41.06	c |     38728 |   10171   189041   401725 |   217540    38728     45 | 86.152 % |
49.27/49.36	c |     58189 |   10167   189041   401725 |   239294    58189     50 | 86.158 % |
64.27/64.37	c |     87381 |   10098   189041   401725 |   263223    87381     52 | 86.322 % |
93.77/93.80	c |    131170 |    9982   189041   401725 |   289546   131170     54 | 86.426 % |
101.47/101.51	c ===============================================================================
101.67/101.71	c core #4
101.67/101.71	c 
101.67/101.71	c 
101.67/101.71	c Core size: 829	Core Weight: 1	Total Weight: 101
101.67/101.71	c Current CPU time: 101.251 s
101.67/101.71	c
101.67/101.71	c ============================[ Search Statistics ]==============================
101.67/101.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
101.67/101.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
101.67/101.71	c ===============================================================================
101.67/101.71	c |         0 |   10666   189262   402480 |    63087        0   -nan |  0.000 % |
101.67/101.74	c |       100 |   10666   189262   402480 |    69396      100     24 | 85.518 % |
101.67/101.78	c |       251 |   10666   189262   402480 |    76335      251     37 | 85.518 % |
101.77/101.83	c |       476 |   10666   189262   402480 |    83969      476     39 | 85.518 % |
101.87/101.91	c |       814 |   10666   189262   402480 |    92366      814     42 | 85.518 % |
101.97/102.02	c |      1322 |   10666   189262   402480 |   101602     1322     44 | 85.518 % |
102.07/102.19	c |      2081 |   10666   189262   402480 |   111763     2081     42 | 85.518 % |
102.37/102.47	c |      3220 |   10666   189262   402480 |   122939     3220     42 | 85.518 % |
102.87/102.92	c |      4928 |   10666   189262   402480 |   135233     4928     44 | 85.518 % |
103.57/103.66	c |      7490 |   10666   189262   402480 |   148756     7490     45 | 85.518 % |
104.57/104.66	c |     11335 |   10666   189262   402480 |   163632    11335     43 | 85.518 % |
106.37/106.46	c |     17103 |   10666   189262   402480 |   179995    17103     44 | 85.518 % |
109.37/109.48	c |     25752 |   10666   189262   402480 |   197995    25752     48 | 85.518 % |
113.87/113.92	c |     38726 |   10666   189262   402480 |   217794    38726     48 | 85.518 % |
121.98/122.06	c |     58187 |   10666   189262   402480 |   239574    58187     53 | 85.518 % |
137.17/137.21	c |     87380 |   10635   189262   402480 |   263531    87380     56 | 85.560 % |
165.47/165.58	c |    131170 |   10635   189262   402480 |   289884   131170     54 | 85.560 % |
226.18/226.25	c |    196854 |   10635   189262   402480 |   318873   196854     57 | 85.560 % |
346.28/346.34	c |    295382 |   10631   189262   402480 |   350760   295382     61 | 85.565 % |
561.19/561.22	c |    443172 |   10175   189262   402480 |   385836    52412     60 | 86.184 % |
567.19/567.29	c ===============================================================================
567.60/567.65	c core #5
567.60/567.65	c 
567.60/567.65	c 
567.60/567.65	c Core size: 712	Core Weight: 1	Total Weight: 102
567.60/567.65	c Current CPU time: 566.353 s
567.60/567.65	c
567.60/567.65	c ============================[ Search Statistics ]==============================
567.60/567.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
567.60/567.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
567.60/567.65	c ===============================================================================
567.60/567.65	c |         0 |   11107   189523   403359 |    63174        0   -nan |  0.000 % |
567.60/567.68	c |       100 |   11107   189523   403359 |    69491      100     30 | 84.959 % |
567.69/567.72	c |       251 |   11107   189523   403359 |    76440      251     31 | 84.959 % |
567.69/567.77	c |       476 |   11107   189523   403359 |    84085      476     35 | 84.959 % |
567.79/567.88	c |       814 |   11107   189523   403359 |    92493      814     41 | 84.959 % |
567.89/567.99	c |      1321 |   11107   189523   403359 |   101742     1321     41 | 84.959 % |
568.18/568.22	c |      2081 |   11107   189523   403359 |   111917     2081     46 | 84.959 % |
568.48/568.51	c |      3222 |   11107   189523   403359 |   123108     3222     44 | 84.959 % |
568.88/568.98	c |      4930 |   11107   189523   403359 |   135419     4930     45 | 84.959 % |
569.80/569.82	c |      7492 |   11107   189523   403359 |   148961     7492     47 | 84.959 % |
570.80/570.89	c |     11336 |   11107   189523   403359 |   163857    11336     49 | 84.959 % |
572.79/572.81	c |     17102 |   11107   189523   403359 |   180243    17102     51 | 84.959 % |
575.79/575.82	c |     25752 |   11107   189523   403359 |   198268    25752     51 | 84.959 % |
580.89/580.96	c |     38728 |   11107   189523   403359 |   218094    38728     52 | 84.959 % |
588.99/589.08	c |     58191 |   11107   189523   403359 |   239904    58191     51 | 84.959 % |
605.19/605.23	c |     87384 |   11107   189523   403359 |   263894    87384     54 | 84.959 % |
635.19/635.28	c |    131174 |   11107   189523   403359 |   290284   131174     53 | 84.959 % |
687.79/687.85	c |    196858 |   11107   189523   403359 |   319312   196858     54 | 84.959 % |
802.39/802.41	c |    295385 |   11107   189523   403359 |   351244   295385     55 | 84.959 % |
1018.80/1018.80	c |    443174 |   11107   189523   403359 |   386368    48973     67 | 84.959 % |
1232.11/1232.20	c |    664857 |   11107   189523   403359 |   425005   270656     76 | 84.959 % |
1746.32/1746.37	c |    997382 |   11068   189523   403359 |   467505   135918     73 | 85.012 % |

Verifier Data 

ERROR: no interpretation found !

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-3461706-1307121721/watcher-3461706-1307121721 -o /tmp/evaluation-result-3461706-1307121721/solver-3461706-1307121721 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461706-1307121721.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.26 1.76 1.86 2/438 17967
/proc/meminfo: memFree=29904668/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=11624 CPUtime=0 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 729 0 0 0 0 0 0 0 20 0 1 0 902402813 11902976 683 33554432000 4194304 5714214 140736497489392 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/17967/statm: 2906 686 192 372 0 568 0

[startup+0.075814 s]
/proc/loadavg: 1.26 1.76 1.86 2/438 17967
/proc/meminfo: memFree=29904668/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=23708 CPUtime=0.07 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 3854 0 0 0 7 0 0 0 20 0 1 0 902402813 24276992 3661 33554432000 4194304 5714214 140736497489392 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/17967/statm: 5927 3661 410 372 0 3589 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23708

[startup+0.100814 s]
/proc/loadavg: 1.26 1.76 1.86 2/438 17967
/proc/meminfo: memFree=29904668/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=24528 CPUtime=0.09 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 4164 0 0 0 9 0 0 0 20 0 1 0 902402813 25116672 3971 33554432000 4194304 5714214 140736497489392 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/17967/statm: 6132 3971 498 372 0 3794 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24528

[startup+0.300766 s]
/proc/loadavg: 1.26 1.76 1.86 2/438 17967
/proc/meminfo: memFree=29904668/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=35708 CPUtime=0.29 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 7300 0 0 0 29 0 0 0 21 0 1 0 902402813 36564992 6938 33554432000 4194304 5714214 140736497489392 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/17967/statm: 8927 6938 1175 372 0 6589 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35708

[startup+0.7007 s]
/proc/loadavg: 1.26 1.76 1.86 2/438 17967
/proc/meminfo: memFree=29904668/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=83152 CPUtime=0.69 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 21967 0 0 0 67 2 0 0 18 0 1 0 902402813 85147648 19416 33554432000 4194304 5714214 140736497489392 18446744073709551615 4967703 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/17967/statm: 20788 19416 172 372 0 20413 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83152

[startup+1.50054 s]
/proc/loadavg: 1.26 1.76 1.86 3/444 17973
/proc/meminfo: memFree=29696304/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=102844 CPUtime=1.49 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 31328 0 0 0 145 4 0 0 18 0 1 0 902402813 105312256 24812 33554432000 4194304 5714214 140736497489392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/17967/statm: 25711 24812 180 372 0 25336 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102844

[startup+3.10024 s]
/proc/loadavg: 1.26 1.76 1.86 3/444 17973
/proc/meminfo: memFree=29700520/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=102844 CPUtime=3.09 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 31328 0 0 0 305 4 0 0 22 0 1 0 902402813 105312256 24812 33554432000 4194304 5714214 140736497489392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/17967/statm: 25711 24812 180 372 0 25336 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 102844

[startup+6.30064 s]
/proc/loadavg: 1.32 1.77 1.87 3/444 17973
/proc/meminfo: memFree=29693024/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=111836 CPUtime=6.29 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 33309 0 0 0 623 6 0 0 25 0 1 0 902402813 114520064 26793 33554432000 4194304 5714214 140736497489392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/17967/statm: 27959 26793 180 372 0 27584 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 111836

[startup+12.7004 s]
/proc/loadavg: 1.37 1.77 1.87 3/444 17973
/proc/meminfo: memFree=29690544/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=111836 CPUtime=12.69 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 33309 0 0 0 1262 7 0 0 25 0 1 0 902402813 114520064 26793 33554432000 4194304 5714214 140736497489392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/17967/statm: 27959 26793 180 372 0 27584 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 111836

[startup+25.501 s]
/proc/loadavg: 1.58 1.80 1.87 3/444 17974
/proc/meminfo: memFree=29669232/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=111836 CPUtime=25.47 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 33309 0 0 0 2536 11 0 0 25 0 1 0 902402813 114520064 26793 33554432000 4194304 5714214 140736497489392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 27959 26793 180 372 0 27584 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 111836

[startup+51.1012 s]
/proc/loadavg: 1.72 1.81 1.87 3/444 17974
/proc/meminfo: memFree=29615524/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=133464 CPUtime=51.07 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 38661 0 0 0 5089 18 0 0 25 0 1 0 902402813 136667136 32145 33554432000 4194304 5714214 140736497489392 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 33366 32145 180 372 0 32991 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 133464

[startup+102.317 s]
/proc/loadavg: 1.88 1.84 1.88 3/444 17976
/proc/meminfo: memFree=29541028/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=163048 CPUtime=102.28 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 45695 0 0 0 10203 25 0 0 25 0 1 0 902402813 166961152 39179 33554432000 4194304 5714214 140736497489392 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 40762 39179 180 372 0 40387 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 163048

[startup+162.3 s]
/proc/loadavg: 1.95 1.86 1.89 3/444 17977
/proc/meminfo: memFree=29506540/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=163048 CPUtime=162.27 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 45695 0 0 0 16189 38 0 0 25 0 1 0 902402813 166961152 39179 33554432000 4194304 5714214 140736497489392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 40762 39179 180 372 0 40387 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 163048

[startup+222.301 s]
/proc/loadavg: 1.98 1.89 1.89 3/444 17979
/proc/meminfo: memFree=29468532/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=163048 CPUtime=222.27 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 45926 0 0 0 22182 45 0 0 25 0 1 0 902402813 166961152 39410 33554432000 4194304 5714214 140736497489392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 40762 39410 180 372 0 40387 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 163048

[startup+282.301 s]
/proc/loadavg: 1.99 1.90 1.90 3/444 17981
/proc/meminfo: memFree=29416916/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=182768 CPUtime=282.28 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 51076 0 0 0 28174 54 0 0 25 0 1 0 902402813 187154432 44560 33554432000 4194304 5714214 140736497489392 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 45692 44560 180 372 0 45317 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 182768

[startup+342.3 s]
/proc/loadavg: 1.99 1.92 1.90 3/444 17982
/proc/meminfo: memFree=29370872/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=202792 CPUtime=342.28 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 56091 0 0 0 34166 62 0 0 25 0 1 0 902402813 207659008 49575 33554432000 4194304 5714214 140736497489392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 50698 49575 180 372 0 50323 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 202792

[startup+402.301 s]
/proc/loadavg: 1.99 1.93 1.91 3/444 17984
/proc/meminfo: memFree=29337476/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=221288 CPUtime=402.28 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 60418 0 0 0 40159 69 0 0 25 0 1 0 902402813 226598912 53902 33554432000 4194304 5714214 140736497489392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 55322 53902 180 372 0 54947 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 221288

[startup+462.301 s]
/proc/loadavg: 1.99 1.94 1.91 3/444 17985
/proc/meminfo: memFree=29319688/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=237900 CPUtime=462.28 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 64646 0 0 0 46150 78 0 0 25 0 1 0 902402813 243609600 58130 33554432000 4194304 5714214 140736497489392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 59475 58130 180 372 0 59100 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 237900

[startup+522.301 s]
/proc/loadavg: 2.19 2.00 1.93 3/444 17987
/proc/meminfo: memFree=29303420/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=252944 CPUtime=522.28 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 68423 0 0 0 52142 86 0 0 25 0 1 0 902402813 259014656 61907 33554432000 4194304 5714214 140736497489392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 63236 61907 180 372 0 62861 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 252944

[startup+582.3 s]
/proc/loadavg: 2.07 2.00 1.93 3/444 17989
/proc/meminfo: memFree=29287008/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=268644 CPUtime=582.29 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 73068 0 0 0 58132 97 0 0 25 0 1 0 902402813 275091456 65741 33554432000 4194304 5714214 140736497489392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 67161 65741 180 372 0 66786 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 268644

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/444 17995
/proc/meminfo: memFree=29264660/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=268644 CPUtime=822.29 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 73117 0 0 0 82106 123 0 0 25 0 1 0 902402813 275091456 65790 33554432000 4194304 5714214 140736497489392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 67161 65790 180 372 0 66786 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 268644

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/444 17997
/proc/meminfo: memFree=29247636/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=268644 CPUtime=882.3 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 73123 0 0 0 88101 129 0 0 25 0 1 0 902402813 275091456 65796 33554432000 4194304 5714214 140736497489392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 67161 65796 180 372 0 66786 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 268644

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/444 17998
/proc/meminfo: memFree=29232596/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=268644 CPUtime=942.3 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 73243 0 0 0 94096 134 0 0 25 0 1 0 902402813 275091456 65916 33554432000 4194304 5714214 140736497489392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 67161 65916 180 372 0 66786 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 268644

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/444 18000
/proc/meminfo: memFree=29219532/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=268644 CPUtime=1002.3 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 73325 0 0 0 100092 138 0 0 25 0 1 0 902402813 275091456 65998 33554432000 4194304 5714214 140736497489392 18446744073709551615 4347313 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 67161 65998 180 372 0 66786 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 268644

[startup+1062.3 s]
/proc/loadavg: 2.13 2.04 1.94 3/444 18004
/proc/meminfo: memFree=29218104/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=268644 CPUtime=1062.3 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 73325 0 0 0 106084 146 0 0 25 0 1 0 902402813 275091456 65998 33554432000 4194304 5714214 140736497489392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 67161 65998 180 372 0 66786 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 268644

[startup+1122.3 s]
/proc/loadavg: 2.09 2.05 1.95 3/444 18006
/proc/meminfo: memFree=29216960/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=268644 CPUtime=1122.3 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 73360 0 0 0 112076 154 0 0 25 0 1 0 902402813 275091456 66033 33554432000 4194304 5714214 140736497489392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 67161 66033 180 372 0 66786 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 268644

[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 1.95 3/444 18008
/proc/meminfo: memFree=29201924/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=272420 CPUtime=1182.31 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 74707 0 0 0 118070 161 0 0 25 0 1 0 902402813 278958080 67380 33554432000 4194304 5714214 140736497489392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 68105 67380 180 372 0 67730 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 272420

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/444 18009
/proc/meminfo: memFree=29180300/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=281560 CPUtime=1242.31 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 76970 0 0 0 124064 167 0 0 25 0 1 0 902402813 288317440 69643 33554432000 4194304 5714214 140736497489392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 70390 69643 180 372 0 70015 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 281560

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/444 18011
/proc/meminfo: memFree=29160784/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=287304 CPUtime=1302.32 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 78403 0 0 0 130059 173 0 0 25 0 1 0 902402813 294199296 71076 33554432000 4194304 5714214 140736497489392 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 71826 71076 180 372 0 71451 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 287304

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/444 18012
/proc/meminfo: memFree=29142128/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=294828 CPUtime=1362.31 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 80273 0 0 0 136050 181 0 0 25 0 1 0 902402813 301903872 72946 33554432000 4194304 5714214 140736497489392 18446744073709551615 4319136 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 73707 72946 180 372 0 73332 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 294828

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.95 3/444 18014
/proc/meminfo: memFree=29116424/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=310432 CPUtime=1422.33 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 84113 0 0 0 142045 188 0 0 25 0 1 0 902402813 317882368 76786 33554432000 4194304 5714214 140736497489392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 77608 76786 180 372 0 77233 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 310432

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/444 18016
/proc/meminfo: memFree=29091224/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=324748 CPUtime=1482.32 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 87713 0 0 0 148039 193 0 0 25 0 1 0 902402813 332541952 80386 33554432000 4194304 5714214 140736497489392 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 81187 80386 180 372 0 80812 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 324748

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/444 18017
/proc/meminfo: memFree=29066508/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=337416 CPUtime=1542.32 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 90884 0 0 0 154034 198 0 0 25 0 1 0 902402813 345513984 83557 33554432000 4194304 5714214 140736497489392 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 84354 83557 180 372 0 83979 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 337416

[startup+1602.3 s]
/proc/loadavg: 2.21 2.06 1.97 3/444 18019
/proc/meminfo: memFree=29039940/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=355820 CPUtime=1602.32 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 94950 0 0 0 160028 204 0 0 25 0 1 0 902402813 364359680 87623 33554432000 4194304 5714214 140736497489392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 88955 87623 180 372 0 88580 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 355820

[startup+1662.3 s]
/proc/loadavg: 2.08 2.05 1.97 3/444 18020
/proc/meminfo: memFree=29016692/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=362080 CPUtime=1662.33 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 96585 0 0 0 166024 209 0 0 25 0 1 0 902402813 370769920 89258 33554432000 4194304 5714214 140736497489392 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 90520 89258 180 372 0 90145 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 362080

[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 1.97 3/444 18022
/proc/meminfo: memFree=28997432/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=362080 CPUtime=1722.32 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 96585 0 0 0 172015 217 0 0 25 0 1 0 902402813 370769920 89258 33554432000 4194304 5714214 140736497489392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 90520 89258 180 372 0 90145 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 362080

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/444 18024
/proc/meminfo: memFree=28977432/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=362080 CPUtime=1782.33 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 96588 0 0 0 178009 224 0 0 25 0 1 0 902402813 370769920 89261 33554432000 4194304 5714214 140736497489392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 90520 89261 180 372 0 90145 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 362080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 1.97 3/444 18024
/proc/meminfo: memFree=28972956/32950928 swapFree=52246700/67111528
[pid=17967] ppid=17965 vsize=362080 CPUtime=1800.04 cores=0,2,4,6
/proc/17967/stat : 17967 (wbo1.6) R 17965 17967 13866 0 -1 4202496 96589 0 0 0 179779 225 0 0 25 0 1 0 902402813 370769920 89262 33554432000 4194304 5714214 140736497489392 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17967/statm: 90520 89262 180 372 0 90145 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 362080

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.04
CPU time (s): 1800.07
CPU user time (s): 1797.8
CPU system time (s): 2.27165
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 362080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.8
system time used= 2.27165
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96589
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= 6
involuntary context switches= 4819

runsolver used 8.30474 second user time and 17.8723 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-03 19:22:01
IDJOB=3461706
IDBENCH=77567
IDSOLVER=1953
FILE ID=node114/3461706-1307121721
RUNJOBID= node114-1307121721-17952
PBS_JOBID= 13497997
Free space on /tmp= 73912 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12017_7.std.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461706-1307121721/watcher-3461706-1307121721 -o /tmp/evaluation-result-3461706-1307121721/solver-3461706-1307121721 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461706-1307121721.opb

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

MD5SUM BENCH= f1ad880d8b0218ee8fbfe589c0282393
RANDOM SEED=1790483099

node114.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.848
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.69
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.848
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.15
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.848
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.74
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.848
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.73
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.848
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.848
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.75
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.848
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.74
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.848
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29904948 kB
Buffers:        286660 kB
Cached:         451156 kB
SwapCached:      10712 kB
Active:        2328224 kB
Inactive:       445324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29904948 kB
SwapTotal:    67111528 kB
SwapFree:     52246700 kB
Dirty:           24576 kB
Writeback:           0 kB
AnonPages:     2033328 kB
Mapped:          20704 kB
Slab:           141544 kB
PageTables:      62404 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 108156904 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= 73904 MiB
End job on node114 at 2011-06-03 19:52:03