Trace number 3726387

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
pwbo 2.02? (TO) 1800.14 901.979

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX300_K192_cod2.opb
MD5SUMd6bdbf89ddd7448cef1f1e681200f2c0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-25980
Best CPU time to get the best result obtained on this benchmark1801.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1427
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 881564
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 881564
Number of bits of the biggest sum of numbers20
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 ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                     2.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3726387-1338667520.opb.
0.00/0.00	c Instance file HOME/instance-3726387-1338667520.opb
0.00/0.00	c File size is 28233869 bytes.
3.08/3.13	c Cost Offset: -881564
3.08/3.13	c Highest Coefficient sum: 67903
3.08/3.13	c ============================[ Problem Statistics ]=============================
3.08/3.13	c |                                                                             |
3.08/3.13	c |  Parsing time:          3.13         s                                      |
3.08/3.13	c |  Number Variables:      400896                                              |
3.08/3.13	c |  Number Clauses:        400785                                              |
3.08/3.13	c |  Number Cardinality:    1977                                                |
3.08/3.13	c |  Number PB Constraints: 1                                                   |
3.08/3.13	c |                                                                             |
3.63/3.47	c |  Problem Type:          Optimization                                        |
3.63/3.47	c |  Objective Function:    PB Constraint                                       |
3.63/3.47	c |                                                                             |
3.63/3.47	c ===============================================================================
1800.14/901.91	c ===============================================================================
1800.14/901.91	c Wall Clock Time: 901.92 s
1800.14/901.91	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3726387-1338667520/watcher-3726387-1338667520 -o /tmp/evaluation-result-3726387-1338667520/solver-3726387-1338667520 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726387-1338667520.opb 

running on 4 cores: 1,3,5,7

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.84 1.97 1.99 3/172 10644
/proc/meminfo: memFree=28098508/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=33176 CPUtime=0 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) R 10642 10644 10604 0 -1 4202496 684 0 0 0 0 0 0 0 20 0 1 0 332878920 33972224 636 33554432000 4194304 5964478 140735173872592 140735173870472 5179696 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 8294 650 170 433 0 964 0

[startup+0.00682901 s]
/proc/loadavg: 1.84 1.97 1.99 3/172 10644
/proc/meminfo: memFree=28098508/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=33560 CPUtime=0 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) R 10642 10644 10604 0 -1 4202496 779 0 0 0 0 0 0 0 20 0 1 0 332878920 34365440 731 33554432000 4194304 5964478 140735173872592 140735173870472 4395529 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 8390 731 170 433 0 1060 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 33560

[startup+0.100205 s]
/proc/loadavg: 1.84 1.97 1.99 3/172 10644
/proc/meminfo: memFree=28098508/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=50928 CPUtime=0.09 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) R 10642 10644 10604 0 -1 4202496 4874 0 0 0 9 0 0 0 20 0 1 0 332878920 52150272 4744 33554432000 4194304 5964478 140735173872592 140735173870472 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 12732 4744 440 433 0 5402 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50928

[startup+0.300249 s]
/proc/loadavg: 1.84 1.97 1.99 3/172 10644
/proc/meminfo: memFree=28098508/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=70252 CPUtime=0.28 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) R 10642 10644 10604 0 -1 4202496 10786 0 0 0 27 1 0 0 20 0 1 0 332878920 71938048 10389 33554432000 4194304 5964478 140735173872592 140735173870472 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 17563 10389 990 433 0 10233 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 70252

[startup+0.700235 s]
/proc/loadavg: 1.84 1.97 1.99 3/172 10644
/proc/meminfo: memFree=28098508/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=121180 CPUtime=0.68 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) R 10642 10644 10604 0 -1 4202496 24270 0 0 0 65 3 0 0 20 0 1 0 332878920 124088320 22829 33554432000 4194304 5964478 140735173872592 140735173870936 4344275 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 30295 22829 2032 433 0 22965 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 121180

[startup+1.50024 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 10649
/proc/meminfo: memFree=27869996/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=213696 CPUtime=1.49 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) R 10642 10644 10604 0 -1 4202496 46849 0 0 0 143 6 0 0 20 0 1 0 332878920 218824704 46906 33554432000 4194304 5964478 140735173872592 140735173871080 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 53424 46907 3868 433 0 46094 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 213696

