Trace number 3703461

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.42 900.446

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod010.opb
MD5SUM0155c0c96434984f6ded6bb7ada20c0c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6548
Best CPU time to get the best result obtained on this benchmark0.591909
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6548
Optimality of the best value was proved YES
Number of variables2655
Total number of constraints146
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)145
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint2655
Number of terms in the objective function 2655
Biggest coefficient in the objective function 266
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 489211
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 266
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 489211
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-3703461-1338085088.opb.
0.00/0.00	c Instance file HOME/instance-3703461-1338085088.opb
0.00/0.00	c File size is 125155 bytes.
0.00/0.01	c Cost Offset: 0
0.00/0.01	c Highest Coefficient sum: 2701
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.02         s                                      |
0.00/0.01	c |  Number Variables:      2655                                                |
0.00/0.01	c |  Number Clauses:        144                                                 |
0.00/0.01	c |  Number Cardinality:    146                                                 |
0.00/0.01	c |  Number PB Constraints: 1                                                   |
0.00/0.01	c |                                                                             |
0.00/0.02	c |  Problem Type:          Optimization                                        |
0.00/0.02	c |  Objective Function:    PB Constraint                                       |
0.00/0.02	c |                                                                             |
0.00/0.02	c ===============================================================================
1800.05/900.41	c ===============================================================================
1800.05/900.41	c Wall Clock Time: 900.41 s
1800.05/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-3703461-1338085088/watcher-3703461-1338085088 -o /tmp/evaluation-result-3703461-1338085088/solver-3703461-1338085088 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703461-1338085088.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.89 3.87 3.23 4/180 16143
/proc/meminfo: memFree=29986868/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=5104 CPUtime=0 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) R 16141 16143 15889 0 -1 4202496 571 0 0 0 0 0 0 0 20 0 1 0 274633567 5226496 523 33554432000 4194304 5965102 140735149580032 140737024965032 5137146 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 1276 524 169 433 0 809 0

[startup+0.0822319 s]
/proc/loadavg: 3.89 3.87 3.23 4/180 16143
/proc/meminfo: memFree=29986868/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=167724 CPUtime=0.13 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 3593 0 0 0 13 0 0 0 20 0 3 0 274633567 171749376 3272 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 41931 3272 198 433 0 41495 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 167724

[startup+0.100192 s]
/proc/loadavg: 3.89 3.87 3.23 4/180 16143
/proc/meminfo: memFree=29986868/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=167724 CPUtime=0.16 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 3803 0 0 0 16 0 0 0 20 0 3 0 274633567 171749376 3413 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 41931 3413 199 433 0 41495 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 167724

[startup+0.300154 s]
/proc/loadavg: 3.89 3.87 3.23 4/180 16143
/proc/meminfo: memFree=29986868/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=167724 CPUtime=0.56 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 7295 0 0 0 55 1 0 0 20 0 3 0 274633567 171749376 5380 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 41931 5380 199 433 0 41495 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 167724

[startup+0.700153 s]
/proc/loadavg: 3.89 3.87 3.23 4/180 16143
/proc/meminfo: memFree=29986868/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=167724 CPUtime=1.36 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 12465 0 0 0 134 2 0 0 20 0 3 0 274633567 171749376 8112 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 41931 8112 199 433 0 41495 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 167724

[startup+1.50028 s]
/proc/loadavg: 3.89 3.87 3.23 5/183 16146
/proc/meminfo: memFree=29947276/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=167724 CPUtime=2.96 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 24198 0 0 0 291 5 0 0 20 0 3 0 274633567 171749376 12995 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 41931 12995 199 433 0 41495 0
[pid=16143/tid=16145] ppid=16141 vsize=167724 CPUtime=1.47 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 20874 0 0 0 142 5 0 0 20 0 3 0 274633568 171749376 12995 33554432000 4194304 5965102 140735149580032 139756227721752 4430970 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=167724 CPUtime=1.46 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 1891 0 0 0 146 0 0 0 20 0 3 0 274633568 171749376 12995 33554432000 4194304 5965102 140735149580032 139756217231672 4383000 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 167724

