Trace number 3713142

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 NameAnswerCPU timeWall clock time
wbo 1.71? 1799.49 1800.02

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo
MD5SUM30e25559b2b6f1151f21e207b2f87b54
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark110.225
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 136614
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136613
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 739
Number of bits of the biggest sum of numbers10
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 |   wbo:                    1.71 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3713142-1338218514.wbo.
0.00/0.00	c Instance file HOME/instance-3713142-1338218514.wbo
0.00/0.00	c File size is 96765 bytes.
0.00/0.01	c Highest Coefficient sum: 739
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      2938                                                |
0.00/0.01	c |  Number Clauses:        2684                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 23                                                  |
0.00/0.01	c |                                                                             |
0.00/0.02	c |  Problem Type:          Optimization                                        |
0.00/0.02	c |  Objective Function:    PB Constraint                                       |
0.00/0.02	c |                                                                             |
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.00/0.02	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.00/0.02	c ===============================================================================
1799.49/1800.00	c ===============================================================================
1799.49/1800.00	c Wall Clock Time: 1800.00 s
1799.49/1800.00	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-3713142-1338218514/watcher-3713142-1338218514 -o /tmp/evaluation-result-3713142-1338218514/solver-3713142-1338218514 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3713142-1338218514.wbo 

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/177 14462
/proc/meminfo: memFree=28363624/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/14462/stat : 14462 (runsolver) D 14460 14462 12215 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 287976432 12095488 50 33554432000 4194304 5436572 140736440228480 140736440224776 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/14462/statm: 2953 50 31 304 0 2645 0

