Trace number 3704064

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.48 901.946

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX15_K192_cod2.opb
MD5SUMa1c8f87e33a217e9c288dbd99c4ff21b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-4
Best CPU time to get the best result obtained on this benchmark1801.44
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 1605
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 188920
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 188920
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-3704064-1338099960.opb.
0.00/0.00	c Instance file HOME/instance-3704064-1338099960.opb
0.00/0.00	c File size is 28233021 bytes.
3.08/3.20	c Cost Offset: -188920
3.08/3.20	c Highest Coefficient sum: 63122
3.08/3.20	c ============================[ Problem Statistics ]=============================
3.08/3.20	c |                                                                             |
3.08/3.20	c |  Parsing time:          3.21         s                                      |
3.08/3.20	c |  Number Variables:      400896                                              |
3.08/3.20	c |  Number Clauses:        400785                                              |
3.08/3.20	c |  Number Cardinality:    1977                                                |
3.08/3.20	c |  Number PB Constraints: 1                                                   |
3.08/3.20	c |                                                                             |
3.75/3.55	c |  Problem Type:          Optimization                                        |
3.75/3.55	c |  Objective Function:    PB Constraint                                       |
3.75/3.55	c |                                                                             |
3.75/3.55	c ===============================================================================
1800.16/901.91	c ===============================================================================
1800.16/901.91	c Wall Clock Time: 901.92 s
1800.16/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-3704064-1338099960/watcher-3704064-1338099960 -o /tmp/evaluation-result-3704064-1338099960/solver-3704064-1338099960 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704064-1338099960.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.85 3.97 3.93 4/180 18994
/proc/meminfo: memFree=29631656/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=32992 CPUtime=0 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) R 18992 18994 15889 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 276120831 33783808 623 33554432000 4194304 5965102 140734471968368 140735742508392 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 8248 623 170 433 0 919 0

[startup+0.028311 s]
/proc/loadavg: 3.85 3.97 3.93 4/180 18994
/proc/meminfo: memFree=29631656/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=39308 CPUtime=0.02 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) R 18992 18994 15889 0 -1 4202496 2013 0 0 0 2 0 0 0 20 0 1 0 276120831 40251392 1965 33554432000 4194304 5965102 140734471968368 140735742508392 5180368 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 9827 1968 229 433 0 2498 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 39308

[startup+0.1003 s]
/proc/loadavg: 3.85 3.97 3.93 4/180 18994
/proc/meminfo: memFree=29631656/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=50600 CPUtime=0.09 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) R 18992 18994 15889 0 -1 4202496 4740 0 0 0 9 0 0 0 20 0 1 0 276120831 51814400 4577 33554432000 4194304 5965102 140734471968368 140735742508392 4397107 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 12650 4578 430 433 0 5321 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50600

[startup+0.300266 s]
/proc/loadavg: 3.85 3.97 3.93 4/180 18994
/proc/meminfo: memFree=29631656/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=69700 CPUtime=0.29 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) R 18992 18994 15889 0 -1 4202496 10642 0 0 0 28 1 0 0 20 0 1 0 276120831 71372800 10212 33554432000 4194304 5965102 140734471968368 140735742508392 5156882 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 17425 10212 968 433 0 10096 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69700

[startup+0.700268 s]
/proc/loadavg: 3.85 3.97 3.93 4/180 18994
/proc/meminfo: memFree=29631656/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=116024 CPUtime=0.68 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) R 18992 18994 15889 0 -1 4202496 23012 0 0 0 66 2 0 0 20 0 1 0 276120831 118808576 22052 33554432000 4194304 5965102 140734471968368 140734471966344 5156882 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 29006 22053 1988 433 0 21677 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 116024

[startup+1.50028 s]
/proc/loadavg: 3.85 3.97 3.93 4/181 18995
/proc/meminfo: memFree=29516676/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=211992 CPUtime=1.49 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) R 18992 18994 15889 0 -1 4202496 46148 0 0 0 143 6 0 0 20 0 1 0 276120831 217079808 46683 33554432000 4194304 5965102 140734471968368 140734471966312 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 52998 46684 3797 433 0 45669 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 211992

[startup+3.10024 s]
/proc/loadavg: 3.85 3.97 3.93 4/181 18995
/proc/meminfo: memFree=29405180/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=335820 CPUtime=3.08 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) R 18992 18994 15889 0 -1 4202496 75477 0 0 0 297 11 0 0 20 0 1 0 276120831 343879680 77485 33554432000 4194304 5965102 140734471968368 140734471966456 4350459 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 83955 77485 6863 433 0 76626 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 335820

