Trace number 3704071

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.0? (TO) 1800.47 902.027

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX180_K192_cod2.opb
MD5SUMd26c1c744a6cc6b94bc88bd85095e6b9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-36160
Best CPU time to get the best result obtained on this benchmark746.157
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 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 187909
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 187909
Number of bits of the biggest sum of numbers18
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.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3704071-1338100864.opb.
0.00/0.00	c Instance file HOME/instance-3704071-1338100864.opb
0.00/0.00	c File size is 28231046 bytes.
3.29/3.35	c Cost Offset: -187909
3.29/3.35	c Highest Coefficient sum: 63006
3.29/3.35	c ============================[ Problem Statistics ]=============================
3.29/3.35	c |                                                                             |
3.29/3.35	c |  Parsing time:          3.35         s                                      |
3.29/3.35	c |  Number Variables:      400896                                              |
3.29/3.35	c |  Number Clauses:        400785                                              |
3.29/3.35	c |  Number Cardinality:    1977                                                |
3.29/3.35	c |  Number PB Constraints: 1                                                   |
3.29/3.35	c |                                                                             |
3.81/3.69	c |  Problem Type:          Optimization                                        |
3.81/3.69	c |  Objective Function:    PB Constraint                                       |
3.81/3.69	c |                                                                             |
3.81/3.69	c ===============================================================================
1800.16/902.01	c ===============================================================================
1800.16/902.01	c Wall Clock Time: 902.02 s
1800.16/902.01	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-3704071-1338100864/watcher-3704071-1338100864 -o /tmp/evaluation-result-3704071-1338100864/solver-3704071-1338100864 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704071-1338100864.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: 3.84 3.95 3.91 4/180 19086
/proc/meminfo: memFree=28571392/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=32812 CPUtime=0 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) R 19084 19086 15889 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 276211315 33599488 561 33554432000 4194304 5965102 140733555578784 140735931209560 4355485 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 8203 561 167 433 0 874 0

[startup+0.0621049 s]
/proc/loadavg: 3.84 3.95 3.91 4/180 19086
/proc/meminfo: memFree=28571392/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=44052 CPUtime=0.05 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) R 19084 19086 15889 0 -1 4202496 3215 0 0 0 5 0 0 0 20 0 1 0 276211315 45109248 3134 33554432000 4194304 5965102 140733555578784 140735931209560 5137146 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 11013 3134 315 433 0 3684 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 44052

[startup+0.100278 s]
/proc/loadavg: 3.84 3.95 3.91 4/180 19086
/proc/meminfo: memFree=28571392/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=47972 CPUtime=0.08 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) R 19084 19086 15889 0 -1 4202496 4466 0 0 0 8 0 0 0 20 0 1 0 276211315 49123328 4336 33554432000 4194304 5965102 140733555578784 140735931209560 5160536 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 11993 4336 416 433 0 4664 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 47972

[startup+0.300246 s]
/proc/loadavg: 3.84 3.95 3.91 4/180 19086
/proc/meminfo: memFree=28571392/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=68796 CPUtime=0.28 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) R 19084 19086 15889 0 -1 4202496 10341 0 0 0 27 1 0 0 20 0 1 0 276211315 70447104 9944 33554432000 4194304 5965102 140733555578784 140735931209560 5156858 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 17199 9944 935 433 0 9870 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 68796

[startup+0.700245 s]
/proc/loadavg: 3.84 3.95 3.91 4/180 19086
/proc/meminfo: memFree=28571392/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=114024 CPUtime=0.69 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) R 19084 19086 15889 0 -1 4202496 21910 0 0 0 65 4 0 0 20 0 1 0 276211315 116760576 20983 33554432000 4194304 5965102 140733555578784 140733555576872 4344854 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 28506 20983 1899 433 0 21177 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 114024

[startup+1.50023 s]
/proc/loadavg: 3.84 3.95 3.91 4/181 19087
/proc/meminfo: memFree=28459384/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=208544 CPUtime=1.49 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) R 19084 19086 15889 0 -1 4202496 43609 0 0 0 141 8 0 0 20 0 1 0 276211315 213549056 44688 33554432000 4194304 5965102 140733555578784 140733555576872 5137146 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 52136 44688 3646 433 0 44807 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 208544

