Trace number 3726382

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.05 902.093

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_10null20mast_rapportOE2.0_TMAX60_K192_cod2.opb
MD5SUM021b67803848f7a62860711c4015132a
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1783.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1605
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 993246
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 993246
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-3726382-1338660106.opb.
0.00/0.00	c Instance file HOME/instance-3726382-1338660106.opb
0.00/0.00	c File size is 28236195 bytes.
3.08/3.17	c Cost Offset: -993246
3.08/3.17	c Highest Coefficient sum: 68234
3.08/3.17	c ============================[ Problem Statistics ]=============================
3.08/3.17	c |                                                                             |
3.08/3.17	c |  Parsing time:          3.17         s                                      |
3.08/3.17	c |  Number Variables:      400896                                              |
3.08/3.17	c |  Number Clauses:        400785                                              |
3.08/3.17	c |  Number Cardinality:    1977                                                |
3.08/3.17	c |  Number PB Constraints: 1                                                   |
3.08/3.17	c |                                                                             |
3.71/3.51	c |  Problem Type:          Optimization                                        |
3.71/3.51	c |  Objective Function:    PB Constraint                                       |
3.71/3.51	c |                                                                             |
3.71/3.51	c ===============================================================================
1800.05/902.01	c ===============================================================================
1800.05/902.01	c Wall Clock Time: 902.00 s
1800.05/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-3726382-1338660106/watcher-3726382-1338660106 -o /tmp/evaluation-result-3726382-1338660106/solver-3726382-1338660106 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726382-1338660106.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: 3.91 3.95 3.91 4/181 25702
/proc/meminfo: memFree=27925860/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (runsolver) D 25700 25702 21777 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 332135979 12095488 50 33554432000 4194304 5436572 140735078205312 140735078201608 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/25702/statm: 2953 50 31 304 0 2645 0

[startup+0.0461821 s]
/proc/loadavg: 3.91 3.95 3.91 4/181 25702
/proc/meminfo: memFree=27925860/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=41424 CPUtime=0.03 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) R 25700 25702 21777 0 -1 4202496 2735 0 0 0 3 0 0 0 20 0 1 0 332135979 42418176 2621 33554432000 4194304 5964478 140736990502544 140735078201192 4344768 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 10356 2621 270 433 0 3026 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 41424

[startup+0.100344 s]
/proc/loadavg: 3.91 3.95 3.91 4/181 25702
/proc/meminfo: memFree=27925860/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=48180 CPUtime=0.09 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) R 25700 25702 21777 0 -1 4202496 4646 0 0 0 9 0 0 0 20 0 1 0 332135979 49336320 4483 33554432000 4194304 5964478 140736990502544 140735078201192 4339223 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 12045 4484 425 433 0 4715 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48180

[startup+0.300253 s]
/proc/loadavg: 3.91 3.95 3.91 4/181 25702
/proc/meminfo: memFree=27925860/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=69836 CPUtime=0.28 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) R 25700 25702 21777 0 -1 4202496 10691 0 0 0 27 1 0 0 20 0 1 0 332135979 71512064 10261 33554432000 4194304 5964478 140736990502544 140735078201192 4344275 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 17459 10261 973 433 0 10129 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 69836

[startup+0.700267 s]
/proc/loadavg: 3.91 3.95 3.91 4/181 25702
/proc/meminfo: memFree=27925860/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=116560 CPUtime=0.68 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) R 25700 25702 21777 0 -1 4202496 23300 0 0 0 65 3 0 0 20 0 1 0 332135979 119357440 22340 33554432000 4194304 5964478 140736990502544 140735078201192 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 29140 22341 2011 433 0 21810 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 116560

[startup+1.50027 s]
/proc/loadavg: 3.91 3.95 3.91 4/182 25703
/proc/meminfo: memFree=27804824/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=212788 CPUtime=1.48 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) R 25700 25702 21777 0 -1 4202496 46457 0 0 0 142 6 0 0 20 0 1 0 332135979 217894912 46992 33554432000 4194304 5964478 140736990502544 140736990500888 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 53197 46993 3828 433 0 45867 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 212788

