Trace number 3704067

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.56 902.165

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX180_K192_cod2.opb
MD5SUM1a988adb2582fdda2a937cfe38fb69f2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-36224
Best CPU time to get the best result obtained on this benchmark989.98
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1605
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 370186
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 370186
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-3704067-1338100091.opb.
0.00/0.00	c Instance file HOME/instance-3704067-1338100091.opb
0.00/0.00	c File size is 28233538 bytes.
3.50/3.54	c Cost Offset: -370186
3.50/3.54	c Highest Coefficient sum: 63716
3.50/3.54	c ============================[ Problem Statistics ]=============================
3.50/3.54	c |                                                                             |
3.50/3.54	c |  Parsing time:          3.55         s                                      |
3.50/3.54	c |  Number Variables:      400896                                              |
3.50/3.54	c |  Number Clauses:        400785                                              |
3.50/3.54	c |  Number Cardinality:    1977                                                |
3.50/3.54	c |  Number PB Constraints: 1                                                   |
3.50/3.54	c |                                                                             |
4.19/3.91	c |  Problem Type:          Optimization                                        |
4.19/3.91	c |  Objective Function:    PB Constraint                                       |
4.19/3.91	c |                                                                             |
4.19/3.91	c ===============================================================================
1800.13/902.11	c ===============================================================================
1800.13/902.11	c Wall Clock Time: 902.12 s
1800.13/902.11	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-3704067-1338100091/watcher-3704067-1338100091 -o /tmp/evaluation-result-3704067-1338100091/solver-3704067-1338100091 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704067-1338100091.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: 3.82 3.94 3.92 4/180 19035
/proc/meminfo: memFree=29121800/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=32860 CPUtime=0 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) R 19033 19035 15889 0 -1 4202496 655 0 0 0 0 0 0 0 20 0 1 0 276133995 33648640 608 33554432000 4194304 5965102 140736724242736 140736724240152 5180368 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19035/statm: 8215 609 169 433 0 886 0

[startup+0.06216 s]
/proc/loadavg: 3.82 3.94 3.92 4/180 19035
/proc/meminfo: memFree=29121800/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=44276 CPUtime=0.05 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) R 19033 19035 15889 0 -1 4202496 3350 0 0 0 5 0 0 0 20 0 1 0 276133995 45338624 3237 33554432000 4194304 5965102 140736724242736 140736724240152 4396757 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19035/statm: 11069 3238 324 433 0 3740 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 44276

[startup+0.100365 s]
/proc/loadavg: 3.82 3.94 3.92 4/180 19035
/proc/meminfo: memFree=29121800/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=48176 CPUtime=0.09 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) R 19033 19035 15889 0 -1 4202496 4638 0 0 0 9 0 0 0 20 0 1 0 276133995 49332224 4476 33554432000 4194304 5965102 140736724242736 140736724240152 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19035/statm: 12044 4477 424 433 0 4715 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48176

[startup+0.30031 s]
/proc/loadavg: 3.82 3.94 3.92 4/180 19035
/proc/meminfo: memFree=29121800/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=68908 CPUtime=0.28 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) R 19033 19035 15889 0 -1 4202496 10418 0 0 0 27 1 0 0 20 0 1 0 276133995 70561792 9989 33554432000 4194304 5965102 140736724242736 140736724240152 5156888 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19035/statm: 17227 9994 940 433 0 9898 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 68908

[startup+0.700329 s]
/proc/loadavg: 3.82 3.94 3.92 4/180 19035
/proc/meminfo: memFree=29121800/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=113780 CPUtime=0.68 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) R 19033 19035 15889 0 -1 4202496 21844 0 0 0 65 3 0 0 20 0 1 0 276133995 116510720 20885 33554432000 4194304 5965102 140736724242736 140736724240152 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19035/statm: 28445 20886 1889 433 0 21116 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 113780

