Trace number 3704357

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
pwbo 2.0? 1799.46 1800.06

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-180.opb
MD5SUM8c3fe83338b70253b33b876e52e7c579
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables311827
Total number of constraints7317246
Number of constraints which are clauses6573583
Number of constraints which are cardinality constraints (but not clauses)22922
Number of constraints which are nor clauses,nor cardinality constraints720741
Minimum length of a constraint2
Maximum length of a constraint2457
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2458
Number of bits of the biggest sum of numbers12
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.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3704357-1338096981.opb.
0.00/0.00	c Instance file HOME/instance-3704357-1338096981.opb
0.00/0.00	c File size is 356362030 bytes.
23.69/23.71	c Highest Coefficient sum: 2458
23.69/23.71	c ============================[ Problem Statistics ]=============================
23.69/23.71	c |                                                                             |
23.69/23.71	c |  Parsing time:          23.71        s                                      |
23.69/23.71	c |  Number Variables:      311827                                              |
23.69/23.71	c |  Number Clauses:        6585064                                             |
23.69/23.71	c |  Number Cardinality:    22923                                               |
23.69/23.71	c |  Number PB Constraints: 720741                                              |
23.69/23.71	c |                                                                             |
24.59/24.69	c |  Problem Type:          Decision                                            |
24.59/24.69	c |  Objective Function:    None                                                |
24.59/24.69	c |                                                                             |
24.59/24.69	c ===============================================================================
1799.46/1800.00	c ===============================================================================
1799.46/1800.00	c Wall Clock Time: 1800.00 s
1799.46/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-3704357-1338096981/watcher-3704357-1338096981 -o /tmp/evaluation-result-3704357-1338096981/solver-3704357-1338096981 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704357-1338096981.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.08 2.02 2.01 3/177 20415
/proc/meminfo: memFree=27157488/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=351020 CPUtime=0 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) R 20413 20415 18256 0 -1 4202496 295 0 0 0 0 0 0 0 20 0 1 0 275827356 359444480 247 33554432000 4194304 5965102 140736100282128 140736400418472 4351027 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 87755 247 168 433 0 316 0

[startup+0.068972 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 20415
/proc/meminfo: memFree=27157488/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=354048 CPUtime=0.06 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) R 20413 20415 18256 0 -1 4202496 1263 0 0 0 6 0 0 0 20 0 1 0 275827356 362545152 1215 33554432000 4194304 5965102 140736100282128 140736400418472 4350598 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 88512 1216 399 433 0 1073 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 354048

[startup+0.100289 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 20415
/proc/meminfo: memFree=27157488/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=355660 CPUtime=0.09 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) R 20413 20415 18256 0 -1 4202496 1785 0 0 0 9 0 0 0 20 0 1 0 275827356 364195840 1704 33554432000 4194304 5965102 140736100282128 140736400418472 4420575 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 88915 1705 521 433 0 1476 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 355660

[startup+0.300215 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 20415
/proc/meminfo: memFree=27157488/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=364604 CPUtime=0.29 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) R 20413 20415 18256 0 -1 4202496 4770 0 0 0 29 0 0 0 20 0 1 0 275827356 373354496 4624 33554432000 4194304 5965102 140736100282128 140736100280216 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 91151 4624 1265 433 0 3712 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 364604

[startup+0.700262 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 20415
/proc/meminfo: memFree=27157488/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=382076 CPUtime=0.69 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) R 20413 20415 18256 0 -1 4202496 10701 0 0 0 68 1 0 0 20 0 1 0 275827356 391245824 10426 33554432000 4194304 5965102 140736100282128 140736100280216 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 95519 10426 2765 433 0 8080 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 382076

[startup+1.50027 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 20416
/proc/meminfo: memFree=27120916/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=419144 CPUtime=1.49 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) R 20413 20415 18256 0 -1 4202496 22796 0 0 0 146 3 0 0 20 0 1 0 275827356 429203456 22263 33554432000 4194304 5965102 140736100282128 140736100280216 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 104786 22264 5886 433 0 17347 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 419144

