Trace number 3460710

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.6? (TO) 1800.28 1800.21

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_10.opb
MD5SUM904168892843efef74e3394360b8d762
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark1800.55
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
Optimality of the best value was proved NO
Number of variables40363
Total number of constraints154319
Number of constraints which are clauses154296
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints22
Minimum length of a constraint1
Maximum length of a constraint1952
Number of terms in the objective function 1952
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 1952
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1988
Number of bits of the biggest sum of numbers11
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 wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3460710-1307108823.opb.
0.00/0.00	c Instance file HOME/instance-3460710-1307108823.opb
0.00/0.00	c File size is 4721108 bytes.
0.29/0.32	c Highest Coefficient sum: 1988
0.29/0.32	c ============================[ Problem Statistics ]=============================
0.29/0.32	c |                                                                             |
0.29/0.32	c |  Parsing time:          0.32         s                                      |
0.29/0.32	c |  Number Variables:      40363                                               |
0.29/0.32	c |  Number Clauses:        154318                                              |
0.29/0.32	c |  Number Cardinality:    1                                                   |
0.29/0.32	c |  Number PB Constraints: 0                                                   |
0.29/0.39	c ============================[ Search Statistics ]==============================
0.29/0.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.39	c ===============================================================================
0.29/0.39	c |         0 |   40358   154319   388951 |    51439        0   -nan |  0.000 % |
0.69/0.80	c core #1
0.69/0.80	c 
0.69/0.80	c 
0.69/0.80	c Core size: 344	Core Weight: 1	Total Weight: 6
0.69/0.80	c Current CPU time: 0.432934 s
0.69/0.80	c
0.69/0.80	c core #2
0.69/0.80	c 
0.69/0.80	c 
0.69/0.80	c Core size: 1483	Core Weight: 1	Total Weight: 7
0.69/0.80	c Current CPU time: 0.500923 s
0.69/0.80	c
0.69/0.80	c core #3
0.69/0.80	c 
0.69/0.80	c 
0.69/0.80	c Core size: 83	Core Weight: 1	Total Weight: 8
0.69/0.80	c Current CPU time: 0.566913 s
0.69/0.80	c
0.69/0.80	c core #4
0.69/0.80	c 
0.69/0.80	c 
0.69/0.80	c Core size: 358	Core Weight: 1	Total Weight: 9
0.69/0.80	c Current CPU time: 0.634903 s
0.69/0.80	c
0.69/0.80	c core #5
0.69/0.80	c 
0.69/0.80	c 
0.69/0.80	c Core size: 737	Core Weight: 1	Total Weight: 10
0.69/0.80	c Current CPU time: 0.706892 s
0.69/0.80	c
0.69/0.80	c ============================[ Search Statistics ]==============================
0.69/0.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.80	c ===============================================================================
0.79/0.80	c |         0 |   30636   156205   385657 |    52068        0   -nan |  0.000 % |
0.79/0.84	c ===============================================================================
0.89/0.91	c core #6
0.89/0.91	c 
0.89/0.91	c 
0.89/0.91	c Core size: 776	Core Weight: 1	Total Weight: 11
0.89/0.91	c Current CPU time: 0.821875 s
0.89/0.91	c
0.89/0.91	c ============================[ Search Statistics ]==============================
0.89/0.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/0.91	c ===============================================================================
0.89/0.91	c |         0 |   31685   156206   386975 |    52068        0   -nan |  0.000 % |
1.00/1.03	c |       103 |   31629   156206   386975 |    57275      103    251 | 32.882 % |
1.19/1.25	c ===============================================================================
1.29/1.32	c core #7
1.29/1.32	c 
1.29/1.32	c 
1.29/1.32	c Core size: 4488	Core Weight: 1	Total Weight: 12
1.29/1.32	c Current CPU time: 1.22781 s
1.29/1.32	c
1.29/1.32	c ============================[ Search Statistics ]==============================
1.29/1.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.29/1.32	c ===============================================================================
1.29/1.32	c |         0 |   39571   156207   392573 |    52069        0   -nan |  0.000 % |
1.29/1.37	c |       100 |   39548   156207   392573 |    57275      100    137 |  7.430 % |
1.39/1.42	c ===============================================================================
1.39/1.49	c core #8
1.39/1.49	c 
1.39/1.49	c 
1.39/1.49	c Core size: 921	Core Weight: 1	Total Weight: 13
1.39/1.49	c Current CPU time: 1.39379 s
1.39/1.49	c
1.39/1.49	c ============================[ Search Statistics ]==============================
1.39/1.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.39/1.49	c ===============================================================================
1.39/1.49	c |         0 |   40605   156208   393823 |    52069        0   -nan |  0.000 % |
1.49/1.54	c |       100 |   40583   156208   393823 |    57276      100    136 |  4.907 % |
1.49/1.58	c |       252 |   40557   156208   393823 |    63003      252    117 |  5.110 % |
1.59/1.63	c |       478 |   40478   156208   393823 |    69304      478     97 |  5.286 % |
1.69/1.71	c |       815 |   40460   156208   393823 |    76234      815    110 |  5.286 % |
1.79/1.82	c |      1322 |   40419   156208   393823 |    83858     1322    186 |  5.291 % |
1.99/2.02	c |      2082 |   40417   156208   393823 |    92244     2082    170 |  5.296 % |
2.29/2.39	c |      3221 |   40387   156208   393823 |   101468     3221    192 |  5.366 % |
2.49/2.55	c ===============================================================================
2.59/2.63	c core #9
2.59/2.63	c 
2.59/2.63	c 
2.59/2.63	c Core size: 326	Core Weight: 1	Total Weight: 14
2.59/2.63	c Current CPU time: 2.51462 s
2.59/2.63	c
2.59/2.63	c ============================[ Search Statistics ]==============================
2.59/2.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.59/2.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.59/2.63	c ===============================================================================
2.59/2.63	c |         0 |   40848   156209   394309 |    52069        0   -nan |  0.000 % |
2.69/2.75	c |       100 |   40848   156209   394309 |    57276      100    204 |  4.828 % |
2.79/2.89	c |       250 |   40848   156209   394309 |    63004      250    411 |  4.828 % |
3.09/3.16	c |       475 |   40848   156209   394309 |    69304      475    354 |  4.828 % |
3.39/3.48	c |       812 |   40848   156209   394309 |    76235      812    489 |  4.828 % |
4.09/4.17	c |      1318 |   40848   156209   394309 |    83858     1318    553 |  4.828 % |
5.79/5.88	c |      2078 |   40798   156209   394309 |    92244     2078    557 |  4.944 % |
7.60/7.65	c |      3217 |   40798   156209   394309 |   101469     3217    548 |  4.944 % |
10.09/10.15	c |      4925 |   40798   156209   394309 |   111615     4925    561 |  4.944 % |
16.51/16.58	c |      7489 |   40798   156209   394309 |   122777     7489    528 |  4.944 % |
22.39/22.49	c |     11339 |   40798   156209   394309 |   135055    11339    714 |  4.944 % |
35.79/35.85	c |     17105 |   40798   156209   394309 |   148560    17105   1008 |  4.944 % |
74.59/74.65	c |     25754 |   40796   156209   394309 |   163416    25754   1635 |  4.949 % |
128.49/128.50	c |     38728 |   40795   156209   394309 |   179758    38728   2182 |  4.951 % |
134.80/134.89	c ===============================================================================
135.69/135.70	c core #10
135.69/135.70	c 
135.69/135.70	c 
135.69/135.70	c Core size: 2450	Core Weight: 1	Total Weight: 15
135.69/135.70	c Current CPU time: 134.79 s
135.69/135.70	c
135.69/135.70	c ============================[ Search Statistics ]==============================
135.69/135.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
135.69/135.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
135.69/135.70	c ===============================================================================
135.69/135.70	c |         0 |   44231   156213   398653 |    52071        0   -nan |  0.000 % |
135.79/135.84	c |       100 |   44230   156213   398653 |    57278      100    126 |  0.095 % |
136.00/136.03	c |       251 |   44230   156213   398653 |    63005      251    232 |  0.095 % |
136.30/136.32	c |       478 |   44230   156213   398653 |    69306      478    206 |  0.095 % |
136.41/136.49	c |       816 |   44230   156213   398653 |    76237      816    205 |  0.095 % |
136.69/136.70	c |      1322 |   44230   156213   398653 |    83860     1322    248 |  0.095 % |
137.19/137.20	c |      2081 |   44230   156213   398653 |    92246     2081    398 |  0.095 % |
137.70/137.72	c |      3220 |   44230   156213   398653 |   101471     3220    805 |  0.095 % |
138.90/138.98	c |      4928 |   44230   156213   398653 |   111618     4928    607 |  0.095 % |
140.19/140.25	c |      7490 |   44230   156213   398653 |   122780     7490    981 |  0.095 % |
143.30/143.38	c |     11334 |   44230   156213   398653 |   135058    11334   1199 |  0.095 % |
148.20/148.26	c |     17100 |   44230   156213   398653 |   148564    17100   1444 |  0.095 % |
150.20/150.28	c |     25749 |   44230   156213   398653 |   163421    25749   1103 |  0.095 % |
156.39/156.49	c |     38723 |   44230   156213   398653 |   179763    38723   1029 |  0.095 % |
165.50/165.50	c |     58190 |   44230   156213   398653 |   197739    58190    823 |  0.095 % |
191.00/191.06	c |     87383 |   44230   156213   398653 |   217513    87383    786 |  0.095 % |
270.40/270.51	c |    131176 |   44230   156213   398653 |   239264   131176    869 |  0.095 % |
432.32/432.35	c |    196861 |   44230   156213   398653 |   263191   196861    873 |  0.095 % |
506.31/506.32	c ===============================================================================
509.01/509.06	c core #11
509.01/509.06	c 
509.01/509.06	c 
509.01/509.06	c Core size: 270	Core Weight: 1	Total Weight: 16
509.01/509.06	c Current CPU time: 507.31 s
509.01/509.06	c
509.01/509.06	c ============================[ Search Statistics ]==============================
509.01/509.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
509.01/509.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
509.01/509.06	c ===============================================================================
509.01/509.06	c |         0 |   44474   156214   399139 |    52071        0   -nan |  0.000 % |
509.11/509.19	c |       100 |   44474   156214   399139 |    57278      100    164 |  0.092 % |
509.21/509.30	c |       250 |   44474   156214   399139 |    63006      250    559 |  0.092 % |
509.41/509.42	c |       475 |   44474   156214   399139 |    69306      475    399 |  0.092 % |
509.71/509.71	c |       812 |   44473   156214   399139 |    76237      812    415 |  0.094 % |
510.21/510.27	c |      1318 |   44473   156214   399139 |    83861     1318    566 |  0.094 % |
510.60/510.65	c |      2078 |   44473   156214   399139 |    92247     2078    560 |  0.094 % |
511.21/511.27	c |      3222 |   44473   156214   399139 |   101472     3222    899 |  0.094 % |
512.81/512.86	c |      4930 |   44473   156214   399139 |   111619     4930    743 |  0.094 % |
515.11/515.17	c |      7492 |   44473   156214   399139 |   122781     7492   1358 |  0.094 % |
519.01/519.09	c |     11336 |   44469   156214   399139 |   135059    11336   1226 |  0.103 % |
526.11/526.17	c |     17107 |   44469   156214   399139 |   148565    17107   1537 |  0.103 % |
537.71/537.76	c |     25756 |   44469   156214   399139 |   163422    25756   1792 |  0.103 % |
559.93/559.96	c |     38731 |   44469   156214   399139 |   179764    38731   1801 |  0.103 % |
598.82/598.80	c |     58193 |   44467   156214   399139 |   197740    58193   2314 |  0.108 % |
667.42/667.41	c |     87386 |   44465   156214   399139 |   217514    87386   3052 |  0.112 % |
804.42/804.44	c |    131176 |   44465   156214   399139 |   239266   131176   3368 |  0.112 % |
1070.83/1070.85	c |    196860 |   44462   156214   399139 |   263193   196860   4222 |  0.119 % |
1670.35/1670.36	c |    295386 |   44458   156214   399139 |   289512    66846   4299 |  0.128 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3460710-1307108823/watcher-3460710-1307108823 -o /tmp/evaluation-result-3460710-1307108823/solver-3460710-1307108823 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460710-1307108823.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.00 2.02 2.00 2/443 14972
/proc/meminfo: memFree=29713120/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=8044 CPUtime=0 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 662 0 0 0 0 0 0 0 25 0 1 0 901112962 8237056 616 33554432000 4194304 5714214 140737351728192 18446744073709551615 5013648 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 2011 618 193 372 0 483 0