[startup+1.50031 s]
/proc/loadavg: 3.82 3.94 3.92 4/181 19036
/proc/meminfo: memFree=29012996/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=203816 CPUtime=1.49 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) R 19033 19035 15889 0 -1 4202496 43294 0 0 0 141 8 0 0 20 0 1 0 276133995 208707584 42808 33554432000 4194304 5965102 140736724242736 140736724240680 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19035/statm: 50954 42809 3524 433 0 43625 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 203816

[startup+3.10031 s]
/proc/loadavg: 3.75 3.92 3.92 4/181 19036
/proc/meminfo: memFree=28916568/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=320376 CPUtime=3.09 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) R 19033 19035 15889 0 -1 4202496 71289 0 0 0 297 12 0 0 20 0 1 0 276133995 328065024 72787 33554432000 4194304 5965102 140736724242736 140736724240712 5137146 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 80094 72787 6313 433 0 72765 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 320376

[startup+6.30039 s]
/proc/loadavg: 3.75 3.92 3.92 5/183 19038
/proc/meminfo: memFree=28431876/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=825336 CPUtime=8.85 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 166628 0 0 0 842 43 0 0 20 0 3 0 276133995 845144064 177042 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 206334 177042 198 433 0 205898 0
[pid=19035/tid=19037] ppid=19033 vsize=825336 CPUtime=2.7 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 64950 0 0 0 250 20 0 0 20 0 3 0 276134349 845144064 177042 33554432000 4194304 5965102 140736724242736 140653736176152 4420516 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=825336 CPUtime=2.62 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 23922 0 0 0 252 10 0 0 20 0 3 0 276134349 845144064 177042 33554432000 4194304 5965102 140736724242736 140653725685880 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.85
Current children cumulated vsize (KiB) 825336

[startup+12.7004 s]
/proc/loadavg: 3.77 3.92 3.92 5/183 19038
/proc/meminfo: memFree=28362632/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=890872 CPUtime=21.64 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 172242 0 0 0 2117 47 0 0 20 0 3 0 276133995 912252928 193170 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 222718 193170 199 433 0 222282 0
[pid=19035/tid=19037] ppid=19033 vsize=890872 CPUtime=9.1 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 69676 0 0 0 887 23 0 0 20 0 3 0 276134349 912252928 193170 33554432000 4194304 5965102 140736724242736 140653736176152 5143136 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=890872 CPUtime=9.01 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 24810 0 0 0 889 12 0 0 20 0 3 0 276134349 912252928 193170 33554432000 4194304 5965102 140736724242736 140653725686072 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 21.64
Current children cumulated vsize (KiB) 890872

[startup+25.5073 s]
/proc/loadavg: 3.82 3.93 3.92 5/183 19038
/proc/meminfo: memFree=28291696/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=956408 CPUtime=47.26 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 182843 0 0 0 4673 53 0 0 20 0 3 0 276133995 979361792 201815 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 239102 201815 199 433 0 238666 0
[pid=19035/tid=19037] ppid=19033 vsize=956408 CPUtime=21.9 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 79908 0 0 0 2163 27 0 0 20 0 3 0 276134349 979361792 201815 33554432000 4194304 5965102 140736724242736 140653736176152 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=956408 CPUtime=21.82 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 25179 0 0 0 2169 13 0 0 20 0 3 0 276134349 979361792 201815 33554432000 4194304 5965102 140736724242736 140653725686072 4390200 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 47.26
Current children cumulated vsize (KiB) 956408

[startup+51.1004 s]
/proc/loadavg: 3.82 3.91 3.91 5/183 19038
/proc/meminfo: memFree=28200860/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=1037132 CPUtime=98.42 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 203514 0 0 0 9778 64 0 0 20 0 3 0 276133995 1062023168 219792 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 259283 219792 199 433 0 258847 0
[pid=19035/tid=19037] ppid=19033 vsize=1037132 CPUtime=47.5 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 100050 0 0 0 4712 38 0 0 20 0 3 0 276134349 1062023168 219792 33554432000 4194304 5965102 140736724242736 140653736176024 4376299 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=1037132 CPUtime=47.41 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 25708 0 0 0 4727 14 0 0 20 0 3 0 276134349 1062023168 219792 33554432000 4194304 5965102 140736724242736 140653725686072 4404383 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 98.42
Current children cumulated vsize (KiB) 1037132