[startup+3.1002 s]
/proc/loadavg: 3.84 3.95 3.91 4/181 19087
/proc/meminfo: memFree=28356820/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=329088 CPUtime=3.09 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) R 19084 19086 15889 0 -1 4202496 72420 0 0 0 296 13 0 0 20 0 1 0 276211315 336986112 75994 33554432000 4194304 5965102 140733555578784 140733555576760 4348748 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 82272 75994 6621 433 0 74943 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 329088

[startup+6.30041 s]
/proc/loadavg: 3.77 3.93 3.90 6/183 19089
/proc/meminfo: memFree=27875168/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=885564 CPUtime=9.13 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) S 19084 19086 15889 0 -1 4202496 164778 0 0 0 875 38 0 0 20 0 3 0 276211315 906817536 188001 33554432000 4194304 5965102 140733555578784 140733555578304 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 221391 188001 198 433 0 220955 0
[pid=19086/tid=19088] ppid=19084 vsize=885564 CPUtime=2.91 cores=0,2,4,6
/proc/19086/task/19088/stat : 19088 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 67150 0 0 0 273 18 0 0 20 0 3 0 276211650 906817536 188001 33554432000 4194304 5965102 140733555578784 139828355017048 4430829 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19086/tid=19089] ppid=19084 vsize=885564 CPUtime=2.84 cores=0,2,4,6
/proc/19086/task/19089/stat : 19089 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 21209 0 0 0 278 6 0 0 20 0 3 0 276211650 906817536 188001 33554432000 4194304 5965102 140733555578784 139828344527160 4390200 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 9.13
Current children cumulated vsize (KiB) 885564

[startup+12.7004 s]
/proc/loadavg: 3.79 3.93 3.90 5/183 19089
/proc/meminfo: memFree=27814932/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=885564 CPUtime=21.93 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) S 19084 19086 15889 0 -1 4202496 169119 0 0 0 2153 40 0 0 20 0 3 0 276211315 906817536 188760 33554432000 4194304 5965102 140733555578784 140733555578304 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 221391 188760 199 433 0 220955 0
[pid=19086/tid=19088] ppid=19084 vsize=885564 CPUtime=9.31 cores=0,2,4,6
/proc/19086/task/19088/stat : 19088 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 70516 0 0 0 912 19 0 0 20 0 3 0 276211650 906817536 188760 33554432000 4194304 5965102 140733555578784 139828355017240 5123123 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19086/tid=19089] ppid=19084 vsize=885564 CPUtime=9.24 cores=0,2,4,6
/proc/19086/task/19089/stat : 19089 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 22184 0 0 0 917 7 0 0 20 0 3 0 276211650 906817536 188760 33554432000 4194304 5965102 140733555578784 139828344527160 4388991 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 21.93
Current children cumulated vsize (KiB) 885564

[startup+25.5004 s]
/proc/loadavg: 3.84 3.94 3.90 6/183 19089
/proc/meminfo: memFree=27827268/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=902092 CPUtime=47.52 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) S 19084 19086 15889 0 -1 4202496 174194 0 0 0 4710 42 0 0 20 0 3 0 276211315 923742208 185515 33554432000 4194304 5965102 140733555578784 140733555578304 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 225523 185515 199 433 0 225087 0
[pid=19086/tid=19088] ppid=19084 vsize=902092 CPUtime=22.12 cores=0,2,4,6
/proc/19086/task/19088/stat : 19088 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 75335 0 0 0 2191 21 0 0 20 0 3 0 276211650 923742208 185515 33554432000 4194304 5965102 140733555578784 139828355017544 4393875 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19086/tid=19089] ppid=19084 vsize=902092 CPUtime=22.04 cores=0,2,4,6
/proc/19086/task/19089/stat : 19089 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 22440 0 0 0 2196 8 0 0 20 0 3 0 276211650 923742208 185515 33554432000 4194304 5965102 140733555578784 139828344527208 4400848 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 47.52
Current children cumulated vsize (KiB) 902092