[startup+3.10024 s]
/proc/loadavg: 1.85 1.97 1.99 3/177 10649
/proc/meminfo: memFree=27651168/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=336880 CPUtime=3.08 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) R 10642 10644 10604 0 -1 4202496 76280 0 0 0 299 9 0 0 20 0 1 0 332878920 344965120 78321 33554432000 4194304 5964478 140735173872592 140735173871000 4344768 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 84220 78321 7004 433 0 76890 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 336880

[startup+6.30039 s]
/proc/loadavg: 1.85 1.97 1.99 5/181 10653
/proc/meminfo: memFree=26697764/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=894124 CPUtime=9.34 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 164437 0 0 0 877 57 0 0 20 0 3 0 332878920 915582976 188921 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 223531 188921 196 433 0 223095 0
[pid=10644/tid=10650] ppid=10642 vsize=894124 CPUtime=3.11 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 63039 0 0 0 271 40 0 0 20 0 3 0 332879234 915582976 188921 33554432000 4194304 5964478 140735173872592 139958770219336 5122358 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=894124 CPUtime=3.08 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 23466 0 0 0 301 7 0 0 20 0 3 0 332879234 915582976 188921 33554432000 4194304 5964478 140735173872592 139958759729464 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.34
Current children cumulated vsize (KiB) 894124

[startup+12.7004 s]
/proc/loadavg: 2.18 2.03 2.01 5/181 10653
/proc/meminfo: memFree=26561356/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=894040 CPUtime=22.15 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 172018 0 0 0 2154 61 0 0 20 0 3 0 332878920 915496960 194686 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 223510 194686 197 433 0 223074 0
[pid=10644/tid=10650] ppid=10642 vsize=894040 CPUtime=9.5 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 69389 0 0 0 907 43 0 0 20 0 3 0 332879234 915496960 194686 33554432000 4194304 5964478 140735173872592 139958770219544 4445112 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=894040 CPUtime=9.47 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 24697 0 0 0 939 8 0 0 20 0 3 0 332879234 915496960 194686 33554432000 4194304 5964478 140735173872592 139958759728984 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 22.15
Current children cumulated vsize (KiB) 894040

[startup+25.5004 s]
/proc/loadavg: 2.46 2.10 2.03 5/181 10653
/proc/meminfo: memFree=26390524/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=1025112 CPUtime=47.74 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 188641 0 0 0 4706 68 0 0 20 0 3 0 332878920 1049714688 216411 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 256278 216411 197 433 0 255842 0
[pid=10644/tid=10650] ppid=10642 vsize=1025112 CPUtime=22.26 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 85733 0 0 0 2177 49 0 0 20 0 3 0 332879234 1049714688 216411 33554432000 4194304 5964478 140735173872592 139958770219352 5133940 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=1025112 CPUtime=22.23 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 24976 0 0 0 2215 8 0 0 20 0 3 0 332879234 1049714688 216411 33554432000 4194304 5964478 140735173872592 139958759729464 4403698 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 47.74
Current children cumulated vsize (KiB) 1025112

[startup+51.1004 s]
/proc/loadavg: 2.99 2.25 2.08 5/181 10653
/proc/meminfo: memFree=26022212/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=1221720 CPUtime=98.93 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 235258 0 0 0 9808 85 0 0 20 0 3 0 332878920 1251041280 257821 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 305430 257821 197 433 0 304994 0
[pid=10644/tid=10650] ppid=10642 vsize=1221720 CPUtime=47.79 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 132081 0 0 0 4714 65 0 0 20 0 3 0 332879234 1251041280 257821 33554432000 4194304 5964478 140735173872592 139958770219544 5122424 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=1221720 CPUtime=47.76 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 25245 0 0 0 4767 9 0 0 20 0 3 0 332879234 1251041280 257821 33554432000 4194304 5964478 140735173872592 139958759729464 4392918 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 98.93
Current children cumulated vsize (KiB) 1221720

