Trace number 3703646

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 2.0? (TO) 1800.16 900.419

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMf480d2d56550630df651872786c078c9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark939
Best CPU time to get the best result obtained on this benchmark5.37918
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 999
Optimality of the best value was proved NO
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3703646-1338091070.opb.
0.00/0.00	c Instance file HOME/instance-3703646-1338091070.opb
0.00/0.00	c File size is 551521 bytes.
0.00/0.05	c Cost Offset: -3212
0.00/0.05	c Highest Coefficient sum: 386
0.00/0.05	c ============================[ Problem Statistics ]=============================
0.00/0.05	c |                                                                             |
0.00/0.05	c |  Parsing time:          0.05         s                                      |
0.00/0.05	c |  Number Variables:      8405                                                |
0.00/0.05	c |  Number Clauses:        10619                                               |
0.00/0.05	c |  Number Cardinality:    748                                                 |
0.00/0.05	c |  Number PB Constraints: 0                                                   |
0.00/0.05	c |                                                                             |
0.00/0.06	c |  Problem Type:          Optimization                                        |
0.00/0.06	c |  Objective Function:    PB Constraint                                       |
0.00/0.06	c |                                                                             |
0.00/0.06	c ===============================================================================
1800.16/900.41	c ===============================================================================
1800.16/900.41	c Wall Clock Time: 900.41 s
1800.16/900.41	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-3703646-1338091070/watcher-3703646-1338091070 -o /tmp/evaluation-result-3703646-1338091070/solver-3703646-1338091070 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703646-1338091070.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: 3.76 3.94 3.90 5/178 7685
/proc/meminfo: memFree=30521064/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=6388 CPUtime=0 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) R 7683 7685 7054 0 -1 4202496 771 0 0 0 0 0 0 0 20 0 1 0 275235564 6541312 724 33554432000 4194304 5965102 140737349823808 140737349823408 4396446 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 1597 724 163 433 0 1026 0

[startup+0.0811811 s]
/proc/loadavg: 3.76 3.94 3.90 5/178 7685
/proc/meminfo: memFree=30521064/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=174072 CPUtime=0.09 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 5955 0 0 0 8 1 0 0 20 0 3 0 275235564 178249728 5637 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 43518 5637 196 433 0 43082 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 174072

[startup+0.100208 s]
/proc/loadavg: 3.76 3.94 3.90 5/178 7685
/proc/meminfo: memFree=30521064/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=173280 CPUtime=0.13 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 6537 0 0 0 12 1 0 0 20 0 3 0 275235564 177438720 6051 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 43320 6052 197 433 0 42884 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 173280

[startup+0.300162 s]
/proc/loadavg: 3.76 3.94 3.90 5/178 7685
/proc/meminfo: memFree=30521064/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=173280 CPUtime=0.52 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 8930 0 0 0 49 3 0 0 20 0 3 0 275235564 177438720 8010 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 43320 8010 199 433 0 42884 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 173280

[startup+0.700164 s]
/proc/loadavg: 3.76 3.94 3.90 5/178 7685
/proc/meminfo: memFree=30521064/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=175856 CPUtime=1.31 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 12853 0 0 0 124 7 0 0 20 0 3 0 275235564 180076544 10900 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 43964 10900 199 433 0 43528 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 175856

[startup+1.50025 s]
/proc/loadavg: 3.76 3.94 3.90 5/181 7688
/proc/meminfo: memFree=30473052/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=173280 CPUtime=2.91 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 17732 0 0 0 275 16 0 0 20 0 3 0 275235564 177438720 14380 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 43320 14380 199 433 0 42884 0
[pid=7685/tid=7687] ppid=7683 vsize=173280 CPUtime=1.42 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 9563 0 0 0 140 2 0 0 20 0 3 0 275235570 177438720 14380 33554432000 4194304 5965102 140737349823808 140644910610776 4404330 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=173280 CPUtime=1.42 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 5203 0 0 0 128 14 0 0 20 0 3 0 275235570 177438720 14380 33554432000 4194304 5965102 140737349823808 140644900120888 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 173280

