Trace number 3726384

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.02? (TO) 1800.49 902.176

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null0mast_rapportOE2.0_TMAX180_K192_cod2.opb
MD5SUM9ed9dacab453c9b73d400442dcf06abd
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-21805
Best CPU time to get the best result obtained on this benchmark1800.77
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 1427
Biggest coefficient in the objective function 998
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 733864
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 998
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 733864
Number of bits of the biggest sum of numbers20
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.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3726384-1338667536.opb.
0.00/0.00	c Instance file HOME/instance-3726384-1338667536.opb
0.00/0.00	c File size is 28233148 bytes.
3.39/3.46	c Cost Offset: -733864
3.39/3.46	c Highest Coefficient sum: 65856
3.39/3.46	c ============================[ Problem Statistics ]=============================
3.39/3.46	c |                                                                             |
3.39/3.46	c |  Parsing time:          3.46         s                                      |
3.39/3.46	c |  Number Variables:      400896                                              |
3.39/3.46	c |  Number Clauses:        400785                                              |
3.39/3.46	c |  Number Cardinality:    1977                                                |
3.39/3.46	c |  Number PB Constraints: 1                                                   |
3.39/3.46	c |                                                                             |
4.07/3.83	c |  Problem Type:          Optimization                                        |
4.07/3.83	c |  Objective Function:    PB Constraint                                       |
4.07/3.83	c |                                                                             |
4.07/3.83	c ===============================================================================
1800.10/902.11	c ===============================================================================
1800.10/902.11	c Wall Clock Time: 902.11 s
1800.10/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-3726384-1338667536/watcher-3726384-1338667536 -o /tmp/evaluation-result-3726384-1338667536/solver-3726384-1338667536 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726384-1338667536.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: 1.86 1.97 1.99 2/174 23508
/proc/meminfo: memFree=28188052/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=32812 CPUtime=0 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) R 23506 23508 23469 0 -1 4202496 618 0 0 0 0 0 0 0 20 0 1 0 332882268 33599488 570 33554432000 4194304 5964478 140733561231472 140733561230840 4395199 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 8203 570 168 433 0 874 0

[startup+0.05614 s]
/proc/loadavg: 1.86 1.97 1.99 2/174 23508
/proc/meminfo: memFree=28188052/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=43920 CPUtime=0.04 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) R 23506 23508 23469 0 -1 4202496 3196 0 0 0 4 0 0 0 20 0 1 0 332882268 44974080 3115 33554432000 4194304 5964478 140733561231472 140733561230840 4344643 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 10980 3116 310 433 0 3651 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 43920

[startup+0.100291 s]
/proc/loadavg: 1.86 1.97 1.99 2/174 23508
/proc/meminfo: memFree=28188052/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=50528 CPUtime=0.08 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) R 23506 23508 23469 0 -1 4202496 4698 0 0 0 8 0 0 0 20 0 1 0 332882268 51740672 4568 33554432000 4194304 5964478 140733561231472 140733561230840 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 12632 4569 431 433 0 5303 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 50528

[startup+0.300246 s]
/proc/loadavg: 1.86 1.97 1.99 2/174 23508
/proc/meminfo: memFree=28188052/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=69456 CPUtime=0.29 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) R 23506 23508 23469 0 -1 4202496 10536 0 0 0 27 2 0 0 20 0 1 0 332882268 71122944 10139 33554432000 4194304 5964478 140733561231472 140733561230840 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 17364 10139 959 433 0 10035 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69456

[startup+0.700245 s]
/proc/loadavg: 1.86 1.97 1.99 2/174 23508
/proc/meminfo: memFree=28188052/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=114816 CPUtime=0.69 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) R 23506 23508 23469 0 -1 4202496 22377 0 0 0 65 4 0 0 20 0 1 0 332882268 117571584 21450 33554432000 4194304 5964478 140733561231472 140733561230840 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 28704 21452 1937 433 0 21375 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 114816

