Trace number 3704573

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pwbo 2.0? 1799.94 1800.01

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_5_40.opb
MD5SUM9100923ff6d9c8d4da1b288858ed91b3
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark17.0534
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6124
Sum of products size (including duplicates)12248
Number of different products3062
Sum of products size6124

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-3704573-1338088895.opb.
0.00/0.00	c Instance file HOME/instance-3704573-1338088895.opb
0.00/0.00	c File size is 256866 bytes.
0.00/0.02	c Highest Coefficient sum: 200
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.02         s                                      |
0.00/0.02	c |  Number Variables:      3262                                                |
0.00/0.02	c |  Number Clauses:        3162                                                |
0.00/0.02	c |  Number Cardinality:    203                                                 |
0.00/0.02	c |  Number PB Constraints: 3062                                                |
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Problem Type:          Decision                                            |
0.00/0.02	c |  Objective Function:    None                                                |
0.00/0.02	c |                                                                             |
0.00/0.02	c ===============================================================================
1799.57/1800.00	c ===============================================================================
1799.57/1800.00	c Wall Clock Time: 1800.00 s
1799.57/1800.00	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-3704573-1338088895/watcher-3704573-1338088895 -o /tmp/evaluation-result-3704573-1338088895/solver-3704573-1338088895 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704573-1338088895.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: 2.00 1.90 1.78 3/175 6104
/proc/meminfo: memFree=28456928/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=4336 CPUtime=0 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) R 6102 6104 5985 0 -1 4202496 529 0 0 0 0 0 0 0 20 0 1 0 275018065 4440064 481 33554432000 4194304 5965102 140735403575952 140737038761848 4336382 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 1084 482 170 433 0 585 0

[startup+0.090277 s]
/proc/loadavg: 2.00 1.90 1.78 3/175 6104
/proc/meminfo: memFree=28456928/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=85784 CPUtime=0.08 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 2085 0 0 0 8 0 0 0 20 0 2 0 275018065 87842816 1974 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 21446 1974 190 433 0 21010 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 85784

[startup+0.100188 s]
/proc/loadavg: 2.00 1.90 1.78 3/175 6104
/proc/meminfo: memFree=28456928/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=85784 CPUtime=0.09 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 2097 0 0 0 9 0 0 0 20 0 2 0 275018065 87842816 1986 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 21446 1986 190 433 0 21010 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85784

[startup+0.30011 s]
/proc/loadavg: 2.00 1.90 1.78 3/175 6104
/proc/meminfo: memFree=28456928/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=85784 CPUtime=0.29 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 2294 0 0 0 29 0 0 0 20 0 2 0 275018065 87842816 2183 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 21446 2183 190 433 0 21010 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85784

[startup+0.70011 s]
/proc/loadavg: 2.00 1.90 1.78 3/175 6104
/proc/meminfo: memFree=28456928/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=85784 CPUtime=0.69 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 2681 0 0 0 69 0 0 0 20 0 2 0 275018065 87842816 2570 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 21446 2570 190 433 0 21010 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85784

[startup+1.50025 s]
/proc/loadavg: 2.00 1.90 1.78 3/177 6106
/proc/meminfo: memFree=28447132/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=85784 CPUtime=1.48 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 3303 0 0 0 148 0 0 0 20 0 2 0 275018065 87842816 3192 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 21446 3192 190 433 0 21010 0
[pid=6104/tid=6106] ppid=6102 vsize=85784 CPUtime=1.46 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 1998 0 0 0 146 0 0 0 20 0 2 0 275018067 87842816 3192 33554432000 4194304 5965102 140735403575952 140029426550776 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 85784

[startup+3.10025 s]
/proc/loadavg: 2.00 1.90 1.78 3/177 6106
/proc/meminfo: memFree=28443900/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=85928 CPUtime=3.09 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 3861 0 0 0 308 1 0 0 20 0 2 0 275018065 87990272 3750 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 21482 3750 190 433 0 21046 0
[pid=6104/tid=6106] ppid=6102 vsize=85928 CPUtime=3.06 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 2556 0 0 0 305 1 0 0 20 0 2 0 275018067 87990272 3750 33554432000 4194304 5965102 140735403575952 140029426550584 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85928