[startup+3.10026 s]
/proc/loadavg: 3.76 3.94 3.90 5/181 7688
/proc/meminfo: memFree=30456916/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=173280 CPUtime=6.12 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 22796 0 0 0 582 30 0 0 20 0 3 0 275235564 177438720 19444 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 43320 19444 199 433 0 42884 0
[pid=7685/tid=7687] ppid=7683 vsize=173280 CPUtime=3.02 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 9913 0 0 0 300 2 0 0 20 0 3 0 275235570 177438720 19444 33554432000 4194304 5965102 140737349823808 140644910610776 4401050 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=173280 CPUtime=3.02 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 9917 0 0 0 274 28 0 0 20 0 3 0 275235570 177438720 19444 33554432000 4194304 5965102 140737349823808 140644900120888 4401155 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 173280

[startup+6.30028 s]
/proc/loadavg: 3.78 3.94 3.90 5/181 7688
/proc/meminfo: memFree=30437200/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=173280 CPUtime=12.51 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 24964 0 0 0 1220 31 0 0 20 0 3 0 275235564 177438720 21527 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 43320 21527 199 433 0 42884 0
[pid=7685/tid=7687] ppid=7683 vsize=173280 CPUtime=6.22 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 11137 0 0 0 620 2 0 0 20 0 3 0 275235570 177438720 21527 33554432000 4194304 5965102 140737349823808 140644910611272 4401530 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=173280 CPUtime=6.21 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 10861 0 0 0 592 29 0 0 20 0 3 0 275235570 177438720 21527 33554432000 4194304 5965102 140737349823808 140644900120888 4390116 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 173280

[startup+12.7003 s]
/proc/loadavg: 3.79 3.94 3.90 5/181 7688
/proc/meminfo: memFree=30393048/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=238816 CPUtime=25.31 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 37539 0 0 0 2485 46 0 0 20 0 3 0 275235564 244547584 32137 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 59704 32137 199 433 0 59268 0
[pid=7685/tid=7687] ppid=7683 vsize=238816 CPUtime=12.59 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 14320 0 0 0 1257 2 0 0 20 0 3 0 275235570 244547584 32137 33554432000 4194304 5965102 140737349823808 140644910611272 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=238816 CPUtime=12.59 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 20253 0 0 0 1216 43 0 0 20 0 3 0 275235570 244547584 32137 33554432000 4194304 5965102 140737349823808 140644900120888 4400930 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 238816

[startup+25.5003 s]
/proc/loadavg: 3.84 3.94 3.90 5/181 7688
/proc/meminfo: memFree=30354600/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=238948 CPUtime=50.9 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 47302 0 0 0 5032 58 0 0 20 0 3 0 275235564 244682752 40741 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 59737 40741 199 433 0 59301 0
[pid=7685/tid=7687] ppid=7683 vsize=238948 CPUtime=25.35 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 16878 0 0 0 2533 2 0 0 20 0 3 0 275235570 244682752 40741 33554432000 4194304 5965102 140737349823808 140644910610968 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=238948 CPUtime=25.36 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 27459 0 0 0 2482 54 0 0 20 0 3 0 275235570 244682752 40742 33554432000 4194304 5965102 140737349823808 140644900120648 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 238948

[startup+51.1003 s]
/proc/loadavg: 3.89 3.95 3.90 5/181 7688
/proc/meminfo: memFree=30219772/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=371164 CPUtime=102.09 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 73619 0 0 0 10137 72 0 0 20 0 3 0 275235564 380071936 67058 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 92791 67058 199 433 0 92355 0
[pid=7685/tid=7687] ppid=7683 vsize=371164 CPUtime=50.89 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 19388 0 0 0 5084 5 0 0 20 0 3 0 275235570 380071936 67058 33554432000 4194304 5965102 140737349823808 140644910610424 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=371164 CPUtime=50.9 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 51265 0 0 0 5025 65 0 0 20 0 3 0 275235570 380071936 67058 33554432000 4194304 5965102 140737349823808 140644900120888 4401107 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 371164

[startup+102.307 s]
/proc/loadavg: 3.95 3.95 3.91 5/181 7688
/proc/meminfo: memFree=30110472/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=438084 CPUtime=204.48 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 89280 0 0 0 20366 82 0 0 20 0 3 0 275235564 448598016 83043 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 109521 83043 199 433 0 109085 0
[pid=7685/tid=7687] ppid=7683 vsize=438084 CPUtime=101.96 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 25401 0 0 0 10186 10 0 0 20 0 3 0 275235570 448598016 83043 33554432000 4194304 5965102 140737349823808 140644910610424 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=438084 CPUtime=101.96 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 60913 0 0 0 10124 72 0 0 20 0 3 0 275235570 448598016 83043 33554432000 4194304 5965102 140737349823808 140644900120648 4389531 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.48
Current children cumulated vsize (KiB) 438084