[startup+6.30034 s]
/proc/loadavg: 3.86 3.97 3.93 5/183 18997
/proc/meminfo: memFree=28893996/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=885556 CPUtime=9.34 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 166753 0 0 0 895 39 0 0 20 0 3 0 276120831 906809344 183885 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 221389 183885 198 433 0 220953 0
[pid=18994/tid=18996] ppid=18992 vsize=885556 CPUtime=3.05 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 65715 0 0 0 284 21 0 0 20 0 3 0 276121152 906809344 183885 33554432000 4194304 5965102 140734471968368 139692583446872 5136273 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=885556 CPUtime=3.05 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 23489 0 0 0 299 6 0 0 20 0 3 0 276121152 906809344 183885 33554432000 4194304 5965102 140734471968368 139692572956984 4393903 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 9.34
Current children cumulated vsize (KiB) 885556

[startup+12.7004 s]
/proc/loadavg: 3.87 3.97 3.93 5/183 18997
/proc/meminfo: memFree=28875148/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=885556 CPUtime=22.13 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 170190 0 0 0 2172 41 0 0 20 0 3 0 276120831 906809344 181324 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 221389 181324 199 433 0 220953 0
[pid=18994/tid=18996] ppid=18992 vsize=885556 CPUtime=9.45 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 68734 0 0 0 923 22 0 0 20 0 3 0 276121152 906809344 181324 33554432000 4194304 5965102 140734471968368 139692583447368 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=885556 CPUtime=9.46 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 23907 0 0 0 939 7 0 0 20 0 3 0 276121152 906809344 181324 33554432000 4194304 5965102 140734471968368 139692572956984 4393837 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 22.13
Current children cumulated vsize (KiB) 885556

[startup+25.5004 s]
/proc/loadavg: 3.90 3.97 3.93 5/183 18997
/proc/meminfo: memFree=28875256/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=885556 CPUtime=47.73 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 173280 0 0 0 4730 43 0 0 20 0 3 0 276120831 906809344 188519 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 221389 188519 199 433 0 220953 0
[pid=18994/tid=18996] ppid=18992 vsize=885556 CPUtime=22.25 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 71750 0 0 0 2201 24 0 0 20 0 3 0 276121152 906809344 188519 33554432000 4194304 5965102 140734471968368 139692583446936 4393869 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=885556 CPUtime=22.25 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 23981 0 0 0 2218 7 0 0 20 0 3 0 276121152 906809344 188519 33554432000 4194304 5965102 140734471968368 139692572956984 4404664 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 47.73
Current children cumulated vsize (KiB) 885556

[startup+51.1004 s]
/proc/loadavg: 3.93 3.97 3.93 5/183 18997
/proc/meminfo: memFree=28836636/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=951092 CPUtime=98.92 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 174961 0 0 0 9848 44 0 0 20 0 3 0 276120831 973918208 197922 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 237773 197922 199 433 0 237337 0
[pid=18994/tid=18996] ppid=18992 vsize=951092 CPUtime=47.85 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 73313 0 0 0 4759 26 0 0 20 0 3 0 276121152 973918208 197922 33554432000 4194304 5965102 140734471968368 139692583447368 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=951092 CPUtime=47.86 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 24099 0 0 0 4779 7 0 0 20 0 3 0 276121152 973918208 197922 33554432000 4194304 5965102 140734471968368 139692572956984 4393903 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 98.92
Current children cumulated vsize (KiB) 951092

[startup+102.307 s]
/proc/loadavg: 3.97 3.97 3.93 5/183 18997
/proc/meminfo: memFree=28832072/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=951092 CPUtime=201.32 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 180023 0 0 0 20083 49 0 0 20 0 3 0 276120831 973918208 198604 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 237773 198604 199 433 0 237337 0
[pid=18994/tid=18996] ppid=18992 vsize=951092 CPUtime=99.05 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 77702 0 0 0 9875 30 0 0 20 0 3 0 276121152 973918208 198604 33554432000 4194304 5965102 140734471968368 139692583447064 4393845 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=951092 CPUtime=99.06 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 24772 0 0 0 9897 9 0 0 20 0 3 0 276121152 973918208 198604 33554432000 4194304 5965102 140734471968368 139692572957032 4404664 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 201.32
Current children cumulated vsize (KiB) 951092