[startup+102.307 s]
/proc/loadavg: 3.59 2.54 2.19 5/181 10653
/proc/meminfo: memFree=25430372/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=1549400 CPUtime=201.33 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 257252 0 0 0 20026 107 0 0 20 0 3 0 332878920 1586585600 328626 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 387350 328626 197 433 0 386914 0
[pid=10644/tid=10650] ppid=10642 vsize=1549400 CPUtime=98.87 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 153259 0 0 0 9801 86 0 0 20 0 3 0 332879234 1586585600 328626 33554432000 4194304 5964478 140735173872592 139958770219544 5130901 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=1549400 CPUtime=98.83 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 26061 0 0 0 9871 12 0 0 20 0 3 0 332879234 1586585600 328626 33554432000 4194304 5964478 140735173872592 139958759729512 4392707 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 201.33
Current children cumulated vsize (KiB) 1549400

[startup+162.3 s]
/proc/loadavg: 3.85 2.80 2.30 5/181 10653
/proc/meminfo: memFree=24680436/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=2032760 CPUtime=321.29 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 285607 0 0 0 31988 141 0 0 20 0 3 0 332878920 2081546240 427415 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 508190 427415 197 433 0 507754 0
[pid=10644/tid=10650] ppid=10642 vsize=2032760 CPUtime=158.71 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 180478 0 0 0 15752 119 0 0 20 0 3 0 332879234 2081546240 427415 33554432000 4194304 5964478 140735173872592 139958770219544 4429814 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=2032760 CPUtime=158.66 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 27197 0 0 0 15850 16 0 0 20 0 3 0 332879234 2081546240 427415 33554432000 4194304 5964478 140735173872592 139958759729464 4392882 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 321.29
Current children cumulated vsize (KiB) 2032760

[startup+222.3 s]
/proc/loadavg: 3.94 3.02 2.40 5/181 10653
/proc/meminfo: memFree=24062092/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=2405640 CPUtime=441.25 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 361201 0 0 0 43888 237 0 0 20 0 3 0 332878920 2463375360 500366 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 601410 500366 197 433 0 600974 0
[pid=10644/tid=10650] ppid=10642 vsize=2405640 CPUtime=218.56 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 255156 0 0 0 21642 214 0 0 20 0 3 0 332879234 2463375360 500366 33554432000 4194304 5964478 140735173872592 139958770219960 4419176 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=2405640 CPUtime=218.5 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 28113 0 0 0 21832 18 0 0 20 0 3 0 332879234 2463375360 500366 33554432000 4194304 5964478 140735173872592 139958759729464 4389170 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 441.25
Current children cumulated vsize (KiB) 2405640

[startup+282.3 s]
/proc/loadavg: 3.98 3.19 2.50 5/182 10657
/proc/meminfo: memFree=23453128/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=2745624 CPUtime=561.2 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 538059 0 0 0 55726 394 0 0 20 0 3 0 332878920 2811518976 578728 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 686406 578728 197 433 0 685970 0
[pid=10644/tid=10650] ppid=10642 vsize=2745624 CPUtime=278.4 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 430575 0 0 0 27471 369 0 0 20 0 3 0 332879234 2811518976 578728 33554432000 4194304 5964478 140735173872592 139958770219416 5133892 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=2745624 CPUtime=278.31 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 29552 0 0 0 27809 22 0 0 20 0 3 0 332879234 2811518976 578728 33554432000 4194304 5964478 140735173872592 139958759729464 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 561.2
Current children cumulated vsize (KiB) 2745624

[startup+342.3 s]
/proc/loadavg: 4.02 3.35 2.60 5/181 10657
/proc/meminfo: memFree=22784832/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=3073304 CPUtime=681.15 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 684879 0 0 0 67575 540 0 0 20 0 3 0 332878920 3147063296 660410 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 768326 660410 197 433 0 767890 0
[pid=10644/tid=10650] ppid=10642 vsize=3073304 CPUtime=338.25 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 576521 0 0 0 33312 513 0 0 20 0 3 0 332879234 3147063296 660410 33554432000 4194304 5964478 140735173872592 139958770219416 5130994 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=3073304 CPUtime=338.12 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 30426 0 0 0 33786 26 0 0 20 0 3 0 332879234 3147063296 660410 33554432000 4194304 5964478 140735173872592 139958759729464 4403727 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 681.15
Current children cumulated vsize (KiB) 3073304

