Trace number 3741311

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
PB07: bsolo 3.0.17SAT (TO)162 1800.01 1800.31

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-1616732.opb
MD5SUMbb6edae9b271ecf76d3d6c31c88b027d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark159
Best CPU time to get the best result obtained on this benchmark1789.91
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints1999
Number of constraints which are clauses1999
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3741311-1338757732.opb
0.00/0.00	c File size is 45495 bytes.
0.00/0.00	c Highest Coefficient sum: 200
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.004 s
0.00/0.00	c Var: 200 Constr: 1999 1999/0/0 Lit: 3998 Watch. Lit: 3998
0.00/0.00	c Obj. Vars: 200 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.007 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    200     1999     3998    2     3998     666      0      0 0.01
0.00/0.01	c Switching off LPR mode.
0.00/0.01	o 172	0.007
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    200     2000     4198    2     4028    1666      1      0 0.01
0.00/0.01	o 171	0.008
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        2    200     2003     4738    2     4063    1666      4    250 0.01
0.00/0.01	o 170	0.008
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        2    200     2004     4938    2     4095    1666      5    250 0.01
0.00/0.01	o 167	0.008
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        2    200     2005     5138    2     4130    1666      6    250 0.01
0.09/0.17	c      103    200     2106    21709   10     4332    1833    107   6866 0.01
0.09/0.17	c      354    200     2357    62767   26     4834    2017    358  10114 0.04
0.09/0.17	c      831    200     2834   140705   49     5788    2219    835  11229 0.07
0.09/0.17	c     1644    200     3647   273390   74     7414    2441   1648   9614 0.17
0.09/0.17	o 166	0.173
2.19/2.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.20	c     1654    200     3658   275233   75     7470    1666   1659   9560 0.17
2.19/2.20	c     1755    200     2833   139921   49     5700    1833    834   9335 0.19
2.19/2.20	c     2006    200     3084   180796   58     6202    2017   1085   9737 0.21
2.19/2.20	c     2481    200     3559   257863   72     7152    2219   1560   9884 0.25
2.19/2.20	c     3295    200     3110   184633   59     6254    2441   1111   9865 0.33
2.19/2.20	c     4615    200     4430   399016   90     8894    2686   2431   9437 0.49
2.19/2.20	c     6697    200     3488   245403   70     7010    2955   1489   8097 0.83
2.19/2.20	c     9921    200     3478   243041   69     6990    3251   1479   7332 1.35
2.19/2.20	c    14857    200     4819   461070   95     9672    3577   2820   6765 2.20
2.19/2.20	o 165	2.205
5.39/5.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.39/5.43	c    14945    200     4908   475632   96     9885    1666   2909   6777 2.21
5.39/5.43	c    15046    200     2934   155457   52     5903    1833    935   6774 2.22
5.39/5.43	c    15298    200     3186   196195   61     6407    2017   1187   6823 2.24
5.39/5.43	c    15774    200     3662   273052   74     7359    2219   1663   6918 2.28
5.39/5.43	c    16587    200     3203   198475   61     6441    2441   1204   6992 2.37
5.39/5.43	c    17907    200     3221   201593   62     6477    2686   1222   7117 2.52
5.39/5.43	c    19989    200     3788   291952   77     7611    2955   1789   7095 2.82
5.39/5.43	c    23213    200     3713   280154   75     7461    3251   1714   7124 3.26
5.39/5.43	c    28150    200     5061   497082   98    10157    3577   3062   6742 4.17
5.39/5.43	c    35657    200     4735   445009   93     9505    3935   2736   6647 5.36
5.39/5.43	o 164	5.431
1206.09/1206.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1206.09/1206.32	c    36161    200     5240   526860  100    10551    1666   3241   6658 5.43
1206.09/1206.32	c    36261    200     2933   154699   52     5902    1833    934   6644 5.46
1206.09/1206.32	c    36511    200     3183   194792   61     6402    2017   1184   6663 5.48
1206.09/1206.32	c    36988    200     3660   271471   74     7356    2219   1661   6699 5.52
1206.09/1206.32	c    37802    200     3200   196423   61     6436    2441   1201   6747 5.60
1206.09/1206.32	c    39124    200     3221   199163   61     6478    2686   1222   6801 5.75
1206.09/1206.32	c    41207    200     3787   290540   76     7610    2955   1788   6862 6.00
1206.09/1206.32	c    44431    200     3722   279452   75     7480    3251   1723   6861 6.47
1206.09/1206.32	c    49367    200     5061   495838   97    10158    3577   3062   6720 7.35
1206.09/1206.32	c    56874    200     4746   443883   93     9528    3935   2747   6624 8.59
1206.09/1206.32	c    68237    200     5424   552638  101    10884    4329   3425   6271 10.88
1206.09/1206.32	c    85381    200     6233   683504  109    12502    4762   4234   5992 14.25
1206.09/1206.32	c   111200    200     6554   733558  111    13144    5239   4555   5519 20.15
1206.09/1206.32	c   150032    200     6353   701726  110    12742    5763   4354   5251 28.57
1206.09/1206.32	c   208385    200     6814   776378  113    13664    6340   4815   4895 42.57
1206.09/1206.32	c   296018    200     7684   913938  118    15404    6975   5685   4595 64.41
1206.09/1206.32	c   427571    200     7796   933034  119    15628    7673   5797   4403 97.11
1206.09/1206.32	c   625003    200     9352  1180585  126    18740    8441   7353   4034 154.91
1206.09/1206.32	c   921255    200     7493   882852  117    15022    9286   5494   3701 248.91
1206.09/1206.32	c  1365738    200     9827  1256972  127    19690   10215   7828   3434 397.67
1206.09/1206.32	c  2032566    200     7298   852991  116    14632   11237   5299   3120 651.37
1206.09/1206.32	c  3032911    200     7817   935216  119    15670   12361   5818   3111 974.67
1206.09/1206.32	o 163	1206.12
1583.43/1583.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1583.43/1583.79	c  3682486    200    10313  1339184  129    20699    1666   8314   3053 1206.12
1583.43/1583.79	c  3682586    200     2933   153738   52     5903    1833    934   3053 1206.20
1583.43/1583.79	c  3682837    200     3184   193766   60     6405    2017   1185   3053 1206.22
1583.43/1583.79	c  3683312    200     3659   269482   73     7355    2219   1660   3053 1206.26
1583.43/1583.79	c  3684125    200     3184   192555   60     6405    2441   1185   3053 1206.33
1583.43/1583.79	c  3685446    200     3221   198620   61     6479    2686   1222   3054 1206.45
1583.43/1583.79	c  3687528    200     3796   290000   76     7629    2955   1797   3055 1206.69
1583.43/1583.79	c  3690751    200     3718   277809   74     7473    3251   1719   3057 1207.12
1583.43/1583.79	c  3695688    200     5065   491967   97    10167    3577   3066   3059 1207.90
1583.43/1583.79	c  3703194    200     4733   438399   92     9503    3935   2734   3062 1209.12
1583.43/1583.79	c  3714555    200     5432   550078  101    10901    4329   3433   3066 1211.22
1583.43/1583.79	c  3731699    200     6253   678801  108    12543    4762   4254   3071 1214.94
1583.43/1583.79	c  3757519    200     6601   736141  111    13239    5239   4602   3079 1220.24
1583.43/1583.79	c  3796351    200     6444   711225  110    12925    5763   4445   3092 1227.50
1583.43/1583.79	c  3854703    200     6956   792661  113    13949    6340   4957   3108 1240.12
1583.43/1583.79	c  3942335    200     7932   949270  119    15901    6975   5933   3128 1260.11
1583.43/1583.79	c  4073888    200     8063   969041  120    16163    7673   6064   3136 1298.84
1583.43/1583.79	c  4271320    200     9387  1180967  125    18811    8441   7388   3158 1352.22
1583.43/1583.79	c  4567572    200     7696   909735  118    15429    9286   5697   3174 1438.82
1583.43/1583.79	c  5012054    200    10188  1309167  128    20413   10215   8189   3209 1561.55
1583.43/1583.79	o 162	1583.54
1800.00/1800.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.00/1800.30	c  5089438    200     8469  1036099  122    17013    1666   6470   3213 1583.54
1800.00/1800.30	c  5089539    200     2934   153388   52     5906    1833    935   3213 1583.57
1800.00/1800.30	c  5089790    200     3185   193158   60     6408    2017   1186   3214 1583.59
1800.00/1800.30	c  5090266    200     3661   268412   73     7360    2219   1662   3214 1583.63
1800.00/1800.30	c  5091079    200     3196   193313   60     6430    2441   1197   3214 1583.70
1800.00/1800.30	c  5092400    200     3221   197301   61     6480    2686   1222   3215 1583.83
1800.00/1800.30	c  5094481    200     3795   288274   75     7628    2955   1796   3216 1584.08
1800.00/1800.30	c  5097704    200     3731   277569   74     7500    3251   1732   3217 1584.52
1800.00/1800.30	c  5102640    200     5079   491813   96    10196    3577   3080   3218 1585.18
1800.00/1800.30	c  5110146    200     4757   439364   92     9552    3935   2758   3221 1586.32
1800.00/1800.30	c  5121507    200     5432   547211  100    10902    4329   3433   3225 1587.99
1800.00/1800.30	c  5138651    200     6278   679689  108    12594    4762   4279   3229 1591.02
1800.00/1800.30	c  5164472    200     6640   736166  110    13318    5239   4641   3234 1596.50
1800.00/1800.30	c  5203306    200     6505   715454  109    13048    5763   4506   3243 1604.12
1800.00/1800.30	c  5261660    200     7026   796447  113    14090    6340   5027   3249 1618.98
1800.00/1800.30	c  5349292    200     7917   940702  118    15872    6975   5918   3265 1638.12
1800.00/1800.30	c  5480845    200     8132   972905  119    16302    7673   6133   3281 1670.41
1800.00/1800.30	c  5678277    200     9638  1211393  125    19314    8441   7639   3285 1728.50
1800.00/1800.30	c Caught signal: 15
1800.00/1800.30	v x1 x2 x3 x4 -x5 x6 x7 x8 -x9 -x10 x11 x12 x13 -x14 x15 x16 x17 x18 x19 x20 -x21 x22 x23 -x24 x25 x26 x27 x28 x29 x30 x31 x32 -x33 x34 x35 -x36 x37 x38 x39 -x40 x41 x42 -x43 x44 x45 x46 -x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 -x59 x60 x61 x62 x63 x64 -x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 -x77 x78 x79 x80 -x81 x82 x83 x84 x85 x86 -x87 x88 x89 x90 x91 x92 -x93 -x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 -x105 -x106 x107 x108 x109 -x110 x111 x112 x113 x114 x115 x116 x117 x118 -x119 x120 x121 -x122 x123 x124 x125 -x126 x127 x128 -x129 -x130 x131 -x132 -x133 x134 x135 -x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 -x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 -x158 x159 x160 x161 x162 x163 x164 -x165 x166 -x167 x168 x169 x170 -x171 x172 -x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 -x183 x184 x185 x186 x187 x188 x189 -x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 -x200 
1800.00/1800.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.30	c   87  5904036 658860  6780130     7656   897547   5657   3279 1800.01
1800.00/1800.30	c Objective: 162
1800.00/1800.30	s SATISFIABLE
1800.00/1800.30	c Total time: 1800.01 s

