Trace number 3704851

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
wbo 1.7? 1799.51 1800.01

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-112.opb
MD5SUM7a0b627cea8cce891554469525360150
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables33692
Total number of constraints740354
Number of constraints which are clauses662955
Number of constraints which are cardinality constraints (but not clauses)2653
Number of constraints which are nor clauses,nor cardinality constraints74746
Minimum length of a constraint1
Maximum length of a constraint567
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 568
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |   wbo:                    1.7 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3704851-1338111006.opb.
0.00/0.00	c Instance file HOME/instance-3704851-1338111006.opb
0.00/0.00	c File size is 33569425 bytes.
2.09/2.12	c Highest Coefficient sum: 568
2.09/2.12	c ============================[ Problem Statistics ]=============================
2.09/2.12	c |                                                                             |
2.09/2.12	c |  Parsing time:          2.12         s                                      |
2.09/2.12	c |  Number Variables:      33692                                               |
2.09/2.12	c |  Number Clauses:        664296                                              |
2.09/2.12	c |  Number Cardinality:    2643                                                |
2.09/2.12	c |  Number PB Constraints: 74746                                               |
2.09/2.12	c |                                                                             |
2.20/2.23	c |  Problem Type:          Decision                                            |
2.20/2.23	c |  Objective Function:    None                                                |
2.20/2.23	c |                                                                             |
2.20/2.23	c ===============================================================================
1799.51/1800.00	c ===============================================================================
1799.51/1800.00	c Wall Clock Time: 1800.00 s
1799.51/1800.00	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3704851-1338111006/watcher-3704851-1338111006 -o /tmp/evaluation-result-3704851-1338111006/solver-3704851-1338111006 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704851-1338111006.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14982
/proc/meminfo: memFree=30889496/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=35920 CPUtime=0 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) R 14980 14982 12409 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 277225477 36782080 281 33554432000 4194304 5963574 140734625407728 140734625406200 4344320 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 8980 281 177 432 0 349 0

[startup+0.0928419 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14982
/proc/meminfo: memFree=30889496/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=40436 CPUtime=0.09 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) R 14980 14982 12409 0 -1 4202496 1748 0 0 0 9 0 0 0 20 0 1 0 277225477 41406464 1667 33554432000 4194304 5963574 140734625407728 140734625406200 4349263 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 10109 1667 509 432 0 1478 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40436

[startup+0.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14982
/proc/meminfo: memFree=30889496/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=40568 CPUtime=0.09 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) R 14980 14982 12409 0 -1 4202496 1852 0 0 0 9 0 0 0 20 0 1 0 277225477 41541632 1771 33554432000 4194304 5963574 140734625407728 140734625406200 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 10142 1771 539 432 0 1511 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40568

[startup+0.300258 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14982
/proc/meminfo: memFree=30889496/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=49920 CPUtime=0.29 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) R 14980 14982 12409 0 -1 4202496 4966 0 0 0 29 0 0 0 20 0 1 0 277225477 51118080 4820 33554432000 4194304 5963574 140734625407728 140734625406200 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 12480 4820 1314 432 0 3849 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49920

[startup+0.700244 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14982
/proc/meminfo: memFree=30889496/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=68256 CPUtime=0.68 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) R 14980 14982 12409 0 -1 4202496 11202 0 0 0 67 1 0 0 20 0 1 0 277225477 69894144 10927 33554432000 4194304 5963574 140734625407728 140734625406200 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 17064 10927 2887 432 0 8433 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 68256

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14983
/proc/meminfo: memFree=30844220/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=105380 CPUtime=1.49 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) R 14980 14982 12409 0 -1 4202496 23133 0 0 0 145 4 0 0 20 0 1 0 277225477 107909120 22599 33554432000 4194304 5963574 140734625407728 140734625406072 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 26345 22599 6034 432 0 17714 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 105380