[startup+402.3 s]
/proc/loadavg: 4.15 3.49 2.69 5/181 10657
/proc/meminfo: memFree=22153428/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=3417304 CPUtime=801.12 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 811902 0 0 0 79437 675 0 0 20 0 3 0 332878920 3499319296 730642 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 854326 730642 197 433 0 853890 0
[pid=10644/tid=10650] ppid=10642 vsize=3417304 CPUtime=398.09 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 702125 0 0 0 39164 645 0 0 20 0 3 0 332879234 3499319296 730642 33554432000 4194304 5964478 140735173872592 139958770219304 5142509 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=3417304 CPUtime=397.95 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 31845 0 0 0 39765 30 0 0 20 0 3 0 332879234 3499319296 730642 33554432000 4194304 5964478 140735173872592 139958759729464 4403280 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 801.12
Current children cumulated vsize (KiB) 3417304

[startup+462.3 s]
/proc/loadavg: 4.05 3.59 2.77 5/181 10657
/proc/meminfo: memFree=21509620/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=3818888 CPUtime=921.08 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 875820 0 0 0 91359 749 0 0 20 0 3 0 332878920 3910541312 829044 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 954722 829044 197 433 0 954286 0
[pid=10644/tid=10650] ppid=10642 vsize=3818888 CPUtime=457.93 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 765212 0 0 0 45075 718 0 0 20 0 3 0 332879234 3910541312 829044 33554432000 4194304 5964478 140735173872592 139958770219960 5130914 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=3818888 CPUtime=457.78 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 32676 0 0 0 45747 31 0 0 20 0 3 0 332879234 3910541312 829044 33554432000 4194304 5964478 140735173872592 139958759729512 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 921.08
Current children cumulated vsize (KiB) 3818888

[startup+522.3 s]
/proc/loadavg: 4.02 3.65 2.84 5/181 10657
/proc/meminfo: memFree=21279104/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=3744984 CPUtime=1041.06 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 907770 0 0 0 103333 773 0 0 20 0 3 0 332878920 3834863616 811700 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 936246 811700 197 433 0 935810 0
[pid=10644/tid=10650] ppid=10642 vsize=3744984 CPUtime=517.78 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 796588 0 0 0 51037 741 0 0 20 0 3 0 332879234 3834863616 811700 33554432000 4194304 5964478 140735173872592 139958770219416 5122249 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=3744984 CPUtime=517.63 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 33250 0 0 0 51729 34 0 0 20 0 3 0 332879234 3834863616 811700 33554432000 4194304 5964478 140735173872592 139958759729464 4389147 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1041.06
Current children cumulated vsize (KiB) 3744984

[startup+582.3 s]
/proc/loadavg: 4.00 3.72 2.92 5/181 10658
/proc/meminfo: memFree=20959228/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=3720376 CPUtime=1161.04 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 939850 0 0 0 115305 799 0 0 20 0 3 0 332878920 3809665024 817544 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 930094 817544 197 433 0 929658 0
[pid=10644/tid=10650] ppid=10642 vsize=3720376 CPUtime=577.63 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 827954 0 0 0 56996 767 0 0 20 0 3 0 332879234 3809665024 817544 33554432000 4194304 5964478 140735173872592 139958770219960 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=3720376 CPUtime=577.48 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 33964 0 0 0 57712 36 0 0 20 0 3 0 332879234 3809665024 817544 33554432000 4194304 5964478 140735173872592 139958759729464 4389170 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1161.04
Current children cumulated vsize (KiB) 3720376

[startup+642.3 s]
/proc/loadavg: 4.00 3.77 2.98 5/181 10658
/proc/meminfo: memFree=20576820/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=3863916 CPUtime=1281.04 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 948662 0 0 0 127286 818 0 0 20 0 3 0 332878920 3956649984 852441 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 965979 852441 197 433 0 965543 0
[pid=10644/tid=10650] ppid=10642 vsize=3863916 CPUtime=637.48 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 836012 0 0 0 62963 785 0 0 20 0 3 0 332879234 3956649984 852441 33554432000 4194304 5964478 140735173872592 139958770219960 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=3863916 CPUtime=637.33 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 34718 0 0 0 63694 39 0 0 20 0 3 0 332879234 3956649984 852441 33554432000 4194304 5964478 140735173872592 139958759729464 4387951 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1281.04
Current children cumulated vsize (KiB) 3863916

