Trace number 3704349

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
pwbo 2.0? 1799.59 1800.02

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-137.opb
MD5SUM395b6779bc0f993a1d1357b59c2e4536
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 variables48411
Total number of constraints1121517
Number of constraints which are clauses1007723
Number of constraints which are cardinality constraints (but not clauses)3523
Number of constraints which are nor clauses,nor cardinality constraints110271
Minimum length of a constraint2
Maximum length of a constraint690
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 691
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 |  pwbo:                    2.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3704349-1338096121.opb.
0.00/0.00	c Instance file HOME/instance-3704349-1338096121.opb
0.00/0.00	c File size is 50888202 bytes.
3.29/3.32	c Highest Coefficient sum: 691
3.29/3.32	c ============================[ Problem Statistics ]=============================
3.29/3.32	c |                                                                             |
3.29/3.32	c |  Parsing time:          3.32         s                                      |
3.29/3.32	c |  Number Variables:      48411                                               |
3.29/3.32	c |  Number Clauses:        1009495                                             |
3.29/3.32	c |  Number Cardinality:    3524                                                |
3.29/3.32	c |  Number PB Constraints: 110271                                              |
3.29/3.32	c |                                                                             |
3.38/3.49	c |  Problem Type:          Decision                                            |
3.38/3.49	c |  Objective Function:    None                                                |
3.38/3.49	c |                                                                             |
3.38/3.49	c ===============================================================================
1799.59/1800.00	c ===============================================================================
1799.59/1800.00	c Wall Clock Time: 1800.00 s
1799.59/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-3704349-1338096121/watcher-3704349-1338096121 -o /tmp/evaluation-result-3704349-1338096121/solver-3704349-1338096121 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704349-1338096121.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.03 2.03 2.00 3/177 20368
/proc/meminfo: memFree=27787452/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=52836 CPUtime=0 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) R 20366 20368 18256 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 275740705 54104064 272 33554432000 4194304 5965102 140734887741280 140733392376680 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 13209 272 174 433 0 349 0

[startup+0.0558399 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 20368
/proc/meminfo: memFree=27787452/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=55308 CPUtime=0.05 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) R 20366 20368 18256 0 -1 4202496 1088 0 0 0 5 0 0 0 20 0 1 0 275740705 56635392 1041 33554432000 4194304 5965102 140734887741280 140733392376680 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 13827 1041 354 433 0 967 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 55308

[startup+0.100275 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 20368
/proc/meminfo: memFree=27787452/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=57344 CPUtime=0.09 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) R 20366 20368 18256 0 -1 4202496 1799 0 0 0 9 0 0 0 20 0 1 0 275740705 58720256 1719 33554432000 4194304 5965102 140734887741280 140733392376680 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 14336 1719 526 433 0 1476 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 57344

[startup+0.300247 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 20368
/proc/meminfo: memFree=27787452/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=66288 CPUtime=0.29 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) R 20366 20368 18256 0 -1 4202496 4781 0 0 0 29 0 0 0 20 0 1 0 275740705 67878912 4636 33554432000 4194304 5965102 140734887741280 140733392376680 4350459 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 16572 4636 1269 433 0 3712 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66288

[startup+0.700247 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 20368
/proc/meminfo: memFree=27787452/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=83760 CPUtime=0.69 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) R 20366 20368 18256 0 -1 4202496 10668 0 0 0 68 1 0 0 20 0 1 0 275740705 85770240 10394 33554432000 4194304 5965102 140734887741280 140734887739224 5137076 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 20940 10394 2758 433 0 8080 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83760

[startup+1.50026 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 20369
/proc/meminfo: memFree=27744276/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=120564 CPUtime=1.49 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) R 20366 20368 18256 0 -1 4202496 22880 0 0 0 146 3 0 0 20 0 1 0 275740705 123457536 22347 33554432000 4194304 5965102 140734887741280 140734887739224 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 30141 22348 5858 433 0 17281 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 120564