[startup+3.10034 s]
/proc/loadavg: 3.89 3.87 3.23 5/183 16146
/proc/meminfo: memFree=29920864/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=167724 CPUtime=6.16 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 41481 0 0 0 608 8 0 0 20 0 3 0 274633567 171749376 19595 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 41931 19595 199 433 0 41495 0
[pid=16143/tid=16145] ppid=16141 vsize=167724 CPUtime=3.07 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 36551 0 0 0 300 7 0 0 20 0 3 0 274633568 171749376 19595 33554432000 4194304 5965102 140735149580032 139756227721752 4374065 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=167724 CPUtime=3.06 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 3497 0 0 0 304 2 0 0 20 0 3 0 274633568 171749376 19595 33554432000 4194304 5965102 140735149580032 139756217231720 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 167724

[startup+6.30036 s]
/proc/loadavg: 3.90 3.87 3.23 5/183 16146
/proc/meminfo: memFree=29875604/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=233260 CPUtime=12.56 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 70747 0 0 0 1241 15 0 0 20 0 3 0 274633567 238858240 28130 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 58315 28130 199 433 0 57879 0
[pid=16143/tid=16145] ppid=16141 vsize=233260 CPUtime=6.27 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 65083 0 0 0 615 12 0 0 20 0 3 0 274633568 238858240 28130 33554432000 4194304 5965102 140735149580032 139756227721752 5123034 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=233260 CPUtime=6.26 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 4231 0 0 0 622 4 0 0 20 0 3 0 274633568 238858240 28130 33554432000 4194304 5965102 140735149580032 139756217231672 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 233260

[startup+12.7003 s]
/proc/loadavg: 3.91 3.87 3.24 5/183 16146
/proc/meminfo: memFree=29801824/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=233260 CPUtime=25.35 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 102125 0 0 0 2509 26 0 0 20 0 3 0 274633567 238858240 42888 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 58315 42888 199 433 0 57879 0
[pid=16143/tid=16145] ppid=16141 vsize=233260 CPUtime=12.67 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 91881 0 0 0 1250 17 0 0 20 0 3 0 274633568 238858240 42888 33554432000 4194304 5965102 140735149580032 139756227721752 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=233260 CPUtime=12.66 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 8811 0 0 0 1256 10 0 0 20 0 3 0 274633568 238858240 42888 33554432000 4194304 5965102 140735149580032 139756217231672 4401155 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 233260

[startup+25.5003 s]
/proc/loadavg: 3.93 3.88 3.25 5/183 16146
/proc/meminfo: memFree=29698552/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=318280 CPUtime=50.94 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 130887 0 0 0 5052 42 0 0 20 0 3 0 274633567 325918720 66481 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 79570 66481 199 433 0 79134 0
[pid=16143/tid=16145] ppid=16141 vsize=318280 CPUtime=25.47 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 116249 0 0 0 2524 23 0 0 20 0 3 0 274633568 325918720 66481 33554432000 4194304 5965102 140735149580032 139756227722056 5131557 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=318280 CPUtime=25.45 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 13205 0 0 0 2525 20 0 0 20 0 3 0 274633568 325918720 66481 33554432000 4194304 5965102 140735149580032 139756217231480 4391292 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 318280

[startup+51.1004 s]
/proc/loadavg: 4.01 3.90 3.27 5/183 16146
/proc/meminfo: memFree=29623804/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=434768 CPUtime=102.13 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 144798 0 0 0 10164 49 0 0 20 0 3 0 274633567 445202432 78387 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 108692 78387 199 433 0 108256 0
[pid=16143/tid=16145] ppid=16141 vsize=434768 CPUtime=51.06 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 124363 0 0 0 5080 26 0 0 20 0 3 0 274633568 445202432 78387 33554432000 4194304 5965102 140735149580032 139756227722112 4401096 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=434768 CPUtime=51.05 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 19002 0 0 0 5080 25 0 0 20 0 3 0 274633568 445202432 78387 33554432000 4194304 5965102 140735149580032 139756217231720 4392431 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 434768