[startup+51.1004 s]
/proc/loadavg: 3.89 3.94 3.91 6/183 19089
/proc/meminfo: memFree=27792828/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=967628 CPUtime=98.72 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) S 19084 19086 15889 0 -1 4202496 180550 0 0 0 9826 46 0 0 20 0 3 0 276211315 990851072 193785 33554432000 4194304 5965102 140733555578784 140733555578304 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 241907 193785 199 433 0 241471 0
[pid=19086/tid=19088] ppid=19084 vsize=967628 CPUtime=47.71 cores=0,2,4,6
/proc/19086/task/19088/stat : 19088 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 81215 0 0 0 4747 24 0 0 20 0 3 0 276211650 990851072 193785 33554432000 4194304 5965102 140733555578784 139828355017544 4407480 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19086/tid=19089] ppid=19084 vsize=967628 CPUtime=47.64 cores=0,2,4,6
/proc/19086/task/19089/stat : 19089 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 22916 0 0 0 4755 9 0 0 20 0 3 0 276211650 990851072 193785 33554432000 4194304 5965102 140733555578784 139828344527160 4390200 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 98.72
Current children cumulated vsize (KiB) 967628

[startup+102.307 s]
/proc/loadavg: 3.95 3.95 3.91 6/183 19089
/proc/meminfo: memFree=27718164/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=1033164 CPUtime=201.11 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) S 19084 19086 15889 0 -1 4202496 196999 0 0 0 20056 55 0 0 20 0 3 0 276211315 1057959936 212022 33554432000 4194304 5965102 140733555578784 140733555578304 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 258291 212022 199 433 0 257855 0
[pid=19086/tid=19088] ppid=19084 vsize=1033164 CPUtime=98.92 cores=0,2,4,6
/proc/19086/task/19088/stat : 19088 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 96624 0 0 0 9862 30 0 0 20 0 3 0 276211650 1057959936 212022 33554432000 4194304 5965102 140733555578784 139828355017000 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19086/tid=19089] ppid=19084 vsize=1033164 CPUtime=98.85 cores=0,2,4,6
/proc/19086/task/19089/stat : 19089 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 23956 0 0 0 9871 14 0 0 20 0 3 0 276211650 1057959936 212022 33554432000 4194304 5965102 140733555578784 139828344527160 4400894 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 201.11
Current children cumulated vsize (KiB) 1033164

[startup+162.3 s]
/proc/loadavg: 3.39 3.81 3.86 3/175 19234
/proc/meminfo: memFree=29145916/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=1033164 CPUtime=321.07 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) S 19084 19086 15889 0 -1 4202496 198301 0 0 0 32048 59 0 0 20 0 3 0 276211315 1057959936 213316 33554432000 4194304 5965102 140733555578784 140733555578304 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 258291 213316 199 433 0 257855 0
[pid=19086/tid=19088] ppid=19084 vsize=1033164 CPUtime=158.91 cores=0,2,4,6
/proc/19086/task/19088/stat : 19088 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 96625 0 0 0 15858 33 0 0 20 0 3 0 276211650 1057959936 213316 33554432000 4194304 5965102 140733555578784 139828355017000 4404664 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19086/tid=19089] ppid=19084 vsize=1033164 CPUtime=158.83 cores=0,2,4,6
/proc/19086/task/19089/stat : 19089 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 25257 0 0 0 15866 17 0 0 20 0 3 0 276211650 1057959936 213316 33554432000 4194304 5965102 140733555578784 139828344527160 4400894 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 321.07
Current children cumulated vsize (KiB) 1033164

[startup+222.3 s]
/proc/loadavg: 2.51 3.48 3.74 3/175 19235
/proc/meminfo: memFree=29139948/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=1033164 CPUtime=441.03 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) S 19084 19086 15889 0 -1 4202496 199685 0 0 0 44041 62 0 0 20 0 3 0 276211315 1057959936 215032 33554432000 4194304 5965102 140733555578784 140733555578304 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 258291 215032 199 433 0 257855 0
[pid=19086/tid=19088] ppid=19084 vsize=1033164 CPUtime=218.92 cores=0,2,4,6
/proc/19086/task/19088/stat : 19088 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 96625 0 0 0 21858 34 0 0 20 0 3 0 276211650 1057959936 215032 33554432000 4194304 5965102 140733555578784 139828355017000 4393922 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19086/tid=19089] ppid=19084 vsize=1033164 CPUtime=218.81 cores=0,2,4,6
/proc/19086/task/19089/stat : 19089 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 26641 0 0 0 21860 21 0 0 20 0 3 0 276211650 1057959936 215032 33554432000 4194304 5965102 140733555578784 139828344527160 4401559 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 441.03
Current children cumulated vsize (KiB) 1033164