[startup+702.3 s]
/proc/loadavg: 4.00 3.81 3.04 5/181 10658
/proc/meminfo: memFree=20287596/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=3941592 CPUtime=1401 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 971848 0 0 0 139257 843 0 0 20 0 3 0 332878920 4036190208 862658 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 985398 862658 197 433 0 984962 0
[pid=10644/tid=10650] ppid=10642 vsize=3941592 CPUtime=697.32 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 858627 0 0 0 68922 810 0 0 20 0 3 0 332879234 4036190208 862658 33554432000 4194304 5964478 140735173872592 139958770219960 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=3941592 CPUtime=697.16 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 35289 0 0 0 69675 41 0 0 20 0 3 0 332879234 4036190208 862658 33554432000 4194304 5964478 140735173872592 139958759729464 4403343 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1401
Current children cumulated vsize (KiB) 3941592

[startup+762.307 s]
/proc/loadavg: 4.00 3.84 3.10 5/181 10658
/proc/meminfo: memFree=20039244/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=3982520 CPUtime=1520.99 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 1001696 0 0 0 151225 874 0 0 20 0 3 0 332878920 4078100480 870844 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 995630 870844 197 433 0 995194 0
[pid=10644/tid=10650] ppid=10642 vsize=3982520 CPUtime=757.17 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 887515 0 0 0 74879 838 0 0 20 0 3 0 332879234 4078100480 870844 33554432000 4194304 5964478 140735173872592 139958770219960 4400628 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=3982520 CPUtime=757.01 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 36249 0 0 0 75655 46 0 0 20 0 3 0 332879234 4078100480 870844 33554432000 4194304 5964478 140735173872592 139958759729512 4390871 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1520.99
Current children cumulated vsize (KiB) 3982520

[startup+822.3 s]
/proc/loadavg: 4.00 3.87 3.15 5/181 10658
/proc/meminfo: memFree=19711640/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=4048056 CPUtime=1640.95 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 1027229 0 0 0 163190 905 0 0 20 0 3 0 332878920 4145209344 895130 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 1012014 895130 197 433 0 1011578 0
[pid=10644/tid=10650] ppid=10642 vsize=4048056 CPUtime=817 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 912088 0 0 0 80832 868 0 0 20 0 3 0 332879234 4145209344 895130 33554432000 4194304 5964478 140735173872592 139958770219352 4400038 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=4048056 CPUtime=816.85 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 37209 0 0 0 81636 49 0 0 20 0 3 0 332879234 4145209344 895130 33554432000 4194304 5964478 140735173872592 139958759729464 4403700 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1640.95
Current children cumulated vsize (KiB) 4048056

[startup+882.3 s]
/proc/loadavg: 4.07 3.90 3.21 5/182 10662
/proc/meminfo: memFree=19627400/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=4113592 CPUtime=1760.92 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 1050770 0 0 0 175158 934 0 0 20 0 3 0 332878920 4212318208 906760 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 1028398 906760 197 433 0 1027962 0
[pid=10644/tid=10650] ppid=10642 vsize=4113592 CPUtime=876.85 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 934732 0 0 0 86789 896 0 0 20 0 3 0 332879234 4212318208 906760 33554432000 4194304 5964478 140735173872592 139958770219960 4409229 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=4113592 CPUtime=876.68 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 38106 0 0 0 87616 52 0 0 20 0 3 0 332879234 4212318208 906760 33554432000 4194304 5964478 140735173872592 139958759729464 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1760.92
Current children cumulated vsize (KiB) 4113592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+901.9 s]
/proc/loadavg: 4.05 3.91 3.22 6/182 10662
/proc/meminfo: memFree=19488372/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=4183228 CPUtime=1800.14 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 1058241 0 0 0 179072 942 0 0 20 0 3 0 332878920 4283625472 921131 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 1045807 921131 197 433 0 1045371 0
[pid=10644/tid=10650] ppid=10642 vsize=4183228 CPUtime=896.41 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 941813 0 0 0 88738 903 0 0 20 0 3 0 332879234 4283625472 921131 33554432000 4194304 5964478 140735173872592 139958770219960 4399854 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=4183228 CPUtime=896.25 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 38496 0 0 0 89572 53 0 0 20 0 3 0 332879234 4283625472 921131 33554432000 4194304 5964478 140735173872592 139958759729464 4403717 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 4183228

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

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

