Trace number 3726386

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.66 902.336

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX15_K192_cod2.opb
MD5SUM93a343a9af9e00903cf416438942ba6c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-10175
Best CPU time to get the best result obtained on this benchmark591.962
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 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 884981
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 884981
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-3726386-1338667536.opb.
0.00/0.00	c Instance file HOME/instance-3726386-1338667536.opb
0.00/0.00	c File size is 28233906 bytes.
3.30/3.33	c Cost Offset: -884981
3.30/3.33	c Highest Coefficient sum: 67656
3.30/3.33	c ============================[ Problem Statistics ]=============================
3.30/3.33	c |                                                                             |
3.30/3.33	c |  Parsing time:          3.34         s                                      |
3.30/3.33	c |  Number Variables:      400896                                              |
3.30/3.33	c |  Number Clauses:        400785                                              |
3.30/3.33	c |  Number Cardinality:    1977                                                |
3.30/3.33	c |  Number PB Constraints: 1                                                   |
3.30/3.33	c |                                                                             |
3.76/3.68	c |  Problem Type:          Optimization                                        |
3.76/3.68	c |  Objective Function:    PB Constraint                                       |
3.76/3.68	c |                                                                             |
3.76/3.68	c ===============================================================================
1800.11/902.21	c ===============================================================================
1800.11/902.21	c Wall Clock Time: 902.21 s
1800.11/902.21	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-3726386-1338667536/watcher-3726386-1338667536 -o /tmp/evaluation-result-3726386-1338667536/solver-3726386-1338667536 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726386-1338667536.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.86 1.97 1.99 2/176 23513
/proc/meminfo: memFree=28181844/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=32816 CPUtime=0 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) R 23511 23513 23469 0 -1 4202496 618 0 0 0 0 0 0 0 20 0 1 0 332882271 33603584 570 33554432000 4194304 5964478 140735136627040 140734725217464 4395199 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 8204 570 168 433 0 874 0

[startup+0.0823241 s]
/proc/loadavg: 1.86 1.97 1.99 2/176 23513
/proc/meminfo: memFree=28181844/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=47312 CPUtime=0.07 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) R 23511 23513 23469 0 -1 4202496 4161 0 0 0 7 0 0 0 20 0 1 0 332882271 48447488 4032 33554432000 4194304 5964478 140735136627040 140734725217464 5179680 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 11828 4050 368 433 0 4498 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 47312

[startup+0.100255 s]
/proc/loadavg: 1.86 1.97 1.99 2/176 23513
/proc/meminfo: memFree=28181844/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=48108 CPUtime=0.09 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) R 23511 23513 23469 0 -1 4202496 4570 0 0 0 9 0 0 0 20 0 1 0 332882271 49262592 4440 33554432000 4194304 5964478 140735136627040 140734725217464 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 12027 4440 420 433 0 4697 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48108

[startup+0.300219 s]
/proc/loadavg: 1.86 1.97 1.99 2/176 23513
/proc/meminfo: memFree=28181844/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=69064 CPUtime=0.29 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) R 23511 23513 23469 0 -1 4202496 10424 0 0 0 28 1 0 0 20 0 1 0 332882271 70721536 10027 33554432000 4194304 5964478 140735136627040 140734725217464 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 17266 10034 946 433 0 9936 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69064

[startup+0.700214 s]
/proc/loadavg: 1.86 1.97 1.99 2/176 23513
/proc/meminfo: memFree=28181844/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=114556 CPUtime=0.68 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) R 23511 23513 23469 0 -1 4202496 22184 0 0 0 67 1 0 0 20 0 1 0 332882271 117305344 21257 33554432000 4194304 5964478 140735136627040 140734725217464 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 28639 21257 1921 433 0 21309 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 114556

[startup+1.50022 s]
/proc/loadavg: 1.86 1.97 1.99 3/177 23514
/proc/meminfo: memFree=27961964/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=209208 CPUtime=1.49 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) R 23511 23513 23469 0 -1 4202496 44985 0 0 0 144 5 0 0 20 0 1 0 332882271 214228992 44531 33554432000 4194304 5964478 140735136627040 140735136625512 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 52302 44538 3671 433 0 44972 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 209208

[startup+3.10022 s]
/proc/loadavg: 1.86 1.97 1.99 3/177 23514
/proc/meminfo: memFree=27767500/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=329620 CPUtime=3.08 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) R 23511 23513 23469 0 -1 4202496 74080 0 0 0 297 11 0 0 20 0 1 0 332882271 337530880 76121 33554432000 4194304 5964478 140735136627040 140735136625448 4339322 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 82405 76122 6642 433 0 75075 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 329620

