Trace number 3704945

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
wbo 1.7? 1799.61 1800

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K90.opb
MD5SUMa811647d9332337c7e73474eee26f5b9
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6120
Total number of constraints6302
Number of constraints which are clauses6212
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint90
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 91
Number of bits of the biggest sum of numbers7
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 |   wbo:                    1.7 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3704945-1338113290.opb.
0.00/0.00	c Instance file HOME/instance-3704945-1338113290.opb
0.00/0.00	c File size is 391408 bytes.
0.01/0.03	c Highest Coefficient sum: 91
0.01/0.03	c ============================[ Problem Statistics ]=============================
0.01/0.03	c |                                                                             |
0.01/0.03	c |  Parsing time:          0.03         s                                      |
0.01/0.03	c |  Number Variables:      6120                                                |
0.01/0.03	c |  Number Clauses:        6212                                                |
0.01/0.03	c |  Number Cardinality:    90                                                  |
0.01/0.03	c |  Number PB Constraints: 0                                                   |
0.01/0.03	c |                                                                             |
0.01/0.03	c |  Problem Type:          Decision                                            |
0.01/0.03	c |  Objective Function:    None                                                |
0.01/0.03	c |                                                                             |
0.01/0.03	c ===============================================================================
1799.61/1800.00	c ===============================================================================
1799.61/1800.00	c Wall Clock Time: 1800.00 s
1799.61/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-3704945-1338113290/watcher-3704945-1338113290 -o /tmp/evaluation-result-3704945-1338113290/solver-3704945-1338113290 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704945-1338113290.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.07 2.02 2.00 2/177 19302
/proc/meminfo: memFree=30364644/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=4660 CPUtime=0 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) R 19300 19302 16265 0 -1 4202496 563 0 0 0 0 0 0 0 20 0 1 0 277453385 4771840 515 33554432000 4194304 5963574 140734476224720 140735202679816 4394942 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 1165 515 162 432 0 634 0

[startup+0.0192469 s]
/proc/loadavg: 2.07 2.02 2.00 2/177 19302
/proc/meminfo: memFree=30364644/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=5392 CPUtime=0.01 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) R 19300 19302 16265 0 -1 4202496 769 0 0 0 1 0 0 0 20 0 1 0 277453385 5521408 721 33554432000 4194304 5963574 140734476224720 140735202679816 5159032 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 1348 721 204 432 0 817 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5392

[startup+0.100271 s]
/proc/loadavg: 2.07 2.02 2.00 2/177 19302
/proc/meminfo: memFree=30364644/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=86376 CPUtime=0.09 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 2430 0 0 0 9 0 0 0 20 0 2 0 277453385 88449024 2185 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 21594 2185 187 432 0 21159 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 86376

[startup+0.300187 s]
/proc/loadavg: 2.07 2.02 2.00 2/177 19302
/proc/meminfo: memFree=30364644/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=86376 CPUtime=0.29 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 2653 0 0 0 29 0 0 0 20 0 2 0 277453385 88449024 2408 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 21594 2408 187 432 0 21159 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86376

[startup+0.700187 s]
/proc/loadavg: 2.07 2.02 2.00 2/177 19302
/proc/meminfo: memFree=30364644/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=86376 CPUtime=0.69 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 3113 0 0 0 69 0 0 0 20 0 2 0 277453385 88449024 2868 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 21594 2868 187 432 0 21159 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86376