[startup+901.9 s]
/proc/loadavg: 4.05 3.91 3.22 6/182 10662
/proc/meminfo: memFree=19488372/32873648 swapFree=6864/6864
[pid=10644] ppid=10642 vsize=4183228 CPUtime=1800.14 cores=1,3,5,7
/proc/10644/stat : 10644 (pwbo2.02) S 10642 10644 10604 0 -1 4202496 1058241 0 0 0 179072 942 0 0 20 0 3 0 332878920 4283625472 921131 33554432000 4194304 5964478 140735173872592 140735173872112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10644/statm: 1045807 921131 197 433 0 1045371 0
[pid=10644/tid=10650] ppid=10642 vsize=4183228 CPUtime=896.41 cores=1,3,5,7
/proc/10644/task/10650/stat : 10650 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 941813 0 0 0 88738 903 0 0 20 0 3 0 332879234 4283625472 921131 33554432000 4194304 5964478 140735173872592 139958770219960 4399854 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=10644/tid=10651] ppid=10642 vsize=4183228 CPUtime=896.25 cores=1,3,5,7
/proc/10644/task/10651/stat : 10651 (pwbo2.02) R 10642 10644 10604 0 -1 4202560 38496 0 0 0 89572 53 0 0 20 0 3 0 332879234 4283625472 921131 33554432000 4194304 5964478 140735173872592 139958759729464 4403717 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 4183228

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10644 and gives
#  childrusage.ru_utime.tv_sec=1786
#  childrusage.ru_utime.tv_usec=151463
#  childrusage.ru_stime.tv_sec=9
#  childrusage.ru_stime.tv_usec=740519
# CPU time returned by wait4() is 1795.89
# while last known CPU time is 1800.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 901.979
CPU time (s): 1800.14
CPU user time (s): 1790.72
CPU system time (s): 9.42
CPU usage (%): 199.577
Max. virtual memory (cumulated for all children) (KiB): 4244664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.15
system time used= 9.74052
maximum resident set size= 3753932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1058242
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= 6724
involuntary context switches= 2242

runsolver used 1.92171 second user time and 5.66414 second system time

The end

Launcher Data

Begin job on node113 at 2012-06-02 22:05:21
IDJOB=3726387
IDBENCH=90976
IDSOLVER=2309
FILE ID=node113/3726387-1338667520
RUNJOBID= node113-1338667520-10621
PBS_JOBID= 14636517
Free space on /tmp= 70924 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX300_K192_cod2.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3726387-1338667520/watcher-3726387-1338667520 -o /tmp/evaluation-result-3726387-1338667520/solver-3726387-1338667520 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726387-1338667520.opb

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

MD5SUM BENCH= d6bdbf89ddd7448cef1f1e681200f2c0
RANDOM SEED=361048714

node113.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28099044 kB
Buffers:          497520 kB
Cached:          3380444 kB
SwapCached:         2020 kB
Active:          1723428 kB
Inactive:        2159004 kB
Active(anon):       4376 kB
Inactive(anon):     1800 kB
Active(file):    1719052 kB
Inactive(file):  2157204 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67099596 kB
Dirty:             66044 kB
Writeback:             4 kB
AnonPages:          9568 kB
Mapped:            10304 kB
Shmem:                 0 kB
Slab:             753604 kB
SReclaimable:     194812 kB
SUnreclaim:       558792 kB
KernelStack:        1384 kB
PageTables:         4284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     103796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70916 MiB
End job on node113 at 2012-06-02 22:20:25