[startup+162.3 s]
/proc/loadavg: 3.84 3.93 3.92 5/183 19038
/proc/meminfo: memFree=28288268/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1016628 CPUtime=321.28 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 186948 0 0 0 32072 56 0 0 20 0 3 0 276120831 1041027072 218479 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 254157 218479 199 433 0 253721 0
[pid=18994/tid=18996] ppid=18992 vsize=1016628 CPUtime=159.04 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 83779 0 0 0 15868 36 0 0 20 0 3 0 276121152 1041027072 218479 33554432000 4194304 5965102 140734471968368 139692583447064 4404604 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1016628 CPUtime=159.05 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 25620 0 0 0 15893 12 0 0 20 0 3 0 276121152 1041027072 218479 33554432000 4194304 5965102 140734471968368 139692572956984 4404761 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 321.28
Current children cumulated vsize (KiB) 1016628

[startup+222.3 s]
/proc/loadavg: 3.91 3.92 3.91 5/183 19039
/proc/meminfo: memFree=28067324/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1147700 CPUtime=441.25 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 210817 0 0 0 44056 69 0 0 20 0 3 0 276120831 1175244800 240667 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 286925 240667 199 433 0 286489 0
[pid=18994/tid=18996] ppid=18992 vsize=1147700 CPUtime=219.04 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 106971 0 0 0 21855 49 0 0 20 0 3 0 276121152 1175244800 240667 33554432000 4194304 5965102 140734471968368 139692583447368 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1147700 CPUtime=219.04 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 26297 0 0 0 21889 15 0 0 20 0 3 0 276121152 1175244800 240667 33554432000 4194304 5965102 140734471968368 139692572957032 4400894 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 441.25
Current children cumulated vsize (KiB) 1147700

[startup+282.3 s]
/proc/loadavg: 3.96 3.93 3.91 5/184 19042
/proc/meminfo: memFree=27820600/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1278892 CPUtime=561.23 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 242260 0 0 0 56040 83 0 0 20 0 3 0 276120831 1309585408 272669 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 319723 272669 199 433 0 319287 0
[pid=18994/tid=18996] ppid=18992 vsize=1278892 CPUtime=279.04 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 136917 0 0 0 27842 62 0 0 20 0 3 0 276121152 1309585408 272669 33554432000 4194304 5965102 140734471968368 139692583446872 4420496 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1278892 CPUtime=279.03 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 27794 0 0 0 27885 18 0 0 20 0 3 0 276121152 1309585408 272669 33554432000 4194304 5965102 140734471968368 139692572956984 4393792 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 561.23
Current children cumulated vsize (KiB) 1278892

[startup+342.3 s]
/proc/loadavg: 3.98 3.94 3.91 5/183 19042
/proc/meminfo: memFree=27700756/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1360832 CPUtime=681.2 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 263584 0 0 0 68024 96 0 0 20 0 3 0 276120831 1393491968 298648 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 340208 298648 199 433 0 339772 0
[pid=18994/tid=18996] ppid=18992 vsize=1360832 CPUtime=339.03 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 156785 0 0 0 33830 73 0 0 20 0 3 0 276121152 1393491968 298648 33554432000 4194304 5965102 140734471968368 139692583447064 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1360832 CPUtime=339.04 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 29250 0 0 0 33882 22 0 0 20 0 3 0 276121152 1393491968 298648 33554432000 4194304 5965102 140734471968368 139692572956984 4383036 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 681.2
Current children cumulated vsize (KiB) 1360832

[startup+402.3 s]
/proc/loadavg: 3.99 3.95 3.91 5/183 19042
/proc/meminfo: memFree=27568876/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1491904 CPUtime=801.17 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 279075 0 0 0 80010 107 0 0 20 0 3 0 276120831 1527709696 326419 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 372976 326419 199 433 0 372540 0
[pid=18994/tid=18996] ppid=18992 vsize=1491904 CPUtime=399.02 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 171883 0 0 0 39817 85 0 0 20 0 3 0 276121152 1527709696 326419 33554432000 4194304 5965102 140734471968368 139692583447368 4393778 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1491904 CPUtime=399.04 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 29643 0 0 0 39880 24 0 0 20 0 3 0 276121152 1527709696 326419 33554432000 4194304 5965102 140734471968368 139692572956984 4393958 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 801.17
Current children cumulated vsize (KiB) 1491904

[startup+462.3 s]
/proc/loadavg: 3.99 3.96 3.91 5/183 19042
/proc/meminfo: memFree=27379468/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1606572 CPUtime=921.14 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 319245 0 0 0 91988 126 0 0 20 0 3 0 276120831 1645129728 349871 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 401643 349871 199 433 0 401207 0
[pid=18994/tid=18996] ppid=18992 vsize=1606572 CPUtime=459.01 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 211735 0 0 0 45798 103 0 0 20 0 3 0 276121152 1645129728 349871 33554432000 4194304 5965102 140734471968368 139692583447064 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1606572 CPUtime=459.04 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 29961 0 0 0 45880 24 0 0 20 0 3 0 276121152 1645129728 349871 33554432000 4194304 5965102 140734471968368 139692572956984 4400894 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 921.14
Current children cumulated vsize (KiB) 1606572