[startup+0.0735801 s]
/proc/loadavg: 2.00 2.02 2.00 2/443 14972
/proc/meminfo: memFree=29713120/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=12932 CPUtime=0.07 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 2036 0 0 0 7 0 0 0 25 0 1 0 901112962 13242368 1957 33554432000 4194304 5714214 140737351728192 18446744073709551615 4222928 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 3233 1957 418 372 0 1705 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12932

[startup+0.100562 s]
/proc/loadavg: 2.00 2.02 2.00 2/443 14972
/proc/meminfo: memFree=29713120/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=14612 CPUtime=0.09 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 2532 0 0 0 9 0 0 0 25 0 1 0 901112962 14962688 2453 33554432000 4194304 5714214 140737351728192 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 3653 2454 519 372 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14612

[startup+0.300529 s]
/proc/loadavg: 2.00 2.02 2.00 2/443 14972
/proc/meminfo: memFree=29713120/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=28484 CPUtime=0.29 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 6716 0 0 0 29 0 0 0 25 0 1 0 901112962 29167616 6296 33554432000 4194304 5714214 140737351728192 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 7121 6296 1227 372 0 5593 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28484

[startup+0.700455 s]
/proc/loadavg: 2.00 2.02 2.00 2/443 14972
/proc/meminfo: memFree=29713120/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=69840 CPUtime=0.69 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 20232 0 0 0 67 2 0 0 18 0 1 0 901112962 71516160 16550 33554432000 4194304 5714214 140737351728192 18446744073709551615 4968761 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 17460 16550 176 372 0 17085 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69840