[startup+282.3 s]
/proc/loadavg: 2.18 3.21 3.63 3/175 19235
/proc/meminfo: memFree=29130092/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=1033164 CPUtime=561.01 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) S 19084 19086 15889 0 -1 4202496 201397 0 0 0 56035 66 0 0 20 0 3 0 276211315 1057959936 217518 33554432000 4194304 5965102 140733555578784 140733555578304 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 258291 217518 199 433 0 257855 0
[pid=19086/tid=19088] ppid=19084 vsize=1033164 CPUtime=278.92 cores=0,2,4,6
/proc/19086/task/19088/stat : 19088 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 96625 0 0 0 27857 35 0 0 20 0 3 0 276211650 1057959936 217518 33554432000 4194304 5965102 140733555578784 139828355017000 4393837 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19086/tid=19089] ppid=19084 vsize=1033164 CPUtime=278.8 cores=0,2,4,6
/proc/19086/task/19089/stat : 19089 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 28353 0 0 0 27854 26 0 0 20 0 3 0 276211650 1057959936 217518 33554432000 4194304 5965102 140733555578784 139828344527160 4388991 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 561.01
Current children cumulated vsize (KiB) 1033164

[startup+342.3 s]
/proc/loadavg: 2.07 2.98 3.53 3/175 19235
/proc/meminfo: memFree=29074256/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=1098700 CPUtime=680.98 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) S 19084 19086 15889 0 -1 4202496 204310 0 0 0 68028 70 0 0 20 0 3 0 276211315 1125068800 231452 33554432000 4194304 5965102 140733555578784 140733555578304 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 274675 231452 199 433 0 274239 0
[pid=19086/tid=19088] ppid=19084 vsize=1098700 CPUtime=338.92 cores=0,2,4,6
/proc/19086/task/19088/stat : 19088 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 98525 0 0 0 33855 37 0 0 20 0 3 0 276211650 1125068800 231452 33554432000 4194304 5965102 140733555578784 139828355017048 5122895 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19086/tid=19089] ppid=19084 vsize=1098700 CPUtime=338.8 cores=0,2,4,6
/proc/19086/task/19089/stat : 19089 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 29366 0 0 0 33850 30 0 0 20 0 3 0 276211650 1125068800 231452 33554432000 4194304 5965102 140733555578784 139828344527160 4400894 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 680.98
Current children cumulated vsize (KiB) 1098700

[startup+402.3 s]
/proc/loadavg: 2.02 2.80 3.43 3/175 19235
/proc/meminfo: memFree=29068708/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=1098700 CPUtime=800.95 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) S 19084 19086 15889 0 -1 4202496 205748 0 0 0 80022 73 0 0 20 0 3 0 276211315 1125068800 232883 33554432000 4194304 5965102 140733555578784 140733555578304 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 274675 232883 199 433 0 274239 0
[pid=19086/tid=19088] ppid=19084 vsize=1098700 CPUtime=398.92 cores=0,2,4,6
/proc/19086/task/19088/stat : 19088 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 98532 0 0 0 39854 38 0 0 20 0 3 0 276211650 1125068800 232883 33554432000 4194304 5965102 140733555578784 139828355017000 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19086/tid=19089] ppid=19084 vsize=1098700 CPUtime=398.8 cores=0,2,4,6
/proc/19086/task/19089/stat : 19089 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 30797 0 0 0 39846 34 0 0 20 0 3 0 276211650 1125068800 232883 33554432000 4194304 5965102 140733555578784 139828344527160 4390172 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 800.95
Current children cumulated vsize (KiB) 1098700