[startup+102.307 s]
/proc/loadavg: 4.00 3.91 3.31 5/183 16147
/proc/meminfo: memFree=29519132/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=500304 CPUtime=204.49 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 159324 0 0 0 20385 64 0 0 20 0 3 0 274633567 512311296 97704 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 125076 97704 199 433 0 124640 0
[pid=16143/tid=16145] ppid=16141 vsize=500304 CPUtime=102.25 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 133293 0 0 0 10196 29 0 0 20 0 3 0 274633568 512311296 97704 33554432000 4194304 5965102 140735149580032 139756227721208 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=500304 CPUtime=102.24 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 24598 0 0 0 10186 38 0 0 20 0 3 0 274633568 512311296 97704 33554432000 4194304 5965102 140735149580032 139756217231672 4404767 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.49
Current children cumulated vsize (KiB) 500304

[startup+162.3 s]
/proc/loadavg: 4.00 3.93 3.35 5/184 16150
/proc/meminfo: memFree=29367448/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=631376 CPUtime=324.4 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 195203 0 0 0 32336 104 0 0 20 0 3 0 274633567 646529024 133542 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 157844 133542 199 433 0 157408 0
[pid=16143/tid=16145] ppid=16141 vsize=631376 CPUtime=162.21 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 159029 0 0 0 16172 49 0 0 20 0 3 0 274633568 646529024 133542 33554432000 4194304 5965102 140735149580032 139756227721208 4401107 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=631376 CPUtime=162.22 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 34741 0 0 0 16162 60 0 0 20 0 3 0 274633568 646529024 133542 33554432000 4194304 5965102 140735149580032 139756217231672 4401143 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.4
Current children cumulated vsize (KiB) 631376

[startup+222.3 s]
/proc/loadavg: 4.00 3.94 3.39 5/183 16150
/proc/meminfo: memFree=29168060/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=784328 CPUtime=444.34 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 233208 0 0 0 44268 166 0 0 20 0 3 0 274633567 803151872 178276 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 196082 178276 199 433 0 195646 0
[pid=16143/tid=16145] ppid=16141 vsize=784328 CPUtime=222.2 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 171839 0 0 0 22164 56 0 0 20 0 3 0 274633568 803151872 178276 33554432000 4194304 5965102 140735149580032 139756227721544 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=784328 CPUtime=222.19 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 59936 0 0 0 22101 118 0 0 20 0 3 0 274633568 803151872 178276 33554432000 4194304 5965102 140735149580032 139756217231672 4404767 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.34
Current children cumulated vsize (KiB) 784328

[startup+282.3 s]
/proc/loadavg: 4.00 3.95 3.42 5/183 16150
/proc/meminfo: memFree=29145512/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=784328 CPUtime=564.32 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 233313 0 0 0 56266 166 0 0 20 0 3 0 274633567 803151872 179948 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 196082 179948 199 433 0 195646 0
[pid=16143/tid=16145] ppid=16141 vsize=784328 CPUtime=282.2 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 171944 0 0 0 28163 57 0 0 20 0 3 0 274633568 803151872 179948 33554432000 4194304 5965102 140735149580032 139756227721544 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=784328 CPUtime=282.19 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 59936 0 0 0 28100 119 0 0 20 0 3 0 274633568 803151872 179948 33554432000 4194304 5965102 140735149580032 139756217231672 5131650 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.32
Current children cumulated vsize (KiB) 784328

