Trace number 3726377

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.18 902.038

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null50mast_rapportOE1.0_TMAX300_K192_cod2.opb
MD5SUMb2e2f53405c70867914e951ebcc4a7e3
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-1888
Best CPU time to get the best result obtained on this benchmark1146.44
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 892
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 28513
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 64167
Number of bits of the biggest sum of numbers16
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-3726377-1338667510.opb.
0.00/0.00	c Instance file HOME/instance-3726377-1338667510.opb
0.00/0.00	c File size is 28225445 bytes.
3.29/3.35	c Cost Offset: -28513
3.29/3.35	c Highest Coefficient sum: 64167
3.29/3.35	c ============================[ Problem Statistics ]=============================
3.29/3.35	c |                                                                             |
3.29/3.35	c |  Parsing time:          3.35         s                                      |
3.29/3.35	c |  Number Variables:      400896                                              |
3.29/3.35	c |  Number Clauses:        400785                                              |
3.29/3.35	c |  Number Cardinality:    1977                                                |
3.29/3.35	c |  Number PB Constraints: 1                                                   |
3.29/3.35	c |                                                                             |
3.75/3.69	c |  Problem Type:          Optimization                                        |
3.75/3.69	c |  Objective Function:    PB Constraint                                       |
3.75/3.69	c |                                                                             |
3.75/3.69	c ===============================================================================
1800.18/902.01	c ===============================================================================
1800.18/902.01	c Wall Clock Time: 902.01 s
1800.18/902.01	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-3726377-1338667510/watcher-3726377-1338667510 -o /tmp/evaluation-result-3726377-1338667510/solver-3726377-1338667510 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726377-1338667510.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: 2.00 2.00 2.00 3/173 3512
/proc/meminfo: memFree=26007328/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=32824 CPUtime=0 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) R 3510 3512 3468 0 -1 4202496 614 0 0 0 0 0 0 0 20 0 1 0 332876498 33611776 566 33554432000 4194304 5964478 140737148989744 140735989827672 4344768 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 8206 566 167 433 0 879 0

[startup+0.0332791 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3512
/proc/meminfo: memFree=26007328/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=38072 CPUtime=0.02 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) R 3510 3512 3468 0 -1 4202496 1949 0 0 0 2 0 0 0 20 0 1 0 332876498 38985728 1901 33554432000 4194304 5964478 140737148989744 140735989827672 4195024 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 9518 1901 233 433 0 2191 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 38072

[startup+0.100253 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3512
/proc/meminfo: memFree=26007328/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=47904 CPUtime=0.08 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) R 3510 3512 3468 0 -1 4202496 4457 0 0 0 8 0 0 0 20 0 1 0 332876498 49053696 4327 33554432000 4194304 5964478 140737148989744 140735989827672 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 11976 4328 415 433 0 4649 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 47904

[startup+0.300228 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3512
/proc/meminfo: memFree=26007328/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=68804 CPUtime=0.29 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) R 3510 3512 3468 0 -1 4202496 10348 0 0 0 27 2 0 0 20 0 1 0 332876498 70455296 9952 33554432000 4194304 5964478 140737148989744 140735989827672 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 17234 9958 940 433 0 9907 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68804

[startup+0.700219 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 3512
/proc/meminfo: memFree=26007328/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=114344 CPUtime=0.68 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) R 3510 3512 3468 0 -1 4202496 22100 0 0 0 65 3 0 0 20 0 1 0 332876498 117088256 21173 33554432000 4194304 5964478 140737148989744 140737148988088 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 28586 21175 1916 433 0 21259 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 114344

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 3513
/proc/meminfo: memFree=25794052/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=208996 CPUtime=1.49 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) R 3510 3512 3468 0 -1 4202496 44888 0 0 0 142 7 0 0 20 0 1 0 332876498 214011904 44434 33554432000 4194304 5964478 140737148989744 140737148988344 4344407 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 52249 44435 3664 433 0 44922 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 208996

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 3513
/proc/meminfo: memFree=25560456/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=328916 CPUtime=3.09 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) R 3510 3512 3468 0 -1 4202496 73854 0 0 0 296 13 0 0 20 0 1 0 332876498 336809984 75895 33554432000 4194304 5964478 140737148989744 140737148988120 4339204 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 82229 75896 6615 433 0 74902 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 328916

