Trace number 3726668

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.02? 1799.57 1800.01

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-76.opb
MD5SUMf030651c159d27eae553d070b0927366
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1408.44
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12587
Total number of constraints283937
Number of constraints which are clauses255125
Number of constraints which are cardinality constraints (but not clauses)903
Number of constraints which are nor clauses,nor cardinality constraints27909
Minimum length of a constraint2
Maximum length of a constraint270
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 271
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                     2.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3726668-1338660644.opb.
0.00/0.00	c Instance file HOME/instance-3726668-1338660644.opb
0.00/0.00	c File size is 12187273 bytes.
0.79/0.84	c Highest Coefficient sum: 271
0.79/0.84	c ============================[ Problem Statistics ]=============================
0.79/0.84	c |                                                                             |
0.79/0.84	c |  Parsing time:          0.84         s                                      |
0.79/0.84	c |  Number Variables:      12587                                               |
0.79/0.84	c |  Number Clauses:        255583                                              |
0.79/0.84	c |  Number Cardinality:    906                                                 |
0.79/0.84	c |  Number PB Constraints: 27909                                               |
0.79/0.84	c |                                                                             |
0.79/0.88	c |  Problem Type:          Decision                                            |
0.79/0.88	c |  Objective Function:    None                                                |
0.79/0.88	c |                                                                             |
0.79/0.88	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-3726668-1338660644/watcher-3726668-1338660644 -o /tmp/evaluation-result-3726668-1338660644/solver-3726668-1338660644 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726668-1338660644.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: 2.01 2.00 2.00 3/178 31364
/proc/meminfo: memFree=27653220/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=15044 CPUtime=0 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) R 31362 31364 27854 0 -1 4202496 310 0 0 0 0 0 0 0 20 0 1 0 332188829 15405056 263 33554432000 4194304 5964478 140734511230112 140735496045576 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 3761 264 171 433 0 349 0

[startup+0.0695341 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 31364
/proc/meminfo: memFree=27653220/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=17856 CPUtime=0.06 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) R 31362 31364 27854 0 -1 4202496 1207 0 0 0 6 0 0 0 20 0 1 0 332188829 18284544 1160 33554432000 4194304 5964478 140734511230112 140735496045576 4419535 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 4464 1160 383 433 0 1052 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 17856

[startup+0.100228 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 31364
/proc/meminfo: memFree=27653220/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=19280 CPUtime=0.09 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) R 31362 31364 27854 0 -1 4202496 1686 0 0 0 9 0 0 0 20 0 1 0 332188829 19742720 1606 33554432000 4194304 5964478 140734511230112 140735496045576 4348586 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 4820 1606 495 433 0 1408 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19280

[startup+0.300198 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 31364
/proc/meminfo: memFree=27653220/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=27876 CPUtime=0.29 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) R 31362 31364 27854 0 -1 4202496 4529 0 0 0 29 0 0 0 20 0 1 0 332188829 28545024 4384 33554432000 4194304 5964478 140734511230112 140735496045576 4344768 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 6969 4384 1202 433 0 3557 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27876

[startup+0.700203 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 31364
/proc/meminfo: memFree=27653220/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=44356 CPUtime=0.68 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) R 31362 31364 27854 0 -1 4202496 10067 0 0 0 68 0 0 0 20 0 1 0 332188829 45420544 9794 33554432000 4194304 5964478 140734511230112 140734511228456 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 11089 9794 2600 433 0 7677 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 44356