[startup+1.50025 s]
/proc/loadavg: 1.86 1.97 1.99 3/177 23514
/proc/meminfo: memFree=27967668/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=208148 CPUtime=1.49 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) R 23506 23508 23469 0 -1 4202496 43622 0 0 0 141 8 0 0 20 0 1 0 332882268 213143552 43679 33554432000 4194304 5964478 140733561231472 140733561230072 4395406 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 52037 43679 3584 433 0 44708 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 208148

[startup+3.10024 s]
/proc/loadavg: 1.86 1.97 1.99 3/177 23514
/proc/meminfo: memFree=27771220/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=323940 CPUtime=3.09 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) R 23506 23508 23469 0 -1 4202496 72369 0 0 0 295 14 0 0 20 0 1 0 332882268 331714560 73388 33554432000 4194304 5964478 140733561231472 140733561229944 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 80985 73390 6438 433 0 73656 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 323940

[startup+6.30035 s]
/proc/loadavg: 1.87 1.97 1.99 5/181 23518
/proc/meminfo: memFree=26798856/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=843704 CPUtime=9.04 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 163265 0 0 0 857 47 0 0 20 0 3 0 332882268 863952896 177182 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 210926 177182 195 433 0 210490 0
[pid=23508/tid=23517] ppid=23506 vsize=843704 CPUtime=2.79 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 61152 0 0 0 259 20 0 0 20 0 3 0 332882615 863952896 177182 33554432000 4194304 5964478 140733561231472 139790661847368 5142509 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=843704 CPUtime=2.8 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 24280 0 0 0 268 12 0 0 20 0 3 0 332882615 863952896 177182 33554432000 4194304 5964478 140733561231472 139790651357496 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 9.04
Current children cumulated vsize (KiB) 843704

