Trace number 3726565

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.54 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.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3726565-1338655252.opb.
0.00/0.00	c Instance file HOME/instance-3726565-1338655252.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.54/1800.00	c ===============================================================================
1799.54/1800.00	c Wall Clock Time: 1800.00 s
1799.54/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-3726565-1338655252/watcher-3726565-1338655252 -o /tmp/evaluation-result-3726565-1338655252/solver-3726565-1338655252 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726565-1338655252.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 2716
/proc/meminfo: memFree=25774344/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=84172 CPUtime=0 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 955 0 0 0 0 0 0 0 20 0 2 0 331650671 86192128 899 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 21043 899 176 433 0 20607 0
[pid=2716/tid=2717] ppid=2714 vsize=84172 CPUtime=0 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 2 0 331650672 86192128 908 33554432000 4194304 5964478 140736326453088 140735575518504 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0

[startup+0.0630199 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 2716
/proc/meminfo: memFree=25774344/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=84172 CPUtime=0.05 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 1260 0 0 0 5 0 0 0 20 0 2 0 331650671 86192128 1204 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 21043 1204 186 433 0 20607 0
[pid=2716/tid=2717] ppid=2714 vsize=84172 CPUtime=0.04 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 414 0 0 0 4 0 0 0 20 0 2 0 331650672 86192128 1204 33554432000 4194304 5964478 140736326453088 140735575518504 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84172

[startup+0.100295 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 2716
/proc/meminfo: memFree=25774344/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=84172 CPUtime=0.09 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 1372 0 0 0 9 0 0 0 20 0 2 0 331650671 86192128 1316 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 21043 1316 186 433 0 20607 0
[pid=2716/tid=2717] ppid=2714 vsize=84172 CPUtime=0.08 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 526 0 0 0 8 0 0 0 20 0 2 0 331650672 86192128 1316 33554432000 4194304 5964478 140736326453088 140735575518504 4391771 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84172

[startup+0.30023 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 2716
/proc/meminfo: memFree=25774344/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=84172 CPUtime=0.29 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 1868 0 0 0 29 0 0 0 20 0 2 0 331650671 86192128 1812 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 21043 1812 186 433 0 20607 0
[pid=2716/tid=2717] ppid=2714 vsize=84172 CPUtime=0.28 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 1022 0 0 0 28 0 0 0 20 0 2 0 331650672 86192128 1812 33554432000 4194304 5964478 140736326453088 139968875964408 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84172

[startup+0.70027 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 2716
/proc/meminfo: memFree=25774344/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=84172 CPUtime=0.68 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 2712 0 0 0 68 0 0 0 20 0 2 0 331650671 86192128 2656 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 21043 2656 186 433 0 20607 0
[pid=2716/tid=2717] ppid=2714 vsize=84172 CPUtime=0.68 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 1866 0 0 0 68 0 0 0 20 0 2 0 331650672 86192128 2656 33554432000 4194304 5964478 140736326453088 139968875964408 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 84172

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 2718
/proc/meminfo: memFree=25762532/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=84172 CPUtime=1.49 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 4195 0 0 0 148 1 0 0 20 0 2 0 331650671 86192128 4139 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 21043 4139 186 433 0 20607 0
[pid=2716/tid=2717] ppid=2714 vsize=84172 CPUtime=1.48 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 3350 0 0 0 148 0 0 0 20 0 2 0 331650672 86192128 4140 33554432000 4194304 5964478 140736326453088 139968875964408 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84172

[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 2718
/proc/meminfo: memFree=25754348/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=84316 CPUtime=3.09 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 5456 0 0 0 308 1 0 0 20 0 2 0 331650671 86339584 5400 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 21079 5401 186 433 0 20643 0
[pid=2716/tid=2717] ppid=2714 vsize=84316 CPUtime=3.07 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 4611 0 0 0 306 1 0 0 20 0 2 0 331650672 86339584 5401 33554432000 4194304 5964478 140736326453088 139968875964408 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84316

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 2757
/proc/meminfo: memFree=26075428/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=84316 CPUtime=6.29 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 7919 0 0 0 627 2 0 0 20 0 2 0 331650671 86339584 7863 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 21079 7863 186 433 0 20643 0
[pid=2716/tid=2717] ppid=2714 vsize=84316 CPUtime=6.26 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 7073 0 0 0 624 2 0 0 20 0 2 0 331650672 86339584 7863 33554432000 4194304 5964478 140736326453088 139968875964456 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84316

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 2757
/proc/meminfo: memFree=26034780/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=84388 CPUtime=12.69 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 11922 0 0 0 1266 3 0 0 20 0 2 0 331650671 86413312 11866 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 21097 11866 186 433 0 20661 0
[pid=2716/tid=2717] ppid=2714 vsize=84388 CPUtime=12.65 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 11076 0 0 0 1263 2 0 0 20 0 2 0 331650672 86413312 11866 33554432000 4194304 5964478 140736326453088 139968875964216 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84388

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 2757
/proc/meminfo: memFree=25990280/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=150032 CPUtime=25.47 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 17385 0 0 0 2543 4 0 0 20 0 2 0 331650671 153632768 17327 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 37508 17327 186 433 0 37072 0
[pid=2716/tid=2717] ppid=2714 vsize=150032 CPUtime=25.39 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 16539 0 0 0 2535 4 0 0 20 0 2 0 331650672 153632768 17327 33554432000 4194304 5964478 140736326453088 139968875964408 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 150032

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 2757
/proc/meminfo: memFree=25910764/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=150192 CPUtime=51.05 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 25601 0 0 0 5098 7 0 0 20 0 2 0 331650671 153796608 25555 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 37548 25555 186 433 0 37112 0
[pid=2716/tid=2717] ppid=2714 vsize=150192 CPUtime=50.92 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 24755 0 0 0 5085 7 0 0 20 0 2 0 331650672 153796608 25555 33554432000 4194304 5964478 140736326453088 139968875964456 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 150192

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 2757
/proc/meminfo: memFree=25807652/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=215968 CPUtime=102.25 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 40107 0 0 0 10213 12 0 0 20 0 2 0 331650671 221151232 40255 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 53992 40255 186 433 0 53556 0
[pid=2716/tid=2717] ppid=2714 vsize=215968 CPUtime=101.99 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 39261 0 0 0 10186 13 0 0 20 0 2 0 331650672 221151232 40255 33554432000 4194304 5964478 140736326453088 139968875964408 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 215968

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 2757
/proc/meminfo: memFree=25688844/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=281648 CPUtime=162.23 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 50585 0 0 0 16206 17 0 0 20 0 2 0 331650671 288407552 50733 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 70412 50733 186 433 0 69976 0
[pid=2716/tid=2717] ppid=2714 vsize=281648 CPUtime=161.83 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 49739 0 0 0 16164 19 0 0 20 0 2 0 331650672 288407552 50733 33554432000 4194304 5964478 140736326453088 139968875964408 4399986 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 281648

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 2757
/proc/meminfo: memFree=25638292/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=282656 CPUtime=222.19 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 58832 0 0 0 22199 20 0 0 20 0 2 0 331650671 289439744 59080 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 70664 59080 186 433 0 70228 0
[pid=2716/tid=2717] ppid=2714 vsize=282656 CPUtime=221.64 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 57986 0 0 0 22141 23 0 0 20 0 2 0 331650672 289439744 59080 33554432000 4194304 5964478 140736326453088 139968875964408 5139040 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 282656

[startup+282.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/176 2758
/proc/meminfo: memFree=25600872/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=282656 CPUtime=282.16 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 58866 0 0 0 28196 20 0 0 20 0 2 0 331650671 289439744 59174 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 70664 59174 186 433 0 70228 0
[pid=2716/tid=2717] ppid=2714 vsize=282656 CPUtime=281.47 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 58020 0 0 0 28123 24 0 0 20 0 2 0 331650672 289439744 59174 33554432000 4194304 5964478 140736326453088 139968875964408 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 282656

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 2759
/proc/meminfo: memFree=25518268/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=351288 CPUtime=342.16 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 77097 0 0 0 34190 26 0 0 20 0 2 0 331650671 359718912 77405 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 87822 77405 186 433 0 87386 0
[pid=2716/tid=2717] ppid=2714 vsize=351288 CPUtime=341.32 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 76251 0 0 0 34102 30 0 0 20 0 2 0 331650672 359718912 77405 33554432000 4194304 5964478 140736326453088 139968875964456 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 351288

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2759
/proc/meminfo: memFree=25413656/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=351432 CPUtime=402.15 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 77139 0 0 0 40189 26 0 0 20 0 2 0 331650671 359866368 77447 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0

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


[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2791
/proc/meminfo: memFree=24868048/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=622372 CPUtime=1421.92 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 136835 0 0 0 142131 61 0 0 20 0 2 0 331650671 637308928 137579 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 155593 137579 186 433 0 155157 0
[pid=2716/tid=2717] ppid=2714 vsize=622372 CPUtime=1418.46 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 135989 0 0 0 141764 82 0 0 20 0 2 0 331650672 637308928 137579 33554432000 4194304 5964478 140736326453088 139968875964408 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 622372

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2791
/proc/meminfo: memFree=24867860/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=622372 CPUtime=1481.9 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 136835 0 0 0 148129 61 0 0 20 0 2 0 331650671 637308928 137579 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 155593 137579 186 433 0 155157 0
[pid=2716/tid=2717] ppid=2714 vsize=622372 CPUtime=1478.29 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 135989 0 0 0 147746 83 0 0 20 0 2 0 331650672 637308928 137579 33554432000 4194304 5964478 140736326453088 139968875964408 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 622372

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2792
/proc/meminfo: memFree=24867920/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=622372 CPUtime=1541.9 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 136835 0 0 0 154129 61 0 0 20 0 2 0 331650671 637308928 137579 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 155593 137579 186 433 0 155157 0
[pid=2716/tid=2717] ppid=2714 vsize=622372 CPUtime=1538.14 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 135989 0 0 0 153730 84 0 0 20 0 2 0 331650672 637308928 137579 33554432000 4194304 5964478 140736326453088 139968875964408 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 622372

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2792
/proc/meminfo: memFree=24823032/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=625300 CPUtime=1601.89 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 148080 0 0 0 160118 71 0 0 20 0 2 0 331650671 640307200 148824 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 156325 148824 186 433 0 155889 0
[pid=2716/tid=2717] ppid=2714 vsize=625300 CPUtime=1597.99 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 147234 0 0 0 159704 95 0 0 20 0 2 0 331650672 640307200 148824 33554432000 4194304 5964478 140736326453088 139968875964408 4379232 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 625300

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2792
/proc/meminfo: memFree=24822536/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=625732 CPUtime=1661.88 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 148179 0 0 0 166117 71 0 0 20 0 2 0 331650671 640749568 148923 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 156433 148923 186 433 0 155997 0
[pid=2716/tid=2717] ppid=2714 vsize=625732 CPUtime=1657.83 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 147333 0 0 0 165687 96 0 0 20 0 2 0 331650672 640749568 148923 33554432000 4194304 5964478 140736326453088 139968875964216 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 625732

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2792
/proc/meminfo: memFree=24821104/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=627352 CPUtime=1721.87 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 148510 0 0 0 172116 71 0 0 20 0 2 0 331650671 642408448 149261 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 156838 149261 186 433 0 156402 0
[pid=2716/tid=2717] ppid=2714 vsize=627352 CPUtime=1717.67 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 147664 0 0 0 171670 97 0 0 20 0 2 0 331650672 642408448 149261 33554432000 4194304 5964478 140736326453088 139968875964456 4400069 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 627352

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2795
/proc/meminfo: memFree=24808352/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=629868 CPUtime=1781.85 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 151843 0 0 0 178111 74 0 0 20 0 2 0 331650671 644984832 152597 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 157467 152597 186 433 0 157031 0
[pid=2716/tid=2717] ppid=2714 vsize=629868 CPUtime=1777.49 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 150997 0 0 0 177649 100 0 0 20 0 2 0 331650672 644984832 152597 33554432000 4194304 5964478 140736326453088 139968875964456 4400078 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 629868

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2795
/proc/meminfo: memFree=24798296/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=696376 CPUtime=1791.44 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 154206 0 0 0 179069 75 0 0 20 0 2 0 331650671 713089024 154968 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 174094 154968 186 433 0 173658 0
[pid=2716/tid=2717] ppid=2714 vsize=696376 CPUtime=1787.07 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 153360 0 0 0 178605 102 0 0 20 0 2 0 331650672 713089024 154968 33554432000 4194304 5964478 140736326453088 139968875964408 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 696376

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2795
/proc/meminfo: memFree=24795452/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=696376 CPUtime=1794.65 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 154853 0 0 0 179389 76 0 0 20 0 2 0 331650671 713089024 155615 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 174094 155615 186 433 0 173658 0
[pid=2716/tid=2717] ppid=2714 vsize=696376 CPUtime=1790.26 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 154007 0 0 0 178923 103 0 0 20 0 2 0 331650672 713089024 155615 33554432000 4194304 5964478 140736326453088 139968875964408 4400056 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 696376

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2795
/proc/meminfo: memFree=24792972/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=696376 CPUtime=1797.84 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 155724 0 0 0 179707 77 0 0 20 0 2 0 331650671 713089024 156486 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 174094 156486 186 433 0 173658 0
[pid=2716/tid=2717] ppid=2714 vsize=696376 CPUtime=1793.45 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 154878 0 0 0 179242 103 0 0 20 0 2 0 331650672 713089024 156486 33554432000 4194304 5964478 140736326453088 139968875964408 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 696376

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2795
/proc/meminfo: memFree=24791980/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=696376 CPUtime=1798.64 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 156003 0 0 0 179787 77 0 0 20 0 2 0 331650671 713089024 156765 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 174094 156765 186 433 0 173658 0
[pid=2716/tid=2717] ppid=2714 vsize=696376 CPUtime=1794.24 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 155157 0 0 0 179320 104 0 0 20 0 2 0 331650672 713089024 156765 33554432000 4194304 5964478 140736326453088 139968875964408 4400091 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (KiB) 696376

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2796
/proc/meminfo: memFree=24790732/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=696376 CPUtime=1799.05 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 156045 0 0 0 179828 77 0 0 20 0 2 0 331650671 713089024 156807 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 174094 156807 186 433 0 173658 0
[pid=2716/tid=2717] ppid=2714 vsize=696376 CPUtime=1794.65 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 155199 0 0 0 179361 104 0 0 20 0 2 0 331650672 713089024 156807 33554432000 4194304 5964478 140736326453088 139968875964408 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.05
Current children cumulated vsize (KiB) 696376

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2796
/proc/meminfo: memFree=24790732/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=696376 CPUtime=1799.44 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 156096 0 0 0 179867 77 0 0 20 0 2 0 331650671 713089024 156858 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 174094 156858 186 433 0 173658 0
[pid=2716/tid=2717] ppid=2714 vsize=696376 CPUtime=1795.04 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 155250 0 0 0 179400 104 0 0 20 0 2 0 331650672 713089024 156858 33554432000 4194304 5964478 140736326453088 139968875964408 4400024 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (KiB) 696376

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2796
/proc/meminfo: memFree=24790732/32873852 swapFree=6856/6856
[pid=2716] ppid=2714 vsize=696376 CPUtime=1799.54 cores=1,3,5,7
/proc/2716/stat : 2716 (pwbo2.02) S 2714 2716 909 0 -1 4202496 156113 0 0 0 179877 77 0 0 20 0 2 0 331650671 713089024 156875 33554432000 4194304 5964478 140736326453088 140736326452608 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2716/statm: 174094 156875 186 433 0 173658 0
[pid=2716/tid=2717] ppid=2714 vsize=696376 CPUtime=1795.14 cores=1,3,5,7
/proc/2716/task/2717/stat : 2717 (pwbo2.02) R 2714 2716 909 0 -1 4202560 155267 0 0 0 179410 104 0 0 20 0 2 0 331650672 713089024 156875 33554432000 4194304 5964478 140736326453088 139968875964408 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (KiB) 696376

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2716 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=109253
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=57839
# CPU time returned by wait4() is 1795.17
# while last known CPU time is 1799.54
#
# 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.54
CPU user time (s): 1798.77
CPU system time (s): 0.77
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 696376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.11
system time used= 1.05784
maximum resident set size= 627512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156116
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= 256
involuntary context switches= 2602

runsolver used 4.70228 second user time and 10.4324 second system time

The end

Launcher Data 

Begin job on node129 at 2012-06-02 18:40:52
IDJOB=3726565
IDBENCH=2571
IDSOLVER=2310
FILE ID=node129/3726565-1338655252
RUNJOBID= node129-1338651651-2400
PBS_JOBID= 14636451
Free space on /tmp= 70492 MiB

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

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

MD5SUM BENCH= bfd9076f83014271363fd9848b4f1d95
RANDOM SEED=97108018

node129.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.957
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.91
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.957
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.957
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.957
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.957
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.957
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.92
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.957
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.90
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.957
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        25774236 kB
Buffers:          448152 kB
Cached:          5419220 kB
SwapCached:            0 kB
Active:          2798400 kB
Inactive:        3425576 kB
Active(anon):     348168 kB
Inactive(anon):    10760 kB
Active(file):    2450232 kB
Inactive(file):  3414816 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5508 kB
Writeback:             0 kB
AnonPages:        322000 kB
Mapped:            14956 kB
Shmem:               204 kB
Slab:             738024 kB
SReclaimable:     180376 kB
SUnreclaim:       557648 kB
KernelStack:        1464 kB
PageTables:         4796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     216448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 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= 70488 MiB
End job on node129 at 2012-06-02 19:10:52