[startup+522.3 s]
/proc/loadavg: 3.99 3.96 3.91 5/183 19043
/proc/meminfo: memFree=27224652/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1666720 CPUtime=1041.1 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 365423 0 0 0 103967 143 0 0 20 0 3 0 276120831 1706721280 376026 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 416680 376026 199 433 0 416244 0
[pid=18994/tid=18996] ppid=18992 vsize=1666720 CPUtime=518.98 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 257369 0 0 0 51778 120 0 0 20 0 3 0 276121152 1706721280 376026 33554432000 4194304 5965102 140734471968368 139692583447368 4401096 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1666720 CPUtime=519.04 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 30505 0 0 0 51878 26 0 0 20 0 3 0 276121152 1706721280 376026 33554432000 4194304 5965102 140734471968368 139692572956792 4404383 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1041.1
Current children cumulated vsize (KiB) 1666720

[startup+582.3 s]
/proc/loadavg: 4.07 3.98 3.92 5/184 19044
/proc/meminfo: memFree=27067736/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1819584 CPUtime=1161.06 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 396757 0 0 0 115948 158 0 0 20 0 3 0 276120831 1863254016 402510 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 454896 402510 199 433 0 454460 0
[pid=18994/tid=18996] ppid=18992 vsize=1819584 CPUtime=578.97 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 288010 0 0 0 57762 135 0 0 20 0 3 0 276121152 1863254016 402510 33554432000 4194304 5965102 140734471968368 139692583446824 4404757 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1819584 CPUtime=579.04 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 31198 0 0 0 57875 29 0 0 20 0 3 0 276121152 1863254016 402510 33554432000 4194304 5965102 140734471968368 139692572956792 4390112 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1161.06
Current children cumulated vsize (KiB) 1819584

[startup+642.3 s]
/proc/loadavg: 4.02 3.98 3.92 5/183 19044
/proc/meminfo: memFree=26936908/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1885120 CPUtime=1281.04 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 407066 0 0 0 127937 167 0 0 20 0 3 0 276120831 1930362880 421988 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 471280 421988 199 433 0 470844 0
[pid=18994/tid=18996] ppid=18992 vsize=1885120 CPUtime=638.96 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 297994 0 0 0 63752 144 0 0 20 0 3 0 276121152 1930362880 421988 33554432000 4194304 5965102 140734471968368 139692583447064 4401026 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1885120 CPUtime=639.05 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 31523 0 0 0 63875 30 0 0 20 0 3 0 276121152 1930362880 421988 33554432000 4194304 5965102 140734471968368 139692572957032 4404383 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1281.04
Current children cumulated vsize (KiB) 1885120

[startup+702.3 s]
/proc/loadavg: 4.01 3.98 3.92 5/183 19044
/proc/meminfo: memFree=26825684/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1950656 CPUtime=1401.01 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 440738 0 0 0 139922 179 0 0 20 0 3 0 276120831 1997471744 440754 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 487664 440754 199 433 0 487228 0
[pid=18994/tid=18996] ppid=18992 vsize=1950656 CPUtime=698.95 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 331460 0 0 0 69738 157 0 0 20 0 3 0 276121152 1997471744 440754 33554432000 4194304 5965102 140734471968368 139692583447064 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1950656 CPUtime=699.05 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 31729 0 0 0 69874 31 0 0 20 0 3 0 276121152 1997471744 440754 33554432000 4194304 5965102 140734471968368 139692572957032 4393845 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1401.01
Current children cumulated vsize (KiB) 1950656