[startup+6.30031 s]
/proc/loadavg: 1.87 1.97 1.99 5/181 23518
/proc/meminfo: memFree=26798856/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=858884 CPUtime=9.09 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) S 23511 23513 23469 0 -1 4202496 163081 0 0 0 853 56 0 0 20 0 3 0 332882271 879497216 181773 33554432000 4194304 5964478 140735136627040 140735136626560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 214721 182285 196 433 0 214285 0
[pid=23513/tid=23515] ppid=23511 vsize=858884 CPUtime=2.92 cores=0,2,4,6
/proc/23513/task/23515/stat : 23515 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 60596 0 0 0 252 40 0 0 20 0 3 0 332882605 879497216 182285 33554432000 4194304 5964478 140735136627040 140082793707848 5136672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=858884 CPUtime=2.89 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 24570 0 0 0 283 6 0 0 20 0 3 0 332882605 879497216 182285 33554432000 4194304 5964478 140735136627040 140082783218024 4222464 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.09
Current children cumulated vsize (KiB) 858884

[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 2.00 5/181 23518
/proc/meminfo: memFree=26629576/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=957148 CPUtime=21.9 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) S 23511 23513 23469 0 -1 4202496 168895 0 0 0 2130 60 0 0 20 0 3 0 332882271 980119552 196984 33554432000 4194304 5964478 140735136627040 140735136626560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 239287 196984 197 433 0 238851 0
[pid=23513/tid=23515] ppid=23511 vsize=957148 CPUtime=9.31 cores=0,2,4,6
/proc/23513/task/23515/stat : 23515 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 66293 0 0 0 889 42 0 0 20 0 3 0 332882605 980119552 196984 33554432000 4194304 5964478 140735136627040 140082793707816 5122467 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=957148 CPUtime=9.29 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 24686 0 0 0 923 6 0 0 20 0 3 0 332882605 980119552 196984 33554432000 4194304 5964478 140735136627040 140082783217976 4389110 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 21.9
Current children cumulated vsize (KiB) 957148

[startup+25.5003 s]
/proc/loadavg: 2.47 2.10 2.03 5/181 23518
/proc/meminfo: memFree=26547160/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=957148 CPUtime=47.49 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) S 23511 23513 23469 0 -1 4202496 177740 0 0 0 4683 66 0 0 20 0 3 0 332882271 980119552 210175 33554432000 4194304 5964478 140735136627040 140735136626560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 239287 210175 197 433 0 238851 0
[pid=23513/tid=23515] ppid=23511 vsize=957148 CPUtime=22.11 cores=0,2,4,6
/proc/23513/task/23515/stat : 23515 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 74876 0 0 0 2164 47 0 0 20 0 3 0 332882605 980119552 210175 33554432000 4194304 5964478 140735136627040 140082793707864 5130901 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=957148 CPUtime=22.08 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 24948 0 0 0 2202 6 0 0 20 0 3 0 332882605 980119552 210175 33554432000 4194304 5964478 140735136627040 140082783217976 4392863 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 47.49
Current children cumulated vsize (KiB) 957148

[startup+51.1003 s]
/proc/loadavg: 2.99 2.26 2.08 5/181 23518
/proc/meminfo: memFree=26275940/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=1219292 CPUtime=98.66 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) S 23511 23513 23469 0 -1 4202496 201993 0 0 0 9786 80 0 0 20 0 3 0 332882271 1248555008 255479 33554432000 4194304 5964478 140735136627040 140735136626560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 304823 255479 197 433 0 304387 0
[pid=23513/tid=23515] ppid=23511 vsize=1219292 CPUtime=47.72 cores=0,2,4,6
/proc/23513/task/23515/stat : 23515 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 98843 0 0 0 4710 62 0 0 20 0 3 0 332882605 1248555008 255479 33554432000 4194304 5964478 140735136627040 140082793707816 5133900 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=1219292 CPUtime=47.67 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 25234 0 0 0 4760 7 0 0 20 0 3 0 332882605 1248555008 255479 33554432000 4194304 5964478 140735136627040 140082783217976 4403624 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 98.66
Current children cumulated vsize (KiB) 1219292

