Trace number 3726036

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.02UNSAT 656.59 329.007

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_2.opb
MD5SUM1d7dd5c267917b6fb58d303c57bfa918
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 benchmark5.99509
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables31
Total number of constraints9
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint30
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 808
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2424
Number of bits of the biggest sum of numbers12
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-3726036-1338656086.opb.
0.00/0.00	c Instance file HOME/instance-3726036-1338656086.opb
0.00/0.00	c File size is 2084 bytes.
0.00/0.00	c Cost Offset: 0
0.00/0.00	c Highest Coefficient sum: 2424
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      31                                                  |
0.00/0.00	c |  Number Clauses:        1                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 8                                                   |
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Problem Type:          Optimization                                        |
0.00/0.00	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.00	c |                                                                             |
0.00/0.00	c ===============================================================================
656.40/329.00	c ===============================================================================
656.40/329.00	c Wall Clock Time: 329.00 s
656.40/329.00	s UNSATISFIABLE

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-3726036-1338656086/watcher-3726036-1338656086 -o /tmp/evaluation-result-3726036-1338656086/solver-3726036-1338656086 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726036-1338656086.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: 3.88 3.96 3.91 4/177 18164
/proc/meminfo: memFree=27106316/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=162228 CPUtime=0 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 798 0 0 0 0 0 0 0 20 0 3 0 331737101 166121472 749 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 40557 749 189 433 0 40121 0
[pid=18164/tid=18165] ppid=18162 vsize=162228 CPUtime=0 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 3 0 331737101 166121472 749 33554432000 4194304 5964478 140733920130496 140734687312552 5136490 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=162228 CPUtime=0 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 3 0 331737101 166121472 749 33554432000 4194304 5964478 140733920130496 140734687312552 5136490 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0

[startup+0.013065 s]
/proc/loadavg: 3.88 3.96 3.91 4/177 18164
/proc/meminfo: memFree=27106316/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=162228 CPUtime=0.01 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 862 0 0 0 1 0 0 0 20 0 3 0 331737101 166121472 813 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 40557 813 191 433 0 40121 0
[pid=18164/tid=18165] ppid=18162 vsize=162228 CPUtime=0 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 3 0 331737101 166121472 815 33554432000 4194304 5964478 140733920130496 140475970291696 5179243 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=162228 CPUtime=0 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 3 0 331737101 166121472 815 33554432000 4194304 5964478 140733920130496 140475959802160 4570436 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 162228

[startup+0.100329 s]
/proc/loadavg: 3.88 3.96 3.91 4/177 18164
/proc/meminfo: memFree=27106316/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=162228 CPUtime=0.18 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 1271 0 0 0 18 0 0 0 20 0 3 0 331737101 166121472 1222 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 40557 1223 191 433 0 40121 0
[pid=18164/tid=18165] ppid=18162 vsize=162228 CPUtime=0.08 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 300 0 0 0 8 0 0 0 20 0 3 0 331737101 166121472 1223 33554432000 4194304 5964478 140733920130496 140475970291696 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=162228 CPUtime=0.08 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 237 0 0 0 8 0 0 0 20 0 3 0 331737101 166121472 1223 33554432000 4194304 5964478 140733920130496 140475959802160 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162228

[startup+0.300288 s]
/proc/loadavg: 3.88 3.96 3.91 4/177 18164
/proc/meminfo: memFree=27106316/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=162228 CPUtime=0.57 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 1741 0 0 0 57 0 0 0 20 0 3 0 331737101 166121472 1692 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 40557 1692 191 433 0 40121 0
[pid=18164/tid=18165] ppid=18162 vsize=162228 CPUtime=0.27 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 626 0 0 0 27 0 0 0 20 0 3 0 331737101 166121472 1692 33554432000 4194304 5964478 140733920130496 140475970291696 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=162228 CPUtime=0.27 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 380 0 0 0 27 0 0 0 20 0 3 0 331737101 166121472 1692 33554432000 4194304 5964478 140733920130496 140475959802160 4399926 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 162228

