Trace number 3727570

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.72? 1799.54 1800.01

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_2.opb
MD5SUMccdf85c0efcf9b688264aa74ef25462f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables71
Total number of constraints17
Number of constraints which are clauses1
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 constraint1
Maximum length of a constraint70
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1943
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5830
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.72 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3727570-1338661623.opb.
0.00/0.00	c Instance file HOME/instance-3727570-1338661623.opb
0.00/0.00	c File size is 9107 bytes.
0.00/0.00	c Cost Offset: 0
0.00/0.00	c Highest Coefficient sum: 5830
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:      71                                                  |
0.00/0.00	c |  Number Clauses:        1                                                   |
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:    Cardinality 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.54/1800.00	c ===============================================================================
1799.54/1800.00	c Wall Clock Time: 1800.00 s
1799.54/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-3727570-1338661623/watcher-3727570-1338661623 -o /tmp/evaluation-result-3727570-1338661623/solver-3727570-1338661623 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727570-1338661623.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/175 21674
/proc/meminfo: memFree=28661168/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=83692 CPUtime=0 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 2 0 332290756 85700608 706 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 20923 706 188 433 0 20487 0
[pid=21674/tid=21675] ppid=21672 vsize=83692 CPUtime=0 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 332290756 85700608 707 33554432000 4194304 5964350 140735871279408 140735004847816 5136410 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0