[startup+3.10028 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 20416
/proc/meminfo: memFree=27072304/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=487336 CPUtime=3.09 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) R 20413 20415 18256 0 -1 4202496 44123 0 0 0 303 6 0 0 20 0 1 0 275827356 499032064 44097 33554432000 4194304 5965102 140736100282128 140736100280072 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 121834 44097 11835 433 0 34395 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 487336

[startup+6.30027 s]
/proc/loadavg: 2.15 2.03 2.01 3/178 20416
/proc/meminfo: memFree=26938824/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=616112 CPUtime=6.29 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) R 20413 20415 18256 0 -1 4202496 84980 0 0 0 617 12 0 0 20 0 1 0 275827356 630898688 87504 33554432000 4194304 5965102 140736100282128 140736100280024 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 154028 87505 23652 433 0 66589 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 616112

[startup+12.7003 s]
/proc/loadavg: 2.14 2.03 2.01 3/178 20416
/proc/meminfo: memFree=26679876/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=867072 CPUtime=12.69 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) R 20413 20415 18256 0 -1 4202496 162664 0 0 0 1248 21 0 0 20 0 1 0 275827356 887881728 173364 33554432000 4194304 5965102 140736100282128 140736100280216 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 216768 173364 48316 433 0 129329 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 867072

[startup+25.5065 s]
/proc/loadavg: 2.11 2.03 2.01 3/179 20417
/proc/meminfo: memFree=25815840/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=1464316 CPUtime=25.49 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 386531 0 0 0 2494 55 0 0 20 0 2 0 275827356 1499459584 343942 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 366079 343942 176 433 0 365643 0
[pid=20415/tid=20417] ppid=20413 vsize=1464316 CPUtime=1.77 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 103597 0 0 0 160 17 0 0 20 0 2 0 275829728 1499459584 343942 33554432000 4194304 5965102 140736100282128 140420963871256 4444089 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1464316