[startup+3.10027 s]
/proc/loadavg: 3.91 3.95 3.91 4/182 25703
/proc/meminfo: memFree=27679252/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=336748 CPUtime=3.08 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) R 25700 25702 21777 0 -1 4202496 75451 0 0 0 296 12 0 0 20 0 1 0 332135979 344829952 78481 33554432000 4194304 5964478 140736990502544 140736990500920 4344768 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 84187 78482 6919 433 0 76857 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 336748

[startup+6.30031 s]
/proc/loadavg: 3.92 3.95 3.91 5/184 25705
/proc/meminfo: memFree=27193864/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=891600 CPUtime=9.26 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) S 25700 25702 21777 0 -1 4202496 165613 0 0 0 887 39 0 0 20 0 3 0 332135979 912998400 187333 33554432000 4194304 5964478 140736990502544 140736990502064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 222900 187333 196 433 0 222464 0
[pid=25702/tid=25704] ppid=25700 vsize=891600 CPUtime=3.08 cores=0,2,4,6
/proc/25702/task/25704/stat : 25704 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 64563 0 0 0 290 18 0 0 20 0 3 0 332136297 912998400 187333 33554432000 4194304 5964478 140736990502544 140153652406616 5139166 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25702/tid=25705] ppid=25700 vsize=891600 CPUtime=3.06 cores=0,2,4,6
/proc/25702/task/25705/stat : 25705 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 23827 0 0 0 297 9 0 0 20 0 3 0 332136297 912998400 187333 33554432000 4194304 5964478 140736990502544 140153641916728 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 9.26
Current children cumulated vsize (KiB) 891600

[startup+12.7003 s]
/proc/loadavg: 3.93 3.95 3.91 5/184 25705
/proc/meminfo: memFree=27136424/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=891600 CPUtime=22.05 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) S 25700 25702 21777 0 -1 4202496 173044 0 0 0 2163 42 0 0 20 0 3 0 332135979 912998400 195552 33554432000 4194304 5964478 140736990502544 140736990502064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 222900 195552 197 433 0 222464 0
[pid=25702/tid=25704] ppid=25700 vsize=891600 CPUtime=9.46 cores=0,2,4,6
/proc/25702/task/25704/stat : 25704 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 71888 0 0 0 925 21 0 0 20 0 3 0 332136297 912998400 195552 33554432000 4194304 5964478 140736990502544 140153652406808 5122467 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25702/tid=25705] ppid=25700 vsize=891600 CPUtime=9.45 cores=0,2,4,6
/proc/25702/task/25705/stat : 25705 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 23933 0 0 0 936 9 0 0 20 0 3 0 332136297 912998400 195552 33554432000 4194304 5964478 140736990502544 140153641916728 4389160 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 22.05
Current children cumulated vsize (KiB) 891600

[startup+25.5065 s]
/proc/loadavg: 3.94 3.96 3.91 5/183 25705
/proc/meminfo: memFree=27047616/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=1022672 CPUtime=47.66 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) S 25700 25702 21777 0 -1 4202496 187110 0 0 0 4717 49 0 0 20 0 3 0 332135979 1047216128 213216 33554432000 4194304 5964478 140736990502544 140736990502064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 255668 213216 197 433 0 255232 0
[pid=25702/tid=25704] ppid=25700 vsize=1022672 CPUtime=22.23 cores=0,2,4,6
/proc/25702/task/25704/stat : 25704 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 85738 0 0 0 2196 27 0 0 20 0 3 0 332136297 1047216128 213216 33554432000 4194304 5964478 140736990502544 140153652406808 4445505 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25702/tid=25705] ppid=25700 vsize=1022672 CPUtime=22.21 cores=0,2,4,6
/proc/25702/task/25705/stat : 25705 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 24149 0 0 0 2212 9 0 0 20 0 3 0 332136297 1047216128 213216 33554432000 4194304 5964478 140736990502544 140153641916728 4389170 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 47.66
Current children cumulated vsize (KiB) 1022672