[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 5/178 3517
/proc/meminfo: memFree=24647832/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=820164 CPUtime=9.07 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 163065 0 0 0 870 37 0 0 20 0 3 0 332876498 839847936 172563 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 205041 172563 197 433 0 204605 0
[pid=3512/tid=3514] ppid=3510 vsize=820164 CPUtime=2.9 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 63301 0 0 0 273 17 0 0 20 0 3 0 332876834 839847936 172563 33554432000 4194304 5964478 140737148989744 140488865261928 4406391 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=820164 CPUtime=2.83 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 21871 0 0 0 276 7 0 0 20 0 3 0 332876834 839847936 172563 33554432000 4194304 5964478 140737148989744 140488854772024 4382029 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 9.07
Current children cumulated vsize (KiB) 820164

[startup+12.7004 s]
/proc/loadavg: 2.31 2.07 2.02 5/178 3517
/proc/meminfo: memFree=24572560/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=21.88 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 164991 0 0 0 2147 41 0 0 20 0 3 0 332876498 906956800 182154 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 182154 197 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=9.28 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 63978 0 0 0 911 17 0 0 20 0 3 0 332876834 906956800 182154 33554432000 4194304 5964478 140737148989744 140488865261912 4388824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=9.21 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 23120 0 0 0 911 10 0 0 20 0 3 0 332876834 906956800 182154 33554432000 4194304 5964478 140737148989744 140488854772024 4392918 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 21.88
Current children cumulated vsize (KiB) 885700

[startup+25.5065 s]
/proc/loadavg: 2.57 2.13 2.04 5/178 3517
/proc/meminfo: memFree=24480604/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=47.49 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 165920 0 0 0 4707 42 0 0 20 0 3 0 332876498 906956800 187171 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 187171 197 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=22.06 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 64503 0 0 0 2188 18 0 0 20 0 3 0 332876834 906956800 187171 33554432000 4194304 5964478 140737148989744 140488865261912 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=22 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 23524 0 0 0 2190 10 0 0 20 0 3 0 332876834 906956800 187171 33554432000 4194304 5964478 140737148989744 140488854772024 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 47.49
Current children cumulated vsize (KiB) 885700

[startup+51.1004 s]
/proc/loadavg: 3.13 2.31 2.10 5/178 3517
/proc/meminfo: memFree=24411804/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=951236 CPUtime=98.67 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 167579 0 0 0 9823 44 0 0 20 0 3 0 332876498 974065664 191931 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 237809 191931 197 433 0 237373 0
[pid=3512/tid=3514] ppid=3510 vsize=951236 CPUtime=47.59 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65283 0 0 0 4741 18 0 0 20 0 3 0 332876834 974065664 191931 33554432000 4194304 5964478 140737148989744 140488865261864 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=951236 CPUtime=47.52 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 24403 0 0 0 4741 11 0 0 20 0 3 0 332876834 974065664 191931 33554432000 4194304 5964478 140737148989744 140488854772024 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 98.67
Current children cumulated vsize (KiB) 951236

[startup+102.3 s]
/proc/loadavg: 3.62 2.56 2.20 5/179 3518
/proc/meminfo: memFree=24275712/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=201.05 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 169371 0 0 0 20059 46 0 0 20 0 3 0 332876498 906956800 185778 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 185778 197 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=98.65 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65781 0 0 0 9845 20 0 0 20 0 3 0 332876834 906956800 185778 33554432000 4194304 5964478 140737148989744 140488865262408 4403575 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=98.58 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 25697 0 0 0 9844 14 0 0 20 0 3 0 332876834 906956800 185778 33554432000 4194304 5964478 140737148989744 140488854772072 4389100 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 201.05
Current children cumulated vsize (KiB) 885700

[startup+162.3 s]
/proc/loadavg: 3.86 2.82 2.31 5/179 3518
/proc/meminfo: memFree=24197976/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=321.03 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 170351 0 0 0 32055 48 0 0 20 0 3 0 332876498 906956800 186758 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 186758 197 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=158.5 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65781 0 0 0 15829 21 0 0 20 0 3 0 332876834 906956800 186758 33554432000 4194304 5964478 140737148989744 140488865262408 4388283 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=158.43 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 26677 0 0 0 15827 16 0 0 20 0 3 0 332876834 906956800 186758 33554432000 4194304 5964478 140737148989744 140488854772024 4399854 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 321.03
Current children cumulated vsize (KiB) 885700

[startup+222.3 s]
/proc/loadavg: 3.95 3.04 2.41 5/179 3518
/proc/meminfo: memFree=24143664/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=441.03 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 171798 0 0 0 44053 50 0 0 20 0 3 0 332876498 906956800 188205 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 188205 197 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=218.35 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65781 0 0 0 21813 22 0 0 20 0 3 0 332876834 906956800 188205 33554432000 4194304 5964478 140737148989744 140488865262408 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=218.28 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 28124 0 0 0 21809 19 0 0 20 0 3 0 332876834 906956800 188205 33554432000 4194304 5964478 140737148989744 140488854772024 4403575 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 441.03
Current children cumulated vsize (KiB) 885700

[startup+282.3 s]
/proc/loadavg: 3.98 3.21 2.51 5/179 3519
/proc/meminfo: memFree=24120304/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=560.99 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 172973 0 0 0 56046 53 0 0 20 0 3 0 332876498 906956800 189380 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 189380 197 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=278.19 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65781 0 0 0 27796 23 0 0 20 0 3 0 332876834 906956800 189380 33554432000 4194304 5964478 140737148989744 140488865262408 4403560 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=278.12 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 29299 0 0 0 27788 24 0 0 20 0 3 0 332876834 906956800 189380 33554432000 4194304 5964478 140737148989744 140488854772024 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 560.99
Current children cumulated vsize (KiB) 885700

[startup+342.307 s]
/proc/loadavg: 4.05 3.37 2.60 5/180 3522
/proc/meminfo: memFree=24031168/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=680.99 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 174201 0 0 0 68043 56 0 0 20 0 3 0 332876498 906956800 190608 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 190608 198 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=338.05 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65782 0 0 0 33781 24 0 0 20 0 3 0 332876834 906956800 190608 33554432000 4194304 5964478 140737148989744 140488865262408 4392680 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=337.98 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 30526 0 0 0 33771 27 0 0 20 0 3 0 332876834 906956800 190608 33554432000 4194304 5964478 140737148989744 140488854772024 4389100 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 680.99
Current children cumulated vsize (KiB) 885700

[startup+402.3 s]
/proc/loadavg: 4.02 3.48 2.69 5/179 3522
/proc/meminfo: memFree=23962784/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=800.96 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 174925 0 0 0 80039 57 0 0 20 0 3 0 332876498 906956800 191332 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 191332 198 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=397.88 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65784 0 0 0 39763 25 0 0 20 0 3 0 332876834 906956800 191332 33554432000 4194304 5964478 140737148989744 140488865262408 4399915 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=397.81 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 31248 0 0 0 39751 30 0 0 20 0 3 0 332876834 906956800 191332 33554432000 4194304 5964478 140737148989744 140488854771544 4403343 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 800.96
Current children cumulated vsize (KiB) 885700

[startup+462.3 s]
/proc/loadavg: 4.00 3.57 2.77 5/179 3522
/proc/meminfo: memFree=23936844/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=920.94 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 176008 0 0 0 92035 59 0 0 20 0 3 0 332876498 906956800 192415 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 192415 198 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=457.73 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65784 0 0 0 45748 25 0 0 20 0 3 0 332876834 906956800 192415 33554432000 4194304 5964478 140737148989744 140488865262408 4399854 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=457.66 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 32331 0 0 0 45735 31 0 0 20 0 3 0 332876834 906956800 192415 33554432000 4194304 5964478 140737148989744 140488854771960 4389100 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 920.94
Current children cumulated vsize (KiB) 885700

[startup+522.3 s]
/proc/loadavg: 4.00 3.65 2.84 5/179 3522
/proc/meminfo: memFree=23925480/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=1040.92 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 177311 0 0 0 104031 61 0 0 20 0 3 0 332876498 906956800 193718 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 193718 198 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=517.58 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65784 0 0 0 51732 26 0 0 20 0 3 0 332876834 906956800 193718 33554432000 4194304 5964478 140737148989744 140488865262408 4389129 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=517.51 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 33634 0 0 0 51717 34 0 0 20 0 3 0 332876834 906956800 193718 33554432000 4194304 5964478 140737148989744 140488854772024 4403698 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1040.92
Current children cumulated vsize (KiB) 885700

[startup+582.3 s]
/proc/loadavg: 4.00 3.71 2.91 5/179 3523
/proc/meminfo: memFree=23910276/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=1160.9 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 178973 0 0 0 116025 65 0 0 20 0 3 0 332876498 906956800 195380 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 195380 198 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=577.42 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65784 0 0 0 57715 27 0 0 20 0 3 0 332876834 906956800 195380 33554432000 4194304 5964478 140737148989744 140488865262408 4389160 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=577.35 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 35296 0 0 0 57696 39 0 0 20 0 3 0 332876834 906956800 195380 33554432000 4194304 5964478 140737148989744 140488854772024 4392680 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1160.9
Current children cumulated vsize (KiB) 885700

[startup+642.3 s]
/proc/loadavg: 4.00 3.76 2.98 5/179 3523
/proc/meminfo: memFree=23895276/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=885700 CPUtime=1280.87 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 180835 0 0 0 128019 68 0 0 20 0 3 0 332876498 906956800 197232 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 221425 197232 198 433 0 220989 0
[pid=3512/tid=3514] ppid=3510 vsize=885700 CPUtime=637.27 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65784 0 0 0 63699 28 0 0 20 0 3 0 332876834 906956800 197232 33554432000 4194304 5964478 140737148989744 140488865262408 4392918 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=885700 CPUtime=637.19 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 37158 0 0 0 63675 44 0 0 20 0 3 0 332876834 906956800 197232 33554432000 4194304 5964478 140737148989744 140488854772024 4389135 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1280.87
Current children cumulated vsize (KiB) 885700

[startup+702.3 s]
/proc/loadavg: 4.00 3.80 3.04 5/179 3523
/proc/meminfo: memFree=23882408/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=951236 CPUtime=1400.85 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 181892 0 0 0 140014 71 0 0 20 0 3 0 332876498 974065664 198744 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 237809 198744 198 433 0 237373 0
[pid=3512/tid=3514] ppid=3510 vsize=951236 CPUtime=697.11 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65784 0 0 0 69682 29 0 0 20 0 3 0 332876834 974065664 198744 33554432000 4194304 5964478 140737148989744 140488865262408 4403575 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=951236 CPUtime=697.02 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 38215 0 0 0 69655 47 0 0 20 0 3 0 332876834 974065664 198744 33554432000 4194304 5964478 140737148989744 140488854772024 4389110 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1400.85
Current children cumulated vsize (KiB) 951236

[startup+762.3 s]
/proc/loadavg: 4.00 3.83 3.10 5/179 3523
/proc/meminfo: memFree=23819192/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=951236 CPUtime=1520.83 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 182793 0 0 0 152011 72 0 0 20 0 3 0 332876498 974065664 200396 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 237809 200396 198 433 0 237373 0
[pid=3512/tid=3514] ppid=3510 vsize=951236 CPUtime=756.96 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65787 0 0 0 75666 30 0 0 20 0 3 0 332876834 974065664 200396 33554432000 4194304 5964478 140737148989744 140488865262408 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=951236 CPUtime=756.87 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 39113 0 0 0 75638 49 0 0 20 0 3 0 332876834 974065664 200396 33554432000 4194304 5964478 140737148989744 140488854772024 4389160 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1520.83
Current children cumulated vsize (KiB) 951236

[startup+822.3 s]
/proc/loadavg: 4.07 3.88 3.15 5/179 3523
/proc/meminfo: memFree=23808068/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=951236 CPUtime=1640.8 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 183442 0 0 0 164006 74 0 0 20 0 3 0 332876498 974065664 201340 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 237809 201340 198 433 0 237373 0
[pid=3512/tid=3514] ppid=3510 vsize=951236 CPUtime=816.8 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65792 0 0 0 81649 31 0 0 20 0 3 0 332876834 974065664 201340 33554432000 4194304 5964478 140737148989744 140488865262408 4392829 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=951236 CPUtime=816.72 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 39757 0 0 0 81620 52 0 0 20 0 3 0 332876834 974065664 201340 33554432000 4194304 5964478 140737148989744 140488854771544 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1640.8
Current children cumulated vsize (KiB) 951236

[startup+882.3 s]
/proc/loadavg: 4.06 3.91 3.21 5/179 3524
/proc/meminfo: memFree=23800292/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=951236 CPUtime=1760.78 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 184414 0 0 0 176002 76 0 0 20 0 3 0 332876498 974065664 202298 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 237809 202298 198 433 0 237373 0
[pid=3512/tid=3514] ppid=3510 vsize=951236 CPUtime=876.64 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65801 0 0 0 87632 32 0 0 20 0 3 0 332876834 974065664 202298 33554432000 4194304 5964478 140737148989744 140488865262408 4403343 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=951236 CPUtime=876.56 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 40720 0 0 0 87600 56 0 0 20 0 3 0 332876834 974065664 202298 33554432000 4194304 5964478 140737148989744 140488854772024 4389160 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1760.78
Current children cumulated vsize (KiB) 951236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+902 s]
/proc/loadavg: 4.04 3.92 3.22 5/180 3527
/proc/meminfo: memFree=23771472/32873852 swapFree=6856/6856
[pid=3512] ppid=3510 vsize=951236 CPUtime=1800.18 cores=0,2,4,6
/proc/3512/stat : 3512 (pwbo2.02) S 3510 3512 3468 0 -1 4202496 184803 0 0 0 179940 78 0 0 20 0 3 0 332876498 974065664 202685 33554432000 4194304 5964478 140737148989744 140737148989264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3512/statm: 237809 202685 198 433 0 237373 0
[pid=3512/tid=3514] ppid=3510 vsize=951236 CPUtime=896.29 cores=0,2,4,6
/proc/3512/task/3514/stat : 3514 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 65802 0 0 0 89597 32 0 0 20 0 3 0 332876834 974065664 202685 33554432000 4194304 5964478 140737148989744 140488865262408 4389072 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=3512/tid=3515] ppid=3510 vsize=951236 CPUtime=896.21 cores=0,2,4,6
/proc/3512/task/3515/stat : 3515 (pwbo2.02) R 3510 3512 3468 0 -1 4202560 41108 0 0 0 89564 57 0 0 20 0 3 0 332876834 974065664 202685 33554432000 4194304 5964478 140737148989744 140488854772024 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 951236

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

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3512 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=842142
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=78835
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 902.038
CPU time (s): 1800.18
CPU user time (s): 1799.4
CPU system time (s): 0.78
CPU usage (%): 199.568
Max. virtual memory (cumulated for all children) (KiB): 951236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.84
system time used= 1.07883
maximum resident set size= 810744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184804
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= 6143
involuntary context switches= 1902