Verifier Data 

OK	162

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-3741311-1338757732/watcher-3741311-1338757732 -o /tmp/evaluation-result-3741311-1338757732/solver-3741311-1338757732 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741311-1338757732.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.09 2.02 2.01 3/176 13449
/proc/meminfo: memFree=26966540/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=4740 CPUtime=0 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 482 0 0 0 0 0 0 0 20 0 1 0 341897667 4853760 418 33554432000 134512640 135840783 4291093008 4291091712 2405671 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 1185 418 331 325 0 109 0

[startup+0.014228 s]
/proc/loadavg: 2.09 2.02 2.01 3/176 13449
/proc/meminfo: memFree=26966540/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=5092 CPUtime=0.01 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 593 0 0 0 1 0 0 0 20 0 1 0 341897667 5214208 517 33554432000 134512640 135840783 4291093008 4291090128 134547770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 1273 517 350 325 0 209 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5092

[startup+0.100257 s]
/proc/loadavg: 2.09 2.02 2.01 3/176 13449
/proc/meminfo: memFree=26966540/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=7156 CPUtime=0.09 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 1128 0 0 0 9 0 0 0 20 0 1 0 341897667 7327744 1052 33554432000 134512640 135840783 4291093008 4291089840 2405671 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 1789 1052 350 325 0 725 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7156