[startup+51.1003 s]
/proc/loadavg: 3.96 3.96 3.91 5/183 25705
/proc/meminfo: memFree=26854044/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=1235692 CPUtime=98.84 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) S 25700 25702 21777 0 -1 4202496 211932 0 0 0 9819 65 0 0 20 0 3 0 332135979 1265348608 256541 33554432000 4194304 5964478 140736990502544 140736990502064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 308923 256541 197 433 0 308487 0
[pid=25702/tid=25704] ppid=25700 vsize=1235692 CPUtime=47.75 cores=0,2,4,6
/proc/25702/task/25704/stat : 25704 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 110278 0 0 0 4733 42 0 0 20 0 3 0 332136297 1265348608 256541 33554432000 4194304 5964478 140736990502544 140153652406808 5122249 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25702/tid=25705] ppid=25700 vsize=1235692 CPUtime=47.74 cores=0,2,4,6
/proc/25702/task/25705/stat : 25705 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 24431 0 0 0 4765 9 0 0 20 0 3 0 332136297 1265348608 256541 33554432000 4194304 5964478 140736990502544 140153641916728 4399854 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 98.84
Current children cumulated vsize (KiB) 1235692

[startup+102.3 s]
/proc/loadavg: 3.98 3.96 3.91 5/183 25706
/proc/meminfo: memFree=26480196/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=1637108 CPUtime=201.22 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) S 25700 25702 21777 0 -1 4202496 241281 0 0 0 20025 97 0 0 20 0 3 0 332135979 1676398592 331423 33554432000 4194304 5964478 140736990502544 140736990502064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 409277 331423 197 433 0 408841 0
[pid=25702/tid=25704] ppid=25700 vsize=1637108 CPUtime=98.82 cores=0,2,4,6
/proc/25702/task/25704/stat : 25704 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 138122 0 0 0 9809 73 0 0 20 0 3 0 332136297 1676398592 331423 33554432000 4194304 5964478 140736990502544 140153652406808 5142509 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25702/tid=25705] ppid=25700 vsize=1637108 CPUtime=98.81 cores=0,2,4,6
/proc/25702/task/25705/stat : 25705 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 25936 0 0 0 9869 12 0 0 20 0 3 0 332136297 1676398592 331423 33554432000 4194304 5964478 140736990502544 140153641916728 4403631 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 201.22
Current children cumulated vsize (KiB) 1637108

[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/183 25706
/proc/meminfo: memFree=26142920/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=1940184 CPUtime=321.2 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) S 25700 25702 21777 0 -1 4202496 275743 0 0 0 31991 129 0 0 20 0 3 0 332135979 1986748416 402343 33554432000 4194304 5964478 140736990502544 140736990502064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 485046 402343 197 433 0 484610 0
[pid=25702/tid=25704] ppid=25700 vsize=1940184 CPUtime=158.66 cores=0,2,4,6
/proc/25702/task/25704/stat : 25704 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 171748 0 0 0 15761 105 0 0 20 0 3 0 332136297 1986748416 402343 33554432000 4194304 5964478 140736990502544 140153652406808 5133924 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25702/tid=25705] ppid=25700 vsize=1940184 CPUtime=158.65 cores=0,2,4,6
/proc/25702/task/25705/stat : 25705 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 26772 0 0 0 15850 15 0 0 20 0 3 0 332136297 1986748416 402343 33554432000 4194304 5964478 140736990502544 140153641916776 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 321.2
Current children cumulated vsize (KiB) 1940184

[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/183 25706
/proc/meminfo: memFree=25795092/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=2349976 CPUtime=441.19 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) S 25700 25702 21777 0 -1 4202496 428042 0 0 0 43831 288 0 0 20 0 3 0 332135979 2406375424 488693 33554432000 4194304 5964478 140736990502544 140736990502064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 587494 488693 197 433 0 587058 0
[pid=25702/tid=25704] ppid=25700 vsize=2349976 CPUtime=218.52 cores=0,2,4,6
/proc/25702/task/25704/stat : 25704 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 323333 0 0 0 21589 263 0 0 20 0 3 0 332136297 2406375424 488693 33554432000 4194304 5964478 140736990502544 140153652406808 4445550 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25702/tid=25705] ppid=25700 vsize=2349976 CPUtime=218.5 cores=0,2,4,6
/proc/25702/task/25705/stat : 25705 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 27486 0 0 0 21833 17 0 0 20 0 3 0 332136297 2406375424 488693 33554432000 4194304 5964478 140736990502544 140153641916728 4392918 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 441.19
Current children cumulated vsize (KiB) 2349976