[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 2.01 3/179 20417
/proc/meminfo: memFree=25170632/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=2035684 CPUtime=51.07 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 540650 0 0 0 5023 84 0 0 20 0 2 0 275827356 2084540416 495979 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 508921 495979 190 433 0 508485 0
[pid=20415/tid=20417] ppid=20413 vsize=2035684 CPUtime=27.3 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 257716 0 0 0 2684 46 0 0 20 0 2 0 275829728 2084540416 495979 33554432000 4194304 5965102 140736100282128 140420963870712 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2035684

[startup+102.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 20417
/proc/meminfo: memFree=25105528/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=2101220 CPUtime=102.27 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 552635 0 0 0 10133 94 0 0 20 0 2 0 275827356 2151649280 507976 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 525305 507976 190 433 0 524869 0
[pid=20415/tid=20417] ppid=20413 vsize=2101220 CPUtime=78.36 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 269701 0 0 0 7780 56 0 0 20 0 2 0 275829728 2151649280 507976 33554432000 4194304 5965102 140736100282128 140420963870712 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2101220

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 20418
/proc/meminfo: memFree=25039464/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=2166756 CPUtime=162.26 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 565788 0 0 0 16122 104 0 0 20 0 2 0 275827356 2218758144 521174 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 541689 521174 190 433 0 541253 0
[pid=20415/tid=20417] ppid=20413 vsize=2166756 CPUtime=138.21 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 282854 0 0 0 13753 68 0 0 20 0 2 0 275829728 2218758144 521174 33554432000 4194304 5965102 140736100282128 140420963870712 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2166756

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 20421
/proc/meminfo: memFree=24975928/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=2232292 CPUtime=222.26 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 577704 0 0 0 22113 113 0 0 20 0 2 0 275827356 2285867008 533150 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 558073 533150 190 433 0 557637 0
[pid=20415/tid=20417] ppid=20413 vsize=2232292 CPUtime=198.06 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 294770 0 0 0 19730 76 0 0 20 0 2 0 275829728 2285867008 533150 33554432000 4194304 5965102 140736100282128 140420963870520 4401064 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 2232292

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20421
/proc/meminfo: memFree=24923092/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=2232292 CPUtime=282.23 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 588314 0 0 0 28104 119 0 0 20 0 2 0 275827356 2285867008 543851 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 558073 543851 190 433 0 557637 0
[pid=20415/tid=20417] ppid=20413 vsize=2232292 CPUtime=257.9 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 305380 0 0 0 25706 84 0 0 20 0 2 0 275829728 2285867008 543851 33554432000 4194304 5965102 140736100282128 140420963870712 4401794 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 2232292

[startup+342.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20421
/proc/meminfo: memFree=24867764/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=2297828 CPUtime=342.23 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 599172 0 0 0 34095 128 0 0 20 0 2 0 275827356 2352975872 554856 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 574457 554856 190 433 0 574021 0
[pid=20415/tid=20417] ppid=20413 vsize=2297828 CPUtime=317.75 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 316238 0 0 0 31681 94 0 0 20 0 2 0 275829728 2352975872 554856 33554432000 4194304 5965102 140736100282128 140420963870712 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 2297828

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20421
/proc/meminfo: memFree=24816768/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=2363364 CPUtime=402.22 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 609631 0 0 0 40084 138 0 0 20 0 2 0 275827356 2420084736 565484 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 590841 565484 190 433 0 590405 0
[pid=20415/tid=20417] ppid=20413 vsize=2363364 CPUtime=377.59 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 326697 0 0 0 37655 104 0 0 20 0 2 0 275829728 2420084736 565484 33554432000 4194304 5965102 140736100282128 140420963870760 4401198 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2363364

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20421
/proc/meminfo: memFree=24763680/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=2363364 CPUtime=462.2 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 619465 0 0 0 46076 144 0 0 20 0 2 0 275827356 2420084736 575787 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 590841 575787 190 433 0 590405 0
[pid=20415/tid=20417] ppid=20413 vsize=2363364 CPUtime=437.43 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 336531 0 0 0 43631 112 0 0 20 0 2 0 275829728 2420084736 575787 33554432000 4194304 5965102 140736100282128 140420963870712 4401728 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 2363364

[startup+522.3 s]

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


[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 20587
/proc/meminfo: memFree=24792100/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=2953188 CPUtime=1421.81 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 750315 0 0 0 141932 249 0 0 20 0 2 0 275827356 3024064512 713138 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 738297 713138 190 433 0 737861 0
[pid=20415/tid=20417] ppid=20413 vsize=2953188 CPUtime=1394.74 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 467381 0 0 0 139242 232 0 0 20 0 2 0 275829728 3024064512 713138 33554432000 4194304 5965102 140736100282128 140420963870712 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 2953188

[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 20649
/proc/meminfo: memFree=24844760/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=2953188 CPUtime=1481.81 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 758311 0 0 0 147924 257 0 0 20 0 2 0 275827356 3024064512 721134 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 738297 721134 190 433 0 737861 0
[pid=20415/tid=20417] ppid=20413 vsize=2953188 CPUtime=1454.58 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 475377 0 0 0 145218 240 0 0 20 0 2 0 275829728 3024064512 721134 33554432000 4194304 5965102 140736100282128 140420963870520 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 2953188

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20649
/proc/meminfo: memFree=24788164/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=2953188 CPUtime=1541.8 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 765006 0 0 0 153919 261 0 0 20 0 2 0 275827356 3024064512 727829 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 738297 727829 190 433 0 737861 0
[pid=20415/tid=20417] ppid=20413 vsize=2953188 CPUtime=1514.43 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 482072 0 0 0 151198 245 0 0 20 0 2 0 275829728 3024064512 727829 33554432000 4194304 5965102 140736100282128 140420963870520 4401475 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 2953188

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20649
/proc/meminfo: memFree=24739584/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=3018724 CPUtime=1601.78 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 771999 0 0 0 159910 268 0 0 20 0 2 0 275827356 3091173376 734822 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 754681 734822 190 433 0 754245 0
[pid=20415/tid=20417] ppid=20413 vsize=3018724 CPUtime=1574.27 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 489065 0 0 0 157174 253 0 0 20 0 2 0 275829728 3091173376 734822 33554432000 4194304 5965102 140736100282128 140420963870712 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 3018724

[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20649
/proc/meminfo: memFree=24695000/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=3018724 CPUtime=1661.78 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 777755 0 0 0 165905 273 0 0 20 0 2 0 275827356 3091173376 741600 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 754681 741600 190 433 0 754245 0
[pid=20415/tid=20417] ppid=20413 vsize=3018724 CPUtime=1634.13 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 494821 0 0 0 163154 259 0 0 20 0 2 0 275829728 3091173376 741600 33554432000 4194304 5965102 140736100282128 140420963870520 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 3018724

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20650
/proc/meminfo: memFree=24645400/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=3084260 CPUtime=1721.76 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 784482 0 0 0 171898 278 0 0 20 0 2 0 275827356 3158282240 748327 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 771065 748327 190 433 0 770629 0
[pid=20415/tid=20417] ppid=20413 vsize=3084260 CPUtime=1693.97 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 501548 0 0 0 169132 265 0 0 20 0 2 0 275829728 3158282240 748327 33554432000 4194304 5965102 140736100282128 140420963870712 4400986 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 3084260

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20650
/proc/meminfo: memFree=24590344/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=3084260 CPUtime=1781.76 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 789842 0 0 0 177893 283 0 0 20 0 2 0 275827356 3158282240 753687 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 771065 753687 190 433 0 770629 0
[pid=20415/tid=20417] ppid=20413 vsize=3084260 CPUtime=1753.81 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 506908 0 0 0 175110 271 0 0 20 0 2 0 275829728 3158282240 753687 33554432000 4194304 5965102 140736100282128 140420963870712 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 3084260

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

[startup+1792.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20650
/proc/meminfo: memFree=24578812/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=3084260 CPUtime=1791.56 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 790732 0 0 0 178872 284 0 0 20 0 2 0 275827356 3158282240 754577 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 771065 754577 190 433 0 770629 0
[pid=20415/tid=20417] ppid=20413 vsize=3084260 CPUtime=1763.59 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 507798 0 0 0 176087 272 0 0 20 0 2 0 275829728 3158282240 754577 33554432000 4194304 5965102 140736100282128 140420963870712 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 3084260

[startup+1795.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20650
/proc/meminfo: memFree=24575092/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=3084260 CPUtime=1794.77 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 791019 0 0 0 179192 285 0 0 20 0 2 0 275827356 3158282240 754864 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 771065 754864 190 433 0 770629 0
[pid=20415/tid=20417] ppid=20413 vsize=3084260 CPUtime=1766.79 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 508085 0 0 0 176407 272 0 0 20 0 2 0 275829728 3158282240 754864 33554432000 4194304 5965102 140736100282128 140420963870712 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.77
Current children cumulated vsize (KiB) 3084260

[startup+1798.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20650
/proc/meminfo: memFree=24572860/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=3084260 CPUtime=1797.96 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 791302 0 0 0 179511 285 0 0 20 0 2 0 275827356 3158282240 755147 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 771065 755147 190 433 0 770629 0
[pid=20415/tid=20417] ppid=20413 vsize=3084260 CPUtime=1769.97 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 508368 0 0 0 176724 273 0 0 20 0 2 0 275829728 3158282240 755147 33554432000 4194304 5965102 140736100282128 140420963870712 4400966 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 3084260

[startup+1799.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20650
/proc/meminfo: memFree=24572116/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=3084260 CPUtime=1798.76 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 791380 0 0 0 179591 285 0 0 20 0 2 0 275827356 3158282240 755225 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 771065 755225 190 433 0 770629 0
[pid=20415/tid=20417] ppid=20413 vsize=3084260 CPUtime=1770.77 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 508446 0 0 0 176804 273 0 0 20 0 2 0 275829728 3158282240 755225 33554432000 4194304 5965102 140736100282128 140420963870712 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.76
Current children cumulated vsize (KiB) 3084260

[startup+1799.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20650
/proc/meminfo: memFree=24570380/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=3084260 CPUtime=1799.16 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 791424 0 0 0 179631 285 0 0 20 0 2 0 275827356 3158282240 755269 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 771065 755269 190 433 0 770629 0
[pid=20415/tid=20417] ppid=20413 vsize=3084260 CPUtime=1771.17 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 508490 0 0 0 176844 273 0 0 20 0 2 0 275829728 3158282240 755269 33554432000 4194304 5965102 140736100282128 140420963870712 4401015 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.16
Current children cumulated vsize (KiB) 3084260

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20650
/proc/meminfo: memFree=24570380/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=3084260 CPUtime=1799.36 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 791450 0 0 0 179651 285 0 0 20 0 2 0 275827356 3158282240 755295 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 771065 755295 190 433 0 770629 0
[pid=20415/tid=20417] ppid=20413 vsize=3084260 CPUtime=1771.37 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 508516 0 0 0 176864 273 0 0 20 0 2 0 275829728 3158282240 755295 33554432000 4194304 5965102 140736100282128 140420963870712 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.36
Current children cumulated vsize (KiB) 3084260

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20650
/proc/meminfo: memFree=24570380/32873844 swapFree=6856/6856
[pid=20415] ppid=20413 vsize=3084260 CPUtime=1799.46 cores=0,2,4,6
/proc/20415/stat : 20415 (pwbo2.0) S 20413 20415 18256 0 -1 4202496 791461 0 0 0 179661 285 0 0 20 0 2 0 275827356 3158282240 755306 33554432000 4194304 5965102 140736100282128 140736100281648 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20415/statm: 771065 755306 190 433 0 770629 0
[pid=20415/tid=20417] ppid=20413 vsize=3084260 CPUtime=1771.47 cores=0,2,4,6
/proc/20415/task/20417/stat : 20417 (pwbo2.0) R 20413 20415 18256 0 -1 4202560 508527 0 0 0 176874 273 0 0 20 0 2 0 275829728 3158282240 755306 33554432000 4194304 5965102 140736100282128 140420963870712 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 3084260

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20415 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=68564
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=172517
# CPU time returned by wait4() is 1795.24
# while last known CPU time is 1799.46
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.06
CPU time (s): 1799.46
CPU user time (s): 1796.61
CPU system time (s): 2.85
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 3084260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.07
system time used= 3.17252
maximum resident set size= 3021248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 791467
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= 436
involuntary context switches= 2075

runsolver used 2.54861 second user time and 7.27389 second system time

The end

Launcher Data 

Begin job on node106 at 2012-05-27 07:36:29
IDJOB=3704357
IDBENCH=89691
IDSOLVER=2280
FILE ID=node106/3704357-1338096981
RUNJOBID= node106-1338087979-18272
PBS_JOBID= 14624450
Free space on /tmp= 70988 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-180.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 -thread=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704357-1338096981/watcher-3704357-1338096981 -o /tmp/evaluation-result-3704357-1338096981/solver-3704357-1338096981 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704357-1338096981.opb

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

MD5SUM BENCH= 8c3fe83338b70253b33b876e52e7c579
RANDOM SEED=222476424

node106.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.065
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.13
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.065
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.065
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.065
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.92
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.065
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.065
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.065
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.91
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.065
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:        27158296 kB
Buffers:          320020 kB
Cached:          3959776 kB
SwapCached:            0 kB
Active:          2158748 kB
Inactive:        2734920 kB
Active(anon):     616232 kB
Inactive(anon):        0 kB
Active(file):    1542516 kB
Inactive(file):  2734920 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:            353308 kB
Writeback:             0 kB
AnonPages:        622428 kB
Mapped:            15184 kB
Shmem:               200 kB
Slab:             681952 kB
SReclaimable:     122872 kB
SUnreclaim:       559080 kB
KernelStack:        1448 kB
PageTables:         5120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     287132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    544768 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= 71024 MiB
End job on node106 at 2012-05-27 08:06:29