[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14983
/proc/meminfo: memFree=30797896/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=242256 CPUtime=3.09 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 61215 0 0 0 298 11 0 0 20 0 2 0 277225477 248070144 50506 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 60564 50506 187 432 0 60129 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 242256

[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14984
/proc/meminfo: memFree=30682220/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=242256 CPUtime=6.29 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 62285 0 0 0 618 11 0 0 20 0 2 0 277225477 248070144 51576 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 60564 51576 187 432 0 60129 0
[pid=14982/tid=14984] ppid=14980 vsize=242256 CPUtime=4.16 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 30133 0 0 0 410 6 0 0 20 0 2 0 277225689 248070144 51576 33554432000 4194304 5963574 140734625407728 140578389309240 4402879 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 242256

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14984
/proc/meminfo: memFree=30674556/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=242256 CPUtime=12.69 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 63746 0 0 0 1257 12 0 0 20 0 2 0 277225477 248070144 53037 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 60564 53037 187 432 0 60129 0
[pid=14982/tid=14984] ppid=14980 vsize=242256 CPUtime=10.53 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 31594 0 0 0 1047 6 0 0 20 0 2 0 277225689 248070144 53037 33554432000 4194304 5963574 140734625407728 140578389309432 5178411 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 242256

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14984
/proc/meminfo: memFree=30658560/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=307792 CPUtime=25.49 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 66229 0 0 0 2536 13 0 0 20 0 2 0 277225477 315179008 55520 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 76948 55520 187 432 0 76513 0
[pid=14982/tid=14984] ppid=14980 vsize=307792 CPUtime=23.3 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 34077 0 0 0 2323 7 0 0 20 0 2 0 277225689 315179008 55520 33554432000 4194304 5963574 140734625407728 140578389309240 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 307792

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14985
/proc/meminfo: memFree=30628320/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=307792 CPUtime=51.08 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 70866 0 0 0 5092 16 0 0 20 0 2 0 277225477 315179008 60157 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 76948 60157 187 432 0 76513 0
[pid=14982/tid=14984] ppid=14980 vsize=307792 CPUtime=48.84 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 38714 0 0 0 4873 11 0 0 20 0 2 0 277225689 315179008 60157 33554432000 4194304 5963574 140734625407728 140578389309240 4399574 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 307792

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14985
/proc/meminfo: memFree=30578772/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=307792 CPUtime=102.28 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 78675 0 0 0 10205 23 0 0 20 0 2 0 277225477 315179008 67966 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 76948 67966 187 432 0 76513 0
[pid=14982/tid=14984] ppid=14980 vsize=307792 CPUtime=99.91 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 46523 0 0 0 9973 18 0 0 20 0 2 0 277225689 315179008 67966 33554432000 4194304 5963574 140734625407728 140578389309240 4399651 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 307792

[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 14985
/proc/meminfo: memFree=30530904/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=373328 CPUtime=162.27 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 85659 0 0 0 16198 29 0 0 20 0 2 0 277225477 382287872 74950 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 93332 74950 187 432 0 92897 0
[pid=14982/tid=14984] ppid=14980 vsize=373328 CPUtime=159.75 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 53508 0 0 0 15950 25 0 0 20 0 2 0 277225689 382287872 74951 33554432000 4194304 5963574 140734625407728 140578389309432 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 373328

[startup+222.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 14985
/proc/meminfo: memFree=30488588/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=373328 CPUtime=222.25 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 90120 0 0 0 22193 32 0 0 20 0 2 0 277225477 382287872 80143 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 93332 80143 187 432 0 92897 0
[pid=14982/tid=14984] ppid=14980 vsize=373328 CPUtime=219.59 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 57968 0 0 0 21929 30 0 0 20 0 2 0 277225689 382287872 80143 33554432000 4194304 5963574 140734625407728 140578389309432 4399982 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 373328

[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 14985
/proc/meminfo: memFree=30456004/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=373328 CPUtime=282.2 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 94456 0 0 0 28183 37 0 0 20 0 2 0 277225477 382287872 85016 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 93332 85016 187 432 0 92897 0
[pid=14982/tid=14984] ppid=14980 vsize=373328 CPUtime=279.4 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 62304 0 0 0 27904 36 0 0 20 0 2 0 277225689 382287872 85016 33554432000 4194304 5963574 140734625407728 140578389309240 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 373328

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 14985
/proc/meminfo: memFree=30424296/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=438864 CPUtime=342.16 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 98517 0 0 0 34174 42 0 0 20 0 2 0 277225477 449396736 89384 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 109716 89384 187 432 0 109281 0
[pid=14982/tid=14984] ppid=14980 vsize=438864 CPUtime=339.21 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 66365 0 0 0 33879 42 0 0 20 0 2 0 277225689 449396736 89384 33554432000 4194304 5963574 140734625407728 140578389309432 4399968 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 438864

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 14986
/proc/meminfo: memFree=30386872/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=438864 CPUtime=402.14 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 102437 0 0 0 40168 46 0 0 20 0 2 0 277225477 449396736 93291 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 109716 93291 187 432 0 109281 0
[pid=14982/tid=14984] ppid=14980 vsize=438864 CPUtime=399.05 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 70285 0 0 0 39859 46 0 0 20 0 2 0 277225689 449396736 93291 33554432000 4194304 5963574 140734625407728 140578389309432 4399503 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 438864

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14986
/proc/meminfo: memFree=30355872/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=438864 CPUtime=462.13 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 106347 0 0 0 46163 50 0 0 20 0 2 0 277225477 449396736 97201 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 109716 97201 187 432 0 109281 0
[pid=14982/tid=14984] ppid=14980 vsize=438864 CPUtime=458.9 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 74195 0 0 0 45840 50 0 0 20 0 2 0 277225689 449396736 97201 33554432000 4194304 5963574 140734625407728 140578389309480 4399375 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0

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


[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14996
/proc/meminfo: memFree=29944760/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=635472 CPUtime=1421.92 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 148623 0 0 0 142100 92 0 0 20 0 2 0 277225477 650723328 142546 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 158868 142546 187 432 0 158433 0
[pid=14982/tid=14984] ppid=14980 vsize=635472 CPUtime=1416.38 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 116471 0 0 0 141530 108 0 0 20 0 2 0 277225689 650723328 142546 33554432000 4194304 5963574 140734625407728 140578389309480 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 635472

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15074
/proc/meminfo: memFree=30821304/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=635472 CPUtime=1481.9 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 150086 0 0 0 148096 94 0 0 20 0 2 0 277225477 650723328 144009 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 158868 144009 187 432 0 158433 0
[pid=14982/tid=14984] ppid=14980 vsize=635472 CPUtime=1476.22 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 117934 0 0 0 147511 111 0 0 20 0 2 0 277225689 650723328 144009 33554432000 4194304 5963574 140734625407728 140578389309240 4400320 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 635472

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15074
/proc/meminfo: memFree=30740308/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=635472 CPUtime=1541.89 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 151963 0 0 0 154092 97 0 0 20 0 2 0 277225477 650723328 146229 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 158868 146229 187 432 0 158433 0
[pid=14982/tid=14984] ppid=14980 vsize=635472 CPUtime=1536.06 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 119811 0 0 0 153492 114 0 0 20 0 2 0 277225689 650723328 146229 33554432000 4194304 5963574 140734625407728 140578389309240 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 635472

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15075
/proc/meminfo: memFree=30680324/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=635472 CPUtime=1601.87 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 154773 0 0 0 160088 99 0 0 20 0 2 0 277225477 650723328 149390 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 158868 149390 187 432 0 158433 0
[pid=14982/tid=14984] ppid=14980 vsize=635472 CPUtime=1595.9 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 122621 0 0 0 159473 117 0 0 20 0 2 0 277225689 650723328 149390 33554432000 4194304 5963574 140734625407728 140578389309432 4399390 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 635472

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 15075
/proc/meminfo: memFree=30607484/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1661.84 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 161883 0 0 0 166081 103 0 0 20 0 2 0 277225477 717832192 157260 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 157260 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1655.72 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 129731 0 0 0 165450 122 0 0 20 0 2 0 277225689 717832192 157260 33554432000 4194304 5963574 140734625407728 140578389309240 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 701008

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 15075
/proc/meminfo: memFree=30565820/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1721.83 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 163687 0 0 0 172079 104 0 0 20 0 2 0 277225477 717832192 159064 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 159064 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1715.57 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 131535 0 0 0 171433 124 0 0 20 0 2 0 277225689 717832192 159064 33554432000 4194304 5963574 140734625407728 140578389309240 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 701008

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 15075
/proc/meminfo: memFree=30534324/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1781.81 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 165958 0 0 0 178076 105 0 0 20 0 2 0 277225477 717832192 161335 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 161335 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1775.42 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 133806 0 0 0 177416 126 0 0 20 0 2 0 277225689 717832192 161335 33554432000 4194304 5963574 140734625407728 140578389309432 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 701008

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15075
/proc/meminfo: memFree=30532712/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1791.42 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 166224 0 0 0 179036 106 0 0 20 0 2 0 277225477 717832192 161601 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 161601 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1785 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 134072 0 0 0 178373 127 0 0 20 0 2 0 277225689 717832192 161601 33554432000 4194304 5963574 140734625407728 140578389309432 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 701008

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15078
/proc/meminfo: memFree=30531060/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1794.62 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 166317 0 0 0 179356 106 0 0 20 0 2 0 277225477 717832192 161694 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 161694 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1788.19 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 134165 0 0 0 178691 128 0 0 20 0 2 0 277225689 717832192 161694 33554432000 4194304 5963574 140734625407728 140578389309240 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 701008

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15078
/proc/meminfo: memFree=30530804/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1797.81 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 166411 0 0 0 179675 106 0 0 20 0 2 0 277225477 717832192 161788 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 161788 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1791.38 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 134259 0 0 0 179010 128 0 0 20 0 2 0 277225689 717832192 161788 33554432000 4194304 5963574 140734625407728 140578389309432 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 701008

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15078
/proc/meminfo: memFree=30530432/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1798.61 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 166436 0 0 0 179755 106 0 0 20 0 2 0 277225477 717832192 161813 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 161813 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1792.18 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 134284 0 0 0 179090 128 0 0 20 0 2 0 277225689 717832192 161813 33554432000 4194304 5963574 140734625407728 140578389309432 4402879 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 701008

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15078
/proc/meminfo: memFree=30528200/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1799.02 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 166446 0 0 0 179796 106 0 0 20 0 2 0 277225477 717832192 161823 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 161823 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1792.58 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 134294 0 0 0 179130 128 0 0 20 0 2 0 277225689 717832192 161823 33554432000 4194304 5963574 140734625407728 140578389309432 4399537 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.02
Current children cumulated vsize (KiB) 701008

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15078
/proc/meminfo: memFree=30528200/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1799.41 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 166457 0 0 0 179835 106 0 0 20 0 2 0 277225477 717832192 161834 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 161834 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1792.97 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 134305 0 0 0 179169 128 0 0 20 0 2 0 277225689 717832192 161834 33554432000 4194304 5963574 140734625407728 140578389309432 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 701008

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15078
/proc/meminfo: memFree=30528200/32873844 swapFree=7616/7616
[pid=14982] ppid=14980 vsize=701008 CPUtime=1799.51 cores=1,3,5,7
/proc/14982/stat : 14982 (wbo1.7) S 14980 14982 12409 0 -1 4202496 166460 0 0 0 179845 106 0 0 20 0 2 0 277225477 717832192 161837 33554432000 4194304 5963574 140734625407728 140734625407248 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14982/statm: 175252 161837 187 432 0 174817 0
[pid=14982/tid=14984] ppid=14980 vsize=701008 CPUtime=1793.07 cores=1,3,5,7
/proc/14982/task/14984/stat : 14984 (wbo1.7) R 14980 14982 12409 0 -1 4202560 134308 0 0 0 179179 128 0 0 20 0 2 0 277225689 717832192 161837 33554432000 4194304 5963574 140734625407728 140578389309432 4399592 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 701008

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14982 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=864291
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=350794
# CPU time returned by wait4() is 1795.22
# while last known CPU time is 1799.51
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.01
CPU time (s): 1799.51
CPU user time (s): 1798.45
CPU system time (s): 1.06
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 701008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.86
system time used= 1.35079
maximum resident set size= 647352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166461
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= 219
involuntary context switches= 1953

runsolver used 3.10953 second user time and 8.34973 second system time

The end

Launcher Data

Begin job on node135 at 2012-05-27 11:30:07
IDJOB=3704851
IDBENCH=89805
IDSOLVER=2283
FILE ID=node135/3704851-1338111006
RUNJOBID= node135-1338083668-12426
PBS_JOBID= 14624422
Free space on /tmp= 71556 MiB

SOLVER NAME= wbo 1.7
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-112.opb
COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704851-1338111006/watcher-3704851-1338111006 -o /tmp/evaluation-result-3704851-1338111006/solver-3704851-1338111006 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3704851-1338111006.opb

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

MD5SUM BENCH= 7a0b627cea8cce891554469525360150
RANDOM SEED=996446680

node135.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.820
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.64
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.820
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	: 5332.57
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.820
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	: 5332.55
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.820
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	: 5332.55
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.820
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	: 5332.54
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.820
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	: 5332.55
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.820
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	: 5238.35
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.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30889760 kB
Buffers:          280576 kB
Cached:           404528 kB
SwapCached:         1732 kB
Active:          1078928 kB
Inactive:          84900 kB
Active(anon):     469120 kB
Inactive(anon):    12016 kB
Active(file):     609808 kB
Inactive(file):    72884 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67105788 kB
Dirty:             38260 kB
Writeback:             0 kB
AnonPages:        472620 kB
Mapped:            12404 kB
Shmem:               132 kB
Slab:             675564 kB
SReclaimable:     117164 kB
SUnreclaim:       558400 kB
KernelStack:        1464 kB
PageTables:         4832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     288480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 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= 71600 MiB
End job on node135 at 2012-05-27 12:00:07