[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/183 25706
/proc/meminfo: memFree=25430612/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=2628436 CPUtime=561.04 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) S 25700 25702 21777 0 -1 4202496 580426 0 0 0 55663 441 0 0 20 0 3 0 332135979 2691518464 557266 33554432000 4194304 5964478 140736990502544 140736990502064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 657109 557266 197 433 0 656673 0
[pid=25702/tid=25704] ppid=25700 vsize=2628436 CPUtime=278.35 cores=0,2,4,6
/proc/25702/task/25704/stat : 25704 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 475007 0 0 0 27420 415 0 0 20 0 3 0 332136297 2691518464 557266 33554432000 4194304 5964478 140736990502544 140153652406616 5122249 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25702/tid=25705] ppid=25700 vsize=2628436 CPUtime=278.23 cores=0,2,4,6
/proc/25702/task/25705/stat : 25705 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 28196 0 0 0 27804 19 0 0 20 0 3 0 332136297 2691518464 557266 33554432000 4194304 5964478 140736990502544 140153641916728 4403343 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 561.04
Current children cumulated vsize (KiB) 2628436

[startup+342.307 s]
/proc/loadavg: 3.99 3.97 3.91 5/183 25706
/proc/meminfo: memFree=25138960/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=2931512 CPUtime=680.97 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) S 25700 25702 21777 0 -1 4202496 700607 0 0 0 67503 594 0 0 20 0 3 0 332135979 3001868288 622212 33554432000 4194304 5964478 140736990502544 140736990502064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 732878 622212 197 433 0 732442 0
[pid=25702/tid=25704] ppid=25700 vsize=2931512 CPUtime=338.2 cores=0,2,4,6
/proc/25702/task/25704/stat : 25704 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 594227 0 0 0 33254 566 0 0 20 0 3 0 332136297 3001868288 622212 33554432000 4194304 5964478 140736990502544 140153652406680 5179666 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25702/tid=25705] ppid=25700 vsize=2931512 CPUtime=338.02 cores=0,2,4,6
/proc/25702/task/25705/stat : 25705 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 29157 0 0 0 33779 23 0 0 20 0 3 0 332136297 3001868288 622212 33554432000 4194304 5964478 140736990502544 140153641916728 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 680.97
Current children cumulated vsize (KiB) 2931512

[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/183 25707
/proc/meminfo: memFree=24776820/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=3337112 CPUtime=800.88 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) S 25700 25702 21777 0 -1 4202496 838825 0 0 0 79329 759 0 0 20 0 3 0 332135979 3417202688 721151 33554432000 4194304 5964478 140736990502544 140736990502064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 834278 721151 197 433 0 833842 0
[pid=25702/tid=25704] ppid=25700 vsize=3337112 CPUtime=398.03 cores=0,2,4,6
/proc/25702/task/25704/stat : 25704 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 732001 0 0 0 39072 731 0 0 20 0 3 0 332136297 3417202688 721151 33554432000 4194304 5964478 140736990502544 140153652406680 4445488 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25702/tid=25705] ppid=25700 vsize=3337112 CPUtime=397.81 cores=0,2,4,6
/proc/25702/task/25705/stat : 25705 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 29601 0 0 0 39757 24 0 0 20 0 3 0 332136297 3417202688 721151 33554432000 4194304 5964478 140736990502544 140153641916728 4382008 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 800.88
Current children cumulated vsize (KiB) 3337112