[startup+102.306 s]
/proc/loadavg: 3.56 2.52 2.18 5/181 23518
/proc/meminfo: memFree=25697544/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=1530648 CPUtime=201.06 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) S 23511 23513 23469 0 -1 4202496 234803 0 0 0 19994 112 0 0 20 0 3 0 332882271 1567383552 318161 33554432000 4194304 5964478 140735136627040 140735136626560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 382662 318161 197 433 0 382226 0
[pid=23513/tid=23515] ppid=23511 vsize=1530648 CPUtime=98.92 cores=0,2,4,6
/proc/23513/task/23515/stat : 23515 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 130745 0 0 0 9799 93 0 0 20 0 3 0 332882605 1567383552 318161 33554432000 4194304 5964478 140735136627040 140082793707928 4429803 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=1530648 CPUtime=98.87 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 26142 0 0 0 9877 10 0 0 20 0 3 0 332882605 1567383552 318161 33554432000 4194304 5964478 140735136627040 140082783217976 4399873 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 201.06
Current children cumulated vsize (KiB) 1530648

[startup+162.3 s]
/proc/loadavg: 3.84 2.79 2.29 5/181 23519
/proc/meminfo: memFree=25091080/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=1940188 CPUtime=321.02 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) S 23511 23513 23469 0 -1 4202496 277440 0 0 0 31957 145 0 0 20 0 3 0 332882271 1986752512 408089 33554432000 4194304 5964478 140735136627040 140735136626560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 485047 408089 197 433 0 484611 0
[pid=23513/tid=23515] ppid=23511 vsize=1940188 CPUtime=158.92 cores=0,2,4,6
/proc/23513/task/23515/stat : 23515 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 172689 0 0 0 15766 126 0 0 20 0 3 0 332882605 1986752512 408089 33554432000 4194304 5964478 140735136627040 140082793707864 5122362 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=1940188 CPUtime=158.86 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 26835 0 0 0 15874 12 0 0 20 0 3 0 332882605 1986752512 408089 33554432000 4194304 5964478 140735136627040 140082783217976 4392707 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 321.02
Current children cumulated vsize (KiB) 1940188

[startup+222.3 s]
/proc/loadavg: 3.94 3.01 2.40 5/181 23519
/proc/meminfo: memFree=24515860/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=2313148 CPUtime=440.96 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) S 23511 23513 23469 0 -1 4202496 345158 0 0 0 43873 223 0 0 20 0 3 0 332882271 2368663552 492063 33554432000 4194304 5964478 140735136627040 140735136626560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 578287 492063 197 433 0 577851 0
[pid=23513/tid=23515] ppid=23511 vsize=2313148 CPUtime=218.92 cores=0,2,4,6
/proc/23513/task/23515/stat : 23515 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 238744 0 0 0 21690 202 0 0 20 0 3 0 332882605 2368663552 492063 33554432000 4194304 5964478 140735136627040 140082793707864 4445097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=2313148 CPUtime=218.82 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 28498 0 0 0 21866 16 0 0 20 0 3 0 332882605 2368663552 492063 33554432000 4194304 5964478 140735136627040 140082783217976 4222464 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 440.96
Current children cumulated vsize (KiB) 2313148

[startup+282.3 s]
/proc/loadavg: 4.01 3.20 2.50 5/182 23522
/proc/meminfo: memFree=23991852/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=2640748 CPUtime=560.92 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) S 23511 23513 23469 0 -1 4202496 496935 0 0 0 55716 376 0 0 20 0 3 0 332882271 2704125952 564154 33554432000 4194304 5964478 140735136627040 140735136626560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 660187 564154 197 433 0 659751 0
[pid=23513/tid=23515] ppid=23511 vsize=2640748 CPUtime=278.92 cores=0,2,4,6
/proc/23513/task/23515/stat : 23515 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 388738 0 0 0 27539 353 0 0 20 0 3 0 332882605 2704125952 564154 33554432000 4194304 5964478 140735136627040 140082793707864 5130901 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=2640748 CPUtime=278.81 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 30281 0 0 0 27861 20 0 0 20 0 3 0 332882605 2704125952 564154 33554432000 4194304 5964478 140735136627040 140082783217976 4389085 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 560.92
Current children cumulated vsize (KiB) 2640748

