Trace number 3500595

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pwbo 1.1? (TO) 1800.07 900.038

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx30.opb
MD5SUMa013c9210a7cfe037db9246041ce6240
Bench CategoryOPT-SMALLINT-LIN (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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables774
Total number of constraints994
Number of constraints which are clauses771
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints192
Minimum length of a constraint2
Maximum length of a constraint192
Number of terms in the objective function 3
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3
Number of bits of the sum of numbers in the objective function 2
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 380
Number of bits of the biggest sum of numbers9
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 pwbo 1.1 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3500595-1307996916.opb.
0.00/0.00	c Instance file HOME/instance-3500595-1307996916.opb
0.00/0.00	c File size is 72189 bytes.
0.00/0.00	c Highest Coefficient sum: 380
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      774                                                 |
0.00/0.00	c |  Number Clauses:        801                                                 |
0.00/0.00	c |  Number Cardinality:    31                                                  |
0.00/0.00	c |  Number PB Constraints: 192                                                 |
0.00/0.01	c init lb 0
0.00/0.01	c init ub 4
1800.03/900.01	s UNKNOWN
1800.03/900.01	c Memory used           : 659.36 MB
1800.03/900.01	c CPU time              : 1785.99 s

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 /var/tmp/evaluation-result-3500595-1307996916/watcher-3500595-1307996916 -o /var/tmp/evaluation-result-3500595-1307996916/solver-3500595-1307996916 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500595-1307996916.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: 1.46 2.74 3.42 4/179 12947
/proc/meminfo: memFree=8271512/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=2452 CPUtime=0 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) R 12945 12947 11319 0 -1 4202496 388 0 0 0 0 0 0 0 23 0 1 0 989922361 2510848 340 33554432000 4194304 5714118 140733862724544 18446744073709551615 5013131 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12947/statm: 613 340 161 372 0 220 0

[startup+0.00599104 s]
/proc/loadavg: 1.46 2.74 3.42 4/179 12947
/proc/meminfo: memFree=8271512/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=2584 CPUtime=0 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) R 12945 12947 11319 0 -1 4202496 407 0 0 0 0 0 0 0 23 0 1 0 989922361 2646016 359 33554432000 4194304 5714118 140733862724544 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12947/statm: 646 359 162 372 0 253 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2584

[startup+0.101083 s]
/proc/loadavg: 1.46 2.74 3.42 4/179 12947
/proc/meminfo: memFree=8271512/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=135880 CPUtime=0.18 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 1179 0 0 0 18 0 0 0 24 0 3 0 989922361 139141120 1113 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 33970 1113 181 372 0 33595 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135880

[startup+0.301047 s]
/proc/loadavg: 1.46 2.74 3.42 4/179 12947
/proc/meminfo: memFree=8271512/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=135880 CPUtime=0.58 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 1761 0 0 0 56 2 0 0 24 0 3 0 989922361 139141120 1695 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 33970 1695 181 372 0 33595 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 135880

[startup+0.700974 s]
/proc/loadavg: 1.46 2.74 3.42 4/179 12947
/proc/meminfo: memFree=8271512/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=135880 CPUtime=1.38 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 2665 0 0 0 133 5 0 0 24 0 3 0 989922361 139141120 2599 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 33970 2599 181 372 0 33595 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 135880

[startup+1.50084 s]
/proc/loadavg: 1.46 2.74 3.42 5/182 12950
/proc/meminfo: memFree=8258864/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=136300 CPUtime=2.98 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 3674 0 0 0 288 10 0 0 24 0 3 0 989922361 139571200 3608 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 34075 3608 181 372 0 33700 0
[pid=12947/tid=12949] ppid=12945 vsize=136300 CPUtime=1.48 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 1890 0 0 0 141 7 0 0 19 0 3 0 989922362 139571200 3608 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=136300 CPUtime=1.48 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 1160 0 0 0 146 2 0 0 25 0 3 0 989922362 139571200 3608 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 136300