[startup+1.50034 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 31366
/proc/meminfo: memFree=27577960/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=119532 CPUtime=1.49 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 24225 0 0 0 146 3 0 0 20 0 2 0 332188829 122400768 20161 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 29883 20161 186 433 0 29447 0
[pid=31364/tid=31366] ppid=31362 vsize=119532 CPUtime=0.64 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 11405 0 0 0 62 2 0 0 20 0 2 0 332188913 122400768 20161 33554432000 4194304 5964478 140734511230112 140280136496952 4222304 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 119532

[startup+3.10031 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 31366
/proc/meminfo: memFree=27571388/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=119532 CPUtime=3.09 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 24589 0 0 0 306 3 0 0 20 0 2 0 332188829 122400768 20525 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 29883 20525 186 433 0 29447 0
[pid=31364/tid=31366] ppid=31362 vsize=119532 CPUtime=2.24 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 11769 0 0 0 222 2 0 0 20 0 2 0 332188913 122400768 20525 33554432000 4194304 5964478 140734511230112 140280136496952 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 119532

[startup+6.30032 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 31366
/proc/meminfo: memFree=27565808/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=119532 CPUtime=6.29 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 25732 0 0 0 625 4 0 0 20 0 2 0 332188829 122400768 21668 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 29883 21668 186 433 0 29447 0
[pid=31364/tid=31366] ppid=31362 vsize=119532 CPUtime=5.43 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 12912 0 0 0 541 2 0 0 20 0 2 0 332188913 122400768 21668 33554432000 4194304 5964478 140734511230112 140280136496952 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 119532

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31366
/proc/meminfo: memFree=27555648/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=119532 CPUtime=12.68 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 27744 0 0 0 1264 4 0 0 20 0 2 0 332188829 122400768 23680 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 29883 23680 186 433 0 29447 0
[pid=31364/tid=31366] ppid=31362 vsize=119532 CPUtime=11.81 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 14924 0 0 0 1178 3 0 0 20 0 2 0 332188913 122400768 23680 33554432000 4194304 5964478 140734511230112 140280136497144 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 119532

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31366
/proc/meminfo: memFree=27541016/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=185068 CPUtime=25.49 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 30815 0 0 0 2543 6 0 0 20 0 2 0 332188829 189509632 26751 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 46267 26751 186 433 0 45831 0
[pid=31364/tid=31366] ppid=31362 vsize=185068 CPUtime=24.58 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 17995 0 0 0 2454 4 0 0 20 0 2 0 332188913 189509632 26751 33554432000 4194304 5964478 140734511230112 140280136496952 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 185068

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31366
/proc/meminfo: memFree=27521636/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=185068 CPUtime=51.08 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 34632 0 0 0 5100 8 0 0 20 0 2 0 332188829 189509632 30568 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 46267 30568 186 433 0 45831 0
[pid=31364/tid=31366] ppid=31362 vsize=185068 CPUtime=50.12 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 21812 0 0 0 5005 7 0 0 20 0 2 0 332188913 189509632 30568 33554432000 4194304 5964478 140734511230112 140280136497192 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 185068

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31367
/proc/meminfo: memFree=27482824/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=185068 CPUtime=102.28 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 42932 0 0 0 10215 13 0 0 20 0 2 0 332188829 189509632 38867 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 46267 38867 186 433 0 45831 0
[pid=31364/tid=31366] ppid=31362 vsize=185068 CPUtime=101.19 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 30112 0 0 0 10107 12 0 0 20 0 2 0 332188913 189509632 38867 33554432000 4194304 5964478 140734511230112 140280136496952 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 185068

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31367
/proc/meminfo: memFree=27459884/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=250604 CPUtime=162.27 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 48435 0 0 0 16212 15 0 0 20 0 2 0 332188829 256618496 44365 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 62651 44365 186 433 0 62215 0
[pid=31364/tid=31366] ppid=31362 vsize=250604 CPUtime=161.03 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 35615 0 0 0 16088 15 0 0 20 0 2 0 332188913 256618496 44365 33554432000 4194304 5964478 140734511230112 140280136496952 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 250604

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31367
/proc/meminfo: memFree=27436752/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=254252 CPUtime=222.25 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 52839 0 0 0 22207 18 0 0 20 0 2 0 332188829 260354048 49784 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 63563 49784 186 433 0 63127 0
[pid=31364/tid=31366] ppid=31362 vsize=254252 CPUtime=220.87 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 40019 0 0 0 22068 19 0 0 20 0 2 0 332188913 260354048 49784 33554432000 4194304 5964478 140734511230112 140280136496952 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 254252

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31367
/proc/meminfo: memFree=27420412/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=254252 CPUtime=282.2 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 55659 0 0 0 28200 20 0 0 20 0 2 0 332188829 260354048 53365 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 63563 53365 186 433 0 63127 0
[pid=31364/tid=31366] ppid=31362 vsize=254252 CPUtime=280.68 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 42839 0 0 0 28045 23 0 0 20 0 2 0 332188913 260354048 53365 33554432000 4194304 5964478 140734511230112 140280136497144 4399975 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 254252

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31367
/proc/meminfo: memFree=27391296/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=254252 CPUtime=342.18 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 58189 0 0 0 34197 21 0 0 20 0 2 0 332188829 260354048 56393 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 63563 56393 186 433 0 63127 0
[pid=31364/tid=31366] ppid=31362 vsize=254252 CPUtime=340.51 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 45369 0 0 0 34027 24 0 0 20 0 2 0 332188913 260354048 56393 33554432000 4194304 5964478 140734511230112 140280136496952 4400432 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 254252

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31368
/proc/meminfo: memFree=27363416/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=254252 CPUtime=402.17 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 61092 0 0 0 40195 22 0 0 20 0 2 0 332188829 260354048 59294 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 63563 59294 186 433 0 63127 0
[pid=31364/tid=31366] ppid=31362 vsize=254252 CPUtime=400.36 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 48272 0 0 0 40009 27 0 0 20 0 2 0 332188913 260354048 59294 33554432000 4194304 5964478 140734511230112 140280136497192 4399854 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 254252

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31368
/proc/meminfo: memFree=27339980/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=321612 CPUtime=462.16 cores=0,2,4,6

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


[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31456
/proc/meminfo: memFree=27274116/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=521548 CPUtime=1421.95 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 113454 0 0 0 142131 64 0 0 20 0 2 0 332188829 534065152 114172 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 130387 114172 186 433 0 129951 0
[pid=31364/tid=31366] ppid=31362 vsize=521548 CPUtime=1417.7 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 100634 0 0 0 141686 84 0 0 20 0 2 0 332188913 534065152 114172 33554432000 4194304 5964478 140734511230112 140280136497192 4400787 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 521548

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31456
/proc/meminfo: memFree=27261772/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=521548 CPUtime=1481.93 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 115458 0 0 0 148128 65 0 0 20 0 2 0 332188829 534065152 116384 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 130387 116384 186 433 0 129951 0
[pid=31364/tid=31366] ppid=31362 vsize=521548 CPUtime=1477.54 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 102638 0 0 0 147668 86 0 0 20 0 2 0 332188913 534065152 116384 33554432000 4194304 5964478 140734511230112 140280136497144 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 521548

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31456
/proc/meminfo: memFree=27235884/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=521548 CPUtime=1541.92 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 115517 0 0 0 154127 65 0 0 20 0 2 0 332188829 534065152 116443 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 130387 116443 186 433 0 129951 0
[pid=31364/tid=31366] ppid=31362 vsize=521548 CPUtime=1537.39 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 102697 0 0 0 153652 87 0 0 20 0 2 0 332188913 534065152 116443 33554432000 4194304 5964478 140734511230112 140280136496952 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 521548

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31456
/proc/meminfo: memFree=27214580/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=521548 CPUtime=1601.92 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 115569 0 0 0 160126 66 0 0 20 0 2 0 332188829 534065152 116495 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 130387 116495 186 433 0 129951 0
[pid=31364/tid=31366] ppid=31362 vsize=521548 CPUtime=1597.24 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 102749 0 0 0 159636 88 0 0 20 0 2 0 332188913 534065152 116495 33554432000 4194304 5964478 140734511230112 140280136496952 4400089 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 521548

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31457
/proc/meminfo: memFree=27210152/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=521548 CPUtime=1661.9 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 116223 0 0 0 166124 66 0 0 20 0 2 0 332188829 534065152 117470 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 130387 117470 186 433 0 129951 0
[pid=31364/tid=31366] ppid=31362 vsize=521548 CPUtime=1657.08 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 103403 0 0 0 165618 90 0 0 20 0 2 0 332188913 534065152 117470 33554432000 4194304 5964478 140734511230112 140280136496952 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 521548

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31457
/proc/meminfo: memFree=27187708/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=521548 CPUtime=1721.89 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 121687 0 0 0 172117 72 0 0 20 0 2 0 332188829 534065152 122934 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 130387 122934 186 433 0 129951 0
[pid=31364/tid=31366] ppid=31362 vsize=521548 CPUtime=1716.92 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 108867 0 0 0 171596 96 0 0 20 0 2 0 332188913 534065152 122934 33554432000 4194304 5964478 140734511230112 140280136497144 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 521548

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31460
/proc/meminfo: memFree=27170512/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=521548 CPUtime=1781.87 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 125595 0 0 0 178113 74 0 0 20 0 2 0 332188829 534065152 126936 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 130387 126936 186 433 0 129951 0
[pid=31364/tid=31366] ppid=31362 vsize=521548 CPUtime=1776.77 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 112775 0 0 0 177578 99 0 0 20 0 2 0 332188913 534065152 126936 33554432000 4194304 5964478 140734511230112 140280136497192 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 521548

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31460
/proc/meminfo: memFree=27170140/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=587084 CPUtime=1791.48 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 125663 0 0 0 179074 74 0 0 20 0 2 0 332188829 601174016 127004 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 146771 127004 186 433 0 146335 0
[pid=31364/tid=31366] ppid=31362 vsize=587084 CPUtime=1786.35 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 112843 0 0 0 178535 100 0 0 20 0 2 0 332188913 601174016 127004 33554432000 4194304 5964478 140734511230112 140280136496904 4400109 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (KiB) 587084

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31460
/proc/meminfo: memFree=27170016/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=587084 CPUtime=1794.68 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 125681 0 0 0 179394 74 0 0 20 0 2 0 332188829 601174016 127022 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 146771 127022 186 433 0 146335 0
[pid=31364/tid=31366] ppid=31362 vsize=587084 CPUtime=1789.54 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 112861 0 0 0 178854 100 0 0 20 0 2 0 332188913 601174016 127022 33554432000 4194304 5964478 140734511230112 140280136496904 4400542 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (KiB) 587084

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31460
/proc/meminfo: memFree=27170016/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=587084 CPUtime=1797.87 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 125682 0 0 0 179713 74 0 0 20 0 2 0 332188829 601174016 127023 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 146771 127023 186 433 0 146335 0
[pid=31364/tid=31366] ppid=31362 vsize=587084 CPUtime=1792.73 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 112862 0 0 0 179173 100 0 0 20 0 2 0 332188913 601174016 127023 33554432000 4194304 5964478 140734511230112 140280136496904 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 587084

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31460
/proc/meminfo: memFree=27170016/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=587084 CPUtime=1798.67 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 125682 0 0 0 179793 74 0 0 20 0 2 0 332188829 601174016 127023 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 146771 127023 186 433 0 146335 0
[pid=31364/tid=31366] ppid=31362 vsize=587084 CPUtime=1793.52 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 112862 0 0 0 179252 100 0 0 20 0 2 0 332188913 601174016 127023 33554432000 4194304 5964478 140734511230112 140280136496904 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 587084

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31460
/proc/meminfo: memFree=27170016/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=587084 CPUtime=1799.08 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 125682 0 0 0 179834 74 0 0 20 0 2 0 332188829 601174016 127023 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 146771 127023 186 433 0 146335 0
[pid=31364/tid=31366] ppid=31362 vsize=587084 CPUtime=1793.93 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 112862 0 0 0 179293 100 0 0 20 0 2 0 332188913 601174016 127023 33554432000 4194304 5964478 140734511230112 140280136496904 4400542 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (KiB) 587084

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31460
/proc/meminfo: memFree=27170016/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=587084 CPUtime=1799.47 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 125682 0 0 0 179873 74 0 0 20 0 2 0 332188829 601174016 127023 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 146771 127023 186 433 0 146335 0
[pid=31364/tid=31366] ppid=31362 vsize=587084 CPUtime=1794.32 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 112862 0 0 0 179332 100 0 0 20 0 2 0 332188913 601174016 127023 33554432000 4194304 5964478 140734511230112 140280136496904 4399854 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 587084

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31460
/proc/meminfo: memFree=27170016/32873844 swapFree=7628/7628
[pid=31364] ppid=31362 vsize=587084 CPUtime=1799.57 cores=0,2,4,6
/proc/31364/stat : 31364 (pwbo2.02) S 31362 31364 27854 0 -1 4202496 125682 0 0 0 179883 74 0 0 20 0 2 0 332188829 601174016 127023 33554432000 4194304 5964478 140734511230112 140734511229632 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31364/statm: 146771 127023 186 433 0 146335 0
[pid=31364/tid=31366] ppid=31362 vsize=587084 CPUtime=1794.42 cores=0,2,4,6
/proc/31364/task/31366/stat : 31366 (pwbo2.02) R 31362 31364 27854 0 -1 4202560 112862 0 0 0 179342 100 0 0 20 0 2 0 332188913 601174016 127023 33554432000 4194304 5964478 140734511230112 140280136496904 4400542 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 587084

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31364 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=253232
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=30843
# CPU time returned by wait4() is 1795.28
# while last known CPU time is 1799.57
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.01
CPU time (s): 1799.57
CPU user time (s): 1798.83
CPU system time (s): 0.74
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 587084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.25
system time used= 1.03084
maximum resident set size= 508104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125685
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= 200
involuntary context switches= 1948

runsolver used 3.68544 second user time and 8.10277 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-02 20:10:45
IDJOB=3726668
IDBENCH=89728
IDSOLVER=2310
FILE ID=node143/3726668-1338660644
RUNJOBID= node143-1338651550-29471
PBS_JOBID= 14636437
Free space on /tmp= 68524 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-76.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 -thread=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3726668-1338660644/watcher-3726668-1338660644 -o /tmp/evaluation-result-3726668-1338660644/solver-3726668-1338660644 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726668-1338660644.opb

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

MD5SUM BENCH= f030651c159d27eae553d070b0927366
RANDOM SEED=297132044

node143.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.787
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.57
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.787
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.787
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.787
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.787
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.90
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.787
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	: 5298.57
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.787
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.787
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:        27653756 kB
Buffers:          364288 kB
Cached:          3664908 kB
SwapCached:          112 kB
Active:          2282268 kB
Inactive:        2042928 kB
Active(anon):     287716 kB
Inactive(anon):    10908 kB
Active(file):    1994552 kB
Inactive(file):  2032020 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108424 kB
Dirty:             17480 kB
Writeback:             0 kB
AnonPages:        334216 kB
Mapped:            10972 kB
Shmem:               160 kB
Slab:             756180 kB
SReclaimable:     198556 kB
SUnreclaim:       557624 kB
KernelStack:        1496 kB
PageTables:         4440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     173436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 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= 68524 MiB
End job on node143 at 2012-06-02 20:40:45