[startup+102.3 s]
/proc/loadavg: 3.92 3.92 3.91 5/183 19039
/proc/meminfo: memFree=28019524/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=1168204 CPUtime=200.81 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 230573 0 0 0 20001 80 0 0 20 0 3 0 276133995 1196240896 247417 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 292051 247417 199 433 0 291615 0
[pid=19035/tid=19037] ppid=19033 vsize=1168204 CPUtime=98.7 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 126084 0 0 0 9818 52 0 0 20 0 3 0 276134349 1196240896 247417 33554432000 4194304 5965102 140736724242736 140653736175912 5122905 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=1168204 CPUtime=98.61 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 26733 0 0 0 9843 18 0 0 20 0 3 0 276134349 1196240896 247417 33554432000 4194304 5965102 140736724242736 140653725686072 4390150 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 200.81
Current children cumulated vsize (KiB) 1168204

[startup+162.3 s]
/proc/loadavg: 3.97 3.94 3.91 5/184 19042
/proc/meminfo: memFree=27804272/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=1233740 CPUtime=320.79 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 250104 0 0 0 31983 96 0 0 20 0 3 0 276133995 1263349760 272679 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 308435 272679 199 433 0 307999 0
[pid=19035/tid=19037] ppid=19033 vsize=1233740 CPUtime=158.7 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 144729 0 0 0 15804 66 0 0 20 0 3 0 276134349 1263349760 272679 33554432000 4194304 5965102 140736724242736 140653736175960 5143165 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=1233740 CPUtime=158.62 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 27619 0 0 0 15840 22 0 0 20 0 3 0 276134349 1263349760 272679 33554432000 4194304 5965102 140736724242736 140653725686072 4393903 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 320.79
Current children cumulated vsize (KiB) 1233740

[startup+222.3 s]
/proc/loadavg: 3.99 3.95 3.91 5/183 19042
/proc/meminfo: memFree=27638884/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=1233740 CPUtime=440.79 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 253693 0 0 0 43977 102 0 0 20 0 3 0 276133995 1263349760 276160 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 308435 276160 199 433 0 307999 0
[pid=19035/tid=19037] ppid=19033 vsize=1233740 CPUtime=218.7 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 147359 0 0 0 21801 69 0 0 20 0 3 0 276134349 1263349760 276160 33554432000 4194304 5965102 140736724242736 140653736176152 4400978 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=1233740 CPUtime=218.62 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 28578 0 0 0 21836 26 0 0 20 0 3 0 276134349 1263349760 276160 33554432000 4194304 5965102 140736724242736 140653725686072 4393958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 440.79
Current children cumulated vsize (KiB) 1233740

[startup+282.3 s]
/proc/loadavg: 3.99 3.95 3.91 5/183 19042
/proc/meminfo: memFree=27507876/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=1299276 CPUtime=560.75 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 258163 0 0 0 55968 107 0 0 20 0 3 0 276133995 1330458624 284266 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 324819 284266 199 433 0 324383 0
[pid=19035/tid=19037] ppid=19033 vsize=1299276 CPUtime=278.7 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 150848 0 0 0 27797 73 0 0 20 0 3 0 276134349 1330458624 284266 33554432000 4194304 5965102 140736724242736 140653736175960 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=1299276 CPUtime=278.62 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 29559 0 0 0 27833 29 0 0 20 0 3 0 276134349 1330458624 284266 33554432000 4194304 5965102 140736724242736 140653725686072 4400894 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 560.75
Current children cumulated vsize (KiB) 1299276