[startup+3.10027 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 20369
/proc/meminfo: memFree=27697340/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=188492 CPUtime=3.08 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) R 20366 20368 18256 0 -1 4202496 44088 0 0 0 303 5 0 0 20 0 1 0 275740705 193015808 43552 33554432000 4194304 5965102 140734887741280 140734887739224 5249226 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 47123 43553 11770 433 0 34263 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 188492

[startup+6.30029 s]
/proc/loadavg: 2.10 2.04 2.01 3/179 20370
/proc/meminfo: memFree=27481384/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=359244 CPUtime=6.29 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 90097 0 0 0 614 15 0 0 20 0 2 0 275740705 367865856 77084 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 89811 77084 190 433 0 89375 0
[pid=20368/tid=20370] ppid=20366 vsize=359244 CPUtime=2.95 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 42799 0 0 0 287 8 0 0 20 0 2 0 275741037 367865856 77084 33554432000 4194304 5965102 140734887741280 140510638040888 4220672 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) 359244

[startup+12.7003 s]
/proc/loadavg: 2.10 2.04 2.01 3/179 20370
/proc/meminfo: memFree=27473580/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=359244 CPUtime=12.68 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 91748 0 0 0 1252 16 0 0 20 0 2 0 275740705 367865856 78735 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 89811 78735 190 433 0 89375 0
[pid=20368/tid=20370] ppid=20366 vsize=359244 CPUtime=9.33 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 44450 0 0 0 924 9 0 0 20 0 2 0 275741037 367865856 78735 33554432000 4194304 5965102 140734887741280 140510638040888 4401064 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 359244

[startup+25.5003 s]
/proc/loadavg: 2.07 2.04 2.01 3/179 20370
/proc/meminfo: memFree=27464412/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=359244 CPUtime=25.48 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 94193 0 0 0 2531 17 0 0 20 0 2 0 275740705 367865856 81180 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 89811 81180 190 433 0 89375 0
[pid=20368/tid=20370] ppid=20366 vsize=359244 CPUtime=22.1 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 46895 0 0 0 2200 10 0 0 20 0 2 0 275741037 367865856 81180 33554432000 4194304 5965102 140734887741280 140510638041080 4401118 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 359244