[startup+0.700297 s]
/proc/loadavg: 3.88 3.96 3.91 4/177 18164
/proc/meminfo: memFree=27106316/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=162516 CPUtime=1.36 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 2301 0 0 0 136 0 0 0 20 0 3 0 331737101 166416384 2252 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 40629 2252 191 433 0 40193 0
[pid=18164/tid=18165] ppid=18162 vsize=162516 CPUtime=0.67 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 1061 0 0 0 67 0 0 0 20 0 3 0 331737101 166416384 2252 33554432000 4194304 5964478 140733920130496 140475970291696 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=162516 CPUtime=0.67 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 505 0 0 0 67 0 0 0 20 0 3 0 331737101 166416384 2252 33554432000 4194304 5964478 140733920130496 140475959802160 4400490 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 162516

[startup+1.50034 s]
/proc/loadavg: 3.88 3.96 3.91 5/180 18167
/proc/meminfo: memFree=27096984/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=163524 CPUtime=2.95 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 3176 0 0 0 294 1 0 0 20 0 3 0 331737101 167448576 3127 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 40881 3127 191 433 0 40445 0
[pid=18164/tid=18165] ppid=18162 vsize=163524 CPUtime=1.47 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 1746 0 0 0 147 0 0 0 20 0 3 0 331737101 167448576 3127 33554432000 4194304 5964478 140733920130496 140475970291696 4389164 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=163524 CPUtime=1.45 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 695 0 0 0 145 0 0 0 20 0 3 0 331737101 167448576 3127 33554432000 4194304 5964478 140733920130496 140475959802160 4400422 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 163524

[startup+3.10038 s]
/proc/loadavg: 3.88 3.96 3.91 5/180 18167
/proc/meminfo: memFree=27090520/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=164460 CPUtime=6.12 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 4235 0 0 0 611 1 0 0 20 0 3 0 331737101 168407040 4186 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 41115 4186 191 433 0 40679 0
[pid=18164/tid=18165] ppid=18162 vsize=164460 CPUtime=3.06 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 2500 0 0 0 305 1 0 0 20 0 3 0 331737101 168407040 4186 33554432000 4194304 5964478 140733920130496 140475970291696 4400018 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=164460 CPUtime=3.03 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 1000 0 0 0 303 0 0 0 20 0 3 0 331737101 168407040 4186 33554432000 4194304 5964478 140733920130496 140475959802160 4410338 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 164460

[startup+6.30039 s]
/proc/loadavg: 3.73 3.93 3.90 5/180 18167
/proc/meminfo: memFree=27075268/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=167036 CPUtime=12.49 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 5722 0 0 0 1247 2 0 0 20 0 3 0 331737101 171044864 5673 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 41759 5673 191 433 0 41323 0
[pid=18164/tid=18165] ppid=18162 vsize=167036 CPUtime=6.25 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 3636 0 0 0 623 2 0 0 20 0 3 0 331737101 171044864 5673 33554432000 4194304 5964478 140733920130496 140475970291696 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=167036 CPUtime=6.19 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 1351 0 0 0 619 0 0 0 20 0 3 0 331737101 171044864 5673 33554432000 4194304 5964478 140733920130496 140475959802160 4400014 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 167036

[startup+12.7004 s]
/proc/loadavg: 3.75 3.93 3.90 5/180 18167
/proc/meminfo: memFree=27062248/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=172304 CPUtime=25.25 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 8035 0 0 0 2521 4 0 0 20 0 3 0 331737101 176439296 7986 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 43076 7986 191 433 0 42640 0
[pid=18164/tid=18165] ppid=18162 vsize=172304 CPUtime=12.63 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 5436 0 0 0 1260 3 0 0 20 0 3 0 331737101 176439296 7986 33554432000 4194304 5964478 140733920130496 140475970291752 4400010 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=172304 CPUtime=12.53 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 1864 0 0 0 1253 0 0 0 20 0 3 0 331737101 176439296 7986 33554432000 4194304 5964478 140733920130496 140475959802272 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 172304

[startup+25.5004 s]
/proc/loadavg: 3.81 3.93 3.90 5/181 18168
/proc/meminfo: memFree=27032340/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=176020 CPUtime=50.74 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 11144 0 0 0 5068 6 0 0 20 0 3 0 331737101 180244480 11095 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 44005 11095 191 433 0 43569 0
[pid=18164/tid=18165] ppid=18162 vsize=176020 CPUtime=25.4 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 8127 0 0 0 2535 5 0 0 20 0 3 0 331737101 180244480 11095 33554432000 4194304 5964478 140733920130496 140475970291752 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=176020 CPUtime=25.2 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 2282 0 0 0 2519 1 0 0 20 0 3 0 331737101 180244480 11095 33554432000 4194304 5964478 140733920130496 140475959802160 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 176020

