Trace number 3704264

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.56 1800.01

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb
MD5SUMbfd9076f83014271363fd9848b4f1d95
Bench CategoryDEC-SMALLINT (no 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 benchmark0.038993
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables1800
Total number of constraints85
Number of constraints which are clauses45
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3704264-1338091580.opb.
0.00/0.00	c Instance file HOME/instance-3704264-1338091580.opb
0.00/0.00	c File size is 31022 bytes.
0.00/0.00	c Highest Coefficient sum: 46
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:      1800                                                |
0.00/0.00	c |  Number Clauses:        45                                                  |
0.00/0.00	c |  Number Cardinality:    40                                                  |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Problem Type:          Decision                                            |
0.00/0.00	c |  Objective Function:    None                                                |
0.00/0.00	c |                                                                             |
0.00/0.00	c ===============================================================================
1799.56/1800.00	c ===============================================================================
1799.56/1800.00	c Wall Clock Time: 1800.00 s
1799.56/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-3704264-1338091580/watcher-3704264-1338091580 -o /tmp/evaluation-result-3704264-1338091580/solver-3704264-1338091580 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704264-1338091580.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.00 2.00 2.00 2/177 20110
/proc/meminfo: memFree=27650988/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=84172 CPUtime=0 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 972 0 0 0 0 0 0 0 20 0 2 0 275286452 86192128 917 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 21043 922 176 433 0 20607 0
[pid=20110/tid=20111] ppid=20108 vsize=84172 CPUtime=0 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 147 0 0 0 0 0 0 0 20 0 2 0 275286452 86192128 938 33554432000 4194304 5965102 140736459001968 140735056508184 4396306 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0

[startup+0.0250931 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 20110
/proc/meminfo: memFree=27650988/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=84172 CPUtime=0.02 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 1153 0 0 0 2 0 0 0 20 0 2 0 275286452 86192128 1098 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 21043 1098 189 433 0 20607 0
[pid=20110/tid=20111] ppid=20108 vsize=84172 CPUtime=0 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 307 0 0 0 0 0 0 0 20 0 2 0 275286452 86192128 1098 33554432000 4194304 5965102 140736459001968 140735056508184 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 84172

[startup+0.100288 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 20110
/proc/meminfo: memFree=27650988/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=84172 CPUtime=0.09 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 1358 0 0 0 9 0 0 0 20 0 2 0 275286452 86192128 1303 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 21043 1303 190 433 0 20607 0
[pid=20110/tid=20111] ppid=20108 vsize=84172 CPUtime=0.08 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 512 0 0 0 8 0 0 0 20 0 2 0 275286452 86192128 1303 33554432000 4194304 5965102 140736459001968 140735056508184 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84172

[startup+0.300216 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 20110
/proc/meminfo: memFree=27650988/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=84172 CPUtime=0.29 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 1900 0 0 0 29 0 0 0 20 0 2 0 275286452 86192128 1845 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 21043 1845 190 433 0 20607 0
[pid=20110/tid=20111] ppid=20108 vsize=84172 CPUtime=0.28 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 1054 0 0 0 28 0 0 0 20 0 2 0 275286452 86192128 1845 33554432000 4194304 5965102 140736459001968 140037600970744 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84172

[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 20110
/proc/meminfo: memFree=27650988/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=84172 CPUtime=0.69 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 2767 0 0 0 69 0 0 0 20 0 2 0 275286452 86192128 2712 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 21043 2712 190 433 0 20607 0
[pid=20110/tid=20111] ppid=20108 vsize=84172 CPUtime=0.68 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 1921 0 0 0 68 0 0 0 20 0 2 0 275286452 86192128 2712 33554432000 4194304 5965102 140736459001968 140037600970744 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84172

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20112
/proc/meminfo: memFree=27636696/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=84172 CPUtime=1.49 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 4398 0 0 0 148 1 0 0 20 0 2 0 275286452 86192128 4343 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 21043 4344 190 433 0 20607 0
[pid=20110/tid=20111] ppid=20108 vsize=84172 CPUtime=1.48 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 3553 0 0 0 146 2 0 0 20 0 2 0 275286452 86192128 4344 33554432000 4194304 5965102 140736459001968 140037600970744 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84172

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20112
/proc/meminfo: memFree=27629380/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=84316 CPUtime=3.09 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 5551 0 0 0 307 2 0 0 20 0 2 0 275286452 86339584 5496 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 21079 5496 190 433 0 20643 0
[pid=20110/tid=20111] ppid=20108 vsize=84316 CPUtime=3.07 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 4705 0 0 0 305 2 0 0 20 0 2 0 275286452 86339584 5496 33554432000 4194304 5965102 140736459001968 140037600970744 4382665 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84316

[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20112
/proc/meminfo: memFree=27620948/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=84316 CPUtime=6.29 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 8483 0 0 0 626 3 0 0 20 0 2 0 275286452 86339584 8428 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 21079 8428 190 433 0 20643 0
[pid=20110/tid=20111] ppid=20108 vsize=84316 CPUtime=6.26 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 7637 0 0 0 624 2 0 0 20 0 2 0 275286452 86339584 8428 33554432000 4194304 5965102 140736459001968 140037600970744 4383048 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84316

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20112
/proc/meminfo: memFree=27602960/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=84388 CPUtime=12.69 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 11466 0 0 0 1265 4 0 0 20 0 2 0 275286452 86413312 11411 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 21097 11411 190 433 0 20661 0
[pid=20110/tid=20111] ppid=20108 vsize=84388 CPUtime=12.65 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 10620 0 0 0 1262 3 0 0 20 0 2 0 275286452 86413312 11411 33554432000 4194304 5965102 140736459001968 140037600970744 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84388

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20112
/proc/meminfo: memFree=27582616/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=84496 CPUtime=25.48 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 16606 0 0 0 2543 5 0 0 20 0 2 0 275286452 86523904 16551 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 21124 16551 190 433 0 20688 0
[pid=20110/tid=20111] ppid=20108 vsize=84496 CPUtime=25.41 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 15760 0 0 0 2536 5 0 0 20 0 2 0 275286452 86523904 16551 33554432000 4194304 5965102 140736459001968 140037600970744 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84496

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20113
/proc/meminfo: memFree=27553076/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=150192 CPUtime=51.09 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 24087 0 0 0 5101 8 0 0 20 0 2 0 275286452 153796608 24032 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 37548 24032 190 433 0 37112 0
[pid=20110/tid=20111] ppid=20108 vsize=150192 CPUtime=50.95 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 23241 0 0 0 5088 7 0 0 20 0 2 0 275286452 153796608 24032 33554432000 4194304 5965102 140736459001968 140037600970744 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 150192

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20113
/proc/meminfo: memFree=27511196/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=215968 CPUtime=102.28 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 34231 0 0 0 10218 10 0 0 20 0 2 0 275286452 221151232 34176 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 53992 34176 190 433 0 53556 0
[pid=20110/tid=20111] ppid=20108 vsize=215968 CPUtime=102.02 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 33385 0 0 0 10191 11 0 0 20 0 2 0 275286452 221151232 34176 33554432000 4194304 5965102 140736459001968 140037600970552 4383069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 215968

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20113
/proc/meminfo: memFree=27396096/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=281504 CPUtime=162.26 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 52661 0 0 0 16209 17 0 0 20 0 2 0 275286452 288260096 52606 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 70376 52606 190 433 0 69940 0
[pid=20110/tid=20111] ppid=20108 vsize=281504 CPUtime=161.87 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 51815 0 0 0 16168 19 0 0 20 0 2 0 275286452 288260096 52606 33554432000 4194304 5965102 140736459001968 140037600970744 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 281504

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20116
/proc/meminfo: memFree=27250028/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=283736 CPUtime=222.26 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 64548 0 0 0 22205 21 0 0 20 0 2 0 275286452 290545664 64493 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 70934 64493 190 433 0 70498 0
[pid=20110/tid=20111] ppid=20108 vsize=283736 CPUtime=221.71 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 63702 0 0 0 22147 24 0 0 20 0 2 0 275286452 290545664 64493 33554432000 4194304 5965102 140736459001968 140037600970744 4401462 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 283736

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 20116
/proc/meminfo: memFree=27169856/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=352908 CPUtime=282.25 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 69358 0 0 0 28202 23 0 0 20 0 2 0 275286452 361377792 69299 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 88227 69299 190 433 0 87791 0
[pid=20110/tid=20111] ppid=20108 vsize=352908 CPUtime=281.56 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 68512 0 0 0 28130 26 0 0 20 0 2 0 275286452 361377792 69299 33554432000 4194304 5965102 140736459001968 140037600970744 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 352908

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20116
/proc/meminfo: memFree=27169704/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=352908 CPUtime=342.23 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 69399 0 0 0 34200 23 0 0 20 0 2 0 275286452 361377792 69209 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 88227 69209 190 433 0 87791 0
[pid=20110/tid=20111] ppid=20108 vsize=352908 CPUtime=341.4 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 68553 0 0 0 34113 27 0 0 20 0 2 0 275286452 361377792 69209 33554432000 4194304 5965102 140736459001968 140037600970776 4401143 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 352908

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 20117
/proc/meminfo: memFree=27129556/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=354780 CPUtime=402.19 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 79601 0 0 0 40192 27 0 0 20 0 2 0 275286452 363294720 79502 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0

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


[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20165
/proc/meminfo: memFree=27143368/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=561532 CPUtime=1421.94 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 130899 0 0 0 142136 58 0 0 20 0 2 0 275286452 575008768 130704 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 140383 130704 190 433 0 139947 0
[pid=20110/tid=20111] ppid=20108 vsize=561532 CPUtime=1418.51 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 130053 0 0 0 141772 79 0 0 20 0 2 0 275286452 575008768 130704 33554432000 4194304 5965102 140736459001968 140037600970792 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 561532

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20165
/proc/meminfo: memFree=27050792/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=629408 CPUtime=1481.93 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 141541 0 0 0 148129 64 0 0 20 0 2 0 275286452 644513792 141346 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 157352 141346 190 433 0 156916 0
[pid=20110/tid=20111] ppid=20108 vsize=629408 CPUtime=1478.35 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 140695 0 0 0 147749 86 0 0 20 0 2 0 275286452 644513792 141346 33554432000 4194304 5965102 140736459001968 140037600970744 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 629408

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20165
/proc/meminfo: memFree=27046248/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=629624 CPUtime=1541.9 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 141816 0 0 0 154126 64 0 0 20 0 2 0 275286452 644734976 141629 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 157406 141629 190 433 0 156970 0
[pid=20110/tid=20111] ppid=20108 vsize=629624 CPUtime=1538.18 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 140970 0 0 0 153731 87 0 0 20 0 2 0 275286452 644734976 141629 33554432000 4194304 5965102 140736459001968 140037600970792 4401155 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 629624

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20166
/proc/meminfo: memFree=27045856/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=629624 CPUtime=1601.88 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 141826 0 0 0 160124 64 0 0 20 0 2 0 275286452 644734976 141635 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 157406 141635 190 433 0 156970 0
[pid=20110/tid=20111] ppid=20108 vsize=629624 CPUtime=1598.02 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 140980 0 0 0 159714 88 0 0 20 0 2 0 275286452 644734976 141635 33554432000 4194304 5965102 140736459001968 140037600970792 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 629624

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20166
/proc/meminfo: memFree=26995744/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=696940 CPUtime=1661.88 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 154562 0 0 0 166117 71 0 0 20 0 2 0 275286452 713666560 154374 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 174235 154374 190 433 0 173799 0
[pid=20110/tid=20111] ppid=20108 vsize=696940 CPUtime=1657.86 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 153716 0 0 0 165690 96 0 0 20 0 2 0 275286452 713666560 154374 33554432000 4194304 5965102 140736459001968 140037600970552 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 696940

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20167
/proc/meminfo: memFree=26907324/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=699240 CPUtime=1721.87 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 161167 0 0 0 172112 75 0 0 20 0 2 0 275286452 716021760 160979 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 174810 160979 190 433 0 174374 0
[pid=20110/tid=20111] ppid=20108 vsize=699240 CPUtime=1717.71 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 160321 0 0 0 171670 101 0 0 20 0 2 0 275286452 716021760 160979 33554432000 4194304 5965102 140736459001968 140037600970744 4401131 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 699240

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20167
/proc/meminfo: memFree=26715868/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=699240 CPUtime=1781.86 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 161169 0 0 0 178111 75 0 0 20 0 2 0 275286452 716021760 160981 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 174810 160981 190 433 0 174374 0
[pid=20110/tid=20111] ppid=20108 vsize=699240 CPUtime=1777.55 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 160323 0 0 0 177653 102 0 0 20 0 2 0 275286452 716021760 160981 33554432000 4194304 5965102 140736459001968 140037600970744 4383014 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 699240

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20167
/proc/meminfo: memFree=26704096/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=699240 CPUtime=1791.46 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 161178 0 0 0 179071 75 0 0 20 0 2 0 275286452 716021760 160990 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 174810 160990 190 433 0 174374 0
[pid=20110/tid=20111] ppid=20108 vsize=699240 CPUtime=1787.13 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 160332 0 0 0 178611 102 0 0 20 0 2 0 275286452 716021760 160990 33554432000 4194304 5965102 140736459001968 140037600970744 4401107 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 699240

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20167
/proc/meminfo: memFree=26699508/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=699420 CPUtime=1794.66 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 161202 0 0 0 179391 75 0 0 20 0 2 0 275286452 716206080 161014 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 174855 161014 190 433 0 174419 0
[pid=20110/tid=20111] ppid=20108 vsize=699420 CPUtime=1790.33 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 160356 0 0 0 178931 102 0 0 20 0 2 0 275286452 716206080 161014 33554432000 4194304 5965102 140736459001968 140037600970744 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 699420

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20167
/proc/meminfo: memFree=26696532/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=699492 CPUtime=1797.86 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 161204 0 0 0 179711 75 0 0 20 0 2 0 275286452 716279808 161016 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 174873 161016 190 433 0 174437 0
[pid=20110/tid=20111] ppid=20108 vsize=699492 CPUtime=1793.51 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 160358 0 0 0 179249 102 0 0 20 0 2 0 275286452 716279808 161016 33554432000 4194304 5965102 140736459001968 140037600970792 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 699492

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20167
/proc/meminfo: memFree=26694672/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=699492 CPUtime=1798.66 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 161204 0 0 0 179791 75 0 0 20 0 2 0 275286452 716279808 161016 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 174873 161016 190 433 0 174437 0
[pid=20110/tid=20111] ppid=20108 vsize=699492 CPUtime=1794.31 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 160358 0 0 0 179329 102 0 0 20 0 2 0 275286452 716279808 161016 33554432000 4194304 5965102 140736459001968 140037600970792 4401155 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (KiB) 699492

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20167
/proc/meminfo: memFree=26694424/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=699492 CPUtime=1799.06 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 161204 0 0 0 179831 75 0 0 20 0 2 0 275286452 716279808 161016 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 174873 161016 190 433 0 174437 0
[pid=20110/tid=20111] ppid=20108 vsize=699492 CPUtime=1794.71 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 160358 0 0 0 179369 102 0 0 20 0 2 0 275286452 716279808 161016 33554432000 4194304 5965102 140736459001968 140037600970792 4401118 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 699492

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20167
/proc/meminfo: memFree=26694424/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=699492 CPUtime=1799.46 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 161204 0 0 0 179871 75 0 0 20 0 2 0 275286452 716279808 161016 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 174873 161016 190 433 0 174437 0
[pid=20110/tid=20111] ppid=20108 vsize=699492 CPUtime=1795.11 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 160358 0 0 0 179409 102 0 0 20 0 2 0 275286452 716279808 161016 33554432000 4194304 5965102 140736459001968 140037600970792 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 699492

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20167
/proc/meminfo: memFree=26694424/32873844 swapFree=6856/6856
[pid=20110] ppid=20108 vsize=699492 CPUtime=1799.56 cores=0,2,4,6
/proc/20110/stat : 20110 (pwbo2.0) S 20108 20110 18256 0 -1 4202496 161204 0 0 0 179881 75 0 0 20 0 2 0 275286452 716279808 161016 33554432000 4194304 5965102 140736459001968 140736459001488 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20110/statm: 174873 161016 190 433 0 174437 0
[pid=20110/tid=20111] ppid=20108 vsize=699492 CPUtime=1795.21 cores=0,2,4,6
/proc/20110/task/20111/stat : 20111 (pwbo2.0) R 20108 20110 18256 0 -1 4202560 160358 0 0 0 179419 102 0 0 20 0 2 0 275286452 716279808 161016 33554432000 4194304 5965102 140736459001968 140037600970792 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 699492

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20110 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=200240
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=39841
# CPU time returned by wait4() is 1795.24
# while last known CPU time is 1799.56
#
# 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.56
CPU user time (s): 1798.81
CPU system time (s): 0.75
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 699492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.2
system time used= 1.03984
maximum resident set size= 644076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161207
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= 247
involuntary context switches= 2165

runsolver used 2.80257 second user time and 7.01893 second system time

The end

Launcher Data 

Begin job on node106 at 2012-05-27 06:06:20
IDJOB=3704264
IDBENCH=2571
IDSOLVER=2280
FILE ID=node106/3704264-1338091580
RUNJOBID= node106-1338087979-18272
PBS_JOBID= 14624450
Free space on /tmp= 71376 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 -thread=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704264-1338091580/watcher-3704264-1338091580 -o /tmp/evaluation-result-3704264-1338091580/solver-3704264-1338091580 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704264-1338091580.opb

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

MD5SUM BENCH= bfd9076f83014271363fd9848b4f1d95
RANDOM SEED=815517613

node106.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		: 2667.065
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	: 5334.13
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		: 2667.065
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		: 2667.065
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		: 2667.065
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		: 2667.065
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		: 2667.065
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		: 2667.065
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		: 2667.065
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:        27650996 kB
Buffers:          318648 kB
Cached:          3535700 kB
SwapCached:            0 kB
Active:          1704880 kB
Inactive:        2708464 kB
Active(anon):     561784 kB
Inactive(anon):        0 kB
Active(file):    1143096 kB
Inactive(file):  2708464 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5468 kB
Writeback:             0 kB
AnonPages:        649696 kB
Mapped:            15112 kB
Shmem:               200 kB
Slab:             669172 kB
SReclaimable:     111684 kB
SUnreclaim:       557488 kB
KernelStack:        1488 kB
PageTables:         5360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     154024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    417792 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= 71372 MiB
End job on node106 at 2012-05-27 06:36:20