[startup+3.10045 s]
/proc/loadavg: 1.66 2.76 3.43 5/182 12950
/proc/meminfo: memFree=8254772/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=136440 CPUtime=6.18 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 4782 0 0 0 605 13 0 0 24 0 3 0 989922361 139714560 4716 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 34110 4716 181 372 0 33735 0
[pid=12947/tid=12949] ppid=12945 vsize=136440 CPUtime=3.08 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 2523 0 0 0 299 9 0 0 22 0 3 0 989922362 139714560 4716 33554432000 4194304 5714118 140733862724544 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=136440 CPUtime=3.08 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 1635 0 0 0 305 3 0 0 25 0 3 0 989922362 139714560 4716 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 136440

[startup+6.30089 s]
/proc/loadavg: 1.66 2.76 3.43 5/182 12950
/proc/meminfo: memFree=8233056/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=136856 CPUtime=12.58 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 6025 0 0 0 1238 20 0 0 24 0 3 0 989922361 140140544 5959 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 34214 5959 182 372 0 33839 0
[pid=12947/tid=12949] ppid=12945 vsize=136856 CPUtime=6.29 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 3457 0 0 0 614 15 0 0 25 0 3 0 989922362 140140544 5959 33554432000 4194304 5714118 140733862724544 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=136856 CPUtime=6.28 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 1944 0 0 0 623 5 0 0 25 0 3 0 989922362 140140544 5959 33554432000 4194304 5714118 140733862724544 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 136856

[startup+12.7008 s]
/proc/loadavg: 1.85 2.78 3.43 5/182 12951
/proc/meminfo: memFree=8206908/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=137428 CPUtime=25.38 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 7795 0 0 0 2509 29 0 0 24 0 3 0 989922361 140726272 7729 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 34357 7729 182 372 0 33982 0
[pid=12947/tid=12949] ppid=12945 vsize=137428 CPUtime=12.68 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 4945 0 0 0 1248 20 0 0 25 0 3 0 989922362 140726272 7729 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=137428 CPUtime=12.68 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 2226 0 0 0 1260 8 0 0 25 0 3 0 989922362 140726272 7729 33554432000 4194304 5714118 140733862724544 18446744073709551615 4299904 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 137428

[startup+25.5005 s]
/proc/loadavg: 2.32 2.84 3.44 5/182 12951
/proc/meminfo: memFree=8185080/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=138164 CPUtime=50.97 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 11657 0 0 0 5046 51 0 0 24 0 3 0 989922361 141479936 11591 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 34541 11591 182 372 0 34166 0
[pid=12947/tid=12949] ppid=12945 vsize=138164 CPUtime=25.48 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 8018 0 0 0 2512 36 0 0 25 0 3 0 989922362 141479936 11591 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=138164 CPUtime=25.48 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 3015 0 0 0 2533 15 0 0 25 0 3 0 989922362 141479936 11591 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 138164

[startup+51.1011 s]
/proc/loadavg: 2.89 2.93 3.45 5/182 12952
/proc/meminfo: memFree=8150560/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=138996 CPUtime=102.18 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 18274 0 0 0 10117 101 0 0 24 0 3 0 989922361 142331904 18208 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 34749 18208 182 372 0 34374 0
[pid=12947/tid=12949] ppid=12945 vsize=138996 CPUtime=51.08 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 13551 0 0 0 5040 68 0 0 25 0 3 0 989922362 142331904 18208 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=138996 CPUtime=51.08 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 4099 0 0 0 5076 32 0 0 25 0 3 0 989922362 142331904 18208 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 138996

[startup+102.306 s]
/proc/loadavg: 3.56 3.11 3.48 5/182 12953
/proc/meminfo: memFree=8064340/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=205628 CPUtime=204.59 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 27074 0 0 0 20273 186 0 0 24 0 3 0 989922361 210563072 27008 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 51407 27008 182 372 0 51032 0
[pid=12947/tid=12949] ppid=12945 vsize=205628 CPUtime=102.29 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 21423 0 0 0 10101 128 0 0 25 0 3 0 989922362 210563072 27008 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=205628 CPUtime=102.29 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 5027 0 0 0 10171 58 0 0 25 0 3 0 989922362 210563072 27008 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 205628