[startup+0.07757 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21674
/proc/meminfo: memFree=28661168/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=83692 CPUtime=0.07 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 916 0 0 0 7 0 0 0 20 0 2 0 332290756 85700608 865 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 20923 865 190 433 0 20487 0
[pid=21674/tid=21675] ppid=21672 vsize=83692 CPUtime=0.06 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 201 0 0 0 6 0 0 0 20 0 2 0 332290756 85700608 865 33554432000 4194304 5964350 140735871279408 140735004847816 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 83692

[startup+0.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21674
/proc/meminfo: memFree=28661168/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=83692 CPUtime=0.09 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 966 0 0 0 9 0 0 0 20 0 2 0 332290756 85700608 915 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 20923 915 190 433 0 20487 0
[pid=21674/tid=21675] ppid=21672 vsize=83692 CPUtime=0.08 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 251 0 0 0 8 0 0 0 20 0 2 0 332290756 85700608 915 33554432000 4194304 5964350 140735871279408 140735004847816 5179624 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) 83692

[startup+0.300248 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21674
/proc/meminfo: memFree=28661168/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=83692 CPUtime=0.29 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 1289 0 0 0 29 0 0 0 20 0 2 0 332290756 85700608 1238 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 20923 1238 190 433 0 20487 0
[pid=21674/tid=21675] ppid=21672 vsize=83692 CPUtime=0.28 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 574 0 0 0 28 0 0 0 20 0 2 0 332290756 85700608 1238 33554432000 4194304 5964350 140735871279408 140138964452888 5136340 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) 83692

[startup+0.700252 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21674
/proc/meminfo: memFree=28661168/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=83836 CPUtime=0.69 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 1835 0 0 0 69 0 0 0 20 0 2 0 332290756 85848064 1784 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 20959 1784 190 433 0 20523 0
[pid=21674/tid=21675] ppid=21672 vsize=83836 CPUtime=0.68 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 1120 0 0 0 68 0 0 0 20 0 2 0 332290756 85848064 1784 33554432000 4194304 5964350 140735871279408 140138964452888 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83836

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21676
/proc/meminfo: memFree=28654712/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=83836 CPUtime=1.49 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 2144 0 0 0 149 0 0 0 20 0 2 0 332290756 85848064 2093 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 20959 2093 190 433 0 20523 0
[pid=21674/tid=21675] ppid=21672 vsize=83836 CPUtime=1.48 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 1429 0 0 0 148 0 0 0 20 0 2 0 332290756 85848064 2093 33554432000 4194304 5964350 140735871279408 140138964453368 4382191 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83836

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21676
/proc/meminfo: memFree=28651108/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=83908 CPUtime=3.08 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 3370 0 0 0 308 0 0 0 20 0 2 0 332290756 85921792 3319 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 20977 3319 190 433 0 20541 0
[pid=21674/tid=21675] ppid=21672 vsize=83908 CPUtime=3.07 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 2655 0 0 0 307 0 0 0 20 0 2 0 332290756 85921792 3319 33554432000 4194304 5964350 140735871279408 140138964453176 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83908

[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21676
/proc/meminfo: memFree=28642800/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=84016 CPUtime=6.29 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 4810 0 0 0 628 1 0 0 20 0 2 0 332290756 86032384 4759 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 21004 4759 190 433 0 20568 0
[pid=21674/tid=21675] ppid=21672 vsize=84016 CPUtime=6.26 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 4095 0 0 0 625 1 0 0 20 0 2 0 332290756 86032384 4759 33554432000 4194304 5964350 140735871279408 140138964453176 18446744073699066235 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) 84016

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21676
/proc/meminfo: memFree=28634516/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=84464 CPUtime=12.68 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 6654 0 0 0 1267 1 0 0 20 0 2 0 332290756 86491136 6603 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 21116 6603 190 433 0 20680 0
[pid=21674/tid=21675] ppid=21672 vsize=84464 CPUtime=12.65 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 5939 0 0 0 1264 1 0 0 20 0 2 0 332290756 86491136 6603 33554432000 4194304 5964350 140735871279408 140138964453176 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84464

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21676
/proc/meminfo: memFree=28617636/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=85928 CPUtime=25.48 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 10426 0 0 0 2546 2 0 0 20 0 2 0 332290756 87990272 10375 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 21482 10375 190 433 0 21046 0
[pid=21674/tid=21675] ppid=21672 vsize=85928 CPUtime=25.42 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 9711 0 0 0 2540 2 0 0 20 0 2 0 332290756 87990272 10375 33554432000 4194304 5964350 140735871279408 140138964453176 5143743 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) 85928

[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 21676
/proc/meminfo: memFree=28597748/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=87368 CPUtime=51.08 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 15162 0 0 0 5104 4 0 0 20 0 2 0 332290756 89464832 15111 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 21842 15111 190 433 0 21406 0
[pid=21674/tid=21675] ppid=21672 vsize=87368 CPUtime=50.95 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 14447 0 0 0 5091 4 0 0 20 0 2 0 332290756 89464832 15111 33554432000 4194304 5964350 140735871279408 140138964453176 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 87368

[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21676
/proc/meminfo: memFree=28554164/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=155476 CPUtime=102.27 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 23561 0 0 0 10215 12 0 0 20 0 2 0 332290756 159207424 23510 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 38869 23510 190 433 0 38433 0
[pid=21674/tid=21675] ppid=21672 vsize=155476 CPUtime=102.03 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 22846 0 0 0 10190 13 0 0 20 0 2 0 332290756 159207424 23510 33554432000 4194304 5964350 140735871279408 140138964453368 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 155476

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21677
/proc/meminfo: memFree=28473896/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=157400 CPUtime=162.26 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 30272 0 0 0 16209 17 0 0 20 0 2 0 332290756 161177600 30221 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 39350 30221 190 433 0 38914 0
[pid=21674/tid=21675] ppid=21672 vsize=157400 CPUtime=161.87 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 29557 0 0 0 16168 19 0 0 20 0 2 0 332290756 161177600 30221 33554432000 4194304 5964350 140735871279408 140138964453176 4389016 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 157400

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21680
/proc/meminfo: memFree=28407528/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=225612 CPUtime=222.25 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 37165 0 0 0 22201 24 0 0 20 0 2 0 332290756 231026688 37115 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 56403 37115 190 433 0 55967 0
[pid=21674/tid=21675] ppid=21672 vsize=225612 CPUtime=221.71 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 36450 0 0 0 22144 27 0 0 20 0 2 0 332290756 231026688 37115 33554432000 4194304 5964350 140735871279408 140138964453176 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 225612

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21680
/proc/meminfo: memFree=28326344/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=227664 CPUtime=282.2 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 43337 0 0 0 28191 29 0 0 20 0 2 0 332290756 233127936 43263 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 56916 43263 190 433 0 56480 0
[pid=21674/tid=21675] ppid=21672 vsize=227664 CPUtime=281.52 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 42622 0 0 0 28119 33 0 0 20 0 2 0 332290756 233127936 43263 33554432000 4194304 5964350 140735871279408 140138964453176 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 227664

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21680
/proc/meminfo: memFree=28262016/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=228692 CPUtime=342.18 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 49790 0 0 0 34183 35 0 0 20 0 2 0 332290756 234180608 50534 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 57173 50534 190 433 0 56737 0
[pid=21674/tid=21675] ppid=21672 vsize=228692 CPUtime=341.35 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 49075 0 0 0 34095 40 0 0 20 0 2 0 332290756 234180608 50534 33554432000 4194304 5964350 140735871279408 140138964452888 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 228692

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21680
/proc/meminfo: memFree=28241900/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=294460 CPUtime=402.17 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 54383 0 0 0 40176 41 0 0 20 0 2 0 332290756 301527040 55127 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0

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


[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 21729
/proc/meminfo: memFree=28484832/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=510108 CPUtime=1421.93 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 119463 0 0 0 142069 124 0 0 20 0 2 0 332290756 522350592 120124 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 127527 120124 190 433 0 127091 0
[pid=21674/tid=21675] ppid=21672 vsize=510108 CPUtime=1418.49 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 118748 0 0 0 141704 145 0 0 20 0 2 0 332290756 522350592 120124 33554432000 4194304 5964350 140735871279408 140138964453176 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 510108

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21729
/proc/meminfo: memFree=28463640/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=575644 CPUtime=1481.92 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 122768 0 0 0 148063 129 0 0 20 0 2 0 332290756 589459456 123429 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 143911 123429 190 433 0 143475 0
[pid=21674/tid=21675] ppid=21672 vsize=575644 CPUtime=1478.33 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 122053 0 0 0 147683 150 0 0 20 0 2 0 332290756 589459456 123429 33554432000 4194304 5964350 140735871279408 140138964453416 4399884 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 575644

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 21729
/proc/meminfo: memFree=28426756/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=575644 CPUtime=1541.9 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 125646 0 0 0 154058 132 0 0 20 0 2 0 332290756 589459456 126307 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 143911 126307 190 433 0 143475 0
[pid=21674/tid=21675] ppid=21672 vsize=575644 CPUtime=1538.18 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 124931 0 0 0 153663 155 0 0 20 0 2 0 332290756 589459456 126307 33554432000 4194304 5964350 140735871279408 140138964453368 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 575644

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21729
/proc/meminfo: memFree=28411752/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=575644 CPUtime=1601.89 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 126197 0 0 0 160056 133 0 0 20 0 2 0 332290756 589459456 126858 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 143911 126858 190 433 0 143475 0
[pid=21674/tid=21675] ppid=21672 vsize=575644 CPUtime=1598.03 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 125482 0 0 0 159646 157 0 0 20 0 2 0 332290756 589459456 126858 33554432000 4194304 5964350 140735871279408 140138964453368 4399866 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 575644

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 21730
/proc/meminfo: memFree=28369144/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=576224 CPUtime=1661.88 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 130655 0 0 0 166050 138 0 0 20 0 2 0 332290756 590053376 131308 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 144056 131308 190 433 0 143620 0
[pid=21674/tid=21675] ppid=21672 vsize=576224 CPUtime=1657.86 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 129940 0 0 0 165623 163 0 0 20 0 2 0 332290756 590053376 131308 33554432000 4194304 5964350 140735871279408 140138964453416 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 576224

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21731
/proc/meminfo: memFree=28337032/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=576572 CPUtime=1721.86 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 136479 0 0 0 172041 145 0 0 20 0 2 0 332290756 590409728 137114 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 144143 137114 190 433 0 143707 0
[pid=21674/tid=21675] ppid=21672 vsize=576572 CPUtime=1717.69 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 135764 0 0 0 171598 171 0 0 20 0 2 0 332290756 590409728 137114 33554432000 4194304 5964350 140735871279408 140138964452888 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 576572

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21731
/proc/meminfo: memFree=28301692/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=642268 CPUtime=1781.85 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 139213 0 0 0 178036 149 0 0 20 0 2 0 332290756 657682432 139848 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 160567 139848 190 433 0 160131 0
[pid=21674/tid=21675] ppid=21672 vsize=642268 CPUtime=1777.53 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 138498 0 0 0 177579 174 0 0 20 0 2 0 332290756 657682432 139848 33554432000 4194304 5964350 140735871279408 140138964452888 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 642268

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21731
/proc/meminfo: memFree=28295988/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=642268 CPUtime=1791.45 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 140582 0 0 0 178995 150 0 0 20 0 2 0 332290756 657682432 141217 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 160567 141217 190 433 0 160131 0
[pid=21674/tid=21675] ppid=21672 vsize=642268 CPUtime=1787.12 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 139867 0 0 0 178535 177 0 0 20 0 2 0 332290756 657682432 141217 33554432000 4194304 5964350 140735871279408 140138964453368 4399889 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 642268

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21731
/proc/meminfo: memFree=28294624/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=642412 CPUtime=1794.64 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 140956 0 0 0 179314 150 0 0 20 0 2 0 332290756 657829888 141591 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 160603 141591 190 433 0 160167 0
[pid=21674/tid=21675] ppid=21672 vsize=642412 CPUtime=1790.31 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 140241 0 0 0 178854 177 0 0 20 0 2 0 332290756 657829888 141591 33554432000 4194304 5964350 140735871279408 140138964453416 4389541 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 642412

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21731
/proc/meminfo: memFree=28293384/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=642412 CPUtime=1797.84 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 141333 0 0 0 179633 151 0 0 20 0 2 0 332290756 657829888 141968 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 160603 141968 190 433 0 160167 0
[pid=21674/tid=21675] ppid=21672 vsize=642412 CPUtime=1793.49 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 140618 0 0 0 179171 178 0 0 20 0 2 0 332290756 657829888 141968 33554432000 4194304 5964350 140735871279408 140138964452888 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 642412

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21731
/proc/meminfo: memFree=28292888/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=642412 CPUtime=1798.64 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 141413 0 0 0 179713 151 0 0 20 0 2 0 332290756 657829888 142048 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 160603 142048 190 433 0 160167 0
[pid=21674/tid=21675] ppid=21672 vsize=642412 CPUtime=1794.29 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 140698 0 0 0 179251 178 0 0 20 0 2 0 332290756 657829888 142048 33554432000 4194304 5964350 140735871279408 140138964452888 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (KiB) 642412

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21731
/proc/meminfo: memFree=28292516/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=642412 CPUtime=1799.05 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 141452 0 0 0 179754 151 0 0 20 0 2 0 332290756 657829888 142087 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 160603 142087 190 433 0 160167 0
[pid=21674/tid=21675] ppid=21672 vsize=642412 CPUtime=1794.7 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 140737 0 0 0 179292 178 0 0 20 0 2 0 332290756 657829888 142087 33554432000 4194304 5964350 140735871279408 140138964452888 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.05
Current children cumulated vsize (KiB) 642412

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21731
/proc/meminfo: memFree=28292516/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=642412 CPUtime=1799.44 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 141500 0 0 0 179793 151 0 0 20 0 2 0 332290756 657829888 142135 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 160603 142135 190 433 0 160167 0
[pid=21674/tid=21675] ppid=21672 vsize=642412 CPUtime=1795.09 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 140785 0 0 0 179331 178 0 0 20 0 2 0 332290756 657829888 142135 33554432000 4194304 5964350 140735871279408 140138964452888 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (KiB) 642412

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21731
/proc/meminfo: memFree=28292516/32873844 swapFree=6088/6088
[pid=21674] ppid=21672 vsize=642412 CPUtime=1799.54 cores=1,3,5,7
/proc/21674/stat : 21674 (wbo1.72) S 21672 21674 18556 0 -1 4202496 141511 0 0 0 179803 151 0 0 20 0 2 0 332290756 657829888 142146 33554432000 4194304 5964350 140735871279408 140735871278928 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21674/statm: 160603 142146 190 433 0 160167 0
[pid=21674/tid=21675] ppid=21672 vsize=642412 CPUtime=1795.19 cores=1,3,5,7
/proc/21674/task/21675/stat : 21675 (wbo1.72) R 21672 21674 18556 0 -1 4202560 140796 0 0 0 179341 178 0 0 20 0 2 0 332290756 657829888 142146 33554432000 4194304 5964350 140735871279408 140138964452888 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (KiB) 642412

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21674 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=418358
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=799726
# CPU time returned by wait4() is 1795.22
# while last known CPU time is 1799.54
#
# 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.54
CPU user time (s): 1798.03
CPU system time (s): 1.51
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 642412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.42
system time used= 1.79973
maximum resident set size= 568596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141514
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= 239
involuntary context switches= 1853

runsolver used 2.71159 second user time and 7.11192 second system time

The end

Launcher Data 

Begin job on node110 at 2012-06-02 20:27:03
IDJOB=3727570
IDBENCH=2898
IDSOLVER=2313
FILE ID=node110/3727570-1338661623
RUNJOBID= node110-1338651355-20283
PBS_JOBID= 14636470
Free space on /tmp= 71128 MiB

SOLVER NAME= wbo 1.72
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_2.opb
COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727570-1338661623/watcher-3727570-1338661623 -o /tmp/evaluation-result-3727570-1338661623/solver-3727570-1338661623 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=opb HOME/instance-3727570-1338661623.opb

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

MD5SUM BENCH= ccdf85c0efcf9b688264aa74ef25462f
RANDOM SEED=1906234592

node110.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
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		: 2666.893
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:        28661704 kB
Buffers:          393944 kB
Cached:          2388068 kB
SwapCached:          604 kB
Active:          1829908 kB
Inactive:        1535024 kB
Active(anon):     572784 kB
Inactive(anon):    12328 kB
Active(file):    1257124 kB
Inactive(file):  1522696 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67107364 kB
Dirty:              5440 kB
Writeback:             0 kB
AnonPages:        608712 kB
Mapped:            12292 kB
Shmem:                40 kB
Slab:             705308 kB
SReclaimable:     147824 kB
SUnreclaim:       557484 kB
KernelStack:        1472 kB
PageTables:         5024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     134832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    366592 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= 71124 MiB
End job on node110 at 2012-06-02 20:57:03