runsolver used 1.87971 second user time and 5.06623 second system time

The end

Launcher Data 

Begin job on node129 at 2012-06-02 22:05:10
IDJOB=3726377
IDBENCH=90950
IDSOLVER=2309
FILE ID=node129/3726377-1338667510
RUNJOBID= node129-1338667509-3484
PBS_JOBID= 14636510
Free space on /tmp= 70424 MiB

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

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

MD5SUM BENCH= b2e2f53405c70867914e951ebcc4a7e3
RANDOM SEED=1570977256

node129.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.957
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.91
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.957
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.957
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.957
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.957
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.90
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.957
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.92
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.957
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.957
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        26008444 kB
Buffers:          449588 kB
Cached:          5514104 kB
SwapCached:            0 kB
Active:          2543364 kB
Inactive:        3445696 kB
Active(anon):      16860 kB
Inactive(anon):    10760 kB
Active(file):    2526504 kB
Inactive(file):  3434936 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             66076 kB
Writeback:             0 kB
AnonPages:         34408 kB
Mapped:            15388 kB
Shmem:               204 kB
Slab:             740016 kB
SReclaimable:     181896 kB
SUnreclaim:       558120 kB
KernelStack:        1400 kB
PageTables:         4156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     140588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 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= 70420 MiB
End job on node129 at 2012-06-02 22:20:15