[startup+462.3 s]
/proc/loadavg: 3.92 3.95 3.90 5/183 25707
/proc/meminfo: memFree=24444416/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=3627800 CPUtime=920.85 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) S 25700 25702 21777 0 -1 4202496 959767 0 0 0 91177 908 0 0 20 0 3 0 332135979 3714867200 784548 33554432000 4194304 5964478 140736990502544 140736990502064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 906950 784548 197 433 0 906514 0
[pid=25702/tid=25704] ppid=25700 vsize=3627800 CPUtime=457.88 cores=0,2,4,6
/proc/25702/task/25704/stat : 25704 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 852224 0 0 0 44909 879 0 0 20 0 3 0 332136297 3714867200 784548 33554432000 4194304 5964478 140736990502544 140153652406680 5134325 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25702/tid=25705] ppid=25700 vsize=3627800 CPUtime=457.65 cores=0,2,4,6
/proc/25702/task/25705/stat : 25705 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 30320 0 0 0 45740 25 0 0 20 0 3 0 332136297 3714867200 784548 33554432000 4194304 5964478 140736990502544 140153641916728 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 920.85
Current children cumulated vsize (KiB) 3627800

[startup+522.3 s]
/proc/loadavg: 3.97 3.96 3.91 5/184 25710
/proc/meminfo: memFree=24205412/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=3988376 CPUtime=1040.83 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) S 25700 25702 21777 0 -1 4202496 1081836 0 0 0 103020 1063 0 0 20 0 3 0 332135979 4084097024 866872 33554432000 4194304 5964478 140736990502544 140736990502064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 997094 866872 197 433 0 996658 0
[pid=25702/tid=25704] ppid=25700 vsize=3988376 CPUtime=517.72 cores=0,2,4,6
/proc/25702/task/25704/stat : 25704 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 972963 0 0 0 50740 1032 0 0 20 0 3 0 332136297 4084097024 866872 33554432000 4194304 5964478 140736990502544 140153652406632 4396239 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25702/tid=25705] ppid=25700 vsize=3988376 CPUtime=517.48 cores=0,2,4,6
/proc/25702/task/25705/stat : 25705 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 31650 0 0 0 51719 29 0 0 20 0 3 0 332136297 4084097024 866872 33554432000 4194304 5964478 140736990502544 140153641916664 4403411 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1040.83
Current children cumulated vsize (KiB) 3988376

[startup+582.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/183 25710
/proc/meminfo: memFree=23833664/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=4242232 CPUtime=1160.8 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) S 25700 25702 21777 0 -1 4202496 1189304 0 0 0 114899 1181 0 0 20 0 3 0 332135979 4344045568 936137 33554432000 4194304 5964478 140736990502544 140736990502064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 1060558 936137 197 433 0 1060122 0
[pid=25702/tid=25704] ppid=25700 vsize=4242232 CPUtime=577.56 cores=0,2,4,6
/proc/25702/task/25704/stat : 25704 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 1079638 0 0 0 56606 1150 0 0 20 0 3 0 332136297 4344045568 936137 33554432000 4194304 5964478 140736990502544 140153652407224 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25702/tid=25705] ppid=25700 vsize=4242232 CPUtime=577.33 cores=0,2,4,6
/proc/25702/task/25705/stat : 25705 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 32443 0 0 0 57702 31 0 0 20 0 3 0 332136297 4344045568 936137 33554432000 4194304 5964478 140736990502544 140153641916728 4403613 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1160.8
Current children cumulated vsize (KiB) 4242232

[startup+642.3 s]
/proc/loadavg: 3.60 3.89 3.88 3/175 25735
/proc/meminfo: memFree=24435576/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=4332372 CPUtime=1280.78 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) S 25700 25702 21777 0 -1 4202496 1211120 0 0 0 126855 1223 0 0 20 0 3 0 332135979 4436348928 961385 33554432000 4194304 5964478 140736990502544 140736990502064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 1083093 961385 197 433 0 1082657 0
[pid=25702/tid=25704] ppid=25700 vsize=4332372 CPUtime=637.4 cores=0,2,4,6
/proc/25702/task/25704/stat : 25704 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 1100767 0 0 0 62548 1192 0 0 20 0 3 0 332136297 4436348928 961385 33554432000 4194304 5964478 140736990502544 140153652407112 5179822 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25702/tid=25705] ppid=25700 vsize=4332372 CPUtime=637.17 cores=0,2,4,6
/proc/25702/task/25705/stat : 25705 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 33130 0 0 0 63684 33 0 0 20 0 3 0 332136297 4436348928 961385 33554432000 4194304 5964478 140736990502544 140153641916728 4387951 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1280.78
Current children cumulated vsize (KiB) 4332372