[startup+6.30027 s]
/proc/loadavg: 2.00 1.90 1.78 3/177 6106
/proc/meminfo: memFree=28436468/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=86000 CPUtime=6.28 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 5333 0 0 0 627 1 0 0 20 0 2 0 275018065 88064000 5222 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 21500 5222 190 433 0 21064 0
[pid=6104/tid=6106] ppid=6102 vsize=86000 CPUtime=6.26 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 4028 0 0 0 624 2 0 0 20 0 2 0 275018067 88064000 5222 33554432000 4194304 5965102 140735403575952 140029426550296 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 86000

[startup+12.7003 s]
/proc/loadavg: 2.00 1.90 1.78 3/177 6106
/proc/meminfo: memFree=28415668/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=86108 CPUtime=12.68 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 8627 0 0 0 1266 2 0 0 20 0 2 0 275018065 88174592 8516 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 21527 8516 190 433 0 21091 0
[pid=6104/tid=6106] ppid=6102 vsize=86108 CPUtime=12.66 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 7322 0 0 0 1263 3 0 0 20 0 2 0 275018067 88174592 8516 33554432000 4194304 5965102 140735403575952 140029426550296 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 86108

[startup+25.5004 s]
/proc/loadavg: 2.00 1.91 1.78 3/177 6106
/proc/meminfo: memFree=28378096/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=86844 CPUtime=25.48 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 14524 0 0 0 2543 5 0 0 20 0 2 0 275018065 88928256 14413 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 21711 14413 190 433 0 21275 0
[pid=6104/tid=6106] ppid=6102 vsize=86844 CPUtime=25.46 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 13219 0 0 0 2540 6 0 0 20 0 2 0 275018067 88928256 14413 33554432000 4194304 5965102 140735403575952 140029426550776 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86844

[startup+51.1003 s]
/proc/loadavg: 2.00 1.91 1.79 3/177 6107
/proc/meminfo: memFree=28344632/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=153556 CPUtime=51.08 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 21222 0 0 0 5100 8 0 0 20 0 2 0 275018065 157241344 21111 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 38389 21111 190 433 0 37953 0
[pid=6104/tid=6106] ppid=6102 vsize=153556 CPUtime=51.06 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 19917 0 0 0 5097 9 0 0 20 0 2 0 275018067 157241344 21111 33554432000 4194304 5965102 140735403575952 140029426550584 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 153556

[startup+102.306 s]
/proc/loadavg: 2.00 1.92 1.80 3/177 6107
/proc/meminfo: memFree=28274492/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=225392 CPUtime=102.27 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 37419 0 0 0 10215 12 0 0 20 0 2 0 275018065 230801408 37308 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 56348 37308 190 433 0 55912 0
[pid=6104/tid=6106] ppid=6102 vsize=225392 CPUtime=102.26 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 36114 0 0 0 10212 14 0 0 20 0 2 0 275018067 230801408 37308 33554432000 4194304 5965102 140735403575952 140029426550776 4380351 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 225392

[startup+162.3 s]
/proc/loadavg: 2.00 1.94 1.81 3/177 6107
/proc/meminfo: memFree=28233292/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=226448 CPUtime=162.26 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 37662 0 0 0 16214 12 0 0 20 0 2 0 275018065 231882752 37491 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 56612 37491 190 433 0 56176 0
[pid=6104/tid=6106] ppid=6102 vsize=226448 CPUtime=162.26 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 36357 0 0 0 16211 15 0 0 20 0 2 0 275018067 231882752 37491 33554432000 4194304 5965102 140735403575952 140029426550824 4400978 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 226448

[startup+222.3 s]
/proc/loadavg: 2.00 1.94 1.82 3/177 6107
/proc/meminfo: memFree=28104672/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=231204 CPUtime=222.25 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 49873 0 0 0 22208 17 0 0 20 0 2 0 275018065 236752896 49702 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 57801 49702 190 433 0 57365 0
[pid=6104/tid=6106] ppid=6102 vsize=231204 CPUtime=222.26 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 48568 0 0 0 22205 21 0 0 20 0 2 0 275018067 236752896 49702 33554432000 4194304 5965102 140735403575952 140029426550776 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 231204