[startup+342.3 s]
/proc/loadavg: 4.00 3.95 3.46 5/183 16150
/proc/meminfo: memFree=29085128/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=849864 CPUtime=684.31 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 249000 0 0 0 68252 179 0 0 20 0 3 0 274633567 870260736 195635 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 212466 195635 199 433 0 212030 0
[pid=16143/tid=16145] ppid=16141 vsize=849864 CPUtime=342.2 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 187608 0 0 0 34150 70 0 0 20 0 3 0 274633568 870260736 195635 33554432000 4194304 5965102 140735149580032 139756227721208 4401107 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=849864 CPUtime=342.19 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 59959 0 0 0 34099 120 0 0 20 0 3 0 274633568 870260736 195635 33554432000 4194304 5965102 140735149580032 139756217231672 4389260 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.31
Current children cumulated vsize (KiB) 849864

[startup+402.3 s]
/proc/loadavg: 4.00 3.96 3.49 5/183 16151
/proc/meminfo: memFree=29011188/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=915400 CPUtime=804.29 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 263816 0 0 0 80237 192 0 0 20 0 3 0 274633567 937369600 210451 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 228850 210451 199 433 0 228414 0
[pid=16143/tid=16145] ppid=16141 vsize=915400 CPUtime=402.2 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 202422 0 0 0 40136 84 0 0 20 0 3 0 274633568 937369600 210451 33554432000 4194304 5965102 140735149580032 139756227721208 4401155 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=915400 CPUtime=402.19 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 59961 0 0 0 40098 121 0 0 20 0 3 0 274633568 937369600 210451 33554432000 4194304 5965102 140735149580032 139756217231672 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.29
Current children cumulated vsize (KiB) 915400

[startup+462.3 s]
/proc/loadavg: 4.00 3.96 3.51 5/183 16151
/proc/meminfo: memFree=28956844/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=980936 CPUtime=924.22 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 276793 0 0 0 92218 204 0 0 20 0 3 0 274633567 1004478464 223579 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 245234 223579 199 433 0 244798 0
[pid=16143/tid=16145] ppid=16141 vsize=980936 CPUtime=462.16 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 215362 0 0 0 46118 98 0 0 20 0 3 0 274633568 1004478464 223579 33554432000 4194304 5965102 140735149580032 139756227721208 4401559 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=980936 CPUtime=462.19 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 59998 0 0 0 46097 122 0 0 20 0 3 0 274633568 1004478464 223579 33554432000 4194304 5965102 140735149580032 139756217231672 4401143 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.22
Current children cumulated vsize (KiB) 980936

[startup+522.3 s]
/proc/loadavg: 4.00 3.97 3.54 5/183 16151
/proc/meminfo: memFree=28852280/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=1112008 CPUtime=1044.15 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 301769 0 0 0 104171 244 0 0 20 0 3 0 274633567 1138696192 248557 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 278002 248557 199 433 0 277566 0
[pid=16143/tid=16145] ppid=16141 vsize=1112008 CPUtime=522.14 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 226448 0 0 0 52107 107 0 0 20 0 3 0 274633568 1138696192 248557 33554432000 4194304 5965102 140735149580032 139756227721208 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=1112008 CPUtime=522.15 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 73888 0 0 0 52063 152 0 0 20 0 3 0 274633568 1138696192 248557 33554432000 4194304 5965102 140735149580032 139756217231672 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.15
Current children cumulated vsize (KiB) 1112008

[startup+582.3 s]
/proc/loadavg: 4.00 3.97 3.57 5/183 16151
/proc/meminfo: memFree=28781256/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=1177544 CPUtime=1164.06 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 319317 0 0 0 116146 260 0 0 20 0 3 0 274633567 1205805056 266047 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 294386 266047 199 433 0 293950 0
[pid=16143/tid=16145] ppid=16141 vsize=1177544 CPUtime=582.11 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 243968 0 0 0 58087 124 0 0 20 0 3 0 274633568 1205805056 266047 33554432000 4194304 5965102 140735149580032 139756227721208 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=1177544 CPUtime=582.12 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 73916 0 0 0 58059 153 0 0 20 0 3 0 274633568 1205805056 266047 33554432000 4194304 5965102 140735149580032 139756217231704 4383036 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.06
Current children cumulated vsize (KiB) 1177544