[startup+51.1003 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 20370
/proc/meminfo: memFree=27448644/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=424780 CPUtime=51.07 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 98232 0 0 0 5087 20 0 0 20 0 2 0 275740705 434974720 85219 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 106195 85219 190 433 0 105759 0
[pid=20368/tid=20370] ppid=20366 vsize=424780 CPUtime=47.63 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 50934 0 0 0 4750 13 0 0 20 0 2 0 275741037 434974720 85219 33554432000 4194304 5965102 140734887741280 140510638041128 4401131 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 424780

[startup+102.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 20370
/proc/meminfo: memFree=27400328/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=424780 CPUtime=102.27 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 106979 0 0 0 10200 27 0 0 20 0 2 0 275740705 434974720 94038 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 106195 94038 190 433 0 105759 0
[pid=20368/tid=20370] ppid=20366 vsize=424780 CPUtime=98.7 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 59681 0 0 0 9849 21 0 0 20 0 2 0 275741037 434974720 94038 33554432000 4194304 5965102 140734887741280 140510638041080 4401582 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 424780

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 20371
/proc/meminfo: memFree=27342644/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=490316 CPUtime=162.23 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 115252 0 0 0 16189 34 0 0 20 0 2 0 275740705 502083584 103880 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 122579 103880 190 433 0 122143 0
[pid=20368/tid=20370] ppid=20366 vsize=490316 CPUtime=158.51 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 67954 0 0 0 15822 29 0 0 20 0 2 0 275741037 502083584 103880 33554432000 4194304 5965102 140734887741280 140510638041080 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 490316

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 20372
/proc/meminfo: memFree=27299948/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=490316 CPUtime=222.18 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 119498 0 0 0 22180 38 0 0 20 0 2 0 275740705 502083584 108190 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 122579 108190 190 433 0 122143 0
[pid=20368/tid=20370] ppid=20366 vsize=490316 CPUtime=218.33 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 72200 0 0 0 21799 34 0 0 20 0 2 0 275741037 502083584 108190 33554432000 4194304 5965102 140734887741280 140510638040888 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 490316

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20372
/proc/meminfo: memFree=27266000/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=490316 CPUtime=282.16 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 122420 0 0 0 28175 41 0 0 20 0 2 0 275740705 502083584 111440 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 122579 111440 190 433 0 122143 0
[pid=20368/tid=20370] ppid=20366 vsize=490316 CPUtime=278.15 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 75122 0 0 0 27777 38 0 0 20 0 2 0 275741037 502083584 111440 33554432000 4194304 5965102 140734887741280 140510638040888 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 490316

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20372
/proc/meminfo: memFree=27235800/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=490316 CPUtime=342.15 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 124912 0 0 0 34172 43 0 0 20 0 2 0 275740705 502083584 113954 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 122579 113954 190 433 0 122143 0
[pid=20368/tid=20370] ppid=20366 vsize=490316 CPUtime=337.99 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 77614 0 0 0 33758 41 0 0 20 0 2 0 275741037 502083584 113954 33554432000 4194304 5965102 140734887741280 140510638040888 4401096 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 490316

[startup+402.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 20372
/proc/meminfo: memFree=27209040/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=490316 CPUtime=402.14 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 126773 0 0 0 40169 45 0 0 20 0 2 0 275740705 502083584 115814 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 122579 115814 190 433 0 122143 0
[pid=20368/tid=20370] ppid=20366 vsize=490316 CPUtime=397.83 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 79475 0 0 0 39739 44 0 0 20 0 2 0 275741037 502083584 115814 33554432000 4194304 5965102 140734887741280 140510638041080 4401475 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) 490316

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20373
/proc/meminfo: memFree=27185164/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=555852 CPUtime=462.12 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 128799 0 0 0 46166 46 0 0 20 0 2 0 275740705 569192448 117840 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 138963 117840 190 433 0 138527 0
[pid=20368/tid=20370] ppid=20366 vsize=555852 CPUtime=457.68 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 81501 0 0 0 45722 46 0 0 20 0 2 0 275741037 569192448 117840 33554432000 4194304 5965102 140734887741280 140510638041080 4401149 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/179 20422
/proc/meminfo: memFree=24674804/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=752460 CPUtime=1421.95 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 188132 0 0 0 142085 110 0 0 20 0 2 0 275740705 770519040 179489 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 188115 179489 190 433 0 187679 0
[pid=20368/tid=20370] ppid=20366 vsize=752460 CPUtime=1415.13 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 140834 0 0 0 141388 125 0 0 20 0 2 0 275741037 770519040 179489 33554432000 4194304 5965102 140734887741280 140510638041128 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 752460

[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 20422
/proc/meminfo: memFree=24625480/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=752460 CPUtime=1481.94 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 190661 0 0 0 148080 114 0 0 20 0 2 0 275740705 770519040 182018 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 188115 182018 190 433 0 187679 0
[pid=20368/tid=20370] ppid=20366 vsize=752460 CPUtime=1474.96 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 143363 0 0 0 147367 129 0 0 20 0 2 0 275741037 770519040 182018 33554432000 4194304 5965102 140734887741280 140510638040888 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 752460

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20422
/proc/meminfo: memFree=24574172/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=817996 CPUtime=1541.93 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 192924 0 0 0 154076 117 0 0 20 0 2 0 275740705 837627904 184281 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 204499 184281 190 433 0 204063 0
[pid=20368/tid=20370] ppid=20366 vsize=817996 CPUtime=1534.8 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 145626 0 0 0 153347 133 0 0 20 0 2 0 275741037 837627904 184281 33554432000 4194304 5965102 140734887741280 140510638041128 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 817996

[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 20422
/proc/meminfo: memFree=24528072/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=817996 CPUtime=1601.92 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 195543 0 0 0 160072 120 0 0 20 0 2 0 275740705 837627904 186900 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 204499 186900 190 433 0 204063 0
[pid=20368/tid=20370] ppid=20366 vsize=817996 CPUtime=1594.65 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 148245 0 0 0 159328 137 0 0 20 0 2 0 275741037 837627904 186900 33554432000 4194304 5965102 140734887741280 140510638041080 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 817996

[startup+1662.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 20423
/proc/meminfo: memFree=24481600/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=817996 CPUtime=1661.91 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 198504 0 0 0 166069 122 0 0 20 0 2 0 275740705 837627904 189861 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 204499 189861 190 433 0 204063 0
[pid=20368/tid=20370] ppid=20366 vsize=817996 CPUtime=1654.49 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 151206 0 0 0 165308 141 0 0 20 0 2 0 275741037 837627904 189861 33554432000 4194304 5965102 140734887741280 140510638041080 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 817996

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/180 20426
/proc/meminfo: memFree=24430900/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=817996 CPUtime=1721.91 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 201249 0 0 0 172065 126 0 0 20 0 2 0 275740705 837627904 193628 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 204499 193628 190 433 0 204063 0
[pid=20368/tid=20370] ppid=20366 vsize=817996 CPUtime=1714.33 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 153951 0 0 0 171288 145 0 0 20 0 2 0 275741037 837627904 193628 33554432000 4194304 5965102 140734887741280 140510638041080 4401109 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 817996

[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 20426
/proc/meminfo: memFree=24379608/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=817996 CPUtime=1781.9 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 204216 0 0 0 178060 130 0 0 20 0 2 0 275740705 837627904 196594 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 204499 196594 190 433 0 204063 0
[pid=20368/tid=20370] ppid=20366 vsize=817996 CPUtime=1774.18 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 156918 0 0 0 177269 149 0 0 20 0 2 0 275741037 837627904 196594 33554432000 4194304 5965102 140734887741280 140510638041080 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 817996

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

[startup+1791.91 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 20426
/proc/meminfo: memFree=24371220/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=817996 CPUtime=1791.5 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 204706 0 0 0 179020 130 0 0 20 0 2 0 275740705 837627904 197084 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 204499 197084 190 433 0 204063 0
[pid=20368/tid=20370] ppid=20366 vsize=817996 CPUtime=1783.76 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 157408 0 0 0 178226 150 0 0 20 0 2 0 275741037 837627904 197084 33554432000 4194304 5965102 140734887741280 140510638041080 4400955 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 817996

[startup+1795.1 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 20426
/proc/meminfo: memFree=24368864/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=817996 CPUtime=1794.69 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 204928 0 0 0 179339 130 0 0 20 0 2 0 275740705 837627904 197306 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 204499 197306 190 433 0 204063 0
[pid=20368/tid=20370] ppid=20366 vsize=817996 CPUtime=1786.95 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 157630 0 0 0 178544 151 0 0 20 0 2 0 275741037 837627904 197306 33554432000 4194304 5965102 140734887741280 140510638041080 4401109 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 817996

[startup+1798.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 20426
/proc/meminfo: memFree=24367624/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=817996 CPUtime=1797.89 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 205111 0 0 0 179658 131 0 0 20 0 2 0 275740705 837627904 197489 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 204499 197489 190 433 0 204063 0
[pid=20368/tid=20370] ppid=20366 vsize=817996 CPUtime=1790.13 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 157813 0 0 0 178862 151 0 0 20 0 2 0 275741037 837627904 197489 33554432000 4194304 5965102 140734887741280 140510638041128 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 817996

[startup+1799.1 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 20426
/proc/meminfo: memFree=24367004/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=817996 CPUtime=1798.69 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 205164 0 0 0 179738 131 0 0 20 0 2 0 275740705 837627904 197542 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 204499 197542 190 433 0 204063 0
[pid=20368/tid=20370] ppid=20366 vsize=817996 CPUtime=1790.93 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 157866 0 0 0 178942 151 0 0 20 0 2 0 275741037 837627904 197542 33554432000 4194304 5965102 140734887741280 140510638041080 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (KiB) 817996

[startup+1799.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 20426
/proc/meminfo: memFree=24366012/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=817996 CPUtime=1799.1 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 205188 0 0 0 179779 131 0 0 20 0 2 0 275740705 837627904 197566 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 204499 197566 190 433 0 204063 0
[pid=20368/tid=20370] ppid=20366 vsize=817996 CPUtime=1791.34 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 157890 0 0 0 178983 151 0 0 20 0 2 0 275741037 837627904 197566 33554432000 4194304 5965102 140734887741280 140510638041080 4401109 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.1
Current children cumulated vsize (KiB) 817996

[startup+1799.9 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 20426
/proc/meminfo: memFree=24366012/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=817996 CPUtime=1799.49 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 205213 0 0 0 179818 131 0 0 20 0 2 0 275740705 837627904 197591 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 204499 197591 190 433 0 204063 0
[pid=20368/tid=20370] ppid=20366 vsize=817996 CPUtime=1791.73 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 157915 0 0 0 179022 151 0 0 20 0 2 0 275741037 837627904 197591 33554432000 4194304 5965102 140734887741280 140510638041080 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 817996

[startup+1800 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 20426
/proc/meminfo: memFree=24366012/32873844 swapFree=6856/6856
[pid=20368] ppid=20366 vsize=817996 CPUtime=1799.59 cores=1,3,5,7
/proc/20368/stat : 20368 (pwbo2.0) S 20366 20368 18256 0 -1 4202496 205219 0 0 0 179828 131 0 0 20 0 2 0 275740705 837627904 197597 33554432000 4194304 5965102 140734887741280 140734887740800 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20368/statm: 204499 197597 190 433 0 204063 0
[pid=20368/tid=20370] ppid=20366 vsize=817996 CPUtime=1791.83 cores=1,3,5,7
/proc/20368/task/20370/stat : 20370 (pwbo2.0) R 20366 20368 18256 0 -1 4202560 157921 0 0 0 179032 151 0 0 20 0 2 0 275741037 837627904 197597 33554432000 4194304 5965102 140734887741280 140510638041080 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 817996

Child status: 255

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

Real time (s): 1800.02
CPU time (s): 1799.59
CPU user time (s): 1798.28
CPU system time (s): 1.31
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 817996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.58
system time used= 1.60776
maximum resident set size= 790412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205225
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= 165
involuntary context switches= 1876

runsolver used 3.9254 second user time and 9.03163 second system time

The end

Launcher Data 

Begin job on node106 at 2012-05-27 07:22:02
IDJOB=3704349
IDBENCH=89649
IDSOLVER=2280
FILE ID=node106/3704349-1338096121
RUNJOBID= node106-1338087979-18273
PBS_JOBID= 14624450
Free space on /tmp= 71324 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-137.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 -thread=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704349-1338096121/watcher-3704349-1338096121 -o /tmp/evaluation-result-3704349-1338096121/solver-3704349-1338096121 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704349-1338096121.opb

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

MD5SUM BENCH= 395b6779bc0f993a1d1357b59c2e4536
RANDOM SEED=1690877948

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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.065
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:        27787716 kB
Buffers:          319520 kB
Cached:          3592784 kB
SwapCached:            0 kB
Active:          1562740 kB
Inactive:        2712460 kB
Active(anon):     365360 kB
Inactive(anon):        0 kB
Active(file):    1197380 kB
Inactive(file):  2712460 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             55132 kB
Writeback:            40 kB
AnonPages:        369836 kB
Mapped:            15188 kB
Shmem:               200 kB
Slab:             671032 kB
SReclaimable:     113172 kB
SUnreclaim:       557860 kB
KernelStack:        1456 kB
PageTables:         4672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     167912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    335872 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= 70984 MiB
End job on node106 at 2012-05-27 07:52:02