[startup+342.3 s]
/proc/loadavg: 4.04 3.36 2.59 5/181 23522
/proc/meminfo: memFree=23426056/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=2968508 CPUtime=680.85 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) S 23511 23513 23469 0 -1 4202496 630090 0 0 0 67566 519 0 0 20 0 3 0 332882271 3039752192 649616 33554432000 4194304 5964478 140735136627040 140735136626560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 742127 649616 197 433 0 741691 0
[pid=23513/tid=23515] ppid=23511 vsize=2968508 CPUtime=338.93 cores=0,2,4,6
/proc/23513/task/23515/stat : 23515 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 520859 0 0 0 33398 495 0 0 20 0 3 0 332882605 3039752192 649616 33554432000 4194304 5964478 140735136627040 140082793707864 5122467 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=2968508 CPUtime=338.75 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 31315 0 0 0 33852 23 0 0 20 0 3 0 332882605 3039752192 649616 33554432000 4194304 5964478 140735136627040 140082783217976 4399854 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 680.85
Current children cumulated vsize (KiB) 2968508

[startup+402.3 s]
/proc/loadavg: 4.12 3.50 2.69 5/181 23522
/proc/meminfo: memFree=22851108/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=3333020 CPUtime=800.8 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) S 23511 23513 23469 0 -1 4202496 790878 0 0 0 79409 671 0 0 20 0 3 0 332882271 3413012480 717739 33554432000 4194304 5964478 140735136627040 140735136626560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 833255 717739 197 433 0 832819 0
[pid=23513/tid=23515] ppid=23511 vsize=3333020 CPUtime=398.93 cores=0,2,4,6
/proc/23513/task/23515/stat : 23515 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 680946 0 0 0 39246 647 0 0 20 0 3 0 332882605 3413012480 717739 33554432000 4194304 5964478 140735136627040 140082793707928 5139182 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=3333020 CPUtime=398.72 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 32016 0 0 0 39847 25 0 0 20 0 3 0 332882605 3413012480 717739 33554432000 4194304 5964478 140735136627040 140082783217976 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 800.8
Current children cumulated vsize (KiB) 3333020

[startup+462.3 s]
/proc/loadavg: 4.08 3.60 2.77 5/181 23523
/proc/meminfo: memFree=22402140/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=3584304 CPUtime=920.72 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) S 23511 23513 23469 0 -1 4202496 925188 0 0 0 91268 804 0 0 20 0 3 0 332882271 3670327296 795545 33554432000 4194304 5964478 140735136627040 140735136626560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 896076 795545 197 433 0 895640 0
[pid=23513/tid=23515] ppid=23511 vsize=3584304 CPUtime=458.93 cores=0,2,4,6
/proc/23513/task/23515/stat : 23515 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 814224 0 0 0 45115 778 0 0 20 0 3 0 332882605 3670327296 795545 33554432000 4194304 5964478 140735136627040 140082793707784 4429811 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=3584304 CPUtime=458.67 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 33048 0 0 0 45840 27 0 0 20 0 3 0 332882605 3670327296 795545 33554432000 4194304 5964478 140735136627040 140082783217976 4389164 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 920.72
Current children cumulated vsize (KiB) 3584304

[startup+522.3 s]
/proc/loadavg: 4.06 3.69 2.85 5/181 23523
/proc/meminfo: memFree=21765468/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=3976076 CPUtime=1040.69 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) S 23511 23513 23469 0 -1 4202496 1040842 0 0 0 103148 921 0 0 20 0 3 0 332882271 4071501824 880870 33554432000 4194304 5964478 140735136627040 140735136626560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 994019 880870 197 433 0 993583 0
[pid=23513/tid=23515] ppid=23511 vsize=3976076 CPUtime=518.93 cores=0,2,4,6
/proc/23513/task/23515/stat : 23515 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 929259 0 0 0 50997 896 0 0 20 0 3 0 332882605 4071501824 880870 33554432000 4194304 5964478 140735136627040 140082793708472 5135657 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=3976076 CPUtime=518.66 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 33667 0 0 0 51837 29 0 0 20 0 3 0 332882605 4071501824 880870 33554432000 4194304 5964478 140735136627040 140082783217976 4389129 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1040.69
Current children cumulated vsize (KiB) 3976076

[startup+582.3 s]
/proc/loadavg: 4.06 3.75 2.93 5/181 23523
/proc/meminfo: memFree=21355580/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=3980092 CPUtime=1160.66 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) S 23511 23513 23469 0 -1 4202496 1119049 0 0 0 115040 1026 0 0 20 0 3 0 332882271 4075614208 889862 33554432000 4194304 5964478 140735136627040 140735136626560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 995023 889862 197 433 0 994587 0
[pid=23513/tid=23515] ppid=23511 vsize=3980092 CPUtime=578.94 cores=0,2,4,6
/proc/23513/task/23515/stat : 23515 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 1006328 0 0 0 56894 1000 0 0 20 0 3 0 332882605 4075614208 889862 33554432000 4194304 5964478 140735136627040 140082793707880 4406417 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=3980092 CPUtime=578.65 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 34805 0 0 0 57834 31 0 0 20 0 3 0 332882605 4075614208 889862 33554432000 4194304 5964478 140735136627040 140082783218024 4399915 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1160.66
Current children cumulated vsize (KiB) 3980092