[startup+1.50027 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 19304
/proc/meminfo: memFree=30345532/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=86376 CPUtime=1.49 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 4102 0 0 0 148 1 0 0 20 0 2 0 277453385 88449024 3857 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 21594 3857 187 432 0 21159 0
[pid=19302/tid=19304] ppid=19300 vsize=86376 CPUtime=1.45 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 2662 0 0 0 145 0 0 0 20 0 2 0 277453388 88449024 3857 33554432000 4194304 5963574 140734476224720 140206763554856 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86376

[startup+3.10027 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 19304
/proc/meminfo: memFree=30331024/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=86376 CPUtime=3.09 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 4942 0 0 0 308 1 0 0 20 0 2 0 277453385 88449024 4697 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 21594 4697 187 432 0 21159 0
[pid=19302/tid=19304] ppid=19300 vsize=86376 CPUtime=3.04 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 3502 0 0 0 303 1 0 0 20 0 2 0 277453388 88449024 4697 33554432000 4194304 5963574 140734476224720 140206763554808 4381544 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86376

[startup+6.30027 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 19304
/proc/meminfo: memFree=30305108/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=86376 CPUtime=6.29 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 6747 0 0 0 628 1 0 0 20 0 2 0 277453385 88449024 6502 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 21594 6502 187 432 0 21159 0
[pid=19302/tid=19304] ppid=19300 vsize=86376 CPUtime=6.23 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 5307 0 0 0 622 1 0 0 20 0 2 0 277453388 88449024 6502 33554432000 4194304 5963574 140734476224720 140206763554856 4399344 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86376

[startup+12.7003 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 19304
/proc/meminfo: memFree=30243248/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=86376 CPUtime=12.69 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 9510 0 0 0 1267 2 0 0 20 0 2 0 277453385 88449024 9265 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 21594 9265 187 432 0 21159 0
[pid=19302/tid=19304] ppid=19300 vsize=86376 CPUtime=12.62 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 8070 0 0 0 1261 1 0 0 20 0 2 0 277453388 88449024 9265 33554432000 4194304 5963574 140734476224720 140206763554808 4387764 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86376

[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 19304
/proc/meminfo: memFree=30223872/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=86700 CPUtime=25.48 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 14048 0 0 0 2545 3 0 0 20 0 2 0 277453385 88780800 13803 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 21675 13803 187 432 0 21240 0
[pid=19302/tid=19304] ppid=19300 vsize=86700 CPUtime=25.39 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 12608 0 0 0 2536 3 0 0 20 0 2 0 277453388 88780800 13803 33554432000 4194304 5963574 140734476224720 140206763554808 4403200 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86700

[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 19304
/proc/meminfo: memFree=30195444/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=152396 CPUtime=51.08 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 21098 0 0 0 5102 6 0 0 20 0 2 0 277453385 156053504 20853 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 38099 20853 187 432 0 37664 0
[pid=19302/tid=19304] ppid=19300 vsize=152396 CPUtime=50.92 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 19658 0 0 0 5086 6 0 0 20 0 2 0 277453388 156053504 20853 33554432000 4194304 5963574 140734476224720 140206763554808 4403263 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 152396

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 19304
/proc/meminfo: memFree=30169204/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=152636 CPUtime=102.28 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 27539 0 0 0 10220 8 0 0 20 0 2 0 277453385 156299264 27294 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 38159 27294 187 432 0 37724 0
[pid=19302/tid=19304] ppid=19300 vsize=152636 CPUtime=102 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 26099 0 0 0 10191 9 0 0 20 0 2 0 277453388 156299264 27294 33554432000 4194304 5963574 140734476224720 140206763554808 4399614 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 152636

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19307
/proc/meminfo: memFree=30102904/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=218172 CPUtime=162.26 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 35489 0 0 0 16215 11 0 0 20 0 2 0 277453385 223408128 35244 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 54543 35244 187 432 0 54108 0
[pid=19302/tid=19304] ppid=19300 vsize=218172 CPUtime=161.84 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 34049 0 0 0 16171 13 0 0 20 0 2 0 277453388 223408128 35244 33554432000 4194304 5963574 140734476224720 140206763554616 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 218172

[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 19307
/proc/meminfo: memFree=29949308/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=218172 CPUtime=222.22 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 48890 0 0 0 22203 19 0 0 20 0 2 0 277453385 223408128 48754 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 54543 48754 187 432 0 54108 0
[pid=19302/tid=19304] ppid=19300 vsize=218172 CPUtime=221.65 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 47450 0 0 0 22143 22 0 0 20 0 2 0 277453388 223408128 48754 33554432000 4194304 5963574 140734476224720 140206763554808 4399627 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 218172

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 19308
/proc/meminfo: memFree=29803140/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=283708 CPUtime=282.17 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 51395 0 0 0 28197 20 0 0 20 0 2 0 277453385 290516992 51294 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 70927 51294 187 432 0 70492 0
[pid=19302/tid=19304] ppid=19300 vsize=283708 CPUtime=281.46 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 49955 0 0 0 28123 23 0 0 20 0 2 0 277453388 290516992 51294 33554432000 4194304 5963574 140734476224720 140206763554808 4399971 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 283708

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19308
/proc/meminfo: memFree=29708040/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=283708 CPUtime=342.16 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 51398 0 0 0 34196 20 0 0 20 0 2 0 277453385 290516992 52194 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 70927 52194 187 432 0 70492 0
[pid=19302/tid=19304] ppid=19300 vsize=283708 CPUtime=341.3 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 49958 0 0 0 34106 24 0 0 20 0 2 0 277453388 290516992 52194 33554432000 4194304 5963574 140734476224720 140206763554808 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 283708

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19308
/proc/meminfo: memFree=29701124/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=283708 CPUtime=402.15 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 53010 0 0 0 40194 21 0 0 20 0 2 0 277453385 290516992 53806 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 70927 53806 187 432 0 70492 0
[pid=19302/tid=19304] ppid=19300 vsize=283708 CPUtime=401.15 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 51570 0 0 0 40089 26 0 0 20 0 2 0 277453388 290516992 53806 33554432000 4194304 5963574 140734476224720 140206763554808 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 283708

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19308
/proc/meminfo: memFree=29697812/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=283708 CPUtime=462.14 cores=0,2,4,6

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


[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 19317
/proc/meminfo: memFree=28807096/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=353328 CPUtime=1421.98 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 75907 0 0 0 142161 37 0 0 20 0 2 0 277453385 361807872 76831 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 88332 76831 187 432 0 87897 0
[pid=19302/tid=19304] ppid=19300 vsize=353328 CPUtime=1418.53 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 74467 0 0 0 141795 58 0 0 20 0 2 0 277453388 361807872 76831 33554432000 4194304 5963574 140734476224720 140206763554616 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 353328

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 19317
/proc/meminfo: memFree=28805212/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=353328 CPUtime=1481.96 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 76078 0 0 0 148159 37 0 0 20 0 2 0 277453385 361807872 77148 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 88332 77148 187 432 0 87897 0
[pid=19302/tid=19304] ppid=19300 vsize=353328 CPUtime=1478.36 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 74638 0 0 0 147777 59 0 0 20 0 2 0 277453388 361807872 77148 33554432000 4194304 5963574 140734476224720 140206763554680 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 353328

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19318
/proc/meminfo: memFree=28804392/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=353652 CPUtime=1541.95 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 76144 0 0 0 154158 37 0 0 20 0 2 0 277453385 362139648 77372 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 88413 77372 187 432 0 87978 0
[pid=19302/tid=19304] ppid=19300 vsize=353652 CPUtime=1538.21 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 74704 0 0 0 153761 60 0 0 20 0 2 0 277453388 362139648 77372 33554432000 4194304 5963574 140734476224720 140206763554616 4399500 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 353652

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19318
/proc/meminfo: memFree=28750576/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=353652 CPUtime=1601.94 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 76225 0 0 0 160157 37 0 0 20 0 2 0 277453385 362139648 77453 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 88413 77453 187 432 0 87978 0
[pid=19302/tid=19304] ppid=19300 vsize=353652 CPUtime=1598.05 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 74785 0 0 0 159744 61 0 0 20 0 2 0 277453388 362139648 77453 33554432000 4194304 5963574 140734476224720 140206763554616 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 353652

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19319
/proc/meminfo: memFree=28682740/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=354948 CPUtime=1661.93 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 76525 0 0 0 166156 37 0 0 20 0 2 0 277453385 363466752 77753 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 88737 77753 187 432 0 88302 0
[pid=19302/tid=19304] ppid=19300 vsize=354948 CPUtime=1657.9 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 75085 0 0 0 165728 62 0 0 20 0 2 0 277453388 363466752 77753 33554432000 4194304 5963574 140734476224720 140206763554616 4399614 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 354948

[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 19319
/proc/meminfo: memFree=28597176/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=356568 CPUtime=1721.93 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 80167 0 0 0 172152 41 0 0 20 0 2 0 277453385 365125632 81369 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 89142 81369 187 432 0 88707 0
[pid=19302/tid=19304] ppid=19300 vsize=356568 CPUtime=1717.75 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 78727 0 0 0 171709 66 0 0 20 0 2 0 277453388 365125632 81369 33554432000 4194304 5963574 140734476224720 140206763554616 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 356568

[startup+1782.3 s]
/proc/loadavg: 1.98 2.01 2.00 3/179 19358
/proc/meminfo: memFree=30181260/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=358828 CPUtime=1781.91 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 82282 0 0 0 178149 42 0 0 20 0 2 0 277453385 367439872 83483 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 89707 83483 187 432 0 89272 0
[pid=19302/tid=19304] ppid=19300 vsize=358828 CPUtime=1777.59 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 80842 0 0 0 177690 69 0 0 20 0 2 0 277453388 367439872 83483 33554432000 4194304 5963574 140734476224720 140206763554808 4399592 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 358828

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

[startup+1791.91 s]
/proc/loadavg: 1.98 2.01 2.00 3/178 19358
/proc/meminfo: memFree=30169124/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=358828 CPUtime=1791.51 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 82282 0 0 0 179109 42 0 0 20 0 2 0 277453385 367439872 83483 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 89707 83483 187 432 0 89272 0
[pid=19302/tid=19304] ppid=19300 vsize=358828 CPUtime=1787.18 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 80842 0 0 0 178649 69 0 0 20 0 2 0 277453388 367439872 83483 33554432000 4194304 5963574 140734476224720 140206763554808 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (KiB) 358828

[startup+1795.1 s]
/proc/loadavg: 1.98 2.01 2.00 3/179 19359
/proc/meminfo: memFree=30164652/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=358828 CPUtime=1794.71 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 82282 0 0 0 179429 42 0 0 20 0 2 0 277453385 367439872 83483 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 89707 83483 187 432 0 89272 0
[pid=19302/tid=19304] ppid=19300 vsize=358828 CPUtime=1790.37 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 80842 0 0 0 178968 69 0 0 20 0 2 0 277453388 367439872 83483 33554432000 4194304 5963574 140734476224720 140206763554808 4399627 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.71
Current children cumulated vsize (KiB) 358828

[startup+1798.3 s]
/proc/loadavg: 1.98 2.01 2.00 3/179 19359
/proc/meminfo: memFree=30159196/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=358828 CPUtime=1797.91 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 82282 0 0 0 179749 42 0 0 20 0 2 0 277453385 367439872 83483 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 89707 83483 187 432 0 89272 0
[pid=19302/tid=19304] ppid=19300 vsize=358828 CPUtime=1793.55 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 80842 0 0 0 179286 69 0 0 20 0 2 0 277453388 367439872 83483 33554432000 4194304 5963574 140734476224720 140206763554808 4381822 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 358828

[startup+1799.1 s]
/proc/loadavg: 1.98 2.01 2.00 3/179 19359
/proc/meminfo: memFree=30155848/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=358828 CPUtime=1798.71 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 82282 0 0 0 179829 42 0 0 20 0 2 0 277453385 367439872 83483 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 89707 83483 187 432 0 89272 0
[pid=19302/tid=19304] ppid=19300 vsize=358828 CPUtime=1794.35 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 80842 0 0 0 179366 69 0 0 20 0 2 0 277453388 367439872 83483 33554432000 4194304 5963574 140734476224720 140206763554808 4399592 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 358828

[startup+1799.5 s]
/proc/loadavg: 1.98 2.01 2.00 3/179 19359
/proc/meminfo: memFree=30153244/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=358828 CPUtime=1799.11 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 82282 0 0 0 179869 42 0 0 20 0 2 0 277453385 367439872 83483 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 89707 83483 187 432 0 89272 0
[pid=19302/tid=19304] ppid=19300 vsize=358828 CPUtime=1794.76 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 80842 0 0 0 179407 69 0 0 20 0 2 0 277453388 367439872 83483 33554432000 4194304 5963574 140734476224720 140206763554808 4381137 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.11
Current children cumulated vsize (KiB) 358828

[startup+1799.9 s]
/proc/loadavg: 1.98 2.01 2.00 3/179 19359
/proc/meminfo: memFree=30153244/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=358828 CPUtime=1799.51 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 82282 0 0 0 179909 42 0 0 20 0 2 0 277453385 367439872 83483 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 89707 83483 187 432 0 89272 0
[pid=19302/tid=19304] ppid=19300 vsize=358828 CPUtime=1795.15 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 80842 0 0 0 179446 69 0 0 20 0 2 0 277453388 367439872 83483 33554432000 4194304 5963574 140734476224720 140206763554808 4399448 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 358828

[startup+1800 s]
/proc/loadavg: 1.98 2.01 2.00 3/179 19359
/proc/meminfo: memFree=30153244/32873844 swapFree=7388/7388
[pid=19302] ppid=19300 vsize=358828 CPUtime=1799.61 cores=0,2,4,6
/proc/19302/stat : 19302 (wbo1.7) S 19300 19302 16265 0 -1 4202496 82282 0 0 0 179919 42 0 0 20 0 2 0 277453385 367439872 83483 33554432000 4194304 5963574 140734476224720 140734476224240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19302/statm: 89707 83483 187 432 0 89272 0
[pid=19302/tid=19304] ppid=19300 vsize=358828 CPUtime=1795.25 cores=0,2,4,6
/proc/19302/task/19304/stat : 19304 (wbo1.7) R 19300 19302 16265 0 -1 4202560 80842 0 0 0 179456 69 0 0 20 0 2 0 277453388 367439872 83483 33554432000 4194304 5963574 140734476224720 140206763554808 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (KiB) 358828

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19302 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=598179
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=705892
# CPU time returned by wait4() is 1795.3
# while last known CPU time is 1799.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800
CPU time (s): 1799.61
CPU user time (s): 1799.19
CPU system time (s): 0.42
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 358828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.6
system time used= 0.705892
maximum resident set size= 333936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82283
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= 148
involuntary context switches= 1847

runsolver used 2.92656 second user time and 6.89695 second system time

The end

Launcher Data

Begin job on node147 at 2012-05-27 12:08:10
IDJOB=3704945
IDBENCH=90110
IDSOLVER=2283
FILE ID=node147/3704945-1338113290
RUNJOBID= node147-1338087982-16281
PBS_JOBID= 14624451
Free space on /tmp= 71640 MiB

SOLVER NAME= wbo 1.7
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb
COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704945-1338113290/watcher-3704945-1338113290 -o /tmp/evaluation-result-3704945-1338113290/solver-3704945-1338113290 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3704945-1338113290.opb

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

MD5SUM BENCH= a811647d9332337c7e73474eee26f5b9
RANDOM SEED=1984825757

node147.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.951
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.90
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.951
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.951
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.87
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.951
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.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
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:        30365024 kB
Buffers:          330896 kB
Cached:          1207112 kB
SwapCached:         5068 kB
Active:           742804 kB
Inactive:         946984 kB
Active(anon):     146364 kB
Inactive(anon):     7584 kB
Active(file):     596440 kB
Inactive(file):   939400 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67098668 kB
Dirty:             42456 kB
Writeback:             4 kB
AnonPages:        155280 kB
Mapped:            10460 kB
Shmem:                 0 kB
Slab:             678708 kB
SReclaimable:     119788 kB
SUnreclaim:       558920 kB
KernelStack:        1472 kB
PageTables:         3940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     163960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71664 MiB
End job on node147 at 2012-05-27 12:38:10