[startup+1.50031 s]
/proc/loadavg: 2.08 2.04 2.01 3/444 14973
/proc/meminfo: memFree=29645160/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=71820 CPUtime=1.49 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 21612 0 0 0 147 2 0 0 18 0 1 0 901112962 73543680 17332 33554432000 4194304 5714214 140737351728192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 17955 17332 180 372 0 17580 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71820

[startup+3.10101 s]
/proc/loadavg: 2.08 2.04 2.01 3/444 14973
/proc/meminfo: memFree=29642680/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=73824 CPUtime=3.09 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 22140 0 0 0 304 5 0 0 20 0 1 0 901112962 75595776 17860 33554432000 4194304 5714214 140737351728192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 18456 17860 180 372 0 18081 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73824

[startup+6.3004 s]
/proc/loadavg: 2.07 2.04 2.00 3/444 14973
/proc/meminfo: memFree=29640572/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=73824 CPUtime=6.29 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 22140 0 0 0 620 9 0 0 25 0 1 0 901112962 75595776 17860 33554432000 4194304 5714214 140737351728192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 18456 17860 180 372 0 18081 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73824

[startup+12.7012 s]
/proc/loadavg: 2.07 2.04 2.00 3/444 14973
/proc/meminfo: memFree=29639724/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=73824 CPUtime=12.69 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 22140 0 0 0 1250 19 0 0 25 0 1 0 901112962 75595776 17860 33554432000 4194304 5714214 140737351728192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 18456 17860 180 372 0 18081 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73824

