Trace number 3705284

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
wbo 1.7? 1799.61 1800.01

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
MD5SUM0278ee4f163393ac33163ff791a7f96d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark1792.21
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint82
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1782
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5856
Number of bits of the biggest sum of numbers13
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.7 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3705284-1338101957.opb.
0.00/0.00	c Instance file HOME/instance-3705284-1338101957.opb
0.00/0.00	c File size is 13159 bytes.
0.00/0.00	c Cost Offset: 0
0.00/0.00	c Highest Coefficient sum: 5856
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      198                                                 |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 16                                                  |
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Problem Type:          Optimization                                        |
0.00/0.00	c |  Objective Function:    PB Constraint                                       |
0.00/0.00	c |                                                                             |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.00/0.00	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.00/0.00	c ===============================================================================
1799.61/1800.00	c ===============================================================================
1799.61/1800.00	c Wall Clock Time: 1800.00 s
1799.61/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-3705284-1338101957/watcher-3705284-1338101957 -o /tmp/evaluation-result-3705284-1338101957/solver-3705284-1338101957 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705284-1338101957.opb 

running on 4 cores: 1,3,5,7

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 3700
/proc/meminfo: memFree=30081360/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=83660 CPUtime=0 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 791 0 0 0 0 0 0 0 20 0 2 0 276320072 85667840 740 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 20915 740 189 432 0 20480 0
[pid=3700/tid=3701] ppid=3698 vsize=83660 CPUtime=0 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 2 0 276320073 85667840 740 33554432000 4194304 5963574 140737264720800 140736221849064 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0