[startup+702.3 s]
/proc/loadavg: 2.59 3.54 3.76 3/175 25736
/proc/meminfo: memFree=24263064/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=4512664 CPUtime=1400.74 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) S 25700 25702 21777 0 -1 4202496 1247646 0 0 0 138811 1263 0 0 20 0 3 0 332135979 4620967936 1004479 33554432000 4194304 5964478 140736990502544 140736990502064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 1128166 1004479 197 433 0 1127730 0
[pid=25702/tid=25704] ppid=25700 vsize=4512664 CPUtime=697.25 cores=0,2,4,6
/proc/25702/task/25704/stat : 25704 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 1136598 0 0 0 68492 1233 0 0 20 0 3 0 332136297 4620967936 1004479 33554432000 4194304 5964478 140736990502544 140153652406680 5130842 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25702/tid=25705] ppid=25700 vsize=4512664 CPUtime=697.01 cores=0,2,4,6
/proc/25702/task/25705/stat : 25705 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 33825 0 0 0 69666 35 0 0 20 0 3 0 332136297 4620967936 1004479 33554432000 4194304 5964478 140736990502544 140153641916728 4392918 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1400.74
Current children cumulated vsize (KiB) 4512664

[startup+762.3 s]
/proc/loadavg: 2.21 3.26 3.65 3/175 25736
/proc/meminfo: memFree=24281700/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=4504376 CPUtime=1520.7 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) S 25700 25702 21777 0 -1 4202496 1270280 0 0 0 150763 1307 0 0 20 0 3 0 332135979 4612481024 999759 33554432000 4194304 5964478 140736990502544 140736990502064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 1126094 999759 197 433 0 1125658 0
[pid=25702/tid=25704] ppid=25700 vsize=4504376 CPUtime=757.09 cores=0,2,4,6
/proc/25702/task/25704/stat : 25704 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 1158486 0 0 0 74433 1276 0 0 20 0 3 0 332136297 4612481024 999759 33554432000 4194304 5964478 140736990502544 140153652407112 4422490 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25702/tid=25705] ppid=25700 vsize=4504376 CPUtime=756.83 cores=0,2,4,6
/proc/25702/task/25705/stat : 25705 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 34571 0 0 0 75647 36 0 0 20 0 3 0 332136297 4612481024 999759 33554432000 4194304 5964478 140736990502544 140153641916776 4392863 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1520.7
Current children cumulated vsize (KiB) 4504376

[startup+822.3 s]
/proc/loadavg: 2.11 3.04 3.55 3/175 25736
/proc/meminfo: memFree=24065636/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=4778904 CPUtime=1640.68 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) S 25700 25702 21777 0 -1 4202496 1297855 0 0 0 162726 1342 0 0 20 0 3 0 332135979 4893597696 1056201 33554432000 4194304 5964478 140736990502544 140736990502064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 1194726 1056201 197 433 0 1194290 0
[pid=25702/tid=25704] ppid=25700 vsize=4778904 CPUtime=816.94 cores=0,2,4,6
/proc/25702/task/25704/stat : 25704 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 1185260 0 0 0 80384 1310 0 0 20 0 3 0 332136297 4893597696 1056201 33554432000 4194304 5964478 140736990502544 140153652406680 4375259 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25702/tid=25705] ppid=25700 vsize=4778904 CPUtime=816.67 cores=0,2,4,6
/proc/25702/task/25705/stat : 25705 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 35372 0 0 0 81628 39 0 0 20 0 3 0 332136297 4893597696 1056201 33554432000 4194304 5964478 140736990502544 140153641916664 4390458 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1640.68
Current children cumulated vsize (KiB) 4778904