[startup+51.1004 s]
/proc/loadavg: 3.87 3.93 3.90 5/181 18168
/proc/meminfo: memFree=26996420/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=184136 CPUtime=101.81 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 15795 0 0 0 10171 10 0 0 20 0 3 0 331737101 188555264 15741 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 46034 15741 191 433 0 45598 0
[pid=18164/tid=18165] ppid=18162 vsize=184136 CPUtime=50.94 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 12273 0 0 0 5086 8 0 0 20 0 3 0 331737101 188555264 15741 33554432000 4194304 5964478 140733920130496 140475970291752 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=184136 CPUtime=50.61 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 2787 0 0 0 5059 2 0 0 20 0 3 0 331737101 188555264 15741 33554432000 4194304 5964478 140733920130496 140475959802160 4391746 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 184136

[startup+102.307 s]
/proc/loadavg: 4.02 3.96 3.91 5/181 18168
/proc/meminfo: memFree=26924500/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=195292 CPUtime=203.98 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 22450 0 0 0 20383 15 0 0 20 0 3 0 331737101 199979008 22650 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 48823 22650 191 433 0 48387 0
[pid=18164/tid=18165] ppid=18162 vsize=195292 CPUtime=101.99 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 18358 0 0 0 10187 12 0 0 20 0 3 0 331737101 199979008 22650 33554432000 4194304 5964478 140733920130496 140475970291224 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=195292 CPUtime=101.48 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 3357 0 0 0 10144 4 0 0 20 0 3 0 331737101 199979008 22650 33554432000 4194304 5964478 140733920130496 140475959802160 4400812 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 203.98
Current children cumulated vsize (KiB) 195292

[startup+162.3 s]
/proc/loadavg: 3.93 3.95 3.90 5/181 18168
/proc/meminfo: memFree=26861272/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=273512 CPUtime=323.71 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 29345 0 0 0 32351 20 0 0 20 0 3 0 331737101 280076288 30714 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 68378 30714 191 433 0 67942 0
[pid=18164/tid=18165] ppid=18162 vsize=273512 CPUtime=161.83 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 24657 0 0 0 16166 17 0 0 20 0 3 0 331737101 280076288 30714 33554432000 4194304 5964478 140733920130496 140475970291704 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=273512 CPUtime=161.09 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 3953 0 0 0 16103 6 0 0 20 0 3 0 331737101 280076288 30714 33554432000 4194304 5964478 140733920130496 140475959802160 4400422 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 323.71
Current children cumulated vsize (KiB) 273512

[startup+222.3 s]
/proc/loadavg: 3.97 3.95 3.91 5/181 18168
/proc/meminfo: memFree=26807740/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=280404 CPUtime=443.54 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 34246 0 0 0 44331 23 0 0 20 0 3 0 331737101 287133696 35615 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 70101 35615 191 433 0 69665 0
[pid=18164/tid=18165] ppid=18162 vsize=280404 CPUtime=221.67 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 29047 0 0 0 22146 21 0 0 20 0 3 0 331737101 287133696 35615 33554432000 4194304 5964478 140733920130496 140475970291720 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=280404 CPUtime=220.78 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 4464 0 0 0 22070 8 0 0 20 0 3 0 331737101 287133696 35615 33554432000 4194304 5964478 140733920130496 140475959801688 4399938 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 443.54
Current children cumulated vsize (KiB) 280404

[startup+282.3 s]
/proc/loadavg: 3.99 3.96 3.91 5/181 18168
/proc/meminfo: memFree=26765484/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=286188 CPUtime=563.31 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 39769 0 0 0 56305 26 0 0 20 0 3 0 331737101 293056512 41323 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 71547 41323 191 433 0 71111 0
[pid=18164/tid=18165] ppid=18162 vsize=286188 CPUtime=281.5 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 34308 0 0 0 28126 24 0 0 20 0 3 0 331737101 293056512 41323 33554432000 4194304 5964478 140733920130496 140475970291224 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=286188 CPUtime=280.44 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 4726 0 0 0 28035 9 0 0 20 0 3 0 331737101 293056512 41323 33554432000 4194304 5964478 140733920130496 140475959802272 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 563.31
Current children cumulated vsize (KiB) 286188

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