[startup+642.3 s]
/proc/loadavg: 4.02 3.80 2.99 5/181 23523
/proc/meminfo: memFree=20850476/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=4434828 CPUtime=1280.59 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) S 23511 23513 23469 0 -1 4202496 1202438 0 0 0 126928 1131 0 0 20 0 3 0 332882271 4541263872 984788 33554432000 4194304 5964478 140735136627040 140735136626560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 1108707 984788 197 433 0 1108271 0
[pid=23513/tid=23515] ppid=23511 vsize=4434828 CPUtime=638.95 cores=0,2,4,6
/proc/23513/task/23515/stat : 23515 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 1089397 0 0 0 62789 1106 0 0 20 0 3 0 332882605 4541263872 984788 33554432000 4194304 5964478 140735136627040 140082793707928 5122358 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=4434828 CPUtime=638.6 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 35125 0 0 0 63828 32 0 0 20 0 3 0 332882605 4541263872 984788 33554432000 4194304 5964478 140735136627040 140082783217976 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1280.59
Current children cumulated vsize (KiB) 4434828

[startup+702.3 s]
/proc/loadavg: 4.00 3.83 3.05 5/181 23523
/proc/meminfo: memFree=20553276/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=4594524 CPUtime=1400.5 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) S 23511 23513 23469 0 -1 4202496 1279256 0 0 0 138824 1226 0 0 20 0 3 0 332882271 4704792576 1026826 33554432000 4194304 5964478 140735136627040 140735136626560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 1148631 1026826 197 433 0 1148195 0
[pid=23513/tid=23515] ppid=23511 vsize=4594524 CPUtime=698.94 cores=0,2,4,6
/proc/23513/task/23515/stat : 23515 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 1166011 0 0 0 68692 1202 0 0 20 0 3 0 332882605 4704792576 1026826 33554432000 4194304 5964478 140735136627040 140082793707928 5122467 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=4594524 CPUtime=698.53 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 35329 0 0 0 69819 34 0 0 20 0 3 0 332882605 4704792576 1026826 33554432000 4194304 5964478 140735136627040 140082783218024 4392863 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1400.5
Current children cumulated vsize (KiB) 4594524

[startup+762.306 s]
/proc/loadavg: 4.00 3.86 3.11 5/181 23524
/proc/meminfo: memFree=20287648/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=4799420 CPUtime=1520.45 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) S 23511 23513 23469 0 -1 4202496 1357079 0 0 0 150728 1317 0 0 20 0 3 0 332882271 4914606080 1076353 33554432000 4194304 5964478 140735136627040 140735136626560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 1199855 1076353 197 433 0 1199419 0
[pid=23513/tid=23515] ppid=23511 vsize=4799420 CPUtime=758.95 cores=0,2,4,6
/proc/23513/task/23515/stat : 23515 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 1243602 0 0 0 74601 1294 0 0 20 0 3 0 332882605 4914606080 1076353 33554432000 4194304 5964478 140735136627040 140082793707928 4407770 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=4799420 CPUtime=758.51 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 35561 0 0 0 75816 35 0 0 20 0 3 0 332882605 4914606080 1076353 33554432000 4194304 5964478 140735136627040 140082783217976 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1520.45
Current children cumulated vsize (KiB) 4799420

[startup+822.3 s]
/proc/loadavg: 4.00 3.88 3.16 5/181 23524
/proc/meminfo: memFree=20016268/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=4942708 CPUtime=1640.38 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) S 23511 23513 23469 0 -1 4202496 1442661 0 0 0 162620 1418 0 0 20 0 3 0 332882271 5061332992 1105558 33554432000 4194304 5964478 140735136627040 140735136626560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 1235677 1105558 197 433 0 1235241 0
[pid=23513/tid=23515] ppid=23511 vsize=4942708 CPUtime=818.95 cores=0,2,4,6
/proc/23513/task/23515/stat : 23515 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 1328515 0 0 0 80500 1395 0 0 20 0 3 0 332882605 5061332992 1105558 33554432000 4194304 5964478 140735136627040 140082793707784 4392723 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=4942708 CPUtime=818.47 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 36230 0 0 0 81810 37 0 0 20 0 3 0 332882605 5061332992 1105558 33554432000 4194304 5964478 140735136627040 140082783217784 4399938 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1640.38
Current children cumulated vsize (KiB) 4942708