[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 2.00 5/181 23518
/proc/meminfo: memFree=26629576/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=892836 CPUtime=21.84 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 168840 0 0 0 2133 51 0 0 20 0 3 0 332882268 914264064 189023 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 223209 189023 196 433 0 222773 0
[pid=23508/tid=23517] ppid=23506 vsize=892836 CPUtime=9.19 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 66641 0 0 0 895 24 0 0 20 0 3 0 332882615 914264064 189023 33554432000 4194304 5964478 140733561231472 139790661847576 4419480 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=892836 CPUtime=9.2 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 24366 0 0 0 907 13 0 0 20 0 3 0 332882615 914264064 189023 33554432000 4194304 5964478 140733561231472 139790651357496 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 21.84
Current children cumulated vsize (KiB) 892836

[startup+25.5004 s]
/proc/loadavg: 2.47 2.10 2.03 5/181 23518
/proc/meminfo: memFree=26547160/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=958372 CPUtime=47.42 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 181425 0 0 0 4686 56 0 0 20 0 3 0 332882268 981372928 195874 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 239593 195874 196 433 0 239157 0
[pid=23508/tid=23517] ppid=23506 vsize=958372 CPUtime=21.98 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 79057 0 0 0 2170 28 0 0 20 0 3 0 332882615 981372928 195874 33554432000 4194304 5964478 140733561231472 139790661847576 5122424 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=958372 CPUtime=21.99 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 24535 0 0 0 2186 13 0 0 20 0 3 0 332882615 981372928 195874 33554432000 4194304 5964478 140733561231472 139790651357016 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 47.42
Current children cumulated vsize (KiB) 958372

[startup+51.1004 s]
/proc/loadavg: 2.99 2.26 2.08 5/181 23518
/proc/meminfo: memFree=26239760/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=1089444 CPUtime=98.62 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 198911 0 0 0 9792 70 0 0 20 0 3 0 332882268 1115590656 235879 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 272361 235879 196 433 0 271925 0
[pid=23508/tid=23517] ppid=23506 vsize=1089444 CPUtime=47.58 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 96092 0 0 0 4717 41 0 0 20 0 3 0 332882615 1115590656 235879 33554432000 4194304 5964478 140733561231472 139790661847384 4445521 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=1089444 CPUtime=47.59 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 24986 0 0 0 4745 14 0 0 20 0 3 0 332882615 1115590656 235879 33554432000 4194304 5964478 140733561231472 139790651357496 4399854 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 98.62
Current children cumulated vsize (KiB) 1089444

[startup+102.307 s]
/proc/loadavg: 3.56 2.52 2.18 5/181 23518
/proc/meminfo: memFree=25707724/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=1441732 CPUtime=201 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 223027 0 0 0 20006 94 0 0 20 0 3 0 332882268 1476333568 303592 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 360433 303592 196 433 0 359997 0
[pid=23508/tid=23517] ppid=23506 vsize=1441732 CPUtime=98.79 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 119629 0 0 0 9813 66 0 0 20 0 3 0 332882615 1476333568 303592 33554432000 4194304 5964478 140733561231472 139790661847576 4447069 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=1441732 CPUtime=98.79 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 25565 0 0 0 9863 16 0 0 20 0 3 0 332882615 1476333568 303592 33554432000 4194304 5964478 140733561231472 139790651357496 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 201
Current children cumulated vsize (KiB) 1441732

[startup+162.3 s]
/proc/loadavg: 3.84 2.79 2.29 5/181 23519
/proc/meminfo: memFree=25091080/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=1769412 CPUtime=320.97 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 242057 0 0 0 31976 121 0 0 20 0 3 0 332882268 1811877888 371286 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 442353 371286 196 433 0 441917 0
[pid=23508/tid=23517] ppid=23506 vsize=1769412 CPUtime=158.78 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 137757 0 0 0 15786 92 0 0 20 0 3 0 332882615 1811877888 371286 33554432000 4194304 5964478 140733561231472 139790661847576 4429801 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=1769412 CPUtime=158.78 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 26467 0 0 0 15859 19 0 0 20 0 3 0 332882615 1811877888 371286 33554432000 4194304 5964478 140733561231472 139790651357496 4403343 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 320.97
Current children cumulated vsize (KiB) 1769412

[startup+222.3 s]
/proc/loadavg: 3.94 3.01 2.40 5/181 23519
/proc/meminfo: memFree=24515860/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=2097092 CPUtime=440.94 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 270349 0 0 0 43949 145 0 0 20 0 3 0 332882268 2147422208 434689 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 524273 434689 196 433 0 523837 0
[pid=23508/tid=23517] ppid=23506 vsize=2097092 CPUtime=218.78 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 165482 0 0 0 21762 116 0 0 20 0 3 0 332882615 2147422208 434689 33554432000 4194304 5964478 140733561231472 139790661847576 5135657 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=2097092 CPUtime=218.77 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 27034 0 0 0 21856 21 0 0 20 0 3 0 332882615 2147422208 434689 33554432000 4194304 5964478 140733561231472 139790651357496 4403624 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 440.94
Current children cumulated vsize (KiB) 2097092

[startup+282.3 s]
/proc/loadavg: 4.01 3.20 2.50 5/182 23522
/proc/meminfo: memFree=23991852/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=2314292 CPUtime=560.92 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 311287 0 0 0 55879 213 0 0 20 0 3 0 332882268 2369835008 486296 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 578573 486296 196 433 0 578137 0
[pid=23508/tid=23517] ppid=23506 vsize=2314292 CPUtime=278.78 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 205923 0 0 0 27694 184 0 0 20 0 3 0 332882615 2369835008 486296 33554432000 4194304 5964478 140733561231472 139790661847448 4445112 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=2314292 CPUtime=278.77 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 27531 0 0 0 27854 23 0 0 20 0 3 0 332882615 2369835008 486296 33554432000 4194304 5964478 140733561231472 139790651357496 4387936 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 560.92
Current children cumulated vsize (KiB) 2314292

[startup+342.3 s]
/proc/loadavg: 4.04 3.36 2.59 5/181 23522
/proc/meminfo: memFree=23399432/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=2666580 CPUtime=680.83 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 454049 0 0 0 67732 351 0 0 20 0 3 0 332882268 2730577920 558851 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 666645 558851 196 433 0 666209 0
[pid=23508/tid=23517] ppid=23506 vsize=2666580 CPUtime=338.77 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 348213 0 0 0 33555 322 0 0 20 0 3 0 332882615 2730577920 558851 33554432000 4194304 5964478 140733561231472 139790661847992 4445315 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=2666580 CPUtime=338.71 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 28003 0 0 0 33846 25 0 0 20 0 3 0 332882615 2730577920 558851 33554432000 4194304 5964478 140733561231472 139790651357304 4400024 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 680.83
Current children cumulated vsize (KiB) 2666580

[startup+402.3 s]
/proc/loadavg: 4.12 3.50 2.69 5/181 23522
/proc/meminfo: memFree=22849188/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=2838580 CPUtime=800.76 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 571330 0 0 0 79586 490 0 0 20 0 3 0 332882268 2906705920 609922 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 709645 609922 196 433 0 709209 0
[pid=23508/tid=23517] ppid=23506 vsize=2838580 CPUtime=398.77 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 465068 0 0 0 39417 460 0 0 20 0 3 0 332882615 2906705920 609922 33554432000 4194304 5964478 140733561231472 139790661847448 5179822 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=2838580 CPUtime=398.66 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 28429 0 0 0 39839 27 0 0 20 0 3 0 332882615 2906705920 609922 33554432000 4194304 5964478 140733561231472 139790651357496 4389129 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 800.76
Current children cumulated vsize (KiB) 2838580

[startup+462.3 s]
/proc/loadavg: 4.08 3.60 2.77 5/181 23523
/proc/meminfo: memFree=22369372/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=3063812 CPUtime=920.7 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 658121 0 0 0 91456 614 0 0 20 0 3 0 332882268 3137343488 652246 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 765953 652246 196 433 0 765517 0
[pid=23508/tid=23517] ppid=23506 vsize=3063812 CPUtime=458.77 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 551442 0 0 0 45293 584 0 0 20 0 3 0 332882615 3137343488 652246 33554432000 4194304 5964478 140733561231472 139790661847464 4395339 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=3063812 CPUtime=458.62 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 28846 0 0 0 45834 28 0 0 20 0 3 0 332882615 3137343488 652246 33554432000 4194304 5964478 140733561231472 139790651357496 4389110 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 920.7
Current children cumulated vsize (KiB) 3063812

[startup+522.3 s]
/proc/loadavg: 4.06 3.69 2.85 5/181 23523
/proc/meminfo: memFree=21765468/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=3334244 CPUtime=1040.67 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 805472 0 0 0 103320 747 0 0 20 0 3 0 332882268 3414265856 725796 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 833561 725796 197 433 0 833125 0
[pid=23508/tid=23517] ppid=23506 vsize=3334244 CPUtime=518.77 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 698356 0 0 0 51160 717 0 0 20 0 3 0 332882615 3414265856 725796 33554432000 4194304 5964478 140733561231472 139790661847880 5135050 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=3334244 CPUtime=518.61 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 29283 0 0 0 51831 30 0 0 20 0 3 0 332882615 3414265856 725796 33554432000 4194304 5964478 140733561231472 139790651357016 4222474 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) 3334244