[startup+162.301 s]
/proc/loadavg: 3.82 3.26 3.51 5/182 12955
/proc/meminfo: memFree=7909548/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=207252 CPUtime=324.58 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 38738 0 0 0 32174 284 0 0 24 0 3 0 989922361 212226048 38672 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 51813 38672 182 372 0 51438 0
[pid=12947/tid=12949] ppid=12945 vsize=207252 CPUtime=162.29 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 31896 0 0 0 16032 197 0 0 25 0 3 0 989922362 212226048 38672 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=207252 CPUtime=162.28 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 6218 0 0 0 16141 87 0 0 25 0 3 0 989922362 212226048 38672 33554432000 4194304 5714118 140733862724544 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 207252

[startup+222.301 s]
/proc/loadavg: 3.97 3.41 3.54 5/182 12956
/proc/meminfo: memFree=7870696/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=274348 CPUtime=444.59 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 47070 0 0 0 44088 371 0 0 24 0 3 0 989922361 280932352 47004 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 68587 47004 182 372 0 68212 0
[pid=12947/tid=12949] ppid=12945 vsize=274348 CPUtime=222.29 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 39968 0 0 0 21974 255 0 0 25 0 3 0 989922362 280932352 47004 33554432000 4194304 5714118 140733862724544 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=274348 CPUtime=222.29 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 6478 0 0 0 22114 115 0 0 25 0 3 0 989922362 280932352 47004 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 274348

[startup+282.301 s]
/proc/loadavg: 3.99 3.51 3.57 5/182 12958
/proc/meminfo: memFree=7827116/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=341248 CPUtime=564.59 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 57744 0 0 0 55984 475 0 0 24 0 3 0 989922361 349437952 57678 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 85312 57678 182 372 0 84937 0
[pid=12947/tid=12949] ppid=12945 vsize=341248 CPUtime=282.29 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 50138 0 0 0 27899 330 0 0 25 0 3 0 989922362 349437952 57678 33554432000 4194304 5714118 140733862724544 18446744073709551615 4323034 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=341248 CPUtime=282.28 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 6982 0 0 0 28084 144 0 0 25 0 3 0 989922362 349437952 57678 33554432000 4194304 5714118 140733862724544 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 341248

[startup+342.301 s]
/proc/loadavg: 3.99 3.60 3.59 5/182 12959
/proc/meminfo: memFree=7790612/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=341680 CPUtime=684.59 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 66658 0 0 0 67901 558 0 0 24 0 3 0 989922361 349880320 66592 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 85420 66592 182 372 0 85045 0
[pid=12947/tid=12949] ppid=12945 vsize=341680 CPUtime=342.29 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 58957 0 0 0 33842 387 0 0 25 0 3 0 989922362 349880320 66592 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=341680 CPUtime=342.29 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 7077 0 0 0 34059 170 0 0 25 0 3 0 989922362 349880320 66592 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 341680

[startup+402.301 s]
/proc/loadavg: 3.99 3.67 3.61 5/182 12961
/proc/meminfo: memFree=7707464/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=408252 CPUtime=804.6 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 76557 0 0 0 79806 654 0 0 24 0 3 0 989922361 418050048 76491 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 102063 76491 182 372 0 101688 0
[pid=12947/tid=12949] ppid=12945 vsize=408252 CPUtime=402.29 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 68636 0 0 0 39773 456 0 0 25 0 3 0 989922362 418050048 76491 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=408252 CPUtime=402.29 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 7297 0 0 0 40032 197 0 0 25 0 3 0 989922362 418050048 76491 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 408252