[startup+642.3 s]
/proc/loadavg: 4.00 3.97 3.59 5/183 16151
/proc/meminfo: memFree=28720108/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=1243080 CPUtime=1284.03 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 334481 0 0 0 128130 273 0 0 20 0 3 0 274633567 1272913920 281220 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 310770 281220 199 433 0 310334 0
[pid=16143/tid=16145] ppid=16141 vsize=1243080 CPUtime=642.09 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 259127 0 0 0 64071 138 0 0 20 0 3 0 274633568 1272913920 281220 33554432000 4194304 5965102 140735149580032 139756227721208 4401131 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=1243080 CPUtime=642.12 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 73921 0 0 0 64058 154 0 0 20 0 3 0 274633568 1272913920 281220 33554432000 4194304 5965102 140735149580032 139756217231704 4383061 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.03
Current children cumulated vsize (KiB) 1243080

[startup+702.3 s]
/proc/loadavg: 4.00 3.97 3.61 5/182 16151
/proc/meminfo: memFree=28670792/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=1243080 CPUtime=1403.94 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 346963 0 0 0 140111 283 0 0 20 0 3 0 274633567 1272913920 293661 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 310770 293661 199 433 0 310334 0
[pid=16143/tid=16145] ppid=16141 vsize=1243080 CPUtime=702.04 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 271609 0 0 0 70055 149 0 0 20 0 3 0 274633568 1272913920 293661 33554432000 4194304 5965102 140735149580032 139756227721208 4401143 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=1243080 CPUtime=702.12 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 73921 0 0 0 70056 156 0 0 20 0 3 0 274633568 1272913920 293661 33554432000 4194304 5965102 140735149580032 139756217231704 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1403.94
Current children cumulated vsize (KiB) 1243080

[startup+762.307 s]
/proc/loadavg: 4.00 3.97 3.64 5/184 16155
/proc/meminfo: memFree=28564348/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=1363212 CPUtime=1523.92 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 370898 0 0 0 152094 298 0 0 20 0 3 0 274633567 1395929088 318267 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 340803 318267 199 433 0 340367 0
[pid=16143/tid=16145] ppid=16141 vsize=1363212 CPUtime=762.04 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 295221 0 0 0 76040 164 0 0 20 0 3 0 274633568 1395929088 318267 33554432000 4194304 5965102 140735149580032 139756227722168 4401096 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=1363212 CPUtime=762.11 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 74244 0 0 0 76054 157 0 0 20 0 3 0 274633568 1395929088 318267 33554432000 4194304 5965102 140735149580032 139756217231672 4380048 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1523.92
Current children cumulated vsize (KiB) 1363212

[startup+822.3 s]
/proc/loadavg: 4.00 3.97 3.66 5/183 16155
/proc/meminfo: memFree=28551484/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=1363212 CPUtime=1643.87 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 370955 0 0 0 164089 298 0 0 20 0 3 0 274633567 1395929088 318287 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 340803 318287 199 433 0 340367 0
[pid=16143/tid=16145] ppid=16141 vsize=1363212 CPUtime=822.04 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 295259 0 0 0 82039 165 0 0 20 0 3 0 274633568 1395929088 318287 33554432000 4194304 5965102 140735149580032 139756227722168 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=1363212 CPUtime=822.08 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 74263 0 0 0 82050 158 0 0 20 0 3 0 274633568 1395929088 318287 33554432000 4194304 5965102 140735149580032 139756217231704 4389707 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.87
Current children cumulated vsize (KiB) 1363212