[startup+462.3 s]
/proc/loadavg: 2.01 2.65 3.34 3/175 19235
/proc/meminfo: memFree=29064864/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=1098700 CPUtime=920.91 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) S 19084 19086 15889 0 -1 4202496 206680 0 0 0 92014 77 0 0 20 0 3 0 276211315 1125068800 233787 33554432000 4194304 5965102 140733555578784 140733555578304 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 274675 233787 199 433 0 274239 0
[pid=19086/tid=19088] ppid=19084 vsize=1098700 CPUtime=458.89 cores=0,2,4,6
/proc/19086/task/19088/stat : 19088 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 98560 0 0 0 45851 38 0 0 20 0 3 0 276211650 1125068800 233787 33554432000 4194304 5965102 140733555578784 139828355017000 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19086/tid=19089] ppid=19084 vsize=1098700 CPUtime=458.79 cores=0,2,4,6
/proc/19086/task/19089/stat : 19089 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 31701 0 0 0 45841 38 0 0 20 0 3 0 276211650 1125068800 233787 33554432000 4194304 5965102 140733555578784 139828344527160 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 920.91
Current children cumulated vsize (KiB) 1098700

[startup+522.3 s]
/proc/loadavg: 2.00 2.53 3.25 3/175 19236
/proc/meminfo: memFree=29071992/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=1033164 CPUtime=1040.86 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) S 19084 19086 15889 0 -1 4202496 208031 0 0 0 104005 81 0 0 20 0 3 0 276211315 1057959936 232034 33554432000 4194304 5965102 140733555578784 140733555578304 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 258291 232034 199 433 0 257855 0
[pid=19086/tid=19088] ppid=19084 vsize=1033164 CPUtime=518.87 cores=0,2,4,6
/proc/19086/task/19088/stat : 19088 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 98618 0 0 0 51848 39 0 0 20 0 3 0 276211650 1057959936 232034 33554432000 4194304 5965102 140733555578784 139828355017544 4390200 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19086/tid=19089] ppid=19084 vsize=1033164 CPUtime=518.79 cores=0,2,4,6
/proc/19086/task/19089/stat : 19089 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 32994 0 0 0 51837 42 0 0 20 0 3 0 276211650 1057959936 232034 33554432000 4194304 5965102 140733555578784 139828344527160 4400894 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1040.86
Current children cumulated vsize (KiB) 1033164

[startup+582.3 s]
/proc/loadavg: 2.00 2.43 3.17 3/176 19239
/proc/meminfo: memFree=29069116/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=1033164 CPUtime=1160.84 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) S 19084 19086 15889 0 -1 4202496 208635 0 0 0 116002 82 0 0 20 0 3 0 276211315 1057959936 232738 33554432000 4194304 5965102 140733555578784 140733555578304 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 258291 232738 199 433 0 257855 0
[pid=19086/tid=19088] ppid=19084 vsize=1033164 CPUtime=578.87 cores=0,2,4,6
/proc/19086/task/19088/stat : 19088 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 98619 0 0 0 57847 40 0 0 20 0 3 0 276211650 1057959936 232738 33554432000 4194304 5965102 140733555578784 139828355017544 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19086/tid=19089] ppid=19084 vsize=1033164 CPUtime=578.79 cores=0,2,4,6
/proc/19086/task/19089/stat : 19089 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 33597 0 0 0 57834 45 0 0 20 0 3 0 276211650 1057959936 232738 33554432000 4194304 5965102 140733555578784 139828344527160 4400894 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1160.84
Current children cumulated vsize (KiB) 1033164

[startup+642.3 s]
/proc/loadavg: 2.00 2.35 3.09 3/175 19239
/proc/meminfo: memFree=29058932/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=1033164 CPUtime=1280.83 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) S 19084 19086 15889 0 -1 4202496 212368 0 0 0 127998 85 0 0 20 0 3 0 276211315 1057959936 235202 33554432000 4194304 5965102 140733555578784 140733555578304 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 258291 235202 199 433 0 257855 0
[pid=19086/tid=19088] ppid=19084 vsize=1033164 CPUtime=638.88 cores=0,2,4,6
/proc/19086/task/19088/stat : 19088 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 101526 0 0 0 63845 43 0 0 20 0 3 0 276211650 1057959936 235202 33554432000 4194304 5965102 140733555578784 139828355017544 4393922 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19086/tid=19089] ppid=19084 vsize=1033164 CPUtime=638.79 cores=0,2,4,6
/proc/19086/task/19089/stat : 19089 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 34423 0 0 0 63832 47 0 0 20 0 3 0 276211650 1057959936 235202 33554432000 4194304 5965102 140733555578784 139828344527160 4222468 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1280.83
Current children cumulated vsize (KiB) 1033164