[startup+0.0763269 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14462
/proc/meminfo: memFree=28363624/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=84288 CPUtime=0.06 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 1482 0 0 0 6 0 0 0 20 0 2 0 287976432 86310912 1410 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 21072 1410 194 433 0 20636 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 84288

[startup+0.100169 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14462
/proc/meminfo: memFree=28363624/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=84288 CPUtime=0.09 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 1560 0 0 0 9 0 0 0 20 0 2 0 287976432 86310912 1488 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 21072 1488 194 433 0 20636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84288

[startup+0.300113 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14462
/proc/meminfo: memFree=28363624/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=84288 CPUtime=0.29 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 2130 0 0 0 29 0 0 0 20 0 2 0 287976432 86310912 2058 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 21072 2058 194 433 0 20636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84288

[startup+0.700121 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14462
/proc/meminfo: memFree=28363624/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=84432 CPUtime=0.68 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 3205 0 0 0 68 0 0 0 20 0 2 0 287976432 86458368 3133 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 21108 3133 194 433 0 20672 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 84432

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14464
/proc/meminfo: memFree=28349332/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=84504 CPUtime=1.48 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 4904 0 0 0 148 0 0 0 20 0 2 0 287976432 86532096 4832 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 21126 4832 194 433 0 20690 0
[pid=14462/tid=14464] ppid=14460 vsize=84504 CPUtime=1.46 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 4015 0 0 0 146 0 0 0 20 0 2 0 287976433 86532096 4832 33554432000 4194304 5964318 140734393426480 140263719999480 18446744073699066235 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 84504

[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14464
/proc/meminfo: memFree=28342008/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=84504 CPUtime=3.08 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 6561 0 0 0 307 1 0 0 20 0 2 0 287976432 86532096 6489 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 21126 6489 194 433 0 20690 0
[pid=14462/tid=14464] ppid=14460 vsize=84504 CPUtime=3.06 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 5672 0 0 0 305 1 0 0 20 0 2 0 287976433 86532096 6489 33554432000 4194304 5964318 140734393426480 140263719999528 4399777 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84504

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14464
/proc/meminfo: memFree=28329852/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=84612 CPUtime=6.28 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 8475 0 0 0 626 2 0 0 20 0 2 0 287976432 86642688 8403 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 21153 8403 194 433 0 20717 0
[pid=14462/tid=14464] ppid=14460 vsize=84612 CPUtime=6.25 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 7586 0 0 0 623 2 0 0 20 0 2 0 287976433 86642688 8403 33554432000 4194304 5964318 140734393426480 140263719999480 4400001 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84612

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14464
/proc/meminfo: memFree=28286484/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=150148 CPUtime=12.68 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 17630 0 0 0 1264 4 0 0 20 0 2 0 287976432 153751552 17558 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 37537 17558 194 433 0 37101 0
[pid=14462/tid=14464] ppid=14460 vsize=150148 CPUtime=12.63 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 16741 0 0 0 1259 4 0 0 20 0 2 0 287976433 153751552 17558 33554432000 4194304 5964318 140734393426480 140263719999480 4399982 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 150148

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14464
/proc/meminfo: memFree=28198428/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=150308 CPUtime=25.48 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 30844 0 0 0 2540 8 0 0 20 0 2 0 287976432 153915392 30772 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 37577 30772 194 433 0 37141 0
[pid=14462/tid=14464] ppid=14460 vsize=150308 CPUtime=25.4 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 29955 0 0 0 2532 8 0 0 20 0 2 0 287976433 153915392 30772 33554432000 4194304 5964318 140734393426480 140263719999480 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 150308

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14464
/proc/meminfo: memFree=28175828/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=216084 CPUtime=51.07 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 36539 0 0 0 5098 9 0 0 20 0 2 0 287976432 221270016 36467 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 54021 36467 194 433 0 53585 0
[pid=14462/tid=14464] ppid=14460 vsize=216084 CPUtime=50.93 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 35650 0 0 0 5084 9 0 0 20 0 2 0 287976433 221270016 36467 33554432000 4194304 5964318 140734393426480 140263719999480 4399995 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 216084

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14464
/proc/meminfo: memFree=27952672/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=281620 CPUtime=102.27 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 63689 0 0 0 10211 16 0 0 20 0 2 0 287976432 288378880 63617 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 70405 63617 194 433 0 69969 0
[pid=14462/tid=14464] ppid=14460 vsize=281620 CPUtime=101.99 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 62800 0 0 0 10182 17 0 0 20 0 2 0 287976433 288378880 63617 33554432000 4194304 5964318 140734393426480 140263719999480 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 281620

[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14464
/proc/meminfo: memFree=27906076/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=347156 CPUtime=162.26 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 75199 0 0 0 16206 20 0 0 20 0 2 0 287976432 355487744 75127 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 86789 75127 194 433 0 86353 0
[pid=14462/tid=14464] ppid=14460 vsize=347156 CPUtime=161.83 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 74310 0 0 0 16161 22 0 0 20 0 2 0 287976433 355487744 75127 33554432000 4194304 5964318 140734393426480 140263719999480 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 347156

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14464
/proc/meminfo: memFree=27836416/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=412692 CPUtime=222.24 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 92622 0 0 0 22198 26 0 0 20 0 2 0 287976432 422596608 92550 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 103173 92550 194 433 0 102737 0
[pid=14462/tid=14464] ppid=14460 vsize=412692 CPUtime=221.67 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 91733 0 0 0 22138 29 0 0 20 0 2 0 287976433 422596608 92550 33554432000 4194304 5964318 140734393426480 140263719999480 4400001 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 412692

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14465
/proc/meminfo: memFree=27774320/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=412692 CPUtime=282.23 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 96112 0 0 0 28196 27 0 0 20 0 2 0 287976432 422596608 96040 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 103173 96040 194 433 0 102737 0
[pid=14462/tid=14464] ppid=14460 vsize=412692 CPUtime=281.5 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 95223 0 0 0 28119 31 0 0 20 0 2 0 287976433 422596608 96040 33554432000 4194304 5964318 140734393426480 140263719999480 4400001 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 412692

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14465
/proc/meminfo: memFree=27641056/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=544196 CPUtime=342.22 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 123238 0 0 0 34185 37 0 0 20 0 2 0 287976432 557256704 123419 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 136049 123419 194 433 0 135613 0
[pid=14462/tid=14464] ppid=14460 vsize=544196 CPUtime=341.33 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 122349 0 0 0 34091 42 0 0 20 0 2 0 287976433 557256704 123419 33554432000 4194304 5964318 140734393426480 140263719999480 4400001 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 544196

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14465
/proc/meminfo: memFree=27631164/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=544196 CPUtime=402.19 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 125435 0 0 0 40182 37 0 0 20 0 2 0 287976432 557256704 125607 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 136049 125607 194 433 0 135613 0
[pid=14462/tid=14464] ppid=14460 vsize=544196 CPUtime=401.16 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 124546 0 0 0 40073 43 0 0 20 0 2 0 287976433 557256704 125607 33554432000 4194304 5964318 140734393426480 140263719999480 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 544196

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14465
/proc/meminfo: memFree=27575888/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=610092 CPUtime=462.16 cores=0,2,4,6

################
# More data... #
################


[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 14514
/proc/meminfo: memFree=27667020/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=940400 CPUtime=1421.85 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 216168 0 0 0 142115 70 0 0 20 0 2 0 287976432 962969600 217052 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 235100 217052 194 433 0 234664 0
[pid=14462/tid=14464] ppid=14460 vsize=940400 CPUtime=1418.3 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 215279 0 0 0 141739 91 0 0 20 0 2 0 287976433 962969600 217052 33554432000 4194304 5964318 140734393426480 140263719999480 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 940400

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14514
/proc/meminfo: memFree=27561744/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=940472 CPUtime=1481.84 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 216187 0 0 0 148114 70 0 0 20 0 2 0 287976432 963043328 217071 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 235118 217071 194 433 0 234682 0
[pid=14462/tid=14464] ppid=14460 vsize=940472 CPUtime=1478.13 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 215298 0 0 0 147721 92 0 0 20 0 2 0 287976433 963043328 217071 33554432000 4194304 5964318 140734393426480 140263719999528 4388230 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 940472

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14515
/proc/meminfo: memFree=27465008/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=940472 CPUtime=1541.83 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 223769 0 0 0 154110 73 0 0 20 0 2 0 287976432 963043328 224653 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 235118 224653 194 433 0 234682 0
[pid=14462/tid=14464] ppid=14460 vsize=940472 CPUtime=1537.97 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 222880 0 0 0 153701 96 0 0 20 0 2 0 287976433 963043328 224653 33554432000 4194304 5964318 140734393426480 140263719999480 4431932 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 940472

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14515
/proc/meminfo: memFree=27464912/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=940472 CPUtime=1601.82 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 223769 0 0 0 160109 73 0 0 20 0 2 0 287976432 963043328 224653 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 235118 224653 194 433 0 234682 0
[pid=14462/tid=14464] ppid=14460 vsize=940472 CPUtime=1597.82 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 222880 0 0 0 159685 97 0 0 20 0 2 0 287976433 963043328 224653 33554432000 4194304 5964318 140734393426480 140263719999480 4400019 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 940472

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14515
/proc/meminfo: memFree=27374916/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=940472 CPUtime=1661.81 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 223781 0 0 0 166108 73 0 0 20 0 2 0 287976432 963043328 224665 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 235118 224665 194 433 0 234682 0
[pid=14462/tid=14464] ppid=14460 vsize=940472 CPUtime=1657.66 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 222892 0 0 0 165668 98 0 0 20 0 2 0 287976433 963043328 224665 33554432000 4194304 5964318 140734393426480 140263719999480 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 940472

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14518
/proc/meminfo: memFree=27374688/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=940472 CPUtime=1721.8 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 223783 0 0 0 172107 73 0 0 20 0 2 0 287976432 963043328 224667 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 235118 224667 194 433 0 234682 0
[pid=14462/tid=14464] ppid=14460 vsize=940472 CPUtime=1717.5 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 222894 0 0 0 171651 99 0 0 20 0 2 0 287976433 963043328 224667 33554432000 4194304 5964318 140734393426480 140263719999480 4399960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 940472

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14518
/proc/meminfo: memFree=27265852/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=940832 CPUtime=1781.79 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 229137 0 0 0 178105 74 0 0 20 0 2 0 287976432 963411968 230021 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 235208 230021 194 433 0 234772 0
[pid=14462/tid=14464] ppid=14460 vsize=940832 CPUtime=1777.34 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 228248 0 0 0 177633 101 0 0 20 0 2 0 287976433 963411968 230021 33554432000 4194304 5964318 140734393426480 140263719999480 4400432 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 940832

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14518
/proc/meminfo: memFree=27265712/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=940832 CPUtime=1791.4 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 229137 0 0 0 179066 74 0 0 20 0 2 0 287976432 963411968 230021 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 235208 230021 194 433 0 234772 0
[pid=14462/tid=14464] ppid=14460 vsize=940832 CPUtime=1786.92 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 228248 0 0 0 178591 101 0 0 20 0 2 0 287976433 963411968 230021 33554432000 4194304 5964318 140734393426480 140263719999480 4400007 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 940832

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14518
/proc/meminfo: memFree=27265580/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=940832 CPUtime=1794.6 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 229137 0 0 0 179386 74 0 0 20 0 2 0 287976432 963411968 230021 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 235208 230021 194 433 0 234772 0
[pid=14462/tid=14464] ppid=14460 vsize=940832 CPUtime=1790.12 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 228248 0 0 0 178911 101 0 0 20 0 2 0 287976433 963411968 230021 33554432000 4194304 5964318 140734393426480 140263719999480 4399885 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 940832

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14518
/proc/meminfo: memFree=27265704/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=940832 CPUtime=1797.79 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 229137 0 0 0 179705 74 0 0 20 0 2 0 287976432 963411968 230021 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 235208 230021 194 433 0 234772 0
[pid=14462/tid=14464] ppid=14460 vsize=940832 CPUtime=1793.3 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 228248 0 0 0 179229 101 0 0 20 0 2 0 287976433 963411968 230021 33554432000 4194304 5964318 140734393426480 140263719999480 4388124 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 940832

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14518
/proc/meminfo: memFree=27265704/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=940832 CPUtime=1798.59 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 229137 0 0 0 179785 74 0 0 20 0 2 0 287976432 963411968 230021 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 235208 230021 194 433 0 234772 0
[pid=14462/tid=14464] ppid=14460 vsize=940832 CPUtime=1794.1 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 228248 0 0 0 179309 101 0 0 20 0 2 0 287976433 963411968 230021 33554432000 4194304 5964318 140734393426480 140263719999480 4399960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (KiB) 940832

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14519
/proc/meminfo: memFree=27265696/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=940832 CPUtime=1799 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 229137 0 0 0 179826 74 0 0 20 0 2 0 287976432 963411968 230021 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 235208 230021 194 433 0 234772 0
[pid=14462/tid=14464] ppid=14460 vsize=940832 CPUtime=1794.5 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 228248 0 0 0 179349 101 0 0 20 0 2 0 287976433 963411968 230021 33554432000 4194304 5964318 140734393426480 140263719999480 4400001 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799
Current children cumulated vsize (KiB) 940832

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14519
/proc/meminfo: memFree=27265696/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=940832 CPUtime=1799.39 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 229137 0 0 0 179865 74 0 0 20 0 2 0 287976432 963411968 230021 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 235208 230021 194 433 0 234772 0
[pid=14462/tid=14464] ppid=14460 vsize=940832 CPUtime=1794.9 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 228248 0 0 0 179389 101 0 0 20 0 2 0 287976433 963411968 230021 33554432000 4194304 5964318 140734393426480 140263719999480 4400019 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 940832

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14519
/proc/meminfo: memFree=27265696/32873844 swapFree=7116/7116
[pid=14462] ppid=14460 vsize=940832 CPUtime=1799.49 cores=0,2,4,6
/proc/14462/stat : 14462 (wbo1.71) S 14460 14462 12215 0 -1 4202496 229137 0 0 0 179875 74 0 0 20 0 2 0 287976432 963411968 230021 33554432000 4194304 5964318 140734393426480 140734393426000 4546589 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14462/statm: 235208 230021 194 433 0 234772 0
[pid=14462/tid=14464] ppid=14460 vsize=940832 CPUtime=1795 cores=0,2,4,6
/proc/14462/task/14464/stat : 14464 (wbo1.71) R 14460 14462 12215 0 -1 4202560 228248 0 0 0 179399 101 0 0 20 0 2 0 287976433 963411968 230021 33554432000 4194304 5964318 140734393426480 140263719999480 4391301 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 940832

Child status: 255

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

Real time (s): 1800.02
CPU time (s): 1799.49
CPU user time (s): 1798.75
CPU system time (s): 0.74
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 940832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.01
system time used= 1.03584
maximum resident set size= 920096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229140
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= 298
involuntary context switches= 2317

runsolver used 2.71959 second user time and 7.10192 second system time

The end

Launcher Data 

Begin job on node138 at 2012-05-28 17:21:54
IDJOB=3713142
IDBENCH=79292
IDSOLVER=2293
FILE ID=node138/3713142-1338218514
RUNJOBID= node138-1338194596-12231
PBS_JOBID= 14624599
Free space on /tmp= 71488 MiB

SOLVER NAME= wbo 1.71
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo
COMMAND LINE= wbo1.71 -file-format=wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3713142-1338218514/watcher-3713142-1338218514 -o /tmp/evaluation-result-3713142-1338218514/solver-3713142-1338218514 -C 1800 -W 1900 -M 15500  wbo1.71 -file-format=wbo HOME/instance-3713142-1338218514.wbo

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

MD5SUM BENCH= 30e25559b2b6f1151f21e207b2f87b54
RANDOM SEED=675508892

node138.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		: 2667.347
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	: 5334.69
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		: 2667.347
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		: 2667.347
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		: 2667.347
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		: 2667.347
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		: 2667.347
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.91
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		: 2667.347
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.92
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		: 2667.347
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:        28363996 kB
Buffers:          663088 kB
Cached:          2446316 kB
SwapCached:          208 kB
Active:          1667236 kB
Inactive:        1948788 kB
Active(anon):     488952 kB
Inactive(anon):    11368 kB
Active(file):    1178284 kB
Inactive(file):  1937420 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108648 kB
Dirty:              5452 kB
Writeback:             0 kB
AnonPages:        570124 kB
Mapped:            15120 kB
Shmem:               200 kB
Slab:             753008 kB
SReclaimable:     195336 kB
SUnreclaim:       557672 kB
KernelStack:        1488 kB
PageTables:         4848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     143720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 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= 71484 MiB
End job on node138 at 2012-05-28 17:51:54