[startup+882.3 s]
/proc/loadavg: 2.04 2.85 3.45 3/175 25736
/proc/meminfo: memFree=24127232/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=4700984 CPUtime=1760.64 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) S 25700 25702 21777 0 -1 4202496 1325245 0 0 0 174697 1367 0 0 20 0 3 0 332135979 4813807616 1038356 33554432000 4194304 5964478 140736990502544 140736990502064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 1175246 1038356 197 433 0 1174810 0
[pid=25702/tid=25704] ppid=25700 vsize=4700984 CPUtime=876.79 cores=0,2,4,6
/proc/25702/task/25704/stat : 25704 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 1212094 0 0 0 86343 1336 0 0 20 0 3 0 332136297 4813807616 1038356 33554432000 4194304 5964478 140736990502544 140153652407112 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25702/tid=25705] ppid=25700 vsize=4700984 CPUtime=876.5 cores=0,2,4,6
/proc/25702/task/25705/stat : 25705 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 35928 0 0 0 87610 40 0 0 20 0 3 0 332136297 4813807616 1038356 33554432000 4194304 5964478 140736990502544 140153641916728 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1760.64
Current children cumulated vsize (KiB) 4700984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+902 s]
/proc/loadavg: 2.03 2.79 3.42 3/175 25736
/proc/meminfo: memFree=24028056/32873844 swapFree=7112/7112
[pid=25702] ppid=25700 vsize=4774808 CPUtime=1800.05 cores=0,2,4,6
/proc/25702/stat : 25702 (pwbo2.02) S 25700 25702 21777 0 -1 4202496 1346260 0 0 0 178626 1379 0 0 20 0 3 0 332135979 4889403392 1064285 33554432000 4194304 5964478 140736990502544 140736990502064 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 1193702 1064285 197 433 0 1193266 0
[pid=25702/tid=25704] ppid=25700 vsize=4774808 CPUtime=896.44 cores=0,2,4,6
/proc/25702/task/25704/stat : 25704 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 1232900 0 0 0 88297 1347 0 0 20 0 3 0 332136297 4889403392 1064285 33554432000 4194304 5964478 140736990502544 140153652406616 5135617 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25702/tid=25705] ppid=25700 vsize=4774808 CPUtime=896.15 cores=0,2,4,6
/proc/25702/task/25705/stat : 25705 (pwbo2.02) R 25700 25702 21777 0 -1 4202560 36137 0 0 0 89575 40 0 0 20 0 3 0 332136297 4889403392 1064285 33554432000 4194304 5964478 140736990502544 140153641916776 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 4774808

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 25702 and gives
#  childrusage.ru_utime.tv_sec=1781
#  childrusage.ru_utime.tv_usec=760131
#  childrusage.ru_stime.tv_sec=14
#  childrusage.ru_stime.tv_usec=102856
# CPU time returned by wait4() is 1795.86
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 902.093
CPU time (s): 1800.05
CPU user time (s): 1786.26
CPU system time (s): 13.79
CPU usage (%): 199.542
Max. virtual memory (cumulated for all children) (KiB): 4868968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.76
system time used= 14.1029
maximum resident set size= 4303860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1346261
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= 6244
involuntary context switches= 2231

runsolver used 1.9927 second user time and 4.85226 second system time

The end

Launcher Data

Begin job on node132 at 2012-06-02 20:01:46
IDJOB=3726382
IDBENCH=90888
IDSOLVER=2309
FILE ID=node132/3726382-1338660106
RUNJOBID= node132-1338651627-23512
PBS_JOBID= 14636448
Free space on /tmp= 71184 MiB

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

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

MD5SUM BENCH= 021b67803848f7a62860711c4015132a
RANDOM SEED=1968190569

node132.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.832
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.66
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.832
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	: 5332.55
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.832
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	: 5332.56
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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27926140 kB
Buffers:          592216 kB
Cached:          3077436 kB
SwapCached:         2292 kB
Active:          1934636 kB
Inactive:        2099160 kB
Active(anon):     356712 kB
Inactive(anon):     7120 kB
Active(file):    1577924 kB
Inactive(file):  2092040 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67102708 kB
Dirty:             33016 kB
Writeback:             0 kB
AnonPages:        366736 kB
Mapped:            11848 kB
Shmem:                 8 kB
Slab:             774640 kB
SReclaimable:     216056 kB
SUnreclaim:       558584 kB
KernelStack:        1480 kB
PageTables:         4600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     199080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71184 MiB
End job on node132 at 2012-06-02 20:16:51