[startup+702.3 s]
/proc/loadavg: 2.04 2.30 3.03 3/175 19239
/proc/meminfo: memFree=29053076/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=1033164 CPUtime=1400.8 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) S 19084 19086 15889 0 -1 4202496 213102 0 0 0 139994 86 0 0 20 0 3 0 276211315 1057959936 236693 33554432000 4194304 5965102 140733555578784 140733555578304 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 258291 236693 199 433 0 257855 0
[pid=19086/tid=19088] ppid=19084 vsize=1033164 CPUtime=698.87 cores=0,2,4,6
/proc/19086/task/19088/stat : 19088 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 101527 0 0 0 69843 44 0 0 20 0 3 0 276211650 1057959936 236693 33554432000 4194304 5965102 140733555578784 139828355017544 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19086/tid=19089] ppid=19084 vsize=1033164 CPUtime=698.78 cores=0,2,4,6
/proc/19086/task/19089/stat : 19089 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 35156 0 0 0 69829 49 0 0 20 0 3 0 276211650 1057959936 236693 33554432000 4194304 5965102 140733555578784 139828344527160 4393903 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1400.8
Current children cumulated vsize (KiB) 1033164

[startup+762.307 s]
/proc/loadavg: 2.01 2.24 2.96 3/175 19239
/proc/meminfo: memFree=29050036/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=1033164 CPUtime=1520.79 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) S 19084 19086 15889 0 -1 4202496 213713 0 0 0 151992 87 0 0 20 0 3 0 276211315 1057959936 237405 33554432000 4194304 5965102 140733555578784 140733555578304 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 258291 237405 199 433 0 257855 0
[pid=19086/tid=19088] ppid=19084 vsize=1033164 CPUtime=758.88 cores=0,2,4,6
/proc/19086/task/19088/stat : 19088 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 101527 0 0 0 75843 45 0 0 20 0 3 0 276211650 1057959936 237405 33554432000 4194304 5965102 140733555578784 139828355017544 4393837 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19086/tid=19089] ppid=19084 vsize=1033164 CPUtime=758.79 cores=0,2,4,6
/proc/19086/task/19089/stat : 19089 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 35767 0 0 0 75828 51 0 0 20 0 3 0 276211650 1057959936 237405 33554432000 4194304 5965102 140733555578784 139828344527160 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1520.79
Current children cumulated vsize (KiB) 1033164

[startup+822.3 s]
/proc/loadavg: 2.00 2.20 2.90 3/173 19239
/proc/meminfo: memFree=28991712/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=1147832 CPUtime=1640.76 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) S 19084 19086 15889 0 -1 4202496 231765 0 0 0 163980 96 0 0 20 0 3 0 276211315 1175379968 252276 33554432000 4194304 5965102 140733555578784 140733555578304 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 286958 252276 199 433 0 286522 0
[pid=19086/tid=19088] ppid=19084 vsize=1147832 CPUtime=818.88 cores=0,2,4,6
/proc/19086/task/19088/stat : 19088 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 119010 0 0 0 81835 53 0 0 20 0 3 0 276211650 1175379968 252276 33554432000 4194304 5965102 140733555578784 139828355017048 4400894 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19086/tid=19089] ppid=19084 vsize=1147832 CPUtime=818.78 cores=0,2,4,6
/proc/19086/task/19089/stat : 19089 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 36336 0 0 0 81824 54 0 0 20 0 3 0 276211650 1175379968 252276 33554432000 4194304 5965102 140733555578784 139828344526680 4393903 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1640.76
Current children cumulated vsize (KiB) 1147832