[startup+282.3 s]
/proc/loadavg: 2.04 1.97 1.83 3/177 6107
/proc/meminfo: memFree=28056652/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=299848 CPUtime=282.25 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 55938 0 0 0 28203 22 0 0 20 0 2 0 275018065 307044352 55767 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 74962 55767 190 433 0 74526 0
[pid=6104/tid=6106] ppid=6102 vsize=299848 CPUtime=282.27 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 54633 0 0 0 28201 26 0 0 20 0 2 0 275018067 307044352 55767 33554432000 4194304 5965102 140735403575952 140029426550776 4401149 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 299848

[startup+342.3 s]
/proc/loadavg: 2.01 1.97 1.84 3/177 6107
/proc/meminfo: memFree=28022180/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=301968 CPUtime=342.23 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 64268 0 0 0 34197 26 0 0 20 0 2 0 275018065 309215232 64097 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 75492 64097 190 433 0 75056 0
[pid=6104/tid=6106] ppid=6102 vsize=301968 CPUtime=342.27 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 62963 0 0 0 34195 32 0 0 20 0 2 0 275018067 309215232 64097 33554432000 4194304 5965102 140735403575952 140029426550776 4389386 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 301968

[startup+402.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/177 6108
/proc/meminfo: memFree=28020716/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=302488 CPUtime=402.21 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 64407 0 0 0 40195 26 0 0 20 0 2 0 275018065 309747712 64437 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 75622 64437 190 433 0 75186 0
[pid=6104/tid=6106] ppid=6102 vsize=302488 CPUtime=402.26 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 63102 0 0 0 40193 33 0 0 20 0 2 0 275018067 309747712 64437 33554432000 4194304 5965102 140735403575952 140029426550824 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 302488

[startup+462.3 s]
/proc/loadavg: 2.04 1.99 1.85 3/177 6108
/proc/meminfo: memFree=28015660/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=305524 CPUtime=462.17 cores=1,3,5,7

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

/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 126234 0 0 0 130113 107 0 0 20 0 2 0 275018067 543887360 127073 33554432000 4194304 5965102 140735403575952 140029426550824 4401582 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 531140

[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/176 6271
/proc/meminfo: memFree=28083956/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=598084 CPUtime=1361.97 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 131590 0 0 0 136104 93 0 0 20 0 2 0 275018065 612438016 131124 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 149521 131124 190 433 0 149085 0
[pid=6104/tid=6106] ppid=6102 vsize=598084 CPUtime=1362.19 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 130285 0 0 0 136106 113 0 0 20 0 2 0 275018067 612438016 131124 33554432000 4194304 5965102 140735403575952 140029426550776 4394008 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 598084

[startup+1422.31 s]
/proc/loadavg: 1.99 2.00 1.91 3/177 6272
/proc/meminfo: memFree=28057404/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=598084 CPUtime=1421.96 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 131617 0 0 0 142103 93 0 0 20 0 2 0 275018065 612438016 131146 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 149521 131146 190 433 0 149085 0
[pid=6104/tid=6106] ppid=6102 vsize=598084 CPUtime=1422.2 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 130312 0 0 0 142106 114 0 0 20 0 2 0 275018067 612438016 131146 33554432000 4194304 5965102 140735403575952 140029426550776 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 598084

[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/177 6272
/proc/meminfo: memFree=27992984/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=603608 CPUtime=1481.93 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 138554 0 0 0 148096 97 0 0 20 0 2 0 275018065 618094592 138082 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 150902 138082 190 433 0 150466 0
[pid=6104/tid=6106] ppid=6102 vsize=603608 CPUtime=1482.19 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 137249 0 0 0 148099 120 0 0 20 0 2 0 275018067 618094592 138082 33554432000 4194304 5965102 140735403575952 140029426550296 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 603608

[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 1.92 3/177 6272
/proc/meminfo: memFree=27856336/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=604540 CPUtime=1541.93 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 141398 0 0 0 154092 101 0 0 20 0 2 0 275018065 619048960 140926 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 151135 140926 190 433 0 150699 0
[pid=6104/tid=6106] ppid=6102 vsize=604540 CPUtime=1542.2 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 140093 0 0 0 154095 125 0 0 20 0 2 0 275018067 619048960 140926 33554432000 4194304 5965102 140735403575952 140029426550296 4221072 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 604540

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 6273
/proc/meminfo: memFree=27860552/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=605440 CPUtime=1601.91 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 141542 0 0 0 160090 101 0 0 20 0 2 0 275018065 619970560 141070 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 151360 141070 190 433 0 150924 0
[pid=6104/tid=6106] ppid=6102 vsize=605440 CPUtime=1602.2 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 140237 0 0 0 160094 126 0 0 20 0 2 0 275018067 619970560 141070 33554432000 4194304 5965102 140735403575952 140029426550824 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 605440

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6273
/proc/meminfo: memFree=27848832/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=605440 CPUtime=1661.9 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 144466 0 0 0 166086 104 0 0 20 0 2 0 275018065 619970560 143994 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 151360 143994 190 433 0 150924 0
[pid=6104/tid=6106] ppid=6102 vsize=605440 CPUtime=1662.2 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 143161 0 0 0 166090 130 0 0 20 0 2 0 275018067 619970560 143994 33554432000 4194304 5965102 140735403575952 140029426550296 4380336 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 605440

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 6327
/proc/meminfo: memFree=28311788/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=605840 CPUtime=1721.9 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 144557 0 0 0 172085 105 0 0 20 0 2 0 275018065 620380160 144085 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 151460 144085 190 433 0 151024 0
[pid=6104/tid=6106] ppid=6102 vsize=605840 CPUtime=1722.21 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 143252 0 0 0 172090 131 0 0 20 0 2 0 275018067 620380160 144085 33554432000 4194304 5965102 140735403575952 140029426550824 5131557 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 605840

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6327
/proc/meminfo: memFree=28271500/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=606080 CPUtime=1781.89 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 144620 0 0 0 178084 105 0 0 20 0 2 0 275018065 620625920 144142 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 151520 144142 190 433 0 151084 0
[pid=6104/tid=6106] ppid=6102 vsize=606080 CPUtime=1782.2 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 143315 0 0 0 178088 132 0 0 20 0 2 0 275018067 620625920 144142 33554432000 4194304 5965102 140735403575952 140029426550824 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 606080

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6327
/proc/meminfo: memFree=28263300/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=606080 CPUtime=1791.48 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 144720 0 0 0 179043 105 0 0 20 0 2 0 275018065 620625920 144234 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 151520 144234 190 433 0 151084 0
[pid=6104/tid=6106] ppid=6102 vsize=606080 CPUtime=1791.8 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 143415 0 0 0 179048 132 0 0 20 0 2 0 275018067 620625920 144234 33554432000 4194304 5965102 140735403575952 140029426550824 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (KiB) 606080

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6327
/proc/meminfo: memFree=28256480/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=606080 CPUtime=1794.68 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 145010 0 0 0 179363 105 0 0 20 0 2 0 275018065 620625920 144524 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 151520 144524 190 433 0 151084 0
[pid=6104/tid=6106] ppid=6102 vsize=606080 CPUtime=1795 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 143705 0 0 0 179367 133 0 0 20 0 2 0 275018067 620625920 144524 33554432000 4194304 5965102 140735403575952 140029426550296 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (KiB) 606080

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6327
/proc/meminfo: memFree=28253752/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=606240 CPUtime=1797.88 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 145271 0 0 0 179682 106 0 0 20 0 2 0 275018065 620789760 144785 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 151560 144785 190 433 0 151124 0
[pid=6104/tid=6106] ppid=6102 vsize=606240 CPUtime=1798.2 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 143966 0 0 0 179687 133 0 0 20 0 2 0 275018067 620789760 144785 33554432000 4194304 5965102 140735403575952 140029426550776 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 606240

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6327
/proc/meminfo: memFree=28252264/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=606240 CPUtime=1798.68 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 145356 0 0 0 179762 106 0 0 20 0 2 0 275018065 620789760 144870 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 151560 144870 190 433 0 151124 0
[pid=6104/tid=6106] ppid=6102 vsize=606240 CPUtime=1799 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 144051 0 0 0 179766 134 0 0 20 0 2 0 275018067 620789760 144870 33554432000 4194304 5965102 140735403575952 140029426550296 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (KiB) 606240

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6327
/proc/meminfo: memFree=28250776/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=606240 CPUtime=1799.08 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 145404 0 0 0 179802 106 0 0 20 0 2 0 275018065 620789760 144918 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 151560 144918 190 433 0 151124 0
[pid=6104/tid=6106] ppid=6102 vsize=606240 CPUtime=1799.4 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 144099 0 0 0 179806 134 0 0 20 0 2 0 275018067 620789760 144918 33554432000 4194304 5965102 140735403575952 140029426550296 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (KiB) 606240

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6327
/proc/meminfo: memFree=28250776/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=606240 CPUtime=1799.47 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 145453 0 0 0 179841 106 0 0 20 0 2 0 275018065 620789760 144963 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 151560 144963 190 433 0 151124 0
[pid=6104/tid=6106] ppid=6102 vsize=606240 CPUtime=1799.79 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 144148 0 0 0 179845 134 0 0 20 0 2 0 275018067 620789760 144963 33554432000 4194304 5965102 140735403575952 140029426550296 4401582 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 606240

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6327
/proc/meminfo: memFree=28250776/32873844 swapFree=7104/7104
[pid=6104] ppid=6102 vsize=606240 CPUtime=1799.57 cores=1,3,5,7
/proc/6104/stat : 6104 (pwbo2.0) S 6102 6104 5985 0 -1 4202496 145461 0 0 0 179851 106 0 0 20 0 2 0 275018065 620789760 144971 33554432000 4194304 5965102 140735403575952 140735403575472 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6104/statm: 151560 144971 190 433 0 151124 0
[pid=6104/tid=6106] ppid=6102 vsize=606240 CPUtime=1799.89 cores=1,3,5,7
/proc/6104/task/6106/stat : 6106 (pwbo2.0) R 6102 6104 5985 0 -1 4202560 144156 0 0 0 179855 134 0 0 20 0 2 0 275018067 620789760 144971 33554432000 4194304 5965102 140735403575952 140029426550296 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 606240

Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.94
CPU user time (s): 1798.59
CPU system time (s): 1.35179
CPU usage (%): 99.9961
Max. virtual memory (cumulated for all children) (KiB): 606240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.59
system time used= 1.35179
maximum resident set size= 579896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145464
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= 189
involuntary context switches= 1911

runsolver used 2.79157 second user time and 7.03693 second system time

The end

Launcher Data 

Begin job on node104 at 2012-05-27 05:21:35
IDJOB=3704573
IDBENCH=48320
IDSOLVER=2282
FILE ID=node104/3704573-1338088895
RUNJOBID= node104-1338088244-6002
PBS_JOBID= 14624457
Free space on /tmp= 71024 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_5_40.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 -thread=1 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704573-1338088895/watcher-3704573-1338088895 -o /tmp/evaluation-result-3704573-1338088895/solver-3704573-1338088895 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704573-1338088895.opb

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

MD5SUM BENCH= 9100923ff6d9c8d4da1b288858ed91b3
RANDOM SEED=1702629074

node104.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.266
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	: 5332.53
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.266
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.91
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.266
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.91
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.266
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.92
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.266
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.266
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		: 2666.266
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.266
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28457548 kB
Buffers:          316368 kB
Cached:          2783084 kB
SwapCached:            0 kB
Active:          1658008 kB
Inactive:        1941308 kB
Active(anon):     502000 kB
Inactive(anon):        0 kB
Active(file):    1156008 kB
Inactive(file):  1941308 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5452 kB
Writeback:             0 kB
AnonPages:        612844 kB
Mapped:            14968 kB
Shmem:               200 kB
Slab:             676504 kB
SReclaimable:     119088 kB
SUnreclaim:       557416 kB
KernelStack:        1472 kB
PageTables:         4836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     147268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    446464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3704573-1338088895.opb

Free space on /tmp at the end= 71020 MiB
End job on node104 at 2012-05-27 05:51:35