Trace number 3726562

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb
MD5SUM583fb36c9cf948cc03f361dd87435bdd
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.018996
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables930
Total number of constraints61
Number of constraints which are clauses31
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint31
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 32
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-3726562-1338655589.opb.
0.00/0.00	c Instance file HOME/instance-3726562-1338655589.opb
0.00/0.00	c File size is 15321 bytes.
0.00/0.00	c Highest Coefficient sum: 32
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:      930                                                 |
0.00/0.00	c |  Number Clauses:        31                                                  |
0.00/0.00	c |  Number Cardinality:    30                                                  |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c |                                                                             |
0.00/0.01	c |  Problem Type:          Decision                                            |
0.00/0.01	c |  Objective Function:    None                                                |
0.00/0.01	c |                                                                             |
0.00/0.01	c ===============================================================================
1799.66/1800.00	c ===============================================================================
1799.66/1800.00	c Wall Clock Time: 1800.00 s
1799.66/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-3726562-1338655589/watcher-3726562-1338655589 -o /tmp/evaluation-result-3726562-1338655589/solver-3726562-1338655589 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726562-1338655589.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

[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31524
/proc/meminfo: memFree=28971372/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/31524/stat : 31524 (runsolver) R 31522 28704 28704 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 1 0 331684417 12095488 49 33554432000 4194304 5436572 140733223556608 140733223552608 4268383 0 0 4096 24578 0 0 0 17 7 0 0 0 0 0
/proc/31524/statm: 2953 49 29 304 0 2645 0


[startup+0.03478 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31524
/proc/meminfo: memFree=28971372/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=83848 CPUtime=0.02 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 998 0 0 0 2 0 0 0 20 0 2 0 331684417 85860352 947 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 20962 947 186 433 0 20526 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 83848

[startup+0.100147 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31524
/proc/meminfo: memFree=28971372/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=83848 CPUtime=0.09 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 1189 0 0 0 9 0 0 0 20 0 2 0 331684417 85860352 1138 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 20962 1138 186 433 0 20526 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83848

[startup+0.3001 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31524
/proc/meminfo: memFree=28971372/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=83848 CPUtime=0.29 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 1681 0 0 0 29 0 0 0 20 0 2 0 331684417 85860352 1631 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 20962 1631 186 433 0 20526 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83848

[startup+0.7001 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 31524
/proc/meminfo: memFree=28971372/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=83848 CPUtime=0.68 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 2535 0 0 0 68 0 0 0 20 0 2 0 331684417 85860352 2484 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 20962 2484 186 433 0 20526 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 83848

[startup+1.50012 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31526
/proc/meminfo: memFree=28958700/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=83992 CPUtime=1.48 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 4226 0 0 0 148 0 0 0 20 0 2 0 331684417 86007808 4175 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 20998 4175 186 433 0 20562 0
[pid=31524/tid=31526] ppid=31522 vsize=83992 CPUtime=1.47 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 3455 0 0 0 147 0 0 0 20 0 2 0 331684417 86007808 4175 33554432000 4194304 5964478 140735204190016 140673560844088 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83992

[startup+3.10013 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31526
/proc/meminfo: memFree=28953236/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=83992 CPUtime=3.08 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 4605 0 0 0 308 0 0 0 20 0 2 0 331684417 86007808 4554 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 20998 4554 186 433 0 20562 0
[pid=31524/tid=31526] ppid=31522 vsize=83992 CPUtime=3.07 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 3834 0 0 0 307 0 0 0 20 0 2 0 331684417 86007808 4554 33554432000 4194304 5964478 140735204190016 140673560844280 4381729 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83992

[startup+6.30013 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31526
/proc/meminfo: memFree=28946972/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=84064 CPUtime=6.29 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 7335 0 0 0 627 2 0 0 20 0 2 0 331684417 86081536 7284 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 21016 7284 186 433 0 20580 0
[pid=31524/tid=31526] ppid=31522 vsize=84064 CPUtime=6.26 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 6564 0 0 0 624 2 0 0 20 0 2 0 331684417 86081536 7284 33554432000 4194304 5964478 140735204190016 140673560844328 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) 84064

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31526
/proc/meminfo: memFree=28923204/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=84172 CPUtime=12.69 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 12504 0 0 0 1265 4 0 0 20 0 2 0 331684417 86192128 12453 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 21043 12453 186 433 0 20607 0
[pid=31524/tid=31526] ppid=31522 vsize=84172 CPUtime=12.64 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 11733 0 0 0 1261 3 0 0 20 0 2 0 331684417 86192128 12453 33554432000 4194304 5964478 140735204190016 140673560844088 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) 84172

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31526
/proc/meminfo: memFree=28859076/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=149868 CPUtime=25.48 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 17278 0 0 0 2543 5 0 0 20 0 2 0 331684417 153464832 17227 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 37467 17227 186 433 0 37031 0
[pid=31524/tid=31526] ppid=31522 vsize=149868 CPUtime=25.41 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 16507 0 0 0 2536 5 0 0 20 0 2 0 331684417 153464832 17227 33554432000 4194304 5964478 140735204190016 140673560844280 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 149868

[startup+51.1001 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31526
/proc/meminfo: memFree=28809060/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=149868 CPUtime=51.07 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 26222 0 0 0 5100 7 0 0 20 0 2 0 331684417 153464832 26171 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 37467 26171 186 433 0 37031 0
[pid=31524/tid=31526] ppid=31522 vsize=149868 CPUtime=50.94 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 25451 0 0 0 5087 7 0 0 20 0 2 0 331684417 153464832 26171 33554432000 4194304 5964478 140735204190016 140673560844280 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 149868

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31526
/proc/meminfo: memFree=28663540/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=150396 CPUtime=102.27 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 30536 0 0 0 10219 8 0 0 20 0 2 0 331684417 154005504 30485 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 37599 30485 186 433 0 37163 0
[pid=31524/tid=31526] ppid=31522 vsize=150396 CPUtime=102.02 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 29765 0 0 0 10193 9 0 0 20 0 2 0 331684417 154005504 30485 33554432000 4194304 5964478 140735204190016 140673560844280 4381702 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 150396

[startup+162.3 s]
/proc/loadavg: 2.05 2.01 1.95 3/179 31527
/proc/meminfo: memFree=28558296/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=215932 CPUtime=162.26 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 44358 0 0 0 16212 14 0 0 20 0 2 0 331684417 221114368 44307 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 53983 44307 186 433 0 53547 0
[pid=31524/tid=31526] ppid=31522 vsize=215932 CPUtime=161.86 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 43587 0 0 0 16170 16 0 0 20 0 2 0 331684417 221114368 44307 33554432000 4194304 5964478 140735204190016 140673560844280 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 215932

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/180 31530
/proc/meminfo: memFree=28540700/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=216076 CPUtime=222.24 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 48875 0 0 0 22208 16 0 0 20 0 2 0 331684417 221261824 48824 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 54019 48824 186 433 0 53583 0
[pid=31524/tid=31526] ppid=31522 vsize=216076 CPUtime=221.71 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 48104 0 0 0 22152 19 0 0 20 0 2 0 331684417 221261824 48824 33554432000 4194304 5964478 140735204190016 140673560844280 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 216076

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 31530
/proc/meminfo: memFree=28491720/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=282368 CPUtime=282.24 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 61210 0 0 0 28200 24 0 0 20 0 2 0 331684417 289144832 61166 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 70592 61166 186 433 0 70156 0
[pid=31524/tid=31526] ppid=31522 vsize=282368 CPUtime=281.55 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 60439 0 0 0 28128 27 0 0 20 0 2 0 331684417 289144832 61166 33554432000 4194304 5964478 140735204190016 140673560844280 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 282368

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 31530
/proc/meminfo: memFree=28481084/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=283664 CPUtime=342.22 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 63650 0 0 0 34196 26 0 0 20 0 2 0 331684417 290471936 63703 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 70916 63703 186 433 0 70480 0
[pid=31524/tid=31526] ppid=31522 vsize=283664 CPUtime=341.38 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 62879 0 0 0 34107 31 0 0 20 0 2 0 331684417 290471936 63703 33554432000 4194304 5964478 140735204190016 140673560844088 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 283664

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/179 31530
/proc/meminfo: memFree=28471812/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=283664 CPUtime=402.2 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 65789 0 0 0 40191 29 0 0 20 0 2 0 331684417 290471936 65870 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 70916 65870 186 433 0 70480 0
[pid=31524/tid=31526] ppid=31522 vsize=283664 CPUtime=401.22 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 65018 0 0 0 40088 34 0 0 20 0 2 0 331684417 290471936 65870 33554432000 4194304 5964478 140735204190016 140673560844280 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 283664

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 31531
/proc/meminfo: memFree=28428384/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=283808 CPUtime=462.18 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 66767 0 0 0 46189 29 0 0 20 0 2 0 331684417 290619392 68084 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0

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


[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 31564
/proc/meminfo: memFree=27971744/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=354256 CPUtime=1422.04 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 80202 0 0 0 142163 41 0 0 20 0 2 0 331684417 362758144 80693 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 88564 80693 186 433 0 88128 0
[pid=31524/tid=31526] ppid=31522 vsize=354256 CPUtime=1418.61 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 79431 0 0 0 141799 62 0 0 20 0 2 0 331684417 362758144 80693 33554432000 4194304 5964478 140735204190016 140673560844280 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 354256

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 31564
/proc/meminfo: memFree=27928288/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=354256 CPUtime=1482.02 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 80202 0 0 0 148161 41 0 0 20 0 2 0 331684417 362758144 80693 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 88564 80693 186 433 0 88128 0
[pid=31524/tid=31526] ppid=31522 vsize=354256 CPUtime=1478.45 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 79431 0 0 0 147782 63 0 0 20 0 2 0 331684417 362758144 80693 33554432000 4194304 5964478 140735204190016 140673560844280 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 354256

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 31603
/proc/meminfo: memFree=28887116/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=354256 CPUtime=1542 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 80223 0 0 0 154159 41 0 0 20 0 2 0 331684417 362758144 80720 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 88564 80720 186 433 0 88128 0
[pid=31524/tid=31526] ppid=31522 vsize=354256 CPUtime=1538.28 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 79452 0 0 0 153764 64 0 0 20 0 2 0 331684417 362758144 80720 33554432000 4194304 5964478 140735204190016 140673560844280 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 354256

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 31603
/proc/meminfo: memFree=28866156/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=354256 CPUtime=1601.99 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 80226 0 0 0 160158 41 0 0 20 0 2 0 331684417 362758144 80722 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 88564 80722 186 433 0 88128 0
[pid=31524/tid=31526] ppid=31522 vsize=354256 CPUtime=1598.13 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 79455 0 0 0 159748 65 0 0 20 0 2 0 331684417 362758144 80722 33554432000 4194304 5964478 140735204190016 140673560844280 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 354256

[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 1.96 3/179 31604
/proc/meminfo: memFree=28817796/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=354256 CPUtime=1661.98 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 80226 0 0 0 166157 41 0 0 20 0 2 0 331684417 362758144 80722 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 88564 80722 186 433 0 88128 0
[pid=31524/tid=31526] ppid=31522 vsize=354256 CPUtime=1657.97 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 79455 0 0 0 165731 66 0 0 20 0 2 0 331684417 362758144 80722 33554432000 4194304 5964478 140735204190016 140673560844280 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 354256

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/179 31604
/proc/meminfo: memFree=28788684/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=354256 CPUtime=1721.97 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 80227 0 0 0 172156 41 0 0 20 0 2 0 331684417 362758144 80723 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 88564 80723 186 433 0 88128 0
[pid=31524/tid=31526] ppid=31522 vsize=354256 CPUtime=1717.82 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 79456 0 0 0 171715 67 0 0 20 0 2 0 331684417 362758144 80723 33554432000 4194304 5964478 140735204190016 140673560844280 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 354256

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/179 31604
/proc/meminfo: memFree=28777244/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=354256 CPUtime=1781.97 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 80227 0 0 0 178156 41 0 0 20 0 2 0 331684417 362758144 80723 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 88564 80723 186 433 0 88128 0
[pid=31524/tid=31526] ppid=31522 vsize=354256 CPUtime=1777.67 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 79456 0 0 0 177699 68 0 0 20 0 2 0 331684417 362758144 80723 33554432000 4194304 5964478 140735204190016 140673560844280 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 354256

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 31604
/proc/meminfo: memFree=28761852/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=354256 CPUtime=1791.57 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 80227 0 0 0 179116 41 0 0 20 0 2 0 331684417 362758144 80723 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 88564 80723 186 433 0 88128 0
[pid=31524/tid=31526] ppid=31522 vsize=354256 CPUtime=1787.25 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 79456 0 0 0 178657 68 0 0 20 0 2 0 331684417 362758144 80723 33554432000 4194304 5964478 140735204190016 140673560844280 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (KiB) 354256

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 31604
/proc/meminfo: memFree=28757140/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=354256 CPUtime=1794.77 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 80227 0 0 0 179436 41 0 0 20 0 2 0 331684417 362758144 80723 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 88564 80723 186 433 0 88128 0
[pid=31524/tid=31526] ppid=31522 vsize=354256 CPUtime=1790.44 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 79456 0 0 0 178976 68 0 0 20 0 2 0 331684417 362758144 80723 33554432000 4194304 5964478 140735204190016 140673560844280 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.77
Current children cumulated vsize (KiB) 354256

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 31604
/proc/meminfo: memFree=28754164/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=354256 CPUtime=1797.96 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 80227 0 0 0 179755 41 0 0 20 0 2 0 331684417 362758144 80723 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 88564 80723 186 433 0 88128 0
[pid=31524/tid=31526] ppid=31522 vsize=354256 CPUtime=1793.62 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 79456 0 0 0 179294 68 0 0 20 0 2 0 331684417 362758144 80723 33554432000 4194304 5964478 140735204190016 140673560844280 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 354256

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 31604
/proc/meminfo: memFree=28752552/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=354256 CPUtime=1798.76 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 80227 0 0 0 179835 41 0 0 20 0 2 0 331684417 362758144 80723 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 88564 80723 186 433 0 88128 0
[pid=31524/tid=31526] ppid=31522 vsize=354256 CPUtime=1794.42 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 79456 0 0 0 179374 68 0 0 20 0 2 0 331684417 362758144 80723 33554432000 4194304 5964478 140735204190016 140673560844280 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.76
Current children cumulated vsize (KiB) 354256

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 31604
/proc/meminfo: memFree=28750940/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=354256 CPUtime=1799.17 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 80227 0 0 0 179876 41 0 0 20 0 2 0 331684417 362758144 80723 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 88564 80723 186 433 0 88128 0
[pid=31524/tid=31526] ppid=31522 vsize=354256 CPUtime=1794.83 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 79456 0 0 0 179415 68 0 0 20 0 2 0 331684417 362758144 80723 33554432000 4194304 5964478 140735204190016 140673560844280 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.17
Current children cumulated vsize (KiB) 354256

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 31604
/proc/meminfo: memFree=28750940/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=354256 CPUtime=1799.56 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 80227 0 0 0 179915 41 0 0 20 0 2 0 331684417 362758144 80723 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 88564 80723 186 433 0 88128 0
[pid=31524/tid=31526] ppid=31522 vsize=354256 CPUtime=1795.22 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 79456 0 0 0 179454 68 0 0 20 0 2 0 331684417 362758144 80723 33554432000 4194304 5964478 140735204190016 140673560844280 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 354256

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 31604
/proc/meminfo: memFree=28750940/32873648 swapFree=7116/7116
[pid=31524] ppid=31522 vsize=354256 CPUtime=1799.66 cores=1,3,5,7
/proc/31524/stat : 31524 (pwbo2.02) S 31522 31524 28704 0 -1 4202496 80227 0 0 0 179925 41 0 0 20 0 2 0 331684417 362758144 80723 33554432000 4194304 5964478 140735204190016 140735204189536 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31524/statm: 88564 80723 186 433 0 88128 0
[pid=31524/tid=31526] ppid=31522 vsize=354256 CPUtime=1795.32 cores=1,3,5,7
/proc/31524/task/31526/stat : 31526 (pwbo2.02) R 31522 31524 28704 0 -1 4202560 79456 0 0 0 179464 68 0 0 20 0 2 0 331684417 362758144 80723 33554432000 4194304 5964478 140735204190016 140673560844280 4400056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (KiB) 354256

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31524 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=658170
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=692894
# CPU time returned by wait4() is 1795.35
# while last known CPU time is 1799.66
#
# 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.66
CPU user time (s): 1799.25
CPU system time (s): 0.41
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 354256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.66
system time used= 0.692894
maximum resident set size= 322904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80230
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= 77
involuntary context switches= 1849

runsolver used 2.72159 second user time and 7.10092 second system time

The end

Launcher Data 

Begin job on node123 at 2012-06-02 18:46:29
IDJOB=3726562
IDBENCH=2583
IDSOLVER=2310
FILE ID=node123/3726562-1338655589
RUNJOBID= node123-1338651688-31051
PBS_JOBID= 14636457
Free space on /tmp= 71312 MiB

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

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

MD5SUM BENCH= 583fb36c9cf948cc03f361dd87435bdd
RANDOM SEED=2041878807

node123.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.217
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.43
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.217
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.217
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		: 2667.217
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		: 2667.217
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.217
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.217
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.217
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:       32873648 kB
MemFree:        28971364 kB
Buffers:          476384 kB
Cached:          2165516 kB
SwapCached:         2272 kB
Active:          1159312 kB
Inactive:        1854092 kB
Active(anon):     366692 kB
Inactive(anon):     5516 kB
Active(file):     792620 kB
Inactive(file):  1848576 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100312 kB
Dirty:              5464 kB
Writeback:             0 kB
AnonPages:        499984 kB
Mapped:            11000 kB
Shmem:                 0 kB
Slab:             747712 kB
SReclaimable:     192012 kB
SUnreclaim:       555700 kB
KernelStack:        1488 kB
PageTables:         4648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     145812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71308 MiB
End job on node123 at 2012-06-02 19:16:30