[startup+307.1 s]
/proc/loadavg: 3.99 3.96 3.91 5/181 18169
/proc/meminfo: memFree=26751016/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=291816 CPUtime=612.86 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 41150 0 0 0 61259 27 0 0 20 0 3 0 331737101 298819584 42897 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 72954 42897 191 433 0 72518 0
[pid=18164/tid=18165] ppid=18162 vsize=291816 CPUtime=306.24 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 35662 0 0 0 30599 25 0 0 20 0 3 0 331737101 298819584 42897 33554432000 4194304 5964478 140733920130496 140475970291224 4400018 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=291816 CPUtime=305.13 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 4753 0 0 0 30504 9 0 0 20 0 3 0 331737101 298819584 42897 33554432000 4194304 5964478 140733920130496 140475959802272 4399912 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 612.86
Current children cumulated vsize (KiB) 291816

[startup+319.9 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 18172
/proc/meminfo: memFree=26738152/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=292964 CPUtime=638.41 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 42452 0 0 0 63813 28 0 0 20 0 3 0 331737101 299995136 44199 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 73241 44199 191 433 0 72805 0
[pid=18164/tid=18165] ppid=18162 vsize=292964 CPUtime=319 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 36928 0 0 0 31874 26 0 0 20 0 3 0 331737101 299995136 44199 33554432000 4194304 5964478 140733920130496 140475970291224 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=292964 CPUtime=317.84 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 4789 0 0 0 31775 9 0 0 20 0 3 0 331737101 299995136 44199 33554432000 4194304 5964478 140733920130496 140475959802272 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 638.41
Current children cumulated vsize (KiB) 292964

[startup+323.1 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 18172
/proc/meminfo: memFree=26735904/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=292964 CPUtime=644.79 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 42717 0 0 0 64451 28 0 0 20 0 3 0 331737101 299995136 44464 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 73241 44464 191 433 0 72805 0
[pid=18164/tid=18165] ppid=18162 vsize=292964 CPUtime=322.2 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 37193 0 0 0 32194 26 0 0 20 0 3 0 331737101 299995136 44464 33554432000 4194304 5964478 140733920130496 140475970291720 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=292964 CPUtime=321.02 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 4789 0 0 0 32093 9 0 0 20 0 3 0 331737101 299995136 44464 33554432000 4194304 5964478 140733920130496 140475959802160 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 644.79
Current children cumulated vsize (KiB) 292964

[startup+326.3 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 18172
/proc/meminfo: memFree=26732936/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=292964 CPUtime=651.19 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 42729 0 0 0 65091 28 0 0 20 0 3 0 331737101 299995136 44476 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 73241 44476 191 433 0 72805 0
[pid=18164/tid=18165] ppid=18162 vsize=292964 CPUtime=325.39 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 37205 0 0 0 32513 26 0 0 20 0 3 0 331737101 299995136 44476 33554432000 4194304 5964478 140733920130496 140475970291224 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=292964 CPUtime=324.22 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 4789 0 0 0 32413 9 0 0 20 0 3 0 331737101 299995136 44476 33554432000 4194304 5964478 140733920130496 140475959802272 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 651.19
Current children cumulated vsize (KiB) 292964

[startup+327.9 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18172
/proc/meminfo: memFree=26730952/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=292964 CPUtime=654.39 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 42868 0 0 0 65411 28 0 0 20 0 3 0 331737101 299995136 44615 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 73241 44615 191 433 0 72805 0
[pid=18164/tid=18165] ppid=18162 vsize=292964 CPUtime=326.98 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 37344 0 0 0 32672 26 0 0 20 0 3 0 331737101 299995136 44615 33554432000 4194304 5964478 140733920130496 140475970291720 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=292964 CPUtime=325.81 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 4789 0 0 0 32572 9 0 0 20 0 3 0 331737101 299995136 44615 33554432000 4194304 5964478 140733920130496 140475959802272 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 654.39
Current children cumulated vsize (KiB) 292964

[startup+328.7 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18172
/proc/meminfo: memFree=26730952/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=292964 CPUtime=655.99 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 42880 0 0 0 65571 28 0 0 20 0 3 0 331737101 299995136 44627 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 73241 44627 191 433 0 72805 0
[pid=18164/tid=18165] ppid=18162 vsize=292964 CPUtime=327.78 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 37349 0 0 0 32752 26 0 0 20 0 3 0 331737101 299995136 44627 33554432000 4194304 5964478 140733920130496 140475970291720 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=292964 CPUtime=326.6 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 4796 0 0 0 32651 9 0 0 20 0 3 0 331737101 299995136 44627 33554432000 4194304 5964478 140733920130496 140475959801976 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 655.99
Current children cumulated vsize (KiB) 292964

[startup+328.907 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18172
/proc/meminfo: memFree=26730208/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=292964 CPUtime=656.4 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 42882 0 0 0 65612 28 0 0 20 0 3 0 331737101 299995136 44629 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 73241 44629 191 433 0 72805 0
[pid=18164/tid=18165] ppid=18162 vsize=292964 CPUtime=327.99 cores=1,3,5,7
/proc/18164/task/18165/stat : 18165 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 37351 0 0 0 32773 26 0 0 20 0 3 0 331737101 299995136 44629 33554432000 4194304 5964478 140733920130496 140475970291720 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=292964 CPUtime=326.81 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202560 4796 0 0 0 32672 9 0 0 20 0 3 0 331737101 299995136 44629 33554432000 4194304 5964478 140733920130496 140475959801976 4222330 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 656.4
Current children cumulated vsize (KiB) 292964

[startup+329 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18172
/proc/meminfo: memFree=26730208/32873844 swapFree=7628/7628
[pid=18164] ppid=18162 vsize=292964 CPUtime=656.59 cores=1,3,5,7
/proc/18164/stat : 18164 (pwbo2.02) S 18162 18164 15996 0 -1 4202496 42883 0 0 0 65631 28 0 0 20 0 3 0 331737101 299995136 44630 33554432000 4194304 5964478 140733920130496 140733920130016 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18164/statm: 0 0 0 0 0 0 0
[pid=18164/tid=18166] ppid=18162 vsize=0 CPUtime=326.9 cores=1,3,5,7
/proc/18164/task/18166/stat : 18166 (pwbo2.02) R 18162 18164 15996 0 -1 4202564 4801 0 0 0 32681 9 0 0 20 0 2 0 331737101 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 656.59
Current children cumulated vsize (KiB) 292964

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18164 and gives
#  childrusage.ru_utime.tv_sec=654
#  childrusage.ru_utime.tv_usec=630481
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=380942
# CPU time returned by wait4() is 655.011
# while last known CPU time is 656.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 329.007
CPU time (s): 656.59
CPU user time (s): 656.31
CPU system time (s): 0.28
CPU usage (%): 199.567
Max. virtual memory (cumulated for all children) (KiB): 292964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 654.63
system time used= 0.380942
maximum resident set size= 178536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42887
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= 421
involuntary context switches= 688

runsolver used 0.52292 second user time and 1.57676 second system time

The end

Launcher Data

Begin job on node107 at 2012-06-02 18:54:46
IDJOB=3726036
IDBENCH=2901
IDSOLVER=2309
FILE ID=node107/3726036-1338656086
RUNJOBID= node107-1338651552-17542
PBS_JOBID= 14636473
Free space on /tmp= 70780 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_2.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3726036-1338656086/watcher-3726036-1338656086 -o /tmp/evaluation-result-3726036-1338656086/solver-3726036-1338656086 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726036-1338656086.opb

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

MD5SUM BENCH= 1d7dd5c267917b6fb58d303c57bfa918
RANDOM SEED=1652729506

node107.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.760
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.52
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.760
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.760
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.760
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.760
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.760
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.760
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.86
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.760
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:        27106944 kB
Buffers:          463964 kB
Cached:          4369568 kB
SwapCached:           76 kB
Active:          1916032 kB
Inactive:        2976752 kB
Active(anon):      50680 kB
Inactive(anon):    11072 kB
Active(file):    1865352 kB
Inactive(file):  2965680 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108780 kB
Dirty:             11144 kB
Writeback:             0 kB
AnonPages:         66532 kB
Mapped:            14852 kB
Shmem:               184 kB
Slab:             733824 kB
SReclaimable:     176144 kB
SUnreclaim:       557680 kB
KernelStack:        1464 kB
PageTables:         3980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     156776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70772 MiB
End job on node107 at 2012-06-02 19:00:15