[startup+462.301 s]
/proc/loadavg: 3.99 3.72 3.64 5/182 12963
/proc/meminfo: memFree=7650500/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=408728 CPUtime=924.6 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 85992 0 0 0 91707 753 0 0 24 0 3 0 989922361 418537472 85879 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 102182 85879 182 372 0 101807 0
[pid=12947/tid=12949] ppid=12945 vsize=408728 CPUtime=462.29 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 76941 0 0 0 45702 527 0 0 25 0 3 0 989922362 418537472 85879 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=408728 CPUtime=462.3 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 8427 0 0 0 46004 226 0 0 25 0 3 0 989922362 418537472 85879 33554432000 4194304 5714118 140733862724544 18446744073709551615 4319307 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 408728

[startup+522.301 s]
/proc/loadavg: 3.99 3.77 3.65 5/182 12964
/proc/meminfo: memFree=7615872/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=474884 CPUtime=1044.61 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 94990 0 0 0 103605 856 0 0 24 0 3 0 989922361 486281216 94703 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 118721 94703 182 372 0 118346 0
[pid=12947/tid=12949] ppid=12945 vsize=474884 CPUtime=522.29 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 85846 0 0 0 51626 603 0 0 25 0 3 0 989922362 486281216 94703 33554432000 4194304 5714118 140733862724544 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=474884 CPUtime=522.29 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 8520 0 0 0 51977 252 0 0 25 0 3 0 989922362 486281216 94703 33554432000 4194304 5714118 140733862724544 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 474884

[startup+582.301 s]
/proc/loadavg: 3.99 3.81 3.67 5/182 12966
/proc/meminfo: memFree=7571192/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=475460 CPUtime=1164.6 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 105409 0 0 0 115510 950 0 0 24 0 3 0 989922361 486871040 105122 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 118865 105122 182 372 0 118490 0
[pid=12947/tid=12949] ppid=12945 vsize=475460 CPUtime=582.3 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 95769 0 0 0 57559 671 0 0 25 0 3 0 989922362 486871040 105122 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=475460 CPUtime=582.29 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 9016 0 0 0 57950 279 0 0 25 0 3 0 989922362 486871040 105122 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (KiB) 475460

[startup+642.301 s]
/proc/loadavg: 3.99 3.84 3.69 5/182 12970
/proc/meminfo: memFree=7528564/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=541572 CPUtime=1284.62 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 113808 0 0 0 127422 1040 0 0 24 0 3 0 989922361 554569728 113521 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 135393 113521 182 372 0 135018 0
[pid=12947/tid=12949] ppid=12945 vsize=541572 CPUtime=642.3 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 104041 0 0 0 63495 735 0 0 25 0 3 0 989922362 554569728 113521 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=541572 CPUtime=642.3 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 9143 0 0 0 63926 304 0 0 25 0 3 0 989922362 554569728 113521 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 541572

[startup+702.301 s]
/proc/loadavg: 3.99 3.87 3.71 5/182 12972
/proc/meminfo: memFree=7477408/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=541788 CPUtime=1404.61 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 120921 0 0 0 139331 1130 0 0 24 0 3 0 989922361 554790912 120634 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 135447 120634 182 372 0 135072 0
[pid=12947/tid=12949] ppid=12945 vsize=541788 CPUtime=702.3 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 111140 0 0 0 69430 800 0 0 25 0 3 0 989922362 554790912 120634 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=541788 CPUtime=702.3 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 9157 0 0 0 69900 330 0 0 25 0 3 0 989922362 554790912 120634 33554432000 4194304 5714118 140733862724544 18446744073709551615 4299720 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 541788

[startup+762.307 s]
/proc/loadavg: 3.99 3.89 3.73 5/182 12974
/proc/meminfo: memFree=7419940/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=607988 CPUtime=1524.62 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 129654 0 0 0 151247 1215 0 0 24 0 3 0 989922361 622579712 129367 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 151997 129367 182 372 0 151622 0
[pid=12947/tid=12949] ppid=12945 vsize=607988 CPUtime=762.31 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 119772 0 0 0 75364 867 0 0 25 0 3 0 989922362 622579712 129367 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=607988 CPUtime=762.3 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 9258 0 0 0 75882 348 0 0 25 0 3 0 989922362 622579712 129367 33554432000 4194304 5714118 140733862724544 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 607988