[startup+882.3 s]
/proc/loadavg: 4.00 3.90 3.21 5/182 23527
/proc/meminfo: memFree=19786880/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=5307300 CPUtime=1760.31 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) S 23511 23513 23469 0 -1 4202496 1501649 0 0 0 174531 1500 0 0 20 0 3 0 332882271 5434675200 1184533 33554432000 4194304 5964478 140735136627040 140735136626560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 1326825 1184533 197 433 0 1326389 0
[pid=23513/tid=23515] ppid=23511 vsize=5307300 CPUtime=878.95 cores=0,2,4,6
/proc/23513/task/23515/stat : 23515 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 1386889 0 0 0 86419 1476 0 0 20 0 3 0 332882605 5434675200 1184533 33554432000 4194304 5964478 140735136627040 140082793707928 5122358 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=5307300 CPUtime=878.41 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 36844 0 0 0 87802 39 0 0 20 0 3 0 332882605 5434675200 1184533 33554432000 4194304 5964478 140735136627040 140082783217976 4389170 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1760.31
Current children cumulated vsize (KiB) 5307300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+902.2 s]
/proc/loadavg: 4.07 3.92 3.23 3/178 23528
/proc/meminfo: memFree=23485432/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=5212972 CPUtime=1800.11 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) S 23511 23513 23469 0 -1 4202496 1511810 0 0 0 178486 1525 0 0 20 0 3 0 332882271 5338083328 1172393 33554432000 4194304 5964478 140735136627040 140735136626560 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 1303243 1172393 197 433 0 1302807 0
[pid=23513/tid=23515] ppid=23511 vsize=5212972 CPUtime=898.86 cores=0,2,4,6
/proc/23513/task/23515/stat : 23515 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 1396898 0 0 0 88385 1501 0 0 20 0 3 0 332882605 5338083328 1172393 33554432000 4194304 5964478 140735136627040 140082793708472 4406417 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=5212972 CPUtime=898.3 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4202560 36996 0 0 0 89791 39 0 0 20 0 3 0 332882605 5338083328 1172393 33554432000 4194304 5964478 140735136627040 140082783217976 4392863 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 5212972

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

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

[startup+902.311 s]
/proc/loadavg: 4.07 3.92 3.23 3/178 23528
/proc/meminfo: memFree=23485432/32873844 swapFree=7116/7116
[pid=23513] ppid=23511 vsize=0 CPUtime=1800.46 cores=0,2,4,6
/proc/23513/stat : 23513 (pwbo2.02) Z 23511 23513 23469 0 -1 4202508 1511811 0 0 0 178496 1550 0 0 20 0 2 0 332882271 0 0 33554432000 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23513/statm: 0 0 0 0 0 0 0
[pid=23513/tid=23516] ppid=23511 vsize=0 CPUtime=898.41 cores=0,2,4,6
/proc/23513/task/23516/stat : 23516 (pwbo2.02) R 23511 23513 23469 0 -1 4203588 36996 0 0 0 89792 49 0 0 20 0 2 0 332882605 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.46
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 902.336
CPU time (s): 1800.66
CPU user time (s): 1784.99
CPU system time (s): 15.6626
CPU usage (%): 199.555
Max. virtual memory (cumulated for all children) (KiB): 5352332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.99
system time used= 15.6626
maximum resident set size= 4787864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1511811
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= 7809
involuntary context switches= 2128

runsolver used 1.9507 second user time and 4.90425 second system time

The end

Launcher Data 

Begin job on node108 at 2012-06-02 22:05:37
IDJOB=3726386
IDBENCH=91059
IDSOLVER=2309
FILE ID=node108/3726386-1338667536
RUNJOBID= node108-1338667536-23485
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_20null20mast_rapportOE2.0_TMAX15_K192_cod2.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3726386-1338667536/watcher-3726386-1338667536 -o /tmp/evaluation-result-3726386-1338667536/solver-3726386-1338667536 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726386-1338667536.opb

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

MD5SUM BENCH= 93a343a9af9e00903cf416438942ba6c
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:          1925144 kB
Inactive:        1957652 kB
Active(anon):       2188 kB
Inactive(anon):    13032 kB
Active(file):    1922956 kB
Inactive(file):  1944620 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:         3968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104688 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= 71440 MiB
End job on node108 at 2012-06-02 22:20:41