[startup+342.307 s]
/proc/loadavg: 3.99 3.96 3.91 5/183 19042
/proc/meminfo: memFree=27355012/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=1364812 CPUtime=680.75 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 275938 0 0 0 67955 120 0 0 20 0 3 0 276133995 1397567488 301626 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 341203 301626 199 433 0 340767 0
[pid=19035/tid=19037] ppid=19033 vsize=1364812 CPUtime=338.7 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 167942 0 0 0 33785 85 0 0 20 0 3 0 276134349 1397567488 301626 33554432000 4194304 5965102 140736724242736 140653736176152 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=1364812 CPUtime=338.63 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 30240 0 0 0 33830 33 0 0 20 0 3 0 276134349 1397567488 301626 33554432000 4194304 5965102 140736724242736 140653725686072 4404757 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 680.75
Current children cumulated vsize (KiB) 1364812

[startup+402.3 s]
/proc/loadavg: 3.99 3.96 3.91 5/183 19043
/proc/meminfo: memFree=27215152/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=1430348 CPUtime=800.7 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 298203 0 0 0 79937 133 0 0 20 0 3 0 276133995 1464676352 314319 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 357587 314319 199 433 0 357151 0
[pid=19035/tid=19037] ppid=19033 vsize=1430348 CPUtime=398.69 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 189622 0 0 0 39772 97 0 0 20 0 3 0 276134349 1464676352 314319 33554432000 4194304 5965102 140736724242736 140653736175960 4404577 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=1430348 CPUtime=398.63 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 30825 0 0 0 39827 36 0 0 20 0 3 0 276134349 1464676352 314319 33554432000 4194304 5965102 140736724242736 140653725686072 4410314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 800.7
Current children cumulated vsize (KiB) 1430348

[startup+462.3 s]
/proc/loadavg: 4.06 3.98 3.92 5/184 19044
/proc/meminfo: memFree=27016840/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=1495884 CPUtime=920.69 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 310014 0 0 0 91929 140 0 0 20 0 3 0 276133995 1531785216 327592 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 373971 327592 199 433 0 373535 0
[pid=19035/tid=19037] ppid=19033 vsize=1495884 CPUtime=458.69 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 200644 0 0 0 45767 102 0 0 20 0 3 0 276134349 1531785216 327592 33554432000 4194304 5965102 140736724242736 140653736175912 5123123 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=1495884 CPUtime=458.63 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 31614 0 0 0 45826 37 0 0 20 0 3 0 276134349 1531785216 327592 33554432000 4194304 5965102 140736724242736 140653725686072 4401628 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 920.69
Current children cumulated vsize (KiB) 1495884

[startup+522.3 s]
/proc/loadavg: 4.02 3.98 3.92 5/183 19044
/proc/meminfo: memFree=26876452/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=1561420 CPUtime=1040.67 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 316373 0 0 0 103920 147 0 0 20 0 3 0 276133995 1598894080 344671 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 390355 344671 199 433 0 389919 0
[pid=19035/tid=19037] ppid=19033 vsize=1561420 CPUtime=518.69 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 206308 0 0 0 51761 108 0 0 20 0 3 0 276134349 1598894080 344671 33554432000 4194304 5965102 140736724242736 140653736175960 4393955 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=1561420 CPUtime=518.63 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 32309 0 0 0 51823 40 0 0 20 0 3 0 276134349 1598894080 344671 33554432000 4194304 5965102 140736724242736 140653725686072 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1040.67
Current children cumulated vsize (KiB) 1561420