[startup+162.3 s]
/proc/loadavg: 3.98 3.96 3.91 5/182 7691
/proc/meminfo: memFree=29972108/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=505104 CPUtime=324.39 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 111509 0 0 0 32343 96 0 0 20 0 3 0 275235564 517226496 105133 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 126276 105133 199 433 0 125840 0
[pid=7685/tid=7687] ppid=7683 vsize=505104 CPUtime=161.79 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 29525 0 0 0 16164 15 0 0 20 0 3 0 275235570 517226496 105133 33554432000 4194304 5965102 140737349823808 140644910610424 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=505104 CPUtime=161.76 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 79018 0 0 0 16092 84 0 0 20 0 3 0 275235570 517226496 105133 33554432000 4194304 5965102 140737349823808 140644900120920 4410546 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.39
Current children cumulated vsize (KiB) 505104

[startup+222.3 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 7714
/proc/meminfo: memFree=29906540/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=504768 CPUtime=444.33 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 119972 0 0 0 44332 101 0 0 20 0 3 0 275235564 516882432 113360 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 126192 113361 199 433 0 125756 0
[pid=7685/tid=7687] ppid=7683 vsize=504768 CPUtime=221.64 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 36752 0 0 0 22144 20 0 0 20 0 3 0 275235570 516882432 113361 33554432000 4194304 5965102 140737349823808 140644910610968 4401603 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=504768 CPUtime=221.56 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 80255 0 0 0 22070 86 0 0 20 0 3 0 275235570 516882432 113361 33554432000 4194304 5965102 140737349823808 140644900120648 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.33
Current children cumulated vsize (KiB) 504768

[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 7715
/proc/meminfo: memFree=29734860/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=636324 CPUtime=564.26 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 151951 0 0 0 56305 121 0 0 20 0 3 0 275235564 651595776 145670 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 159081 145670 199 433 0 158645 0
[pid=7685/tid=7687] ppid=7683 vsize=636324 CPUtime=281.45 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 37200 0 0 0 28124 21 0 0 20 0 3 0 275235570 651595776 145670 33554432000 4194304 5965102 140737349823808 140644910610968 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=636324 CPUtime=281.4 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 111785 0 0 0 28033 107 0 0 20 0 3 0 275235570 651595776 145670 33554432000 4194304 5965102 140737349823808 140644900120648 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.26
Current children cumulated vsize (KiB) 636324

[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 7715
/proc/meminfo: memFree=29686032/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=636976 CPUtime=684.24 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 155891 0 0 0 68300 124 0 0 20 0 3 0 275235564 652263424 150113 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 159244 150113 199 433 0 158808 0
[pid=7685/tid=7687] ppid=7683 vsize=636976 CPUtime=341.29 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 37200 0 0 0 34107 22 0 0 20 0 3 0 275235570 652263424 150113 33554432000 4194304 5965102 140737349823808 140644910610968 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=636976 CPUtime=341.25 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 115725 0 0 0 34014 111 0 0 20 0 3 0 275235570 652263424 150113 33554432000 4194304 5965102 140737349823808 140644900120648 4392760 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.24
Current children cumulated vsize (KiB) 636976

[startup+402.3 s]
/proc/loadavg: 4.07 3.99 3.91 5/181 7715
/proc/meminfo: memFree=29602140/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=702952 CPUtime=804.22 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 159846 0 0 0 80294 128 0 0 20 0 3 0 275235564 719822848 154068 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 175738 154068 199 433 0 175302 0
[pid=7685/tid=7687] ppid=7683 vsize=702952 CPUtime=401.14 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 37200 0 0 0 40091 23 0 0 20 0 3 0 275235570 719822848 154068 33554432000 4194304 5965102 140737349823808 140644910610968 4404757 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=702952 CPUtime=401.09 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 119680 0 0 0 39993 116 0 0 20 0 3 0 275235570 719822848 154068 33554432000 4194304 5965102 140737349823808 140644900120888 4400978 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.22
Current children cumulated vsize (KiB) 702952

[startup+462.3 s]
/proc/loadavg: 4.02 3.99 3.91 5/181 7715
/proc/meminfo: memFree=29460900/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=834676 CPUtime=924.2 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 192472 0 0 0 92271 149 0 0 20 0 3 0 275235564 854708224 186694 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 208669 186694 199 433 0 208233 0
[pid=7685/tid=7687] ppid=7683 vsize=834676 CPUtime=460.99 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 37200 0 0 0 46075 24 0 0 20 0 3 0 275235570 854708224 186694 33554432000 4194304 5965102 140737349823808 140644910610968 4404753 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=834676 CPUtime=460.94 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 152306 0 0 0 45957 137 0 0 20 0 3 0 275235570 854708224 186694 33554432000 4194304 5965102 140737349823808 140644900120648 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.2
Current children cumulated vsize (KiB) 834676

[startup+522.3 s]
/proc/loadavg: 4.01 3.99 3.91 5/181 7715
/proc/meminfo: memFree=29448368/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=835132 CPUtime=1044.19 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 192572 0 0 0 104270 149 0 0 20 0 3 0 275235564 855175168 186794 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 208783 186794 199 433 0 208347 0
[pid=7685/tid=7687] ppid=7683 vsize=835132 CPUtime=520.84 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 37209 0 0 0 52060 24 0 0 20 0 3 0 275235570 855175168 186794 33554432000 4194304 5965102 140737349823808 140644910610968 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=835132 CPUtime=520.79 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 152397 0 0 0 51941 138 0 0 20 0 3 0 275235570 855175168 186794 33554432000 4194304 5965102 140737349823808 140644900120648 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.19
Current children cumulated vsize (KiB) 835132

[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 7716
/proc/meminfo: memFree=29443520/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=835264 CPUtime=1164.14 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 194759 0 0 0 116262 152 0 0 20 0 3 0 275235564 855310336 189003 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 208816 189003 199 433 0 208380 0
[pid=7685/tid=7687] ppid=7683 vsize=835264 CPUtime=580.68 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 39310 0 0 0 58040 28 0 0 20 0 3 0 275235570 855310336 189003 33554432000 4194304 5965102 140737349823808 140644910610232 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=835264 CPUtime=580.61 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 152483 0 0 0 57922 139 0 0 20 0 3 0 275235570 855310336 189003 33554432000 4194304 5965102 140737349823808 140644900120648 4390583 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.14
Current children cumulated vsize (KiB) 835264

[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 7716
/proc/meminfo: memFree=29422468/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=901232 CPUtime=1284.11 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 198101 0 0 0 128254 157 0 0 20 0 3 0 275235564 922861568 192027 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 225308 192027 199 433 0 224872 0
[pid=7685/tid=7687] ppid=7683 vsize=901232 CPUtime=640.53 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 42531 0 0 0 64019 34 0 0 20 0 3 0 275235570 922861568 192027 33554432000 4194304 5965102 140737349823808 140644910610472 4401026 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=901232 CPUtime=640.44 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 152604 0 0 0 63904 140 0 0 20 0 3 0 275235570 922861568 192027 33554432000 4194304 5965102 140737349823808 140644900120920 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.11
Current children cumulated vsize (KiB) 901232

[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 7716
/proc/meminfo: memFree=29368556/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=902544 CPUtime=1404.06 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 200570 0 0 0 140244 162 0 0 20 0 3 0 275235564 924205056 194560 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 225636 194560 199 433 0 225200 0
[pid=7685/tid=7687] ppid=7683 vsize=902544 CPUtime=700.37 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 44680 0 0 0 69998 39 0 0 20 0 3 0 275235570 924205056 194560 33554432000 4194304 5965102 140737349823808 140644910610424 4401131 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=902544 CPUtime=700.26 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 152924 0 0 0 69885 141 0 0 20 0 3 0 275235570 924205056 194560 33554432000 4194304 5965102 140737349823808 140644900120648 4401530 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.06
Current children cumulated vsize (KiB) 902544

[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 7719
/proc/meminfo: memFree=29313672/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=903428 CPUtime=1524.05 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 205518 0 0 0 152236 169 0 0 20 0 3 0 275235564 925110272 199524 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 225857 199524 199 433 0 225421 0
[pid=7685/tid=7687] ppid=7683 vsize=903428 CPUtime=760.22 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 49440 0 0 0 75975 47 0 0 20 0 3 0 275235570 925110272 199524 33554432000 4194304 5965102 140737349823808 140644910610424 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=903428 CPUtime=760.11 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 153112 0 0 0 75869 142 0 0 20 0 3 0 275235570 925110272 199524 33554432000 4194304 5965102 140737349823808 140644900120648 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.05
Current children cumulated vsize (KiB) 903428

[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 7719
/proc/meminfo: memFree=29292532/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=903572 CPUtime=1643.98 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 207891 0 0 0 164226 172 0 0 20 0 3 0 275235564 925257728 201932 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 225893 201932 199 433 0 225457 0
[pid=7685/tid=7687] ppid=7683 vsize=903572 CPUtime=820.03 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 51766 0 0 0 81952 51 0 0 20 0 3 0 275235570 925257728 201932 33554432000 4194304 5965102 140737349823808 140644910610232 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=903572 CPUtime=819.94 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 153159 0 0 0 81850 144 0 0 20 0 3 0 275235570 925257728 201932 33554432000 4194304 5965102 140737349823808 140644900120648 4390424 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.98
Current children cumulated vsize (KiB) 903572

[startup+882.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 7761
/proc/meminfo: memFree=29766572/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=903572 CPUtime=1763.96 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 209624 0 0 0 176220 176 0 0 20 0 3 0 275235564 925257728 203663 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 225893 203663 199 433 0 225457 0
[pid=7685/tid=7687] ppid=7683 vsize=903572 CPUtime=879.88 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 53499 0 0 0 87932 56 0 0 20 0 3 0 275235570 925257728 203663 33554432000 4194304 5965102 140737349823808 140644910610232 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=903572 CPUtime=879.79 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 153159 0 0 0 87834 145 0 0 20 0 3 0 275235570 925257728 203663 33554432000 4194304 5965102 140737349823808 140644900120648 4392734 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.96
Current children cumulated vsize (KiB) 903572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 7761
/proc/meminfo: memFree=29715608/32873844 swapFree=7108/7108
[pid=7685] ppid=7683 vsize=903572 CPUtime=1800.16 cores=0,2,4,6
/proc/7685/stat : 7685 (pwbo2.0) S 7683 7685 7054 0 -1 4202496 209720 0 0 0 179840 176 0 0 20 0 3 0 275235564 925257728 203759 33554432000 4194304 5965102 140737349823808 140737349823328 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7685/statm: 225893 203759 199 433 0 225457 0
[pid=7685/tid=7687] ppid=7683 vsize=903572 CPUtime=897.94 cores=0,2,4,6
/proc/7685/task/7687/stat : 7687 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 53595 0 0 0 89738 56 0 0 20 0 3 0 275235570 925257728 203759 33554432000 4194304 5965102 140737349823808 140644910610232 4401137 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7685/tid=7688] ppid=7683 vsize=903572 CPUtime=897.85 cores=0,2,4,6
/proc/7685/task/7688/stat : 7688 (pwbo2.0) R 7683 7685 7054 0 -1 4202560 153159 0 0 0 89640 145 0 0 20 0 3 0 275235570 925257728 203759 33554432000 4194304 5965102 140737349823808 140644900120648 4401131 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 903572

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

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7685 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=835295
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=45689
# CPU time returned by wait4() is 1795.88
# while last known CPU time is 1800.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.419
CPU time (s): 1800.16
CPU user time (s): 1798.4
CPU system time (s): 1.76
CPU usage (%): 199.925
Max. virtual memory (cumulated for all children) (KiB): 903572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.84
system time used= 2.04569
maximum resident set size= 815040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209721
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= 761
involuntary context switches= 2139

runsolver used 1.86072 second user time and 4.93525 second system time

The end

Launcher Data 

Begin job on node102 at 2012-05-27 05:57:50
IDJOB=3703646
IDBENCH=2233
IDSOLVER=2279
FILE ID=node102/3703646-1338091070
RUNJOBID= node102-1338087425-7070
PBS_JOBID= 14624443
Free space on /tmp= 71532 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703646-1338091070/watcher-3703646-1338091070 -o /tmp/evaluation-result-3703646-1338091070/solver-3703646-1338091070 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703646-1338091070.opb

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=1426690887

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
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.178
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.178
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	: 5438.54
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.178
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.178
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:        30520956 kB
Buffers:          312404 kB
Cached:          1067064 kB
SwapCached:            0 kB
Active:           955768 kB
Inactive:         569080 kB
Active(anon):     137144 kB
Inactive(anon):    11040 kB
Active(file):     818624 kB
Inactive(file):   558040 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             11804 kB
Writeback:             0 kB
AnonPages:        154628 kB
Mapped:            15128 kB
Shmem:               200 kB
Slab:             685836 kB
SReclaimable:     128164 kB
SUnreclaim:       557672 kB
KernelStack:        1504 kB
PageTables:         4428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     157152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 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= 71524 MiB
End job on node102 at 2012-05-27 06:12:53