[startup+582.3 s]
/proc/loadavg: 4.06 3.75 2.93 5/181 23523
/proc/meminfo: memFree=21355580/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=3551188 CPUtime=1160.62 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 947720 0 0 0 115191 871 0 0 20 0 3 0 332882268 3636416512 774545 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 887797 774545 197 433 0 887361 0
[pid=23508/tid=23517] ppid=23506 vsize=3551188 CPUtime=578.76 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 840152 0 0 0 57035 841 0 0 20 0 3 0 332882615 3636416512 774545 33554432000 4194304 5964478 140733561231472 139790661847448 5179587 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=3551188 CPUtime=578.59 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 29735 0 0 0 57827 32 0 0 20 0 3 0 332882615 3636416512 774545 33554432000 4194304 5964478 140733561231472 139790651357496 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1160.62
Current children cumulated vsize (KiB) 3551188

[startup+642.3 s]
/proc/loadavg: 4.02 3.80 2.99 5/181 23523
/proc/meminfo: memFree=20850476/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=3858532 CPUtime=1280.61 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 1060029 0 0 0 127078 983 0 0 20 0 3 0 332882268 3951136768 846006 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 964633 846006 197 433 0 964197 0
[pid=23508/tid=23517] ppid=23506 vsize=3858532 CPUtime=638.76 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 952026 0 0 0 62923 953 0 0 20 0 3 0 332882615 3951136768 846006 33554432000 4194304 5964478 140733561231472 139790661847448 5142509 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=3858532 CPUtime=638.59 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 30170 0 0 0 63825 34 0 0 20 0 3 0 332882615 3951136768 846006 33554432000 4194304 5964478 140733561231472 139790651357016 4403590 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1280.61
Current children cumulated vsize (KiB) 3858532