[startup+0.300257 s]
/proc/loadavg: 2.09 2.02 2.01 3/176 13449
/proc/meminfo: memFree=26966540/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=9344 CPUtime=0.29 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 1664 0 0 0 29 0 0 0 20 0 1 0 341897667 9568256 1588 33554432000 134512640 135840783 4291093008 4291089840 2405671 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 2336 1588 350 325 0 1272 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9344

[startup+0.700257 s]
/proc/loadavg: 2.09 2.02 2.01 3/176 13449
/proc/meminfo: memFree=26966540/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=11144 CPUtime=0.69 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 2117 0 0 0 69 0 0 0 20 0 1 0 341897667 11411456 2041 33554432000 134512640 135840783 4291093008 4291092368 134550910 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 2786 2041 350 325 0 1722 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11144

[startup+1.50026 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 13450
/proc/meminfo: memFree=26959712/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=11664 CPUtime=1.49 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 2255 0 0 0 149 0 0 0 20 0 1 0 341897667 11943936 2179 33554432000 134512640 135840783 4291093008 4291089780 2392306 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 2916 2179 350 325 0 1852 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11664

[startup+3.10026 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 13450
/proc/meminfo: memFree=26957844/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=12304 CPUtime=3.09 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 2425 0 0 0 309 0 0 0 20 0 1 0 341897667 12599296 2349 33554432000 134512640 135840783 4291093008 4291092368 134551104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 3076 2349 350 325 0 2012 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12304

[startup+6.30026 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 13450
/proc/meminfo: memFree=26957472/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=13052 CPUtime=6.29 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 2593 0 0 0 629 0 0 0 20 0 1 0 341897667 13365248 2517 33554432000 134512640 135840783 4291093008 4291092368 134551063 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 3263 2517 350 325 0 2199 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13052

[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 13450
/proc/meminfo: memFree=26955388/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=14588 CPUtime=12.69 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 2988 0 0 0 1269 0 0 0 20 0 1 0 341897667 14938112 2912 33554432000 134512640 135840783 4291093008 4291092368 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 3647 2912 350 325 0 2583 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14588

[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 13451
/proc/meminfo: memFree=26953148/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=16596 CPUtime=25.48 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 3485 0 0 0 2548 0 0 0 20 0 1 0 341897667 16994304 3409 33554432000 134512640 135840783 4291093008 4291092368 134551052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 4149 3409 350 325 0 3085 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16596

[startup+51.1002 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 13451
/proc/meminfo: memFree=26949924/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=18992 CPUtime=51.09 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 4076 0 0 0 5108 1 0 0 20 0 1 0 341897667 19447808 4000 33554432000 134512640 135840783 4291093008 4291092320 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 4748 4000 350 325 0 3684 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18992

[startup+102.306 s]
/proc/loadavg: 2.14 2.04 2.01 3/178 13454
/proc/meminfo: memFree=26944708/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=21812 CPUtime=102.28 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 4784 0 0 0 10227 1 0 0 20 0 1 0 341897667 22335488 4708 33554432000 134512640 135840783 4291093008 4291092368 134551347 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 5453 4708 350 325 0 4389 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 21812

[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 13454
/proc/meminfo: memFree=26940748/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=23476 CPUtime=162.26 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 5206 0 0 0 16225 1 0 0 20 0 1 0 341897667 24039424 5130 33554432000 134512640 135840783 4291093008 4291092368 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 5869 5130 350 325 0 4805 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 23476

[startup+222.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 13493
/proc/meminfo: memFree=27315468/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=23476 CPUtime=222.25 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 5219 0 0 0 22223 2 0 0 20 0 1 0 341897667 24039424 5134 33554432000 134512640 135840783 4291093008 4291092288 2408042 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 5869 5134 350 325 0 4805 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 23476

[startup+282.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/177 13493
/proc/meminfo: memFree=27304336/32873844 swapFree=6612/6612
[pid=13449] ppid=13447 vsize=25268 CPUtime=282.24 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 5668 0 0 0 28222 2 0 0 20 0 1 0 341897667 25874432 5583 33554432000 134512640 135840783 4291093008 4291092144 2403058 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 6317 5583 350 325 0 5253 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 25268

[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 13494
/proc/meminfo: memFree=27304512/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=25268 CPUtime=342.22 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 5672 0 0 0 34220 2 0 0 20 0 1 0 341897667 25874432 5587 33554432000 134512640 135840783 4291093008 4291092368 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 6317 5587 350 325 0 5253 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 25268

[startup+402.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 13494
/proc/meminfo: memFree=27240200/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=27316 CPUtime=402.21 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 6168 0 0 0 40219 2 0 0 20 0 1 0 341897667 27971584 6083 33554432000 134512640 135840783 4291093008 4291092368 134551104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 6829 6083 350 325 0 5765 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 27316

[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 13494
/proc/meminfo: memFree=27218884/32873844 swapFree=6612/6612
[pid=13449] ppid=13447 vsize=27288 CPUtime=462.2 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 6175 0 0 0 46218 2 0 0 20 0 1 0 341897667 27942912 6090 33554432000 134512640 135840783 4291093008 4291092320 134551312 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 6822 6090 350 325 0 5758 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 27288

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 13494
/proc/meminfo: memFree=27194704/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=27288 CPUtime=522.19 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 6179 0 0 0 52217 2 0 0 20 0 1 0 341897667 27942912 6094 33554432000 134512640 135840783 4291093008 4291092368 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 6822 6094 350 325 0 5758 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 27288

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13494
/proc/meminfo: memFree=27189016/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=27288 CPUtime=582.19 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 6179 0 0 0 58217 2 0 0 20 0 1 0 341897667 27942912 6094 33554432000 134512640 135840783 4291093008 4291092368 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 6822 6094 350 325 0 5758 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 27288

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13498
/proc/meminfo: memFree=27071600/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=29472 CPUtime=882.14 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 6727 0 0 0 88211 3 0 0 20 0 1 0 341897667 30179328 6641 33554432000 134512640 135840783 4291093008 4291092244 2400270 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 7368 6641 350 325 0 6304 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 29472

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13499
/proc/meminfo: memFree=27057880/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=29472 CPUtime=942.13 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 6730 0 0 0 94210 3 0 0 20 0 1 0 341897667 30179328 6644 33554432000 134512640 135840783 4291093008 4291092368 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 7368 6644 350 325 0 6304 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 29472

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13499
/proc/meminfo: memFree=26987124/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=31908 CPUtime=1002.12 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 7334 0 0 0 100209 3 0 0 20 0 1 0 341897667 32673792 7248 33554432000 134512640 135840783 4291093008 4291092368 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 7977 7248 350 325 0 6913 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 31908

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13499
/proc/meminfo: memFree=26980860/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=31988 CPUtime=1062.11 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 7341 0 0 0 106208 3 0 0 20 0 1 0 341897667 32755712 7254 33554432000 134512640 135840783 4291093008 4291092368 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 7997 7254 350 325 0 6933 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 31988

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13499
/proc/meminfo: memFree=26975784/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=31940 CPUtime=1122.1 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 7345 0 0 0 112207 3 0 0 20 0 1 0 341897667 32706560 7258 33554432000 134512640 135840783 4291093008 4291092368 134551186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 7985 7258 350 325 0 6921 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 31940

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 13500
/proc/meminfo: memFree=26741540/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=32028 CPUtime=1182.1 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 7353 0 0 0 118207 3 0 0 20 0 1 0 341897667 32796672 7266 33554432000 134512640 135840783 4291093008 4291092320 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 8007 7266 350 325 0 6943 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 32028

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13501
/proc/meminfo: memFree=26371252/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=31864 CPUtime=1242.09 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 7353 0 0 0 124206 3 0 0 20 0 1 0 341897667 32628736 7242 33554432000 134512640 135840783 4291093008 4291092364 12075663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 7966 7242 350 325 0 6902 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 31864

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13504
/proc/meminfo: memFree=26099216/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=31832 CPUtime=1302.08 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 7353 0 0 0 130205 3 0 0 20 0 1 0 341897667 32595968 7234 33554432000 134512640 135840783 4291093008 4291092368 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 7958 7234 350 325 0 6894 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 31832

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13504
/proc/meminfo: memFree=25898612/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=31832 CPUtime=1362.07 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 7353 0 0 0 136204 3 0 0 20 0 1 0 341897667 32595968 7234 33554432000 134512640 135840783 4291093008 4291092368 134550939 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 7958 7234 350 325 0 6894 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 31832

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13504
/proc/meminfo: memFree=25749104/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=31832 CPUtime=1422.06 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 7353 0 0 0 142203 3 0 0 20 0 1 0 341897667 32595968 7234 33554432000 134512640 135840783 4291093008 4291092368 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 7958 7234 350 325 0 6894 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 31832

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13504
/proc/meminfo: memFree=25378248/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=31832 CPUtime=1482.05 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 7353 0 0 0 148202 3 0 0 20 0 1 0 341897667 32595968 7234 33554432000 134512640 135840783 4291093008 4291092368 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 7958 7234 350 325 0 6894 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 31832

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13505
/proc/meminfo: memFree=25083652/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=31832 CPUtime=1542.04 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 7353 0 0 0 154201 3 0 0 20 0 1 0 341897667 32595968 7234 33554432000 134512640 135840783 4291093008 4291092368 134550869 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 7958 7234 350 325 0 6894 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 31832

[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 13505
/proc/meminfo: memFree=24882676/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=31600 CPUtime=1602.03 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 7353 0 0 0 160200 3 0 0 20 0 1 0 341897667 32358400 7176 33554432000 134512640 135840783 4291093008 4291092368 134551079 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 7900 7176 350 325 0 6836 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 31600

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13505
/proc/meminfo: memFree=24681576/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=31520 CPUtime=1662.02 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 7353 0 0 0 166199 3 0 0 20 0 1 0 341897667 32276480 7156 33554432000 134512640 135840783 4291093008 4291092364 11679936 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 7880 7156 350 325 0 6816 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 31520

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13505
/proc/meminfo: memFree=24482460/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=31452 CPUtime=1722.01 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 7353 0 0 0 172198 3 0 0 20 0 1 0 341897667 32206848 7139 33554432000 134512640 135840783 4291093008 4291092368 134550913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 7863 7139 350 325 0 6799 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 31452

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13505
/proc/meminfo: memFree=24297604/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=31388 CPUtime=1782 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 7353 0 0 0 178197 3 0 0 20 0 1 0 341897667 32141312 7123 33554432000 134512640 135840783 4291093008 4291092368 134551076 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 7847 7123 350 325 0 6783 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 31388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13505
/proc/meminfo: memFree=24245740/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=31380 CPUtime=1800 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 7353 0 0 0 179997 3 0 0 20 0 1 0 341897667 32133120 7121 33554432000 134512640 135840783 4291093008 4291092368 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 7845 7121 350 325 0 6781 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 31380

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

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13505
/proc/meminfo: memFree=24245740/32873844 swapFree=6608/6608
[pid=13449] ppid=13447 vsize=31380 CPUtime=1800 cores=0,2,4,6
/proc/13449/stat : 13449 (bsolo3.0.17) R 13447 13449 12501 0 -1 4202496 7353 0 0 0 179997 3 0 0 20 0 1 0 341897667 32133120 7121 33554432000 134512640 135840783 4291093008 4291092368 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13449/statm: 7845 7121 350 325 0 6781 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 31380

Child status: 15
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1799.98
CPU system time (s): 0.035994
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 32028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.035994
maximum resident set size= 29064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7357
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= 20
involuntary context switches= 1951

runsolver used 3.98039 second user time and 7.77482 second system time

The end

Launcher Data 

Begin job on node140 at 2012-06-03 23:08:52
IDJOB=3741311
IDBENCH=89835
IDSOLVER=2318
FILE ID=node140/3741311-1338757732
RUNJOBID= node140-1338749243-12517
PBS_JOBID= 14636796
Free space on /tmp= 70604 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-1616732.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741311-1338757732/watcher-3741311-1338757732 -o /tmp/evaluation-result-3741311-1338757732/solver-3741311-1338757732 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3741311-1338757732.opb            

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

MD5SUM BENCH= bb6edae9b271ecf76d3d6c31c88b027d
RANDOM SEED=1890839645

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
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:        26966532 kB
Buffers:          506924 kB
Cached:          4010740 kB
SwapCached:         1620 kB
Active:          1986948 kB
Inactive:        2988800 kB
Active(anon):     450388 kB
Inactive(anon):     9476 kB
Active(file):    1536560 kB
Inactive(file):  2979324 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105264 kB
Dirty:              6668 kB
Writeback:             0 kB
AnonPages:        464664 kB
Mapped:            11824 kB
Shmem:                 8 kB
Slab:             788492 kB
SReclaimable:     230256 kB
SUnreclaim:       558236 kB
KernelStack:        1448 kB
PageTables:         4520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     575036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    421888 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= 70596 MiB
End job on node140 at 2012-06-03 23:38:55