[startup+762.307 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 19044
/proc/meminfo: memFree=26775812/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1999788 CPUtime=1521 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 447265 0 0 0 151915 185 0 0 20 0 3 0 276120831 2047782912 452505 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 499947 452505 199 433 0 499511 0
[pid=18994/tid=18996] ppid=18992 vsize=1999788 CPUtime=758.95 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 337164 0 0 0 75732 163 0 0 20 0 3 0 276121152 2047782912 452505 33554432000 4194304 5965102 140734471968368 139692583446872 4393751 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1999788 CPUtime=759.05 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 32552 0 0 0 75872 33 0 0 20 0 3 0 276121152 2047782912 452505 33554432000 4194304 5965102 140734471968368 139692572956984 4390150 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1521
Current children cumulated vsize (KiB) 1999788

[startup+822.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 19045
/proc/meminfo: memFree=26730024/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=2065324 CPUtime=1640.96 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 451745 0 0 0 163907 189 0 0 20 0 3 0 276120831 2114891776 463053 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 516331 463053 199 433 0 515895 0
[pid=18994/tid=18996] ppid=18992 vsize=2065324 CPUtime=818.94 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 341016 0 0 0 81726 168 0 0 20 0 3 0 276121152 2114891776 463053 33554432000 4194304 5965102 140734471968368 139692583447368 5139822 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=2065324 CPUtime=819.04 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 33180 0 0 0 81870 34 0 0 20 0 3 0 276121152 2114891776 463053 33554432000 4194304 5965102 140734471968368 139692572957032 4393903 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1640.96
Current children cumulated vsize (KiB) 2065324

[startup+882.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/184 19048
/proc/meminfo: memFree=26636468/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=2147264 CPUtime=1760.94 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 464494 0 0 0 175898 196 0 0 20 0 3 0 276120831 2198798336 485215 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 536816 485215 199 433 0 536380 0
[pid=18994/tid=18996] ppid=18992 vsize=2147264 CPUtime=878.94 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 353430 0 0 0 87718 176 0 0 20 0 3 0 276121152 2198798336 485215 33554432000 4194304 5965102 140734471968368 139692583446872 4390169 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=2147264 CPUtime=879.05 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 33515 0 0 0 87869 36 0 0 20 0 3 0 276121152 2198798336 485215 33554432000 4194304 5965102 140734471968368 139692572956984 4404703 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1760.94
Current children cumulated vsize (KiB) 2147264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+901.9 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 19048
/proc/meminfo: memFree=26630492/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=2147264 CPUtime=1800.16 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 466619 0 0 0 179818 198 0 0 20 0 3 0 276120831 2198798336 485349 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 536816 485349 199 433 0 536380 0
[pid=18994/tid=18996] ppid=18992 vsize=2147264 CPUtime=898.56 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 355436 0 0 0 89679 177 0 0 20 0 3 0 276121152 2198798336 485349 33554432000 4194304 5965102 140734471968368 139692583447368 4376299 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=2147264 CPUtime=898.66 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 33634 0 0 0 89830 36 0 0 20 0 3 0 276121152 2198798336 485349 33554432000 4194304 5965102 140734471968368 139692572956984 4393958 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 2147264

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.00 3.98 3.92 5/183 19048
/proc/meminfo: memFree=26630492/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=2147264 CPUtime=1800.16 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 466619 0 0 0 179818 198 0 0 20 0 3 0 276120831 2198798336 485349 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 536816 485349 199 433 0 536380 0
[pid=18994/tid=18996] ppid=18992 vsize=2147264 CPUtime=898.56 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 355436 0 0 0 89679 177 0 0 20 0 3 0 276121152 2198798336 485349 33554432000 4194304 5965102 140734471968368 139692583447368 4376299 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=2147264 CPUtime=898.66 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 33634 0 0 0 89830 36 0 0 20 0 3 0 276121152 2198798336 485349 33554432000 4194304 5965102 140734471968368 139692572956984 4393958 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 2147264

Child status: 0
Real time (s): 901.946
CPU time (s): 1800.48
CPU user time (s): 1798.18
CPU system time (s): 2.30265
CPU usage (%): 199.622
Max. virtual memory (cumulated for all children) (KiB): 2212800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.18
system time used= 2.30265
maximum resident set size= 1957632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466621
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= 6646
involuntary context switches= 2076

runsolver used 2.56361 second user time and 4.81227 second system time

The end

Launcher Data

Begin job on node133 at 2012-05-27 08:26:00
IDJOB=3704064
IDBENCH=90912
IDSOLVER=2279
FILE ID=node133/3704064-1338099960
RUNJOBID= node133-1338084137-15905
PBS_JOBID= 14624424
Free space on /tmp= 71696 MiB

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

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

MD5SUM BENCH= a1c8f87e33a217e9c288dbd99c4ff21b
RANDOM SEED=1469968524

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:        29631656 kB
Buffers:          320332 kB
Cached:          1707220 kB
SwapCached:          104 kB
Active:           968424 kB
Inactive:        1446868 kB
Active(anon):     378968 kB
Inactive(anon):    11368 kB
Active(file):     589456 kB
Inactive(file):  1435500 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:             33232 kB
Writeback:            16 kB
AnonPages:        397116 kB
Mapped:            15224 kB
Shmem:               212 kB
Slab:             685608 kB
SReclaimable:     127756 kB
SUnreclaim:       557852 kB
KernelStack:        1496 kB
PageTables:         4772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     200156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    268288 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= 71664 MiB
End job on node133 at 2012-05-27 08:41:04