[startup+702.3 s]
/proc/loadavg: 4.00 3.83 3.05 5/181 23523
/proc/meminfo: memFree=20553276/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=3981316 CPUtime=1400.56 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 1139436 0 0 0 139025 1031 0 0 20 0 3 0 332882268 4076867584 871968 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 995329 871968 197 433 0 994893 0
[pid=23508/tid=23517] ppid=23506 vsize=3981316 CPUtime=698.74 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 1030965 0 0 0 68873 1001 0 0 20 0 3 0 332882615 4076867584 871968 33554432000 4194304 5964478 140733561231472 139790661847880 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=3981316 CPUtime=698.58 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 30638 0 0 0 69822 36 0 0 20 0 3 0 332882615 4076867584 871968 33554432000 4194304 5964478 140733561231472 139790651357544 4392707 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1400.56
Current children cumulated vsize (KiB) 3981316

[startup+762.307 s]
/proc/loadavg: 4.00 3.86 3.11 5/181 23524
/proc/meminfo: memFree=20287648/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=4071460 CPUtime=1520.54 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 1179038 0 0 0 150995 1059 0 0 20 0 3 0 332882268 4169175040 894647 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 1017865 894647 197 433 0 1017429 0
[pid=23508/tid=23517] ppid=23506 vsize=4071460 CPUtime=758.75 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 1070018 0 0 0 74845 1030 0 0 20 0 3 0 332882615 4169175040 894647 33554432000 4194304 5964478 140733561231472 139790661847880 4392703 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=4071460 CPUtime=758.58 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 31187 0 0 0 75820 38 0 0 20 0 3 0 332882615 4169175040 894647 33554432000 4194304 5964478 140733561231472 139790651357496 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1520.54
Current children cumulated vsize (KiB) 4071460

[startup+822.3 s]
/proc/loadavg: 4.00 3.88 3.16 5/181 23524
/proc/meminfo: memFree=20016268/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=4075476 CPUtime=1640.51 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 1225609 0 0 0 162965 1086 0 0 20 0 3 0 332882268 4173287424 898982 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 1018869 898982 197 433 0 1018433 0
[pid=23508/tid=23517] ppid=23506 vsize=4075476 CPUtime=818.74 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 1116073 0 0 0 80819 1055 0 0 20 0 3 0 332882615 4173287424 898982 33554432000 4194304 5964478 140733561231472 139790661847992 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=4075476 CPUtime=818.57 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 31703 0 0 0 81817 40 0 0 20 0 3 0 332882615 4173287424 898982 33554432000 4194304 5964478 140733561231472 139790651357016 4403537 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1640.51
Current children cumulated vsize (KiB) 4075476