[startup+822.301 s]
/proc/loadavg: 3.99 3.91 3.74 5/182 12975
/proc/meminfo: memFree=7369052/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=608348 CPUtime=1644.62 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 137204 0 0 0 163161 1301 0 0 24 0 3 0 989922361 622948352 136917 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 152087 136917 182 372 0 151712 0
[pid=12947/tid=12949] ppid=12945 vsize=608348 CPUtime=822.3 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 127253 0 0 0 81299 931 0 0 25 0 3 0 989922362 622948352 136917 33554432000 4194304 5714118 140733862724544 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=608348 CPUtime=822.3 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 9327 0 0 0 81861 369 0 0 25 0 3 0 989922362 622948352 136917 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 608348

[startup+882.3 s]
/proc/loadavg: 3.99 3.92 3.75 5/182 12977
/proc/meminfo: memFree=7247372/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=675180 CPUtime=1764.62 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 146015 0 0 0 175082 1380 0 0 24 0 3 0 989922361 691384320 145728 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 168795 145728 182 372 0 168420 0
[pid=12947/tid=12949] ppid=12945 vsize=675180 CPUtime=882.3 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 135941 0 0 0 87242 988 0 0 25 0 3 0 989922362 691384320 145728 33554432000 4194304 5714118 140733862724544 18446744073709551615 4300228 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=675180 CPUtime=882.3 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 9450 0 0 0 87839 391 0 0 25 0 3 0 989922362 691384320 145728 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 675180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900 s]
/proc/loadavg: 3.85 3.89 3.74 5/182 13058
/proc/meminfo: memFree=7680944/32950940 swapFree=67053420/67111528
[pid=12947] ppid=12945 vsize=675180 CPUtime=1800.03 cores=0,2,4,6
/proc/12947/stat : 12947 (pwbo1.1) S 12945 12947 11319 0 -1 4202496 148452 0 0 0 178598 1405 0 0 24 0 3 0 989922361 691384320 148165 33554432000 4194304 5714118 140733862724544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/12947/statm: 168795 148165 182 372 0 168420 0
[pid=12947/tid=12949] ppid=12945 vsize=675180 CPUtime=900.01 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 137797 0 0 0 88996 1005 0 0 25 0 3 0 989922362 691384320 148165 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=12947/tid=12950] ppid=12945 vsize=675180 CPUtime=900.01 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (pwbo1.1) R 12945 12947 11319 0 -1 4202560 10031 0 0 0 89601 400 0 0 25 0 3 0 989922362 691384320 148165 33554432000 4194304 5714118 140733862724544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 675180

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 900.038
CPU time (s): 1800.07
CPU user time (s): 1785.99
CPU system time (s): 14.0819
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 675180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.99
system time used= 14.0819
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148456
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= 30
involuntary context switches= 12501

runsolver used 1.20182 second user time and 2.91456 second system time

The end

Launcher Data 

Begin job on node117 at 2011-06-13 22:28:36
IDJOB=3500595
IDBENCH=71846
IDSOLVER=1954
FILE ID=node117/3500595-1307996916
RUNJOBID= node117-1307996903-12877
PBS_JOBID= 13559732
Free space on /var/tmp= 2880 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx30.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500595-1307996916/watcher-3500595-1307996916 -o /var/tmp/evaluation-result-3500595-1307996916/solver-3500595-1307996916 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500595-1307996916.opb

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

MD5SUM BENCH= a013c9210a7cfe037db9246041ce6240
RANDOM SEED=822759970

node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:       8271692 kB
Buffers:        123196 kB
Cached:       23714740 kB
SwapCached:      11260 kB
Active:        8055368 kB
Inactive:     15840972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:       8271692 kB
SwapTotal:    67111528 kB
SwapFree:     67053420 kB
Dirty:            9092 kB
Writeback:           0 kB
AnonPages:       55160 kB
Mapped:          13728 kB
Slab:           719312 kB
PageTables:       4648 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   246380 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2876 MiB
End job on node117 at 2011-06-13 22:43:38