[startup+882.3 s]
/proc/loadavg: 4.00 3.97 3.67 5/183 16236
/proc/meminfo: memFree=28739272/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=1363212 CPUtime=1763.85 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 371007 0 0 0 176086 299 0 0 20 0 3 0 274633567 1395929088 318339 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 340803 318339 199 433 0 340367 0
[pid=16143/tid=16145] ppid=16141 vsize=1363212 CPUtime=882.04 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 295311 0 0 0 88037 167 0 0 20 0 3 0 274633568 1395929088 318339 33554432000 4194304 5965102 140735149580032 139756227722168 4393958 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=1363212 CPUtime=882.08 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 74263 0 0 0 88048 160 0 0 20 0 3 0 274633568 1395929088 318339 33554432000 4194304 5965102 140735149580032 139756217231704 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.85
Current children cumulated vsize (KiB) 1363212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 4.00 3.97 3.68 5/183 16236
/proc/meminfo: memFree=28715464/32873844 swapFree=7372/7372
[pid=16143] ppid=16141 vsize=1363212 CPUtime=1800.05 cores=0,2,4,6
/proc/16143/stat : 16143 (pwbo2.0) S 16141 16143 15889 0 -1 4202496 371040 0 0 0 179706 299 0 0 20 0 3 0 274633567 1395929088 318372 33554432000 4194304 5965102 140735149580032 140735149579552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16143/statm: 340803 318372 199 433 0 340367 0
[pid=16143/tid=16145] ppid=16141 vsize=1363212 CPUtime=900.15 cores=0,2,4,6
/proc/16143/task/16145/stat : 16145 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 295344 0 0 0 89848 167 0 0 20 0 3 0 274633568 1395929088 318372 33554432000 4194304 5965102 140735149580032 139756227722168 4389308 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16143/tid=16146] ppid=16141 vsize=1363212 CPUtime=900.19 cores=0,2,4,6
/proc/16143/task/16146/stat : 16146 (pwbo2.0) R 16141 16143 15889 0 -1 4202560 74263 0 0 0 89859 160 0 0 20 0 3 0 274633568 1395929088 318372 33554432000 4194304 5965102 140735149580032 139756217231704 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1363212

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.446
CPU time (s): 1800.42
CPU user time (s): 1797.09
CPU system time (s): 3.32449
CPU usage (%): 199.947
Max. virtual memory (cumulated for all children) (KiB): 1385092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.09
system time used= 3.32449
maximum resident set size= 1291488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371041
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= 815
involuntary context switches= 2010

runsolver used 1.86972 second user time and 4.96624 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-27 04:18:08
IDJOB=3703461
IDBENCH=1851
IDSOLVER=2279
FILE ID=node133/3703461-1338085088
RUNJOBID= node133-1338084137-15905
PBS_JOBID= 14624424
Free space on /tmp= 71724 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703461-1338085088/watcher-3703461-1338085088 -o /tmp/evaluation-result-3703461-1338085088/solver-3703461-1338085088 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703461-1338085088.opb

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

MD5SUM BENCH= 0155c0c96434984f6ded6bb7ada20c0c
RANDOM SEED=1513758619

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
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.540
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.540
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.90
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.540
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.540
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:        29987240 kB
Buffers:          314944 kB
Cached:          1663648 kB
SwapCached:          104 kB
Active:           629060 kB
Inactive:        1433176 kB
Active(anon):      74324 kB
Inactive(anon):    11368 kB
Active(file):     554736 kB
Inactive(file):  1421808 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:              5516 kB
Writeback:             0 kB
AnonPages:         90248 kB
Mapped:            15220 kB
Shmem:               212 kB
Slab:             684236 kB
SReclaimable:     126432 kB
SUnreclaim:       557804 kB
KernelStack:        1520 kB
PageTables:         3968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     161292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 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= 71716 MiB
End job on node133 at 2012-05-27 04:33:10