[startup+25.5008 s]
/proc/loadavg: 2.05 2.03 2.00 3/444 14974
/proc/meminfo: memFree=29612684/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=101708 CPUtime=25.49 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 29146 0 0 0 2511 38 0 0 25 0 1 0 901112962 104148992 24866 33554432000 4194304 5714214 140737351728192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 25427 24866 180 372 0 25052 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 101708

[startup+51.101 s]
/proc/loadavg: 2.03 2.03 2.00 3/444 14974
/proc/meminfo: memFree=29521688/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=193864 CPUtime=51.09 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 52156 0 0 0 5054 55 0 0 25 0 1 0 901112962 198516736 47876 33554432000 4194304 5714214 140737351728192 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 48466 47876 180 372 0 48091 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 193864

[startup+102.316 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 14976
/proc/meminfo: memFree=29393308/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=320628 CPUtime=102.31 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 83803 0 0 0 10158 73 0 0 25 0 1 0 901112962 328323072 79523 33554432000 4194304 5714214 140737351728192 18446744073709551615 4319375 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 80157 79523 180 372 0 79782 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 320628

[startup+162.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/444 14977
/proc/meminfo: memFree=29263828/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=448876 CPUtime=162.3 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 115726 0 0 0 16137 93 0 0 25 0 1 0 901112962 459649024 111446 33554432000 4194304 5714214 140737351728192 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 112219 111446 180 372 0 111844 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 448876

[startup+222.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/444 14979
/proc/meminfo: memFree=29233652/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=448876 CPUtime=222.29 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 115940 0 0 0 22128 101 0 0 25 0 1 0 901112962 459649024 111660 33554432000 4194304 5714214 140737351728192 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 112219 111660 180 372 0 111844 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 448876

[startup+282.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/444 14981
/proc/meminfo: memFree=29106624/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=564204 CPUtime=282.3 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 144524 0 0 0 28117 113 0 0 25 0 1 0 901112962 577744896 140244 33554432000 4194304 5714214 140737351728192 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 141051 140244 180 372 0 140676 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 564204

[startup+342.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/444 14982
/proc/meminfo: memFree=29005652/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=665032 CPUtime=342.3 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 169530 0 0 0 34106 124 0 0 25 0 1 0 901112962 680992768 165250 33554432000 4194304 5714214 140737351728192 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 166258 165250 180 372 0 165883 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 665032

[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/444 14984
/proc/meminfo: memFree=28889528/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=761264 CPUtime=402.31 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 193447 0 0 0 40095 136 0 0 25 0 1 0 901112962 779534336 189167 33554432000 4194304 5714214 140737351728192 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 190316 189167 180 372 0 189941 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 761264

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14985
/proc/meminfo: memFree=28810016/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=831844 CPUtime=462.3 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 210691 0 0 0 46083 147 0 0 25 0 1 0 901112962 851808256 206411 33554432000 4194304 5714214 140737351728192 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 207961 206412 180 372 0 207586 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 831844

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14987
/proc/meminfo: memFree=28710640/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=906240 CPUtime=522.31 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 229649 0 0 0 52063 168 0 0 25 0 1 0 901112962 927989760 224919 33554432000 4194304 5714214 140737351728192 18446744073709551615 4311248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 226560 224919 180 372 0 226185 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 906240

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14989
/proc/meminfo: memFree=28650716/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=906240 CPUtime=582.31 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 229675 0 0 0 58039 192 0 0 25 0 1 0 901112962 927989760 224945 33554432000 4194304 5714214 140737351728192 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 226560 224945 180 372 0 226185 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 906240

[startup+642.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/444 15006
/proc/meminfo: memFree=27127472/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=2264280 CPUtime=882.32 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 570032 0 0 0 87954 278 0 0 25 0 1 0 901112962 2318622720 565302 33554432000 4194304 5714214 140737351728192 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 566070 565302 180 372 0 565695 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2264280

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 15007
/proc/meminfo: memFree=26762284/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=2632512 CPUtime=942.32 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 662102 0 0 0 93935 297 0 0 25 0 1 0 901112962 2695692288 657372 33554432000 4194304 5714214 140737351728192 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 658128 657372 180 372 0 657753 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2632512

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 15009
/proc/meminfo: memFree=26374004/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=3019460 CPUtime=1002.33 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 758822 0 0 0 99918 315 0 0 25 0 1 0 901112962 3091927040 754092 33554432000 4194304 5714214 140737351728192 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 754865 754092 180 372 0 754490 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 3019460

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 15010
/proc/meminfo: memFree=26062248/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=3334484 CPUtime=1062.33 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 837538 0 0 0 105904 329 0 0 25 0 1 0 901112962 3414511616 832808 33554432000 4194304 5714214 140737351728192 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 833621 832808 180 372 0 833246 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 3334484

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 15012
/proc/meminfo: memFree=25820280/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=3572856 CPUtime=1122.33 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 897127 0 0 0 111891 342 0 0 25 0 1 0 901112962 3658604544 892397 33554432000 4194304 5714214 140737351728192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 893214 892397 180 372 0 892839 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 3572856

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 15014
/proc/meminfo: memFree=25573608/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=3775924 CPUtime=1182.33 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 947679 0 0 0 117880 353 0 0 25 0 1 0 901112962 3866546176 942949 33554432000 4194304 5714214 140737351728192 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 943981 942949 180 372 0 943606 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3775924

[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 4/444 15015
/proc/meminfo: memFree=25285384/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=4025552 CPUtime=1242.34 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 1010044 0 0 0 123866 368 0 0 25 0 1 0 901112962 4122165248 1005314 33554432000 4194304 5714214 140737351728192 18446744073709551615 4310880 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 1006388 1005314 180 372 0 1006013 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 4025552

[startup+1302.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/444 15017
/proc/meminfo: memFree=25066244/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=4242752 CPUtime=1302.35 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 1064296 0 0 0 129851 384 0 0 25 0 1 0 901112962 4344578048 1059566 33554432000 4194304 5714214 140737351728192 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 1060688 1059566 180 372 0 1060313 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 4242752

[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/444 15018
/proc/meminfo: memFree=24916892/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=4393068 CPUtime=1362.34 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 1101869 0 0 0 135838 396 0 0 25 0 1 0 901112962 4498501632 1097139 33554432000 4194304 5714214 140737351728192 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 1098267 1097139 180 372 0 1097892 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 4393068

[startup+1422.32 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 15020
/proc/meminfo: memFree=24731360/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=4577928 CPUtime=1422.36 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 1148105 0 0 0 141827 409 0 0 25 0 1 0 901112962 4687798272 1143375 33554432000 4194304 5714214 140737351728192 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 1144482 1143375 180 372 0 1144107 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 4577928

[startup+1482.3 s]
/proc/loadavg: 1.52 1.89 1.96 2/438 15040
/proc/meminfo: memFree=25208100/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=4752416 CPUtime=1482.34 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 1191646 0 0 0 147814 420 0 0 25 0 1 0 901112962 4866473984 1186916 33554432000 4194304 5714214 140737351728192 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 1188104 1186916 180 372 0 1187729 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 4752416

[startup+1542.3 s]
/proc/loadavg: 1.19 1.73 1.89 2/438 15041
/proc/meminfo: memFree=24969632/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=4989920 CPUtime=1542.34 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 1251001 0 0 0 153806 428 0 0 25 0 1 0 901112962 5109678080 1246271 33554432000 4194304 5714214 140737351728192 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 1247480 1246271 180 372 0 1247105 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 4989920

[startup+1602.3 s]
/proc/loadavg: 1.07 1.59 1.84 2/438 15043
/proc/meminfo: memFree=24919856/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=5039580 CPUtime=1602.35 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 1263374 0 0 0 159801 434 0 0 25 0 1 0 901112962 5160529920 1258644 33554432000 4194304 5714214 140737351728192 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 1259895 1258644 180 372 0 1259520 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 5039580

[startup+1662.3 s]
/proc/loadavg: 1.02 1.48 1.78 2/438 15044
/proc/meminfo: memFree=24919824/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=5039580 CPUtime=1662.35 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 1263375 0 0 0 165794 441 0 0 25 0 1 0 901112962 5160529920 1258645 33554432000 4194304 5714214 140737351728192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 1259895 1258645 180 372 0 1259520 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 5039580

[startup+1722.3 s]
/proc/loadavg: 1.15 1.42 1.74 2/438 15046
/proc/meminfo: memFree=24920036/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=5039580 CPUtime=1722.35 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 1263376 0 0 0 171789 446 0 0 25 0 1 0 901112962 5160529920 1258646 33554432000 4194304 5714214 140737351728192 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 1259895 1258646 180 372 0 1259520 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 5039580

[startup+1782.3 s]
/proc/loadavg: 1.12 1.36 1.70 2/438 15048
/proc/meminfo: memFree=24919012/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=5039580 CPUtime=1782.36 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 1263376 0 0 0 177785 451 0 0 25 0 1 0 901112962 5160529920 1258646 33554432000 4194304 5714214 140737351728192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 1259895 1258646 180 372 0 1259520 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 5039580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.09 1.34 1.68 2/438 15048
/proc/meminfo: memFree=24919744/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=5039580 CPUtime=1800.07 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4202496 1263377 0 0 0 179555 452 0 0 25 0 1 0 901112962 5160529920 1258647 33554432000 4194304 5714214 140737351728192 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14972/statm: 1259895 1258647 180 372 0 1259520 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 5039580

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.2 s]
/proc/loadavg: 1.09 1.34 1.68 2/438 15048
/proc/meminfo: memFree=24919744/32950928 swapFree=52246700/67111528
[pid=14972] ppid=14970 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/14972/stat : 14972 (wbo1.6) R 14970 14972 13866 0 -1 4203524 1263377 0 0 0 179555 470 0 0 25 0 1 0 901112962 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 2 0 0 0
/proc/14972/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.21
CPU time (s): 1800.28
CPU user time (s): 1795.56
CPU system time (s): 4.71928
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 5039580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.56
system time used= 4.71928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1263377
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= 9
involuntary context switches= 1556

runsolver used 8.35573 second user time and 16.7065 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-03 15:47:03
IDJOB=3460710
IDBENCH=25020
IDSOLVER=1953
FILE ID=node114/3460710-1307108823
RUNJOBID= node114-1307093562-13884
PBS_JOBID= 13497997
Free space on /tmp= 73920 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460710-1307108823/watcher-3460710-1307108823 -o /tmp/evaluation-result-3460710-1307108823/solver-3460710-1307108823 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460710-1307108823.opb

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

MD5SUM BENCH= 904168892843efef74e3394360b8d762
RANDOM SEED=631798172

node114.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29713284 kB
Buffers:        279264 kB
Cached:         403480 kB
SwapCached:      10712 kB
Active:        2558568 kB
Inactive:       408920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29713284 kB
SwapTotal:    67111528 kB
SwapFree:     52246700 kB
Dirty:            8756 kB
Writeback:           0 kB
AnonPages:     2281884 kB
Mapped:          22012 kB
Slab:           140464 kB
PageTables:      62788 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 108425808 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73920 MiB
End job on node114 at 2011-06-03 16:17:05