[startup+0.091339 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3700
/proc/meminfo: memFree=30081360/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=83660 CPUtime=0.08 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 973 0 0 0 8 0 0 0 20 0 2 0 276320072 85667840 922 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 20915 922 191 432 0 20480 0
[pid=3700/tid=3701] ppid=3698 vsize=83660 CPUtime=0.07 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 248 0 0 0 7 0 0 0 20 0 2 0 276320073 85667840 922 33554432000 4194304 5963574 140737264720800 140736221849064 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 83660

[startup+0.100292 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3700
/proc/meminfo: memFree=30081360/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=83660 CPUtime=0.09 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 993 0 0 0 9 0 0 0 20 0 2 0 276320072 85667840 942 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 20915 942 191 432 0 20480 0
[pid=3700/tid=3701] ppid=3698 vsize=83660 CPUtime=0.08 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 268 0 0 0 8 0 0 0 20 0 2 0 276320073 85667840 942 33554432000 4194304 5963574 140737264720800 140736221849064 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83660

[startup+0.300257 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3700
/proc/meminfo: memFree=30081360/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=83660 CPUtime=0.29 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 1375 0 0 0 29 0 0 0 20 0 2 0 276320072 85667840 1324 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 20915 1324 191 432 0 20480 0
[pid=3700/tid=3701] ppid=3698 vsize=83660 CPUtime=0.28 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 650 0 0 0 28 0 0 0 20 0 2 0 276320073 85667840 1324 33554432000 4194304 5963574 140737264720800 140736221849064 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83660

[startup+0.70026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3700
/proc/meminfo: memFree=30081360/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=83660 CPUtime=0.68 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 2037 0 0 0 68 0 0 0 20 0 2 0 276320072 85667840 1986 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 20915 1986 191 432 0 20480 0
[pid=3700/tid=3701] ppid=3698 vsize=83660 CPUtime=0.68 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 1312 0 0 0 68 0 0 0 20 0 2 0 276320073 85667840 1986 33554432000 4194304 5963574 140737264720800 140736221849064 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 83660

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3702
/proc/meminfo: memFree=30069332/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=83804 CPUtime=1.48 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 2526 0 0 0 148 0 0 0 20 0 2 0 276320072 85815296 2475 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 20951 2475 191 432 0 20516 0
[pid=3700/tid=3701] ppid=3698 vsize=83804 CPUtime=1.48 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 1801 0 0 0 148 0 0 0 20 0 2 0 276320073 85815296 2476 33554432000 4194304 5963574 140737264720800 140343874164728 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83804

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3702
/proc/meminfo: memFree=30064844/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=83876 CPUtime=3.09 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 3503 0 0 0 308 1 0 0 20 0 2 0 276320072 85889024 3452 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 20969 3452 191 432 0 20534 0
[pid=3700/tid=3701] ppid=3698 vsize=83876 CPUtime=3.07 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 2778 0 0 0 306 1 0 0 20 0 2 0 276320073 85889024 3452 33554432000 4194304 5963574 140737264720800 140343874164536 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83876

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3702
/proc/meminfo: memFree=30049088/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=83876 CPUtime=6.29 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 4908 0 0 0 628 1 0 0 20 0 2 0 276320072 85889024 4857 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 20969 4857 191 432 0 20534 0
[pid=3700/tid=3701] ppid=3698 vsize=83876 CPUtime=6.26 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 4183 0 0 0 625 1 0 0 20 0 2 0 276320073 85889024 4857 33554432000 4194304 5963574 140737264720800 140343874164728 5142975 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83876

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3702
/proc/meminfo: memFree=30030344/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=84144 CPUtime=12.69 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 7927 0 0 0 1267 2 0 0 20 0 2 0 276320072 86163456 7876 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 21036 7876 191 432 0 20601 0
[pid=3700/tid=3701] ppid=3698 vsize=84144 CPUtime=12.65 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 7202 0 0 0 1263 2 0 0 20 0 2 0 276320073 86163456 7876 33554432000 4194304 5963574 140737264720800 140343874164536 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84144

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3702
/proc/meminfo: memFree=30000452/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=84144 CPUtime=25.48 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 10886 0 0 0 2544 4 0 0 20 0 2 0 276320072 86163456 10833 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 21036 10833 191 432 0 20601 0
[pid=3700/tid=3701] ppid=3698 vsize=84144 CPUtime=25.41 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 10161 0 0 0 2538 3 0 0 20 0 2 0 276320073 86163456 10833 33554432000 4194304 5963574 140737264720800 140343874164728 4400164 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84144

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3705
/proc/meminfo: memFree=29956880/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=84384 CPUtime=51.07 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 16992 0 0 0 5100 7 0 0 20 0 2 0 276320072 86409216 16970 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 21096 16970 191 432 0 20661 0
[pid=3700/tid=3701] ppid=3698 vsize=84384 CPUtime=50.93 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 16267 0 0 0 5086 7 0 0 20 0 2 0 276320073 86409216 16970 33554432000 4194304 5963574 140737264720800 140343874164776 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 84384

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3705
/proc/meminfo: memFree=29881700/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=151288 CPUtime=102.26 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 26977 0 0 0 10213 13 0 0 20 0 2 0 276320072 154918912 27662 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 37822 27662 191 432 0 37387 0
[pid=3700/tid=3701] ppid=3698 vsize=151288 CPUtime=102 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 26252 0 0 0 10186 14 0 0 20 0 2 0 276320073 154918912 27662 33554432000 4194304 5963574 140737264720800 140343874164248 4400032 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 151288

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3728
/proc/meminfo: memFree=29828748/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=152656 CPUtime=162.24 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 33768 0 0 0 16204 20 0 0 20 0 2 0 276320072 156319744 34461 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 38164 34461 191 432 0 37729 0
[pid=3700/tid=3701] ppid=3698 vsize=152656 CPUtime=161.83 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 33043 0 0 0 16161 22 0 0 20 0 2 0 276320073 156319744 34461 33554432000 4194304 5963574 140737264720800 140343874164728 4378544 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 152656

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3728
/proc/meminfo: memFree=29781668/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=219200 CPUtime=222.22 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 38497 0 0 0 22198 24 0 0 20 0 2 0 276320072 224460800 39211 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 54800 39211 191 432 0 54365 0
[pid=3700/tid=3701] ppid=3698 vsize=219200 CPUtime=221.66 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 37772 0 0 0 22139 27 0 0 20 0 2 0 276320073 224460800 39211 33554432000 4194304 5963574 140737264720800 140343874164728 4399542 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 219200

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3729
/proc/meminfo: memFree=29739440/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=220820 CPUtime=282.21 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 44744 0 0 0 28191 30 0 0 20 0 2 0 276320072 226119680 45458 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 55205 45458 191 432 0 54770 0
[pid=3700/tid=3701] ppid=3698 vsize=220820 CPUtime=281.51 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 44019 0 0 0 28117 34 0 0 20 0 2 0 276320073 226119680 45458 33554432000 4194304 5963574 140737264720800 140343874164776 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 220820

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3729
/proc/meminfo: memFree=29682396/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=222404 CPUtime=342.2 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 50721 0 0 0 34183 37 0 0 20 0 2 0 276320072 227741696 51435 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 55601 51435 191 432 0 55166 0
[pid=3700/tid=3701] ppid=3698 vsize=222404 CPUtime=341.35 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 49996 0 0 0 34094 41 0 0 20 0 2 0 276320073 227741696 51435 33554432000 4194304 5963574 140737264720800 140343874164776 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 222404

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 3729
/proc/meminfo: memFree=29657556/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=287940 CPUtime=402.19 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 52354 0 0 0 40180 39 0 0 20 0 2 0 276320072 294850560 53067 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0

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


[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 3738
/proc/meminfo: memFree=29145900/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=499052 CPUtime=1422.01 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 112463 0 0 0 142073 128 0 0 20 0 2 0 276320072 511029248 113129 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 124763 113129 191 432 0 124328 0
[pid=3700/tid=3701] ppid=3698 vsize=499052 CPUtime=1418.5 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 111738 0 0 0 141701 149 0 0 20 0 2 0 276320073 511029248 113129 33554432000 4194304 5963574 140737264720800 140343874164728 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 499052

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 3738
/proc/meminfo: memFree=29125192/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=499896 CPUtime=1481.99 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 115789 0 0 0 148066 133 0 0 20 0 2 0 276320072 511893504 116455 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 124974 116455 191 432 0 124539 0
[pid=3700/tid=3701] ppid=3698 vsize=499896 CPUtime=1478.34 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 115064 0 0 0 147679 155 0 0 20 0 2 0 276320073 511893504 116455 33554432000 4194304 5963574 140737264720800 140343874164728 4382288 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 499896

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 3739
/proc/meminfo: memFree=29109560/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=500508 CPUtime=1541.97 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 118073 0 0 0 154061 136 0 0 20 0 2 0 276320072 512520192 118735 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 125127 118735 191 432 0 124692 0
[pid=3700/tid=3701] ppid=3698 vsize=500508 CPUtime=1538.18 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 117348 0 0 0 153659 159 0 0 20 0 2 0 276320073 512520192 118735 33554432000 4194304 5963574 140737264720800 140343874164728 5135642 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 500508

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3739
/proc/meminfo: memFree=29068136/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=567084 CPUtime=1601.95 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 123829 0 0 0 160050 145 0 0 20 0 2 0 276320072 580694016 124467 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 141771 124467 191 432 0 141336 0
[pid=3700/tid=3701] ppid=3698 vsize=567084 CPUtime=1598 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 123104 0 0 0 159631 169 0 0 20 0 2 0 276320073 580694016 124467 33554432000 4194304 5963574 140737264720800 140343874164776 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 567084

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3739
/proc/meminfo: memFree=29043064/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=567516 CPUtime=1661.93 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 125195 0 0 0 166046 147 0 0 20 0 2 0 276320072 581136384 125827 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 141879 125827 191 432 0 141444 0
[pid=3700/tid=3701] ppid=3698 vsize=567516 CPUtime=1657.84 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 124470 0 0 0 165612 172 0 0 20 0 2 0 276320073 581136384 125827 33554432000 4194304 5963574 140737264720800 140343874164776 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 567516

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3739
/proc/meminfo: memFree=29035376/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=568444 CPUtime=1721.92 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 125399 0 0 0 172045 147 0 0 20 0 2 0 276320072 582086656 126031 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 142111 126031 191 432 0 141676 0
[pid=3700/tid=3701] ppid=3698 vsize=568444 CPUtime=1717.68 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 124674 0 0 0 171595 173 0 0 20 0 2 0 276320073 582086656 126031 33554432000 4194304 5963574 140737264720800 140343874164776 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 568444

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3739
/proc/meminfo: memFree=28997804/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=569952 CPUtime=1781.92 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 130659 0 0 0 178037 155 0 0 20 0 2 0 276320072 583630848 131291 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 142488 131291 191 432 0 142053 0
[pid=3700/tid=3701] ppid=3698 vsize=569952 CPUtime=1777.53 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 129934 0 0 0 177573 180 0 0 20 0 2 0 276320073 583630848 131291 33554432000 4194304 5963574 140737264720800 140343874164728 4399546 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 569952

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 3739
/proc/meminfo: memFree=28992968/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=569952 CPUtime=1791.52 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 131439 0 0 0 178996 156 0 0 20 0 2 0 276320072 583630848 132071 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 142488 132071 191 432 0 142053 0
[pid=3700/tid=3701] ppid=3698 vsize=569952 CPUtime=1787.11 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 130714 0 0 0 178528 183 0 0 20 0 2 0 276320073 583630848 132071 33554432000 4194304 5963574 140737264720800 140343874164728 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (KiB) 569952

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3739
/proc/meminfo: memFree=28991116/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=569952 CPUtime=1794.72 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 131658 0 0 0 179316 156 0 0 20 0 2 0 276320072 583630848 132290 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 142488 132290 191 432 0 142053 0
[pid=3700/tid=3701] ppid=3698 vsize=569952 CPUtime=1790.3 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 130933 0 0 0 178847 183 0 0 20 0 2 0 276320073 583630848 132290 33554432000 4194304 5963574 140737264720800 140343874164728 4400164 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (KiB) 569952

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3740
/proc/meminfo: memFree=28990124/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=569952 CPUtime=1797.91 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 131887 0 0 0 179635 156 0 0 20 0 2 0 276320072 583630848 132519 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 142488 132519 191 432 0 142053 0
[pid=3700/tid=3701] ppid=3698 vsize=569952 CPUtime=1793.49 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 131162 0 0 0 179166 183 0 0 20 0 2 0 276320073 583630848 132519 33554432000 4194304 5963574 140737264720800 140343874164728 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 569952

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3740
/proc/meminfo: memFree=28989496/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=569952 CPUtime=1798.71 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 131946 0 0 0 179715 156 0 0 20 0 2 0 276320072 583630848 132578 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 142488 132578 191 432 0 142053 0
[pid=3700/tid=3701] ppid=3698 vsize=569952 CPUtime=1794.29 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 131221 0 0 0 179246 183 0 0 20 0 2 0 276320073 583630848 132578 33554432000 4194304 5963574 140737264720800 140343874164728 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 569952

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3740
/proc/meminfo: memFree=28989124/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=569952 CPUtime=1799.12 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 131976 0 0 0 179755 157 0 0 20 0 2 0 276320072 583630848 132608 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 142488 132608 191 432 0 142053 0
[pid=3700/tid=3701] ppid=3698 vsize=569952 CPUtime=1794.69 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 131251 0 0 0 179286 183 0 0 20 0 2 0 276320073 583630848 132608 33554432000 4194304 5963574 140737264720800 140343874164728 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.12
Current children cumulated vsize (KiB) 569952

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3740
/proc/meminfo: memFree=28989124/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=569952 CPUtime=1799.51 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 132007 0 0 0 179794 157 0 0 20 0 2 0 276320072 583630848 132639 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 142488 132639 191 432 0 142053 0
[pid=3700/tid=3701] ppid=3698 vsize=569952 CPUtime=1795.09 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 131282 0 0 0 179326 183 0 0 20 0 2 0 276320073 583630848 132639 33554432000 4194304 5963574 140737264720800 140343874164728 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 569952

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3740
/proc/meminfo: memFree=28989124/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=569952 CPUtime=1799.61 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 132014 0 0 0 179804 157 0 0 20 0 2 0 276320072 583630848 132646 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 142488 132646 191 432 0 142053 0
[pid=3700/tid=3701] ppid=3698 vsize=569952 CPUtime=1795.18 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 131289 0 0 0 179334 184 0 0 20 0 2 0 276320073 583630848 132646 33554432000 4194304 5963574 140737264720800 140343874164728 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (KiB) 569952

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3700 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=358368
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=857717
# CPU time returned by wait4() is 1795.22
# while last known CPU time is 1799.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.01
CPU time (s): 1799.61
CPU user time (s): 1798.04
CPU system time (s): 1.57
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 569952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.36
system time used= 1.85772
maximum resident set size= 530588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132015
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= 225
involuntary context switches= 1846

runsolver used 3.03154 second user time and 8.51571 second system time

The end

Launcher Data

Begin job on node145 at 2012-05-27 08:59:17
IDJOB=3705284
IDBENCH=2912
IDSOLVER=2283
FILE ID=node145/3705284-1338101957
RUNJOBID= node145-1338087553-2715
PBS_JOBID= 14624445
Free space on /tmp= 71552 MiB

SOLVER NAME= wbo 1.7
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb
COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705284-1338101957/watcher-3705284-1338101957 -o /tmp/evaluation-result-3705284-1338101957/solver-3705284-1338101957 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3705284-1338101957.opb

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

MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d
RANDOM SEED=1014034776

node145.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.149
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.29
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.149
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.149
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	: 5313.38
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.149
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.149
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.149
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.149
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.149
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.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30082004 kB
Buffers:          291024 kB
Cached:          1672796 kB
SwapCached:            0 kB
Active:           643016 kB
Inactive:        1335864 kB
Active(anon):       6556 kB
Inactive(anon):    10912 kB
Active(file):     636460 kB
Inactive(file):  1324952 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             11296 kB
Writeback:             0 kB
AnonPages:         22384 kB
Mapped:            14828 kB
Shmem:               200 kB
Slab:             673876 kB
SReclaimable:     115148 kB
SUnreclaim:       558728 kB
KernelStack:        1456 kB
PageTables:         4088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     141688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 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= 71548 MiB
End job on node145 at 2012-05-27 09:29:17