[startup+882.3 s]
/proc/loadavg: 4.00 3.90 3.21 5/182 23527
/proc/meminfo: memFree=19786880/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=4136996 CPUtime=1760.49 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 1247153 0 0 0 174939 1110 0 0 20 0 3 0 332882268 4236283904 911294 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 1034249 911294 197 433 0 1033813 0
[pid=23508/tid=23517] ppid=23506 vsize=4136996 CPUtime=878.74 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 1137263 0 0 0 86794 1080 0 0 20 0 3 0 332882615 4236283904 911294 33554432000 4194304 5964478 140733561231472 139790661847880 4392812 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=4136996 CPUtime=878.58 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 32057 0 0 0 87815 43 0 0 20 0 3 0 332882615 4236283904 911294 33554432000 4194304 5964478 140733561231472 139790651357496 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1760.49
Current children cumulated vsize (KiB) 4136996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+902.1 s]
/proc/loadavg: 4.07 3.92 3.23 5/182 23527
/proc/meminfo: memFree=19763452/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=4206548 CPUtime=1800.1 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 1258128 0 0 0 178891 1119 0 0 20 0 3 0 332882268 4307505152 929374 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 1051637 929374 197 433 0 1051201 0
[pid=23508/tid=23517] ppid=23506 vsize=4206548 CPUtime=898.54 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 1148133 0 0 0 88766 1088 0 0 20 0 3 0 332882615 4307505152 929374 33554432000 4194304 5964478 140733561231472 139790661847992 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=4206548 CPUtime=898.39 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 32162 0 0 0 89796 43 0 0 20 0 3 0 332882615 4307505152 929374 33554432000 4194304 5964478 140733561231472 139790651357496 4403603 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 4206548

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: 4.07 3.92 3.23 5/182 23527
/proc/meminfo: memFree=19763452/32873844 swapFree=7116/7116
[pid=23508] ppid=23506 vsize=4206548 CPUtime=1800.1 cores=1,3,5,7
/proc/23508/stat : 23508 (pwbo2.02) S 23506 23508 23469 0 -1 4202496 1258128 0 0 0 178891 1119 0 0 20 0 3 0 332882268 4307505152 929374 33554432000 4194304 5964478 140733561231472 140733561230992 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23508/statm: 1051637 929374 197 433 0 1051201 0
[pid=23508/tid=23517] ppid=23506 vsize=4206548 CPUtime=898.54 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 1148133 0 0 0 88766 1088 0 0 20 0 3 0 332882615 4307505152 929374 33554432000 4194304 5964478 140733561231472 139790661847992 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=4206548 CPUtime=898.39 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (pwbo2.02) R 23506 23508 23469 0 -1 4202560 32162 0 0 0 89796 43 0 0 20 0 3 0 332882615 4307505152 929374 33554432000 4194304 5964478 140733561231472 139790651357496 4403603 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 4206548

Child status: 0
Real time (s): 902.176
CPU time (s): 1800.49
CPU user time (s): 1788.95
CPU system time (s): 11.5412
CPU usage (%): 199.572
Max. virtual memory (cumulated for all children) (KiB): 4259948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.95
system time used= 11.5412
maximum resident set size= 3813564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1258130
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= 7784
involuntary context switches= 2535

runsolver used 1.9617 second user time and 5.61415 second system time

The end

Launcher Data

Begin job on node108 at 2012-06-02 22:05:37
IDJOB=3726384
IDBENCH=91042
IDSOLVER=2309
FILE ID=node108/3726384-1338667536
RUNJOBID= node108-1338667536-23486
PBS_JOBID= 14636525
Free space on /tmp= 71420 MiB

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

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

MD5SUM BENCH= 9ed9dacab453c9b73d400442dcf06abd
RANDOM SEED=1938717540

node108.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.273
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	: 5332.54
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.273
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		: 2666.273
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		: 2666.273
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.273
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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.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.273
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.90
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.273
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:        28189092 kB
Buffers:          316476 kB
Cached:          3552004 kB
SwapCached:           52 kB
Active:          1924884 kB
Inactive:        1957912 kB
Active(anon):       2188 kB
Inactive(anon):    13032 kB
Active(file):    1922696 kB
Inactive(file):  1944880 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108544 kB
Dirty:             66060 kB
Writeback:             0 kB
AnonPages:         19572 kB
Mapped:            13512 kB
Shmem:               172 kB
Slab:             664376 kB
SReclaimable:     106368 kB
SUnreclaim:       558008 kB
KernelStack:        1400 kB
PageTables:         3580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71408 MiB
End job on node108 at 2012-06-02 22:20:41