[startup+882.3 s]
/proc/loadavg: 2.00 2.16 2.84 3/175 19241
/proc/meminfo: memFree=28986468/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=1213368 CPUtime=1760.73 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) S 19084 19086 15889 0 -1 4202496 232452 0 0 0 175976 97 0 0 20 0 3 0 276211315 1242488832 253477 33554432000 4194304 5965102 140733555578784 140733555578304 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 303342 253477 199 433 0 302906 0
[pid=19086/tid=19088] ppid=19084 vsize=1213368 CPUtime=878.88 cores=0,2,4,6
/proc/19086/task/19088/stat : 19088 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 119012 0 0 0 87834 54 0 0 20 0 3 0 276211650 1242488832 253477 33554432000 4194304 5965102 140733555578784 139828355017048 4400978 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19086/tid=19089] ppid=19084 vsize=1213368 CPUtime=878.78 cores=0,2,4,6
/proc/19086/task/19089/stat : 19089 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 37021 0 0 0 87822 56 0 0 20 0 3 0 276211650 1242488832 253477 33554432000 4194304 5965102 140733555578784 139828344527160 4404383 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1760.73
Current children cumulated vsize (KiB) 1213368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+902.007 s]
/proc/loadavg: 2.00 2.15 2.82 3/175 19241
/proc/meminfo: memFree=28984228/32873844 swapFree=7372/7372
[pid=19086] ppid=19084 vsize=1213368 CPUtime=1800.16 cores=0,2,4,6
/proc/19086/stat : 19086 (pwbo2.0) S 19084 19086 15889 0 -1 4202496 232616 0 0 0 179918 98 0 0 20 0 3 0 276211315 1242488832 254059 33554432000 4194304 5965102 140733555578784 140733555578304 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19086/statm: 303342 254059 199 433 0 302906 0
[pid=19086/tid=19088] ppid=19084 vsize=1213368 CPUtime=898.59 cores=0,2,4,6
/proc/19086/task/19088/stat : 19088 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 119015 0 0 0 89805 54 0 0 20 0 3 0 276211650 1242488832 254059 33554432000 4194304 5965102 140733555578784 139828355017048 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19086/tid=19089] ppid=19084 vsize=1213368 CPUtime=898.49 cores=0,2,4,6
/proc/19086/task/19089/stat : 19089 (pwbo2.0) R 19084 19086 15889 0 -1 4202560 37182 0 0 0 89792 57 0 0 20 0 3 0 276211650 1242488832 254059 33554432000 4194304 5965102 140733555578784 139828344527160 4404650 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 1213368

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

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

Child status: 0
Real time (s): 902.027
CPU time (s): 1800.47
CPU user time (s): 1799.18
CPU system time (s): 1.2828
CPU usage (%): 199.602
Max. virtual memory (cumulated for all children) (KiB): 1213368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 1.2828
maximum resident set size= 1016244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232618
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= 6752
involuntary context switches= 2145

runsolver used 3.20151 second user time and 3.9544 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-27 08:41:05
IDJOB=3704071
IDBENCH=91122
IDSOLVER=2279
FILE ID=node133/3704071-1338100864
RUNJOBID= node133-1338084137-15905
PBS_JOBID= 14624424
Free space on /tmp= 71668 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX180_K192_cod2.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704071-1338100864/watcher-3704071-1338100864 -o /tmp/evaluation-result-3704071-1338100864/solver-3704071-1338100864 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704071-1338100864.opb

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

MD5SUM BENCH= d26c1c744a6cc6b94bc88bd85095e6b9
RANDOM SEED=889785706

node133.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		: 2666.540
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	: 5333.08
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		: 2666.540
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.92
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		: 2666.540
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	: 5331.92
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		: 2666.540
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		: 2666.540
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		: 2666.540
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.90
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		: 2666.540
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.91
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		: 2666.540
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:       32873844 kB
MemFree:        28571608 kB
Buffers:          320624 kB
Cached:          1737260 kB
SwapCached:          104 kB
Active:          2021136 kB
Inactive:        1451992 kB
Active(anon):    1406272 kB
Inactive(anon):    11368 kB
Active(file):     614864 kB
Inactive(file):  1440624 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:             32788 kB
Writeback:             0 kB
AnonPages:       1424420 kB
Mapped:            15300 kB
Shmem:               212 kB
Slab:             685800 kB
SReclaimable:     127736 kB
SUnreclaim:       558064 kB
KernelStack:        1496 kB
PageTables:         6800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     512300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    800768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71696 MiB
End job on node133 at 2012-05-27 08:56:09