[startup+582.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 19044
/proc/meminfo: memFree=26824312/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=1561420 CPUtime=1160.64 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 317097 0 0 0 115917 147 0 0 20 0 3 0 276133995 1598894080 345395 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 390355 345395 199 433 0 389919 0
[pid=19035/tid=19037] ppid=19033 vsize=1561420 CPUtime=578.69 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 206308 0 0 0 57760 109 0 0 20 0 3 0 276134349 1598894080 345395 33554432000 4194304 5965102 140736724242736 140653736175960 4390204 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=1561420 CPUtime=578.63 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 33033 0 0 0 57821 42 0 0 20 0 3 0 276134349 1598894080 345395 33554432000 4194304 5965102 140736724242736 140653725686072 4393922 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1160.64
Current children cumulated vsize (KiB) 1561420

[startup+642.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 19044
/proc/meminfo: memFree=26758188/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=1561420 CPUtime=1280.62 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 317840 0 0 0 127914 148 0 0 20 0 3 0 276133995 1598894080 346138 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 390355 346138 199 433 0 389919 0
[pid=19035/tid=19037] ppid=19033 vsize=1561420 CPUtime=638.69 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 206308 0 0 0 63759 110 0 0 20 0 3 0 276134349 1598894080 346138 33554432000 4194304 5965102 140736724242736 140653736175960 4390204 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=1561420 CPUtime=638.64 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 33776 0 0 0 63820 44 0 0 20 0 3 0 276134349 1598894080 346138 33554432000 4194304 5965102 140736724242736 140653725686072 4404615 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1280.62
Current children cumulated vsize (KiB) 1561420

[startup+702.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 19045
/proc/meminfo: memFree=26732924/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=1561420 CPUtime=1400.59 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 318729 0 0 0 139909 150 0 0 20 0 3 0 276133995 1598894080 347007 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 390355 347007 199 433 0 389919 0
[pid=19035/tid=19037] ppid=19033 vsize=1561420 CPUtime=698.7 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 206308 0 0 0 69759 111 0 0 20 0 3 0 276134349 1598894080 347007 33554432000 4194304 5965102 140736724242736 140653736175960 4404604 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=1561420 CPUtime=698.62 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 34665 0 0 0 69816 46 0 0 20 0 3 0 276134349 1598894080 347007 33554432000 4194304 5965102 140736724242736 140653725685880 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1400.59
Current children cumulated vsize (KiB) 1561420

[startup+762.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/184 19048
/proc/meminfo: memFree=26635708/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=1561420 CPUtime=1520.57 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 319514 0 0 0 151905 152 0 0 20 0 3 0 276133995 1598894080 348176 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 390355 348176 199 433 0 389919 0
[pid=19035/tid=19037] ppid=19033 vsize=1561420 CPUtime=758.7 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 206323 0 0 0 75758 112 0 0 20 0 3 0 276134349 1598894080 348176 33554432000 4194304 5965102 140736724242736 140653736175960 5143194 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=1561420 CPUtime=758.62 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 35435 0 0 0 75813 49 0 0 20 0 3 0 276134349 1598894080 348176 33554432000 4194304 5965102 140736724242736 140653725686072 4404630 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1520.57
Current children cumulated vsize (KiB) 1561420

[startup+822.3 s]
/proc/loadavg: 3.88 3.94 3.91 6/183 19089
/proc/meminfo: memFree=27754672/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=1561420 CPUtime=1640.54 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 320157 0 0 0 163901 153 0 0 20 0 3 0 276133995 1598894080 350150 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 390355 350150 199 433 0 389919 0
[pid=19035/tid=19037] ppid=19033 vsize=1561420 CPUtime=818.69 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 206325 0 0 0 81756 113 0 0 20 0 3 0 276134349 1598894080 350150 33554432000 4194304 5965102 140736724242736 140653736175960 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=1561420 CPUtime=818.62 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 36076 0 0 0 81810 52 0 0 20 0 3 0 276134349 1598894080 350150 33554432000 4194304 5965102 140736724242736 140653725686072 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1640.54
Current children cumulated vsize (KiB) 1561420

[startup+882.3 s]
/proc/loadavg: 3.95 3.95 3.91 6/183 19089
/proc/meminfo: memFree=27717604/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=1561420 CPUtime=1760.52 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 320669 0 0 0 175897 155 0 0 20 0 3 0 276133995 1598894080 350664 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 390355 350664 199 433 0 389919 0
[pid=19035/tid=19037] ppid=19033 vsize=1561420 CPUtime=878.69 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 206328 0 0 0 87755 114 0 0 20 0 3 0 276134349 1598894080 350664 33554432000 4194304 5965102 140736724242736 140653736175960 4401129 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=1561420 CPUtime=878.63 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 36585 0 0 0 87809 54 0 0 20 0 3 0 276134349 1598894080 350664 33554432000 4194304 5965102 140736724242736 140653725686072 4393922 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1760.52
Current children cumulated vsize (KiB) 1561420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+902.1 s]
/proc/loadavg: 3.97 3.95 3.91 5/183 19089
/proc/meminfo: memFree=27716288/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=1561420 CPUtime=1800.13 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 320780 0 0 0 179858 155 0 0 20 0 3 0 276133995 1598894080 350771 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 390355 350771 199 433 0 389919 0
[pid=19035/tid=19037] ppid=19033 vsize=1561420 CPUtime=898.49 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 206332 0 0 0 89735 114 0 0 20 0 3 0 276134349 1598894080 350771 33554432000 4194304 5965102 140736724242736 140653736175960 4393747 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=1561420 CPUtime=898.44 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 36692 0 0 0 89789 55 0 0 20 0 3 0 276134349 1598894080 350771 33554432000 4194304 5965102 140736724242736 140653725686072 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 1561420

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

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

[startup+902.1 s]
/proc/loadavg: 3.97 3.95 3.91 5/183 19089
/proc/meminfo: memFree=27716288/32873844 swapFree=7372/7372
[pid=19035] ppid=19033 vsize=1561420 CPUtime=1800.13 cores=1,3,5,7
/proc/19035/stat : 19035 (pwbo2.0) S 19033 19035 15889 0 -1 4202496 320780 0 0 0 179858 155 0 0 20 0 3 0 276133995 1598894080 350771 33554432000 4194304 5965102 140736724242736 140736724242256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19035/statm: 390355 350771 199 433 0 389919 0
[pid=19035/tid=19037] ppid=19033 vsize=1561420 CPUtime=898.49 cores=1,3,5,7
/proc/19035/task/19037/stat : 19037 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 206332 0 0 0 89735 114 0 0 20 0 3 0 276134349 1598894080 350771 33554432000 4194304 5965102 140736724242736 140653736175960 4393747 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=19035/tid=19038] ppid=19033 vsize=1561420 CPUtime=898.44 cores=1,3,5,7
/proc/19035/task/19038/stat : 19038 (pwbo2.0) R 19033 19035 15889 0 -1 4202560 36692 0 0 0 89789 55 0 0 20 0 3 0 276134349 1598894080 350771 33554432000 4194304 5965102 140736724242736 140653725686072 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 1561420

Child status: 0
Real time (s): 902.165
CPU time (s): 1800.56
CPU user time (s): 1798.67
CPU system time (s): 1.88971
CPU usage (%): 199.582
Max. virtual memory (cumulated for all children) (KiB): 1561420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.67
system time used= 1.88971
maximum resident set size= 1403088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320781
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= 8383
involuntary context switches= 2389

runsolver used 2.37164 second user time and 5.34419 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-27 08:28:12
IDJOB=3704067
IDBENCH=90949
IDSOLVER=2279
FILE ID=node133/3704067-1338100091
RUNJOBID= node133-1338084137-15906
PBS_JOBID= 14624424
Free space on /tmp= 71668 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX180_K192_cod2.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704067-1338100091/watcher-3704067-1338100091 -o /tmp/evaluation-result-3704067-1338100091/solver-3704067-1338100091 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704067-1338100091.opb

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

MD5SUM BENCH= 1a988adb2582fdda2a937cfe38fb69f2
RANDOM SEED=341126035

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:        29122436 kB
Buffers:          320424 kB
Cached:          1734892 kB
SwapCached:          104 kB
Active:          1474284 kB
Inactive:        1449484 kB
Active(anon):     859588 kB
Inactive(anon):    11368 kB
Active(file):     614696 kB
Inactive(file):  1438116 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:             32992 kB
Writeback:             0 kB
AnonPages:        875636 kB
Mapped:            15164 kB
Shmem:               212 kB
Slab:             685760 kB
SReclaimable:     127816 kB
SUnreclaim:       557944 kB
KernelStack:        1488 kB
PageTables:         5680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     492128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    270336 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= 71664 MiB
End job on node133 at 2012-05-27 08:43:16